test/Transforms/Inline/inline-cold-callsite.ll

; RUN: opt < %s -passes='require<profile-summary>,cgscc(inline)' -inline-threshold=100 -inline-cold-callsite-threshold=0 -S | FileCheck %s

; This tests that a cold callsite gets the inline-cold-callsite-threshold
; and does not get inlined. Another callsite to an identical callee that
; is not cold gets inlined because cost is below the inline-threshold.

define void @callee() "function-inline-cost"="10" {
  call void @extern()
  ret void
}

declare void @extern()
declare i1 @ext(i32)

; CHECK-LABEL: caller
define i32 @caller(i32 %n) {
entry:
  %cmp4 = icmp sgt i32 %n, 0
  br i1 %cmp4, label %for.body, label %for.cond.cleanup

for.cond.cleanup:
  ret i32 0

for.body:
  %i.05 = phi i32 [ %inc, %for.inc ], [ 0, %entry ]
; CHECK: %call = tail call
  %call = tail call zeroext i1 @ext(i32 %i.05)
; CHECK-NOT: call void @callee
; CHECK-NEXT: call void @extern
  call void @callee()
  br i1 %call, label %cold, label %for.inc, !prof !0

cold:
; CHECK: call void @callee
  call void @callee()
  br label %for.inc

for.inc:
  %inc = add nuw nsw i32 %i.05, 1
  %exitcond = icmp eq i32 %inc, %n
  br i1 %exitcond, label %for.cond.cleanup, label %for.body
}


!0 = !{!"branch_weights", i32 1, i32 2000}