61 lines
1.3 KiB
LLVM
61 lines
1.3 KiB
LLVM
|
; REQUIRES: asserts
|
||
|
|
; RUN: opt -hotcoldsplit -debug-only=hotcoldsplit -hotcoldsplit-threshold=2 -S < %s -o /dev/null 2>&1 | FileCheck %s
|
||
|
|
|
||
|
|
declare void @sink() cold
|
||
|
|
|
||
|
|
; CHECK-LABEL: Outlining in one_non_region_successor
|
||
|
|
define void @one_non_region_successor(i32 %arg) {
|
||
|
|
entry:
|
||
|
|
br i1 undef, label %cold1, label %exit
|
||
|
|
|
||
|
|
cold1:
|
||
|
|
; CHECK: Applying penalty for splitting: 2
|
||
|
|
; CHECK-NEXT: Applying penalty for: 0 params
|
||
|
|
; CHECK-NEXT: Applying penalty for: 0 outputs/split phis
|
||
|
|
; CHECK-NEXT: penalty = 2
|
||
|
|
call void @sink()
|
||
|
|
br i1 undef, label %cold2, label %cold3
|
||
|
|
|
||
|
|
cold2:
|
||
|
|
br i1 undef, label %cold4, label %exit
|
||
|
|
|
||
|
|
cold3:
|
||
|
|
br i1 undef, label %cold4, label %exit
|
||
|
|
|
||
|
|
cold4:
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
exit:
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
; CHECK-LABEL: Outlining in two_non_region_successor
|
||
|
|
define void @two_non_region_successors(i32 %arg) {
|
||
|
|
entry:
|
||
|
|
br i1 undef, label %cold1, label %exit1
|
||
|
|
|
||
|
|
cold1:
|
||
|
|
; CHECK: Applying penalty for splitting: 2
|
||
|
|
; CHECK-NEXT: Applying penalty for: 0 params
|
||
|
|
; CHECK-NEXT: Applying penalty for: 0 outputs/split phis
|
||
|
|
; CHECK-NEXT: Applying penalty for: 2 non-region successors
|
||
|
|
; CHECK-NEXT: penalty = 3
|
||
|
|
call void @sink()
|
||
|
|
br i1 undef, label %cold2, label %cold3
|
||
|
|
|
||
|
|
cold2:
|
||
|
|
br i1 undef, label %cold4, label %exit1
|
||
|
|
|
||
|
|
cold3:
|
||
|
|
br i1 undef, label %cold4, label %exit2
|
||
|
|
|
||
|
|
cold4:
|
||
|
|
unreachable
|
||
|
|
|
||
|
|
exit1:
|
||
|
|
br label %exit2
|
||
|
|
|
||
|
|
exit2:
|
||
|
|
ret void
|
||
|
|
}
|