Ensure PHI equivalencies do not dominate the argument edge.
authorAndrew MacLeod <amacleod@redhat.com>
Wed, 12 Apr 2023 17:10:55 +0000 (13:10 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Thu, 13 Apr 2023 18:12:04 +0000 (14:12 -0400)
commit9c2a5db997446a9438a3e01f5229dec3f78b09e7
tree9cc090d2104f2033d75fbcc21db9e3314a337e89
parent52bb22bb5e1f951c73b5cd43b0b3a423f67e5e7a
Ensure PHI equivalencies do not dominate the argument edge.

When we create an equivalency between a PHI definition and an argument,
ensure the definition does not dominate the incoming argument edge.

PR tree-optimization/108139
PR tree-optimization/109462
* gimple-range-cache.cc (ranger_cache::fill_block_cache): Remove
equivalency check for PHI nodes.
* gimple-range-fold.cc (fold_using_range::range_of_phi): Ensure def
does not dominate single-arg equivalency edges.
gcc/gimple-range-cache.cc
gcc/gimple-range-fold.cc