[Bug target/121294] [13/14 Backport] Incorrect optimisation of b16/32/64 forms of SVE permute intrinsics

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

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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Richard Sandiford
<rsand...@gcc.gnu.org>:

https://gcc.gnu.org/g:68368446bbcaffa001e8dce890a896c5342e3ce1

commit r14-11956-g68368446bbcaffa001e8dce890a896c5342e3ce1
Author: Richard Sandiford <richard.sandif...@arm.com>
Date:   Thu Aug 14 21:54:58 2025 +0100

    aarch64: Use VNx16BI for svrev_b* [PR121294]

    The previous patch for PR121294 handled svtrn1/2, svuzp1/2, and svzip1/2.
    This one extends it to handle svrev intrinsics, where the same kind of
    wrong code can be generated.

    gcc/
            PR target/121294
            * config/aarch64/aarch64.md (UNSPEC_REV_PRED): New unspec.
            * config/aarch64/aarch64-sve.md (@aarch64_sve_rev<mode>_acle)
            (*aarch64_sve_rev<mode>_acle): New patterns.
            * config/aarch64/aarch64-sve-builtins-base.cc
            (svrev_impl::expand): Use the new patterns for boolean svrev.

    gcc/testsuite/
            PR target/121294
            * gcc.target/aarch64/sve/acle/general/rev_2.c: New test.

    (cherry picked from commit 701193a7a6d3f3f345bf336e7ebc7d6fa1e0c5ac)