[Bug target/124870] [15/16/17 regression] arm: MVE load/store with writeback intrinsics do not model memory accesses

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-16 branch has been updated by Christophe Lyon
<clyon@gcc.gnu.org>:

https://gcc.gnu.org/g:4da5ab8085e1f0c0e23c4c567eb99b84880e795c

commit r16-9028-g4da5ab8085e1f0c0e23c4c567eb99b84880e795c
Author: Christophe Lyon <christophe.lyon@arm.com>
Date:   Fri Apr 24 13:14:47 2026 +0000

    arm: Fix MVE load/store with writeback intrinsics [PR124870]

    These intrinsics (vldr*_gather_base_wb, vstr*_scatter_base_wb) lacked
    modelling of memory accesses corresponding to writeback: in this case,
    they both read and write memory.

    2024-04-24  Christophe Lyon  <christophe.lyon@arm.com>

            PR target/124870
            gcc/
            * config/arm/arm-mve-builtins-base.cc (vstrq_scatter_base_impl)
            (vldrq_gather_base_impl): Fix call_properties.

            gcc/testsuite/
            * gcc.target/arm/mve/intrinsics/pr124870.c: New test.

    (cherry picked from commit 90f2f90d2b5c3a2f156b649d717c7dad0ebf1bf0)