Proposals

[btanksley@hifn.com]

From: Jason Marshall [mailto:jmarsh@serv.net]

>>understand why you feel justified in that.  If it's impossible to 
>>decide
>>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.

>-Jason

-Billy