diff options
| author | Richard Biener <rguenther@suse.de> | 2022-02-14 13:37:54 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-02-14 14:31:06 +0100 |
| commit | 0a1a3afb5fb36e2d10ad92bf788e16d837451571 (patch) | |
| tree | 664afa714502ef25af4cd14178dc70b457b38943 /gcc/tree-ssa.h | |
| parent | 164a761a9f4798dc69ecab80097807636dc17d61 (diff) | |
| download | gcc-0a1a3afb5fb36e2d10ad92bf788e16d837451571.zip gcc-0a1a3afb5fb36e2d10ad92bf788e16d837451571.tar.gz gcc-0a1a3afb5fb36e2d10ad92bf788e16d837451571.tar.bz2 | |
tree-optimization/104528 - free niter estimates after DSE
When DSE removes a trivially dead def we have to reset niter information
on loops since that might refer to it. The patch also adds verification
to make sure this does not happen.
2022-02-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/104528
* tree-ssa.h (find_released_ssa_name): Declare.
* tree-ssa.cc (find_released_ssa_name): Export.
* cfgloop.cc (verify_loop_structure): Look for released
SSA names in loops nb_iterations.
* tree-ssa-dse.cc (pass_dse::execute): Release number of iteration
estimates.
* gfortran.dg/pr104528.f: New testcase.
Diffstat (limited to 'gcc/tree-ssa.h')
| -rw-r--r-- | gcc/tree-ssa.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-ssa.h b/gcc/tree-ssa.h index 36ddea2..0085354 100644 --- a/gcc/tree-ssa.h +++ b/gcc/tree-ssa.h @@ -49,6 +49,7 @@ extern void init_tree_ssa (function *, int size = 0); extern void delete_tree_ssa (function *); extern bool tree_ssa_useless_type_conversion (tree); extern tree tree_ssa_strip_useless_type_conversions (tree); +extern tree find_released_ssa_name (tree *, int *, void *); extern bool ssa_defined_default_def_p (tree t); |