util.h File Reference
Loop Acceleration. More...
#include <util/bitvector_types.h>
Include dependency graph for util.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| signedbv_typet | signed_poly_type () |
| unsignedbv_typet | unsigned_poly_type () |
| bool | is_bitvector (const typet &t) |
| Convenience function – is the type a bitvector of some kind? More... | |
| typet | join_types (const typet &t1, const typet &t2) |
| Return the smallest type that both t1 and t2 can be cast to without losing information. More... | |
Detailed Description
Loop Acceleration.
Definition in file util.h.
Function Documentation
◆ is_bitvector()
| bool is_bitvector | ( | const typet & | t | ) |
◆ join_types()
Return the smallest type that both t1 and t2 can be cast to without losing information.
e.g.
join_types(unsignedbv_typet(32), unsignedbv_typet(16))=unsignedbv_typet(32) join_types(signedbv_typet(16), unsignedbv_typet(16))=signedbv_typet(17) join_types(signedbv_typet(32), signedbv_typet(32))=signedbv_typet(32)
◆ signed_poly_type()
| signedbv_typet signed_poly_type | ( | ) |
◆ unsigned_poly_type()
| unsignedbv_typet unsigned_poly_type | ( | ) |
