diff options
| author | Pavel <operasfantom@gmail.com> | 2022-07-08 17:48:50 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-09-24 17:57:25 +0200 |
| commit | 21146a3653cdb29790a9d0f557f0f1651befbe9e (patch) | |
| tree | a64695dc025d95d1066fe8970689eee3edfc7a12 /lib | |
| parent | e244b610b04afd81ef3ae47b3644fecc41ea4db1 (diff) | |
| download | klee-21146a3653cdb29790a9d0f557f0f1651befbe9e.tar.gz | |
Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it strips out these intrinsics
Diffstat (limited to 'lib')
| -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 bdaca425..8658f611 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -349,6 +349,9 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { case Intrinsic::exp2: case Intrinsic::exp: case Intrinsic::expect: +#if LLVM_VERSION_CODE >= LLVM_VERSION(12, 0) + case Intrinsic::experimental_noalias_scope_decl: +#endif case Intrinsic::floor: case Intrinsic::flt_rounds: case Intrinsic::frameaddress: |