Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-05 15:49:57 -0800 (Sat, 05 Mar 2005)
Revision: 6847
Log message:

      Yay!  The backend is complete, and mmc_int_test/test0 compiles and
      runs correctly.
      

Changes  Path
+25 -14 metaprl/filter/filter/filter_patt.ml
+2 -0 mpcompiler/mmc/arch/x86/base/mmc_x86_frame.ml
+4 -0 mpcompiler/mmc/arch/x86/base/mmc_x86_frame.mli
+6 -2 mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+30 -28 mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+4 -3 mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+167 -39 mpcompiler/mmc/arch/x86/print/mmc_x86_print.ml
+4 -0 mpcompiler/mmc/arch/x86/print/mmc_x86_print.mli
+100 -33 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+2 -2 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_regalloc.ml
+2 -2 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_regalloc.mli
+4 -2 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_rename.ml
+2 -2 mpcompiler/mmc/arch/x86/runtime/x86_glue.s
+3 -3 mpcompiler/mmc/arch/x86/runtime/x86_runtime.c
+1 -0 mpcompiler/mmc/arch/x86/type/Files
+14 -206 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
+4 -55 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.mli
Added mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
Properties mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
Added mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.mli
Properties mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.mli
+3 -3 mpcompiler/mmc/core/mmc_core_hoist.ml
+2 -2 mpcompiler/mmc/core/mmc_core_hoist.mli
+4 -6 mpcompiler/mmc/core/mmc_core_theory.ml
+1 -1 mpcompiler/mmc/extensions/int/mmc_x86_int.ml
+1 -1 mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+1 -1 mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+5 -4 mpcompiler/mmc/lir/mmc_lir_closure_elim.ml
+7 -4 mpcompiler/mmc/lir/mmc_lir_theory.ml
+3 -0 mpcompiler/mmc/main/OMakefile
+0 -1 mpcompiler/mmc/test/mmc