diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-07-07 10:33:46 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
| commit | 8775b9cf6c716f51fe90d668e734a1288c8b5404 (patch) | |
| tree | 5f586ff87b1fddfdebbcc670b658ea0e054c7d41 /lib/Module | |
| parent | 3d7c05a7e86a72a4fc8df115591bd1e7a50f9d84 (diff) | |
| download | klee-8775b9cf6c716f51fe90d668e734a1288c8b5404.tar.gz | |
llvm12: Implement llvm.abs intrinsic
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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index 08b87d0e..b3b356d2 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -71,6 +71,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::fshl: #endif #if LLVM_VERSION_CODE >= LLVM_VERSION(12, 0) + case Intrinsic::abs: case Intrinsic::smax: case Intrinsic::smin: case Intrinsic::umax: |