blob: 590b2080eb064bac3185e709aa8e7c6013abc8f6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
//===-- Context.cpp -------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "Context.h"
#include "klee/Expr.h"
#include "llvm/Type.h"
#include "llvm/DerivedTypes.h"
#include <cassert>
using namespace klee;
static bool Initialized = false;
static Context TheContext;
void Context::initialize(bool IsLittleEndian, Expr::Width PointerWidth) {
assert(!Initialized && "Duplicate context initialization!");
TheContext = Context(IsLittleEndian, PointerWidth);
Initialized = true;
}
const Context &Context::get() {
assert(Initialized && "Context has not been initialized!");
return TheContext;
}
// FIXME: This is a total hack, just to avoid a layering issue until this stuff
// moves out of Expr.
Expr::Width Expr::getWidthForLLVMType(const llvm::Type *t) {
switch (t->getTypeID()) {
default:
assert(0 && "non-primitive type argument to Expr::getTypeForLLVMType()\n");
case llvm::Type::IntegerTyID: return cast<llvm::IntegerType>(t)->getBitWidth();
case llvm::Type::FloatTyID: return Expr::Int32;
case llvm::Type::DoubleTyID: return Expr::Int64;
case llvm::Type::X86_FP80TyID: return 80;
case llvm::Type::PointerTyID: return Context::get().getPointerWidth();
}
}
ref<Expr> Expr::createCoerceToPointerType(ref<Expr> e) {
return ZExtExpr::create(e, Context::get().getPointerWidth());
}
ref<ConstantExpr> Expr::createPointer(uint64_t v) {
return ConstantExpr::create(v, Context::get().getPointerWidth());
}
|
