Re: Counting Bits

["Perry E. Metzger" <perry@imsi.com>]

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