1; REQUIRES: asserts
2; RUN: opt -regions -analyze < %s
3; RUN: opt -regions -stats < %s 2>&1 | FileCheck -check-prefix=STAT %s
4; RUN: opt -regions -print-region-style=bb  -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s
5; RUN: opt -regions -print-region-style=rn  -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
6
7define void @normal_condition() nounwind {
80:
9	br label %"7"
107:
11	br i1 1, label %"1", label %"8"
121:
13	br i1 1, label %"2", label %"3"
142:
15	br label %"5"
165:
17	br i1 1, label %"11", label %"12"
1811:
19        br label %"6"
2012:
21        br label %"6"
226:
23	br i1 1, label %"2", label %"10"
248:
25	br label %"9"
269:
27	br i1 1, label %"13", label %"14"
2813:
29        br label %"10"
3014:
31        br label %"10"
3210:
33        br label %"8"
343:
35	br label %"4"
364:
37	ret void
38}
39; CHECK-NOT: =>
40; CHECK: [0] 0 => <Function Return>
41; CHECK-NEXT: [1] 7 => 3
42; STAT: 2 region - The # of regions
43; STAT: 1 region - The # of simple regions
44
45; BBIT: 0, 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12, 3, 4,
46; BBIT: 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12,
47
48; RNIT: 0, 7 => 3, 3, 4,
49; RNIT: 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12,
50