[LLVMdev] PredicateSimplifier questions

[John Regehr]

> Predsimplify is believed to have bugs (it results in miscompiled
> programs) and certainly isn't efficient (it was written before much of
> include/ADT). Finally, predsimplify is likely to go away once I or
> someone else writes a proper VRP pass.

Whoever does this, I strongly encourage looking into using (or at least 
providing optional support for) the Apron library:

   http://apron.cri.ensmp.fr/library/

No sense reinventing these wheels.

John Regehr