llvm/test/Transforms/PGOProfile/not_promote_ret_exit.ll

   1 ; RUN: opt < %s -passes=instrprof -S -do-counter-promotion=1 -skip-ret-exit-block=1 | FileCheck %s --check-prefixes=CHECK,SKIP
   2 ; RUN: opt < %s -passes=instrprof -S -do-counter-promotion=1 -skip-ret-exit-block=0 | FileCheck %s --check-prefixes=CHECK,NOTSKIP
   3
   4 $__llvm_profile_raw_version = comdat any
   5
   6 @bar = dso_local local_unnamed_addr global i32 0, align 4
   7 @__llvm_profile_raw_version = constant i64 72057594037927941, comdat
   8 @__profn_foo = private constant [3 x i8] c"foo"
   9
  10 define dso_local void @foo(i32 %n)  {
  11 entry:
  12   call void @llvm.instrprof.increment(ptr @__profn_foo, i64 29212902728, i32 2, i32 1)
  13   br label %for.cond
  14
  15 for.cond:
  16   %i.0 = phi i32 [ 0, %entry ], [ %inc, %if.end ]
  17   %cmp = icmp slt i32 %i.0, %n
  18   %0 = load i32, ptr @bar, align 4
  19   %tobool.not = icmp eq i32 %0, 0
  20   %or.cond = and i1 %cmp, %tobool.not
  21   br i1 %or.cond, label %if.end, label %cleanup
  22
  23 if.end:
  24   call void @llvm.instrprof.increment(ptr @__profn_foo, i64 29212902728, i32 2, i32 0)
  25   call void (...) @bar2()
  26   %inc = add nuw nsw i32 %i.0, 1
  27   br label %for.cond
  28
  29 cleanup:
  30 ; CHECK: cleanup:
  31 ; SKIP-NOT:  %pgocount.promoted
  32 ; NOTSKIP:  %pgocount.promoted
  33   ret void
  34 }
  35
  36 declare dso_local void @bar2(...)
  37
  38 declare void @llvm.instrprof.increment(ptr, i64, i32, i32)