about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2019-03-07 15:23:06 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2019-03-11 09:51:03 +0000
commit40b432f28052f11e4bfeeb67f89663f8453119a7 (patch)
tree8b6269486bd3f1e006160400503d733e5f78d1d4 /lib
parent45f054b4a1a192100cca3e017fdfebcb62640e25 (diff)
downloadklee-40b432f28052f11e4bfeeb67f89663f8453119a7.tar.gz
Add support for LLVM 8.0
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp1
-rw-r--r--lib/Module/KModule.cpp3
2 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index cb7d2ca9..95bddf8c 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -62,7 +62,6 @@
 #include "llvm/IR/IntrinsicInst.h"
 #include "llvm/IR/LLVMContext.h"
 #include "llvm/IR/Module.h"
-#include "llvm/IR/TypeBuilder.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/ErrorHandling.h"
 #include "llvm/Support/FileSystem.h"
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 8014e135..4a2e6e79 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -48,6 +48,9 @@
 #include "llvm/Support/raw_os_ostream.h"
 #include "llvm/Support/Path.h"
 #include "llvm/Transforms/Scalar.h"
+#if LLVM_VERSION_CODE >= LLVM_VERSION(8, 0)
+#include "llvm/Transforms/Scalar/Scalarizer.h"
+#endif
 
 #include "llvm/Transforms/Utils/Cloning.h"