From 0595d388a4b11459dc47c0bebf7b8895f8e9d331 Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Fri, 18 Jul 2003 18:23:30 +0000 Subject: [PATCH] combine.c (combinable_i3pat): Don't forbid occurrences of i2dest or i1dest in inner_dest if inner_dest is a mem. * combine.c (combinable_i3pat): Don't forbid occurrences of i2dest or i1dest in inner_dest if inner_dest is a mem. From-SVN: r69566 --- gcc/ChangeLog | 5 +++++ gcc/combine.c | 11 ++++++++--- 2 files changed, 13 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5aeacafee43..644da7bf323 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Fri Jul 18 15:22:28 2003 Alexandre Oliva + + * combine.c (combinable_i3pat): Don't forbid occurrences of + i2dest or i1dest in inner_dest if inner_dest is a mem. + Fri Jul 18 17:05:57 CEST 2003 Jan Hubicka * cgraph.c (cgraph_remove_node): Clear the hash table slot. diff --git a/gcc/combine.c b/gcc/combine.c index 5a752014873..883f504a50b 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -1301,9 +1301,14 @@ combinable_i3pat (rtx i3, rtx *loc, rtx i2dest, rtx i1dest, || GET_CODE (inner_dest) == ZERO_EXTRACT) inner_dest = XEXP (inner_dest, 0); - /* Check for the case where I3 modifies its output, as - discussed above. */ - if ((inner_dest != dest + /* Check for the case where I3 modifies its output, as discussed + above. We don't want to prevent pseudos from being combined + into the address of a MEM, so only prevent the combination if + i1 or i2 set the same MEM. */ + if ((inner_dest != dest && + (GET_CODE (inner_dest) != MEM + || rtx_equal_p (i2dest, inner_dest) + || (i1dest && rtx_equal_p (i1dest, inner_dest))) && (reg_overlap_mentioned_p (i2dest, inner_dest) || (i1dest && reg_overlap_mentioned_p (i1dest, inner_dest))))