allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(julia): swap a/b operands in DIV_SAT_Q16 to match Lean spec

Browse source
This commit is contained in:
allaun 2026-06-30 18:12:34 -05:00
parent 3c4e039e48
commit cb18b24627
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
julia/AVMIsa/avm.jl
View file

@ -123,8 +123,8 @@ function exec_prim(op::Prim, a::Union{Int32, Bool}, b::Union{Int32, Bool, Nothin
return (avm_clamp(result), TYPE_Q16) return (avm_clamp(result), TYPE_Q16)
elseif op == DIV_SAT_Q16 elseif op == DIV_SAT_Q16
b::Int32 == 0 && error(DIVISION_BY_ZERO) b::Int32 == 0 && error(DIVISION_BY_ZERO)
num = Int64(b::Int32) * Q16_16.Q16_SCALE num = Int64(a::Int32) * Q16_16.Q16_SCALE
result = div(num, Int64(a::Int32)) result = div(num, Int64(b::Int32))
return (avm_clamp(result), TYPE_Q16) return (avm_clamp(result), TYPE_Q16)
elseif op == LT_Q16 elseif op == LT_Q16
return (lt_q16_v6(a::Int32, b::Int32), TYPE_BOOL) return (lt_q16_v6(a::Int32, b::Int32), TYPE_BOOL)