[gcc/devel/c++-modules] PR92303: Try to simplify memory subreg.

[gcc/devel/c++-modules] PR92303: Try to simplify memory subreg.

[Nathan Sidwell]

https://gcc.gnu.org/g:a4504f32c056db781a2bdc104dffa1b29684c930

commit a4504f32c056db781a2bdc104dffa1b29684c930
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Fri Mar 13 14:58:57 2020 -0400

    PR92303: Try to simplify memory subreg.
    
    2020-03-13  Vladimir Makarov  <vmakarov@redhat.com>
    
            PR rtl-optimization/92303
            * lra-spills.c (remove_pseudos): Try to simplify memory subreg.

Diff:
---
 gcc/ChangeLog    |  5 +++++
 gcc/lra-spills.c | 11 ++++++++++-
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d63b83194d5..4ea81e6c404 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2020-03-13  Vladimir Makarov  <vmakarov@redhat.com>
+
+	PR rtl-optimization/92303
+	* lra-spills.c (remove_pseudos): Try to simplify memory subreg.
+
 2020-03-13  Segher Boessenkool  <segher@kernel.crashing.org>
 
 	PR rtl-optimization/94148
diff --git a/gcc/lra-spills.c b/gcc/lra-spills.c
index 0022611785c..01256e711bc 100644
--- a/gcc/lra-spills.c
+++ b/gcc/lra-spills.c
@@ -421,7 +421,16 @@ remove_pseudos (rtx *loc, rtx_insn *insn)
   if (*loc == NULL_RTX)
     return res;
   code = GET_CODE (*loc);
-  if (code == REG && (i = REGNO (*loc)) >= FIRST_PSEUDO_REGISTER
+  if (code == SUBREG && REG_P (SUBREG_REG (*loc)))
+    {
+      /* Try to remove memory subregs to simplify LRA job
+         and avoid LRA cycling in case of subreg memory reload.  */
+      res = remove_pseudos (&SUBREG_REG (*loc), insn);
+      if (GET_CODE (SUBREG_REG (*loc)) == MEM)
+	alter_subreg (loc, false);
+      return res;
+    }
+  else if (code == REG && (i = REGNO (*loc)) >= FIRST_PSEUDO_REGISTER
       && lra_get_regno_hard_regno (i) < 0
       /* We do not want to assign memory for former scratches because
 	 it might result in an address reload for some targets.	 In