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