Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-04 20:14:47 -0800 (Fri, 04 Mar 2005)
Revision: 6842
Log message:

      Added the x86 conventions.
      
      Note, this includes a commit to MetaPRL to handle quotation patterns.
      

Changes  Path
+19 -3 metaprl/filter/filter/filter_parse.ml
+2 -1 metaprl/filter/filter/filter_patt.ml
+13 -7 mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
+1 -0 mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+1 -0 mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+16 -5 mpcompiler/mmc/arch/x86/opt/mmc_x86_dead.ml
+1 -0 mpcompiler/mmc/arch/x86/regalloc/Files
+86 -49 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_convention.ml
+3 -3 mpcompiler/mmc/arch/x86/regalloc/mmc_x86_convention.mli
+2 -3 mpcompiler/mmc/test/mmc