diff options
-rw-r--r-- | include/klee/Internal/Module/KModule.h | 4 | ||||
-rw-r--r-- | lib/Core/Executor.cpp | 6 | ||||
-rw-r--r-- | lib/Core/Executor.h | 2 | ||||
-rw-r--r-- | lib/Core/ExecutorUtil.cpp | 2 | ||||
-rw-r--r-- | lib/Module/Checks.cpp | 2 | ||||
-rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 4 | ||||
-rw-r--r-- | lib/Module/KModule.cpp | 4 | ||||
-rw-r--r-- | lib/Module/Optimize.cpp | 6 | ||||
-rw-r--r-- | lib/Module/Passes.h | 8 |
9 files changed, 19 insertions, 19 deletions
diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h index 67723b3a..322e6898 100644 --- a/include/klee/Internal/Module/KModule.h +++ b/include/klee/Internal/Module/KModule.h @@ -22,7 +22,7 @@ namespace llvm { class Function; class Instruction; class Module; - class TargetData; + class DataLayout; } namespace klee { @@ -80,7 +80,7 @@ namespace klee { class KModule { public: llvm::Module *module; - llvm::TargetData *targetData; + llvm::DataLayout *targetData; // Some useful functions to know the address of llvm::Function *dbgStopPointFn, *kleeMergeFn; 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> diff --git a/lib/Module/Checks.cpp b/lib/Module/Checks.cpp index c2f98c0f..125e807a 100644 --- a/lib/Module/Checks.cpp +++ b/lib/Module/Checks.cpp @@ -26,7 +26,7 @@ #include "llvm/Type.h" #include "llvm/Transforms/Scalar.h" #include "llvm/Transforms/Utils/BasicBlockUtils.h" -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" using namespace llvm; using namespace klee; diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 8b0be35a..41dc5724 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -26,7 +26,7 @@ #include "llvm/Support/IRBuilder.h" #include "llvm/Transforms/Scalar.h" #include "llvm/Transforms/Utils/BasicBlockUtils.h" -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" using namespace llvm; @@ -45,7 +45,7 @@ bool IntrinsicCleanerPass::runOnModule(Module &M) { bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b) { bool dirty = false; - unsigned WordSize = TargetData.getPointerSizeInBits() / 8; + unsigned WordSize = DataLayout.getPointerSizeInBits() / 8; for (BasicBlock::iterator i = b.begin(), ie = b.end(); i != ie;) { IntrinsicInst *ii = dyn_cast<IntrinsicInst>(&*i); // increment now since LowerIntrinsic deletion makes iterator invalid. diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index a569242e..eeaa10cf 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -40,7 +40,7 @@ #else #include "llvm/Support/Path.h" #endif -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" #include "llvm/Transforms/Scalar.h" #include <sstream> @@ -90,7 +90,7 @@ namespace { KModule::KModule(Module *_module) : module(_module), - targetData(new TargetData(module)), + targetData(new DataLayout(module)), dbgStopPointFn(0), kleeMergeFn(0), infos(0), diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp index d988a74c..fc37c1a9 100644 --- a/lib/Module/Optimize.cpp +++ b/lib/Module/Optimize.cpp @@ -27,7 +27,7 @@ #else #include "llvm/Support/DynamicLibrary.h" #endif -#include "llvm/Target/TargetData.h" +#include "llvm/Target/DataLayout.h" #include "llvm/Target/TargetMachine.h" #include "llvm/Transforms/IPO.h" #include "llvm/Transforms/Scalar.h" @@ -178,8 +178,8 @@ void Optimize(Module* M) { if (VerifyEach) Passes.add(createVerifierPass()); - // Add an appropriate TargetData instance for this module... - addPass(Passes, new TargetData(M)); + // Add an appropriate DataLayout instance for this module... + addPass(Passes, new DataLayout(M)); // DWD - Run the opt standard pass list as well. AddStandardCompilePasses(Passes); diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h index 6257da8f..721a61ea 100644 --- a/lib/Module/Passes.h +++ b/lib/Module/Passes.h @@ -22,7 +22,7 @@ namespace llvm { class Function; class Instruction; class Module; - class TargetData; + class DataLayout; class TargetLowering; class Type; } @@ -64,20 +64,20 @@ public: // variables (via intrinsic lowering). class IntrinsicCleanerPass : public llvm::ModulePass { static char ID; - const llvm::TargetData &TargetData; + const llvm::DataLayout &DataLayout; llvm::IntrinsicLowering *IL; bool LowerIntrinsics; bool runOnBasicBlock(llvm::BasicBlock &b); public: - IntrinsicCleanerPass(const llvm::TargetData &TD, + IntrinsicCleanerPass(const llvm::DataLayout &TD, bool LI=true) #if LLVM_VERSION_CODE < LLVM_VERSION(2, 8) : llvm::ModulePass((intptr_t) &ID), #else : llvm::ModulePass(ID), #endif - TargetData(TD), + DataLayout(TD), IL(new llvm::IntrinsicLowering(TD)), LowerIntrinsics(LI) {} ~IntrinsicCleanerPass() { delete IL; } |