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.
Test checked on affected targets. Is it OK?
Yes. This is fine.
jeff