llvm/test/Transforms/HotColdSplit/stale-assume-in-original-func.ll

   1 ; RUN: opt -S -passes=hotcoldsplit -hotcoldsplit-threshold=-1 < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK-LABEL: define {{.*}} @foo(
   4 ; CHECK-NOT: llvm.assume
   5 ; CHECK: call void @foo.cold.1()
   6 ; CHECK: llvm.assume
   7 ; CHECK-NEXT: ret void
   8
   9 ; CHECK-LABEL: define {{.*}} @foo.cold.1(
  10 ; CHECK-NOT: llvm.assume
  11 ; CHECK: call void @cold()
  12 ; CHECK-NOT: llvm.assume
  13 ; CHECK: }
  14
  15 define void @foo(i1 %cond) {
  16 entry:
  17   br i1 %cond, label %cold, label %cont
  18
  19 cold:
  20   call void @llvm.assume(i1 %cond)
  21   call void @cold()
  22   br label %cont
  23
  24 cont:
  25   %cmp = icmp eq i1 %cond, true
  26   br i1 %cmp, label %exit1, label %exit2
  27
  28 exit1:
  29   call void @llvm.assume(i1 %cond)
  30   ret void
  31
  32 exit2:
  33   ret void
  34 }
  35
  36 declare void @llvm.assume(i1)
  37
  38 declare void @cold() cold