st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-05 22:38:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

try fix maco error

Browse source
This commit is contained in:
Danya Berezun 2025-03-03 12:51:48 +01:00
parent 4e9b1da254
commit 774fb134c6
1 changed files with 21 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

33
src/X86_64.ml
View file

@ -261,10 +261,15 @@ let in_memory = function M _ | S _ | I _ -> true | C _ | R _ | L _ -> false
let mov x s = let mov x s =
(* Numeric literals with more than 32 bits cannot be directly moved to memory location *) (* Numeric literals with more than 32 bits cannot be directly moved to memory location *)
let big_numeric_literal = function L num -> (num > 0xFFFFFFFF || num < -0xFFFFFFFF) | _ -> false in let big_numeric_literal = function
| L num -> num > 0xFFFFFFFF || num < -0xFFFFFFFF
| _ -> false
in
if x = s then [] if x = s then []
else if (in_memory x && in_memory s) || (big_numeric_literal x && (in_memory x || in_memory s)) then else if
[ Mov (x, rax); Mov (rax, s) ] (in_memory x && in_memory s)
|| (big_numeric_literal x && (in_memory x || in_memory s))
then [ Mov (x, rax); Mov (rax, s) ]
else [ Mov (x, s) ] else [ Mov (x, s) ]
(* Boxing for numeric values *) (* Boxing for numeric values *)
@ -697,7 +702,10 @@ let compile cmd env imports code =
let l, env = env#allocate in let l, env = env#allocate in
let env, call = compile_call env ~fname:".string" 1 false in let env, call = compile_call env ~fname:".string" 1 false in
(env, mov addr l @ call) (env, mov addr l @ call)
| LDA _ -> failwith "Should not happen. Indirect assignemts are temporarily prohibited." | LDA _ ->
failwith
"Should not happen. Indirect assignemts are temporarily \
prohibited."
(* (*
let s, env' = (env#variable x)#allocate in let s, env' = (env#variable x)#allocate in
let s', env'' = env'#allocate in let s', env'' = env'#allocate in
@ -726,8 +734,11 @@ let compile cmd env imports code =
| S _ | M _ -> [ Mov (s, rax); Mov (rax, env'#loc x) ] | S _ | M _ -> [ Mov (s, rax); Mov (rax, env'#loc x) ]
| _ -> [ Mov (s, env'#loc x) ] )) | _ -> [ Mov (s, env'#loc x) ] ))
| STA -> compile_call env ~fname:".sta" 3 false | STA -> compile_call env ~fname:".sta" 3 false
| STI -> failwith "Should not happen. Indirect assignemts are temporarily prohibited." | STI ->
(* failwith
"Should not happen. Indirect assignemts are temporarily \
prohibited."
(*
let v, env = env#pop in let v, env = env#pop in
let x = env#peek in let x = env#peek in
( env, ( env,
@ -921,7 +932,7 @@ let compile cmd env imports code =
] ]
@ (if name = "main" then [ Binop ("^", rax, rax) ] else []) @ (if name = "main" then [ Binop ("^", rax, rax) ] else [])
@ [ @ [
Meta "\t.cfi_restore\t5"; Meta "\t.cfi_restore\trbp";
Meta "\t.cfi_def_cfa\t4, 4"; Meta "\t.cfi_def_cfa\t4, 4";
Ret; Ret;
Meta "\t.cfi_endproc"; Meta "\t.cfi_endproc";
@ -995,11 +1006,9 @@ let compile cmd env imports code =
in in
let _, env = env#pop in let _, env = env#pop in
( env, ( env,
mov (L col) col_arg_addr mov (L col) col_arg_addr @ mov (L line) line_arg_addr
@ mov (L line) line_arg_addr @ mov msg_addr msg_arg_addr @ mov value value_arg_addr @ code
@ mov msg_addr msg_arg_addr )
@ mov value value_arg_addr
@ code )
| i -> | i ->
invalid_arg invalid_arg
(Printf.sprintf "invalid SM insn: %s\n" (GT.show insn i)) (Printf.sprintf "invalid SM insn: %s\n" (GT.show insn i))