summaryrefslogtreecommitdiff
path: root/gcc/cse.c
diff options
context:
space:
mode:
authorkrebbel <krebbel@138bc75d-0d04-0410-961f-82ee72b054a4>2008-02-25 15:07:17 +0000
committerkrebbel <krebbel@138bc75d-0d04-0410-961f-82ee72b054a4>2008-02-25 15:07:17 +0000
commit5fe61d21f7d29781b7f64e44687913e4386668b5 (patch)
treefc21b35d3970def7cfb0d7c5ee657f66f97bd3bf /gcc/cse.c
parentcab0c61281d1a8af3eb8d967b7210fcf9b43dc10 (diff)
downloadgcc-5fe61d21f7d29781b7f64e44687913e4386668b5.tar.gz
2008-02-25 Andreas Krebbel <krebbel1@de.ibm.com>
PR target/35258 * cse.c (cse_insn): Avoid creation of overlapping MEMs. * alias.c (nonoverlapping_memrefs_p): Export for use in other modules. * alias.h (nonoverlapping_memrefs_p): Likewise. 2008-02-25 Andreas Krebbel <krebbel1@de.ibm.com> PR target/35258 * gcc.dg/pr35258.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132628 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cse.c')
-rw-r--r--gcc/cse.c17
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/cse.c b/gcc/cse.c
index f6660e4ff12..9f31e670966 100644
--- a/gcc/cse.c
+++ b/gcc/cse.c
@@ -4753,6 +4753,23 @@ cse_insn (rtx insn, rtx libcall_insn)
src_elt_cost = MAX_COST;
}
+ /* Avoid creation of overlapping memory moves. */
+ if (MEM_P (trial) && MEM_P (SET_DEST (sets[i].rtl)))
+ {
+ rtx src, dest;
+
+ /* BLKmode moves are not handled by cse anyway. */
+ if (GET_MODE (trial) == BLKmode)
+ break;
+
+ src = canon_rtx (trial);
+ dest = canon_rtx (SET_DEST (sets[i].rtl));
+
+ if (!MEM_P (src) || !MEM_P (dest)
+ || !nonoverlapping_memrefs_p (src, dest))
+ break;
+ }
+
/* We don't normally have an insn matching (set (pc) (pc)), so
check for this separately here. We will delete such an
insn below.