Fix PR94185: Do not reuse insn alternative after changing memory subreg.

2020-03-16  Vladimir Makarov  <vmakarov@redhat.com>

	PR target/94185
	* lra-spills.c (remove_pseudos): Do not reuse insn alternative
	after changing memory subreg.

2020-03-16  Vladimir Makarov  <vmakarov@redhat.com>

	PR target/94185
	* g++.target/i386/pr94185.C: New test.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03ac0d439dac7cbd49ddd5f947045eb496125fe1..25a27f8070d4f8f32488359b1645a1d7290d026d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2020-03-16  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR target/94185
+       * lra-spills.c (remove_pseudos): Do not reuse insn alternative
+       after changing memory subreg.
+
 2020-03-16  Andre Vieira  <andre.simoesdiasvieira@arm.com>
             Srinath Parvathaneni  <srinath.parvathaneni@arm.com>
 

diff --git a/gcc/lra-spills.c b/gcc/lra-spills.c
index 01256e711bcab01a38a870032333edda868f9293..a4b955ac3d405a6f0c42bf4a60ef494236678ff3 100644 (file)
--- a/gcc/lra-spills.c
+++ b/gcc/lra-spills.c
@@ -427,7 +427,17 @@ remove_pseudos (rtx *loc, rtx_insn *insn)
          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);
+       {
+         alter_subreg (loc, false);
+         if (GET_CODE (*loc) == MEM)
+           {
+             lra_get_insn_recog_data (insn)->used_insn_alternative = -1;
+             if (lra_dump_file != NULL)
+               fprintf (lra_dump_file,
+                        "Memory subreg was simplified in in insn #%u\n",
+                        INSN_UID (insn));
+           }
+       }
       return res;
     }
   else if (code == REG && (i = REGNO (*loc)) >= FIRST_PSEUDO_REGISTER

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c3d6eccea0c30a5302e36d51881e34210502ba67..3b277cecac3b222602054530449c374625d99fec 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2020-03-16  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR target/94185
+       * g++.target/i386/pr94185.C: New test.
+
 2020-03-16  Richard Sandiford  <richard.sandiford@arm.com>
 
        * gcc.target/aarch64/sve/acle/general-c/sizeless-1.c: Add a test

diff --git a/gcc/testsuite/g++.target/i386/pr94185.C b/gcc/testsuite/g++.target/i386/pr94185.C
new file mode 100644 (file)
index 0000000..587b7ba
--- /dev/null
+++ b/gcc/testsuite/g++.target/i386/pr94185.C
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fPIE -fstack-protector-strong" } */
+
+struct a {
+  int b;
+  int c();
+  a() : b(c()) {}
+  ~a();
+  char *e();
+};
+struct f {
+  void g(int);
+};
+struct ar {
+  int au[256];
+  f h(int);
+} bb;
+a i();
+a j(int);
+long k(int, ar);
+int d;
+void l(char *, ar m, long n) {
+  switch (m.au[d])
+  case 0:
+    n &= 4294967295;
+  bb.h(0).g(n);
+}
+void o() {
+  ar bd;
+  a bh, bi, attrname = j(0) = i();
+  int be = k(0, bd);
+  l(attrname.e(), bd, be);
+}