Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-22 17:15:41 -0800 (Sat, 22 Mar 2003)
Revision: 4216
Log message:

      We now generate code the assembles without errors.
      Added a few assembly optimizations too.
      

Changes	Path
+2 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/Makefile
+2 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml
+10 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_live.ml
+7 -5	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_main.ml
+6 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.ml
+6 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mli
+6 -10	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mlz
+11 -6	metaprl-branches/lm_libmojave/theories/experimental/compile/m_theory.ml
+1 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_theory.mli
+20 -23	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_asm.ml
+14 -15	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_asm.mli
+296 -213	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
+15 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.mli
+18 -28	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_coalesce.ml
+3 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_coalesce.mli
+53 -11	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+4 -4	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_inst_type.mlz
Added	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.ml
Properties	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.ml
Added	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.mli
Properties	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_opt.mli
+11 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_regalloc.ml
+4 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_regalloc.mli
+16 -36	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml
+2 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.mli
+45 -24	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_term.ml
+3 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_term.mli