Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-06 08:36:36 -0700 (Tue, 06 Apr 2004)
Revision: 5612
Log message:

      Added closure conversion on assembly code.
      
      Functions in the assembly now use the Lambda["rec"] version
      of recursive functions (the recursive binding is final in the
      parameter list).
      

Changes  Path
+1 -1 metaprl/editor/ml/mpconfig
+0 -1 mpcompiler/mmc/OMakefile
+1 -0 mpcompiler/mmc/arch/x86/Files
+21 -5 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+9 -1 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+41 -14 mpcompiler/mmc/arch/x86/mmc_x86_closure.ml
+10 -2 mpcompiler/mmc/arch/x86/mmc_x86_closure.mli
+3 -2 mpcompiler/mmc/arch/x86/mmc_x86_coalesce.ml
+1 -2 mpcompiler/mmc/arch/x86/mmc_x86_coalesce.mli
+44 -34 mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
Added mpcompiler/mmc/arch/x86/mmc_x86_hoist.ml
Properties mpcompiler/mmc/arch/x86/mmc_x86_hoist.ml
Added mpcompiler/mmc/arch/x86/mmc_x86_hoist.mli
Properties mpcompiler/mmc/arch/x86/mmc_x86_hoist.mli
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_opt1.ml
+2 -2 mpcompiler/mmc/arch/x86/mmc_x86_prologue.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_regalloc.ml
+6 -4 mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+3 -1 mpcompiler/mmc/base/Files
Added mpcompiler/mmc/base/mmc_base_hoist.ml
Properties mpcompiler/mmc/base/mmc_base_hoist.ml
Added mpcompiler/mmc/base/mmc_base_hoist.mli
Properties mpcompiler/mmc/base/mmc_base_hoist.mli
Added mpcompiler/mmc/base/mmc_base_standardize.ml
Properties mpcompiler/mmc/base/mmc_base_standardize.ml
Added mpcompiler/mmc/base/mmc_base_standardize.mli
Properties mpcompiler/mmc/base/mmc_base_standardize.mli
+2 -1 mpcompiler/mmc/core/Files
+3 -3 mpcompiler/mmc/core/mmc_core_cps.prla
Added mpcompiler/mmc/core/mmc_core_hoist.ml
Properties mpcompiler/mmc/core/mmc_core_hoist.ml
Added mpcompiler/mmc/core/mmc_core_hoist.mli
Properties mpcompiler/mmc/core/mmc_core_hoist.mli
+3 -3 mpcompiler/mmc/core/mmc_core_name.prla
+1 -1 mpcompiler/mmc/core/mmc_core_reserve.ml
+1 -1 mpcompiler/mmc/core/mmc_core_tast.ml
+2 -2 mpcompiler/mmc/core/mmc_core_type_check.prla
+2 -2 mpcompiler/mmc/extensions/array/mmc_ext_array_x86.ml
+1 -1 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+2 -2 mpcompiler/mmc/extensions/bool/mmc_ext_boolean.prla
+1 -1 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+9 -9 mpcompiler/mmc/extensions/fix/mmc_ext_fix_x86.ml
+1 -1 mpcompiler/mmc/extensions/int/mmc_ext_integer_x86.ml
+1 -1 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple_x86.ml
+1 -1 mpcompiler/mmc/syntax.pho
+2 -2 mpcompiler/mmc/test/mmc_core_test.prla
+3 -2 mpcompiler/util/Files
Added mpcompiler/util/mm_arith_util.ml
Properties mpcompiler/util/mm_arith_util.ml
Added mpcompiler/util/mm_arith_util.mli
Properties mpcompiler/util/mm_arith_util.mli
+1 -1 mpcompiler/util/mm_list_util.ml
+1 -1 mpcompiler/util/mm_list_util.mli
Added mpcompiler/util/mm_sequent_util.ml
Properties mpcompiler/util/mm_sequent_util.ml
Added mpcompiler/util/mm_sequent_util.mli
Properties mpcompiler/util/mm_sequent_util.mli
Deleted mpcompiler/util/mmc_arith.ml
Deleted mpcompiler/util/mmc_arith.mli