blob: 64f285db17f255f2977a22e634ae1e00244dccb4 [file] [log] [blame]
Alina Sbirlea52e97a22018-08-28 20:41:05 +00001; RUN: opt < %s -simple-loop-unswitch -disable-output
2
3; PR38283
4; PR38737
5declare void @func_1()
6
7define void @func_9(i32 signext %arg) {
8bb:
9 br label %bb5
10bb5: ; preds = %bb24, %bb
11 %tmp3.0 = phi i32 [ undef, %bb ], [ %tmp29, %bb24 ]
12 %tmp11 = icmp eq i32 %arg, 0
13 %tmp15 = icmp eq i32 %tmp3.0, 0
14 %spec.select = select i1 %tmp15, i32 0, i32 49
15 %tmp1.2 = select i1 %tmp11, i32 %spec.select, i32 9
16 %trunc = trunc i32 %tmp1.2 to i6
17 br label %bb9
18
19bb9: ; preds = %bb5, %bb19
20 %tmp2.03 = phi i32 [ 0, %bb5 ], [ %tmp21, %bb19 ]
21 switch i6 %trunc, label %bb24 [
22 i6 0, label %bb19
23 i6 -15, label %bb22
24 ]
25
26bb19: ; preds = %bb9
27 %tmp21 = add nuw nsw i32 %tmp2.03, 1
28 %tmp8 = icmp eq i32 %tmp21, 25
29 br i1 %tmp8, label %bb22, label %bb9
30
31bb22: ; preds = %bb19, %bb9
32 unreachable
33
34bb24: ; preds = %bb9
35 %tmp29 = or i32 %tmp3.0, 1
36 br label %bb5
37}