1; REQUIRES: asserts 2; RUN: opt -regions -analyze < %s | FileCheck %s 3; RUN: opt -regions -stats -analyze < %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; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s 8 9define void @BZ2_blockSort() nounwind { 10start: 11 br label %while 12 13while: 14 br label %while.body134.i.i 15 16while.body134.i.i: 17 br i1 1, label %end, label %w 18 19w: 20 br label %if.end140.i.i 21 22if.end140.i.i: 23 br i1 1, label %while.end186.i.i, label %if.end183.i.i 24 25if.end183.i.i: 26 br label %while.body134.i.i 27 28while.end186.i.i: 29 br label %while 30 31end: 32 ret void 33} 34; CHECK-NOT: => 35; CHECK: [0] start => <Function Return> 36; CHECK: [1] while => end 37 38; STAT: 2 region - The # of regions 39; STAT: 1 region - The # of simple regions 40 41; BBIT: start, while, while.body134.i.i, end, w, if.end140.i.i, while.end186.i.i, if.end183.i.i, 42; BBIT: while, while.body134.i.i, w, if.end140.i.i, while.end186.i.i, if.end183.i.i, 43 44; RNIT: start, while => end, end, 45; RNIT: while, while.body134.i.i, w, if.end140.i.i, while.end186.i.i, if.end183.i.i, 46