> 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. -- Eric Botcazou
