On Thu, Nov 15, 2012 at 4:45 PM, Jakub Jelinek wrote: > On Thu, Nov 15, 2012 at 11:25:55AM +0100, Jan Hubicka wrote: >> PR tree-optimization/54717 >> * tree-ssa-pre.c (do_partial_partial_insertion): Consider also edges >> with ANTIC_IN. > > As Richard is still away, Steven, could you please comment on this?
I'm not very familiar with the partial-partial bits of PRE but Honza's fix makes sense after glancing at how PA_IN is computed: ANTIC_IN is filtered, so the set of partially or fully anticipated values in the successor block is PA_IN U ANTIC_IN and we should look in both sets. Ciao! Steven