[MLton] Re: [MLton-commit] r7212
Matthew Fluet
fluet at tti-c.org
Sat Jul 11 09:59:37 PDT 2009
On Fri, 10 Jul 2009, Wesley Terpstra wrote:
> Added a new pass supporting elimination / combination of type conversions.
> It is able to eliminate costly conversions through LargeWord, but not
> IntInf.
> IntInf conversions tag variables before conversion which blocks the
> analysis.
Very nice commit message. It would also be worthwhile to add a short
comment to doc/commitlog. Also, it would be good to document the pass at
http://mlton.org/SSASimplify.
> I ran the benchmark suite three times and only 'checksum' has a
> significant
> and reproducible change:
>
> MLton0 -- mlton -drop-pass combineConversions
> MLton1 -- mlton
> run time ratio
> benchmark MLton1
> checksum 0.45
> size
> benchmark MLton0 MLton1
> checksum 187,726 186,254
> compile time
> benchmark MLton0 MLton1
> checksum 4.52 4.61
> run time
> benchmark MLton0 MLton1
> checksum 36.84 16.43
>
>
> ... which is not terribly surprising since it (and md5sum) are the only
> tests which make use of type conversions and md5sum is dominated by md5.
A very nice speedup, even if it is only on the one benchmark.
More information about the MLton
mailing list