https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71060
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ok, so in this case the issue is not different base objects but operand_equal_p
returning zero because
3058 || (MR_DEPENDENCE_CLIQUE (arg0)
3059 != MR_DEPENDENCE_CLIQUE (arg1))
3060 || (MR_DEPENDENCE_BASE (arg0)
3061 != MR_DEPENDENCE_BASE (arg1)))
and thus indeed restrict info. restrict info is not preserved when
if-conversion
creates MASK_{LOAD,STORE}.
