diff options
| author | Richard Biener <rguenther@suse.de> | 2016-02-15 08:42:38 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-02-15 08:42:38 +0000 |
| commit | 1c48bff185df422d6f9f980fd02466606be2ccd4 (patch) | |
| tree | ced0a83a15fa56f6e17922648bde552b105142be /gcc/tree-ssa-sccvn.h | |
| parent | 9e074c0d6df7096f40fa0a046dfe6401c413d467 (diff) | |
| download | gcc-1c48bff185df422d6f9f980fd02466606be2ccd4.zip gcc-1c48bff185df422d6f9f980fd02466606be2ccd4.tar.gz gcc-1c48bff185df422d6f9f980fd02466606be2ccd4.tar.bz2 | |
re PR tree-optimization/69776 (Wrong optimization with aliasing)
2016-02-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/69776
* tree-ssa-sccvn.h (vn_reference_lookup): Adjust prototype.
* tree-ssa-sccvn.c (vn_reference_lookup): Add parameter to
indicate whether we can use TBAA to disambiguate against stores.
Use alias-set zero if not.
(visit_reference_op_store): Do not use TBAA when looking up
redundant stores.
* tree-ssa-pre.c (compute_avail): Use TBAA here.
(eliminate_dom_walker::before_dom_children): But not when looking
up redundant stores.
* gcc.dg/torture/pr69776.c: New testcase.
From-SVN: r233418
Diffstat (limited to 'gcc/tree-ssa-sccvn.h')
| -rw-r--r-- | gcc/tree-ssa-sccvn.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-sccvn.h b/gcc/tree-ssa-sccvn.h index e8e710b..a3f9fa2 100644 --- a/gcc/tree-ssa-sccvn.h +++ b/gcc/tree-ssa-sccvn.h @@ -216,7 +216,7 @@ bool ao_ref_init_from_vn_reference (ao_ref *, alias_set_type, tree, tree vn_reference_lookup_pieces (tree, alias_set_type, tree, vec<vn_reference_op_s> , vn_reference_t *, vn_lookup_kind); -tree vn_reference_lookup (tree, tree, vn_lookup_kind, vn_reference_t *); +tree vn_reference_lookup (tree, tree, vn_lookup_kind, vn_reference_t *, bool); void vn_reference_lookup_call (gcall *, vn_reference_t *, vn_reference_t); vn_reference_t vn_reference_insert_pieces (tree, alias_set_type, tree, vec<vn_reference_op_s> , |