Fri, 14 Jul 2000 09:15:02 -0700

From: Jason Marshall []

>>understand why you feel justified in that.  If it's impossible to 
>>which program is faster, how can you be justified in claiming 
>>that you can choose the fastest?

>But the thing is, most compilers are already doing a reasonable 
>approximation of this, are they not?

Correct; because that's what a heuristic is for.  He thinks he can do better
than a heuristic; and in fact, he CERTAINLY can, so long as he's willing to
take the time hit, and he doesn't attempt to beat a heuristic for something
uncomputable.  Unfortunately, the thing he's doing has a huge time hit, and
what he's optimising for (speed) is uncomputable.