[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Other / debugcounter-dce.ll
blobb4914fe00fc33c667efab6b7cdd5078a03772dd0
1 ; REQUIRES: asserts
2 ; RUN: opt -dce -S -debug-counter=dce-transform-skip=1,dce-transform-count=2  < %s | FileCheck %s
3 ;; Test that, with debug counters on, we will skip the first DCE opportunity, perform next 2,
4 ;; and ignore all the others left.
6 ; CHECK-LABEL: @test
7 ; CHECK-NEXT: %add1 = add i32 1, 2
8 ; CHECK-NEXT: %sub1 = sub i32 %add1, 1
9 ; CHECK-NEXT: %add2 = add i32 1, 2
10 ; CHECK-NEXT: %add3 = add i32 1, 2
11 ; CHECK-NEXT: ret void
12 define void @test() {
13   %add1 = add i32 1, 2
14   %sub1 = sub i32 %add1, 1
15   %add2 = add i32 1, 2
16   %sub2 = sub i32 %add2, 1
17   %add3 = add i32 1, 2
18   %sub3 = sub i32 %add3, 1
19   ret void