[Bug tree-optimization/117086] [15 Regression] ICE in tree check: expected vector_type, have boolean_type in TYPE_VECTOR_SUBPARTS, at tree.h:4255

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117086

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |15.0
           Keywords|                            |needs-reduction

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Applying pattern match.pd:5713, gimple-match-9.cc:15362
Applying pattern match.pd:10489, gimple-match-9.cc:3970
gimple_simplified to _513 = VEC_COND_EXPR <mask__342.3367_293, 0, 1>;
if (_513 != 0)

so it looks like

 (simplify
  (op (vec_cond:s @0 @1 @2) @3)
  (if (TREE_CODE_CLASS (op) != tcc_comparison
       || types_match (type, TREE_TYPE (@1))
       || expand_vec_cond_expr_p (type, TREE_TYPE (@0), ERROR_MARK)
       || (optimize_vectors_before_lowering_p ()
           && !expand_vec_cond_expr_p (TREE_TYPE (@1),
                                       TREE_TYPE (@0), ERROR_MARK)))
   (vec_cond @0 (op! @1 @3) (op! @2 @3))))

goes wrong in the sense that expand_vec_cond_expr_p succeeds for scalar
'type'!?