Intermediate step to X32/X86

This commit is contained in:
Dmitry Boulytchev 2024-08-29 21:13:23 +03:00
parent 172bd13037
commit 8a4ff68165
3 changed files with 5 additions and 4 deletions

View file

@ -551,7 +551,7 @@ let compile cmd env imports code =
invalid_arg (Printf.sprintf "invalid SM insn: %s\n" (GT.show(insn) i)) invalid_arg (Printf.sprintf "invalid SM insn: %s\n" (GT.show(insn) i))
in in
let env'', code'' = compile' env' scode' in let env'', code'' = compile' env' scode' in
env'', [Meta (Printf.sprintf "# %s / % s" (GT.show(SM.insn) instr) stack)] @ code' @ code'' env'', [Meta (Printf.sprintf "# %s / %s" (GT.show(SM.insn) instr) stack)] @ code' @ code''
in in
compile' env code compile' env code

View file

@ -45,7 +45,7 @@
(library (library
(name liba) (name liba)
(modules Language Pprinter stdpath version X86_64 SM Options) (modules Language Pprinter stdpath version X86_32 X86_64 SM Options)
(libraries GT ostap posix-uname) (libraries GT ostap posix-uname)
(flags (flags
(:standard (:standard
@ -59,11 +59,12 @@
(per_module (per_module
((pps GT.ppx_all) ((pps GT.ppx_all)
SM SM
X86) X86_64)
((action ((action
(run %{project_root}/src/pp5+gt+plugins+ostap+dump.byte %{input-file})) (run %{project_root}/src/pp5+gt+plugins+ostap+dump.byte %{input-file}))
Language Language
Pprinter Pprinter
X86_32
stdpath stdpath
version))) version)))
(preprocessor_deps (preprocessor_deps