ConstantDivision.cpp File Reference
Include dependency graph for ConstantDivision.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | klee |
Macros | |
| #define | TWO_TO_THE_32_U64 (1ULL << 32) |
| #define | TWO_TO_THE_31_S64 (1LL << 31) |
| #define | ABS(x) ( ((x)>0)?x:-(x) ) /* fails if x is the min value of its type */ |
| #define | XSIGN(x) ( (x) >> 31 ) |
| #define | LOG2_CEIL(x) ( 32 - ldz(x - 1) ) |
Functions | |
| static uint32_t | klee::ones (uint32_t x) |
| static uint32_t | klee::ldz (uint32_t x) |
| static uint32_t | klee::exp_base_2 (int32_t n) |
| void | klee::ComputeMultConstants64 (uint64_t multiplicand, uint64_t &add, uint64_t &sub) |
| void | klee::ComputeUDivConstants32 (uint32_t d, uint32_t &mprime, uint32_t &sh1, uint32_t &sh2) |
| void | klee::ComputeSDivConstants32 (int32_t d, int32_t &mprime, int32_t &dsign, int32_t &shpost) |
Macro Definition Documentation
◆ ABS
| #define ABS | ( | x | ) | ( ((x)>0)?x:-(x) ) /* fails if x is the min value of its type */ |
Definition at line 34 of file ConstantDivision.cpp.
◆ LOG2_CEIL
| #define LOG2_CEIL | ( | x | ) | ( 32 - ldz(x - 1) ) |
Definition at line 40 of file ConstantDivision.cpp.
◆ TWO_TO_THE_31_S64
| #define TWO_TO_THE_31_S64 (1LL << 31) |
Definition at line 31 of file ConstantDivision.cpp.
◆ TWO_TO_THE_32_U64
| #define TWO_TO_THE_32_U64 (1ULL << 32) |
Definition at line 28 of file ConstantDivision.cpp.
◆ XSIGN
| #define XSIGN | ( | x | ) | ( (x) >> 31 ) |
Definition at line 37 of file ConstantDivision.cpp.
