1; REQUIRES: asserts
2; RUN: opt -regions -analyze < %s | FileCheck %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 @meread_() nounwind {
8entry:
9  br label %bb23
10
11bb23:
12  br label %bb.i
13
14bb.i:                                             ; preds = %bb.i, %bb54
15  br label %pflini_.exit
16
17pflini_.exit:                                     ; preds = %bb.i
18  br label %bb58thread-split
19
20bb58thread-split:                                 ; preds = %bb64, %bb61, %pflini_.exit
21  br label %bb58
22
23bb58:                                             ; preds = %bb60, %bb58thread-split
24  br i1 1, label %bb59, label %bb23
25
26bb59:                                             ; preds = %bb58
27  switch i32 1, label %bb60 [
28    i32 1, label %l98
29  ]
30
31bb60:                                             ; preds = %bb59
32  br i1 1, label %bb61, label %bb58
33
34bb61:                                             ; preds = %bb60
35  br label %bb58thread-split
36
37l98:                                   ; preds = %bb69, %bb59
38  ret void
39}
40; CHECK-NOT: =>
41; CHECK: [0] entry => <Function Return>
42; CHECK: [1] bb23 => l98
43; STAT: 2 region - The # of regions
44; STAT: 1 region - The # of simple regions
45
46; BBIT: entry, bb23, bb.i, pflini_.exit, bb58thread-split, bb58, bb59, bb60, bb61, l98,
47; BBIT: bb23, bb.i, pflini_.exit, bb58thread-split, bb58, bb59, bb60, bb61,
48
49; RNIT: entry, bb23 => l98, l98,
50; RNIT: bb23, bb.i, pflini_.exit, bb58thread-split, bb58, bb59, bb60, bb61,
51