]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-optimization/119960 - add validity checking to SLP scheduling
authorRichard Biener <rguenther@suse.de>
Tue, 29 Apr 2025 13:08:52 +0000 (15:08 +0200)
committerRichard Biener <rguenther@suse.de>
Fri, 6 Jun 2025 07:48:33 +0000 (09:48 +0200)
commit05ef04d644c1a460b3af266a7766001c93fe1a6a
tree724738087af22c36950a57311dca79daef4c7977
parent6bb316973249d460f4dae2c33a0aa5bc2928ef30
tree-optimization/119960 - add validity checking to SLP scheduling

The following adds checks that when we search for a vector stmt
insert location we arrive at one where all required operand defs
are dominating the insert location.  At the moment any such
failure only blows up during SSA verification.

There's the long-standing issue that we do not verify there
exists a valid schedule of the SLP graph from BB vectorization
into the existing CFG.  We do not have the ability to insert
vector stmts on the dominance frontier "end", nor to insert
LC PHIs that would be eventually required.

This should be done all differently, computing the schedule
during analysis and failing if we can't schedule.

PR tree-optimization/119960
* tree-vect-slp.cc (vect_schedule_slp_node): Sanity
check dominance check on operand defs.

(cherry picked from commit 5f44fcdfe18e72f2900d2757375843e88d32c535)
gcc/tree-vect-slp.cc