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