diff options
| author | Richard Biener <rguenther@suse.de> | 2023-01-11 09:32:36 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-01-11 11:53:12 +0100 |
| commit | 445a48a226ffd530b37bcdc13b6bdca94ba2e122 (patch) | |
| tree | 329c6bacb8d70606446b65986cef97573de4e502 /gcc/function.h | |
| parent | 2ce074a7f858a1cd30ff68ec636dad9be218e04b (diff) | |
| download | gcc-445a48a226ffd530b37bcdc13b6bdca94ba2e122.zip gcc-445a48a226ffd530b37bcdc13b6bdca94ba2e122.tar.gz gcc-445a48a226ffd530b37bcdc13b6bdca94ba2e122.tar.bz2 | |
tree-optimization/108353 - copyprop iteration order
After recent improvements to copyprop to catch more constants
it shows that the current iteration order prefering forward
progress over iterating doesn't make much sense for an SSA
propagator. The following instead first iterates cycles which
makes sure to not start with optimistically constant PHIs out
of cycles that optimistically do not exit.
PR tree-optimization/108353
* tree-ssa-propagate.cc (cfg_blocks_back, ssa_edge_worklist_back):
Remove.
(add_ssa_edge): Simplify.
(add_control_edge): Likewise.
(ssa_prop_init): Likewise.
(ssa_prop_fini): Likewise.
(ssa_propagation_engine::ssa_propagate): Likewise.
* gcc.dg/tree-ssa/ssa-copyprop-3.c: New testcase.
Diffstat (limited to 'gcc/function.h')
0 files changed, 0 insertions, 0 deletions