]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
aarch64: add zeroing forms for predicated SVE bit reversal operations
authorArtemiy Volkov <artemiy.volkov@arm.com>
Fri, 9 Jan 2026 17:50:22 +0000 (17:50 +0000)
committerArtemiy Volkov <artemiy.volkov@arm.com>
Fri, 29 May 2026 11:33:17 +0000 (11:33 +0000)
SVE2.2 (or in streaming mode, SME2.2) adds support for zeroing
predication for the following SVE bit reversal instructions:

- REVB, REVH, REVW (Reverse bytes / halfwords / words within elements
  (predicated))
- REVD (Reverse 64-bit doublewords in elements (predicated)) (SVE2 only)

The first three are covered by the SVE_INT_UNARY code iterator, and REVD,
being SVE2-only, has a standalone pattern in aarch64-sve2.md.  This patch
adds an alternative for the zeroing-predication forms of the original
instructions.  The pattern for REVD also required changes to the predicate
for operand 3 to accept constant zero RTX whenever SVE2.2 is enabled.
Additionally, use the /z form of the REVD instruction for PRED_X
predication to save a data dependency.

The tests that have been added are based on the original SVE/SVE2 tests
for corresponding instructions, but all have a "_z" suffix in their name
since they only test codegen for the "_z" variants of the corresponding
intrinsics.

gcc/ChangeLog:

* config/aarch64/aarch64-sve.md (@cond_<optab><mode>):
New alternative for zeroing predication.  Add `arch` attribute
to every alternative.
* config/aarch64/aarch64-sve2.md (@aarch64_pred_<optab><mode>):
Use zeroing predication variant for PRED_X.
(@cond_<optab><mode>): Accept constant zero as operand 3.  New
alternative for zeroing predication.  Add `arch` attribute to
every alternative.
* config/aarch64/predicates.md (aarch64_simd_reg_or_direct_zero):
New predicate.

gcc/testsuite/ChangeLog:

* gcc.target/aarch64/sve2/acle/asm/revb_s16_z.c: New test.
* gcc.target/aarch64/sve2/acle/asm/revb_s32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revb_s64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revb_u16_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revb_u32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revb_u64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_bf16_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_f16_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_f32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_f64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_s16_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_s32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_s64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_s8_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_u16_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_u32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_u64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revd_u8_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revh_s32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revh_s64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revh_u32_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revh_u64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revw_s64_z.c: Likewise.
* gcc.target/aarch64/sve2/acle/asm/revw_u64_z.c: Likewise.

27 files changed:
gcc/config/aarch64/aarch64-sve.md
gcc/config/aarch64/aarch64-sve2.md
gcc/config/aarch64/predicates.md
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_bf16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s8_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u16_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u8_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u32_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_s64_z.c [new file with mode: 0644]
gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_u64_z.c [new file with mode: 0644]

index 1bc0e7136cbff2f4ecd26735c52dfcbeef14de7b..8e4fc05e63faf6282fe5e54e7adfadc3202be28f 100644 (file)
           (match_operand:SVE_FULL_I 3 "aarch64_simd_reg_or_zero")]
          UNSPEC_SEL))]
   "TARGET_SVE && <elem_bits> >= <min_elem_bits>"
-  {@ [ cons: =0 , 1   , 2 , 3  ; attrs: movprfx ]
-     [ w        , Upl , w , 0  ; *              ] <sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
-     [ ?&w      , Upl , w , Dz ; yes            ] movprfx\t%0.<Vetype>, %1/z, %2.<Vetype>\;<sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
-     [ ?&w      , Upl , w , w  ; yes            ] movprfx\t%0, %3\;<sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
+  {@ [ cons: =0 , 1   , 2 , 3  ; attrs: movprfx, arch ]
+     [ w        , Upl , w , 0  ; *   , *                ] <sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
+     [ w        , Upl , w , Dz ; *   , sve2p2_or_sme2p2 ] <sve_int_op>\t%0.<Vetype>, %1/z, %2.<Vetype>
+     [ ?&w      , Upl , w , Dz ; yes , *                ] movprfx\t%0.<Vetype>, %1/z, %2.<Vetype>\;<sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
+     [ ?&w      , Upl , w , w  ; yes , *                ] movprfx\t%0, %3\;<sve_int_op>\t%0.<Vetype>, %1/m, %2.<Vetype>
   }
   [(set_attr "sve_type" "sve_int_general")]
 )
