diff options
| author | Richard Biener <rguenther@suse.de> | 2014-05-07 14:19:14 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-05-07 14:19:14 +0000 |
| commit | 50f0aa20742add8e1a59154ce76f45c157142fe3 (patch) | |
| tree | a056046546fd39e638f07831fd0af58c4f918b06 /gcc/tree-ssa-alias.h | |
| parent | 2588652e1742e1cf473917d59505632b9ce47ffa (diff) | |
| download | gcc-50f0aa20742add8e1a59154ce76f45c157142fe3.zip gcc-50f0aa20742add8e1a59154ce76f45c157142fe3.tar.gz gcc-50f0aa20742add8e1a59154ce76f45c157142fe3.tar.bz2 | |
re PR tree-optimization/61034 (Optimizing takes too many passes)
2014-05-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/61034
* tree-ssa-alias.c (call_may_clobber_ref_p_1): Export.
(maybe_skip_until): Use translate to take into account
lattices when trying to do disambiguations.
(get_continuation_for_phi_1): Likewise.
(get_continuation_for_phi): Adjust for added translate
arguments.
(walk_non_aliased_vuses): Likewise.
* tree-ssa-alias.h (get_continuation_for_phi): Adjust
prototype.
(walk_non_aliased_vuses): Likewise.
(call_may_clobber_ref_p_1): Declare.
* tree-ssa-sccvn.c (vn_reference_lookup_3): Also
disambiguate against calls. Stop early if we are
only supposed to disambiguate.
* tree-ssa-pre.c (translate_vuse_through_block): Adjust.
* g++.dg/tree-ssa/pr61034.C: New testcase.
From-SVN: r210160
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index 3544aaf..c0b472b 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -110,13 +110,17 @@ extern bool stmt_may_clobber_global_p (gimple); extern bool stmt_may_clobber_ref_p (gimple, tree); extern bool stmt_may_clobber_ref_p_1 (gimple, ao_ref *); extern bool call_may_clobber_ref_p (gimple, tree); +extern bool call_may_clobber_ref_p_1 (gimple, ao_ref *); extern bool stmt_kills_ref_p (gimple, tree); extern tree get_continuation_for_phi (gimple, ao_ref *, - unsigned int *, bitmap *, bool); + unsigned int *, bitmap *, bool, + void *(*)(ao_ref *, tree, void *, bool), + void *); extern void *walk_non_aliased_vuses (ao_ref *, tree, void *(*)(ao_ref *, tree, unsigned int, void *), - void *(*)(ao_ref *, tree, void *), void *); + void *(*)(ao_ref *, tree, void *, bool), + void *); extern unsigned int walk_aliased_vdefs (ao_ref *, tree, bool (*)(ao_ref *, tree, void *), void *, bitmap *); |