cprover
util.cpp File Reference

Loop Acceleration. More...

#include "util.h"
#include <iostream>
#include <algorithm>
#include <util/std_types.h>
#include <util/config.h>
Include dependency graph for util.cpp:

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...
 
bool is_signed (const typet &t)
 Convenience function – is the type signed? More...
 
bool is_unsigned (const typet &t)
 Convenience function – is the type unsigned? 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.cpp.

Function Documentation

◆ is_bitvector()

bool is_bitvector ( const typet t)

Convenience function – is the type a bitvector of some kind?

Definition at line 33 of file util.cpp.

References irept::id().

Referenced by polynomial_acceleratort::fit_polynomial_sliced(), and join_types().

◆ is_signed()

◆ is_unsigned()

bool is_unsigned ( const typet t)

Convenience function – is the type unsigned?

Definition at line 52 of file util.cpp.

References irept::id().

Referenced by convert_integer_literal(), and join_types().

◆ join_types()

◆ signed_poly_type()

◆ unsigned_poly_type()