reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53

; REQUIRES: asserts
; RUN: opt -hotcoldsplit -debug-only=hotcoldsplit -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: 1 non-region successor
  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: 2 non-region successors
  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
}