diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-05-18 03:48:18 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-05-18 03:48:18 +0000 |
| commit | f473eb72a23bc82db0ee23e51fdd40b20417fb15 (patch) | |
| tree | 1ad77ed0fbaad974aac23c81dbb8249ba213341c /gcc/gcse.c | |
| parent | a2bd0c99b983cc804fca616eea3408b17426c978 (diff) | |
| download | gcc-f473eb72a23bc82db0ee23e51fdd40b20417fb15.tar.gz | |
* gcse.c (compute_ld_motion_mems): If a non-simple MEM is
found in a REG_EQUAL note, invalidate it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199049 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/gcse.c')
| -rw-r--r-- | gcc/gcse.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/gcse.c b/gcc/gcse.c index 07043f76a4d..e485985ba72 100644 --- a/gcc/gcse.c +++ b/gcc/gcse.c @@ -3894,6 +3894,8 @@ compute_ld_motion_mems (void) { rtx src = SET_SRC (PATTERN (insn)); rtx dest = SET_DEST (PATTERN (insn)); + rtx note = find_reg_equal_equiv_note (insn); + rtx src_eq; /* Check for a simple LOAD... */ if (MEM_P (src) && simple_mem (src)) @@ -3910,6 +3912,15 @@ compute_ld_motion_mems (void) 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 will block any movement we might do later. We only care about this exact pattern since those are the only |