re PR debug/47283 (ICE in refs_may_alias_p_1, at tree-ssa-alias.c)

	PR debug/47283
	* cfgexpand.c (convert_debug_memory_address): Add AS parameter.
	Use target address_mode and pointer_mode hooks instead of hardcoded
	Pmode and ptr_mode.  Handle some simple cases of extending if
	POINTERS_EXTEND_UNSIGNED < 0.
	(expand_debug_expr) <case MEM_REF, INDIRECT_REF, TARGET_MEM_REF>:
	Call convert_debug_memory_address.
	(expand_debug_expr) <case ADDR_EXPR>: Pass as to
	convert_debug_memory_address.

From-SVN: r170566

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7c3d538e4e35907d588da78568f4afea847d1281..b01637c3d7b11f193522995ab1ebc7e3fa61991b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,15 @@
 2011-02-28  Jakub Jelinek  <jakub@redhat.com>
 
+       PR debug/47283
+       * cfgexpand.c (convert_debug_memory_address): Add AS parameter.
+       Use target address_mode and pointer_mode hooks instead of hardcoded
+       Pmode and ptr_mode.  Handle some simple cases of extending if
+       POINTERS_EXTEND_UNSIGNED < 0.
+       (expand_debug_expr) <case MEM_REF, INDIRECT_REF, TARGET_MEM_REF>:
+       Call convert_debug_memory_address.
+       (expand_debug_expr) <case ADDR_EXPR>: Pass as to
+       convert_debug_memory_address.
+
        PR middle-end/46790
        * configure.ac (HAVE_LD_EH_GC_SECTIONS_BUG): New test.
        * configure: Regenerated.

diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c
index ee51ba9f9c0302495f5d8ecce367f1b9a745d81b..ecfd1a50f39fe01dfce31d4bdf40aff05650e49e 100644 (file)
--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -2292,15 +2292,21 @@ round_udiv_adjust (enum machine_mode mode, rtx mod, rtx op1)
    any rtl.  */
 
 static rtx
-convert_debug_memory_address (enum machine_mode mode, rtx x)
+convert_debug_memory_address (enum machine_mode mode, rtx x,
+                             addr_space_t as)
 {
   enum machine_mode xmode = GET_MODE (x);
 
 #ifndef POINTERS_EXTEND_UNSIGNED
-  gcc_assert (mode == Pmode);
+  gcc_assert (mode == Pmode
+             || mode == targetm.addr_space.address_mode (as));
   gcc_assert (xmode == mode || xmode == VOIDmode);
 #else
-  gcc_assert (mode == Pmode || mode == ptr_mode);
+  rtx temp;
+  enum machine_mode address_mode = targetm.addr_space.address_mode (as);
+  enum machine_mode pointer_mode = targetm.addr_space.pointer_mode (as);
+
+  gcc_assert (mode == address_mode || mode == pointer_mode);
 
   if (GET_MODE (x) == mode || GET_MODE (x) == VOIDmode)
     return x;
@@ -2314,7 +2320,47 @@ convert_debug_memory_address (enum machine_mode mode, rtx x)
   else if (!POINTERS_EXTEND_UNSIGNED)
     x = gen_rtx_SIGN_EXTEND (mode, x);
   else
-    gcc_unreachable ();
+    {
+      switch (GET_CODE (x))
+       {
+       case SUBREG:
+         if ((SUBREG_PROMOTED_VAR_P (x)
+              || (REG_P (SUBREG_REG (x)) && REG_POINTER (SUBREG_REG (x)))
+              || (GET_CODE (SUBREG_REG (x)) == PLUS
+                  && REG_P (XEXP (SUBREG_REG (x), 0))
+                  && REG_POINTER (XEXP (SUBREG_REG (x), 0))
+                  && CONST_INT_P (XEXP (SUBREG_REG (x), 1))))
+             && GET_MODE (SUBREG_REG (x)) == mode)
+           return SUBREG_REG (x);
+         break;
+       case LABEL_REF:
+         temp = gen_rtx_LABEL_REF (mode, XEXP (x, 0));
+         LABEL_REF_NONLOCAL_P (temp) = LABEL_REF_NONLOCAL_P (x);
+         return temp;
+       case SYMBOL_REF:
+         temp = shallow_copy_rtx (x);
+         PUT_MODE (temp, mode);
+         return temp;
+       case CONST:
+         temp = convert_debug_memory_address (mode, XEXP (x, 0), as);
+         if (temp)
+           temp = gen_rtx_CONST (mode, temp);
+         return temp;
+       case PLUS:
+       case MINUS:
+         if (CONST_INT_P (XEXP (x, 1)))
+           {
+             temp = convert_debug_memory_address (mode, XEXP (x, 0), as);
+             if (temp)
+               return gen_rtx_fmt_ee (GET_CODE (x), mode, temp, XEXP (x, 1));
+           }
+         break;
+       default:
+         break;
+       }
+      /* Don't know how to express ptr_extend as operation in debug info.  */
+      return NULL;
+    }
 #endif /* POINTERS_EXTEND_UNSIGNED */
 
   return x;
@@ -2558,8 +2604,12 @@ expand_debug_expr (tree exp)
       else
        as = ADDR_SPACE_GENERIC;
 
-      op0 = gen_rtx_MEM (mode, op0);
+      op0 = convert_debug_memory_address (targetm.addr_space.address_mode (as),
+                                         op0, as);
+      if (op0 == NULL_RTX)
+       return NULL;
 
+      op0 = gen_rtx_MEM (mode, op0);
       set_mem_attributes (op0, exp, 0);
       set_mem_addr_space (op0, as);
 
@@ -2575,7 +2625,15 @@ expand_debug_expr (tree exp)
       if (!op0)
        return NULL;
 
-      as = TYPE_ADDR_SPACE (TREE_TYPE (exp));
+      if (POINTER_TYPE_P (TREE_TYPE (exp)))
+       as = TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (exp)));
+      else
+       as = ADDR_SPACE_GENERIC;
+
+      op0 = convert_debug_memory_address (targetm.addr_space.address_mode (as),
+                                         op0, as);
+      if (op0 == NULL_RTX)
+       return NULL;
 
       op0 = gen_rtx_MEM (mode, op0);
 
@@ -3039,7 +3097,8 @@ expand_debug_expr (tree exp)
          return NULL;
        }
 
-      op0 = convert_debug_memory_address (mode, XEXP (op0, 0));
+      as = TYPE_ADDR_SPACE (TREE_TYPE (exp));
+      op0 = convert_debug_memory_address (mode, XEXP (op0, 0), as);
 
       return op0;