test/Transforms/HotColdSplit/forward-dfs-reaches-marked-block.ll

   1 ; RUN: opt -hotcoldsplit -hotcoldsplit-threshold=0 -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.14.0"
   5
   6 ; CHECK-LABEL: define {{.*}}@fun
   7 ; CHECK: call {{.*}}@fun.cold.1(
   8 define void @fun() {
   9 entry:
  10   br i1 undef, label %if.then, label %if.else
  11
  12 if.then:
  13   ; This will be marked by the inverse DFS on sink-predecesors.
  14   br label %sink
  15
  16 sink:
  17   call void @sink()
  18
  19   ; Do not allow the forward-DFS on sink-successors to mark the block again.
  20   br i1 undef, label %if.then, label %if.then.exit
  21
  22 if.then.exit:
  23   ret void
  24
  25 if.else:
  26   ret void
  27 }
  28
  29 declare void @sink() cold