2013-03-12 16:27:52 +00:00
|
|
|
; REQUIRES: asserts
|
2010-07-22 07:46:31 +00:00
|
|
|
; RUN: opt -regions -analyze < %s | FileCheck %s
|
2012-07-02 18:37:59 +00:00
|
|
|
; RUN: opt -regions -stats < %s 2>&1 | FileCheck -check-prefix=STAT %s
|
|
|
|
|
; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s
|
|
|
|
|
; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
|
2010-07-22 07:46:31 +00:00
|
|
|
|
|
|
|
|
define internal fastcc void @compress() nounwind {
|
|
|
|
|
end33:
|
|
|
|
|
br i1 1, label %end124, label %lor.lhs.false95
|
|
|
|
|
|
|
|
|
|
lor.lhs.false95:
|
|
|
|
|
br i1 1, label %then107, label %end172
|
|
|
|
|
|
|
|
|
|
then107:
|
|
|
|
|
br i1 1, label %end124, label %then113
|
|
|
|
|
|
|
|
|
|
then113:
|
|
|
|
|
br label %end124
|
|
|
|
|
|
|
|
|
|
end124:
|
|
|
|
|
br label %exit
|
|
|
|
|
|
|
|
|
|
end172:
|
|
|
|
|
br label %exit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
exit:
|
|
|
|
|
unreachable
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
; CHECK-NOT: =>
|
|
|
|
|
; CHECK: [0] end33 => <Function Return>
|
|
|
|
|
; CHECK-NEXT: [1] end33 => exit
|
|
|
|
|
; CHECK-NEXT: [2] then107 => end124
|
|
|
|
|
|
|
|
|
|
; STAT: 3 region - The # of regions
|
|
|
|
|
|
|
|
|
|
; BBIT: end33, end124, exit, lor.lhs.false95, then107, then113, end172,
|
|
|
|
|
; BBIT: end33, end124, lor.lhs.false95, then107, then113, end172,
|
|
|
|
|
; BBIT: then107, then113,
|
|
|
|
|
|
|
|
|
|
; RNIT: end33 => exit, exit,
|
|
|
|
|
; RNIT: end33, end124, lor.lhs.false95, then107 => end124, end172,
|
|
|
|
|
; RNIT: then107, then113,
|
