diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /lib/Module/LowerSwitch.cpp | |
parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz |
drop support for LLVM <= 3.7
Diffstat (limited to 'lib/Module/LowerSwitch.cpp')
-rw-r--r-- | lib/Module/LowerSwitch.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/Module/LowerSwitch.cpp b/lib/Module/LowerSwitch.cpp index 4d80ddd8..b23278f7 100644 --- a/lib/Module/LowerSwitch.cpp +++ b/lib/Module/LowerSwitch.cpp @@ -66,11 +66,7 @@ void LowerSwitchPass::switchConvert(CaseItr begin, CaseItr end, // iterate through all the cases, creating a new BasicBlock for each for (CaseItr it = begin; it < end; ++it) { BasicBlock *newBlock = BasicBlock::Create(F->getContext(), "NodeBlock"); -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8) Function::iterator FI = origBlock->getIterator(); -#else - Function::iterator FI = origBlock; -#endif F->getBasicBlockList().insert(++FI, newBlock); Builder.SetInsertPoint(newBlock); auto cmpValue = Builder.CreateICmpEQ(value, it->value, "case.cmp"); @@ -108,11 +104,7 @@ void LowerSwitchPass::processSwitchInst(SwitchInst *SI) { BasicBlock* newDefault = BasicBlock::Create(F->getContext(), "newDefault"); llvm::IRBuilder<> Builder(newDefault); -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8) F->getBasicBlockList().insert(defaultBlock->getIterator(), newDefault); -#else - F->getBasicBlockList().insert(defaultBlock, newDefault); -#endif Builder.CreateBr(defaultBlock); // If there is an entry in any PHI nodes for the default edge, make sure @@ -126,11 +118,7 @@ void LowerSwitchPass::processSwitchInst(SwitchInst *SI) { CaseVector cases; -#if LLVM_VERSION_CODE > LLVM_VERSION(3, 4) for (auto i : SI->cases()) -#else - for (SwitchInst::CaseIt i = SI->case_begin(), e = SI->case_end(); i != e; ++i) -#endif cases.push_back(SwitchCase(i.getCaseValue(), i.getCaseSuccessor())); |