ConstantDivision.h

Go to the documentation of this file.

//===-- ConstantDivision.h --------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
#ifndef KLEE_CONSTANTDIVISION_H
#define KLEE_CONSTANTDIVISION_H
 
#include <stdint.h>
 
namespace klee {
 
void ComputeMultConstants64(uint64_t x, uint64_t &add_out, 
                            uint64_t &sub_out);
 
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);
 
}
 
#endif /* KLEE_CONSTANTDIVISION_H */