klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ConstantDivision.h
Go to the documentation of this file.
1 //===-- ConstantDivision.h --------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef __UTIL_CONSTANTDIVISION_H__
11 #define __UTIL_CONSTANTDIVISION_H__
12 
13 #include <stdint.h>
14 
15 namespace klee {
16 
20 void ComputeMultConstants64(uint64_t x, uint64_t &add_out,
21  uint64_t &sub_out);
22 
33 void ComputeUDivConstants32(uint32_t d, uint32_t &mprime, uint32_t &sh1,
34  uint32_t &sh2);
35 
46 void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign,
47  int32_t &shpost);
48 
49 }
50 
51 #endif
void ComputeMultConstants64(uint64_t multiplicand, uint64_t &add, uint64_t &sub)
void ComputeUDivConstants32(uint32_t d, uint32_t &mprime, uint32_t &sh1, uint32_t &sh2)
void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign, int32_t &shpost)