diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-02-24 09:36:16 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-02-24 09:36:16 +0100 |
| commit | 340fd4c9ce6f806f8943d01c89b1e03b314519e5 (patch) | |
| tree | f97d67ca1002d6df826f5c5fa36b27dee372f699 /gcc/expr.c | |
| parent | 47d3fdb242c7374a6fe3e4b0981a70767bc585a2 (diff) | |
| download | gcc-340fd4c9ce6f806f8943d01c89b1e03b314519e5.zip gcc-340fd4c9ce6f806f8943d01c89b1e03b314519e5.tar.gz gcc-340fd4c9ce6f806f8943d01c89b1e03b314519e5.tar.bz2 | |
re PR middle-end/69909 (wrong code with -Os and vectors @ x86_64)
PR middle-end/69909
* expr.c (expand_expr_real_1) <normal_inner_ref>: Avoid
set_mem_attributes if tem is SSA_NAME which got expanded
as a MEM.
* gcc.dg/torture/pr69909.c: New test.
Co-Authored-By: Richard Biener <rguenther@suse.de>
From-SVN: r233656
Diffstat (limited to 'gcc/expr.c')
| -rw-r--r-- | gcc/expr.c | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -10521,7 +10521,11 @@ expand_expr_real_1 (tree exp, rtx target, machine_mode tmode, if (op0 == orig_op0) op0 = copy_rtx (op0); - set_mem_attributes (op0, exp, 0); + /* Don't set memory attributes if the base expression is + SSA_NAME that got expanded as a MEM. In that case, we should + just honor its original memory attributes. */ + if (TREE_CODE (tem) != SSA_NAME || !MEM_P (orig_op0)) + set_mem_attributes (op0, exp, 0); if (REG_P (XEXP (op0, 0))) mark_reg_pointer (XEXP (op0, 0), MEM_ALIGN (op0)); |