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 7 define void @normal_condition() nounwind { 8 0: 9 br label %"7" 10 7: 11 br i1 1, label %"1", label %"8" 12 1: 13 br i1 1, label %"2", label %"3" 14 2: 15 br label %"5" 16 5: 17 br i1 1, label %"11", label %"12" 18 11: 19 br label %"6" 20 12: 21 br label %"6" 22 6: 23 br i1 1, label %"2", label %"10" 24 8: 25 br label %"9" 26 9: 27 br i1 1, label %"13", label %"14" 28 13: 29 br label %"10" 30 14: 31 br label %"10" 32 10: 33 br label %"8" 34 3: 35 br label %"4" 36 4: 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
