summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4>2015-09-25 21:06:08 +0000
committervmakarov <vmakarov@138bc75d-0d04-0410-961f-82ee72b054a4>2015-09-25 21:06:08 +0000
commite4b565815d00fe85471d93ab6d8d0a299f494b22 (patch)
tree05d88ee472de16186c599f76618fb953959d3e3b
parent754752e035fca30453a9eb9b61d47308685e359c (diff)
downloadgcc-e4b565815d00fe85471d93ab6d8d0a299f494b22.tar.gz
2015-09-25 Vladimir Makarov <vmakarov@redhat.com>
PR target/61578 * lra-constarints.c (match_reload): Check presence of the input pseudo in the output pseudo. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228153 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/lra-constraints.c6
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f102313372e..56206f468b3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-09-25 Vladimir Makarov <vmakarov@redhat.com>
+
+ PR target/61578
+ * lra-constarints.c (match_reload): Check presence of the input pseudo
+ in the output pseudo.
+
2015-09-25 Tobias Burnus <burnus@net-b.de>
* doc/invoke.texi (-fsanitize): Minor wording tweak.
diff --git a/gcc/lra-constraints.c b/gcc/lra-constraints.c
index fc8e43d66d9..c6afa7a94f5 100644
--- a/gcc/lra-constraints.c
+++ b/gcc/lra-constraints.c
@@ -945,6 +945,12 @@ match_reload (signed char out, signed char *ins, enum reg_class goal_class,
= (ins[1] < 0 && REG_P (in_rtx)
&& (int) REGNO (in_rtx) < lra_new_regno_start
&& find_regno_note (curr_insn, REG_DEAD, REGNO (in_rtx))
+ /* We can not use the same value if the pseudo is mentioned
+ in the output, e.g. as an address part in memory,
+ becuase output reload will actually extend the pseudo
+ liveness. We don't care about eliminable hard regs here
+ as we are interesting only in pseudos. */
+ && (out < 0 || regno_use_in (REGNO (in_rtx), out_rtx) == NULL_RTX)
? lra_create_new_reg (inmode, in_rtx, goal_class, "")
: lra_create_new_reg_with_unique_value (outmode, out_rtx,
goal_class, ""));