re PR rtl-optimization/70478 ([LRA] S/390: Performance regression - superfluous stack...

2017-04-11  Vladimir Makarov  <vmakarov@redhat.com>

	PR rtl-optimization/70478
	* lra-constraints.c (process_alt_operands): Check memory for
	disfavoring memory insn operand.

From-SVN: r246854

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e5b4c75f380d77aafac63bb9c4ef2e8c6db7c815..11304c8e9c3ba91f78caf4ddedbf53146e08d5c1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-04-11  Vladimir Makarov  <vmakarov@redhat.com>
+
+       PR rtl-optimization/70478
+       * lra-constraints.c (process_alt_operands): Check memory for
+       disfavoring memory insn operand.
+
 2017-04-11  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/80100

diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c
index 82b1ed0d403122dc58898d0e6ac678ff9ea4b725..c8bc9b9a66f3c47aa6b7cf34e1c8b96092490cf2 100644 (file)
--- a/gcc/lra-constraints.c
+++ b/gcc/lra-constraints.c
@@ -2722,12 +2722,14 @@ process_alt_operands (int only_alternative)
                    }
                }
 
-             /* When we use memory operand, the insn should read the
-                value from memory and even if we just wrote a value
-                into the memory it is costly in comparison with an
-                insn alternative which does not use memory
-                (e.g. register or immediate operand).  */
-             if (no_regs_p && offmemok)
+             /* When we use an operand requiring memory in given
+                alternative, the insn should write *and* read the
+                value to/from memory it is costly in comparison with
+                an insn alternative which does not use memory
+                (e.g. register or immediate operand).  We exclude
+                memory operand for such case as we can satisfy the
+                memory constraints by reloading address.  */
+             if (no_regs_p && offmemok && !MEM_P (op))
                {
                  if (lra_dump_file != NULL)
                    fprintf