Size: a a a
АО
f1(n) = n ÷ 2 ÷ 64
f2(n) = n >> 7
julia> @code_llvm f1(Ref(1000)[])
; @ REPL[2]:1 within `f1'
define i64 @julia_f1_682(i64 signext %0) {
top:
; ┌ @ int.jl:263 within `div'
%1 = sdiv i64 %0, 128
; └
ret i64 %1
}
julia> @code_llvm f2(Ref(1000)[])
; @ REPL[3]:1 within `f2'
define i64 @julia_f2_686(i64 signext %0) {
top:
; ┌ @ int.jl:464 within `>>' @ int.jl:457
%1 = ashr i64 %0, 7
; └
ret i64 %1
}
АО
АО
sdiv внутри догадается сделать ashr, но для этого ему как минимум надо дополнительную проверку сделать.АО
АО
АО
AP
AP
АО
АО
АО
f1(n, x::Int64) = n ÷ x
f2(n, x::Int64) = n >> (63 - leading_zeros(x))
v = rand(StableRNG(2021), 1:10000000, 1000);
d = rand(StableRNG(2022), [64, 128], 1000);
julia> @btime f1.(v, d);
4.092 μs (3 allocations: 8.00 KiB)
julia> @btime f2.(v, d);
1.490 μs (3 allocations: 8.00 KiB)
АО
АО
AP
AP
AP
АО
АО
АО
julia> f1.(v, d) == f2.(v, d)
true
AP