re PR target/49780 ([x32] internal compiler error: in create_mem_ref, at tree-ssa...

	PR target/49780
	* config/i386/predicates.md (no_seg_addres_operand): No more special.
	* config/i386/i386.c (ix86_decompose_address): Allow only subregs
	of DImode hard registers in base.
	(ix86_legitimate_address_p): Allow SImode and DImode base and index
	registers.

From-SVN: r176506

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3ee9bfb7334f3ff40b2d2baf96139bf3465a21c0..4f8934a0e30265c397ec692415ae79b08f48f643 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,7 +1,15 @@
+2011-07-20  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/49780
+       * config/i386/predicates.md (no_seg_addres_operand): No more special.
+       * config/i386/i386.c (ix86_decompose_address): Allow only subregs
+       of DImode hard registers in base.
+       (ix86_legitimate_address_p): Allow SImode and DImode base and index
+       registers.
+
 2011-07-20  Richard Guenther  <rguenther@suse.de>
 
-       * tree-ssa-structalias.c (new_var_info): Allocate oldsolution
-       lazily.
+       * tree-ssa-structalias.c (new_var_info): Allocate oldsolution lazily.
        (unify_nodes): Deal with that.
        (solve_graph): Likewise.
 
@@ -91,8 +99,8 @@
        (GNU_USER_LINK_EMULATION32, GNU_USER_LINK_EMULATION64)
        (GNU_USER_LINK_EMULATIONN32): New macros.
 
-       * config.gcc (mips64*-*-linux* | mipsisa64*-*-linux* |
-       mips-*-linux*): Use the new headers.
+       * config.gcc (mips64*-*-linux* | mipsisa64*-*-linux* | mips-*-linux*):
+       Use the new headers.
 
 2011-07-19  Richard Sandiford  <rdsandiford@googlemail.com>
 

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 814250fa24e8ccd7925a90e9906535f7289651c0..22f756b47fd4b10b7a6b35320534dc67efaf6af7 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -11085,8 +11085,16 @@ ix86_decompose_address (rtx addr, struct ix86_address *out)
   int retval = 1;
   enum ix86_address_seg seg = SEG_DEFAULT;
 
-  if (REG_P (addr) || GET_CODE (addr) == SUBREG)
+  if (REG_P (addr))
     base = addr;
+  else if (GET_CODE (addr) == SUBREG)
+    {
+      /* Allow only subregs of DImode hard regs.  */
+      if (register_no_elim_operand (SUBREG_REG (addr), DImode))
+       base = addr;
+      else
+       return 0;
+    }
   else if (GET_CODE (addr) == PLUS)
     {
       rtx addends[4], op;
@@ -11643,8 +11651,7 @@ ix86_legitimate_address_p (enum machine_mode mode ATTRIBUTE_UNUSED,
        /* Base is not a register.  */
        return false;
 
-      if (GET_MODE (base) != Pmode)
-       /* Base is not in Pmode.  */
+      if (GET_MODE (base) != SImode && GET_MODE (base) != DImode)
        return false;
 
       if ((strict && ! REG_OK_FOR_BASE_STRICT_P (reg))
@@ -11672,8 +11679,7 @@ ix86_legitimate_address_p (enum machine_mode mode ATTRIBUTE_UNUSED,
        /* Index is not a register.  */
        return false;
 
-      if (GET_MODE (index) != Pmode)
-       /* Index is not in Pmode.  */
+      if (GET_MODE (index) != SImode && GET_MODE (index) != DImode)
        return false;
 
       if ((strict && ! REG_OK_FOR_INDEX_STRICT_P (reg))

diff --git a/gcc/config/i386/predicates.md b/gcc/config/i386/predicates.md
index 2c75147474ebc5df615fb66a683724f0a0569826..fd935053f479addc723fe842a550239987cf5540 100644 (file)
--- a/gcc/config/i386/predicates.md
+++ b/gcc/config/i386/predicates.md
@@ -796,7 +796,7 @@
 
 ;; Return true if op if a valid address, and does not contain
 ;; a segment override.
-(define_special_predicate "no_seg_address_operand"
+(define_predicate "no_seg_address_operand"
   (match_operand 0 "address_operand")
 {
   struct ix86_address parts;