News for hackers. Stuff that matters.

A comment on Learning to Superoptimize Programs. Parent comment

Re:Learning to Superoptimize Programs by sanxiyn on Sunday November 20, 2016 @10:35AM (#12999310)
While your point about objective function is correct, optimizing compilers still manage just fine with imperfect objective function, and superoptimizers do better. So "as good as objective function" is good enough.

This work proves functional equivalence, so no test suite is necessary.

[ Parent | on HN ]
Re:Learning to Superoptimize Programs by cnkal on Sunday November 20, 2016 @10:39AM (#12999340)
> optimizing compilers still manage just fine with imperfect objective function,

Imperfect or not, optimizing compilers do not require an objective function at all. The majority of computer programs do not have an objective function.

[ Parent | on HN ]