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 9 define void @BZ2_blockSort() nounwind { 10 start: 11 br label %while 12 13 while: 14 br label %while.body134.i.i 15 16 while.body134.i.i: 17 br i1 1, label %end, label %w 18 19 w: 20 br label %if.end140.i.i 21 22 if.end140.i.i: 23 br i1 1, label %while.end186.i.i, label %if.end183.i.i 24 25 if.end183.i.i: 26 br label %while.body134.i.i 27 28 while.end186.i.i: 29 br label %while 30 31 end: 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
