> -----Original Message-----
> From: Tejas Belagod <[email protected]>
> Sent: 04 November 2025 12:28
> To: [email protected]
> Cc: Tejas Belagod <[email protected]>; Tamar Christina
> <[email protected]>; [email protected]; [email protected]
> Subject: [PATCH v4 2/3] AArch64: Update existing test with svbool_t
> operations
>
> Update existing compile test with tests to cover C/C++ operations on svbool_t
> type objects.
>
> gcc/testsuite/ChangeLog:
>
> * g++.dg/ext/sve-sizeless-1.C: Add new tests.
> * g++.dg/ext/sve-sizeless-2.C: Add new tests.
> * g++.target/aarch64/sve/acle/general-c++/gnu_vectors_1.C: Add
> new tests.
> * g++.target/aarch64/sve/acle/general-c++/gnu_vectors_2.C: Add
> new tests.
> * gcc.target/aarch64/sve/acle/general-c/gnu_vectors_1.c: Add new
> tests.
> * gcc.target/aarch64/sve/acle/general-c/gnu_vectors_2.c: Add new
> tests.
> * gcc.target/aarch64/sve/acle/general-c/sizeless-1.c: Add new tests.
> * gcc.target/aarch64/sve/acle/general-c/sizeless-2.c : Add new tests.
> ---
> gcc/testsuite/g++.dg/ext/sve-sizeless-1.C | 10 ++
> gcc/testsuite/g++.dg/ext/sve-sizeless-2.C | 21 +++
> .../sve/acle/general-c++/gnu_vectors_1.C | 133 +++++++++++++++++-
> .../sve/acle/general-c++/gnu_vectors_2.C | 133 +++++++++++++++++-
> .../sve/acle/general-c/gnu_vectors_1.c | 128 ++++++++++++++++-
> .../sve/acle/general-c/gnu_vectors_2.c | 128 ++++++++++++++++-
> .../aarch64/sve/acle/general-c/sizeless-1.c | 14 +-
> .../aarch64/sve/acle/general-c/sizeless-2.c | 32 +++++
> 8 files changed, 590 insertions(+), 9 deletions(-)
>
> diff --git a/gcc/testsuite/g++.dg/ext/sve-sizeless-1.C
> b/gcc/testsuite/g++.dg/ext/sve-sizeless-1.C
> index 37bcec1efb9..d06d9f74bdc 100644
> --- a/gcc/testsuite/g++.dg/ext/sve-sizeless-1.C
> +++ b/gcc/testsuite/g++.dg/ext/sve-sizeless-1.C
> @@ -173,6 +173,16 @@ statements (int n)
> svint32_t init_sve_vc8 = { 0, 1, 2, 3, 4, 5 }; // { dg-error {too many
> initializers
> for 'svint32_t'} }
> svint32_t init_sve_vc9 = { 0, bar (), 2, 3, 4, n }; // { dg-error {too many
> initializers for 'svint32_t'} }
>
> + svbool_t init_sve_vb1 = { 0, -1 };
> + svbool_t init_sve_vb2 = { 0, bar () }; // { dg-warning {narrowing
> conversion}
> "" { target c++11 } }
> + svbool_t init_sve_vb3 = { bar (), n }; // { dg-warning {narrowing
> conversion}
> "" { target c++11 } }
> + svbool_t init_sve_vb4 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0 };
> + svbool_t init_sve_vb5 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, bar
> (), 0, 0 }; //
> { dg-warning {narrowing conversion} "" { target c++11 } }
> + svbool_t init_sve_vb6 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, -1 }; // {
> dg-error {too many initializers for 'svbool_t'} }
> + svbool_t init_sve_vb7 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar () };
> // { dg-error {too many initializers for 'svbool_t'} }
> + svbool_t init_sve_vb8 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar (), -
> 1 }; // { dg-error {too many initializers for 'svbool_t'} }
> + svbool_t init_sve_vb9 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar (), n
> }; // { dg-error {too many initializers for 'svbool_t'} }
> +
> // Constructor calls.
>
> (0, svint8_t ());
> diff --git a/gcc/testsuite/g++.dg/ext/sve-sizeless-2.C
> b/gcc/testsuite/g++.dg/ext/sve-sizeless-2.C
> index 3243a17f606..04ae5bd50af 100644
> --- a/gcc/testsuite/g++.dg/ext/sve-sizeless-2.C
> +++ b/gcc/testsuite/g++.dg/ext/sve-sizeless-2.C
> @@ -173,6 +173,27 @@ statements (int n)
> svint32_t init_sve_vc8 = { 0, bar (), 2, 3, 4, n, 5, 6, 7, 8, 9 }; // {
> dg-error {too
> many initializers for 'svint32_t'} }
> svint32_t init_sve_vc9 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }; // { dg-error
> {too many
> initializers for 'svint32_t'} }
>
> + svbool_t init_sve_vb1 = { 0, -1 };
> + svbool_t init_sve_vb2 = { 0, bar () }; // { dg-warning {narrowing
> conversion}
> "" { target c++11 } }
> + svbool_t init_sve_vb3 = { bar (), n }; // { dg-warning {narrowing
> conversion}
> "" { target c++11 } }
> + svbool_t init_sve_vb4 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
> + svbool_t init_sve_vb5 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, bar (), 0, 0, 0, 0, 0, 0,
> // { dg-
> warning {narrowing conversion} "" { target c++11 } }
> + 0, 0 };
> + svbool_t init_sve_vb6 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + 0 }; // { dg-error {too many initializers for
> 'svbool_t'}
> }
> + svbool_t init_sve_vb7 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar () }; // { dg-error {too many initializers for
> 'svbool_t'} }
> + svbool_t init_sve_vb8 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar (), -1 }; // { dg-error {too many initializers
> for
> 'svbool_t'} }
> + svbool_t init_sve_vb9 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar (), n }; // { dg-error {too many initializers
> for
> 'svbool_t'} }
> +
> // Constructor calls.
>
> (0, svint8_t ());
> diff --git a/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_1.C b/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_1.C
> index cdd48cbc454..83d63e36a91 100644
> --- a/gcc/testsuite/g++.target/aarch64/sve/acle/general-c++/gnu_vectors_1.C
> +++ b/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_1.C
> @@ -5,9 +5,13 @@
> typedef uint8_t gnu_uint8_t __attribute__ ((vector_size (32)));
> typedef int8_t gnu_int8_t __attribute__ ((vector_size (32)));
>
> +typedef int32_t gnu128_int32_t __attribute__ ((vector_size (128)));
> +typedef int32_t gnu32_int32_t __attribute__ ((vector_size (32)));
> +
> void
> -f (svuint8_t sve_u1, svint8_t sve_s1,
> - gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, int n, unsigned char uc)
> +f (svuint8_t sve_u1, svint8_t sve_s1, svbool_t sve_b1, svbool_t sve_b2,
> + gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, gnu128_int32_t gnu128_s1,
> + int n, unsigned char uc)
> {
> // Initialization
>
> @@ -56,6 +60,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_uint8_t init_gnu_u20 (sve_s1); // { dg-error {cannot convert 'svint8_t'
> to 'gnu_uint8_t'[^\n]* in initialization} }
> gnu_uint8_t init_gnu_u21 (gnu_s1); // { dg-error {cannot convert
> 'gnu_int8_t'[^\n]* to 'gnu_uint8_t'[^\n]* in initialization} }
>
> + // Boolean inits.
> + svbool_t init_sve_b1 = 0; // { dg-error {cannot convert 'int' to
> 'svbool_t'} }
> + svbool_t init_sve_b2 = {};
> + svbool_t init_sve_b3 = { sve_b1 };
> + svbool_t init_sve_b4 = { gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'signed char:1'} }
> + svbool_t init_sve_b5 = { sve_s1 }; // { dg-error {cannot convert
> 'svint8_t' to
> 'signed char:1'} }
> + svbool_t init_sve_b6 = { gnu_s1 }; // { dg-error {cannot convert
> 'gnu_int8_t'[^\n]* to 'signed char:1'} }
> + svbool_t init_sve_b7 = { 0 };
> +
> + svbool_t init_sve_b8 = { sve_u1, sve_u1 }; // { dg-error {cannot convert
> 'svuint8_t' to 'signed char:1'} }
> + svbool_t init_sve_b9 = { gnu_u1, gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'signed char:1'} }
> + init_gnu_u8 = { sve_b1 }; // { dg-error {cannot convert '<brace-enclosed
> initializer list>' to 'gnu_uint8_t'[^\n]*} }
> + init_gnu_u8 = { sve_b1, sve_b1 }; // { dg-error {cannot convert '<brace-
> enclosed initializer list>' to 'gnu_uint8_t'[^\n]*} }
> +
> // Compound literals
>
> (svuint8_t) {};
> @@ -76,6 +94,17 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) { sve_u1, sve_u1 }; // { dg-error {cannot convert
> 'svuint8_t' to
> 'unsigned char' in initialization} }
> (gnu_uint8_t) { gnu_u1, gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'unsigned char' in initialization} }
>
> + // Boolean compound literals.
> +
> + (svbool_t) {};
> + (svbool_t) { 0 };
> + (svbool_t) { sve_b1 };
> + (svbool_t) { gnu_u1 }; // { dg-error {cannot convert 'gnu_uint8_t'[^\n]* to
> 'signed char:1'} }
> + (svbool_t) { sve_s1 }; // { dg-error {cannot convert 'svint8_t' to 'signed
> char:1'} }
> + (svbool_t) { sve_u1 }; // { dg-error {cannot convert 'svuint8_t' to 'signed
> char:1'} }
> + (svbool_t) { gnu_s1 }; // { dg-error {cannot convert 'gnu_int8_t'[^\n]* to
> 'signed char:1'} }
> + (gnu_uint8_t) { sve_b1 }; // { dg-error {cannot convert 'svbool_t' to
> 'unsigned char'} }
> +
Patch is OK, but one question,
How come the Boolean to uint8_t conversion uses the svbool_t type but the
conversion to svbool_t shows the underlying type instead? signed char:1?
Thanks,
Tamar
> // Assignment
>
> sve_u1 = 0; // { dg-error {cannot convert 'int' to 'svuint8_t' in
> assignment} }
> @@ -90,6 +119,14 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 = sve_s1; // { dg-error {cannot convert 'svint8_t' to
> 'gnu_uint8_t'[^\n]* in assignment} }
> gnu_u1 = gnu_s1; // { dg-error {cannot convert 'gnu_int8_t'[^\n]* to
> 'gnu_uint8_t'[^\n]* in assignment} }
>
> + // Boolean Assignments.
> +
> + sve_b1 = 0; // { dg-error {cannot convert 'int' to 'svbool_t'} }
> + sve_b1 = sve_b1;
> + sve_b1 = sve_s1; // { dg-error {cannot convert 'svint8_t' to 'svbool_t'} }
> + sve_b1 = gnu_s1; // { dg-error {cannot convert 'gnu_int8_t'[^\n]* to
> 'svbool_t'} }
> + gnu_u1 = sve_b1; // { dg-error {cannot convert 'svbool_t' to
> 'gnu_uint8_t'} }
> +
> // Casts
>
> (void) sve_u1;
> @@ -112,6 +149,17 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) sve_s1;
> (gnu_uint8_t) gnu_s1;
>
> + // Boolean casts.
> + (void) sve_b1;
> + (svbool_t) sve_b1;
> + (svbool_t) gnu_u1; // { dg-error {cannot convert a value of type
> 'gnu_uint8_t'[^\n]* to vector type 'svbool_t' which has different size} }
> + (svbool_t) sve_u1; // { dg-error {cannot convert a value of type
> 'svuint8_t'
> to vector type 'svbool_t' which has different size} }
> + (svbool_t) 0;
> + (svbool_t) n;
> + (svint8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t' to
> vector type 'svint8_t' which has different size} }
> + (gnu_uint8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t' to vector type 'gnu_uint8_t'[^\n]* which has different size} }
> + (gnu_int8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t'
> to vector type 'gnu_int8_t'[^\n]* which has different size} }
> +
> // Vector indexing.
>
> sve_u1[0];
> @@ -147,6 +195,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1++;
> gnu_u1--;
>
> + // Boolean unary ops.
> +
> + +sve_b1;
> + -sve_b1; // { dg-error {negation operation not permitted} }
> + ~sve_b1;
> + !sve_b1;
> + *sve_b1; // { dg-error {invalid type argument of unary '\*'} }
> + __real sve_b1; // { dg-error {wrong type argument to __real} }
> + __imag sve_b1; // { dg-error {wrong type argument to __imag} }
> + ++sve_b1; // { dg-error {not permitted} }
> + --sve_b1; // { dg-error {not permitted} }
> + sve_b1++; // { dg-error {not permitted} }
> + sve_b1--; // { dg-error {not permitted} }
> +
> // Vector-vector binary arithmetic.
>
> sve_u1 + sve_u1;
> @@ -169,6 +231,27 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> sve_u1 && sve_u1;
> sve_u1 || sve_u1;
>
> + // Boolean vector-vector binary arithmetic.
> +
> + sve_b1 + sve_b1; // { dg-error {not permitted} }
> + sve_b1 - sve_b1; // { dg-error {not permitted} }
> + sve_b1 * sve_b1; // { dg-error {not permitted} }
> + sve_b1 / sve_b1; // { dg-error {not permitted} }
> + sve_b1 % sve_b1; // { dg-error {invalid operands} }
> + sve_b1 & sve_b1;
> + sve_b1 | sve_b1;
> + sve_b1 ^ sve_b1;
> + sve_b1 == sve_b1;
> + sve_b1 != sve_b1;
> + sve_b1 <= sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 < sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 > sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 >= sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 << sve_b1; // { dg-error {not permitted} }
> + sve_b1 >> sve_b1; // { dg-error {not permitted} }
> + sve_b1 && sve_b1;
> + sve_b1 || sve_b1;
> +
> sve_u1 + gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> sve_u1 - gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> sve_u1 * gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> @@ -456,6 +539,25 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 ? gnu_u1 : uc;
> gnu_u1 ? uc : gnu_u1;
>
> + // Boolean conditional expressions.
> +
> + uc ? sve_b1 : sve_b2;
> + sve_b1 ? sve_b1 : sve_b2;
> +
> + sve_b1 ? sve_u1 : sve_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? sve_s1 : sve_s1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_u1 : sve_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? sve_u1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_u1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_s1 : gnu_s1; // { dg-error {incompatible vector types in
> conditional expression} }
> +
> + sve_u1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_s1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_s1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? gnu_u1 : sve_b1; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? sve_b1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> +
> // Vector built-ins.
>
> __builtin_shuffle (sve_u1, sve_u1, sve_u1);
> @@ -469,6 +571,33 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> __builtin_convertvector (sve_u1, gnu_uint8_t);
> __builtin_convertvector (gnu_u1, gnu_uint8_t);
>
> + // Boolean vector built-ins.
> +
> + __builtin_shuffle (sve_b1, sve_b1, sve_s1);
> + __builtin_shuffle (sve_b1, sve_b1, sve_u1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_s1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_u1);
> +
> + __builtin_shuffle (sve_b1, gnu_u1, gnu_u1); // { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} }
> + __builtin_shuffle (gnu_u1, sve_b1, gnu_u1); // { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} }
> +
> + __builtin_convertvector (sve_b1, svint8_t);
> + __builtin_convertvector (sve_b1, svuint8_t);
> + __builtin_convertvector (sve_b1, gnu_int8_t);
> + __builtin_convertvector (sve_b1, gnu_uint8_t);
> +
> + __builtin_convertvector (sve_s1, svbool_t);
> + __builtin_convertvector (gnu_s1, svbool_t);
> + __builtin_convertvector (sve_u1, svbool_t);
> + __builtin_convertvector (gnu_u1, svbool_t);
> +
> + __builtin_convertvector (sve_b1, svint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, svuint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, gnu32_int32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> +
> + __builtin_convertvector (sve_b1, gnu128_int32_t);
> + __builtin_convertvector (gnu128_s1, svbool_t);
> +
> // Type queries.
>
> static_assert(__is_literal_type(svuint8_t));
> diff --git a/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_2.C b/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_2.C
> index 587d28d2363..fd150199225 100644
> --- a/gcc/testsuite/g++.target/aarch64/sve/acle/general-c++/gnu_vectors_2.C
> +++ b/gcc/testsuite/g++.target/aarch64/sve/acle/general-
> c++/gnu_vectors_2.C
> @@ -5,9 +5,13 @@
> typedef uint8_t gnu_uint8_t __attribute__ ((vector_size (32)));
> typedef int8_t gnu_int8_t __attribute__ ((vector_size (32)));
>
> +typedef int32_t gnu128_int32_t __attribute__ ((vector_size (128)));
> +typedef int32_t gnu32_int32_t __attribute__ ((vector_size (32)));
> +
> void
> -f (svuint8_t sve_u1, svint8_t sve_s1,
> - gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, int n, unsigned char uc)
> +f (svuint8_t sve_u1, svint8_t sve_s1, svbool_t sve_b1, svbool_t sve_b2,
> + gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, gnu128_int32_t gnu128_s1,
> + int n, unsigned char uc)
> {
> // Initialization
>
> @@ -56,6 +60,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_uint8_t init_gnu_u20 (sve_s1);
> gnu_uint8_t init_gnu_u21 (gnu_s1);
>
> + // Boolean inits.
> + svbool_t init_sve_b1 = 0; // { dg-error {cannot convert 'int' to
> 'svbool_t'} }
> + svbool_t init_sve_b2 = {};
> + svbool_t init_sve_b3 = { sve_b1 };
> + svbool_t init_sve_b4 = { gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'signed char:1'} }
> + svbool_t init_sve_b5 = { sve_s1 }; // { dg-error {cannot convert
> 'svint8_t' to
> 'signed char:1'} }
> + svbool_t init_sve_b6 = { gnu_s1 }; // { dg-error {cannot convert
> 'gnu_int8_t'[^\n]* to 'signed char:1'} }
> + svbool_t init_sve_b7 = { 0 };
> +
> + svbool_t init_sve_b8 = { sve_u1, sve_u1 }; // { dg-error {cannot convert
> 'svuint8_t' to 'signed char:1'} }
> + svbool_t init_sve_b9 = { gnu_u1, gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'signed char:1'} }
> + init_gnu_u8 = { sve_b1 }; // { dg-error {cannot convert '<brace-enclosed
> initializer list>' to 'gnu_uint8_t'[^\n]*} }
> + init_gnu_u8 = { sve_b1, sve_b1 }; // { dg-error {cannot convert '<brace-
> enclosed initializer list>' to 'gnu_uint8_t'[^\n]*} }
> +
> // Compound literals
>
> (svuint8_t) {};
> @@ -76,6 +94,17 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) { sve_u1, sve_u1 }; // { dg-error {cannot convert
> 'svuint8_t' to
> 'unsigned char' in initialization} }
> (gnu_uint8_t) { gnu_u1, gnu_u1 }; // { dg-error {cannot convert
> 'gnu_uint8_t'[^\n]* to 'unsigned char' in initialization} }
>
> + // Boolean compound literals.
> +
> + (svbool_t) {};
> + (svbool_t) { 0 };
> + (svbool_t) { sve_b1 };
> + (svbool_t) { gnu_u1 }; // { dg-error {cannot convert 'gnu_uint8_t'[^\n]* to
> 'signed char:1'} }
> + (svbool_t) { sve_s1 }; // { dg-error {cannot convert 'svint8_t' to 'signed
> char:1'} }
> + (svbool_t) { sve_u1 }; // { dg-error {cannot convert 'svuint8_t' to 'signed
> char:1'} }
> + (svbool_t) { gnu_s1 }; // { dg-error {cannot convert 'gnu_int8_t'[^\n]* to
> 'signed char:1'} }
> + (gnu_uint8_t) { sve_b1 }; // { dg-error {cannot convert 'svbool_t' to
> 'unsigned char'} }
> +
> // Assignment
>
> sve_u1 = 0; // { dg-error {cannot convert 'int' to 'svuint8_t' in
> assignment} }
> @@ -90,6 +119,14 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 = sve_s1;
> gnu_u1 = gnu_s1;
>
> + // Boolean Assignments.
> +
> + sve_b1 = 0; // { dg-error {cannot convert 'int' to 'svbool_t'} }
> + sve_b1 = sve_b1;
> + sve_b1 = sve_s1; // { dg-error {cannot convert 'svint8_t' to 'svbool_t'} }
> + sve_b1 = gnu_s1; // { dg-error {cannot convert 'gnu_int8_t'[^\n]* to
> 'svbool_t'} }
> + gnu_u1 = sve_b1; // { dg-error {cannot convert 'svbool_t' to
> 'gnu_uint8_t'} }
> +
> // Casts
>
> (void) sve_u1;
> @@ -112,6 +149,17 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) sve_s1;
> (gnu_uint8_t) gnu_s1;
>
> + // Boolean casts.
> + (void) sve_b1;
> + (svbool_t) sve_b1;
> + (svbool_t) gnu_u1; // { dg-error {cannot convert a value of type
> 'gnu_uint8_t'[^\n]* to vector type 'svbool_t' which has different size} }
> + (svbool_t) sve_u1; // { dg-error {cannot convert a value of type
> 'svuint8_t'
> to vector type 'svbool_t' which has different size} }
> + (svbool_t) 0;
> + (svbool_t) n;
> + (svint8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t' to
> vector type 'svint8_t' which has different size} }
> + (gnu_uint8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t' to vector type 'gnu_uint8_t'[^\n]* which has different size} }
> + (gnu_int8_t) sve_b1; // { dg-error {cannot convert a value of type
> 'svbool_t'
> to vector type 'gnu_int8_t'[^\n]* which has different size} }
> +
> // Vector indexing.
>
> sve_u1[0];
> @@ -147,6 +195,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1++;
> gnu_u1--;
>
> + // Boolean unary ops.
> +
> + +sve_b1;
> + -sve_b1; // { dg-error {negation operation not permitted} }
> + ~sve_b1;
> + !sve_b1;
> + *sve_b1; // { dg-error {invalid type argument of unary '\*'} }
> + __real sve_b1; // { dg-error {wrong type argument to __real} }
> + __imag sve_b1; // { dg-error {wrong type argument to __imag} }
> + ++sve_b1; // { dg-error {not permitted} }
> + --sve_b1; // { dg-error {not permitted} }
> + sve_b1++; // { dg-error {not permitted} }
> + sve_b1--; // { dg-error {not permitted} }
> +
> // Vector-vector binary arithmetic.
>
> sve_u1 + sve_u1;
> @@ -169,6 +231,27 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> sve_u1 && sve_u1;
> sve_u1 || sve_u1;
>
> + // Boolean vector-vector binary arithmetic.
> +
> + sve_b1 + sve_b1; // { dg-error {not permitted} }
> + sve_b1 - sve_b1; // { dg-error {not permitted} }
> + sve_b1 * sve_b1; // { dg-error {not permitted} }
> + sve_b1 / sve_b1; // { dg-error {not permitted} }
> + sve_b1 % sve_b1; // { dg-error {invalid operands} }
> + sve_b1 & sve_b1;
> + sve_b1 | sve_b1;
> + sve_b1 ^ sve_b1;
> + sve_b1 == sve_b1;
> + sve_b1 != sve_b1;
> + sve_b1 <= sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 < sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 > sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 >= sve_b1; // { dg-error {only == and != operations permitted} }
> + sve_b1 << sve_b1; // { dg-error {not permitted} }
> + sve_b1 >> sve_b1; // { dg-error {not permitted} }
> + sve_b1 && sve_b1;
> + sve_b1 || sve_b1;
> +
> sve_u1 + gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> sve_u1 - gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> sve_u1 * gnu_u1; // { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} }
> @@ -456,6 +539,25 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 ? gnu_u1 : uc;
> gnu_u1 ? uc : gnu_u1;
>
> + // Boolean conditional expressions.
> +
> + uc ? sve_b1 : sve_b2;
> + sve_b1 ? sve_b1 : sve_b2;
> +
> + sve_b1 ? sve_u1 : sve_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? sve_s1 : sve_s1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_u1 : sve_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? sve_u1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_u1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_b1 ? gnu_s1 : gnu_s1; // { dg-error {incompatible vector types in
> conditional expression} }
> +
> + sve_u1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + sve_s1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_s1 ? sve_b1 : sve_b2; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? gnu_u1 : sve_b1; // { dg-error {incompatible vector types in
> conditional expression} }
> + gnu_u1 ? sve_b1 : gnu_u1; // { dg-error {incompatible vector types in
> conditional expression} }
> +
> // Vector built-ins.
>
> __builtin_shuffle (sve_u1, sve_u1, sve_u1);
> @@ -469,6 +571,33 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> __builtin_convertvector (sve_u1, gnu_uint8_t);
> __builtin_convertvector (gnu_u1, gnu_uint8_t);
>
> + // Boolean vector built-ins.
> +
> + __builtin_shuffle (sve_b1, sve_b1, sve_s1);
> + __builtin_shuffle (sve_b1, sve_b1, sve_u1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_s1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_u1);
> +
> + __builtin_shuffle (sve_b1, gnu_u1, gnu_u1); // { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} }
> + __builtin_shuffle (gnu_u1, sve_b1, gnu_u1); // { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} }
> +
> + __builtin_convertvector (sve_b1, svint8_t);
> + __builtin_convertvector (sve_b1, svuint8_t);
> + __builtin_convertvector (sve_b1, gnu_int8_t);
> + __builtin_convertvector (sve_b1, gnu_uint8_t);
> +
> + __builtin_convertvector (sve_s1, svbool_t);
> + __builtin_convertvector (gnu_s1, svbool_t);
> + __builtin_convertvector (sve_u1, svbool_t);
> + __builtin_convertvector (gnu_u1, svbool_t);
> +
> + __builtin_convertvector (sve_b1, svint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, svuint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, gnu32_int32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> +
> + __builtin_convertvector (sve_b1, gnu128_int32_t);
> + __builtin_convertvector (gnu128_s1, svbool_t);
> +
> // Type queries.
>
> static_assert(__is_literal_type(svuint8_t));
> diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-
> c/gnu_vectors_1.c b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-
> c/gnu_vectors_1.c
> index 32bb826e240..3f39e6e417f 100644
> --- a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/gnu_vectors_1.c
> +++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/gnu_vectors_1.c
> @@ -5,9 +5,12 @@
> typedef uint8_t gnu_uint8_t __attribute__ ((vector_size (32)));
> typedef int8_t gnu_int8_t __attribute__ ((vector_size (32)));
>
> +typedef int32_t gnu128_int32_t __attribute__ ((vector_size (128)));
> +typedef int32_t gnu32_int32_t __attribute__ ((vector_size (32)));
> +
> void
> -f (svuint8_t sve_u1, svint8_t sve_s1,
> - gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, int n, unsigned char uc)
> +f (svuint8_t sve_u1, svint8_t sve_s1, svbool_t sve_b1, svbool_t sve_b2,
> + gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, gnu128_int32_t gnu128_s1, int
> n, unsigned char uc)
> {
> /* Initialization. */
>
> @@ -19,6 +22,15 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> svuint8_t init_sve_u6 = { gnu_s1 }; /* { dg-error {incompatible types when
> initializing type 'unsigned char'} } */
> svuint8_t init_sve_u7 = { 0 };
>
> + /* Boolean inits. */
> + svbool_t init_sve_b1 = 0; /* { dg-error {incompatible types when
> initializing
> type 'svbool_t' using type 'int'} } */
> + svbool_t init_sve_b2 = {};
> + svbool_t init_sve_b3 = { sve_b1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b4 = { gnu_u1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b5 = { sve_s1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b6 = { gnu_s1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b7 = { 0 };
> +
> svuint8_t init_sve_u8 = { sve_u1, sve_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'unsigned char'} } */
> svuint8_t init_sve_u9 = { gnu_u1, gnu_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'unsigned char'} } */
>
> @@ -30,6 +42,11 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_uint8_t init_gnu_u6 = { gnu_s1 }; /* { dg-error {incompatible types
> when initializing type 'unsigned char'} } */
> gnu_uint8_t init_gnu_u7 = { 0 };
>
> + /* Boolean inits. */
> + svbool_t init_sve_b8 = { sve_u1, sve_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'signed char:1'} } */
> + svbool_t init_sve_b9 = { gnu_u1, gnu_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'signed char:1'} } */
> + gnu_uint8_t init_gnu_u8 = { sve_b1 }; /* { dg-error {incompatible types
> when initializing type 'unsigned char'} } */
> +
> /* Compound literals. */
>
> (svuint8_t) {};
> @@ -44,6 +61,16 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) { sve_u1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
> (gnu_uint8_t) { gnu_u1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
>
> + /* Boolean compound literals. */
> + (svbool_t) {};
> + (svbool_t) { 0 };
> + (svbool_t) { sve_b1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { gnu_u1 }; /* { dg-error {incompatible types when initializing
> type 'signed char:1'} } */
> + (svbool_t) { sve_s1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { sve_u1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { gnu_s1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (gnu_uint8_t) { sve_b1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
> +
> /* Assignment. */
>
> sve_u1 = 0; /* { dg-error {incompatible types when assigning to type
> 'svuint8_t' from type 'int'} } */
> @@ -58,6 +85,14 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 = sve_s1; /* { dg-error {incompatible types when assigning to type
> 'gnu_uint8_t'[^\n]* from type 'svint8_t'} } */
> gnu_u1 = gnu_s1; /* { dg-error {incompatible types when assigning to type
> 'gnu_uint8_t'[^\n]* from type 'gnu_int8_t'} } */
>
> + /* Boolean Assignments. */
> +
> + sve_b1 = 0; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'int'} } */
> + sve_b1 = sve_b1;
> + sve_b1 = sve_s1; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'svint8_t'} } */
> + sve_b1 = gnu_s1; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'gnu_int8_t'} } */
> + gnu_u1 = sve_b1; /* { dg-error {incompatible types when assigning to type
> 'gnu_uint8_t'[^\n]* from type 'svbool_t'} } */
> +
> /* Casts. */
>
> (void) sve_u1;
> @@ -76,6 +111,19 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_int8_t) sve_u1;
> (gnu_int8_t) gnu_u1;
>
> + /* Boolean casts. */
> + (void) sve_b1;
> + (svbool_t) sve_b1;
> + (svbool_t) gnu_u1; /* { dg-error {cannot convert a value of type
> 'gnu_uint8_t'} } */
> + (svbool_t) sve_u1; /* { dg-error {cannot convert a value of type
> 'svuint8_t'}
> } */
> + (svbool_t) 0; /* This is OK. sizeof (svbool_t) == sizeof (int) for VL ==
> 256. */
> + (svbool_t) n; /* This is OK. sizeof (svbool_t) == sizeof (int) for VL ==
> 256. */
> + (svbool_t) (short)0; /* { dg-error {cannot convert a value of type 'short
> int'}
> } */
> + (svbool_t) (short)n; /* { dg-error {cannot convert a value of type 'short
> int'}
> } */
> + (svint8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} }
> */
> + (gnu_uint8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} } */
> + (gnu_int8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} } */
> +
> /* Vector indexing. */
>
> sve_u1[0];
> @@ -110,6 +158,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1++;
> gnu_u1--;
>
> + /* Boolean unary ops. */
> +
> + +sve_b1;
> + -sve_b1; /* { dg-error {negation operation not permitted} } */
> + ~sve_b1;
> + !sve_b1; /* { dg-error {wrong type argument to unary exclamation mark} }
> */
> + *sve_b1; /* { dg-error {invalid type argument of unary '\*'} } */
> + __real sve_b1; /* { dg-error {wrong type argument to __real} } */
> + __imag sve_b1; /* { dg-error {wrong type argument to __imag} } */
> + ++sve_b1; /* { dg-error {not permitted} } */
> + --sve_b1; /* { dg-error {not permitted} } */
> + sve_b1++; /* { dg-error {not permitted} } */
> + sve_b1--; /* { dg-error {not permitted} } */
> +
> /* Vector-vector binary arithmetic. */
>
> sve_u1 + sve_u1;
> @@ -131,6 +193,27 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> sve_u1 && sve_u1; /* { dg-error {used vector type where scalar is
> required} }
> */
> sve_u1 || sve_u1; /* { dg-error {used vector type where scalar is
> required} }
> */
>
> + /* Boolean vector-vector binary arithmetic. */
> +
> + sve_b1 + sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 - sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 * sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 / sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 % sve_b1; /* { dg-error {invalid operands to binary} } */
> + sve_b1 & sve_b1;
> + sve_b1 | sve_b1;
> + sve_b1 ^ sve_b1;
> + sve_b1 == sve_b1;
> + sve_b1 != sve_b1;
> + sve_b1 <= sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 < sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 > sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 >= sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 << sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 >> sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 && sve_b1; /* { dg-error {used vector type where scalar is required}
> } */
> + sve_b1 || sve_b1; /* { dg-error {used vector type where scalar is
> required} }
> */
> +
> sve_u1 + gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> sve_u1 - gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> sve_u1 * gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> @@ -401,6 +484,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 ? sve_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> gnu_u1 ? gnu_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
>
> + /* Boolean conditional expressions. */
> +
> + uc ? sve_b1 : sve_b2;
> +
> + sve_b1 ? sve_u1 : sve_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? gnu_u1 : sve_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? sve_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? gnu_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> +
> + sve_u1 ? sve_b1 : sve_b2; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? sve_b1 : sve_b2; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? gnu_u1 : sve_b1; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? sve_b1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> +
> /* Vector built-ins. */
>
> __builtin_shuffle (sve_u1, sve_u1, sve_u1);
> @@ -413,4 +510,31 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> __builtin_convertvector (gnu_u1, svuint8_t);
> __builtin_convertvector (sve_u1, gnu_uint8_t);
> __builtin_convertvector (gnu_u1, gnu_uint8_t);
> +
> + /* Boolean vector built-ins. */
> +
> + __builtin_shuffle (sve_b1, sve_b1, sve_s1);
> + __builtin_shuffle (sve_b1, sve_b1, sve_u1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_s1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_u1);
> +
> + __builtin_shuffle (sve_b1, gnu_u1, gnu_u1); /* { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} } */
> + __builtin_shuffle (gnu_u1, sve_b1, gnu_u1); /* { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} } */
> +
> + __builtin_convertvector (sve_b1, svint8_t);
> + __builtin_convertvector (sve_b1, svuint8_t);
> + __builtin_convertvector (sve_b1, gnu_int8_t);
> + __builtin_convertvector (sve_b1, gnu_uint8_t);
> +
> + __builtin_convertvector (sve_s1, svbool_t);
> + __builtin_convertvector (gnu_s1, svbool_t);
> + __builtin_convertvector (sve_u1, svbool_t);
> + __builtin_convertvector (gnu_u1, svbool_t);
> +
> + __builtin_convertvector (sve_b1, svint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, svuint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, gnu32_int32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> +
> + __builtin_convertvector (sve_b1, gnu128_int32_t);
> + __builtin_convertvector (gnu128_s1, svbool_t);
> }
> diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-
> c/gnu_vectors_2.c b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-
> c/gnu_vectors_2.c
> index c311e162f9e..156e35482a6 100644
> --- a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/gnu_vectors_2.c
> +++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/gnu_vectors_2.c
> @@ -5,9 +5,12 @@
> typedef uint8_t gnu_uint8_t __attribute__ ((vector_size (32)));
> typedef int8_t gnu_int8_t __attribute__ ((vector_size (32)));
>
> +typedef int32_t gnu128_int32_t __attribute__ ((vector_size (128)));
> +typedef int32_t gnu32_int32_t __attribute__ ((vector_size (32)));
> +
> void
> -f (svuint8_t sve_u1, svint8_t sve_s1,
> - gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, int n, unsigned char uc)
> +f (svuint8_t sve_u1, svint8_t sve_s1, svbool_t sve_b1, svbool_t sve_b2,
> + gnu_uint8_t gnu_u1, gnu_int8_t gnu_s1, gnu128_int32_t gnu128_s1, int
> n, unsigned char uc)
> {
> /* Initialization. */
>
> @@ -21,6 +24,15 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> svuint8_t init_sve_u8 = { sve_u1, sve_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'unsigned char'} } */
> svuint8_t init_sve_u9 = { gnu_u1, gnu_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'unsigned char'} } */
>
> + /* Boolean inits. */
> + svbool_t init_sve_b1 = 0; /* { dg-error {incompatible types when
> initializing
> type 'svbool_t' using type 'int'} } */
> + svbool_t init_sve_b2 = {};
> + svbool_t init_sve_b3 = { sve_b1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b4 = { gnu_u1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b5 = { sve_s1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b6 = { gnu_s1 }; /* { dg-error {incompatible types when
> initializing type 'signed char:1'} } */
> + svbool_t init_sve_b7 = { 0 };
> +
> gnu_uint8_t init_gnu_u1 = 0; /* { dg-error {incompatible types when
> initializing type 'gnu_uint8_t'[^\n]* using type 'int'} } */
> gnu_uint8_t init_gnu_u2 = {};
> gnu_uint8_t init_gnu_u3 = { sve_u1 }; /* { dg-error {incompatible types
> when
> initializing type 'unsigned char'} } */
> @@ -29,6 +41,11 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_uint8_t init_gnu_u6 = { gnu_s1 }; /* { dg-error {incompatible types
> when initializing type 'unsigned char'} } */
> gnu_uint8_t init_gnu_u7 = { 0 };
>
> + /* Boolean inits. */
> + svbool_t init_sve_b8 = { sve_u1, sve_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'signed char:1'} } */
> + svbool_t init_sve_b9 = { gnu_u1, gnu_u1 }; /* { dg-error {incompatible
> types
> when initializing type 'signed char:1'} } */
> + gnu_uint8_t init_gnu_u8 = { sve_b1 }; /* { dg-error {incompatible types
> when initializing type 'unsigned char'} } */
> +
> /* Compound literals. */
>
> (svuint8_t) {};
> @@ -43,6 +60,16 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_uint8_t) { sve_u1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
> (gnu_uint8_t) { gnu_u1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
>
> + /* Boolean compound literals. */
> + (svbool_t) {};
> + (svbool_t) { 0 };
> + (svbool_t) { sve_b1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { gnu_u1 }; /* { dg-error {incompatible types when initializing
> type 'signed char:1'} } */
> + (svbool_t) { sve_s1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { sve_u1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (svbool_t) { gnu_s1 }; /* { dg-error {incompatible types when initializing
> type
> 'signed char:1'} } */
> + (gnu_uint8_t) { sve_b1 }; /* { dg-error {incompatible types when
> initializing
> type 'unsigned char'} } */
> +
> /* Assignment. */
>
> sve_u1 = 0; /* { dg-error {incompatible types when assigning to type
> 'svuint8_t' from type 'int'} } */
> @@ -57,6 +84,14 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 = sve_s1;
> gnu_u1 = gnu_s1;
>
> + /* Boolean Assignments. */
> +
> + sve_b1 = 0; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'int'} } */
> + sve_b1 = sve_b1;
> + sve_b1 = sve_s1; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'svint8_t'} } */
> + sve_b1 = gnu_s1; /* { dg-error {incompatible types when assigning to type
> 'svbool_t' from type 'gnu_int8_t'} } */
> + gnu_u1 = sve_b1; /* { dg-error {incompatible types when assigning to type
> 'gnu_uint8_t'[^\n]* from type 'svbool_t'} } */
> +
> /* Casts. */
>
> (void) sve_u1;
> @@ -75,6 +110,19 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> (gnu_int8_t) sve_u1;
> (gnu_int8_t) gnu_u1;
>
> + /* Boolean casts. */
> + (void) sve_b1;
> + (svbool_t) sve_b1;
> + (svbool_t) gnu_u1; /* { dg-error {cannot convert a value of type
> 'gnu_uint8_t'} } */
> + (svbool_t) sve_u1; /* { dg-error {cannot convert a value of type
> 'svuint8_t'}
> } */
> + (svbool_t) 0; /* This is OK. sizeof (svbool_t) == sizeof (int) for VL ==
> 256. */
> + (svbool_t) n; /* This is OK. sizeof (svbool_t) == sizeof (int) for VL ==
> 256. */
> + (svbool_t) (short)0; /* { dg-error {cannot convert a value of type 'short
> int'}
> } */
> + (svbool_t) (short)n; /* { dg-error {cannot convert a value of type 'short
> int'}
> } */
> + (svint8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} }
> */
> + (gnu_uint8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} } */
> + (gnu_int8_t) sve_b1; /* { dg-error {cannot convert a value of type
> 'svbool_t'} } */
> +
> /* Vector indexing. */
>
> sve_u1[0];
> @@ -109,6 +157,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1++;
> gnu_u1--;
>
> + /* Boolean unary ops. */
> +
> + +sve_b1;
> + -sve_b1; /* { dg-error {negation operation not permitted} } */
> + ~sve_b1;
> + !sve_b1; /* { dg-error {wrong type argument to unary exclamation mark} }
> */
> + *sve_b1; /* { dg-error {invalid type argument of unary '\*'} } */
> + __real sve_b1; /* { dg-error {wrong type argument to __real} } */
> + __imag sve_b1; /* { dg-error {wrong type argument to __imag} } */
> + ++sve_b1; /* { dg-error {not permitted} } */
> + --sve_b1; /* { dg-error {not permitted} } */
> + sve_b1++; /* { dg-error {not permitted} } */
> + sve_b1--; /* { dg-error {not permitted} } */
> +
> /* Vector-vector binary arithmetic. */
>
> sve_u1 + sve_u1;
> @@ -130,6 +192,27 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> sve_u1 && sve_u1; /* { dg-error {used vector type where scalar is
> required} }
> */
> sve_u1 || sve_u1; /* { dg-error {used vector type where scalar is
> required} }
> */
>
> + /* Boolean vector-vector binary arithmetic. */
> +
> + sve_b1 + sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 - sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 * sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 / sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 % sve_b1; /* { dg-error {invalid operands to binary} } */
> + sve_b1 & sve_b1;
> + sve_b1 | sve_b1;
> + sve_b1 ^ sve_b1;
> + sve_b1 == sve_b1;
> + sve_b1 != sve_b1;
> + sve_b1 <= sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 < sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 > sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 >= sve_b1; /* { dg-error {only == and != operations permitted} } */
> + sve_b1 << sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 >> sve_b1; /* { dg-error {not permitted} } */
> + sve_b1 && sve_b1; /* { dg-error {used vector type where scalar is required}
> } */
> + sve_b1 || sve_b1; /* { dg-error {used vector type where scalar is
> required} }
> */
> +
> sve_u1 + gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> sve_u1 - gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> sve_u1 * gnu_u1; /* { dg-error {cannot combine GNU and SVE vectors in a
> binary operation} } */
> @@ -400,6 +483,20 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> gnu_u1 ? sve_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> gnu_u1 ? gnu_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
>
> + /* Boolean conditional expressions. */
> +
> + uc ? sve_b1 : sve_b2;
> +
> + sve_b1 ? sve_u1 : sve_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? gnu_u1 : sve_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? sve_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> + sve_b1 ? gnu_u1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> +
> + sve_u1 ? sve_b1 : sve_b2; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? sve_b1 : sve_b2; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? gnu_u1 : sve_b1; /* { dg-error {used vector type where scalar is
> required} } */
> + gnu_u1 ? sve_b1 : gnu_u1; /* { dg-error {used vector type where scalar is
> required} } */
> +
> /* Vector built-ins. */
>
> __builtin_shuffle (sve_u1, sve_u1, sve_u1);
> @@ -412,4 +509,31 @@ f (svuint8_t sve_u1, svint8_t sve_s1,
> __builtin_convertvector (gnu_u1, svuint8_t);
> __builtin_convertvector (sve_u1, gnu_uint8_t);
> __builtin_convertvector (gnu_u1, gnu_uint8_t);
> +
> + /* Boolean vector built-ins. */
> +
> + __builtin_shuffle (sve_b1, sve_b1, sve_s1);
> + __builtin_shuffle (sve_b1, sve_b1, sve_u1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_s1);
> + __builtin_shuffle (sve_b1, sve_b1, gnu_u1);
> +
> + __builtin_shuffle (sve_b1, gnu_u1, gnu_u1); /* { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} } */
> + __builtin_shuffle (gnu_u1, sve_b1, gnu_u1); /* { dg-error
> {'__builtin_shuffle'
> argument vectors must be of the same type} } */
> +
> + __builtin_convertvector (sve_b1, svint8_t);
> + __builtin_convertvector (sve_b1, svuint8_t);
> + __builtin_convertvector (sve_b1, gnu_int8_t);
> + __builtin_convertvector (sve_b1, gnu_uint8_t);
> +
> + __builtin_convertvector (sve_s1, svbool_t);
> + __builtin_convertvector (gnu_s1, svbool_t);
> + __builtin_convertvector (sve_u1, svbool_t);
> + __builtin_convertvector (gnu_u1, svbool_t);
> +
> + __builtin_convertvector (sve_b1, svint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, svuint32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> + __builtin_convertvector (sve_b1, gnu32_int32_t); /* { dg-error
> {'__builtin_convertvector' number of elements of the first argument vector
> and the second argument vector type should be the same} } */
> +
> + __builtin_convertvector (sve_b1, gnu128_int32_t);
> + __builtin_convertvector (gnu128_s1, svbool_t);
> }
> diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-1.c
> b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-1.c
> index 9677b6535fd..da5ac2a0f5a 100644
> --- a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-1.c
> +++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-1.c
> @@ -81,7 +81,19 @@ statements (int n)
> svint32_t init_sve_vc8 = { 0, 1, 2, 3, 4, 5 }; /* { dg-error {excess
> elements in
> vector initializer} } */
> svint32_t init_sve_vc9 = { 0, bar (), 2, 3, 4, n }; /* { dg-error {excess
> elements
> in vector initializer} } */
>
> -
> + svbool_t init_sve_vb1 = { 0, -1 }; /* { dg-warning {overflow in conversion
> from} } */
> + svbool_t init_sve_vb2 = { 0, bar () };
> + svbool_t init_sve_vb3 = { bar (), n };
> + svbool_t init_sve_vb4 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0}; /* { dg-
> warning {overflow in conversion from} } */
> + svbool_t init_sve_vb5 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, bar
> (), 0, 0}; /*
> { dg-warning {overflow in conversion from} } */
> + svbool_t init_sve_vb6 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, -1}; /* {
> dg-error {excess elements in vector initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-* } .-1 }
> */
> + svbool_t init_sve_vb7 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar ()};
> /* { dg-error {excess elements in vector initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-* } .-1 }
> */
> + svbool_t init_sve_vb8 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar (), -
> 1}; /* { dg-error {excess elements in vector initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-* } .-1 }
> */
> + svbool_t init_sve_vb9 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0, bar (),
> n}; /* { dg-error {excess elements in vector initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-* } .-1 }
> */
>
> /* Compound literals. */
>
> diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-2.c
> b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-2.c
> index 73828a5729f..682e2e053ed 100644
> --- a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-2.c
> +++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/sizeless-2.c
> @@ -81,6 +81,38 @@ statements (int n)
> svint32_t init_sve_vc8 = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }; /* {
> dg-warning
> {excess elements in vector initializer} } */
> svint32_t init_sve_vc9 = { 0, bar (), 2, 3, 4, 5, 6, 7, 8, 9, n }; /* {
> dg-warning
> {excess elements in vector initializer} } */
>
> + svbool_t init_sve_vb1 = { 0, -1 }; /* { dg-warning {overflow in conversion
> from} } */
> + svbool_t init_sve_vb2 = { 0, bar () };
> + svbool_t init_sve_vb3 = { bar (), n };
> + svbool_t init_sve_vb4 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-2 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-2 } */
> + svbool_t init_sve_vb5 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, bar (), 0, 0, 0, 0, 0, 0,
> + 0, 0 };
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + svbool_t init_sve_vb6 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + 0 }; /* { dg-warning {excess elements in vector
> initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + svbool_t init_sve_vb7 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar () }; /* { dg-warning {excess elements in vector
> initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + svbool_t init_sve_vb8 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar (), -1 }; /* { dg-warning {excess elements in
> vector initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + svbool_t init_sve_vb9 = { 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> 0,
> + 0, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
> + bar (), n}; /* { dg-warning {excess elements in
> vector
> initializer} } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
> + /* { dg-warning "overflow in conversion from" "" { target *-*-*
> } .-3 } */
>
> /* Compound literals. */
>
> --
> 2.34.1
