blob: 77984fa9dd444d0ab4a721ea3932e131769b47e9 [file] [log] [blame]
Dan Gohman8fe7e862015-12-14 22:51:54 +00001; RUN: llc < %s -asm-verbose=false -disable-block-placement -verify-machineinstrs | FileCheck %s
2; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck -check-prefix=OPT %s
Dan Gohman950a13c2015-09-16 16:51:30 +00003
4; Test the CFG stackifier pass.
5
Dan Gohman0c6f5ac2016-01-07 03:19:23 +00006target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
Dan Gohman950a13c2015-09-16 16:51:30 +00007target triple = "wasm32-unknown-unknown"
8
9declare void @something()
10
11; Test that loops are made contiguous, even in the presence of split backedges.
12
Dan Gohmane51c0582015-10-06 00:27:55 +000013; CHECK-LABEL: test0:
14; CHECK: loop
Dan Gohmanf0b165a2015-12-05 03:03:35 +000015; CHECK-NOT: br
Dan Gohman8fe7e862015-12-14 22:51:54 +000016; CHECK: i32.add
17; CHECK-NEXT: i32.ge_s
18; CHECK-NEXT: br_if
Dan Gohmanf0b165a2015-12-05 03:03:35 +000019; CHECK-NOT: br
Dan Gohmane51c0582015-10-06 00:27:55 +000020; CHECK: call
Dan Gohmana4730cf2016-01-07 18:49:53 +000021; CHECK: br .LBB0_1{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +000022; CHECK: return{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +000023; OPT-LABEL: test0:
24; OPT: loop
Dan Gohmanf0b165a2015-12-05 03:03:35 +000025; OPT-NOT: br
Dan Gohman8fe7e862015-12-14 22:51:54 +000026; OPT: i32.add
27; OPT-NEXT: i32.ge_s
28; OPT-NEXT: br_if
Dan Gohmanf0b165a2015-12-05 03:03:35 +000029; OPT-NOT: br
30; OPT: call
Dan Gohmana4730cf2016-01-07 18:49:53 +000031; OPT: br .LBB0_1{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +000032; OPT: return{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +000033define void @test0(i32 %n) {
34entry:
35 br label %header
36
37header:
38 %i = phi i32 [ 0, %entry ], [ %i.next, %back ]
39 %i.next = add i32 %i, 1
40
41 %c = icmp slt i32 %i.next, %n
42 br i1 %c, label %back, label %exit
43
44exit:
45 ret void
46
47back:
48 call void @something()
49 br label %header
50}
51
52; Same as test0, but the branch condition is reversed.
53
Dan Gohmane51c0582015-10-06 00:27:55 +000054; CHECK-LABEL: test1:
55; CHECK: loop
Dan Gohmanf0b165a2015-12-05 03:03:35 +000056; CHECK-NOT: br
Dan Gohman8fe7e862015-12-14 22:51:54 +000057; CHECK: i32.add
58; CHECK-NEXT: i32.ge_s
59; CHECK-NEXT: br_if
Dan Gohmanf0b165a2015-12-05 03:03:35 +000060; CHECK-NOT: br
Dan Gohmane51c0582015-10-06 00:27:55 +000061; CHECK: call
Dan Gohmana4730cf2016-01-07 18:49:53 +000062; CHECK: br .LBB1_1{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +000063; CHECK: return{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +000064; OPT-LABEL: test1:
65; OPT: loop
Dan Gohmanf0b165a2015-12-05 03:03:35 +000066; OPT-NOT: br
Dan Gohman8fe7e862015-12-14 22:51:54 +000067; OPT: i32.add
68; OPT-NEXT: i32.ge_s
69; OPT-NEXT: br_if
Dan Gohmanf0b165a2015-12-05 03:03:35 +000070; OPT-NOT: br
71; OPT: call
Dan Gohmana4730cf2016-01-07 18:49:53 +000072; OPT: br .LBB1_1{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +000073; OPT: return{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +000074define void @test1(i32 %n) {
75entry:
76 br label %header
77
78header:
79 %i = phi i32 [ 0, %entry ], [ %i.next, %back ]
80 %i.next = add i32 %i, 1
81
82 %c = icmp sge i32 %i.next, %n
83 br i1 %c, label %exit, label %back
84
85exit:
86 ret void
87
88back:
89 call void @something()
90 br label %header
91}
92
93; Test that a simple loop is handled as expected.
94
Dan Gohmane51c0582015-10-06 00:27:55 +000095; CHECK-LABEL: test2:
Dan Gohman8f59cf72016-01-06 18:29:35 +000096; CHECK-NOT: local
Dan Gohmana4730cf2016-01-07 18:49:53 +000097; CHECK: block .LBB2_2{{$}}
98; CHECK: br_if {{[^,]*}}, .LBB2_2{{$}}
99; CHECK: .LBB2_1:
100; CHECK: br_if ${{[0-9]+}}, .LBB2_1{{$}}
101; CHECK: .LBB2_2:
Dan Gohmane51c0582015-10-06 00:27:55 +0000102; CHECK: return{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000103; OPT-LABEL: test2:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000104; OPT: block .LBB2_2{{$}}
105; OPT: br_if {{[^,]*}}, .LBB2_2{{$}}
106; OPT: .LBB2_1:
107; OPT: br_if ${{[0-9]+}}, .LBB2_1{{$}}
108; OPT: .LBB2_2:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000109; OPT: return{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000110define void @test2(double* nocapture %p, i32 %n) {
111entry:
112 %cmp.4 = icmp sgt i32 %n, 0
113 br i1 %cmp.4, label %for.body.preheader, label %for.end
114
115for.body.preheader:
116 br label %for.body
117
118for.body:
119 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
120 %arrayidx = getelementptr inbounds double, double* %p, i32 %i.05
121 %0 = load double, double* %arrayidx, align 8
122 %mul = fmul double %0, 3.200000e+00
123 store double %mul, double* %arrayidx, align 8
124 %inc = add nuw nsw i32 %i.05, 1
125 %exitcond = icmp eq i32 %inc, %n
126 br i1 %exitcond, label %for.end.loopexit, label %for.body
127
128for.end.loopexit:
129 br label %for.end
130
131for.end:
132 ret void
133}
134
Dan Gohmane51c0582015-10-06 00:27:55 +0000135; CHECK-LABEL: doublediamond:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000136; CHECK: block .LBB3_5{{$}}
137; CHECK: block .LBB3_2{{$}}
138; CHECK: br_if $0, .LBB3_2{{$}}
139; CHECK: block .LBB3_4{{$}}
140; CHECK: br_if $1, .LBB3_4{{$}}
141; CHECK: br .LBB3_5{{$}}
142; CHECK: .LBB3_4:
143; CHECK: .LBB3_5:
Dan Gohman4ba48162015-11-18 16:12:01 +0000144; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000145; OPT-LABEL: doublediamond:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000146; OPT: block .LBB3_5{{$}}
147; OPT: block .LBB3_4{{$}}
148; OPT: br_if {{[^,]*}}, .LBB3_4{{$}}
149; OPT: block .LBB3_3{{$}}
150; OPT: br_if {{[^,]*}}, .LBB3_3{{$}}
151; OPT: br .LBB3_5{{$}}
152; OPT: .LBB3_4:
153; OPT: .LBB3_5:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000154; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000155define i32 @doublediamond(i32 %a, i32 %b, i32* %p) {
156entry:
157 %c = icmp eq i32 %a, 0
158 %d = icmp eq i32 %b, 0
159 store volatile i32 0, i32* %p
160 br i1 %c, label %true, label %false
161true:
162 store volatile i32 1, i32* %p
163 br label %exit
164false:
165 store volatile i32 2, i32* %p
166 br i1 %d, label %ft, label %ff
167ft:
168 store volatile i32 3, i32* %p
169 br label %exit
170ff:
171 store volatile i32 4, i32* %p
172 br label %exit
173exit:
174 store volatile i32 5, i32* %p
175 ret i32 0
176}
177
Dan Gohmane51c0582015-10-06 00:27:55 +0000178; CHECK-LABEL: triangle:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000179; CHECK: block .LBB4_2{{$}}
180; CHECK: br_if $1, .LBB4_2{{$}}
181; CHECK: .LBB4_2:
Dan Gohman4ba48162015-11-18 16:12:01 +0000182; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000183; OPT-LABEL: triangle:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000184; OPT: block .LBB4_2{{$}}
185; OPT: br_if $1, .LBB4_2{{$}}
186; OPT: .LBB4_2:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000187; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000188define i32 @triangle(i32* %p, i32 %a) {
189entry:
190 %c = icmp eq i32 %a, 0
191 store volatile i32 0, i32* %p
192 br i1 %c, label %true, label %exit
193true:
194 store volatile i32 1, i32* %p
195 br label %exit
196exit:
197 store volatile i32 2, i32* %p
198 ret i32 0
199}
200
Dan Gohmane51c0582015-10-06 00:27:55 +0000201; CHECK-LABEL: diamond:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000202; CHECK: block .LBB5_3{{$}}
203; CHECK: block .LBB5_2{{$}}
204; CHECK: br_if $1, .LBB5_2{{$}}
205; CHECK: br .LBB5_3{{$}}
206; CHECK: .LBB5_2:
207; CHECK: .LBB5_3:
Dan Gohman4ba48162015-11-18 16:12:01 +0000208; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000209; OPT-LABEL: diamond:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000210; OPT: block .LBB5_3{{$}}
211; OPT: block .LBB5_2{{$}}
212; OPT: br_if {{[^,]*}}, .LBB5_2{{$}}
213; OPT: br .LBB5_3{{$}}
214; OPT: .LBB5_2:
215; OPT: .LBB5_3:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000216; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000217define i32 @diamond(i32* %p, i32 %a) {
218entry:
219 %c = icmp eq i32 %a, 0
220 store volatile i32 0, i32* %p
221 br i1 %c, label %true, label %false
222true:
223 store volatile i32 1, i32* %p
224 br label %exit
225false:
226 store volatile i32 2, i32* %p
227 br label %exit
228exit:
229 store volatile i32 3, i32* %p
230 ret i32 0
231}
232
Dan Gohmane51c0582015-10-06 00:27:55 +0000233; CHECK-LABEL: single_block:
Dan Gohman950a13c2015-09-16 16:51:30 +0000234; CHECK-NOT: br
Dan Gohman81719f82015-11-25 16:55:01 +0000235; CHECK: return $pop{{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000236; OPT-LABEL: single_block:
237; OPT-NOT: br
238; OPT: return $pop{{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000239define i32 @single_block(i32* %p) {
240entry:
241 store volatile i32 0, i32* %p
242 ret i32 0
243}
244
Dan Gohmane51c0582015-10-06 00:27:55 +0000245; CHECK-LABEL: minimal_loop:
Dan Gohman950a13c2015-09-16 16:51:30 +0000246; CHECK-NOT: br
Dan Gohmana4730cf2016-01-07 18:49:53 +0000247; CHECK: .LBB7_1:
Derek Schuff9d779522015-12-05 00:26:39 +0000248; CHECK: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000249; CHECK: br .LBB7_1{{$}}
250; CHECK: .LBB7_2:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000251; OPT-LABEL: minimal_loop:
252; OPT-NOT: br
Dan Gohmana4730cf2016-01-07 18:49:53 +0000253; OPT: .LBB7_1:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000254; OPT: i32.store $discard=, 0($0), $pop{{[0-9]+}}{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000255; OPT: br .LBB7_1{{$}}
256; OPT: .LBB7_2:
Dan Gohman950a13c2015-09-16 16:51:30 +0000257define i32 @minimal_loop(i32* %p) {
258entry:
259 store volatile i32 0, i32* %p
260 br label %loop
261loop:
262 store volatile i32 1, i32* %p
263 br label %loop
264}
265
Dan Gohmane51c0582015-10-06 00:27:55 +0000266; CHECK-LABEL: simple_loop:
Dan Gohman950a13c2015-09-16 16:51:30 +0000267; CHECK-NOT: br
Dan Gohmana4730cf2016-01-07 18:49:53 +0000268; CHECK: .LBB8_1:
269; CHECK: loop .LBB8_2{{$}}
270; CHECK: br_if $pop{{[0-9]+}}, .LBB8_1{{$}}
271; CHECK: .LBB8_2:
Dan Gohman4ba48162015-11-18 16:12:01 +0000272; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000273; OPT-LABEL: simple_loop:
274; OPT-NOT: br
Dan Gohmana4730cf2016-01-07 18:49:53 +0000275; OPT: .LBB8_1:
276; OPT: loop .LBB8_2{{$}}
277; OPT: br_if {{[^,]*}}, .LBB8_1{{$}}
278; OPT: .LBB8_2:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000279; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000280define i32 @simple_loop(i32* %p, i32 %a) {
281entry:
282 %c = icmp eq i32 %a, 0
283 store volatile i32 0, i32* %p
284 br label %loop
285loop:
286 store volatile i32 1, i32* %p
287 br i1 %c, label %loop, label %exit
288exit:
289 store volatile i32 2, i32* %p
290 ret i32 0
291}
292
Dan Gohmane51c0582015-10-06 00:27:55 +0000293; CHECK-LABEL: doubletriangle:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000294; CHECK: block .LBB9_4{{$}}
295; CHECK: br_if $0, .LBB9_4{{$}}
296; CHECK: block .LBB9_3{{$}}
297; CHECK: br_if $1, .LBB9_3{{$}}
298; CHECK: .LBB9_3:
299; CHECK: .LBB9_4:
Dan Gohman4ba48162015-11-18 16:12:01 +0000300; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000301; OPT-LABEL: doubletriangle:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000302; OPT: block .LBB9_4{{$}}
303; OPT: br_if $0, .LBB9_4{{$}}
304; OPT: block .LBB9_3{{$}}
305; OPT: br_if $1, .LBB9_3{{$}}
306; OPT: .LBB9_3:
307; OPT: .LBB9_4:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000308; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000309define i32 @doubletriangle(i32 %a, i32 %b, i32* %p) {
310entry:
311 %c = icmp eq i32 %a, 0
312 %d = icmp eq i32 %b, 0
313 store volatile i32 0, i32* %p
314 br i1 %c, label %true, label %exit
315true:
316 store volatile i32 2, i32* %p
317 br i1 %d, label %tt, label %tf
318tt:
319 store volatile i32 3, i32* %p
320 br label %tf
321tf:
322 store volatile i32 4, i32* %p
323 br label %exit
324exit:
325 store volatile i32 5, i32* %p
326 ret i32 0
327}
328
Dan Gohmane51c0582015-10-06 00:27:55 +0000329; CHECK-LABEL: ifelse_earlyexits:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000330; CHECK: block .LBB10_4{{$}}
331; CHECK: block .LBB10_2{{$}}
332; CHECK: br_if $0, .LBB10_2{{$}}
333; CHECK: br .LBB10_4{{$}}
334; CHECK: .LBB10_2:
335; CHECK: br_if $1, .LBB10_4{{$}}
336; CHECK: .LBB10_4:
Dan Gohman4ba48162015-11-18 16:12:01 +0000337; CHECK: return ${{[0-9]+}}{{$}}
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000338; OPT-LABEL: ifelse_earlyexits:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000339; OPT: block .LBB10_4{{$}}
340; OPT: block .LBB10_3{{$}}
341; OPT: br_if {{[^,]*}}, .LBB10_3{{$}}
342; OPT: br_if $1, .LBB10_4{{$}}
343; OPT: br .LBB10_4{{$}}
344; OPT: .LBB10_3:
345; OPT: .LBB10_4:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000346; OPT: return ${{[0-9]+}}{{$}}
Dan Gohman950a13c2015-09-16 16:51:30 +0000347define i32 @ifelse_earlyexits(i32 %a, i32 %b, i32* %p) {
348entry:
349 %c = icmp eq i32 %a, 0
350 %d = icmp eq i32 %b, 0
351 store volatile i32 0, i32* %p
352 br i1 %c, label %true, label %false
353true:
354 store volatile i32 1, i32* %p
355 br label %exit
356false:
357 store volatile i32 2, i32* %p
358 br i1 %d, label %ft, label %exit
359ft:
360 store volatile i32 3, i32* %p
361 br label %exit
362exit:
363 store volatile i32 4, i32* %p
364 ret i32 0
365}
Dan Gohmane3e4a5f2015-10-02 21:11:36 +0000366
Dan Gohman32807932015-11-23 16:19:56 +0000367; CHECK-LABEL: doublediamond_in_a_loop:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000368; CHECK: .LBB11_1:
369; CHECK: loop .LBB11_7{{$}}
370; CHECK: block .LBB11_6{{$}}
371; CHECK: block .LBB11_3{{$}}
372; CHECK: br_if $0, .LBB11_3{{$}}
373; CHECK: br .LBB11_6{{$}}
374; CHECK: .LBB11_3:
375; CHECK: block .LBB11_5{{$}}
376; CHECK: br_if $1, .LBB11_5{{$}}
377; CHECK: br .LBB11_6{{$}}
378; CHECK: .LBB11_5:
379; CHECK: .LBB11_6:
380; CHECK: br .LBB11_1{{$}}
381; CHECK: .LBB11_7:
Dan Gohmanf0b165a2015-12-05 03:03:35 +0000382; OPT-LABEL: doublediamond_in_a_loop:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000383; OPT: .LBB11_1:
384; OPT: loop .LBB11_7{{$}}
385; OPT: block .LBB11_6{{$}}
386; OPT: block .LBB11_5{{$}}
387; OPT: br_if {{[^,]*}}, .LBB11_5{{$}}
388; OPT: block .LBB11_4{{$}}
389; OPT: br_if {{[^,]*}}, .LBB11_4{{$}}
390; OPT: br .LBB11_6{{$}}
391; OPT: .LBB11_4:
392; OPT: br .LBB11_6{{$}}
393; OPT: .LBB11_5:
394; OPT: .LBB11_6:
395; OPT: br .LBB11_1{{$}}
396; OPT: .LBB11_7:
Dan Gohman32807932015-11-23 16:19:56 +0000397define i32 @doublediamond_in_a_loop(i32 %a, i32 %b, i32* %p) {
398entry:
399 br label %header
400header:
401 %c = icmp eq i32 %a, 0
402 %d = icmp eq i32 %b, 0
403 store volatile i32 0, i32* %p
404 br i1 %c, label %true, label %false
405true:
406 store volatile i32 1, i32* %p
407 br label %exit
408false:
409 store volatile i32 2, i32* %p
410 br i1 %d, label %ft, label %ff
411ft:
412 store volatile i32 3, i32* %p
413 br label %exit
414ff:
415 store volatile i32 4, i32* %p
416 br label %exit
417exit:
418 store volatile i32 5, i32* %p
419 br label %header
420}
421
Dan Gohmane3e4a5f2015-10-02 21:11:36 +0000422; Test that nested loops are handled.
423
Dan Gohman8fe7e862015-12-14 22:51:54 +0000424; CHECK-LABEL: test3:
425; CHECK: loop
426; CHECK-NEXT: br_if
Dan Gohmana4730cf2016-01-07 18:49:53 +0000427; CHECK-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000428; CHECK-NEXT: loop
429; OPT-LABEL: test3:
430; OPT: loop
431; OPT-NEXT: br_if
Dan Gohmana4730cf2016-01-07 18:49:53 +0000432; OPT-NEXT: .LBB{{[0-9]+}}_{{[0-9]+}}:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000433; OPT-NEXT: loop
Dan Gohmane3e4a5f2015-10-02 21:11:36 +0000434declare void @bar()
Dan Gohmane3e4a5f2015-10-02 21:11:36 +0000435define void @test3(i32 %w) {
436entry:
437 br i1 undef, label %outer.ph, label %exit
438
439outer.ph:
440 br label %outer
441
442outer:
443 %tobool = icmp eq i32 undef, 0
444 br i1 %tobool, label %inner, label %unreachable
445
446unreachable:
447 unreachable
448
449inner:
450 %c = icmp eq i32 undef, %w
451 br i1 %c, label %if.end, label %inner
452
453exit:
454 ret void
455
456if.end:
457 call void @bar()
458 br label %outer
459}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000460
461; Test switch lowering and block placement.
462
463; CHECK-LABEL: test4:
464; CHECK-NEXT: .param i32{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000465; CHECK: block .LBB13_8{{$}}
466; CHECK-NEXT: block .LBB13_7{{$}}
467; CHECK-NEXT: block .LBB13_4{{$}}
468; CHECK: br_if $pop{{[0-9]*}}, .LBB13_4{{$}}
469; CHECK-NEXT: block .LBB13_3{{$}}
470; CHECK: br_if $pop{{[0-9]*}}, .LBB13_3{{$}}
471; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
472; CHECK-NEXT: .LBB13_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000473; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000474; CHECK-NEXT: .LBB13_4:
475; CHECK: br_if $pop{{[0-9]*}}, .LBB13_8{{$}}
476; CHECK: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000477; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000478; CHECK-NEXT: .LBB13_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000479; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000480; CHECK-NEXT: .LBB13_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000481; CHECK-NEXT: return{{$}}
482; OPT-LABEL: test4:
483; OPT-NEXT: .param i32{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000484; OPT: block .LBB13_8{{$}}
485; OPT-NEXT: block .LBB13_7{{$}}
486; OPT-NEXT: block .LBB13_4{{$}}
487; OPT: br_if $pop{{[0-9]*}}, .LBB13_4{{$}}
488; OPT-NEXT: block .LBB13_3{{$}}
489; OPT: br_if $pop{{[0-9]*}}, .LBB13_3{{$}}
490; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
491; OPT-NEXT: .LBB13_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000492; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000493; OPT-NEXT: .LBB13_4:
494; OPT: br_if $pop{{[0-9]*}}, .LBB13_8{{$}}
495; OPT: br_if $pop{{[0-9]*}}, .LBB13_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000496; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000497; OPT-NEXT: .LBB13_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000498; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000499; OPT-NEXT: .LBB13_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000500; OPT-NEXT: return{{$}}
501define void @test4(i32 %t) {
502entry:
503 switch i32 %t, label %default [
504 i32 0, label %bb2
505 i32 2, label %bb2
506 i32 4, label %bb1
507 i32 622, label %bb0
508 ]
509
510bb0:
511 ret void
512
513bb1:
514 ret void
515
516bb2:
517 ret void
518
519default:
520 ret void
521}
522
523; Test a case where the BLOCK needs to be placed before the LOOP in the
524; same basic block.
525
526; CHECK-LABEL: test5:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000527; CHECK: .LBB14_1:
528; CHECK-NEXT: block .LBB14_4{{$}}
529; CHECK-NEXT: loop .LBB14_3{{$}}
530; CHECK: br_if {{[^,]*}}, .LBB14_4{{$}}
531; CHECK: br_if {{[^,]*}}, .LBB14_1{{$}}
532; CHECK-NEXT: .LBB14_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000533; CHECK: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000534; CHECK-NEXT: .LBB14_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000535; CHECK: return{{$}}
536; OPT-LABEL: test5:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000537; OPT: .LBB14_1:
538; OPT-NEXT: block .LBB14_4{{$}}
539; OPT-NEXT: loop .LBB14_3{{$}}
540; OPT: br_if {{[^,]*}}, .LBB14_4{{$}}
541; OPT: br_if {{[^,]*}}, .LBB14_1{{$}}
542; OPT-NEXT: .LBB14_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000543; OPT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000544; OPT-NEXT: .LBB14_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000545; OPT: return{{$}}
546define void @test5(i1 %p, i1 %q) {
547entry:
548 br label %header
549
550header:
551 store volatile i32 0, i32* null
552 br i1 %p, label %more, label %alt
553
554more:
555 store volatile i32 1, i32* null
556 br i1 %q, label %header, label %return
557
558alt:
559 store volatile i32 2, i32* null
560 ret void
561
562return:
563 store volatile i32 3, i32* null
564 ret void
565}
566
567; Test an interesting case of a loop with multiple exits, which
568; aren't to layout successors of the loop, and one of which is to a successors
569; which has another predecessor.
570
571; CHECK-LABEL: test6:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000572; CHECK: .LBB15_1:
573; CHECK-NEXT: block .LBB15_6{{$}}
574; CHECK-NEXT: block .LBB15_5{{$}}
575; CHECK-NEXT: loop .LBB15_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000576; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000577; CHECK: br_if {{[^,]*}}, .LBB15_6{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000578; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000579; CHECK: br_if {{[^,]*}}, .LBB15_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000580; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000581; CHECK: br_if {{[^,]*}}, .LBB15_1{{$}}
582; CHECK-NEXT: .LBB15_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000583; CHECK-NOT: block
584; CHECK: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000585; CHECK-NEXT: .LBB15_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000586; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000587; CHECK: .LBB15_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000588; CHECK-NOT: block
589; CHECK: return{{$}}
590; OPT-LABEL: test6:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000591; OPT: .LBB15_1:
592; OPT-NEXT: block .LBB15_6{{$}}
593; OPT-NEXT: block .LBB15_5{{$}}
594; OPT-NEXT: loop .LBB15_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000595; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000596; OPT: br_if {{[^,]*}}, .LBB15_6{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000597; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000598; OPT: br_if {{[^,]*}}, .LBB15_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000599; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000600; OPT: br_if {{[^,]*}}, .LBB15_1{{$}}
601; OPT-NEXT: .LBB15_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000602; OPT-NOT: block
603; OPT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000604; OPT-NEXT: .LBB15_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000605; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000606; OPT: .LBB15_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000607; OPT-NOT: block
608; OPT: return{{$}}
609define void @test6(i1 %p, i1 %q) {
610entry:
611 br label %header
612
613header:
614 store volatile i32 0, i32* null
615 br i1 %p, label %more, label %second
616
617more:
618 store volatile i32 1, i32* null
619 br i1 %q, label %evenmore, label %first
620
621evenmore:
622 store volatile i32 1, i32* null
623 br i1 %q, label %header, label %return
624
625return:
626 store volatile i32 2, i32* null
627 ret void
628
629first:
630 store volatile i32 3, i32* null
631 br label %second
632
633second:
634 store volatile i32 4, i32* null
635 ret void
636}
637
638; Test a case where there are multiple backedges and multiple loop exits
639; that end in unreachable.
640
641; CHECK-LABEL: test7:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000642; CHECK: .LBB16_1:
643; CHECK-NEXT: loop .LBB16_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000644; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000645; CHECK: block .LBB16_4{{$}}
646; CHECK: br_if {{[^,]*}}, .LBB16_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000647; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000648; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000649; CHECK-NOT: block
650; CHECK: unreachable
Dan Gohmana4730cf2016-01-07 18:49:53 +0000651; CHECK_NEXT: .LBB16_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000652; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000653; CHECK: br_if {{[^,]*}}, .LBB16_1{{$}}
654; CHECK-NEXT: .LBB16_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000655; CHECK-NOT: block
656; CHECK: unreachable
657; OPT-LABEL: test7:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000658; OPT: .LBB16_1:
659; OPT-NEXT: loop .LBB16_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000660; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000661; OPT: block .LBB16_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000662; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000663; OPT: br_if {{[^,]*}}, .LBB16_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000664; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000665; OPT: br_if {{[^,]*}}, .LBB16_1{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000666; OPT-NOT: block
667; OPT: unreachable
Dan Gohmana4730cf2016-01-07 18:49:53 +0000668; OPT_NEXT: .LBB16_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000669; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000670; OPT: br_if {{[^,]*}}, .LBB16_1{{$}}
671; OPT-NEXT: .LBB16_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000672; OPT-NOT: block
673; OPT: unreachable
674define void @test7(i1 %tobool2, i1 %tobool9) {
675entry:
676 store volatile i32 0, i32* null
677 br label %loop
678
679loop:
680 store volatile i32 1, i32* null
681 br i1 %tobool2, label %l1, label %l0
682
683l0:
684 store volatile i32 2, i32* null
685 br i1 %tobool9, label %loop, label %u0
686
687l1:
688 store volatile i32 3, i32* null
689 br i1 %tobool9, label %loop, label %u1
690
691u0:
692 store volatile i32 4, i32* null
693 unreachable
694
695u1:
696 store volatile i32 5, i32* null
697 unreachable
698}
699
700; Test an interesting case using nested loops and switches.
701
702; CHECK-LABEL: test8:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000703; CHECK: .LBB17_1:
704; CHECK-NEXT: loop .LBB17_4{{$}}
705; CHECK-NEXT: block .LBB17_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000706; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000707; CHECK: br_if {{[^,]*}}, .LBB17_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000708; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000709; CHECK: br_if {{[^,]*}}, .LBB17_1{{$}}
710; CHECK-NEXT: .LBB17_3:
711; CHECK-NEXT: loop .LBB17_4{{$}}
712; CHECK-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}}
713; CHECK-NEXT: br .LBB17_1{{$}}
714; CHECK-NEXT: .LBB17_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000715; OPT-LABEL: test8:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000716; OPT: .LBB17_1:
717; OPT-NEXT: loop .LBB17_4{{$}}
718; OPT-NEXT: block .LBB17_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000719; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000720; OPT: br_if {{[^,]*}}, .LBB17_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000721; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000722; OPT: br_if {{[^,]*}}, .LBB17_1{{$}}
723; OPT-NEXT: .LBB17_3:
724; OPT-NEXT: loop .LBB17_4{{$}}
725; OPT-NEXT: br_if {{[^,]*}}, .LBB17_3{{$}}
726; OPT-NEXT: br .LBB17_1{{$}}
727; OPT-NEXT: .LBB17_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000728define i32 @test8() {
729bb:
730 br label %bb1
731
732bb1:
733 br i1 undef, label %bb2, label %bb3
734
735bb2:
736 switch i8 undef, label %bb1 [
737 i8 44, label %bb2
738 ]
739
740bb3:
741 switch i8 undef, label %bb1 [
742 i8 44, label %bb2
743 ]
744}
745
746; Test an interesting case using nested loops that share a bottom block.
747
748; CHECK-LABEL: test9:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000749; CHECK: .LBB18_1:
750; CHECK-NEXT: loop .LBB18_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000751; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000752; CHECK: br_if {{[^,]*}}, .LBB18_5{{$}}
753; CHECK-NEXT: .LBB18_2:
754; CHECK-NEXT: loop .LBB18_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000755; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000756; CHECK: block .LBB18_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000757; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000758; CHECK: br_if {{[^,]*}}, .LBB18_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000759; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000760; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}}
761; CHECK-NEXT: br .LBB18_1{{$}}
762; CHECK-NEXT: .LBB18_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000763; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000764; CHECK: br_if {{[^,]*}}, .LBB18_2{{$}}
765; CHECK-NEXT: br .LBB18_1{{$}}
766; CHECK-NEXT: .LBB18_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000767; CHECK-NOT: block
768; CHECK: return{{$}}
769; OPT-LABEL: test9:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000770; OPT: .LBB18_1:
771; OPT-NEXT: loop .LBB18_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000772; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000773; OPT: br_if {{[^,]*}}, .LBB18_5{{$}}
774; OPT-NEXT: .LBB18_2:
775; OPT-NEXT: loop .LBB18_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000776; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000777; OPT: block .LBB18_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000778; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000779; OPT: br_if {{[^,]*}}, .LBB18_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000780; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000781; OPT: br_if {{[^,]*}}, .LBB18_2{{$}}
782; OPT-NEXT: br .LBB18_1{{$}}
783; OPT-NEXT: .LBB18_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000784; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000785; OPT: br_if {{[^,]*}}, .LBB18_2{{$}}
786; OPT-NEXT: br .LBB18_1{{$}}
787; OPT-NEXT: .LBB18_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000788; OPT-NOT: block
789; OPT: return{{$}}
790declare i1 @a()
791define void @test9() {
792entry:
793 store volatile i32 0, i32* null
794 br label %header
795
796header:
797 store volatile i32 1, i32* null
798 %call4 = call i1 @a()
799 br i1 %call4, label %header2, label %end
800
801header2:
802 store volatile i32 2, i32* null
803 %call = call i1 @a()
804 br i1 %call, label %if.then, label %if.else
805
806if.then:
807 store volatile i32 3, i32* null
808 %call3 = call i1 @a()
809 br i1 %call3, label %header2, label %header
810
811if.else:
812 store volatile i32 4, i32* null
813 %call2 = call i1 @a()
814 br i1 %call2, label %header2, label %header
815
816end:
817 store volatile i32 5, i32* null
818 ret void
819}
820
821; Test an interesting case involving nested loops sharing a loop bottom,
822; and loop exits to a block with unreachable.
823
824; CHECK-LABEL: test10:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000825; CHECK: .LBB19_1:
826; CHECK-NEXT: loop .LBB19_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000827; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000828; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}}
829; CHECK-NEXT: .LBB19_2:
830; CHECK-NEXT: block .LBB19_6{{$}}
831; CHECK-NEXT: loop .LBB19_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000832; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000833; CHECK: .LBB19_3:
834; CHECK-NEXT: loop .LBB19_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000835; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000836; CHECK: br_if {{[^,]*}}, .LBB19_1{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000837; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000838; CHECK: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}}
839; CHECK-NEXT: .LBB19_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000840; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000841; CHECK-NEXT: .LBB19_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000842; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000843; CHECK: br .LBB19_1{{$}}
844; CHECK-NEXT: .LBB19_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000845; OPT-LABEL: test10:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000846; OPT: .LBB19_1:
847; OPT-NEXT: loop .LBB19_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000848; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000849; OPT: br_if {{[^,]*}}, .LBB19_1{{$}}
850; OPT-NEXT: .LBB19_2:
851; OPT-NEXT: block .LBB19_6{{$}}
852; OPT-NEXT: loop .LBB19_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000853; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000854; OPT: .LBB19_3:
855; OPT-NEXT: loop .LBB19_5{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000856; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000857; OPT: br_if {{[^,]*}}, .LBB19_1{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000858; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000859; OPT: tableswitch {{[^,]*}}, .LBB19_3, .LBB19_3, .LBB19_5, .LBB19_1, .LBB19_2, .LBB19_6{{$}}
860; OPT-NEXT: .LBB19_5:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000861; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000862; OPT-NEXT: .LBB19_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000863; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000864; OPT: br .LBB19_1{{$}}
865; OPT-NEXT: .LBB19_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000866define void @test10() {
867bb0:
868 br label %bb1
869
870bb1:
871 %tmp = phi i32 [ 2, %bb0 ], [ 3, %bb3 ]
872 %tmp3 = phi i32 [ undef, %bb0 ], [ %tmp11, %bb3 ]
873 %tmp4 = icmp eq i32 %tmp3, 0
874 br i1 %tmp4, label %bb4, label %bb2
875
876bb2:
877 br label %bb3
878
879bb3:
880 %tmp11 = phi i32 [ 1, %bb5 ], [ 0, %bb2 ]
881 br label %bb1
882
883bb4:
884 %tmp6 = phi i32 [ %tmp9, %bb5 ], [ 4, %bb1 ]
885 %tmp7 = phi i32 [ %tmp6, %bb5 ], [ %tmp, %bb1 ]
886 br label %bb5
887
888bb5:
889 %tmp9 = phi i32 [ %tmp6, %bb5 ], [ %tmp7, %bb4 ]
890 switch i32 %tmp9, label %bb2 [
891 i32 0, label %bb5
892 i32 1, label %bb6
893 i32 3, label %bb4
894 i32 4, label %bb3
895 ]
896
897bb6:
898 ret void
899}
900
901; Test a CFG DAG with interesting merging.
902
903; CHECK-LABEL: test11:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000904; CHECK: block .LBB20_8{{$}}
905; CHECK-NEXT: block .LBB20_7{{$}}
906; CHECK-NEXT: block .LBB20_6{{$}}
907; CHECK-NEXT: block .LBB20_4{{$}}
908; CHECK-NEXT: br_if {{[^,]*}}, .LBB20_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000909; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000910; CHECK: block .LBB20_3{{$}}
911; CHECK: br_if {{[^,]*}}, .LBB20_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000912; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000913; CHECK: br_if {{[^,]*}}, .LBB20_6{{$}}
914; CHECK-NEXT: .LBB20_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000915; CHECK-NOT: block
916; CHECK: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000917; CHECK-NEXT: .LBB20_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000918; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000919; CHECK: br_if {{[^,]*}}, .LBB20_8{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000920; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000921; CHECK: br_if {{[^,]*}}, .LBB20_7{{$}}
922; CHECK-NEXT: .LBB20_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000923; CHECK-NOT: block
924; CHECK: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000925; CHECK-NEXT: .LBB20_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000926; CHECK-NOT: block
927; CHECK: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000928; CHECK-NEXT: .LBB20_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000929; CHECK-NOT: block
930; CHECK: return{{$}}
931; OPT-LABEL: test11:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000932; OPT: block .LBB20_8{{$}}
933; OPT-NEXT: block .LBB20_4{{$}}
934; OPT-NEXT: br_if $0, .LBB20_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000935; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000936; OPT: block .LBB20_3{{$}}
937; OPT: br_if $0, .LBB20_3{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000938; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000939; OPT: br_if $0, .LBB20_8{{$}}
940; OPT-NEXT: .LBB20_3:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000941; OPT-NOT: block
942; OPT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000943; OPT-NEXT: .LBB20_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000944; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000945; OPT: block .LBB20_6{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000946; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000947; OPT: br_if $pop9, .LBB20_6{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000948; OPT-NOT: block
949; OPT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000950; OPT-NEXT: .LBB20_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000951; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000952; OPT: br_if $0, .LBB20_8{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000953; OPT-NOT: block
954; OPT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +0000955; OPT-NEXT: .LBB20_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +0000956; OPT-NOT: block
957; OPT: return{{$}}
958define void @test11() {
959bb0:
960 store volatile i32 0, i32* null
961 br i1 undef, label %bb1, label %bb4
962bb1:
963 store volatile i32 1, i32* null
964 br i1 undef, label %bb3, label %bb2
965bb2:
966 store volatile i32 2, i32* null
967 br i1 undef, label %bb3, label %bb7
968bb3:
969 store volatile i32 3, i32* null
970 ret void
971bb4:
972 store volatile i32 4, i32* null
973 br i1 undef, label %bb8, label %bb5
974bb5:
975 store volatile i32 5, i32* null
976 br i1 undef, label %bb6, label %bb7
977bb6:
978 store volatile i32 6, i32* null
979 ret void
980bb7:
981 store volatile i32 7, i32* null
982 ret void
983bb8:
984 store volatile i32 8, i32* null
985 ret void
986}
987
988; CHECK-LABEL: test12:
Dan Gohmana4730cf2016-01-07 18:49:53 +0000989; CHECK: .LBB21_1:
990; CHECK-NEXT: loop .LBB21_8{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000991; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000992; CHECK: block .LBB21_7{{$}}
993; CHECK-NEXT: block .LBB21_6{{$}}
994; CHECK-NEXT: block .LBB21_4{{$}}
995; CHECK: br_if {{[^,]*}}, .LBB21_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000996; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000997; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +0000998; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +0000999; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
1000; CHECK-NEXT: br .LBB21_6{{$}}
1001; CHECK-NEXT: .LBB21_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001002; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001003; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +00001004; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001005; CHECK: br_if {{[^,]*}}, .LBB21_7{{$}}
1006; CHECK-NEXT: .LBB21_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001007; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001008; CHECK-NEXT: .LBB21_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001009; CHECK-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001010; CHECK: br .LBB21_1{{$}}
1011; CHECK-NEXT: .LBB21_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001012; OPT-LABEL: test12:
Dan Gohmana4730cf2016-01-07 18:49:53 +00001013; OPT: .LBB21_1:
1014; OPT-NEXT: loop .LBB21_8{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +00001015; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001016; OPT: block .LBB21_7{{$}}
1017; OPT-NEXT: block .LBB21_6{{$}}
1018; OPT-NEXT: block .LBB21_4{{$}}
1019; OPT: br_if {{[^,]*}}, .LBB21_4{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +00001020; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001021; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +00001022; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001023; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1024; OPT-NEXT: br .LBB21_6{{$}}
1025; OPT-NEXT: .LBB21_4:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001026; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001027; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
Dan Gohman8fe7e862015-12-14 22:51:54 +00001028; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001029; OPT: br_if {{[^,]*}}, .LBB21_7{{$}}
1030; OPT-NEXT: .LBB21_6:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001031; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001032; OPT-NEXT: .LBB21_7:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001033; OPT-NOT: block
Dan Gohmana4730cf2016-01-07 18:49:53 +00001034; OPT: br .LBB21_1{{$}}
1035; OPT-NEXT: .LBB21_8:
Dan Gohman8fe7e862015-12-14 22:51:54 +00001036define void @test12(i8* %arg) {
1037bb:
1038 br label %bb1
1039
1040bb1:
1041 %tmp = phi i32 [ 0, %bb ], [ %tmp5, %bb4 ]
1042 %tmp2 = getelementptr i8, i8* %arg, i32 %tmp
1043 %tmp3 = load i8, i8* %tmp2
1044 switch i8 %tmp3, label %bb7 [
1045 i8 42, label %bb4
1046 i8 76, label %bb4
1047 i8 108, label %bb4
1048 i8 104, label %bb4
1049 ]
1050
1051bb4:
1052 %tmp5 = add i32 %tmp, 1
1053 br label %bb1
1054
1055bb7:
1056 ret void
1057}
Dan Gohmanb3aa1ec2015-12-16 19:06:41 +00001058
1059; A block can be "branched to" from another even if it is also reachable via
1060; fallthrough from the other. This would normally be optimized away, so use
1061; optnone to disable optimizations to test this case.
1062
1063; CHECK-LABEL: test13:
1064; CHECK-NEXT: .local i32{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001065; CHECK: block .LBB22_2{{$}}
1066; CHECK: br_if $pop4, .LBB22_2{{$}}
Dan Gohmanb3aa1ec2015-12-16 19:06:41 +00001067; CHECK-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001068; CHECK-NEXT: .LBB22_2:
1069; CHECK: block .LBB22_4{{$}}
1070; CHECK-NEXT: br_if $0, .LBB22_4{{$}}
1071; CHECK: .LBB22_4:
1072; CHECK: block .LBB22_5{{$}}
1073; CHECK: br_if $pop6, .LBB22_5{{$}}
1074; CHECK-NEXT: .LBB22_5:
Dan Gohmanb3aa1ec2015-12-16 19:06:41 +00001075; CHECK-NEXT: unreachable{{$}}
1076; OPT-LABEL: test13:
1077; OPT-NEXT: .local i32{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001078; OPT: block .LBB22_2{{$}}
1079; OPT: br_if $pop4, .LBB22_2{{$}}
Dan Gohmanb3aa1ec2015-12-16 19:06:41 +00001080; OPT-NEXT: return{{$}}
Dan Gohmana4730cf2016-01-07 18:49:53 +00001081; OPT-NEXT: .LBB22_2:
1082; OPT: block .LBB22_4{{$}}
1083; OPT-NEXT: br_if $0, .LBB22_4{{$}}
1084; OPT: .LBB22_4:
1085; OPT: block .LBB22_5{{$}}
1086; OPT: br_if $pop6, .LBB22_5{{$}}
1087; OPT-NEXT: .LBB22_5:
Dan Gohmanb3aa1ec2015-12-16 19:06:41 +00001088; OPT-NEXT: unreachable{{$}}
1089define void @test13() noinline optnone {
1090bb:
1091 br i1 undef, label %bb5, label %bb2
1092bb1:
1093 unreachable
1094bb2:
1095 br i1 undef, label %bb3, label %bb4
1096bb3:
1097 br label %bb4
1098bb4:
1099 %tmp = phi i1 [ false, %bb2 ], [ false, %bb3 ]
1100 br i1 %tmp, label %bb1, label %bb1
1101bb5:
1102 ret void
1103}