Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-22 19:23:29 -0800 (Mon, 22 Mar 2004)
Revision: 5520
Log message:

      This is an initial commit of the x86_backend utilities.  This includes
      the printer, and the conversion to the abstract type used by the register
      allocator.  Still left: standardization and spill code generation.
      

Changes  Path
+23 -19 metaprl/theories/experimental/compile/m_x86_backend.ml
+1 -1 mpcompiler/mmc/arch/x86/Files
+5 -0 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+5 -0 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+274 -178 mpcompiler/mmc/arch/x86/mmc_x86_backend.ml
+19 -0 mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
+4 -0 mpcompiler/mmc/arch/x86/mmc_x86_frame.mli