1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -fix-irreducible -enable-new-pm=0 -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 label [[IRR_GUARD:%.*]]
8; CHECK:       A:
9; CHECK-NEXT:    br label [[IRR_GUARD]]
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 [[IRR_GUARD]], label [[EXIT:%.*]]
18; CHECK:       LeafBlock:
19; CHECK-NEXT:    [[SWITCHLEAF:%.*]] = icmp eq i32 [[VALUE]], 0
20; CHECK-NEXT:    br i1 [[SWITCHLEAF]], label [[IRR_GUARD]], label [[EXIT]]
21; CHECK:       exit:
22; CHECK-NEXT:    ret void
23; CHECK:       irr.guard:
24; CHECK-NEXT:    [[GUARD_A:%.*]] = phi i1 [ true, [[LEAFBLOCK]] ], [ [[PREDENTRY:%.*]], [[ENTRY:%.*]] ], [ false, [[LEAFBLOCK1]] ], [ false, [[A:%.*]] ]
25; CHECK-NEXT:    br i1 [[GUARD_A]], label [[A]], label [[B:%.*]]
26;
27entry:
28  br i1 %PredEntry, label %A, label %B
29
30A:
31  br label %B
32
33B:
34  switch i32 %Value, label %exit [
35  i32 0, label %A
36  i32 1, label %B
37  ]
38
39exit:
40  ret void
41}
42