I believe the comparison handling in adjust_bool_pattern is dead after no longer queueing them but there's a do_compare goto that's not obviously dead. So I'm looking for testcases - the code path would build a COND_EXPR with a comparison embedded.
Bootstrap and regtest running on x86_64-unknown-linux-gnu. * tree-vect-patterns.cc (adjust_bool_pattern): Assert we do not reach the do_compare case. --- gcc/tree-vect-patterns.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc index 302101fa6a0..48550bb2672 100644 --- a/gcc/tree-vect-patterns.cc +++ b/gcc/tree-vect-patterns.cc @@ -5585,6 +5585,7 @@ adjust_bool_pattern (vec_info *vinfo, tree var, tree out_type, default: do_compare: + gcc_unreachable (); gcc_assert (TREE_CODE_CLASS (rhs_code) == tcc_comparison); if (TREE_CODE (TREE_TYPE (rhs1)) != INTEGER_TYPE || !TYPE_UNSIGNED (TREE_TYPE (rhs1)) -- 2.43.0