diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-22 15:57:55 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-14 09:59:29 +0100 |
| commit | c27f225e79b82d3de4f70578cb80d0603fbff6f1 (patch) | |
| tree | 2876832b7148c93bb6b835f8265382a9f56061ae /lib/Module/RaiseAsm.cpp | |
| parent | c97526d0fff13e098b284369e2fc40c256b268d5 (diff) | |
| download | klee-c27f225e79b82d3de4f70578cb80d0603fbff6f1.tar.gz | |
llvm: make KLEE compile against LLVM 3.9
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Module/RaiseAsm.cpp')
| -rw-r--r-- | lib/Module/RaiseAsm.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/Module/RaiseAsm.cpp b/lib/Module/RaiseAsm.cpp index c597fa2a..4967a2fa 100644 --- a/lib/Module/RaiseAsm.cpp +++ b/lib/Module/RaiseAsm.cpp @@ -60,7 +60,11 @@ bool RaiseAsmPass::runOnInstruction(Module &M, Instruction *I) { if (ia->getAsmString() == "" && ia->hasSideEffects()) { IRBuilder<> Builder(I); +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) + Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent); +#else Builder.CreateFence(llvm::SequentiallyConsistent); +#endif I->eraseFromParent(); return true; } @@ -81,7 +85,11 @@ bool RaiseAsmPass::runOnModule(Module &M) { klee_warning("Warning: unable to select native target: %s", Err.c_str()); TLI = 0; } else { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) +#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) + TM = NativeTarget->createTargetMachine(HostTriple, "", "", TargetOptions(), + None); + TLI = TM->getSubtargetImpl(*(M.begin()))->getTargetLowering(); +#elif LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) TM = NativeTarget->createTargetMachine(HostTriple, "", "", TargetOptions()); TLI = TM->getSubtargetImpl(*(M.begin()))->getTargetLowering(); #elif LLVM_VERSION_CODE >= LLVM_VERSION(3, 6) |