* alias.c (memrefs_conflict_p): If x and y are the same VALUE,

	don't call get_addr on both.  If one expression is a VALUE and
	the other a REG, check VALUE's locs if the REG isn't among them.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 48c50f4..e70da71 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-04-16  Jakub Jelinek  <jakub@redhat.com>
+
+       * alias.c (memrefs_conflict_p): If x and y are the same VALUE,
+       don't call get_addr on both.  If one expression is a VALUE and
+       the other a REG, check VALUE's locs if the REG isn't among them.
+
 2010-04-16  Christian Bruel  <christian.bruel@st.com>
 
        * config/sh/sh.h (sh_frame_pointer_required): New function.

diff --git a/gcc/alias.c b/gcc/alias.c
index 1d69d9d..72f8a66 100644 (file)
--- a/gcc/alias.c
+++ b/gcc/alias.c
@@ -1791,11 +1791,10 @@ memrefs_conflict_p (int xsize, rtx x, int ysize, rtx y, HOST_WIDE_INT c)
     {
       if (REG_P (y))
        {
-         struct elt_loc_list *l = NULL;
-         if (CSELIB_VAL_PTR (x))
-           for (l = CSELIB_VAL_PTR (x)->locs; l; l = l->next)
-             if (REG_P (l->loc) && rtx_equal_for_memref_p (l->loc, y))
-               break;
+         struct elt_loc_list *l;
+         for (l = CSELIB_VAL_PTR (x)->locs; l; l = l->next)
+           if (REG_P (l->loc) && rtx_equal_for_memref_p (l->loc, y))
+             break;
          if (l)
            x = y;
          else
@@ -1809,11 +1808,10 @@ memrefs_conflict_p (int xsize, rtx x, int ysize, rtx y, HOST_WIDE_INT c)
     {
       if (REG_P (x))
        {
-         struct elt_loc_list *l = NULL;
-         if (CSELIB_VAL_PTR (y))
-           for (l = CSELIB_VAL_PTR (y)->locs; l; l = l->next)
-             if (REG_P (l->loc) && rtx_equal_for_memref_p (l->loc, x))
-               break;
+         struct elt_loc_list *l;
+         for (l = CSELIB_VAL_PTR (y)->locs; l; l = l->next)
+           if (REG_P (l->loc) && rtx_equal_for_memref_p (l->loc, x))
+             break;
          if (l)
            y = x;
          else