1; RUN: opt -S -loop-simplifycfg < %s | FileCheck %s
2
3; CHECK-LABEL: foo
4; CHECK:      entry:
5; CHECK-NEXT:   br label %[[LOOP:[a-z]+]]
6; CHECK:      [[LOOP]]:
7; CHECK-NEXT:   phi
8; CHECK-NOT:    br label
9; CHECK:        br i1
10define i32 @foo(i32* %P, i64* %Q) {
11entry:
12  br label %outer
13
14outer:                                            ; preds = %outer.latch2, %entry
15  %y.2 = phi i32 [ 0, %entry ], [ %y.inc2, %outer.latch2 ]
16  br label %inner
17
18inner:                                            ; preds = %outer
19  store i32 0, i32* %P
20  store i32 1, i32* %P
21  store i32 2, i32* %P
22  %y.inc2 = add nsw i32 %y.2, 1
23  %exitcond.outer = icmp eq i32 %y.inc2, 3
24  store i32 %y.2, i32* %P
25  br i1 %exitcond.outer, label %exit, label %outer.latch2
26
27outer.latch2:                                     ; preds = %inner
28  %t = sext i32 %y.inc2 to i64
29  store i64 %t, i64* %Q
30  br label %outer
31
32exit:                                             ; preds = %inner
33  ret i32 0
34}
35