From 3983b23eac93b0e6f28ffba4b626401c5280c10f Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Sat, 12 Sep 2020 11:02:29 +0200 Subject: Replace llvm::CallSite with llvm::CallBase on LLVM 8+ This is in preparation for LLVM 11 as the llvm:CallSite class has been removed. --- lib/Module/KModule.cpp | 10 ++++++++-- lib/Module/ModuleUtil.cpp | 17 ++++++++++++++--- 2 files changed, 22 insertions(+), 5 deletions(-) (limited to 'lib/Module') diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 04c8f09f..b16be68a 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -27,7 +27,9 @@ #else #include "llvm/Bitcode/ReaderWriter.h" #endif +#if LLVM_VERSION_CODE < LLVM_VERSION(8, 0) #include "llvm/IR/CallSite.h" +#endif #include "llvm/IR/DataLayout.h" #include "llvm/IR/IRBuilder.h" #include "llvm/IR/Instructions.h" @@ -471,13 +473,17 @@ KFunction::KFunction(llvm::Function *_function, ki->dest = registerMap[inst]; if (isa(it) || isa(it)) { - CallSite cs(inst); +#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0) + const CallBase &cs = cast(*inst); +#else + const CallSite cs(inst); +#endif unsigned numArgs = cs.arg_size(); ki->operands = new int[numArgs+1]; ki->operands[0] = getOperandNum(cs.getCalledValue(), registerMap, km, ki); for (unsigned j=0; joperands[j+1] = getOperandNum(v, registerMap, km, ki); } } else { diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index f369258a..bce6de97 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -251,7 +251,13 @@ klee::linkModules(std::vector> &modules, return composite; } -Function *klee::getDirectCallTarget(CallSite cs, bool moduleIsFullyLinked) { +Function *klee::getDirectCallTarget( +#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0) + const CallBase &cs, +#else + const CallSite &cs, +#endif + bool moduleIsFullyLinked) { Value *v = cs.getCalledValue(); bool viaConstantExpr = false; // Walk through aliases and bitcasts to try to find @@ -287,11 +293,16 @@ Function *klee::getDirectCallTarget(CallSite cs, bool moduleIsFullyLinked) { static bool valueIsOnlyCalled(const Value *v) { for (auto user : v->users()) { +#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0) + // Make sure the instruction is a call or invoke. + if (const auto *cs_ptr = dyn_cast(user)) { + const CallBase &cs = *cs_ptr; +#else if (const auto *instr = dyn_cast(user)) { // Make sure the instruction is a call or invoke. - CallSite cs(const_cast(instr)); + const CallSite cs(const_cast(instr)); if (!cs) return false; - +#endif // Make sure that the value is only the target of this call and // not an argument. if (cs.hasArgument(v)) -- cgit 1.4.1