On Thu, Nov 15, 2012 at 11:04:12PM +0100, Steven Bosscher wrote:
> 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.
Thanks, the patch is ok then, with or without adjustment of the dump file
message.
Jakub
