[Bug tree-optimization/105668] [13 Regression] ICE: in gimple_expand_vec_cond_expr, at gimple-isel.cc:281 with -O -ftracer -fno-tree-fre

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-05-20
                 CC|                            |rguenth at gcc dot gnu.org
   Target Milestone|---                         |13.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

    type <vector_type 0x7ffff6679540
        type <boolean_type 0x7ffff6679498 public TI

and there's no vcond_mask with V1TImode data and V1TImode mask.  veclower
doesn't touch the VEC_COND_EXPR but then it changes later so the condition is
defined
by a PHI node and no longer by a comparison.  As fallback we could try ISEL
to mask != 0 ? .. : .. which would probably solve this particular issue.

In the end it's also the target lacking symmetry in the provided patterns,
seemingly handling V1TImode only "half-way".