1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -unify-loop-exits -enable-new-pm=0 -S | FileCheck %s
3; RUN: opt < %s -passes='lowerswitch,unify-loop-exits' -S | FileCheck %s
4
5define void @loop_1(i32 %Value, i1 %PredEntry, i1 %PredD) {
6; CHECK-LABEL: @loop_1(
7; CHECK-NEXT:  entry:
8; CHECK-NEXT:    br i1 [[PREDENTRY:%.*]], label [[A:%.*]], label [[G:%.*]]
9; CHECK:       A:
10; CHECK-NEXT:    br label [[B:%.*]]
11; CHECK:       B:
12; CHECK-NEXT:    br label [[NODEBLOCK:%.*]]
13; CHECK:       NodeBlock:
14; CHECK-NEXT:    [[PIVOT:%.*]] = icmp slt i32 [[VALUE:%.*]], 1
15; CHECK-NEXT:    br i1 [[PIVOT]], label [[LEAFBLOCK:%.*]], label [[LEAFBLOCK1:%.*]]
16; CHECK:       LeafBlock1:
17; CHECK-NEXT:    [[SWITCHLEAF2:%.*]] = icmp eq i32 [[VALUE]], 1
18; CHECK-NEXT:    br i1 [[SWITCHLEAF2]], label [[D:%.*]], label [[LOOP_EXIT_GUARD:%.*]]
19; CHECK:       LeafBlock:
20; CHECK-NEXT:    [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 0
21; CHECK-NEXT:    br i1 [[SWITCHLEAF]], label [[C:%.*]], label [[LOOP_EXIT_GUARD]]
22; CHECK:       C:
23; CHECK-NEXT:    br label [[D]]
24; CHECK:       D:
25; CHECK-NEXT:    br i1 [[PREDD:%.*]], label [[A]], label [[LOOP_EXIT_GUARD]]
26; CHECK:       X:
27; CHECK-NEXT:    br label [[EXIT:%.*]]
28; CHECK:       Y:
29; CHECK-NEXT:    br label [[EXIT]]
30; CHECK:       G:
31; CHECK-NEXT:    br label [[EXIT]]
32; CHECK:       exit:
33; CHECK-NEXT:    ret void
34; CHECK:       loop.exit.guard:
35; CHECK-NEXT:    [[GUARD_X:%.*]] = phi i1 [ true, [[LEAFBLOCK1]] ], [ true, [[LEAFBLOCK]] ], [ false, [[D]] ]
36; CHECK-NEXT:    br i1 [[GUARD_X]], label [[X:%.*]], label [[Y:%.*]]
37;
38entry:
39  br i1 %PredEntry, label %A, label %G
40
41A:
42  br label %B
43
44B:
45  switch i32 %Value, label %X [
46  i32 0, label %C
47  i32 1, label %D
48  ]
49
50C:
51  br label %D
52
53D:
54  br i1 %PredD, label %A, label %Y
55
56X:
57  br label %exit
58
59Y:
60  br label %exit
61
62G:
63  br label %exit
64
65exit:
66  ret void
67}
68