diff options
author | Micah Villmow <villmow@gmail.com> | 2012-10-08 16:21:06 +0000 |
---|---|---|
committer | Micah Villmow <villmow@gmail.com> | 2012-10-08 16:21:06 +0000 |
commit | cb7a4c6c52563589ef7c832bd4c87390b3a3a919 (patch) | |
tree | 1e22135b8938a0c8942fbe9543a0c2e353fb96d7 /lib/Core | |
parent | 215c1587aab5fa94fd805fe8e0b5fbacc51f1c8e (diff) | |
download | klee-cb7a4c6c52563589ef7c832bd4c87390b3a3a919.tar.gz |
Move TargetData to DataLayout.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165394 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core')
-rw-r--r-- | lib/Core/Executor.cpp | 6 | ||||
-rw-r--r-- | lib/Core/Executor.h | 2 | ||||
-rw-r--r-- | lib/Core/ExecutorUtil.cpp | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 993982e5..cd66c0c3 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -64,7 +64,7 @@ #else #include "llvm/Support/Process.h" #endif -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" #include <cassert> #include <algorithm> @@ -346,7 +346,7 @@ const Module *Executor::setModule(llvm::Module *module, kmodule = new KModule(module); // Initialize the context. - TargetData *TD = kmodule->targetData; + DataLayout *TD = kmodule->targetData; Context::initialize(TD->isLittleEndian(), (Expr::Width) TD->getPointerSizeInBits()); @@ -384,7 +384,7 @@ Executor::~Executor() { void Executor::initializeGlobalObject(ExecutionState &state, ObjectState *os, const Constant *c, unsigned offset) { - TargetData *targetData = kmodule->targetData; + DataLayout *targetData = kmodule->targetData; if (const ConstantVector *cp = dyn_cast<ConstantVector>(c)) { unsigned elementSize = targetData->getTypeStoreSize(cp->getType()->getElementType()); diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index a296051b..d47a3364 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -37,7 +37,7 @@ namespace llvm { class Function; class GlobalValue; class Instruction; - class TargetData; + class DataLayout; class Twine; class Value; } diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index 6ab021c1..c42b0810 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -28,7 +28,7 @@ #include "llvm/ModuleProvider.h" #endif #include "llvm/Support/CallSite.h" -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" #include <iostream> #include <cassert> |