On Thu, Apr 24, 2014 at 5:34 PM, Jeff Law <l...@redhat.com> wrote: > On 04/24/14 02:22, Richard Biener wrote: >>> >>> + >>> + if (backedge_seen) >>> + FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_ALL_DEFS) >> >> >> You only need SSA_OP_DEF here, no need to process virtual >> operands. > > I went back and forth on this. I couldn't come up with a case where we'd do > the wrong thing with virtuals, but processing all the DEFs is conservatively > correct, so I left it. > > If you'd like to see this changed to only walk the real defs, I'm happy to > make that change.
Well, it's cheaper. And we don't (and can't) record equivalencies on virtuals. So, yes please. Richard. > jeff > >
