tree-optimization/67196 - normalize use predicates earlier
authorRichard Biener <rguenther@suse.de>
Tue, 30 Aug 2022 09:47:49 +0000 (11:47 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 30 Aug 2022 11:14:33 +0000 (13:14 +0200)
commit61051ee5cfd59ee292984641d02caac85f6dfac3
treedce5070db0c79cf98cbdf42918ff60dc04b8b7a2
parent70b2e511fe4a55a0c3fc7538c86c8851babd585f
tree-optimization/67196 - normalize use predicates earlier

The following makes sure to have use predicates simplified and
normalized before doing uninit_analysis::overlap because that
otherwise cannot pick up all flag setting cases.  This fixes
half of the issue in PR67196 and conveniently resolves the
XFAIL in gcc.dg/uninit-pred-7_a.c.

PR tree-optimization/67196
* gimple-predicate-analysis.cc (uninit_analysis::is_use_guarded):
Simplify and normalize use prediates before first use.

* gcc.dg/uninit-pred-7_a.c: Un-XFAIL.
gcc/gimple-predicate-analysis.cc
gcc/testsuite/gcc.dg/uninit-pred-7_a.c