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 %"1" 101: 11 br i1 1, label %"2", label %"3" 122: 13 br label %"5" 145: 15 br i1 1, label %"11", label %"12" 1611: 17 br label %"6" 1812: 19 br label %"6" 206: 21 br label %"2" 223: 23 br label %"4" 244: 25 ret void 26} 27; CHECK-NOT: => 28; CHECK: [0] 0 => <Function Return> 29; CHECK: [1] 1 => 3 30; STAT: 2 region - The # of regions 31; STAT: 1 region - The # of simple regions 32 33; BBIT: 0, 1, 2, 5, 11, 6, 12, 3, 4, 34; BBIT: 1, 2, 5, 11, 6, 12, 35 36; RNIT: 0, 1 => 3, 3, 4, 37; RNIT: 1, 2, 5, 11, 6, 12, 38