diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-05-27 21:25:00 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
| commit | 3d7c05a7e86a72a4fc8df115591bd1e7a50f9d84 (patch) | |
| tree | 95ec3de318715895f227d4089a0e4a2b341f8a75 | |
| parent | 96aa751760b4efc3424a82b573057008bc639c3b (diff) | |
| download | klee-3d7c05a7e86a72a4fc8df115591bd1e7a50f9d84.tar.gz | |
llvm11: Handle llvm.roundeven instrinsic
See: https://reviews.llvm.org/D75670
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index a10dc9e3..08b87d0e 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -398,6 +398,9 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::readcyclecounter: case Intrinsic::returnaddress: case Intrinsic::round: +#if LLVM_VERSION_CODE >= LLVM_VERSION(11, 0) + case Intrinsic::roundeven: +#endif case Intrinsic::sin: case Intrinsic::sqrt: case Intrinsic::stackrestore: |