Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 439042b7adf62c8c4d4c790d21cc064f95e49f78 / . / llvm / test / Transforms / Util / PredicateInfo / condprop.ll
blob: cde4193a17eacbbb7a4321135f9d2e62ce900501 [file] [log] [blame]
Daniel Berlin439042b2017-02-07 21:10:46 +0000[diff] [blame^]1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -print-predicateinfo -analyze < %s 2>&1 | FileCheck %s
3
4@a = external global i32 ; <i32*> [#uses=7]
5
6define i32 @test1() nounwind {
7; CHECK-LABEL: @test1(
8; CHECK-NEXT: entry:
9; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* @a, align 4
10; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[TMP0]], 4
11; CHECK-NEXT: br i1 [[TMP1]], label [[BB:%.*]], label [[BB1:%.*]]
12; CHECK: bb:
13; CHECK-NEXT: br label [[BB8:%.*]]
14; CHECK: bb1:
15; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* @a, align 4
16; CHECK-NEXT: [[TMP3:%.*]] = icmp eq i32 [[TMP2]], 5
17; CHECK-NEXT: br i1 [[TMP3]], label [[BB2:%.*]], label [[BB3:%.*]]
18; CHECK: bb2:
19; CHECK-NEXT: br label [[BB8]]
20; CHECK: bb3:
21; CHECK-NEXT: [[TMP4:%.*]] = load i32, i32* @a, align 4
22; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i32 [[TMP4]], 4
23; CHECK-NEXT: br i1 [[TMP5]], label [[BB4:%.*]], label [[BB5:%.*]]
24; CHECK: bb4:
25; CHECK-NEXT: [[TMP6:%.*]] = load i32, i32* @a, align 4
26; CHECK-NEXT: [[TMP7:%.*]] = add i32 [[TMP6]], 5
27; CHECK-NEXT: br label [[BB8]]
28; CHECK: bb5:
29; CHECK-NEXT: [[TMP8:%.*]] = load i32, i32* @a, align 4
30; CHECK-NEXT: [[TMP9:%.*]] = icmp eq i32 [[TMP8]], 5
31; CHECK-NEXT: br i1 [[TMP9]], label [[BB6:%.*]], label [[BB7:%.*]]
32; CHECK: bb6:
33; CHECK-NEXT: [[TMP10:%.*]] = load i32, i32* @a, align 4
34; CHECK-NEXT: [[TMP11:%.*]] = add i32 [[TMP10]], 4
35; CHECK-NEXT: br label [[BB8]]
36; CHECK: bb7:
37; CHECK-NEXT: [[TMP12:%.*]] = load i32, i32* @a, align 4
38; CHECK-NEXT: br label [[BB8]]
39; CHECK: bb8:
40; CHECK-NEXT: [[DOT0:%.*]] = phi i32 [ [[TMP12]], [[BB7]] ], [ [[TMP11]], [[BB6]] ], [ [[TMP7]], [[BB4]] ], [ 4, [[BB2]] ], [ 5, [[BB]] ]
41; CHECK-NEXT: br label [[RETURN:%.*]]
42; CHECK: return:
43; CHECK-NEXT: ret i32 [[DOT0]]
44;
45entry:
46 %0 = load i32, i32* @a, align 4
47 %1 = icmp eq i32 %0, 4
48 br i1 %1, label %bb, label %bb1
49
50bb: ; preds = %entry
51 br label %bb8
52
53bb1: ; preds = %entry
54 %2 = load i32, i32* @a, align 4
55 %3 = icmp eq i32 %2, 5
56 br i1 %3, label %bb2, label %bb3
57
58bb2: ; preds = %bb1
59 br label %bb8
60
61bb3: ; preds = %bb1
62 %4 = load i32, i32* @a, align 4
63 %5 = icmp eq i32 %4, 4
64 br i1 %5, label %bb4, label %bb5
65
66bb4: ; preds = %bb3
67 %6 = load i32, i32* @a, align 4
68 %7 = add i32 %6, 5
69 br label %bb8
70
71bb5: ; preds = %bb3
72 %8 = load i32, i32* @a, align 4
73 %9 = icmp eq i32 %8, 5
74 br i1 %9, label %bb6, label %bb7
75
76bb6: ; preds = %bb5
77 %10 = load i32, i32* @a, align 4
78 %11 = add i32 %10, 4
79 br label %bb8
80
81bb7: ; preds = %bb5
82 %12 = load i32, i32* @a, align 4
83 br label %bb8
84
85bb8: ; preds = %bb7, %bb6, %bb4, %bb2, %bb
86 %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]
87 br label %return
88
89return: ; preds = %bb8
90 ret i32 %.0
91}
92
93declare void @foo(i1)
94declare void @bar(i32)
95
96define void @test3(i32 %x, i32 %y) {
97; CHECK-LABEL: @test3(
98; CHECK-NEXT: [[XZ:%.*]] = icmp eq i32 [[X:%.*]], 0
99; CHECK-NEXT: [[YZ:%.*]] = icmp eq i32 [[Y:%.*]], 0
100; CHECK-NEXT: [[Z:%.*]] = and i1 [[XZ]], [[YZ]]
101; CHECK-NEXT: br i1 [[Z]], label [[BOTH_ZERO:%.*]], label [[NOPE:%.*]]
102; CHECK: both_zero:
103; CHECK: [[Y_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[Y]])
104; CHECK: [[YZ_0:%.*]] = call i1 @llvm.ssa.copy.i1(i1 [[YZ]])
105; CHECK: [[X_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
106; CHECK: [[XZ_0:%.*]] = call i1 @llvm.ssa.copy.i1(i1 [[XZ]])
107; CHECK-NEXT: call void @foo(i1 [[XZ_0]])
108; CHECK-NEXT: call void @foo(i1 [[YZ_0]])
109; CHECK-NEXT: call void @bar(i32 [[X_0]])
110; CHECK-NEXT: call void @bar(i32 [[Y_0]])
111; CHECK-NEXT: ret void
112; CHECK: nope:
113; CHECK-NEXT: call void @foo(i1 [[Z]])
114; CHECK-NEXT: ret void
115;
116 %xz = icmp eq i32 %x, 0
117 %yz = icmp eq i32 %y, 0
118 %z = and i1 %xz, %yz
119 br i1 %z, label %both_zero, label %nope
120both_zero:
121 call void @foo(i1 %xz)
122 call void @foo(i1 %yz)
123 call void @bar(i32 %x)
124 call void @bar(i32 %y)
125 ret void
126nope:
127 call void @foo(i1 %z)
128 ret void
129}
130
131define void @test4(i1 %b, i32 %x) {
132; CHECK-LABEL: @test4(
133; CHECK-NEXT: br i1 [[B:%.*]], label [[SW:%.*]], label [[CASE3:%.*]]
134; CHECK: sw:
135; CHECK-NEXT: switch i32 [[X:%.*]], label [[DEFAULT:%.*]] [
136; CHECK-NEXT: i32 0, label [[CASE0:%.*]]
137; CHECK-NEXT: i32 1, label [[CASE1:%.*]]
138; CHECK-NEXT: i32 2, label [[CASE0]]
139; CHECK-NEXT: i32 3, label [[CASE3]]
140; CHECK-NEXT: i32 4, label [[DEFAULT]]
141; CHECK-NEXT: ]
142; CHECK: default:
143; CHECK-NEXT: call void @bar(i32 [[X]])
144; CHECK-NEXT: ret void
145; CHECK: case0:
146; CHECK-NEXT: call void @bar(i32 [[X]])
147; CHECK-NEXT: ret void
148; CHECK: case1:
149; CHECK-NEXT: call void @bar(i32 [[X]])
150; CHECK-NEXT: ret void
151; CHECK: case3:
152; CHECK-NEXT: call void @bar(i32 [[X]])
153; CHECK-NEXT: ret void
154;
155 br i1 %b, label %sw, label %case3
156sw:
157 switch i32 %x, label %default [
158 i32 0, label %case0
159 i32 1, label %case1
160 i32 2, label %case0
161 i32 3, label %case3
162 i32 4, label %default
163 ]
164default:
165 call void @bar(i32 %x)
166 ret void
167case0:
168 call void @bar(i32 %x)
169 ret void
170case1:
171 call void @bar(i32 %x)
172 ret void
173case3:
174 call void @bar(i32 %x)
175 ret void
176}
177
178define i1 @test5(i32 %x, i32 %y) {
179; CHECK-LABEL: @test5(
180; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
181; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
182; CHECK: same:
183; CHECK: [[Y_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[Y]])
184; CHECK: [[X_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
185; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i32 [[X_0]], [[Y_0]]
186; CHECK-NEXT: ret i1 [[CMP2]]
187; CHECK: different:
188; CHECK: [[Y_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[Y]])
189; CHECK: [[X_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
190; CHECK-NEXT: [[CMP3:%.*]] = icmp eq i32 [[X_1]], [[Y_1]]
191; CHECK-NEXT: ret i1 [[CMP3]]
192;
193 %cmp = icmp eq i32 %x, %y
194 br i1 %cmp, label %same, label %different
195
196same:
197 %cmp2 = icmp ne i32 %x, %y
198 ret i1 %cmp2
199
200different:
201 %cmp3 = icmp eq i32 %x, %y
202 ret i1 %cmp3
203}
204
205define i1 @test6(i32 %x, i32 %y) {
206; CHECK-LABEL: @test6(
207; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i32 [[X:%.*]], [[Y:%.*]]
208; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X]], [[Y]]
209; CHECK-NEXT: [[CMP3:%.*]] = icmp eq i32 [[X]], [[Y]]
210; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
211; CHECK: same:
212; CHECK-NEXT: ret i1 [[CMP2]]
213; CHECK: different:
214; CHECK-NEXT: ret i1 [[CMP3]]
215;
216 %cmp2 = icmp ne i32 %x, %y
217 %cmp = icmp eq i32 %x, %y
218 %cmp3 = icmp eq i32 %x, %y
219 br i1 %cmp, label %same, label %different
220
221same:
222 ret i1 %cmp2
223
224different:
225 ret i1 %cmp3
226}
227
228define i1 @test6_fp(float %x, float %y) {
229; CHECK-LABEL: @test6_fp(
230; CHECK-NEXT: [[CMP2:%.*]] = fcmp une float [[X:%.*]], [[Y:%.*]]
231; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq float [[X]], [[Y]]
232; CHECK-NEXT: [[CMP3:%.*]] = fcmp oeq float [[X]], [[Y]]
233; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
234; CHECK: same:
235; CHECK-NEXT: ret i1 [[CMP2]]
236; CHECK: different:
237; CHECK-NEXT: ret i1 [[CMP3]]
238;
239 %cmp2 = fcmp une float %x, %y
240 %cmp = fcmp oeq float %x, %y
241 %cmp3 = fcmp oeq float %x, %y
242 br i1 %cmp, label %same, label %different
243
244same:
245 ret i1 %cmp2
246
247different:
248 ret i1 %cmp3
249}
250
251define i1 @test7(i32 %x, i32 %y) {
252; CHECK-LABEL: @test7(
253; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
254; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
255; CHECK: same:
256; CHECK: [[Y_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[Y]])
257; CHECK: [[X_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
258; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i32 [[X_0]], [[Y_0]]
259; CHECK-NEXT: ret i1 [[CMP2]]
260; CHECK: different:
261; CHECK: [[Y_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[Y]])
262; CHECK: [[X_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
263; CHECK-NEXT: [[CMP3:%.*]] = icmp sgt i32 [[X_1]], [[Y_1]]
264; CHECK-NEXT: ret i1 [[CMP3]]
265;
266 %cmp = icmp sgt i32 %x, %y
267 br i1 %cmp, label %same, label %different
268
269same:
270 %cmp2 = icmp sle i32 %x, %y
271 ret i1 %cmp2
272
273different:
274 %cmp3 = icmp sgt i32 %x, %y
275 ret i1 %cmp3
276}
277
278define i1 @test7_fp(float %x, float %y) {
279; CHECK-LABEL: @test7_fp(
280; CHECK-NEXT: [[CMP:%.*]] = fcmp ogt float [[X:%.*]], [[Y:%.*]]
281; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
282; CHECK: same:
283; CHECK: [[Y_0:%.*]] = call float @llvm.ssa.copy.f32(float [[Y]])
284; CHECK: [[X_0:%.*]] = call float @llvm.ssa.copy.f32(float [[X]])
285; CHECK-NEXT: [[CMP2:%.*]] = fcmp ule float [[X_0]], [[Y_0]]
286; CHECK-NEXT: ret i1 [[CMP2]]
287; CHECK: different:
288; CHECK: [[Y_1:%.*]] = call float @llvm.ssa.copy.f32(float [[Y]])
289; CHECK: [[X_1:%.*]] = call float @llvm.ssa.copy.f32(float [[X]])
290; CHECK-NEXT: [[CMP3:%.*]] = fcmp ogt float [[X_1]], [[Y_1]]
291; CHECK-NEXT: ret i1 [[CMP3]]
292;
293 %cmp = fcmp ogt float %x, %y
294 br i1 %cmp, label %same, label %different
295
296same:
297 %cmp2 = fcmp ule float %x, %y
298 ret i1 %cmp2
299
300different:
301 %cmp3 = fcmp ogt float %x, %y
302 ret i1 %cmp3
303}
304
305define i1 @test8(i32 %x, i32 %y) {
306; CHECK-LABEL: @test8(
307; CHECK-NEXT: [[CMP2:%.*]] = icmp sle i32 [[X:%.*]], [[Y:%.*]]
308; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[X]], [[Y]]
309; CHECK-NEXT: [[CMP3:%.*]] = icmp sgt i32 [[X]], [[Y]]
310; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
311; CHECK: same:
312; CHECK-NEXT: ret i1 [[CMP2]]
313; CHECK: different:
314; CHECK-NEXT: ret i1 [[CMP3]]
315;
316 %cmp2 = icmp sle i32 %x, %y
317 %cmp = icmp sgt i32 %x, %y
318 %cmp3 = icmp sgt i32 %x, %y
319 br i1 %cmp, label %same, label %different
320
321same:
322 ret i1 %cmp2
323
324different:
325 ret i1 %cmp3
326}
327
328define i1 @test8_fp(float %x, float %y) {
329; CHECK-LABEL: @test8_fp(
330; CHECK-NEXT: [[CMP2:%.*]] = fcmp ule float [[X:%.*]], [[Y:%.*]]
331; CHECK-NEXT: [[CMP:%.*]] = fcmp ogt float [[X]], [[Y]]
332; CHECK-NEXT: [[CMP3:%.*]] = fcmp ogt float [[X]], [[Y]]
333; CHECK-NEXT: br i1 [[CMP]], label [[SAME:%.*]], label [[DIFFERENT:%.*]]
334; CHECK: same:
335; CHECK-NEXT: ret i1 [[CMP2]]
336; CHECK: different:
337; CHECK-NEXT: ret i1 [[CMP3]]
338;
339 %cmp2 = fcmp ule float %x, %y
340 %cmp = fcmp ogt float %x, %y
341 %cmp3 = fcmp ogt float %x, %y
342 br i1 %cmp, label %same, label %different
343
344same:
345 ret i1 %cmp2
346
347different:
348 ret i1 %cmp3
349}
350
351define i32 @test9(i32 %i, i32 %j) {
352; CHECK-LABEL: @test9(
353; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
354; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
355; CHECK: cond_true:
356; CHECK: [[J_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[J]])
357; CHECK: [[I_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[I]])
358; CHECK-NEXT: [[DIFF:%.*]] = sub i32 [[I_0]], [[J_0]]
359; CHECK-NEXT: ret i32 [[DIFF]]
360; CHECK: ret:
361; CHECK-NEXT: ret i32 5
362;
363 %cmp = icmp eq i32 %i, %j
364 br i1 %cmp, label %cond_true, label %ret
365
366cond_true:
367 %diff = sub i32 %i, %j
368 ret i32 %diff
369
370ret:
371 ret i32 5
372}
373
374define i32 @test10(i32 %j, i32 %i) {
375; CHECK-LABEL: @test10(
376; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], [[J:%.*]]
377; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[RET:%.*]]
378; CHECK: cond_true:
379; CHECK: [[J_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[J]])
380; CHECK: [[I_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[I]])
381; CHECK-NEXT: [[DIFF:%.*]] = sub i32 [[I_0]], [[J_0]]
382; CHECK-NEXT: ret i32 [[DIFF]]
383; CHECK: ret:
384; CHECK-NEXT: ret i32 5
385;
386 %cmp = icmp eq i32 %i, %j
387 br i1 %cmp, label %cond_true, label %ret
388
389cond_true:
390 %diff = sub i32 %i, %j
391 ret i32 %diff
392
393ret:
394 ret i32 5
395}
396
397declare i32 @yogibar()
398
399define i32 @test11(i32 %x) {
400; CHECK-LABEL: @test11(
401; CHECK-NEXT: [[V0:%.*]] = call i32 @yogibar()
402; CHECK-NEXT: [[V1:%.*]] = call i32 @yogibar()
403; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[V0]], [[V1]]
404; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[NEXT:%.*]]
405; CHECK: cond_true:
406; CHECK: [[V1_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[V1]])
407; CHECK-NEXT: ret i32 [[V1_0]]
408; CHECK: next:
409; CHECK: [[V0_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[V0]])
410; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 [[X:%.*]], [[V0_0]]
411; CHECK-NEXT: br i1 [[CMP2]], label [[COND_TRUE2:%.*]], label [[NEXT2:%.*]]
412; CHECK: cond_true2:
413; CHECK: [[V0_0_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[V0_0]])
414; CHECK-NEXT: ret i32 [[V0_0_1]]
415; CHECK: next2:
416; CHECK-NEXT: ret i32 0
417;
418 %v0 = call i32 @yogibar()
419 %v1 = call i32 @yogibar()
420 %cmp = icmp eq i32 %v0, %v1
421 br i1 %cmp, label %cond_true, label %next
422
423cond_true:
424 ret i32 %v1
425
426next:
427 %cmp2 = icmp eq i32 %x, %v0
428 br i1 %cmp2, label %cond_true2, label %next2
429
430cond_true2:
431 ret i32 %v0
432
433next2:
434 ret i32 0
435}
436
437define i32 @test12(i32 %x) {
438; CHECK-LABEL: @test12(
439; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[X:%.*]], 0
440; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
441; CHECK: cond_true:
442; CHECK: [[X_0:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
443; CHECK-NEXT: br label [[RET:%.*]]
444; CHECK: cond_false:
445; CHECK: [[X_1:%.*]] = call i32 @llvm.ssa.copy.i32(i32 [[X]])
446; CHECK-NEXT: br label [[RET]]
447; CHECK: ret:
448; CHECK-NEXT: [[RES:%.*]] = phi i32 [ [[X_0]], [[COND_TRUE]] ], [ [[X_1]], [[COND_FALSE]] ]
449; CHECK-NEXT: ret i32 [[RES]]
450;
451 %cmp = icmp eq i32 %x, 0
452 br i1 %cmp, label %cond_true, label %cond_false
453
454cond_true:
455 br label %ret
456
457cond_false:
458 br label %ret
459
460ret:
461 %res = phi i32 [ %x, %cond_true ], [ %x, %cond_false ]
462 ret i32 %res
463}