]> git.ipfire.org Git - thirdparty/gcc.git/commit
Preserve SSA info for more propagated copy
authorRichard Biener <rguenther@suse.de>
Sun, 30 Jun 2024 09:37:12 +0000 (11:37 +0200)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 1 Jul 2024 14:20:41 +0000 (16:20 +0200)
commit4d24159a1fcb15e1e28f46aa418de5e1ae384ff5
tree05bf2c87d7e9be344a3d43dc7773eca112b94133
parent7a65ab6b5f38d3018ffd456f278a9fd885487a27
Preserve SSA info for more propagated copy

Besides VN and copy-prop also CCP and VRP as well as forwprop
propagate out copies and thus it's worthwhile to try to preserve
range and points-to info there when possible.

Note that this also fixes the testcase from PR115701 but that's
because we do not actually intersect info but only copy info when
there was no info present.

* tree-ssa-forwprop.cc (fwprop_set_lattice_val): Preserve
SSA info.
* tree-ssa-propagate.cc
(substitute_and_fold_dom_walker::before_dom_children): Likewise.
gcc/tree-ssa-forwprop.cc
gcc/tree-ssa-propagate.cc