On Thu, Jul 14, 2016 at 6:14 PM, Jeff Law <l...@redhat.com> wrote: > On 07/14/2016 10:11 AM, Bin Cheng wrote: >> >> Hi, Test gcc.dg/tree-ssa/pr71347 failed on some targets if the two >> memory references are re-written into different forms by IVOPT. This >> could be because of various reasons, for example, auto-increment >> addressing mode. Since the address expressions are of different >> form, DOM fails to eliminate the redundant load at the moment. I >> think DOM should be improved to handle address expressions appearing >> in different forms (at least for simple cases). For now, I will >> XFAIL this test indicating a possible enhancement. > > FWIW, Adam Lawrence did some work in this area a few months ago. Essentially > enhancing DOM to be able to detect certain MEM_REF and ARRAY_REF accesses > were in fact equivalent. Hi Jeff, Do you recall any PR/patch of this? I didn't find it in mail searching.
> > >> >> Test checked on affected targets. Is it OK? Applied. Thanks, bin > > Yes. This is fine. > jeff >