
BlockFrequencyInfo calculates block frequencies as Scaled64 numbers but as a last step converts them to unsigned 64bit integers (`BlockFrequency`). This improves the factors picked for this conversion so that: * Avoid big numbers close to UINT64_MAX to avoid users overflowing/saturating when adding multiply frequencies together or when multiplying with integers. This leaves the topmost 10 bits unused to allow for some room. * Spread the difference between hottest/coldest block as much as possible to increase precision. * If the hot/cold spread cannot be represented loose precision at the lower end, but keep the frequencies at the upper end for hot blocks differentiable.
74 lines
2.1 KiB
LLVM
74 lines
2.1 KiB
LLVM
; Test that instrumentaiton works fine for the case of catchswitch stmts.
|
|
; RUN: opt < %s -passes=pgo-instr-gen -S | FileCheck %s --check-prefix=GEN
|
|
; RUN: llvm-profdata merge %S/Inputs/PR41279_2.proftext -o %t.profdata
|
|
; RUN: opt < %s -passes=pgo-instr-use -pgo-test-profile-file=%t.profdata -S | FileCheck %s --check-prefix=USE
|
|
|
|
|
|
define dso_local void @f() personality ptr @__C_specific_handler {
|
|
; USE-LABEL: @f
|
|
; USE-SAME: !prof ![[FUNC_ENTRY_COUNT:[0-9]+]]
|
|
; USE-DAG: {{![0-9]+}} = !{i32 1, !"ProfileSummary", {{![0-9]+}}}
|
|
; USE-DAG: {{![0-9]+}} = !{!"DetailedSummary", {{![0-9]+}}}
|
|
; USE-DAG: ![[FUNC_ENTRY_COUNT]] = !{!"function_entry_count", i64 6}
|
|
;
|
|
; GEN-LABEL: @f
|
|
;
|
|
; GEN: catch.dispatch:
|
|
; GEN-NOT: call void @llvm.instrprof.increment
|
|
;
|
|
; GEN: _except1:
|
|
; GEN: call void @llvm.instrprof.increment(ptr @__profn_f, i64 {{[0-9]+}}, i32 3, i32 1)
|
|
;
|
|
; GEN: __except6:
|
|
; GEN: call void @llvm.instrprof.increment(ptr @__profn_f, i64 {{[0-9]+}}, i32 3, i32 2)
|
|
;
|
|
; GEN: invoke.cont3:
|
|
; GEN: call void @llvm.instrprof.increment(ptr @__profn_f, i64 1096621589180411894, i32 3, i32 0)
|
|
entry:
|
|
%__exception_code = alloca i32, align 4
|
|
%__exception_code2 = alloca i32, align 4
|
|
invoke void @f() #2
|
|
to label %invoke.cont unwind label %catch.dispatch
|
|
|
|
catch.dispatch:
|
|
%0 = catchswitch within none [label %__except] unwind to caller
|
|
|
|
__except:
|
|
%1 = catchpad within %0 [ptr null]
|
|
catchret from %1 to label %__except1
|
|
|
|
__except1:
|
|
%2 = call i32 @llvm.eh.exceptioncode(token %1)
|
|
store i32 %2, ptr %__exception_code, align 4
|
|
br label %__try.cont7
|
|
|
|
invoke.cont:
|
|
br label %__try.cont
|
|
|
|
__try.cont:
|
|
invoke void @f()
|
|
to label %invoke.cont3 unwind label %catch.dispatch4
|
|
|
|
catch.dispatch4:
|
|
%3 = catchswitch within none [label %__except5] unwind to caller
|
|
|
|
__except5:
|
|
%4 = catchpad within %3 [ptr null]
|
|
catchret from %4 to label %__except6
|
|
|
|
__except6:
|
|
%5 = call i32 @llvm.eh.exceptioncode(token %4)
|
|
store i32 %5, ptr %__exception_code2, align 4
|
|
br label %__try.cont7
|
|
|
|
__try.cont7:
|
|
ret void
|
|
|
|
invoke.cont3:
|
|
br label %__try.cont7
|
|
}
|
|
|
|
declare dso_local i32 @__C_specific_handler(...)
|
|
|
|
declare i32 @llvm.eh.exceptioncode(token)
|