xref: /llvm-project/llvm/test/Transforms/SimpleLoopUnswitch/formDedicatedAfterTrivial3.ll (revision 92e54b09ce076a9e5e109d52e4fff6b1530dcb7a) 
1; RUN: opt < %s -passes=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}
38