Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-18 21:25:05 -0800 (Tue, 18 Mar 2003)
Revision: 4184
Log message:

      Generate initial assembly for the M language.
      This is before register allocation; that's next.
      

Changes  Path
+3 -8 metaprl/theories/experimental/compile/Makefile
Added metaprl/theories/experimental/compile/m_arith.ml
Properties metaprl/theories/experimental/compile/m_arith.ml
Added metaprl/theories/experimental/compile/m_arith.mli
Properties metaprl/theories/experimental/compile/m_arith.mli
+3 -3 metaprl/theories/experimental/compile/m_closure.ml
+15 -9 metaprl/theories/experimental/compile/m_cps.ml
+4 -1 metaprl/theories/experimental/compile/m_inline.ml
+3 -3 metaprl/theories/experimental/compile/m_test.ml
+7 -1 metaprl/theories/experimental/compile/m_theory.ml
+2 -0 metaprl/theories/experimental/compile/m_theory.mli
Deleted metaprl/theories/experimental/compile/m_x86.ml
Deleted metaprl/theories/experimental/compile/m_x86.mli
Added metaprl/theories/experimental/compile/m_x86_codegen.ml
Properties metaprl/theories/experimental/compile/m_x86_codegen.ml
Added metaprl/theories/experimental/compile/m_x86_codegen.mli
Properties metaprl/theories/experimental/compile/m_x86_codegen.mli
Added metaprl/theories/experimental/compile/m_x86_frame.ml
Properties metaprl/theories/experimental/compile/m_x86_frame.ml
Added metaprl/theories/experimental/compile/m_x86_frame.mli
Properties metaprl/theories/experimental/compile/m_x86_frame.mli
+136 -120 metaprl/theories/experimental/compile/x86_asm.ml
+45 -30 metaprl/theories/experimental/compile/x86_asm.mli