[MLton] MLton HOL

[Stephen Weeks]

Matthew, I thought you might be interested in the full stats for the
codegen while compiling Joe's metis-test.sml.

	 outputAssembly starting
	    translateChunk totals 143.74 + 53.51 (27% GC)
	    simplify totals 14400.82 + 3988.40 (22% GC)
	       completeLiveInfo totals 3832.30 + 69.23 (2% GC)
	       completeJumpInfo totals 0.33 + 0.00 (0% GC)
	       elimGoto totals 11.35 + 50.92 (82% GC)
		  elimIff: 6 / 6
		  elimSwitchTest: 0 / 0
		  elimSwitchCases: 6 / 6
		  elimSimpleGoto totals 1.58 + 1.58 (50% GC)
		  elimComplexGoto totals 0.55 + 0.00 (0% GC)
		  elimBlocks totals 4.93 + 47.03 (91% GC)
	       verifyJumpInfo totals 0.00 + 0.00 (0% GC)
	       verifyEntryTransfer totals 0.00 + 0.00 (0% GC)
	       peepholeBlock_pre totals 8.26 + 0.23 (3% GC)
		  commuteBinALMD: 281 / 281
		  elimAddSub1: 1038 / 1038
		  elimMDPow2: 10 / 11
	       toLivenessBlock totals 2298.43 + 218.54 (9% GC)
	       moveHoist totals 3684.31 + 2311.31 (39% GC)
	       peepholeLivenessBlock totals 4319.30 + 1247.83 (22% GC)
		  elimALCopy: 2705655 / 7175772
		  elimFltACopy: 151 / 185
		  elimDeadDsts: 15653 / 15653
		  elimSelfMove: 59420 / 59420
		  elimFltSelfMove: 1 / 1
		  commuteBinALMD: 166 / 8819755
		  commuteFltBinA: 14 / 128
		  conditionalJump: 34354 / 34357
	       copyPropagate totals 207.50 + 49.57 (19% GC)
	       peepholeLivenessBlock_minor totals 8.66 + 0.52 (6% GC)
		  elimDeadDsts_minor: 0 / 0
		  elimSelfMove_minor: 6 / 6
		  elimFltSelfMove_minor: 0 / 0
	       verifyLivenessBlock totals 0.00 + 0.00 (0% GC)
	       toBlock totals 3.03 + 0.16 (5% GC)
	       peepholeBlock_post totals 5.77 + 0.38 (6% GC)
		  elimBinALMDDouble: 12 / 123141
		  elimFltBinADouble: 0 / 45
		  elimCMPTEST: 5 / 148808
		  elimCMP0: 3308 / 3308
		  elimALTEST: 2979 / 2995
	    generateTransfers totals 1679.89 + 146.00 (8% GC)
	       verifyLiveInfo totals 0.00 + 0.00 (0% GC)
	       verifyJumpInfo totals 0.00 + 0.00 (0% GC)
	       verifyEntryTransfer totals 0.00 + 0.00 (0% GC)
	       createLoopInfo totals 4.74 + 2.85 (38% GC)
	       computeLiveTransfers totals 145.70 + 2.61 (2% GC)
	    allocateRegisters totals 11986.13 + 1465.35 (11% GC)
	       toLiveness totals 10237.32 + 28.84 (0% GC)
	       toNoLiveness totals 0.05 + 0.00 (0% GC)
	       Assembly.allocateRegisters totals 1736.56 + 1169.40 (40% GC)
		  Instruction.allocateRegisters totals 1619.94 + 948.96 (37% GC)
		     pre totals 62.90 + 148.02 (70% GC)
		     post totals 68.16 + 273.17 (80% GC)
		     allocateOperand totals 1283.29 + 168.12 (12% GC)
		     allocateFltOperand totals 0.01 + 0.00 (0% GC)
		     allocateFltStackOperands totals 0.00 + 0.00 (0% GC)
		  Directive.allocateRegisters totals 38.37 + 93.36 (71% GC)
	    validate totals 5.91 + 0.00 (0% GC)
	 outputAssembly finished in 29226.16 + 5749.15 (16% GC)