------- Comment #14 from rearnsha at gcc dot gnu dot org 2010-04-01 19:30 ------- It appears that some of the annotations on the DImode reload are incorrect.
The store insn contains (mem/c:SI (plus:SI (reg/f:SI 13 sp) (const_int 276 [0x114])) [87 %sfp+-540 S4 A64]) and the load contains (mem/c:DI (reg:SI 1 r1) [87 %sfp S8 A64]) where r1 has the value SP+272 Note that despite this, the %sfp expressions differ by 540 bytes and as a result nonoverlapping_memrefs_p declares the operations not to overlap. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42509