diff options
author | Lukas Zaoral <lzaoral@redhat.com> | 2021-05-27 21:20:58 +0200 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
commit | 96aa751760b4efc3424a82b573057008bc639c3b (patch) | |
tree | 312ec435f64030f04d0876d68239f034c8e61c09 /lib/Module | |
parent | f61db845d73d07261950dbd37cf7935bcac6acb7 (diff) | |
download | klee-96aa751760b4efc3424a82b573057008bc639c3b.tar.gz |
llvm12: Implement llvm.{s,u}{max,min} intrinsics
The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk>
Diffstat (limited to 'lib/Module')
-rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index eaec7722..a10dc9e3 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -70,6 +70,12 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::fshr: case Intrinsic::fshl: #endif +#if LLVM_VERSION_CODE >= LLVM_VERSION(12, 0) + case Intrinsic::smax: + case Intrinsic::smin: + case Intrinsic::umax: + case Intrinsic::umin: +#endif break; // Lower vacopy so that object resolution etc is handled by |