index d7031b522be4ecf65b65de091b5233ecdbdae8df..2045b09e05b90b65dc64d91eac6a80080f95c97e 100644 (file)
             UNSPEC_REVD_ONLY)]
          UNSPEC_PRED_X))]
   "TARGET_SVE2p1_OR_SME"
-  {@ [ cons: =0 , 1   , 2 ]
-     [ w        , Upl , 0 ] revd\t%0.q, %1/m, %2.q
+  {@ [ cons: =0 , 1   , 2 ; attrs: arch ]
+     [ w        , Upl , 0 ; *                ] revd\t%0.q, %1/m, %2.q
+     [ w        , Upl , w ; sve2p2_or_sme2p2 ] revd\t%0.q, %1/z, %2.q
   }
   [(set_attr "sve_type" "sve_int_general")]
 )
           (unspec:SVE_FULL
             [(match_operand:SVE_FULL 2 "register_operand")]
             UNSPEC_REVD_ONLY)
-          (match_operand:SVE_FULL 3 "register_operand")]
+          (match_operand:SVE_FULL 3 "aarch64_simd_reg_or_direct_zero")]
          UNSPEC_SEL))]
   "TARGET_SVE2p1_OR_SME"
-  {@ [ cons: =0 , 1   , 2 , 3 ]
-     [ w        , Upl , w , 0 ] revd\t%0.q, %1/m, %2.q
+  {@ [ cons: =0 , 1   , 2 , 3  ; attrs: arch ]
+     [ w        , Upl , w , 0  ; *                ] revd\t%0.q, %1/m, %2.q
+     [ w        , Upl , w , Dz ; sve2p2_or_sme2p2 ] revd\t%0.q, %1/z, %2.q
   }
   [(set_attr "sve_type" "sve_int_general")]
 )
index d64f3172affe6f6c5378ac8f84c1165d601f9f1f..f02486c2d9a3f4a99f5df65574228f35fcea5d56 100644 (file)
            (match_test "op == const0_rtx")
            (match_operand 0 "aarch64_simd_or_scalar_imm_zero"))))
 
+;; Same as above, but a zero const_vector is only allowed when a
+;; corresponding single-insn (i.e. not involving MOVPRFX) alternative is
+;; enabled.  Used for zeroing predication forms of some SVE2.2
+;; instructions.
+(define_predicate "aarch64_simd_reg_or_direct_zero"
+  (ior (and (match_test "TARGET_SVE2p2_OR_SME2p2")
+           (match_operand 0 "aarch64_simd_reg_or_zero"))
+       (match_operand 0 "register_operand")))
+
 (define_predicate "aarch64_simd_reg_or_minus_one"
   (ior (match_operand 0 "register_operand")
        (match_operand 0 "aarch64_simd_imm_minus_one")))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s16_z.c
