On Wed, Sep 12, 2012 at 4:52 PM, Steven Bosscher wrote: > On Wed, Sep 12, 2012 at 4:02 PM, Richard Guenther wrote: >> for a followup (and I bet sth else than PRE blows up at -O2 as well). > > Actually, the only thing that really blows up is that enemy of scalability, > VRP.
FWIW, this appears to be due to the well-known problem with the equiv set, but also due to the liveness computations that tree-vrp performs, since your commit in r139263. Any reason why you didn't just re-use the tree-ssa-live machinery? And any reason why you don't let a DEF kill a live SSA name? AFAICT you're exposing all SSA names up without ever killing a USE :-) Ciao! Steven