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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:c81543b3379fa11742d2178b87edbf1e72799d61

commit r15-7020-gc81543b3379fa11742d2178b87edbf1e72799d61
Author: Richard Biener <rguent...@suse.de>
Date:   Fri Jan 17 15:41:19 2025 +0100

    tree-optimization/118529 - ICE with condition vectorization

    On sparc we end up choosing vector(8) <signed-boolean:1> for the
    condition but vector(2) int for the value of a COND_EXPR but we
    fail to verify their shapes match and thus things go downhill.

    This is a missed-optimization on the pattern recognition side
    as well as unhandled vector decomposition in vectorizable_condition.
    The following plugs just the observed ICE for now.

            PR tree-optimization/118529
            * tree-vect-stmts.cc (vectorizable_condition): Check the
            shape of the vector and condition vector type are compatible.

            * gcc.target/sparc/pr118529.c: New testcase.

Reply via email to