Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-21 09:51:49 -0800 (Fri, 21 Mar 2003)
Revision: 4209
Log message:

      Tailcalls take a variable number of arguments.
      

Changes  Path
+5 -5 metaprl-branches/lm_libmojave/theories/experimental/compile/m_closure.ml
+15 -10 metaprl-branches/lm_libmojave/theories/experimental/compile/m_cps.ml
+14 -10 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.ml
+4 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.mli
+1 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_test.ml
+5 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_theory.ml
+8 -3 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_backend.ml
+72 -79 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_codegen.ml
+1 -117 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_frame.ml
+0 -18 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_frame.mli
+7 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_regalloc.mli
+2 -1 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_spill.ml
+16 -40 metaprl-branches/lm_libmojave/theories/experimental/compile/m_x86_util.ml
+20 -24 metaprl-branches/lm_libmojave/theories/experimental/compile/x86_asm.ml
+6 -6 metaprl-branches/lm_libmojave/theories/experimental/compile/x86_asm.mli
+1 -0 metaprl-branches/lm_libmojave/theories/experimental/compile/x86_inst_type.mlz
+33 -19 metaprl-branches/lm_libmojave/theories/experimental/compile/x86_term.ml