17 Dec
2003
17 Dec
'03
11:17 p.m.
Graham Toal says:
PS I dunno what superoptimisizer Perry is talking about but I've never heard of a real one that works. You have to feed in a complete machine description at register transfer level and i don't know if those exist for real machines; also the problem is almost certainly exponential time for a *guaranteed* solution as Perry claims is possible.
As I've noted, Henry Massalin invented the superoptimizer -- and it works -- a much slower but publically available implementation that Henry had nothing to do with is available from the FSF as "Gnu Superopt". Perry