> Am 14.05.2025 um 03:13 schrieb Andrew Pinski <quic_apin...@quicinc.com>:
>
> Since the merge of the tuples branch (r0-88576-g726a989a8b74bf), the
> if:
> ```
> if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)
> ```
> Will always be false so let's change it into an assert.
Ok
Richard
> gcc/ChangeLog:
>
> * tree-ssa-forwprop.cc (forward_propagate_into_gimple_cond): Assert
> that gimple_cond_code is always a comparison.
>
> Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
> ---
> gcc/tree-ssa-forwprop.cc | 5 ++---
> 1 file changed, 2 insertions(+), 3 deletions(-)
>
> diff --git a/gcc/tree-ssa-forwprop.cc b/gcc/tree-ssa-forwprop.cc
> index fafc4d6b77a..bd407ef8a69 100644
> --- a/gcc/tree-ssa-forwprop.cc
> +++ b/gcc/tree-ssa-forwprop.cc
> @@ -551,9 +551,8 @@ forward_propagate_into_gimple_cond (gcond *stmt)
> tree rhs1 = gimple_cond_lhs (stmt);
> tree rhs2 = gimple_cond_rhs (stmt);
>
> - /* We can do tree combining on SSA_NAME and comparison expressions. */
> - if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)
> - return 0;
> + /* GIMPLE_COND will always be a comparison. */
> + gcc_assert (TREE_CODE_CLASS (gimple_cond_code (stmt)) == tcc_comparison);
>
> tmp = forward_propagate_into_comparison_1 (stmt, code,
> boolean_type_node,
> --
> 2.43.0
>
