diff mbox series

[pushed,RA] : Add cost calculation for reg equivalence invariants

Message ID 583aa85a-7b5c-bcda-35cd-f275da69c7cc@redhat.com
State New
Headers show
Series [pushed,RA] : Add cost calculation for reg equivalence invariants | expand

Commit Message

Vladimir Makarov Oct. 27, 2023, 2:23 p.m. UTC 
The following patch fixes one aarch64 GCC test failure resulted from my 
previous patch dealing with reg equivalences.

The patch was successfully bootstrapped and tested on x86-64, aarch64, 
ppc64le.
diff mbox series

Patch

commit 9b03e1d20c00dca215b787a5e959db473325b660
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Fri Oct 27 08:28:24 2023 -0400

    [RA]: Add cost calculation for reg equivalence invariants
    
    My recent patch improving cost calculation for pseudos with equivalence
    resulted in failure of gcc.target/arm/eliminate.c on aarch64.  This patch
    fixes this failure.
    
    gcc/ChangeLog:
    
            * ira-costs.cc: (get_equiv_regno, calculate_equiv_gains):
            Process reg equivalence invariants.

diff --git a/gcc/ira-costs.cc b/gcc/ira-costs.cc
index a59d45a6e24..c4086807076 100644
--- a/gcc/ira-costs.cc
+++ b/gcc/ira-costs.cc
@@ -1784,6 +1784,7 @@  get_equiv_regno (rtx x, int &regno, rtx &subreg)
     }
   if (REG_P (x)
       && (ira_reg_equiv[REGNO (x)].memory != NULL
+	  || ira_reg_equiv[REGNO (x)].invariant != NULL
 	  || ira_reg_equiv[REGNO (x)].constant != NULL))
     {
       regno = REGNO (x);
@@ -1826,6 +1827,7 @@  calculate_equiv_gains (void)
   for (regno = max_reg_num () - 1; regno >= FIRST_PSEUDO_REGISTER; regno--)
     if (ira_reg_equiv[regno].init_insns != NULL
 	&& (ira_reg_equiv[regno].memory != NULL
+	    || ira_reg_equiv[regno].invariant != NULL
 	    || (ira_reg_equiv[regno].constant != NULL
 		/* Ignore complicated constants which probably will be placed
 		   in memory:  */
@@ -1876,6 +1878,8 @@  calculate_equiv_gains (void)
 
 	  if (subst == NULL)
 	    subst = ira_reg_equiv[regno].constant;
+	  if (subst == NULL)
+	    subst = ira_reg_equiv[regno].invariant;
 	  ira_assert (subst != NULL);
 	  mode = PSEUDO_REGNO_MODE (regno);
 	  ira_init_register_move_cost_if_necessary (mode);