The following patch fix

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55055

In this case, operand was an address containing subreg. LRA before the patch processed only operands which are subregs of regs.

  The patch was successfully bootstrapped on x86/x86-64.

  Committed as rev. 192779.

2012-10-24  Vladimir Makarov  <vmaka...@redhat.com>

    PR rtl-optimization/55055
    * lra-spills.c (alter_subregs): New function.
    (lra_hard_reg_substitution): Use it.

Index: lra-spills.c
===================================================================
--- lra-spills.c        (revision 192742)
+++ lra-spills.c        (working copy)
@@ -571,6 +571,48 @@ lra_spill (void)
   free (pseudo_regnos);
 }
 
+/* Apply alter_subreg for subregs of regs in *LOC.  Use FINAL_P for
+   alter_subreg calls. Return true if any subreg of reg is
+   processed.  */
+static bool
+alter_subregs (rtx *loc, bool final_p)
+{
+  int i;
+  rtx x = *loc;
+  bool res;
+  const char *fmt;
+  enum rtx_code code;
+
+  if (x == NULL_RTX)
+    return false;
+  code = GET_CODE (x);
+  if (code == SUBREG && REG_P (SUBREG_REG (x)))
+    {
+      lra_assert (REGNO (SUBREG_REG (x)) < FIRST_PSEUDO_REGISTER);
+      alter_subreg (loc, final_p);
+      return true;
+    }
+  fmt = GET_RTX_FORMAT (code);
+  res = false;
+  for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
+    {
+      if (fmt[i] == 'e')
+       {
+         if (alter_subregs (&XEXP (x, i), final_p))
+           res = true;
+       }
+      else if (fmt[i] == 'E')
+       {
+         int j;
+         
+         for (j = XVECLEN (x, i) - 1; j >= 0; j--)
+           if (alter_subregs (&XVECEXP (x, i, j), final_p))
+             res = true;
+       }
+    }
+  return res;
+}
+
 /* Final change of pseudos got hard registers into the corresponding
    hard registers.  */
 void
@@ -589,22 +631,15 @@ lra_hard_reg_substitution (void)
     FOR_BB_INSNS (bb, insn)
       if (INSN_P (insn))
        {
-         lra_insn_recog_data_t id;
+         lra_insn_recog_data_t id = lra_get_insn_recog_data (insn);
          bool insn_change_p = false;
 
-         id = lra_get_insn_recog_data (insn);
          for (i = id->insn_static_data->n_operands - 1; i >= 0; i--)
-           {
-             rtx op = *id->operand_loc[i];
-
-             if (GET_CODE (op) == SUBREG && REG_P (SUBREG_REG (op)))
-               {
-                 lra_assert (REGNO (SUBREG_REG (op)) < FIRST_PSEUDO_REGISTER);
-                 alter_subreg (id->operand_loc[i], ! DEBUG_INSN_P (insn));
-                 lra_update_dup (id, i);
-                 insn_change_p = true;
-               }
-           }
+           if (alter_subregs (id->operand_loc[i], ! DEBUG_INSN_P (insn)))
+             {
+               lra_update_dup (id, i);
+               insn_change_p = true;
+             }
          if (insn_change_p)
            lra_update_operator_dups (id);
        }

Reply via email to