1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
3
4define i8 @test0(i8 %a) {
5; CHECK-LABEL: @test0(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[A:%.*]], 3
8; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
9; CHECK:       bb:
10; CHECK-NEXT:    [[MUL:%.*]] = mul nuw nsw i8 [[A]], 50
11; CHECK-NEXT:    ret i8 [[MUL]]
12; CHECK:       exit:
13; CHECK-NEXT:    ret i8 0
14;
15entry:
16  %cmp = icmp ult i8 %a, 3
17  br i1 %cmp, label %bb, label %exit
18
19bb:
20  %mul = mul i8 %a, 50
21  ret i8 %mul
22
23exit:
24  ret i8 0
25}
26
27define i8 @test1(i8 %a) {
28; CHECK-LABEL: @test1(
29; CHECK-NEXT:  entry:
30; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[A:%.*]], 4
31; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
32; CHECK:       bb:
33; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A]], 50
34; CHECK-NEXT:    ret i8 [[MUL]]
35; CHECK:       exit:
36; CHECK-NEXT:    ret i8 0
37;
38entry:
39  %cmp = icmp ult i8 %a, 4
40  br i1 %cmp, label %bb, label %exit
41
42bb:
43  %mul = mul i8 %a, 50
44  ret i8 %mul
45
46exit:
47  ret i8 0
48}
49
50define i8 @test2(i8 %a) {
51; CHECK-LABEL: @test2(
52; CHECK-NEXT:  entry:
53; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[A:%.*]], 6
54; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
55; CHECK:       bb:
56; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A]], 50
57; CHECK-NEXT:    ret i8 [[MUL]]
58; CHECK:       exit:
59; CHECK-NEXT:    ret i8 0
60;
61entry:
62  %cmp = icmp ult i8 %a, 6
63  br i1 %cmp, label %bb, label %exit
64
65bb:
66  %mul = mul i8 %a, 50
67  ret i8 %mul
68
69exit:
70  ret i8 0
71}
72
73define i8 @test3(i8 %a) {
74; CHECK-LABEL: @test3(
75; CHECK-NEXT:  entry:
76; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[A:%.*]], 7
77; CHECK-NEXT:    br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]]
78; CHECK:       bb:
79; CHECK-NEXT:    [[MUL:%.*]] = mul i8 [[A]], 50
80; CHECK-NEXT:    ret i8 [[MUL]]
81; CHECK:       exit:
82; CHECK-NEXT:    ret i8 0
83;
84entry:
85  %cmp = icmp ult i8 %a, 7
86  br i1 %cmp, label %bb, label %exit
87
88bb:
89  %mul = mul i8 %a, 50
90  ret i8 %mul
91
92exit:
93  ret i8 0
94}
95
96define i8 @test4(i8 %a) {
97; CHECK-LABEL: @test4(
98; CHECK-NEXT:  entry:
99; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], 3
100; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], -3
101; CHECK-NEXT:    [[COND:%.*]] = and i1 [[CMP1]], [[CMP2]]
102; CHECK-NEXT:    br i1 [[COND]], label [[BB:%.*]], label [[EXIT:%.*]]
103; CHECK:       bb:
104; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A]], 50
105; CHECK-NEXT:    ret i8 [[MUL]]
106; CHECK:       exit:
107; CHECK-NEXT:    ret i8 0
108;
109entry:
110  %cmp1 = icmp slt i8 %a, 3
111  %cmp2 = icmp sgt i8 %a, -3
112  %cond = and i1 %cmp1, %cmp2
113  br i1 %cond, label %bb, label %exit
114
115bb:
116  %mul = mul i8 %a, 50
117  ret i8 %mul
118
119exit:
120  ret i8 0
121}
122
123define i8 @test5(i8 %a) {
124; CHECK-LABEL: @test5(
125; CHECK-NEXT:  entry:
126; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], 3
127; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], -4
128; CHECK-NEXT:    [[COND:%.*]] = and i1 [[CMP1]], [[CMP2]]
129; CHECK-NEXT:    br i1 [[COND]], label [[BB:%.*]], label [[EXIT:%.*]]
130; CHECK:       bb:
131; CHECK-NEXT:    [[MUL:%.*]] = mul i8 [[A]], 50
132; CHECK-NEXT:    ret i8 [[MUL]]
133; CHECK:       exit:
134; CHECK-NEXT:    ret i8 0
135;
136entry:
137  %cmp1 = icmp slt i8 %a, 3
138  %cmp2 = icmp sgt i8 %a, -4
139  %cond = and i1 %cmp1, %cmp2
140  br i1 %cond, label %bb, label %exit
141
142bb:
143  %mul = mul i8 %a, 50
144  ret i8 %mul
145
146exit:
147  ret i8 0
148}
149
150define i8 @test6(i8 %a) {
151; CHECK-LABEL: @test6(
152; CHECK-NEXT:  entry:
153; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], 4
154; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], -3
155; CHECK-NEXT:    [[COND:%.*]] = and i1 [[CMP1]], [[CMP2]]
156; CHECK-NEXT:    br i1 [[COND]], label [[BB:%.*]], label [[EXIT:%.*]]
157; CHECK:       bb:
158; CHECK-NEXT:    [[MUL:%.*]] = mul i8 [[A]], 50
159; CHECK-NEXT:    ret i8 [[MUL]]
160; CHECK:       exit:
161; CHECK-NEXT:    ret i8 0
162;
163entry:
164  %cmp1 = icmp slt i8 %a, 4
165  %cmp2 = icmp sgt i8 %a, -3
166  %cond = and i1 %cmp1, %cmp2
167  br i1 %cond, label %bb, label %exit
168
169bb:
170  %mul = mul i8 %a, 50
171  ret i8 %mul
172
173exit:
174  ret i8 0
175}
176
177define i1 @nuw_range1(i8 %b) {
178; CHECK-LABEL: @nuw_range1(
179; CHECK-NEXT:  entry:
180; CHECK-NEXT:    [[C:%.*]] = add nuw nsw i8 [[B:%.*]], 1
181; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[C]], 4
182; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[MUL]], 0
183; CHECK-NEXT:    ret i1 [[CMP]]
184;
185entry:
186  %c = add nuw nsw i8 %b, 1
187  %mul = mul nuw i8 %c, 4
188  %cmp = icmp eq i8 %mul, 0
189  ret i1 %cmp
190}
191
192define i1 @nuw_range2(i8 %b) {
193; CHECK-LABEL: @nuw_range2(
194; CHECK-NEXT:  entry:
195; CHECK-NEXT:    [[C:%.*]] = add nuw nsw i8 [[B:%.*]], 3
196; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[C]], 4
197; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[MUL]], 2
198; CHECK-NEXT:    ret i1 [[CMP]]
199;
200entry:
201  %c = add nuw nsw i8 %b, 3
202  %mul = mul nuw i8 %c, 4
203  %cmp = icmp ult i8 %mul, 2
204  ret i1 %cmp
205}
206
207define i1 @nsw_range1(i8 %b) {
208; CHECK-LABEL: @nsw_range1(
209; CHECK-NEXT:  entry:
210; CHECK-NEXT:    [[C:%.*]] = add nuw nsw i8 [[B:%.*]], -3
211; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[C]], 4
212; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i8 [[C]], [[MUL]]
213; CHECK-NEXT:    ret i1 [[CMP]]
214;
215entry:
216  %c = add nuw nsw i8 %b, -3
217  %mul = mul nsw i8 %c, 4
218  %cmp = icmp slt i8 %c, %mul
219  ret i1 %cmp
220}
221