diff options
author | Micah Villmow <villmow@gmail.com> | 2012-10-08 16:50:13 +0000 |
---|---|---|
committer | Micah Villmow <villmow@gmail.com> | 2012-10-08 16:50:13 +0000 |
commit | 2c8039b3a2abf467c5eefa9fc8d1408766ab877d (patch) | |
tree | 3b04cb477da0d7de59eddc348a1a937e1c52fd04 /lib/Module/IntrinsicCleaner.cpp | |
parent | cb7a4c6c52563589ef7c832bd4c87390b3a3a919 (diff) | |
download | klee-2c8039b3a2abf467c5eefa9fc8d1408766ab877d.tar.gz |
Make the changes in r165394 be conditional on post LLVM 3.1 changes.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165405 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
-rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 41dc5724..fd0db91d 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -26,7 +26,11 @@ #include "llvm/Support/IRBuilder.h" #include "llvm/Transforms/Scalar.h" #include "llvm/Transforms/Utils/BasicBlockUtils.h" -#include "llvm/Target/DataLayout.h" +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) +#include "llvm/Target/TargetData.h" +#else +#include "llvm/DataLayout.h" +#endif using namespace llvm; @@ -45,7 +49,11 @@ bool IntrinsicCleanerPass::runOnModule(Module &M) { bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b) { bool dirty = false; +#if LLVM_VERSION_CODE <= LLVM_VERSION(3, 1) + unsigned WordSize = TargetData.getPointerSizeInBits() / 8; +#else unsigned WordSize = DataLayout.getPointerSizeInBits() / 8; +#endif 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. |