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
namespace	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)