1; Tests loop-simplify does not move the loop metadata, because
2; the loopexit block is not the latch of the loop _bb6.
3
4; RUN: opt < %s -passes=loop-simplify -S | FileCheck %s
5; CHECK-LABEL: loop.header.loopexit:
6; CHECK: br label %loop.header, !llvm.loop !0
7; CHECK-LABEL: loop.latch:
8; CHECK: br i1 %p, label %loop.latch, label %loop.header.loopexit, !llvm.loop !0
9
10define void @func(i1 %p) {
11entry:
12  br label %loop.header
13
14loop.header:
15  br i1 %p, label %bb1, label %exit
16
17bb1:
18  br i1 %p, label %bb2, label %bb3
19
20bb2:
21  br label %bb3
22
23bb3:
24  br label %loop.latch
25
26loop.latch:
27  br i1 %p, label %loop.latch, label %loop.header, !llvm.loop !0
28
29exit:
30  ret void
31}
32
33!0 = distinct !{!0, !1}
34!1 = !{!"llvm.loop.mustprogress"}
35