The following patch fixes all current GCC testsuite degradations of IRA+LRA in comparison with IRA + reload on x86 bringing IRA+LRA having less testsuite failures on x86 than IRA+reload.

The patch was successfully bootstrapped on x86-64, IA64, and ppc64.

2011-07-07  Vladimir Makarov <vmaka...@redhat.com>

        * lra-int.h (lra_invalidate_insn_data): New prototype.

        * lra.c (lra_invalidate_insn_data): Split out from ...
        (lra_set_insn_deleted): ... here.

        * lra-constraints.c (curr_insn_transform): Call
        lra_invalidate_insn_data and return true for wrong asm insn.
        (lra_constraints): Use dest_reg instead of SET_DEST (set).

Index: lra-int.h
===================================================================
--- lra-int.h   (revision 175931)
+++ lra-int.h   (working copy)
@@ -252,6 +252,7 @@ extern void lra_push_insn_and_update_ins
 
 extern rtx lra_create_new_reg (enum machine_mode, rtx, enum reg_class,
                               const char *);
+extern void lra_invalidate_insn_data (rtx);
 extern void lra_set_insn_deleted (rtx);
 extern void lra_delete_dead_insn (rtx);
 extern void lra_emit_add (rtx, rtx, rtx);
Index: lra.c
===================================================================
--- lra.c       (revision 175931)
+++ lra.c       (working copy)
@@ -107,13 +107,20 @@ lra_create_new_reg (enum machine_mode md
   return new_reg;
 }
 
+/* Invalidate INSN related info used by LRA.  */
+void
+lra_invalidate_insn_data (rtx insn)
+{
+  lra_invalidate_insn_regno_info (insn);
+  invalidate_insn_recog_data (INSN_UID (insn));
+}
+
 /* Mark INSN deleted and invalidate the insn related info used by
    LRA.  */
 void
 lra_set_insn_deleted (rtx insn)
 {
-  lra_invalidate_insn_regno_info (insn);
-  invalidate_insn_recog_data (INSN_UID (insn));
+  lra_invalidate_insn_data (insn);
   SET_INSN_DELETED (insn);
 }
 
Index: lra-constraints.c
===================================================================
--- lra-constraints.c   (revision 175931)
+++ lra-constraints.c   (working copy)
@@ -2760,7 +2760,8 @@ curr_insn_transform (void)
                     "inconsistent operand constraints in an %<asm%>");
       /* Avoid further trouble with this insn.  */
       PATTERN (curr_insn) = gen_rtx_USE (VOIDmode, const0_rtx);
-      return false;
+      lra_invalidate_insn_data (curr_insn);
+      return true;
     }
 
   /* If the best alternative is with operands 1 and 2 swapped, swap
@@ -3273,7 +3274,7 @@ lra_constraints (bool first_p)
                       && (! MEM_P (x) || MEM_READONLY_P (x)
                           || in_list_p (curr_insn,
                                         ira_reg_equiv
-                                        [REGNO (SET_DEST (set))].init_insns)))
+                                        [REGNO (dest_reg)].init_insns)))
                      || (SET_SRC (set) != get_equiv_substitution (SET_SRC 
(set))
                          && in_list_p (curr_insn,
                                        ira_reg_equiv

Reply via email to