[Bug libstdc++/114750] New: converting load/store of simd fails compilation on ARM

[Bug libstdc++/114750] New: converting load/store of simd fails compilation on ARM

[mkretz at gcc dot gnu.org]

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

            Bug ID: 114750
           Summary: converting load/store of simd fails compilation on ARM
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mkretz at gcc dot gnu.org
  Target Milestone: ---

https://compiler-explorer.com/z/jh5YeqzEe

Testcase:

#include <experimental/simd>

namespace stdx = std::experimental;

void f(long double* ptr, double* dptr, float* fptr)
{
  stdx::simd<int> x;
  //stdx::fixed_size_simd<int, 3> x;
  x.copy_from(ptr, stdx::element_aligned);
  x.copy_to(dptr, stdx::element_aligned);
  x.copy_from(dptr, stdx::element_aligned);
  x.copy_to(fptr, stdx::element_aligned);
  x.copy_from(fptr, stdx::element_aligned);
  x.copy_to(ptr, stdx::element_aligned);
}

This fails when using 'std::experimental::parallelism_v2::__intrinsic_type<long
double, 16, void>' in the load and store implementations. The same failure can
occur for '__intrinsic_type<double, 16, void>' and '__intrinsic_type<float, 16,
void>'.

A condition, checking whether the type is actually vectorizable for the target
is missing.

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[mkretz at gcc dot gnu.org]

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

Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |mkretz at gcc dot gnu.org
   Target Milestone|---                         |14.0
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2024-04-17

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Matthias Kretz <mkretz@gcc.gnu.org>:

https://gcc.gnu.org/g:0fc7f3c6adc8543f55ec35b309016d9d9c4ddd35

commit r14-10001-g0fc7f3c6adc8543f55ec35b309016d9d9c4ddd35
Author: Matthias Kretz <m.kretz@gsi.de>
Date:   Wed Apr 17 09:11:25 2024 +0200

    libstdc++: Avoid ill-formed types on ARM

    This resolves failing tests in check-simd.

    Signed-off-by: Matthias Kretz <m.kretz@gsi.de>

    libstdc++-v3/ChangeLog:

            PR libstdc++/114750
            * include/experimental/bits/simd_builtin.h
            (_SimdImplBuiltin::_S_load, _S_store): Fall back to copying
            scalars if the memory type cannot be vectorized for the target.

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[mkretz at gcc dot gnu.org]

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

--- Comment #2 from Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> ---
Resolved on master. Still need to backport.

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|14.0                        |14.2

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 14.1 is being released, retargeting bugs to GCC 14.2.

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Matthias Kretz
<mkretz@gcc.gnu.org>:

https://gcc.gnu.org/g:4505045dadaa58b0f165479d038d8f0247aea8cc

commit r13-8709-g4505045dadaa58b0f165479d038d8f0247aea8cc
Author: Matthias Kretz <m.kretz@gsi.de>
Date:   Wed Apr 17 09:11:25 2024 +0200

    libstdc++: Avoid ill-formed types on ARM

    This resolves failing tests in check-simd.

    Signed-off-by: Matthias Kretz <m.kretz@gsi.de>

    libstdc++-v3/ChangeLog:

            PR libstdc++/114750
            * include/experimental/bits/simd_builtin.h
            (_SimdImplBuiltin::_S_load, _S_store): Fall back to copying
            scalars if the memory type cannot be vectorized for the target.

    (cherry picked from commit 0fc7f3c6adc8543f55ec35b309016d9d9c4ddd35)

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Matthias Kretz
<mkretz@gcc.gnu.org>:

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

commit r12-10426-gb3097e01cd5d32e9825b7b87dff12b3247bd9819
Author: Matthias Kretz <m.kretz@gsi.de>
Date:   Wed Apr 17 09:11:25 2024 +0200

    libstdc++: Avoid ill-formed types on ARM

    This resolves failing tests in check-simd.

    Signed-off-by: Matthias Kretz <m.kretz@gsi.de>

    libstdc++-v3/ChangeLog:

            PR libstdc++/114750
            * include/experimental/bits/simd_builtin.h
            (_SimdImplBuiltin::_S_load, _S_store): Fall back to copying
            scalars if the memory type cannot be vectorized for the target.

    (cherry picked from commit 0fc7f3c6adc8543f55ec35b309016d9d9c4ddd35)

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Matthias Kretz
<mkretz@gcc.gnu.org>:

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

commit r11-11431-gfb2f4a191cc74b6ab2899798db8a59a9b2a3f23f
Author: Matthias Kretz <m.kretz@gsi.de>
Date:   Wed Apr 17 09:11:25 2024 +0200

    libstdc++: Avoid ill-formed types on ARM

    This resolves failing tests in check-simd.

    Signed-off-by: Matthias Kretz <m.kretz@gsi.de>

    libstdc++-v3/ChangeLog:

            PR libstdc++/114750
            * include/experimental/bits/simd_builtin.h
            (_SimdImplBuiltin::_S_load, _S_store): Fall back to copying
            scalars if the memory type cannot be vectorized for the target.

    (cherry picked from commit 0fc7f3c6adc8543f55ec35b309016d9d9c4ddd35)

[Bug libstdc++/114750] converting load/store of simd fails compilation on ARM

[mkretz at gcc dot gnu.org]

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

Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #7 from Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> ---
Fixed on all branches.