1; RUN: opt -regions -analyze < %s | FileCheck %s
2; RUN: opt -regions -stats < %s |& FileCheck -check-prefix=STAT %s
3; RUN: opt -regions -print-region-style=bb  -analyze < %s |& FileCheck -check-prefix=BBIT %s
4; RUN: opt -regions -print-region-style=rn  -analyze < %s |& FileCheck -check-prefix=RNIT %s
5
6define internal fastcc void @compress() nounwind {
7end33:
8  br i1 1, label %end124, label %lor.lhs.false95
9
10lor.lhs.false95:
11  br i1 1, label %then107, label %end172
12
13then107:
14  br i1 1, label %end124, label %then113
15
16then113:
17  br label %end124
18
19end124:
20  br label %exit
21
22end172:
23  br label %exit
24
25
26exit:
27  unreachable
28
29
30}
31; CHECK-NOT: =>
32; CHECK: [0] end33 => <Function Return>
33; CHECK-NEXT:      [1] end33 => exit
34; CHECK-NEXT:   [2] then107 => end124
35
36; STAT: 3 region - The # of regions
37
38; BBIT: end33, end124, exit, lor.lhs.false95, then107, then113, end172,
39; BBIT: end33, end124, lor.lhs.false95, then107, then113, end172,
40; BBIT: then107, then113,
41
42; RNIT: end33 => exit, exit,
43; RNIT: end33, end124, lor.lhs.false95, then107 => end124, end172,
44; RNIT: then107, then113,
45