diff options
| -rw-r--r-- | llvm/lib/Transforms/IPO/GlobalOpt.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/GlobalOpt/assume.ll | 21 |
2 files changed, 25 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/IPO/GlobalOpt.cpp b/llvm/lib/Transforms/IPO/GlobalOpt.cpp index af19e7d3b4e..c60b3ccc298 100644 --- a/llvm/lib/Transforms/IPO/GlobalOpt.cpp +++ b/llvm/lib/Transforms/IPO/GlobalOpt.cpp @@ -2504,6 +2504,10 @@ bool Evaluator::EvaluateBlock(BasicBlock::iterator CurInst, // Continue even if we do nothing. ++CurInst; continue; + } else if (II->getIntrinsicID() == Intrinsic::assume) { + DEBUG(dbgs() << "Skipping assume intrinsic.\n"); + ++CurInst; + continue; } DEBUG(dbgs() << "Unknown intrinsic. Can not evaluate.\n"); diff --git a/llvm/test/Transforms/GlobalOpt/assume.ll b/llvm/test/Transforms/GlobalOpt/assume.ll new file mode 100644 index 00000000000..59e80b1c554 --- /dev/null +++ b/llvm/test/Transforms/GlobalOpt/assume.ll @@ -0,0 +1,21 @@ +; RUN: opt -S -globalopt < %s | FileCheck %s + +; CHECK: @tmp = global i32 42 + +@llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @_GLOBAL__I_a }] +@tmp = global i32 0 + +define i32 @TheAnswerToLifeTheUniverseAndEverything() { + ret i32 42 +} + +define void @_GLOBAL__I_a() i8* undef { +enter: + %tmp1 = call i32 @TheAnswerToLifeTheUniverseAndEverything() + store i32 %tmp1, i32* @tmp + %cmp = icmp eq i32 %tmp1, 42 + call void @llvm.assume(i1 %cmp) + ret void +} + +declare void @llvm.assume(i1) |
