ConstantDivision.h

Go to the documentation of this file.
00001 //===-- ConstantDivision.h --------------------------------------*- C++ -*-===//
00002 //
00003 //                     The KLEE Symbolic Virtual Machine
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 
00010 #ifndef __UTIL_CONSTANTDIVISION_H__
00011 #define __UTIL_CONSTANTDIVISION_H__
00012 
00013 #include <stdint.h>
00014 
00015 namespace klee {
00016 
00020 void ComputeMultConstants64(uint64_t x, uint64_t &add_out, 
00021                             uint64_t &sub_out);
00022 
00033 void ComputeUDivConstants32(uint32_t d, uint32_t &mprime, uint32_t &sh1, 
00034                             uint32_t &sh2);
00035 
00046 void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign, 
00047                             int32_t &shpost);
00048 
00049 }
00050 
00051 #endif