st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 14:58:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix big numeric literal movement

Browse source
This commit is contained in:
Roman Venediktov 2024-02-05 18:34:40 +01:00
parent 3805a0896b
commit aeb4675210
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/X86.ml
View file

@ -228,10 +228,12 @@ let show instr =
open SM open SM
let in_memory = function M _ | S _ | I _ -> true | R _ | L _ -> false let in_memory = function M _ | S _ | I _ -> true | R _ | L _ -> false
let big_numeric_literal = function L num -> num > 0xFFFFFFFF | _ -> false
let mov x s = let mov x s =
if x = s then [] if x = s then []
else if in_memory x && in_memory s then [ Mov (x, rax); Mov (rax, s) ] else if (in_memory x && in_memory s) || big_numeric_literal x then
[ Mov (x, rax); Mov (rax, s) ]
else [ Mov (x, s) ] else [ Mov (x, s) ]
let box n = (n lsl 1) lor 1 let box n = (n lsl 1) lor 1
@ -747,7 +749,7 @@ let compile cmd env imports code =
| SEXP (t, n) -> | SEXP (t, n) ->
let s, env = env#allocate in let s, env = env#allocate in
let env, code = compile_call env ~fname:".sexp" (n + 1) false in let env, code = compile_call env ~fname:".sexp" (n + 1) false in
(env, [ Mov (L (box (env#hash t)), s) ] @ code) (env, (mov L (box (env#hash t))) s @ code)
| DROP -> (snd env#pop, []) | DROP -> (snd env#pop, [])
| DUP -> | DUP ->
let x = env#peek in let x = env#peek in