1 ; RUN: opt -instcombine -value-tracking-dom-conditions=1 -S < %s | FileCheck %s
3 target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
5 define i1 @test_cmp_ult(i64 %A) {
6 ; CHECK-LABEL: @test_cmp_ult
8 %cmp = icmp ult i64 %A, 64
9 br i1 %cmp, label %taken, label %untaken
13 ; CHECK-NEXT: ret i1 false
14 %cmp2 = icmp ugt i64 %A, 64
20 define i1 @test_cmp_ule(i64 %A) {
21 ; CHECK-LABEL: @test_cmp_ule
23 %cmp = icmp ule i64 %A, 64
24 br i1 %cmp, label %taken, label %untaken
28 ; CHECK-NEXT: ret i1 false
29 %cmp2 = icmp ugt i64 %A, 128
35 define i1 @test_cmp_sgt(i32 %A) {
36 ; CHECK-LABEL: @test_cmp_sgt
38 %cmp = icmp sgt i32 %A, 10
39 br i1 %cmp, label %taken, label %untaken
43 ; CHECK-NEXT: ret i1 true
44 %cmp2 = icmp sgt i32 %A, -1
50 define i64 @test_add_zero_bits(i64 %A) {
51 ; CHECK-LABEL: @test_add_zero_bits
53 %cmp = icmp eq i64 %A, 2
54 br i1 %cmp, label %taken, label %untaken
58 ; CHECK-NEXT: ret i64 3
65 define i64 @test_add_nsw(i64 %A) {
66 ; CHECK-LABEL: @test_add_nsw
68 %cmp = icmp ult i64 %A, 20
69 br i1 %cmp, label %taken, label %untaken
73 ; CHECK-NEXT: %add = add nuw nsw i64 %A, 1
74 ; CHECK-NEXT: ret i64 %add
81 ; After sinking the instructions into the if block, check that we
82 ; can simplify some of them using dominating conditions.
83 define i32 @test_add_zero_bits_sink(i32 %x) nounwind ssp {
84 ; CHECK-LABEL: @test_add_zero_bits_sink(
87 %a = add nsw i32 %x, 16
89 %cmp = icmp ult i32 %x, 7
90 br i1 %cmp, label %bb1, label %bb2
94 ; CHECK-NEXT: or i32 %x, 16
95 ; CHECK-NEXT: udiv i32
102 ; A condition in the same block gives no information
103 define i32 @test_neg1(i32 %x) nounwind ssp {
104 ; CHECK-LABEL: @test_neg1
110 %a = add nsw i32 %x, 16
112 %cmp = icmp ult i32 %x, 7
113 %ret = select i1 %cmp, i32 %a, i32 %b
117 ; A non-dominating edge gives no information
118 define i32 @test_neg2(i32 %x) {
119 ; CHECK-LABEL: @test_neg2
121 %cmp = icmp ult i32 %x, 7
122 br i1 %cmp, label %bb1, label %merge
128 ; CHECK-LABEL: merge:
131 %cmp2 = icmp ult i32 %x, 7
132 %ret = select i1 %cmp2, i32 %x, i32 0
136 ; A unconditional branch expressed as a condition one gives no
137 ; information (and shouldn't trip any asserts.)
138 define i32 @test_neg3(i32 %x) {
139 ; CHECK-LABEL: @test_neg3
141 %cmp = icmp ult i32 %x, 7
142 br i1 %cmp, label %merge, label %merge
144 ; CHECK-LABEL: merge:
147 %cmp2 = icmp ult i32 %x, 7
148 %ret = select i1 %cmp2, i32 %x, i32 0