Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / c3fe6ea22e963d7fa3579ecfeff5591449abf583 / . / llvm / test / Transforms / ConstraintElimination / geps.ll
blob: ed013ed2c9612624e77ff584a61e46ede1f4fff7 [file] [log] [blame]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]2; RUN: opt -constraint-elimination -S %s | FileCheck %s
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]3
4define i32 @test.ult(i32* readonly %src, i32* readnone %min, i32* readnone %max) {
5; CHECK-LABEL: @test.ult(
6; CHECK-NEXT: check.0.min:
7; CHECK-NEXT: [[C_MIN_0:%.*]] = icmp ult i32* [[SRC:%.*]], [[MIN:%.*]]
8; CHECK-NEXT: br i1 [[C_MIN_0]], label [[TRAP:%.*]], label [[CHECK_0_MAX:%.*]]
9; CHECK: trap:
10; CHECK-NEXT: ret i32 10
11; CHECK: check.0.max:
12; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp ult i32* [[SRC]], [[MAX:%.*]]
13; CHECK-NEXT: br i1 [[C_MAX_0]], label [[CHECK_3_MIN:%.*]], label [[TRAP]]
14; CHECK: check.3.min:
15; CHECK-NEXT: [[L0:%.*]] = load i32, i32* [[SRC]], align 4
16; CHECK-NEXT: [[ADD_PTR_I36:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 3
17; CHECK-NEXT: [[C_3_MIN:%.*]] = icmp ult i32* [[ADD_PTR_I36]], [[MIN]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]18; CHECK-NEXT: br i1 false, label [[TRAP]], label [[CHECK_3_MAX:%.*]]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]19; CHECK: check.3.max:
20; CHECK-NEXT: [[C_3_MAX:%.*]] = icmp ult i32* [[ADD_PTR_I36]], [[MAX]]
21; CHECK-NEXT: br i1 [[C_3_MAX]], label [[CHECK_1_MIN:%.*]], label [[TRAP]]
22; CHECK: check.1.min:
23; CHECK-NEXT: [[L1:%.*]] = load i32, i32* [[ADD_PTR_I36]], align 4
24; CHECK-NEXT: [[ADD_PTR_I29:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 1
25; CHECK-NEXT: [[C_1_MIN:%.*]] = icmp ult i32* [[ADD_PTR_I29]], [[MIN]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]26; CHECK-NEXT: br i1 false, label [[TRAP]], label [[CHECK_1_MAX:%.*]]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]27; CHECK: check.1.max:
28; CHECK-NEXT: [[C_1_MAX:%.*]] = icmp ult i32* [[ADD_PTR_I29]], [[MAX]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]29; CHECK-NEXT: br i1 true, label [[CHECK_2_MIN:%.*]], label [[TRAP]]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]30; CHECK: check.2.min:
31; CHECK-NEXT: [[L2:%.*]] = load i32, i32* [[ADD_PTR_I29]], align 4
32; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 2
33; CHECK-NEXT: [[C_2_MIN:%.*]] = icmp ult i32* [[ADD_PTR_I]], [[MIN]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]34; CHECK-NEXT: br i1 false, label [[TRAP]], label [[CHECK_2_MAX:%.*]]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]35; CHECK: check.2.max:
36; CHECK-NEXT: [[C_2_MAX:%.*]] = icmp ult i32* [[ADD_PTR_I]], [[MAX]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]37; CHECK-NEXT: br i1 true, label [[EXIT:%.*]], label [[TRAP]]
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]38; CHECK: exit:
39; CHECK-NEXT: [[L3:%.*]] = load i32, i32* [[ADD_PTR_I]], align 4
40; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[L1]], [[L0]]
41; CHECK-NEXT: [[ADD8:%.*]] = add nsw i32 [[ADD]], [[L2]]
42; CHECK-NEXT: [[ADD9:%.*]] = add nsw i32 [[ADD8]], [[L3]]
43; CHECK-NEXT: ret i32 [[ADD9]]
44;
45check.0.min:
46 %c.min.0 = icmp ult i32* %src, %min
47 br i1 %c.min.0, label %trap, label %check.0.max
48
49trap: ; preds = %check.2.max, %check.2.min, %check.1.max, %check.1.min, %check.3.max, %check.3.min, %check.0.max, %check.0.min
50 ret i32 10
51
52check.0.max: ; preds = %check.0.min
53 %c.max.0 = icmp ult i32* %src, %max
54 br i1 %c.max.0, label %check.3.min, label %trap
55
56check.3.min: ; preds = %check.0.max
57 %l0 = load i32, i32* %src, align 4
58 %add.ptr.i36 = getelementptr inbounds i32, i32* %src, i64 3
59 %c.3.min = icmp ult i32* %add.ptr.i36, %min
60 br i1 %c.3.min, label %trap, label %check.3.max
61
62check.3.max: ; preds = %check.3.min
63 %c.3.max = icmp ult i32* %add.ptr.i36, %max
64 br i1 %c.3.max, label %check.1.min, label %trap
65
66check.1.min: ; preds = %check.3.max
67 %l1 = load i32, i32* %add.ptr.i36, align 4
68 %add.ptr.i29 = getelementptr inbounds i32, i32* %src, i64 1
69 %c.1.min = icmp ult i32* %add.ptr.i29, %min
70 br i1 %c.1.min, label %trap, label %check.1.max
71
72check.1.max: ; preds = %check.1.min
73 %c.1.max = icmp ult i32* %add.ptr.i29, %max
74 br i1 %c.1.max, label %check.2.min, label %trap
75
76check.2.min: ; preds = %check.1.max
77 %l2 = load i32, i32* %add.ptr.i29, align 4
78 %add.ptr.i = getelementptr inbounds i32, i32* %src, i64 2
79 %c.2.min = icmp ult i32* %add.ptr.i, %min
80 br i1 %c.2.min, label %trap, label %check.2.max
81
82check.2.max: ; preds = %check.2.min
83 %c.2.max = icmp ult i32* %add.ptr.i, %max
84 br i1 %c.2.max, label %exit, label %trap
85
86exit: ; preds = %check.2.max
87 %l3 = load i32, i32* %add.ptr.i, align 4
88 %add = add nsw i32 %l1, %l0
89 %add8 = add nsw i32 %add, %l2
90 %add9 = add nsw i32 %add8, %l3
91 ret i32 %add9
92}
93
94define void @test.not.uge.ult(i8* %start, i8* %low, i8* %high) {
95; CHECK-LABEL: @test.not.uge.ult(
96; CHECK-NEXT: entry:
97; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
98; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
99; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
100; CHECK: if.then:
101; CHECK-NEXT: ret void
102; CHECK: if.end:
103; CHECK-NEXT: [[T_0:%.*]] = icmp ult i8* [[START]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]104; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]105; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
106; CHECK-NEXT: [[T_1:%.*]] = icmp ult i8* [[START_1]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]107; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]108; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
109; CHECK-NEXT: [[T_2:%.*]] = icmp ult i8* [[START_2]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]110; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]111; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
112; CHECK-NEXT: [[T_3:%.*]] = icmp ult i8* [[START_3]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]113; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]114; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
115; CHECK-NEXT: [[C_4:%.*]] = icmp ult i8* [[START_4]], [[HIGH]]
116; CHECK-NEXT: call void @use(i1 [[C_4]])
117; CHECK-NEXT: ret void
118;
119entry:
120 %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
121 %c.1 = icmp uge i8* %add.ptr.i, %high
122 br i1 %c.1, label %if.then, label %if.end
123
124if.then: ; preds = %entry
125 ret void
126
127if.end: ; preds = %entry
128 %t.0 = icmp ult i8* %start, %high
129 call void @use(i1 %t.0)
130 %start.1 = getelementptr inbounds i8, i8* %start, i64 1
131 %t.1 = icmp ult i8* %start.1, %high
132 call void @use(i1 %t.1)
133 %start.2 = getelementptr inbounds i8, i8* %start, i64 2
134 %t.2 = icmp ult i8* %start.2, %high
135 call void @use(i1 %t.2)
136 %start.3 = getelementptr inbounds i8, i8* %start, i64 3
137 %t.3 = icmp ult i8* %start.3, %high
138 call void @use(i1 %t.3)
139 %start.4 = getelementptr inbounds i8, i8* %start, i64 4
140 %c.4 = icmp ult i8* %start.4, %high
141 call void @use(i1 %c.4)
142 ret void
143}
144
145define void @test.not.uge.ule(i8* %start, i8* %low, i8* %high) {
146; CHECK-LABEL: @test.not.uge.ule(
147; CHECK-NEXT: entry:
148; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
149; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
150; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
151; CHECK: if.then:
152; CHECK-NEXT: ret void
153; CHECK: if.end:
154; CHECK-NEXT: [[T_0:%.*]] = icmp ule i8* [[START]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]155; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]156; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
157; CHECK-NEXT: [[T_1:%.*]] = icmp ule i8* [[START_1]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]158; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]159; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
160; CHECK-NEXT: [[T_2:%.*]] = icmp ule i8* [[START_2]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]161; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]162; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
163; CHECK-NEXT: [[T_3:%.*]] = icmp ule i8* [[START_3]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]164; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]165; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
166; CHECK-NEXT: [[T_4:%.*]] = icmp ule i8* [[START_4]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]167; CHECK-NEXT: call void @use(i1 true)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]168; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
169; CHECK-NEXT: [[C_5:%.*]] = icmp ule i8* [[START_5]], [[HIGH]]
170; CHECK-NEXT: call void @use(i1 [[C_5]])
171; CHECK-NEXT: ret void
172;
173entry:
174 %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
175 %c.1 = icmp uge i8* %add.ptr.i, %high
176 br i1 %c.1, label %if.then, label %if.end
177
178if.then: ; preds = %entry
179 ret void
180
181if.end: ; preds = %entry
182 %t.0 = icmp ule i8* %start, %high
183 call void @use(i1 %t.0)
184 %start.1 = getelementptr inbounds i8, i8* %start, i64 1
185 %t.1 = icmp ule i8* %start.1, %high
186 call void @use(i1 %t.1)
187 %start.2 = getelementptr inbounds i8, i8* %start, i64 2
188 %t.2 = icmp ule i8* %start.2, %high
189 call void @use(i1 %t.2)
190 %start.3 = getelementptr inbounds i8, i8* %start, i64 3
191 %t.3 = icmp ule i8* %start.3, %high
192 call void @use(i1 %t.3)
193 %start.4 = getelementptr inbounds i8, i8* %start, i64 4
194 %t.4 = icmp ule i8* %start.4, %high
195 call void @use(i1 %t.4)
196
197 %start.5 = getelementptr inbounds i8, i8* %start, i64 5
198 %c.5 = icmp ule i8* %start.5, %high
199 call void @use(i1 %c.5)
200
201 ret void
202}
203
204define void @test.not.uge.ugt(i8* %start, i8* %low, i8* %high) {
205; CHECK-LABEL: @test.not.uge.ugt(
206; CHECK-NEXT: entry:
207; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
208; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
209; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
210; CHECK: if.then:
211; CHECK-NEXT: ret void
212; CHECK: if.end:
213; CHECK-NEXT: [[F_0:%.*]] = icmp ugt i8* [[START]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]214; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]215; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
216; CHECK-NEXT: [[F_1:%.*]] = icmp ugt i8* [[START_1]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]217; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]218; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
219; CHECK-NEXT: [[F_2:%.*]] = icmp ugt i8* [[START_2]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]220; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]221; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
222; CHECK-NEXT: [[F_3:%.*]] = icmp ugt i8* [[START_3]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]223; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]224; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
225; CHECK-NEXT: [[F_4:%.*]] = icmp ugt i8* [[START_4]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]226; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]227; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
228; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i8* [[START_5]], [[HIGH]]
229; CHECK-NEXT: call void @use(i1 [[C_5]])
230; CHECK-NEXT: ret void
231;
232entry:
233 %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
234 %c.1 = icmp uge i8* %add.ptr.i, %high
235 br i1 %c.1, label %if.then, label %if.end
236
237if.then: ; preds = %entry
238 ret void
239
240if.end: ; preds = %entry
241 %f.0 = icmp ugt i8* %start, %high
242 call void @use(i1 %f.0)
243
244 %start.1 = getelementptr inbounds i8, i8* %start, i64 1
245 %f.1 = icmp ugt i8* %start.1, %high
246 call void @use(i1 %f.1)
247
248 %start.2 = getelementptr inbounds i8, i8* %start, i64 2
249 %f.2 = icmp ugt i8* %start.2, %high
250 call void @use(i1 %f.2)
251
252 %start.3 = getelementptr inbounds i8, i8* %start, i64 3
253 %f.3 = icmp ugt i8* %start.3, %high
254 call void @use(i1 %f.3)
255
256 %start.4 = getelementptr inbounds i8, i8* %start, i64 4
257 %f.4 = icmp ugt i8* %start.4, %high
258 call void @use(i1 %f.4)
259
260 %start.5 = getelementptr inbounds i8, i8* %start, i64 5
261 %c.5 = icmp ugt i8* %start.5, %high
262 call void @use(i1 %c.5)
263
264 ret void
265}
266
267define void @test.not.uge.uge(i8* %start, i8* %low, i8* %high) {
268; CHECK-LABEL: @test.not.uge.uge(
269; CHECK-NEXT: entry:
270; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
271; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
272; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
273; CHECK: if.then:
274; CHECK-NEXT: ret void
275; CHECK: if.end:
276; CHECK-NEXT: [[F_0:%.*]] = icmp ugt i8* [[START]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]277; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]278; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
279; CHECK-NEXT: [[F_1:%.*]] = icmp uge i8* [[START_1]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]280; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]281; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
282; CHECK-NEXT: [[F_2:%.*]] = icmp uge i8* [[START_2]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]283; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]284; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
285; CHECK-NEXT: [[F_3:%.*]] = icmp uge i8* [[START_3]], [[HIGH]]
Florian Hahn3d42d542020-09-15 14:47:23 +0100[diff] [blame]286; CHECK-NEXT: call void @use(i1 false)
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]287; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
288; CHECK-NEXT: [[C_4:%.*]] = icmp uge i8* [[START_4]], [[HIGH]]
289; CHECK-NEXT: call void @use(i1 [[C_4]])
290; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
291; CHECK-NEXT: [[C_5:%.*]] = icmp uge i8* [[START_5]], [[HIGH]]
292; CHECK-NEXT: call void @use(i1 [[C_5]])
293; CHECK-NEXT: ret void
294;
295entry:
296 %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
297 %c.1 = icmp uge i8* %add.ptr.i, %high
298 br i1 %c.1, label %if.then, label %if.end
299
300if.then: ; preds = %entry
301 ret void
302
303if.end: ; preds = %entry
304 %f.0 = icmp ugt i8* %start, %high
305 call void @use(i1 %f.0)
306
307 %start.1 = getelementptr inbounds i8, i8* %start, i64 1
308 %f.1 = icmp uge i8* %start.1, %high
309 call void @use(i1 %f.1)
310
311 %start.2 = getelementptr inbounds i8, i8* %start, i64 2
312 %f.2 = icmp uge i8* %start.2, %high
313 call void @use(i1 %f.2)
314
315 %start.3 = getelementptr inbounds i8, i8* %start, i64 3
316 %f.3 = icmp uge i8* %start.3, %high
317 call void @use(i1 %f.3)
318
319 %start.4 = getelementptr inbounds i8, i8* %start, i64 4
320 %c.4 = icmp uge i8* %start.4, %high
321 call void @use(i1 %c.4)
322
323 %start.5 = getelementptr inbounds i8, i8* %start, i64 5
324 %c.5 = icmp uge i8* %start.5, %high
325 call void @use(i1 %c.5)
326
327 ret void
328}
329
Florian Hahn7f4d88a2020-11-19 14:04:05 +0000[diff] [blame]330define void @test.not.uge.uge.nonconst(i8* %start, i8* %low, i8* %high, i64 %off) {
331; CHECK-LABEL: @test.not.uge.uge.nonconst(
332; CHECK-NEXT: entry:
333; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 [[OFF:%.*]]
334; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
335; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
336; CHECK: if.then:
337; CHECK-NEXT: [[START_OFF_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 [[OFF]]
338; CHECK-NEXT: [[T_0:%.*]] = icmp uge i8* [[START_OFF_2]], [[HIGH]]
Florian Hahn7fa14a72020-11-18 11:45:26 +0000[diff] [blame]339; CHECK-NEXT: call void @use(i1 true)
Florian Hahn7f4d88a2020-11-19 14:04:05 +0000[diff] [blame]340; CHECK-NEXT: ret void
341; CHECK: if.end:
342; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
343; CHECK-NEXT: [[C_0:%.*]] = icmp uge i8* [[START_1]], [[HIGH]]
344; CHECK-NEXT: call void @use(i1 [[C_0]])
345; CHECK-NEXT: [[START_OFF:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 [[OFF]]
346; CHECK-NEXT: [[F_0:%.*]] = icmp uge i8* [[START_OFF]], [[HIGH]]
Florian Hahn7fa14a72020-11-18 11:45:26 +0000[diff] [blame]347; CHECK-NEXT: call void @use(i1 false)
Florian Hahn7f4d88a2020-11-19 14:04:05 +0000[diff] [blame]348; CHECK-NEXT: ret void
349;
350entry:
351 %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 %off
352 %c.1 = icmp uge i8* %add.ptr.i, %high
353 br i1 %c.1, label %if.then, label %if.end
354
355if.then: ; preds = %entry
356 %start.off.2 = getelementptr inbounds i8, i8* %start, i64 %off
357 %t.0 = icmp uge i8* %start.off.2, %high
358 call void @use(i1 %t.0)
359
360 ret void
361
362if.end: ; preds = %entry
363 %start.1 = getelementptr inbounds i8, i8* %start, i64 1
364 %c.0 = icmp uge i8* %start.1, %high
365 call void @use(i1 %c.0)
366
367 %start.off = getelementptr inbounds i8, i8* %start, i64 %off
368 %f.0 = icmp uge i8* %start.off, %high
369 call void @use(i1 %f.0)
370
371 ret void
372}
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]373
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]374; Test which requires decomposing GEP %ptr, SHL().
375define void @test.ult.gep.shl(i32* readonly %src, i32* readnone %max, i32 %idx, i32 %j) {
376; CHECK-LABEL: @test.ult.gep.shl(
377; CHECK-NEXT: check.0.min:
378; CHECK-NEXT: [[ADD_10:%.*]] = getelementptr inbounds i32, i32* [[SRC:%.*]], i32 10
379; CHECK-NEXT: [[C_ADD_10_MAX:%.*]] = icmp ugt i32* [[ADD_10]], [[MAX:%.*]]
380; CHECK-NEXT: br i1 [[C_ADD_10_MAX]], label [[TRAP:%.*]], label [[CHECK_IDX:%.*]]
381; CHECK: trap:
382; CHECK-NEXT: ret void
383; CHECK: check.idx:
384; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[IDX:%.*]], 5
385; CHECK-NEXT: br i1 [[CMP]], label [[CHECK_MAX:%.*]], label [[TRAP]]
386; CHECK: check.max:
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]387; CHECK-NEXT: [[IDX_SHL_1:%.*]] = shl nuw i32 [[IDX]], 1
388; CHECK-NEXT: [[ADD_PTR_SHL_1:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i32 [[IDX_SHL_1]]
389; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp ult i32* [[ADD_PTR_SHL_1]], [[MAX]]
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]390; CHECK-NEXT: call void @use(i1 [[C_MAX_0]])
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]391; CHECK-NEXT: [[IDX_SHL_2:%.*]] = shl nuw i32 [[IDX]], 2
392; CHECK-NEXT: [[ADD_PTR_SHL_2:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i32 [[IDX_SHL_2]]
393; CHECK-NEXT: [[C_MAX_1:%.*]] = icmp ult i32* [[ADD_PTR_SHL_2]], [[MAX]]
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]394; CHECK-NEXT: call void @use(i1 [[C_MAX_1]])
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]395; CHECK-NEXT: [[IDX_SHL_NOT_NUW:%.*]] = shl i32 [[IDX]], 1
396; CHECK-NEXT: [[ADD_PTR_SHL_NOT_NUW:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i32 [[IDX_SHL_NOT_NUW]]
397; CHECK-NEXT: [[C_MAX_2:%.*]] = icmp ult i32* [[ADD_PTR_SHL_NOT_NUW]], [[MAX]]
398; CHECK-NEXT: call void @use(i1 [[C_MAX_2]])
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]399; CHECK-NEXT: [[IDX_SHL_3:%.*]] = shl nuw i32 [[IDX]], 3
400; CHECK-NEXT: [[ADD_PTR_SHL_3:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i32 [[IDX_SHL_3]]
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]401; CHECK-NEXT: [[C_MAX_3:%.*]] = icmp ult i32* [[ADD_PTR_SHL_3]], [[MAX]]
402; CHECK-NEXT: call void @use(i1 [[C_MAX_3]])
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]403; CHECK-NEXT: ret void
404;
405check.0.min:
406 %add.10 = getelementptr inbounds i32, i32* %src, i32 10
407 %c.add.10.max = icmp ugt i32* %add.10, %max
408 br i1 %c.add.10.max, label %trap, label %check.idx
409
410trap:
411 ret void
412
413check.idx: ; preds = %check.0.min
414 %cmp = icmp ult i32 %idx, 5
415 br i1 %cmp, label %check.max, label %trap
416
417check.max: ; preds = %check.0.min
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]418 %idx.shl.1 = shl nuw i32 %idx, 1
419 %add.ptr.shl.1 = getelementptr inbounds i32, i32* %src, i32 %idx.shl.1
420 %c.max.0 = icmp ult i32* %add.ptr.shl.1, %max
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]421 call void @use(i1 %c.max.0)
422
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]423 %idx.shl.2 = shl nuw i32 %idx, 2
424 %add.ptr.shl.2 = getelementptr inbounds i32, i32* %src, i32 %idx.shl.2
425 %c.max.1 = icmp ult i32* %add.ptr.shl.2, %max
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]426 call void @use(i1 %c.max.1)
427
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]428 %idx.shl.not.nuw = shl i32 %idx, 1
429 %add.ptr.shl.not.nuw = getelementptr inbounds i32, i32* %src, i32 %idx.shl.not.nuw
430 %c.max.2 = icmp ult i32* %add.ptr.shl.not.nuw, %max
431 call void @use(i1 %c.max.2)
432
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]433 %idx.shl.3 = shl nuw i32 %idx, 3
434 %add.ptr.shl.3 = getelementptr inbounds i32, i32* %src, i32 %idx.shl.3
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]435 %c.max.3 = icmp ult i32* %add.ptr.shl.3, %max
436 call void @use(i1 %c.max.3)
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]437
438 ret void
439}
440
441; Test which requires decomposing GEP %ptr, ZEXT(SHL()).
442define void @test.ult.gep.shl.zext(i32* readonly %src, i32* readnone %max, i32 %idx, i32 %j) {
443; CHECK-LABEL: @test.ult.gep.shl.zext(
444; CHECK-NEXT: check.0.min:
445; CHECK-NEXT: [[ADD_10:%.*]] = getelementptr inbounds i32, i32* [[SRC:%.*]], i32 10
446; CHECK-NEXT: [[C_ADD_10_MAX:%.*]] = icmp ugt i32* [[ADD_10]], [[MAX:%.*]]
447; CHECK-NEXT: br i1 [[C_ADD_10_MAX]], label [[TRAP:%.*]], label [[CHECK_IDX:%.*]]
448; CHECK: trap:
449; CHECK-NEXT: ret void
450; CHECK: check.idx:
451; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[IDX:%.*]], 5
452; CHECK-NEXT: br i1 [[CMP]], label [[CHECK_MAX:%.*]], label [[TRAP]]
453; CHECK: check.max:
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]454; CHECK-NEXT: [[IDX_SHL:%.*]] = shl nuw i32 [[IDX]], 1
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]455; CHECK-NEXT: [[EXT_1:%.*]] = zext i32 [[IDX_SHL]] to i64
456; CHECK-NEXT: [[ADD_PTR_SHL:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_1]]
457; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp ult i32* [[ADD_PTR_SHL]], [[MAX]]
458; CHECK-NEXT: call void @use(i1 [[C_MAX_0]])
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]459; CHECK-NEXT: [[IDX_SHL_NOT_NUW:%.*]] = shl i32 [[IDX]], 1
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]460; CHECK-NEXT: [[EXT_2:%.*]] = zext i32 [[IDX_SHL_NOT_NUW]] to i64
461; CHECK-NEXT: [[ADD_PTR_SHL_NOT_NUW:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_2]]
462; CHECK-NEXT: [[C_MAX_1:%.*]] = icmp ult i32* [[ADD_PTR_SHL_NOT_NUW]], [[MAX]]
463; CHECK-NEXT: call void @use(i1 [[C_MAX_1]])
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]464; CHECK-NEXT: [[IDX_SHL_3:%.*]] = shl nuw i32 [[IDX]], 2
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]465; CHECK-NEXT: [[EXT_3:%.*]] = zext i32 [[IDX_SHL_3]] to i64
466; CHECK-NEXT: [[ADD_PTR_SHL_3:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_3]]
467; CHECK-NEXT: [[C_MAX_2:%.*]] = icmp ult i32* [[ADD_PTR_SHL_3]], [[MAX]]
468; CHECK-NEXT: call void @use(i1 [[C_MAX_2]])
469; CHECK-NEXT: ret void
470;
471check.0.min:
472 %add.10 = getelementptr inbounds i32, i32* %src, i32 10
473 %c.add.10.max = icmp ugt i32* %add.10, %max
474 br i1 %c.add.10.max, label %trap, label %check.idx
475
476trap:
477 ret void
478
479check.idx: ; preds = %check.0.min
480 %cmp = icmp ult i32 %idx, 5
481 br i1 %cmp, label %check.max, label %trap
482
483check.max: ; preds = %check.0.min
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]484 %idx.shl = shl nuw i32 %idx, 1
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]485 %ext.1 = zext i32 %idx.shl to i64
486 %add.ptr.shl = getelementptr inbounds i32, i32* %src, i64 %ext.1
487 %c.max.0 = icmp ult i32* %add.ptr.shl, %max
488 call void @use(i1 %c.max.0)
489
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]490 %idx.shl.not.nuw = shl i32 %idx, 1
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]491 %ext.2 = zext i32 %idx.shl.not.nuw to i64
492 %add.ptr.shl.not.nuw = getelementptr inbounds i32, i32* %src, i64 %ext.2
493 %c.max.1 = icmp ult i32* %add.ptr.shl.not.nuw, %max
494 call void @use(i1 %c.max.1)
495
Florian Hahn66124092020-11-30 16:47:28 +0000[diff] [blame]496 %idx.shl.3 = shl nuw i32 %idx, 2
Florian Hahn4db1de32020-11-30 15:47:43 +0000[diff] [blame]497 %ext.3 = zext i32 %idx.shl.3 to i64
498 %add.ptr.shl.3 = getelementptr inbounds i32, i32* %src, i64 %ext.3
499 %c.max.2 = icmp ult i32* %add.ptr.shl.3, %max
500 call void @use(i1 %c.max.2)
501
502 ret void
503}
504
Florian Hahn802d21c2020-07-24 19:36:48 +0100[diff] [blame]505declare void @use(i1)
506declare void @llvm.trap()