From cb7a4c6c52563589ef7c832bd4c87390b3a3a919 Mon Sep 17 00:00:00 2001 From: Micah Villmow Date: Mon, 8 Oct 2012 16:21:06 +0000 Subject: Move TargetData to DataLayout. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165394 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Core/Executor.cpp') 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 #include @@ -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(c)) { unsigned elementSize = targetData->getTypeStoreSize(cp->getType()->getElementType()); -- cgit 1.4.1