Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-20 17:11:36 -0800 (Thu, 20 Mar 2003)
Revision: 4196
Log message:

      Added x86 backend description.
      

Changes	Path
+4 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/Makefile
+0 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_live.ml
+0 -1	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_live.mli
+1 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_main.ml
+2 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.ml
+2 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mli
+2 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ra_type.mlz
Added	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
Properties	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
Added	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.mli
Properties	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.mli
+16 -13	metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml
Added	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_inst_type.mlz
Properties	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_inst_type.mlz
+161 -114	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_term.ml
+3 -30	metaprl-branches/lm_libmojave/theories/experimental/compile/x86_term.mli