redundant tests

Stephen Weeks
Fri, 3 Aug 2001 14:18:48 -0700

Here is a comparison of mlton built with and without redundant tests.  I give
the code size and the time to compile itself (with redundant tests, but that's

	without 	with
size	7457580		7450964
time	532		534

Anyways, no great change.  I obviously need to put in stuff about transitivity
and simple algebra (e.g. i + 1 < i + 2).

Something I did lately has added about 0.8M to the size of mlton-compile.  I'm
not sure what it was, but it appears to be unrelated to redundant test
elimination.  It might have been CSE, which increased live ranges.