Home | History | Annotate | Download | only in Inline
      1 
      2 ; RUN: opt < %s -passes='require<profile-summary>,cgscc(inline)' -inline-threshold=100 -inline-cold-callsite-threshold=0 -S | FileCheck %s
      3 
      4 ; This tests that a cold callsite gets the inline-cold-callsite-threshold
      5 ; and does not get inlined. Another callsite to an identical callee that
      6 ; is not cold gets inlined because cost is below the inline-threshold.
      7 
      8 define void @callee() {
      9   call void @extern()
     10   call void @extern()
     11   ret void
     12 }
     13 
     14 declare void @extern()
     15 declare i1 @ext(i32)
     16 
     17 ; CHECK-LABEL: caller
     18 define i32 @caller(i32 %n) {
     19 entry:
     20   %cmp4 = icmp sgt i32 %n, 0
     21   br i1 %cmp4, label %for.body, label %for.cond.cleanup
     22 
     23 for.cond.cleanup:
     24   ret i32 0
     25 
     26 for.body:
     27   %i.05 = phi i32 [ %inc, %for.inc ], [ 0, %entry ]
     28 ; CHECK: %call = tail call
     29   %call = tail call zeroext i1 @ext(i32 %i.05)
     30 ; CHECK-NOT: call void @callee
     31 ; CHECK-NEXT: call void @extern
     32   call void @callee()
     33   br i1 %call, label %cold, label %for.inc, !prof !0
     34 
     35 cold:
     36 ; CHECK: call void @callee
     37   call void @callee()
     38   br label %for.inc
     39 
     40 for.inc:
     41   %inc = add nuw nsw i32 %i.05, 1
     42   %exitcond = icmp eq i32 %inc, %n
     43   br i1 %exitcond, label %for.cond.cleanup, label %for.body
     44 }
     45 
     46 
     47 !0 = !{!"branch_weights", i32 1, i32 2000}
     48