56c579e288
Instead of a hash map mapping pairs of blocks and successor index to the probability, store the probabilities as flat array and start indices into this array in a per-block information vector. Also drop value handles: no stored pointers => no stale pointers. If a block is removed, the block number is not reused unless the function is renumbered, and BPI doesn't support renumbering.
42 lines
1.6 KiB
LLVM
42 lines
1.6 KiB
LLVM
; RUN: opt -debug-only=branch-prob -passes=jump-threading -S %s 2>&1 | FileCheck %s
|
|
; REQUIRES: asserts
|
|
|
|
; Make sure that edges' probabilities would not accumulate if they are
|
|
; the same target BB.
|
|
; Edge L0 -> 2 and L0 -> 3 's targets are both L2, but their respective
|
|
; probability should not be L0 -> L2, because prob[L0->L2] equls to
|
|
; prob[L0->2] + prob[L0->3]
|
|
|
|
; CHECK: Computing probabilities for entry
|
|
; CHECK-NOT: set edge L0 -> 0 successor probability to 0x12492492 / 0x80000000 = 14.29%
|
|
; CHECK-NOT: set edge L0 -> 1 successor probability to 0x24924925 / 0x80000000 = 28.57%
|
|
; CHECK-NOT: set edge L0 -> 2 successor probability to 0x24924925 / 0x80000000 = 28.57%
|
|
; CHECK-NOT: set edge L0 -> 3 successor probability to 0x24924925 / 0x80000000 = 28.57%
|
|
; CHECK: set edge L0 -> 0 successor probability to 0x1999999a / 0x80000000 = 20.00%
|
|
; CHECK: set edge L0 -> 1 successor probability to 0x33333333 / 0x80000000 = 40.00%
|
|
; CHECK: set edge L0 -> 2 successor probability to 0x1999999a / 0x80000000 = 20.00%
|
|
; CHECK: set edge L0 -> 3 successor probability to 0x1999999a / 0x80000000 = 20.00%
|
|
; CHECK-NOT: !0 = !{!"branch_weights", i32 306783378, i32 613566757, i32 613566757, i32 613566757}
|
|
; CHECK: !0 = !{!"branch_weights", i32 429496730, i32 858993459, i32 429496730, i32 429496730}
|
|
define void @test_switch(i1 %cond, i8 %value) nounwind {
|
|
entry:
|
|
br i1 %cond, label %L0, label %L4
|
|
L0:
|
|
%expr = select i1 %cond, i8 1, i8 %value
|
|
switch i8 %expr, label %L3 [
|
|
i8 1, label %L1
|
|
i8 2, label %L2
|
|
i8 3, label %L2
|
|
], !prof !0
|
|
|
|
L1:
|
|
ret void
|
|
L2:
|
|
ret void
|
|
L3:
|
|
ret void
|
|
L4:
|
|
br label %L0
|
|
}
|
|
!0 = !{!"branch_weights", i32 1, i32 7, i32 1, i32 1}
|