]> git.ipfire.org Git - thirdparty/gcc.git/commit
Speedup path discovery in predicate::use_cannot_happen
authorRichard Biener <rguenther@suse.de>
Tue, 23 Aug 2022 12:05:34 +0000 (14:05 +0200)
committerRichard Biener <rguenther@suse.de>
Wed, 24 Aug 2022 06:47:23 +0000 (08:47 +0200)
commitb6864f4ee87fb56299fc82e1e0ced127b747d87a
treed48a187a5058d81a73ec4aa53301bfd213fff3fb
parent82d46ad79e79394f374bc0ddb7591d166b0b61eb
Speedup path discovery in predicate::use_cannot_happen

The following reverts a hunk from r8-5789-g11ef0b22d68cd1 that
made compute_control_dep_chain start from function entry rather
than the immediate dominator of the source block of the edge with
the undefined value on the PHI node.  Reverting at that point
does not reveal any testsuite FAIL, in particular the added
testcase still passes.  The following adjusts this to the other
function that computes predicates that hold on the PHI incoming
edges with undefined values, predicate::init_from_phi_def, which
starts at the immediate dominator of the PHI.  That's much less
likely to run into the CFG walking limit.

* gimple-predicate-analysis.cc (predicate::use_cannot_happen):
Start the compute_control_dep_chain walk from the immediate
dominator of the PHI.
gcc/gimple-predicate-analysis.cc