OSDN Git Service

2010-04-03 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 3 Apr 2010 17:14:44 +0000 (17:14 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 3 Apr 2010 17:14:44 +0000 (17:14 +0000)
PR middle-end/42509
* alias.c (nonoverlapping_memrefs_p): For spill-slot accesses
require a non-NULL MEM_OFFSET.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157954 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/alias.c

index e06d38c..2eb77c4 100644 (file)
@@ -1,3 +1,9 @@
+2010-04-03  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/42509
+       * alias.c (nonoverlapping_memrefs_p): For spill-slot accesses
+       require a non-NULL MEM_OFFSET.
+
 2010-04-02  Steven Bosscher  <steven@gcc.gnu.org>
 
        * ada/gcc-interface/Make-lang.in, alias.c, attribs.c, auto-inc-dec.c, 
index 317aeba..cd7e2a0 100644 (file)
@@ -2147,6 +2147,13 @@ nonoverlapping_memrefs_p (const_rtx x, const_rtx y)
   if (exprx == 0 || expry == 0)
     return 0;
 
+  /* For spill-slot accesses make sure we have valid offsets.  */
+  if ((exprx == get_spill_slot_decl (false)
+       && ! MEM_OFFSET (x))
+      || (expry == get_spill_slot_decl (false)
+         && ! MEM_OFFSET (y)))
+    return 0;
+
   /* If both are field references, we may be able to determine something.  */
   if (TREE_CODE (exprx) == COMPONENT_REF
       && TREE_CODE (expry) == COMPONENT_REF