knownCase pass

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 15 Jan 2002 08:37:30 -0500 (EST)


> I checked in the knownCase pass.  See the CVS log for benchmark results.
> One really good speedup and a few mysterious slowdowns.

One interesting aspect of knownCase, which I hadn't realized, is that it
often has the effect of unrolling list traversals by one iteration, moving
the nil/cons check to the end of the loop, rather than the beginning.