about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-10-30 14:53:48 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2024-02-08 13:17:19 +0000
commit157a0c5502134c34e4edc2320566065e67115a35 (patch)
tree31ef002e78c7a5009fbf456aa0f517c5256a8409 /lib
parente9774bb6d569f55f662e12e2f491d30e7cea8372 (diff)
downloadklee-157a0c5502134c34e4edc2320566065e67115a35.tar.gz
Add support for `Intrinsic::get_rounding` for LLVM 16
`Intrinsic::flt_rounds` got removed
Diffstat (limited to 'lib')
-rw-r--r--lib/Module/IntrinsicCleaner.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp
index 40ff2874..af77ed70 100644
--- a/lib/Module/IntrinsicCleaner.cpp
+++ b/lib/Module/IntrinsicCleaner.cpp
@@ -366,7 +366,11 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) {
       case Intrinsic::experimental_noalias_scope_decl:
 #endif
       case Intrinsic::floor:
+#if LLVM_VERSION_CODE < LLVM_VERSION(16, 0)
       case Intrinsic::flt_rounds:
+#else
+      case Intrinsic::get_rounding:
+#endif
       case Intrinsic::frameaddress:
       case Intrinsic::get_dynamic_area_offset:
       case Intrinsic::invariant_end: