diff options
author | Richard Biener <rguenther@suse.de> | 2023-03-27 15:18:41 +0200 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2023-03-28 15:25:01 +0200 |
commit | 2b9d76c1af189b918a9970f471e6d2e2c08f7e7d (patch) | |
tree | 5685f17e15f19ac89f91cd869b89755a267a9717 /gcc/value-relation.h | |
parent | e70e36cbef4f01e7d32bafe17698c3bf3e4624b8 (diff) | |
download | gcc-2b9d76c1af189b918a9970f471e6d2e2c08f7e7d.zip gcc-2b9d76c1af189b918a9970f471e6d2e2c08f7e7d.tar.gz gcc-2b9d76c1af189b918a9970f471e6d2e2c08f7e7d.tar.bz2 |
tree-optimization/107087 - missed CCP after forwprop
When forwprop simplifies the CFG the 2nd order opportunities by
exposed degenerate PHIs are not realized. The following improves
this by properly tracking executable edges and thus handling this
for non-cyclic CFGs at least.
This avoids the bogus diagnostic reported for the testcase in this PR.
PR tree-optimization/107087
* tree-ssa-forwprop.cc (pass_forwprop::execute): Track
executable regions to avoid useless work and to better
propagate degenerate PHIs.
* g++.dg/pr107087.C: New testcase.
Diffstat (limited to 'gcc/value-relation.h')
0 files changed, 0 insertions, 0 deletions