On 07/15/2016 08:02 AM, Bin.Cheng wrote:
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.
The commit references 63679.
Jeff
