From 9767a37f9e8a743fa81629510346cb0a5a3a7900 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Wed, 20 Mar 2019 22:01:00 +0100 Subject: drop support for LLVM <= 3.7 --- include/klee/Internal/Support/FloatEvaluation.h | 5 ----- include/klee/Internal/Support/ModuleUtil.h | 7 +------ 2 files changed, 1 insertion(+), 11 deletions(-) (limited to 'include') diff --git a/include/klee/Internal/Support/FloatEvaluation.h b/include/klee/Internal/Support/FloatEvaluation.h index 436e0dc8..62a5c0e7 100644 --- a/include/klee/Internal/Support/FloatEvaluation.h +++ b/include/klee/Internal/Support/FloatEvaluation.h @@ -132,15 +132,10 @@ inline uint64_t mod(uint64_t l, uint64_t r, unsigned inWidth) { // determine if l represents NaN inline bool isNaN(uint64_t l, unsigned inWidth) { switch( inWidth ) { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 7) case FLT_BITS: return std::isnan(UInt64AsFloat(l)); case DBL_BITS: return std::isnan(UInt64AsDouble(l)); -#else - case FLT_BITS: return llvm::IsNAN( UInt64AsFloat(l) ); - case DBL_BITS: return llvm::IsNAN( UInt64AsDouble(l) ); -#endif default: llvm::report_fatal_error("unsupported floating point width"); } } diff --git a/include/klee/Internal/Support/ModuleUtil.h b/include/klee/Internal/Support/ModuleUtil.h index 6180225c..5fbfdb76 100644 --- a/include/klee/Internal/Support/ModuleUtil.h +++ b/include/klee/Internal/Support/ModuleUtil.h @@ -12,13 +12,8 @@ #include "klee/Config/Version.h" -#include "llvm/IR/Module.h" - -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 5) #include "llvm/IR/CallSite.h" -#else -#include "llvm/Support/CallSite.h" -#endif +#include "llvm/IR/Module.h" #include #include -- cgit 1.4.1