diff options
| author | Richard Biener <rguenther@suse.de> | 2019-07-02 07:35:23 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-07-02 07:35:23 +0000 |
| commit | 14ec49a7537004633b7fff859178cbebd288ca1d (patch) | |
| tree | faab629040d4fb9ceae92d6baa27e2477c6c6542 /gcc/tree-ssa-scopedtables.c | |
| parent | 6d64cee84be39d688a0221246f24bba8e84a54b0 (diff) | |
| download | gcc-14ec49a7537004633b7fff859178cbebd288ca1d.zip gcc-14ec49a7537004633b7fff859178cbebd288ca1d.tar.gz gcc-14ec49a7537004633b7fff859178cbebd288ca1d.tar.bz2 | |
re PR tree-optimization/58483 (missing optimization opportunity for const std::vector compared to std::array)
2019-07-02 Richard Biener <rguenther@suse.de>
PR tree-optimization/58483
* tree-ssa-scopedtables.c (avail_expr_hash): Use OEP_ADDRESS_OF
for MEM_REF base hashing.
(equal_mem_array_ref_p): Likewise for base comparison.
* gcc.dg/tree-ssa/ssa-dom-cse-8.c: New testcase.
From-SVN: r272922
Diffstat (limited to 'gcc/tree-ssa-scopedtables.c')
| -rw-r--r-- | gcc/tree-ssa-scopedtables.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/tree-ssa-scopedtables.c b/gcc/tree-ssa-scopedtables.c index e08e24d..50413eb 100644 --- a/gcc/tree-ssa-scopedtables.c +++ b/gcc/tree-ssa-scopedtables.c @@ -494,7 +494,9 @@ avail_expr_hash (class expr_hash_elt *p) { enum tree_code code = MEM_REF; hstate.add_object (code); - inchash::add_expr (base, hstate); + inchash::add_expr (base, hstate, + TREE_CODE (base) == MEM_REF + ? OEP_ADDRESS_OF : 0); hstate.add_object (offset); hstate.add_object (size); return hstate.end (); @@ -540,7 +542,12 @@ equal_mem_array_ref_p (tree t0, tree t1) if (rev0 != rev1 || maybe_ne (sz0, sz1) || maybe_ne (off0, off1)) return false; - return operand_equal_p (base0, base1, 0); + return operand_equal_p (base0, base1, + (TREE_CODE (base0) == MEM_REF + || TREE_CODE (base0) == TARGET_MEM_REF) + && (TREE_CODE (base1) == MEM_REF + || TREE_CODE (base1) == TARGET_MEM_REF) + ? OEP_ADDRESS_OF : 0); } /* Compare two hashable_expr structures for equivalence. They are |