diff options
| author | Richard Biener <rguenther@suse.de> | 2021-05-19 12:36:19 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-05-19 14:53:50 +0200 |
| commit | 35a16e4b38eb9faf212de9814f17a5215fa5538a (patch) | |
| tree | 066e20b1a46a20cc5decd53bed51140dbfac3fa8 /gcc/tree-ssa.c | |
| parent | 2e6ad1ba532fe684633edac766c598be19ad3b59 (diff) | |
| download | gcc-35a16e4b38eb9faf212de9814f17a5215fa5538a.zip gcc-35a16e4b38eb9faf212de9814f17a5215fa5538a.tar.gz gcc-35a16e4b38eb9faf212de9814f17a5215fa5538a.tar.bz2 | |
Avoid marking TARGET_MEM_REF bases addressable
The following does no longer mark TARGET_MEM_REF bases addressable,
mimicing MEM_REFs beahvior here. In contrast to the latter,
TARGET_MEM_REF RTL expansion expects to always operate on memory
though, so make sure we expand them so.
2021-05-19 Richard Biener <rguenther@suse.de>
* cfgexpand.c (discover_nonconstant_array_refs_r): Make
sure TARGET_MEM_REF bases are expanded as memory.
* tree-ssa-operands.c (operands_scanner::get_tmr_operands):
Do not mark TARGET_MEM_REF bases addressable.
* tree-ssa.c (non_rewritable_mem_ref_base): Handle
TARGET_MEM_REF bases as never rewritable.
* gimple-walk.c (walk_stmt_load_store_addr_ops): Do not
walk TARGET_MEM_REF bases as address-takens.
* tree-ssa-dce.c (ref_may_be_aliased): Handle TARGET_MEM_REF.
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index cf54c89..4cc400d 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1494,6 +1494,16 @@ non_rewritable_mem_ref_base (tree ref) return decl; } + /* We cannot rewrite TARGET_MEM_REFs. */ + if (TREE_CODE (base) == TARGET_MEM_REF + && TREE_CODE (TREE_OPERAND (base, 0)) == ADDR_EXPR) + { + tree decl = TREE_OPERAND (TREE_OPERAND (base, 0), 0); + if (! DECL_P (decl)) + return NULL_TREE; + return decl; + } + return NULL_TREE; } |