[Bug target/100270] New: _Generic can't distinguish VLS SVE vectors and GNU vectors

[Bug target/100270] New: _Generic can't distinguish VLS SVE vectors and GNU vectors

[rsandifo at gcc dot gnu.org]

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

            Bug ID: 100270
           Summary: _Generic can't distinguish VLS SVE vectors and GNU
                    vectors
           Product: gcc
           Version: 10.3.1
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rsandifo at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64*-*-*

Compiling the following test with -march=armv8.2-a+sve -msve-vector-bits=256:

---------------------------------------------------------------------------
#include <arm_sve.h>

typedef svint32_t vls_svint32_t __attribute__((arm_sve_vector_bits(256)));
typedef int32_t gnu_svint32_t __attribute__((vector_size(32)));

int
f (vls_svint32_t x)
{
  return _Generic(x, vls_svint32_t: 1, gnu_svint32_t: 2, default: -1);
}
---------------------------------------------------------------------------

gives:

a.c: In function ‘f’:
a.c:9:40: error: ‘_Generic’ specifies two compatible types
    9 |   return _Generic(x, vls_svint32_t: 1, gnu_svint32_t: 2, default: -1);
      |                                        ^~~~~~~~~~~~~
a.c:9:22: note: compatible type is here
    9 |   return _Generic(x, vls_svint32_t: 1, gnu_svint32_t: 2, default: -1);
      |                      ^~~~~~~~~~~~~
a.c:9:40: error: ‘_Generic’ selector matches multiple associations
    9 |   return _Generic(x, vls_svint32_t: 1, gnu_svint32_t: 2, default: -1);
      |                                        ^~~~~~~~~~~~~
a.c:9:22: note: other match is here
    9 |   return _Generic(x, vls_svint32_t: 1, gnu_svint32_t: 2, default: -1);
      |                      ^~~~~~~~~~~~~

This is because aarch64_comp_type_attributes needs to return
false for this combination of types.

[Bug target/100270] _Generic can't distinguish VLS SVE vectors and GNU vectors

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rsandifo at gcc dot gnu.org
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-04-26
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Working on a patch.

[Bug target/100270] _Generic can't distinguish VLS SVE vectors and GNU vectors

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Sandiford <rsandifo@gcc.gnu.org>:

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

commit r12-147-g4cea5b8cb715e40e10174e6de405f26202fa3d6a
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Tue Apr 27 12:18:03 2021 +0100

    aarch64: Handle SVE attributes in comp_type_attributes [PR100270]

    Even though "SVE type" and "SVE sizeless type" are marked as
    affecting type identity, the middle end doesn't truly believe
    it unless we also handle them in comp_type_attributes.

    gcc/
            PR target/100270
            * config/aarch64/aarch64.c (aarch64_comp_type_attributes): Handle
            SVE attributes.

    gcc/testsuite/
            PR target/100270
            * gcc.target/aarch64/sve/acle/general-c/pr100270_1.c: New test.
            * gcc.target/aarch64/sve/acle/general-c/sizeless-2.c: Change
            expected error message when subtracting pointers to different
            vector types.  Expect warnings when mixing them elsewhere.
            * gcc.target/aarch64/sve/acle/general/attributes_7.c: Remove
            XFAILs.  Tweak error messages for some cases.

[Bug target/100270] [10/11 Backport] _Generic can't distinguish VLS SVE vectors and GNU vectors

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.4

[Bug target/100270] [10/11 Backport] _Generic can't distinguish VLS SVE vectors and GNU vectors

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Sandiford
<rsandifo@gcc.gnu.org>:

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

commit r11-8322-gdfaa29b5441689ce05e3c09012d3afe269770e94
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Thu Apr 29 09:27:51 2021 +0100

    aarch64: Handle SVE attributes in comp_type_attributes [PR100270]

    Even though "SVE type" and "SVE sizeless type" are marked as
    affecting type identity, the middle end doesn't truly believe
    it unless we also handle them in comp_type_attributes.

    gcc/
            PR target/100270
            * config/aarch64/aarch64.c (aarch64_comp_type_attributes): Handle
            SVE attributes.

    gcc/testsuite/
            PR target/100270
            * gcc.target/aarch64/sve/acle/general-c/pr100270_1.c: New test.
            * gcc.target/aarch64/sve/acle/general-c/sizeless-2.c: Change
            expected error message when subtracting pointers to different
            vector types.  Expect warnings when mixing them elsewhere.
            * gcc.target/aarch64/sve/acle/general/attributes_7.c: Remove
            XFAILs.  Tweak error messages for some cases.

    (cherry picked from commit 4cea5b8cb715e40e10174e6de405f26202fa3d6a)

[Bug target/100270] [10 Backport] _Generic can't distinguish VLS SVE vectors and GNU vectors

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug target/100270] [10 Backport] _Generic can't distinguish VLS SVE vectors and GNU vectors

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |10.5.0
   Target Milestone|10.5                        |11.2
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed in GCC 11.