Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-03 19:42:40 -0800 (Thu, 03 Mar 2005)
Revision: 6832
Log message:

      Added (minor) x86 optimizations.
      The simple contexts seem to be working.
      

Changes	Path
+3 -0	metaprl/refiner/refiner/refiner_debug.ml
+4 -0	metaprl/refiner/refsig/term_addr_sig.ml
+13 -0	metaprl/refiner/term_ds/term_addr_ds.ml
+13 -0	metaprl/refiner/term_gen/term_addr_gen.ml
+38 -0	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+90 -15	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
+1 -25	mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+1 -0	mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+3 -1	mpcompiler/mmc/arch/x86/opt/Files
Added	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.ml
Properties	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.ml
Added	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.mli
Properties	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt.mli
Deleted	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt1.ml
Deleted	mpcompiler/mmc/arch/x86/opt/mmc_x86_opt1.mli
+2 -2	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
+0 -9	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.mli
+2 -3	mpcompiler/mmc/test/mmc