benchmarking Poly/ML & floating point

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 12 Sep 2000 17:58:22 -0400 (EDT)



> Here is the relevant snippet of CPS code for List.map Real.!=.  I think the
> CPS optimizer is doing all it can in this case.
...

O.k.  It's a very simple peephole optimization anyways, so I think I'll
write it up and run it through the regressions and benchmarks and see if
it is ever activated.  From the CPS code, I'm guessing that if it is ever
used, it will be in some extreme case.  If it doesn't appear to hit
anything, then I'll just leave it turned off.