On Thu, Oct 6, 2022 at 1:09 PM Eric Botcazou <botca...@adacore.com> wrote: > > > I'm wondering if testing DR_IS_WRITE (dra) is enough here and whether > > the logic also applies to RAW and WAR. So should it be either > > (DR_IS_WRITE (dra) || DR_IS_WRITE (drb)) or DR_IS_WRITE (dra) && > > DR_IS_WRITE (drb) instead? > > It's a self-dependence, i.e. dra == drb in the block. Or do you mean for > other dependence pairs in general? For them, I think that the code does the > proper filtering in adjust_unroll_factor, but I may be wrong of course.
Ah, I see. The original patch is OK. thanks, Richard. > -- > Eric Botcazou > >
