| ; For SamplePGO, if -profile-sample-accurate is specified, cold callsite | |
| ; heuristics should be honored if the caller has no profile. | |
| ; RUN: opt -S %s -passes='sample-profile,cgscc(inline)' -sample-profile-file=%S/Inputs/inline.prof -inline-cold-callsite-threshold=0 | FileCheck %s | |
| ; RUN: opt -S %s -passes='sample-profile,cgscc(inline)' -sample-profile-file=%S/Inputs/inline.prof -profile-sample-accurate -inline-cold-callsite-threshold=0 | FileCheck %s --check-prefix ACCURATE | |
| declare void @extern() | |
| define void @callee() #1 { | |
| call void @extern() | |
| ret void | |
| } | |
| define void @caller(i32 %y1) #1 { | |
| ; CHECK-LABEL: @caller | |
| ; CHECK-NOT: call void @callee | |
| ; ACCURATE-LABEL: @caller | |
| ; ACCURATE: call void @callee | |
| call void @callee() | |
| ret void | |
| } | |
| define void @caller_accurate(i32 %y1) #0 { | |
| ; CHECK-LABEL: @caller_accurate | |
| ; CHECK: call void @callee | |
| ; ACCURATE-LABEL: @caller_accurate | |
| ; ACCURATE: call void @callee | |
| call void @callee() | |
| ret void | |
| } | |
| attributes #0 = { "profile-sample-accurate" "use-sample-profile" } | |
| attributes #1 = { "use-sample-profile" } |