Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-05 19:06:12 -0800 (Sat, 05 Mar 2005)
Revision: 6851
Log message:

      Some minor integer optimizations.
      

Changes	Path
+2 -0	mpcompiler/mmc/core/mmc_core_ast.mli
+2 -0	mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+28 -0	mpcompiler/mmc/extensions/int/mmc_x86_int.ml