diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll | 20 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstCombine/early_dce_clobbers_callgraph.ll | 31 |
2 files changed, 51 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll b/llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll new file mode 100644 index 00000000000..18b21923480 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/early_constfold_changes_IR.ll @@ -0,0 +1,20 @@ +; This run line verifies that we get the expected constant fold. +; RUN: opt < %s -instcombine -S | FileCheck %s + +; This run line verifies that InstructionCombiningPass::runOnFunction reports +; this as a modification of the IR. +; RUN: opt < %s -instcombine -disable-output -debug-pass=Details 2>&1 | FileCheck %s --check-prefix=DETAILS + +define i32 @foo(i32 %arg) #0 { +; CHECK-LABEL: @foo( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[AND:%.*]] = and i32 [[ARG:%.*]], 7 +; CHECK-NEXT: ret i32 [[AND]] +; +entry: + %or = or i32 0, 7 + %and = and i32 %arg, %or + ret i32 %and +} + +; DETAILS: Made Modification 'Combine redundant instructions' on Function 'foo' diff --git a/llvm/test/Transforms/InstCombine/early_dce_clobbers_callgraph.ll b/llvm/test/Transforms/InstCombine/early_dce_clobbers_callgraph.ll new file mode 100644 index 00000000000..743477621fa --- /dev/null +++ b/llvm/test/Transforms/InstCombine/early_dce_clobbers_callgraph.ll @@ -0,0 +1,31 @@ +; RUN: opt < %s -inline -instcombine -S | FileCheck %s + +; This test case exposed a bug in instcombine where the early +; DCE of a call wasn't recognized as changing the IR. +; So when runOnFunction propagated the "made changes" upwards +; to the CallGraphSCCPass it signalled that no changes had been +; made, so CallGraphSCCPass assumed that the old CallGraph, +; as known by that pass manager, still was up-to-date. +; +; This was detected as an assert when trying to remove the +; no longer used function 'bar' (due to incorrect reference +; count in the CallGraph). + +attributes #0 = { noinline norecurse nounwind readnone } + +define void @foo() #0 { +; CHECK-LABEL: @foo( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret void +; +entry: + %call = call i32 @bar() + ret void +} + +define internal i32 @bar() #0 { +; CHECK-NOT: bar +entry: + ret i32 42 +} + |
