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

Silence a few warnings in X86_32

Browse source 
Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2025-02-02 00:34:20 +03:00
parent a3d77ad095
commit a41c65413a
2 changed files with 20 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/X86_32.ml
View file

@ -22,8 +22,6 @@ let word_size = 4;;
| I of int * opnd (* an indirect operand with offset *)
with show
let show_opnd = show(opnd)
(* For convenience we define the following synonyms for the registers: *)
let ebx = R 0
let ecx = R 1
@ -150,7 +148,7 @@ let compile cmd env imports code =
in
let env , pushs = push_args env [] n in
let closure, env = env#pop in
let y , env = env#allocate in
let _ , env = env#allocate in
env, pushs @ [Mov (closure, edx);
Mov (I(0, edx), eax);
Mov (ebp, esp);
@ -197,7 +195,7 @@ let compile cmd env imports code =
else push_args env ((mov x (env#loc (Value.Arg (n-1)))) @ acc) (n-1)
in
let env, pushs = push_args env [] n in
let y, env = env#allocate in
let _, env = env#allocate in
env, pushs @ [Mov (ebp, esp); Pop (ebp)] @ (if env#has_closure then [Pop ebx] else []) @ [Jmp f]
)
else (
@ -563,8 +561,8 @@ module M = Map.Make (String)
(* Environment implementation *)
class env prg =
let chars = "_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789'" in
let make_assoc l i = List.combine l (List.init (List.length l) (fun x -> x + i)) in
let rec assoc x = function [] -> raise Not_found | l :: ls -> try List.assoc x l with Not_found -> assoc x ls in
(* let make_assoc l i = List.combine l (List.init (List.length l) (fun x -> x + i)) in *)
(* let rec assoc x = function [] -> raise Not_found | l :: ls -> try List.assoc x l with Not_found -> assoc x ls in *)
object (self)
inherit SM.indexer prg
val globals = S.empty (* a set of global variables *)
@ -663,7 +661,7 @@ class env prg =
(* allocates a fresh position on a symbolic stack *)
method allocate =
let x, n =
let rec allocate' = function
let allocate' = function
| [] -> ebx , 0
| (S n)::_ -> S (n+1) , n+2
| (R n)::_ when n < num_of_regs -> R (n+1) , stack_slots

17
src/dune
View file

@ -61,7 +61,7 @@
SM
X86_64)
((action
(run %{project_root}/src/pp5+gt+plugins+ostap+dump.byte %{input-file}))
(run %{project_root}/src/pp5+gt+plugins+ostap+dump.exe %{input-file}))
Language
Pprinter
X86_32
@ -69,7 +69,8 @@
version)))
(preprocessor_deps
(file %{project_root}/src/pp5+gt+plugins+ostap+dump.byte)
;(file %{project_root}/src/pp5+gt+plugins+ostap+dump.exe)
(file %{project_root}/src/pp5+gt+plugins+ostap+dump.exe)
;
)
;(inline_tests)
)
@ -106,5 +107,17 @@
-o
%{targets})))
(rule
(targets pp5+gt+plugins+ostap+dump.exe)
(deps
(package GT))
(action
(run
mkcamlp5.opt
-package
camlp5,camlp5.pa_o,camlp5.pr_o,ostap.syntax,GT.syntax.all,GT.syntax
-o
%{targets})))
(cram
(deps ./Driver.exe))