git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gcse.c (compute_ld_motion_mems): If a non-simple MEM is found in a REG_EQUAL note, invalidate it. 

* gcse.c (compute_ld_motion_mems): If a non-simple MEM is
       found in a REG_EQUAL note, invalidate it.

From-SVN: r199049
This commit is contained in:
Julian Brown 2013-05-18 03:48:18 +00:00 committed by Jeff Law
parent 933f507d1f
commit 2df013f3cd
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2013-05-17 Julian Brown <julian@codesourcery.com>
* gcse.c (compute_ld_motion_mems): If a non-simple MEM is
found in a REG_EQUAL note, invalidate it.
2013-05-17 Easwaran Raman <eraman@google.com> 2013-05-17 Easwaran Raman <eraman@google.com>
* tree-ssa-reassoc.c (find_insert_point): New function. * tree-ssa-reassoc.c (find_insert_point): New function.

11
gcc/gcse.c
View File

@ -3894,6 +3894,8 @@ compute_ld_motion_mems (void)
{ {
rtx src = SET_SRC (PATTERN (insn)); rtx src = SET_SRC (PATTERN (insn));
rtx dest = SET_DEST (PATTERN (insn)); rtx dest = SET_DEST (PATTERN (insn));
rtx note = find_reg_equal_equiv_note (insn);
rtx src_eq;
/* Check for a simple LOAD... */ /* Check for a simple LOAD... */
if (MEM_P (src) && simple_mem (src)) if (MEM_P (src) && simple_mem (src))
@ -3910,6 +3912,15 @@ compute_ld_motion_mems (void)
invalidate_any_buried_refs (src); invalidate_any_buried_refs (src);
} }
if (note != 0 && REG_NOTE_KIND (note) == REG_EQUAL)
src_eq = XEXP (note, 0);
else
src_eq = NULL_RTX;
if (src_eq != NULL_RTX
&& !(MEM_P (src_eq) && simple_mem (src_eq)))
invalidate_any_buried_refs (src_eq);
/* Check for stores. Don't worry about aliased ones, they /* Check for stores. Don't worry about aliased ones, they
will block any movement we might do later. We only care will block any movement we might do later. We only care
about this exact pattern since those are the only about this exact pattern since those are the only