On 10/1/22 12:55, Bernhard Reutner-Fischer wrote:
On Fri, 30 Sep 2022 17:32:34 -0600
Jeff Law wrote:
+ /* This looks good from a CFG standpoint. Now look at the guts
+ of PRED. Basically we want to verify there are no PHI nodes
+ and no real statements. */
+ if (! gimple_seq_emp
On Fri, 30 Sep 2022 17:32:34 -0600
Jeff Law wrote:
> + /* This looks good from a CFG standpoint. Now look at the guts
> + of PRED. Basically we want to verify there are no PHI nodes
> + and no real statements. */
> + if (! gimple_seq_empty_p (phi_nodes (pred)))
> +return false;
While investigating a benchmark for optimization opportunities I came
across single block loop which either iterates precisely once or
forever. This is an interesting scenario as we can ignore the
infinite looping path and treat any PHI nodes as degenerates. So more
concretely let's consider
