2012-07-02 18:37:59 +00:00
|
|
|
; 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 void @normal_condition_0() nounwind {
|
|
|
|
|
bb38: ; preds = %bb34, %bb34, %bb37
|
|
|
|
|
switch i32 undef, label %bb42 [
|
|
|
|
|
i32 67, label %bb42
|
|
|
|
|
i32 90, label %bb41
|
|
|
|
|
]
|
|
|
|
|
bb41: ; preds = %bb38
|
|
|
|
|
br label %bb42
|
|
|
|
|
bb42: ; preds = %bb38, %bb38, %bb41
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
; BBIT: bb38, bb42, bb41,
|
|
|
|
|
; BBIT: bb38, bb41,
|
|
|
|
|
|
|
|
|
|
; RNIT: bb38 => bb42, bb42,
|
|
|
|
|
; RNIT: bb38, bb41,
|
|
|
|
|
|
|
|
|
|
define void @normal_condition_1() nounwind {
|
|
|
|
|
bb38: ; preds = %bb34, %bb34, %bb37
|
|
|
|
|
switch i32 undef, label %bb41 [
|
|
|
|
|
i32 67, label %bb42
|
|
|
|
|
i32 90, label %bb42
|
|
|
|
|
]
|
|
|
|
|
bb41: ; preds = %bb38
|
|
|
|
|
br label %bb42
|
|
|
|
|
bb42: ; preds = %bb38, %bb38, %bb41
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
; BBIT: bb38, bb41, bb42,
|
|
|
|
|
; BBIT: bb38, bb41,
|
|
|
|
|
|
|
|
|
|
; RNIT: bb38 => bb42, bb42,
|
|
|
|
|
; RNIT: bb38, bb41,
|
