PR27736: Fix bootstrap fallout from PR25514
Richard Sandiford
richard@codesourcery.com
Tue May 23 13:44:00 GMT 2006
In my fix for PR 25514, I'd forgotten to handle the case where the
REG_EQUAL value is not constant, and itself refers to registers.
combine already checks whether the registers and memories mentioned in
the REG_EQUAL note are a subset of those mentioned in the insn itself;
the new code I added should only be used if the REG_DEAD register is
not in that subset.
I think the best way of doing that is to cache a copy of the new SET_SRC
as well as a pointer to the containing insn. It's unfortuante that we
have to create garbage rtl like this, but in the common case of a
constant REG_EQUAL note, the copy will be a no-op.
Bootstrapped & regression tested on x86_64-linux-gnu, where it fixes
the gcc.c-torture/execute/20040709-2.c execution failures introduced
by my original patch. Also tested on mips64-linux-gnu. I verified
that this fixed the hppa-linux-gnu ICE mentioned in PR27736 itself.
OK to install?
Richard
PR rtl-optimization/27736
* combine.c (replaced_rhs_value): New variable.
(combine_instructions): Set it.
(distribute_notes): When distributing a note in replaced_rhs_insn,
check whether the value was used in replaced_rhs_value.
Index: gcc/combine.c
===================================================================
--- gcc/combine.c (revision 113983)
+++ gcc/combine.c (working copy)
@@ -128,6 +128,11 @@ Software Foundation; either version 2, o
so modified, or null if none. */
static rtx replaced_rhs_insn;
+
+/* When REPLACED_RHS_INSN is nonnull, this is a copy of the new right
+ hand side. */
+
+static rtx replaced_rhs_value;
/* Vector mapping INSN_UIDs to cuids.
The cuids are like uids but increase monotonically always.
@@ -928,6 +933,7 @@ combine_instructions (rtx f, unsigned in
rtx orig = SET_SRC (set);
SET_SRC (set) = note;
replaced_rhs_insn = temp;
+ replaced_rhs_value = copy_rtx (note);
next = try_combine (insn, temp, NULL_RTX,
&new_direct_jump_p);
replaced_rhs_insn = NULL;
@@ -12122,7 +12128,9 @@ distribute_notes (rtx notes, rtx from_in
In both cases, we must search to see if we can find a previous
use of A and put the death note there. */
- if (from_insn && from_insn == replaced_rhs_insn)
+ if (from_insn
+ && from_insn == replaced_rhs_insn
+ && !reg_overlap_mentioned_p (XEXP (note, 0), replaced_rhs_value))
tem = from_insn;
else
{
More information about the Gcc-patches
mailing list