klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ConstantDivision.h File Reference
#include <stdint.h>
Include dependency graph for ConstantDivision.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 

Functions

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)