[Bug target/126096] ICE while folding predicate-as-counter svwhilelt variant

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-16 branch has been updated by Alice Carlotti
<acarlo...@gcc.gnu.org>:

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

commit r16-9738-gbb120923cbe548209106264d588c3e74cd882278
Author: Julio Sotoriva De Bastiani <julio.sotorivadebasti...@arm.com>
Date:   Tue Sep 1 10:22:05 2026 +0000

    aarch64: Fix folding for svwhilel*_c* builtins [PR126096]

    This fixes an ICE that occurred when trying to fold svwhilelt and
    svwhilele predicate-as-counter builtins as if they were
    predicate-as-mask builtins.

    gcc/ChangeLog:

            PR target/126096
            * config/aarch64/aarch64-sve-builtins.cc
            (gimple_folder::fold_to_pfalse): Handle svcount_t.
            * config/aarch64/aarch64-sve-builtins-base.cc
            (svpfalse_impl::fold): Handle svcount_t.
            (svwhilelx_impl::fold_type): Punt for non-pfalse svcount_t.

    gcc/testsuite/ChangeLog:

            PR target/126096
            * gcc.target/aarch64/sve2/acle/general/whilele_1.c: New test.
            * gcc.target/aarch64/sve2/acle/general/whilelt_1.c: New test.