new file mode 100644 (file)
index 0000000..8ac0941
--- /dev/null
@@ -0,0 +1,30 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_s16_z_tied1:
+**     revb    z0\.h, p0/z, z0\.h
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s16_z_tied1, svint16_t,
+               z0 = svrevb_s16_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_s16_z_untied:
+**     revb    z0\.h, p0/z, z1\.h
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s16_z_untied, svint16_t,
+               z0 = svrevb_s16_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
+
+
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s32_z.c
new file mode 100644 (file)
index 0000000..f6f1cd7
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_s32_z_tied1:
+**     revb    z0\.s, p0/z, z0\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s32_z_tied1, svint32_t,
+               z0 = svrevb_s32_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_s32_z_untied:
+**     revb    z0\.s, p0/z, z1\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s32_z_untied, svint32_t,
+               z0 = svrevb_s32_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_s64_z.c
new file mode 100644 (file)
index 0000000..4ebcc4b
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_s64_z_tied1:
+**     revb    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s64_z_tied1, svint64_t,
+               z0 = svrevb_s64_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_s64_z_untied:
+**     revb    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revb_s64_z_untied, svint64_t,
+               z0 = svrevb_s64_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u16_z.c
new file mode 100644 (file)
index 0000000..c54f18c
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_u16_z_tied1:
+**     revb    z0\.h, p0/z, z0\.h
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u16_z_tied1, svuint16_t,
+               z0 = svrevb_u16_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_u16_z_untied:
+**     revb    z0\.h, p0/z, z1\.h
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u16_z_untied, svuint16_t,
+               z0 = svrevb_u16_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u32_z.c
new file mode 100644 (file)
index 0000000..db72f31
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_u32_z_tied1:
+**     revb    z0\.s, p0/z, z0\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u32_z_tied1, svuint32_t,
+               z0 = svrevb_u32_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_u32_z_untied:
+**     revb    z0\.s, p0/z, z1\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u32_z_untied, svuint32_t,
+               z0 = svrevb_u32_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revb_u64_z.c
new file mode 100644 (file)
index 0000000..c20d333
--- /dev/null
@@ -0,0 +1,29 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revb_u64_z_tied1:
+**     revb    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u64_z_tied1, svuint64_t,
+               z0 = svrevb_u64_z (p0, z0),
+               z0 = svrevb_z (p0, z0))
+
+/*
+** revb_u64_z_untied:
+**     revb    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revb_u64_z_untied, svuint64_t,
+               z0 = svrevb_u64_z (p0, z1),
+               z0 = svrevb_z (p0, z1))
+
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_bf16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_bf16_z.c
new file mode 100644 (file)
index 0000000..71f269c
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_bf16_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_bf16_z_tied1, svbfloat16_t,
+               z0 = svrevd_bf16_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_bf16_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_bf16_z_untied, svbfloat16_t,
+               z0 = svrevd_bf16_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f16_z.c
new file mode 100644 (file)
index 0000000..8ac612d
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_f16_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f16_z_tied1, svfloat16_t,
+               z0 = svrevd_f16_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_f16_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f16_z_untied, svfloat16_t,
+               z0 = svrevd_f16_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f32_z.c
new file mode 100644 (file)
index 0000000..f44f055
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_f32_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f32_z_tied1, svfloat32_t,
+               z0 = svrevd_f32_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_f32_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f32_z_untied, svfloat32_t,
+               z0 = svrevd_f32_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_f64_z.c
new file mode 100644 (file)
index 0000000..2018e0d
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_f64_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f64_z_tied1, svfloat64_t,
+               z0 = svrevd_f64_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_f64_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_f64_z_untied, svfloat64_t,
+               z0 = svrevd_f64_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s16_z.c
new file mode 100644 (file)
index 0000000..44bb8cb
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_s16_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s16_z_tied1, svint16_t,
+               z0 = svrevd_s16_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_s16_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s16_z_untied, svint16_t,
+               z0 = svrevd_s16_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s32_z.c
new file mode 100644 (file)
index 0000000..7946976
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_s32_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s32_z_tied1, svint32_t,
+               z0 = svrevd_s32_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_s32_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s32_z_untied, svint32_t,
+               z0 = svrevd_s32_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s64_z.c
new file mode 100644 (file)
index 0000000..e6b1e8c
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_s64_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s64_z_tied1, svint64_t,
+               z0 = svrevd_s64_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_s64_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s64_z_untied, svint64_t,
+               z0 = svrevd_s64_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s8_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_s8_z.c
new file mode 100644 (file)
index 0000000..7f204d7
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_s8_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s8_z_tied1, svint8_t,
+               z0 = svrevd_s8_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_s8_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_s8_z_untied, svint8_t,
+               z0 = svrevd_s8_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u16_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u16_z.c
new file mode 100644 (file)
index 0000000..6fd565d
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_u16_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u16_z_tied1, svuint16_t,
+               z0 = svrevd_u16_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_u16_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u16_z_untied, svuint16_t,
+               z0 = svrevd_u16_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u32_z.c
new file mode 100644 (file)
index 0000000..b828aa7
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_u32_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u32_z_tied1, svuint32_t,
+               z0 = svrevd_u32_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_u32_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u32_z_untied, svuint32_t,
+               z0 = svrevd_u32_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u64_z.c
new file mode 100644 (file)
index 0000000..6c5b166
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_u64_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u64_z_tied1, svuint64_t,
+               z0 = svrevd_u64_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_u64_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u64_z_untied, svuint64_t,
+               z0 = svrevd_u64_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u8_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revd_u8_z.c
new file mode 100644 (file)
index 0000000..3079970
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revd_u8_z_tied1:
+**     revd    z0\.q, p0/z, z0\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u8_z_tied1, svuint8_t,
+               z0 = svrevd_u8_z (p0, z0),
+               z0 = svrevd_z (p0, z0))
+
+/*
+** revd_u8_z_untied:
+**     revd    z0\.q, p0/z, z1\.q
+**     ret
+*/
+TEST_UNIFORM_Z (revd_u8_z_untied, svuint8_t,
+               z0 = svrevd_u8_z (p0, z1),
+               z0 = svrevd_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s32_z.c
new file mode 100644 (file)
index 0000000..ac628c2
--- /dev/null
@@ -0,0 +1,30 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revh_s32_z_tied1:
+**     revh    z0\.s, p0/z, z0\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revh_s32_z_tied1, svint32_t,
+               z0 = svrevh_s32_z (p0, z0),
+               z0 = svrevh_z (p0, z0))
+
+/*
+** revh_s32_z_untied:
+**     revh    z0\.s, p0/z, z1\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revh_s32_z_untied, svint32_t,
+               z0 = svrevh_s32_z (p0, z1),
+               z0 = svrevh_z (p0, z1))
+
+
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_s64_z.c
new file mode 100644 (file)
index 0000000..7e44e84
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revh_s64_z_tied1:
+**     revh    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revh_s64_z_tied1, svint64_t,
+               z0 = svrevh_s64_z (p0, z0),
+               z0 = svrevh_z (p0, z0))
+
+/*
+** revh_s64_z_untied:
+**     revh    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revh_s64_z_untied, svint64_t,
+               z0 = svrevh_s64_z (p0, z1),
+               z0 = svrevh_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u32_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u32_z.c
new file mode 100644 (file)
index 0000000..d127f86
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revh_u32_z_tied1:
+**     revh    z0\.s, p0/z, z0\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revh_u32_z_tied1, svuint32_t,
+               z0 = svrevh_u32_z (p0, z0),
+               z0 = svrevh_z (p0, z0))
+
+/*
+** revh_u32_z_untied:
+**     revh    z0\.s, p0/z, z1\.s
+**     ret
+*/
+TEST_UNIFORM_Z (revh_u32_z_untied, svuint32_t,
+               z0 = svrevh_u32_z (p0, z1),
+               z0 = svrevh_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revh_u64_z.c
new file mode 100644 (file)
index 0000000..9aeeec3
--- /dev/null
@@ -0,0 +1,30 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revh_u64_z_tied1:
+**     revh    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revh_u64_z_tied1, svuint64_t,
+               z0 = svrevh_u64_z (p0, z0),
+               z0 = svrevh_z (p0, z0))
+
+/*
+** revh_u64_z_untied:
+**     revh    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revh_u64_z_untied, svuint64_t,
+               z0 = svrevh_u64_z (p0, z1),
+               z0 = svrevh_z (p0, z1))
+
+
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_s64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_s64_z.c
new file mode 100644 (file)
index 0000000..ef83887
--- /dev/null
@@ -0,0 +1,28 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revw_s64_z_tied1:
+**     revw    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revw_s64_z_tied1, svint64_t,
+               z0 = svrevw_s64_z (p0, z0),
+               z0 = svrevw_z (p0, z0))
+
+/*
+** revw_s64_z_untied:
+**     revw    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revw_s64_z_untied, svint64_t,
+               z0 = svrevw_s64_z (p0, z1),
+               z0 = svrevw_z (p0, z1))
diff --git a/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_u64_z.c b/gcc/testsuite/gcc.target/aarch64/sve2/acle/asm/revw_u64_z.c
new file mode 100644 (file)
index 0000000..c4f27fd
--- /dev/null
@@ -0,0 +1,29 @@
+/* { dg-do assemble { target aarch64_asm_sve2p2_ok } } */
+/* { dg-do compile { target { ! aarch64_asm_sve2p2_ok } } } */
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+#include "test_sve_acle.h"
+
+#pragma GCC target "+sve2p2"
+#ifdef STREAMING_COMPATIBLE
+#pragma GCC target "+sme2p2"
+#endif
+
+/*
+** revw_u64_z_tied1:
+**     revw    z0\.d, p0/z, z0\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revw_u64_z_tied1, svuint64_t,
+               z0 = svrevw_u64_z (p0, z0),
+               z0 = svrevw_z (p0, z0))
+
+/*
+** revw_u64_z_untied:
+**     revw    z0\.d, p0/z, z1\.d
+**     ret
+*/
+TEST_UNIFORM_Z (revw_u64_z_untied, svuint64_t,
+               z0 = svrevw_u64_z (p0, z1),
+               z0 = svrevw_z (p0, z1))
+