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

Reply via email to