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-dce.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-dce.c')
| -rw-r--r-- | gcc/tree-ssa-dce.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index c091868..def6ae6 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -452,7 +452,7 @@ ref_may_be_aliased (tree ref) gcc_assert (TREE_CODE (ref) != WITH_SIZE_EXPR); while (handled_component_p (ref)) ref = TREE_OPERAND (ref, 0); - if (TREE_CODE (ref) == MEM_REF + if ((TREE_CODE (ref) == MEM_REF || TREE_CODE (ref) == TARGET_MEM_REF) && TREE_CODE (TREE_OPERAND (ref, 0)) == ADDR_EXPR) ref = TREE_OPERAND (TREE_OPERAND (ref, 0), 0); return !(DECL_P (ref) |