re PR tree-optimization/91109 ([arm] gcc.c-torture/execute/20040709-1.c fails since...

2019-08-16  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        PR tree-optimization/91109
        * lra-int.h (lra_need_for_scratch_reg_p): Declare.
        * lra.c (lra): Use lra_need_for_scratch_reg_p.
        * lra-spills.c (lra_need_for_scratch_reg_p): New function.

From-SVN: r274573

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 36e62908096931113730c79d2821134720aa3363..772c4e928164190a91ab9352256316291d92901a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2019-08-16  Bernd Edlinger  <bernd.edlinger@hotmail.de>
+
+       PR tree-optimization/91109
+       * lra-int.h (lra_need_for_scratch_reg_p): Declare.
+       * lra.c (lra): Use lra_need_for_scratch_reg_p.
+       * lra-spills.c (lra_need_for_scratch_reg_p): New function.
+
 2019-08-16  Uroš Bizjak  <ubizjak@gmail.com>
 
        * config/i386/mmx.md (mmxdoublemode): New mode attribute.

diff --git a/gcc/lra-int.h b/gcc/lra-int.h
index a87a51e47a94922e5778eb16e33490a0ed132e1b..77abb7b903e21888ea8fe16e26d10a516507d34f 100644 (file)
--- a/gcc/lra-int.h
+++ b/gcc/lra-int.h
@@ -396,6 +396,7 @@ extern bool lra_coalesce (void);
 
 /* lra-spills.c:  */
 
+extern bool lra_need_for_scratch_reg_p (void);
 extern bool lra_need_for_spills_p (void);
 extern void lra_spill (void);
 extern void lra_final_code_change (void);

diff --git a/gcc/lra-spills.c b/gcc/lra-spills.c
index c73d50131675c96d739ff9262c744be2c2ef58b2..a322da81544b24a9cc2c668d27c2382c30cc52fc 100644 (file)
--- a/gcc/lra-spills.c
+++ b/gcc/lra-spills.c
@@ -549,6 +549,19 @@ spill_pseudos (void)
     }
 }
 
+/* Return true if we need scratch reg assignments.  */
+bool
+lra_need_for_scratch_reg_p (void)
+{
+  int i; max_regno = max_reg_num ();
+
+  for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++)
+    if (lra_reg_info[i].nrefs != 0 && lra_get_regno_hard_regno (i) < 0
+       && lra_former_scratch_p (i))
+      return true;
+  return false;
+}
+
 /* Return true if we need to change some pseudos into memory.  */
 bool
 lra_need_for_spills_p (void)

diff --git a/gcc/lra.c b/gcc/lra.c
index d7593998f9709ee8bfaf688af739f72788292c7b..1f977448136ce905735f410850f994d8a1cedbff 100644 (file)
--- a/gcc/lra.c
+++ b/gcc/lra.c
@@ -2567,7 +2567,11 @@ lra (FILE *f)
          lra_create_live_ranges (lra_reg_spill_p, true);
          live_p = true;
          if (! lra_need_for_spills_p ())
-           break;
+           {
+             if (lra_need_for_scratch_reg_p ())
+               continue;
+             break;
+           }
        }
       lra_spill ();
       /* Assignment of stack slots changes elimination offsets for