diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2024-02-01 14:51:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-16 21:35:55 +0000 |
| commit | 325c6cdcab632a6824be8ca9a926f4c4573adbdb (patch) | |
| tree | 2c896335b546ae6ec4197ae26155dc9760b6c913 /lib/Module | |
| parent | c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a (diff) | |
| download | klee-325c6cdcab632a6824be8ca9a926f4c4573adbdb.tar.gz | |
drop llvm 9 and 10
Diffstat (limited to 'lib/Module')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 4 | ||||
| -rw-r--r-- | lib/Module/Optimize.cpp | 2 | ||||
| -rw-r--r-- | lib/Module/OptimizeLegacy.cpp | 4 |
3 files changed, 1 insertions, 9 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index af77ed70..8d507754 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -25,9 +25,7 @@ DISABLE_WARNING_DEPRECATED_DECLARATIONS #include "llvm/IR/Instruction.h" #include "llvm/IR/Instructions.h" #include "llvm/IR/IntrinsicInst.h" -#if LLVM_VERSION_CODE >= LLVM_VERSION(10, 0) #include "llvm/IR/IntrinsicsX86.h" -#endif #include "llvm/IR/Module.h" #include "llvm/IR/Type.h" #include "llvm/Pass.h" @@ -391,9 +389,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::readcyclecounter: case Intrinsic::returnaddress: case Intrinsic::round: -#if LLVM_VERSION_CODE >= LLVM_VERSION(11, 0) case Intrinsic::roundeven: -#endif case Intrinsic::sin: case Intrinsic::sqrt: case Intrinsic::stackrestore: diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp index 9475512b..654279f4 100644 --- a/lib/Module/Optimize.cpp +++ b/lib/Module/Optimize.cpp @@ -25,4 +25,4 @@ void klee::optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize, llvm::ArrayRef<const char *> preservedFunctions, llvm::Module *module) { assert(0); -} \ No newline at end of file +} diff --git a/lib/Module/OptimizeLegacy.cpp b/lib/Module/OptimizeLegacy.cpp index e8d2f499..ee2b7ba4 100644 --- a/lib/Module/OptimizeLegacy.cpp +++ b/lib/Module/OptimizeLegacy.cpp @@ -89,11 +89,7 @@ static void AddStandardCompilePasses(legacy::PassManager &PM) { addPass(PM, createPromoteMemoryToRegisterPass()); // Kill useless allocas addPass(PM, createGlobalOptimizerPass()); // Optimize out global vars addPass(PM, createGlobalDCEPass()); // Remove unused fns and globs -#if LLVM_VERSION_CODE >= LLVM_VERSION(11, 0) addPass(PM, createSCCPPass()); // Constant prop with SCCP -#else - addPass(PM, createIPConstantPropagationPass()); // IP Constant Propagation -#endif addPass(PM, createDeadArgEliminationPass()); // Dead argument elimination addPass(PM, createInstructionCombiningPass()); // Clean up after IPCP & DAE addPass(PM, createCFGSimplificationPass()); // Clean up after IPCP & DAE |