Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-20 22:02:32 -0800 (Thu, 20 Mar 2003)
Revision: 4201
Log message:

      Register allocation runs and produces an assignment, but we
      fail alpha-equality.  Hard to debug...
      

Changes	Path
+15 -6	metaprl-branches/lm_libmojave/mk/rules
+9 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_closure.ml
+5 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml
+9 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.ml
+4 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.mli
+29 -6	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_live.ml
+5 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_main.ml
+3 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.ml
+3 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mli
+3 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mlz
+29 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_standardize.ml
+2 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_standardize.mli
+287 -68	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
+6 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+35 -6	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_regalloc.ml
+1 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml
+5 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_util.ml
+12 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_asm.ml
+1 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_asm.mli
+1 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_inst_type.mlz
+61 -7	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_term.ml
+13 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_term.mli