+ void build (function_builder &b,
+ const function_group_info &group) const override
+ {
+ b.add_overloaded_functions (group, MODE_none);
+ build_all (b, "_,su64,v0,su64", group, MODE_none);
+ }
+
+ tree resolve (function_resolver &r) const override
+ {
+ sve_type type;
+
+ if (!r.check_num_arguments (3)
+ || !r.require_scalar_type (0, "uint64_t")
+ || !r.require_integer_immediate (0)
+ || !(type = r.infer_vector_type (1))
+ || !r.require_scalar_type (2, "uint64_t"))
+ return error_mark_node;
+
+ return r.resolve_to (r.mode_suffix_id, type);
+ }
+
+ bool check (function_checker &c) const override
+ {
+ return c.require_immediate_range (0, 0, 0)
+ && c.require_immediate_range (2, 0, 3);
+ }
+};
+SHAPE (write_lane_zt);
}
diff --git a/gcc/config/aarch64/aarch64-sve-builtins-shapes.h
b/gcc/config/aarch64/aarch64-sve-builtins-shapes.h
index 349eae6e34a..421cb1e8b85 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins-shapes.h
+++ b/gcc/config/aarch64/aarch64-sve-builtins-shapes.h
@@ -168,6 +168,7 @@ namespace aarch64_sve
extern const function_shape *const luti4;
extern const function_shape *const luti2_lane_zt;
extern const function_shape *const luti4_lane_zt;
+ extern const function_shape *const luti4_zt;
extern const function_shape *const mmla;
extern const function_shape *const pattern_pred;
extern const function_shape *const pmov_from_vector;
@@ -260,6 +261,8 @@ namespace aarch64_sve
extern const function_shape *const write_za;
extern const function_shape *const write_za_m;
extern const function_shape *const write_za_slice;
+ extern const function_shape *const write_zt;
+ extern const function_shape *const write_lane_zt;
}
}
diff --git a/gcc/config/aarch64/aarch64-sve-builtins-sme.cc b/gcc/config/aarch64/aarch64-sve-builtins-sme.cc
index e0f0f660952..d5ca79163df 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins-sme.cc
+++ b/gcc/config/aarch64/aarch64-sve-builtins-sme.cc
@@ -352,6 +352,28 @@ public:
unsigned int m_bits;
};
+/* LUTI4 (four registers, 8-bit)
+ Variants are also available for: _u8
+ svint8x4_t svluti4_zt_s8_x4 (uint64_t zt0, svuint8x2_t zn)
+ __arm_streaming __arm_in ("zt0"); */
+class svluti_zt_impl : public read_zt0<function_base>
+{
+public:
+ CONSTEXPR svluti_zt_impl (unsigned int bits) : m_bits (bits) {}
+
+ unsigned int call_properties (const function_instance &) const override
+ {
+ return CP_READ_ZT0;
+ }
+
+ rtx expand (function_expander &e) const override
+ {
+ return e.use_exact_insn (CODE_FOR_aarch64_sme_lut_zt);
+ }
+
+ unsigned int m_bits;
+};
+
template<insn_code (*CODE) (machine_mode)>
class svread_za_slice_base : public function_base
{
@@ -467,6 +489,49 @@ public:
}
};
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_zt[_u8] (uint64_t zt0, svuint8_t zt)
+ __arm_streaming __arm_out ("zt0"); */
+class svwrite_zt_impl : public function_base
+{
+public:
+ unsigned int call_properties (const function_instance &) const override
+ {
+ return CP_WRITE_ZT0;
+ }
+
+ rtx expand (function_expander &e) const override
+ {
+ e.args.safe_push (const0_rtx);
+ auto mode = e.args[1]->mode;
+ return e.use_exact_insn (code_for_aarch64_sme_write_zt (mode));
+ }
+};
+
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_lane_zt[_u8] (uint64_t zt0, svuint8_t zt, uint64_t idx)
+ __arm_streaming __arm_out ("zt0"); */
+class svwrite_lane_zt_impl : public function_base
+{
+public:
+ unsigned int call_properties (const function_instance &) const override
+ {
+ return CP_WRITE_ZT0;
+ }
+
+ rtx expand (function_expander &e) const override
+ {
+ auto mode = e.args[1]->mode;
+ return e.use_exact_insn (code_for_aarch64_sme_write_zt (mode));
+ }
+};
+
using svwrite_za_tile_impl = add_call_properties<read_write_za_base,
CP_READ_ZA | CP_WRITE_ZA>;
@@ -569,6 +634,7 @@ FUNCTION (svldr_za, svldr_za_impl, )
FUNCTION (svldr_zt, svldr_zt_impl, )
FUNCTION (svluti2_lane_zt, svluti_lane_zt_impl, (2))
FUNCTION (svluti4_lane_zt, svluti_lane_zt_impl, (4))
+FUNCTION (svluti4_zt, svluti_zt_impl, (4))
FUNCTION (svmla_za, sme_2mode_function, (UNSPEC_SME_SMLA, UNSPEC_SME_UMLA,
UNSPEC_SME_FMLA))
FUNCTION (svmla_lane_za, sme_2mode_lane_function, (UNSPEC_SME_SMLA,
@@ -616,6 +682,8 @@ FUNCTION (svvdot_lane_za, sme_2mode_lane_function,
(UNSPEC_SME_SVDOT,
FUNCTION (svwrite_za, svwrite_za_impl,)
FUNCTION (svwrite_hor_za, svwrite_za_tile_impl, (UNSPEC_SME_WRITE_HOR))
FUNCTION (svwrite_ver_za, svwrite_za_tile_impl, (UNSPEC_SME_WRITE_VER))
+FUNCTION (svwrite_zt, svwrite_zt_impl,)
+FUNCTION (svwrite_lane_zt, svwrite_lane_zt_impl,)
FUNCTION (svzero_mask_za, svzero_mask_za_impl, )
FUNCTION (svzero_za, svzero_za_impl, )
FUNCTION (svzero_zt, svzero_zt_impl, )
diff --git a/gcc/config/aarch64/aarch64-sve-builtins-sme.def
b/gcc/config/aarch64/aarch64-sve-builtins-sme.def
index 117b70ede74..55a778c56c2 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins-sme.def
+++ b/gcc/config/aarch64/aarch64-sve-builtins-sme.def
@@ -68,6 +68,8 @@ DEF_SME_ZA_FUNCTION (svusmopa, binary_za_int_m,
mop_base_unsigned, za_m)
DEF_SME_ZA_FUNCTION (svusmops, binary_za_int_m, mop_base_unsigned, za_m)
DEF_SME_ZA_FUNCTION (svwrite_hor, write_za_m, za_all_data, za_m)
DEF_SME_ZA_FUNCTION (svwrite_ver, write_za_m, za_all_data, za_m)
+DEF_SME_FUNCTION_GS (svwrite_zt, write_zt, all_data, none, none)
+DEF_SME_FUNCTION_GS (svwrite_lane_zt, write_lane_zt, all_data, none, none)
#undef REQUIRED_EXTENSIONS
#define REQUIRED_EXTENSIONS streaming_only (AARCH64_FL_SME_I16I64)
@@ -120,6 +122,7 @@ DEF_SME_ZA_FUNCTION_GS (svdot_lane, dot_za_slice_lane,
za_s_b_integer,
DEF_SME_FUNCTION_GS (svluti2_lane_zt, luti2_lane_zt, bhs_data, x124, none)
DEF_SME_FUNCTION_GS (svluti4_lane_zt, luti4_lane_zt, bhs_data, x12, none)
DEF_SME_FUNCTION_GS (svluti4_lane_zt, luti4_lane_zt, hs_data, x4, none)
+DEF_SME_FUNCTION_GS (svluti4_zt, luti4_zt, b_integer, x4, none)
DEF_SME_ZA_FUNCTION_GS (svmla, binary_za_slice_opt_single, za_s_float,
vg1x24, none)
DEF_SME_ZA_FUNCTION_GS (svmla, binary_za_slice_opt_single, za_s_h_data,
diff --git a/gcc/config/aarch64/aarch64-sve-builtins-sme.h
b/gcc/config/aarch64/aarch64-sve-builtins-sme.h
index 9ed8101d2f9..4968f65442b 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins-sme.h
+++ b/gcc/config/aarch64/aarch64-sve-builtins-sme.h
@@ -44,6 +44,7 @@ namespace aarch64_sve
extern const function_base *const svldr_zt;
extern const function_base *const svluti2_lane_zt;
extern const function_base *const svluti4_lane_zt;
+ extern const function_base *const svluti4_zt;
extern const function_base *const svmla_za;
extern const function_base *const svmla_lane_za;
extern const function_base *const svmls_za;
@@ -75,6 +76,8 @@ namespace aarch64_sve
extern const function_base *const svwrite_za;
extern const function_base *const svwrite_hor_za;
extern const function_base *const svwrite_ver_za;
+ extern const function_base *const svwrite_zt;
+ extern const function_base *const svwrite_lane_zt;
extern const function_base *const svundef_za;
extern const function_base *const svvdot_lane_za;
extern const function_base *const svzero_mask_za;
diff --git a/gcc/config/aarch64/aarch64-sve-builtins.h
b/gcc/config/aarch64/aarch64-sve-builtins.h
index c145b8065ae..d6a58b450d6 100644
--- a/gcc/config/aarch64/aarch64-sve-builtins.h
+++ b/gcc/config/aarch64/aarch64-sve-builtins.h
@@ -57,9 +57,10 @@
function_shape describes how that instruction has been presented at
the language level.
- The static list of functions uses function_group to describe a group
- of related functions. The function_builder class is responsible for
- expanding this static description into a list of individual functions
+ The static arrays of function_group_info (function_groups,
+ neon_sve_function_groups, sme_function_groups) use function_group to
describe
+ a group of related functions. The function_builder class is responsible for
+ expanding these static description into a list of individual functions
and registering the associated built-in functions. function_instance
describes one of these individual functions in terms of the properties
described above.
diff --git a/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svluti4_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svluti4_zt_1.c
new file mode 100644
index 00000000000..d05c2e01a8e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svluti4_zt_1.c
@@ -0,0 +1,30 @@
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+/* LUTI4 (four registers, 8-bit)
+ Variants are also available for: _u8
+ svint8x4_t svluti4_zt_s8_x4 (uint64_t zt0, svuint8x2_t zn)
+ __arm_streaming __arm_in ("zt0"); */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+#define SHARED_ZT0
+#include "test_sme2_acle.h"
+
+/*
+** luti4_zt_u8_x4:
+** luti4 {z0.b - z3.b}, zt0, {z0 - z1}
+** ret
+*/
+PROTO (luti4_zt_u8_x4, svuint8x4_t, (svuint8x2_t z0))
+{
+ return svluti4_zt_u8_x4 (0, z0);
+}
+
+/*
+** luti4_zt_s8_x4:
+** luti4 {z0.b - z3.b}, zt0, {z0 - z1}
+** ret
+*/
+PROTO (luti4_zt_s8_x4, svint8x4_t, (svuint8x2_t z0))
+{
+ return svluti4_zt_s8_x4 (0, z0);
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_lane_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_lane_zt_1.c
new file mode 100644
index 00000000000..256e32b0f6a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_lane_zt_1.c
@@ -0,0 +1,204 @@
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_lane_zt[_u8] (uint64_t zt0, svuint8_t zt, uint64_t idx)
+ __arm_streaming __arm_out ("zt0"); */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+#define SHARED_ZT0
+#include "test_sme2_acle.h"
+
+/*
+** write_lane_zt_u8:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_u8, void, (svuint8_t z0))
+{
+ svwrite_lane_zt_u8 (0, z0, 0);
+ svwrite_lane_zt_u8 (0, z0, 1);
+ svwrite_lane_zt_u8 (0, z0, 2);
+ svwrite_lane_zt_u8 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_s8:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_s8, void, (svint8_t z0))
+{
+ svwrite_lane_zt_s8 (0, z0, 0);
+ svwrite_lane_zt_s8 (0, z0, 1);
+ svwrite_lane_zt_s8 (0, z0, 2);
+ svwrite_lane_zt_s8 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_u16:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_u16, void, (svuint16_t z0))
+{
+ svwrite_lane_zt_u16 (0, z0, 0);
+ svwrite_lane_zt_u16 (0, z0, 1);
+ svwrite_lane_zt_u16 (0, z0, 2);
+ svwrite_lane_zt_u16 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_s16:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_s16, void, (svint16_t z0))
+{
+ svwrite_lane_zt_s16 (0, z0, 0);
+ svwrite_lane_zt_s16 (0, z0, 1);
+ svwrite_lane_zt_s16 (0, z0, 2);
+ svwrite_lane_zt_s16 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_u32:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_u32, void, (svuint32_t z0))
+{
+ svwrite_lane_zt_u32 (0, z0, 0);
+ svwrite_lane_zt_u32 (0, z0, 1);
+ svwrite_lane_zt_u32 (0, z0, 2);
+ svwrite_lane_zt_u32 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_s32:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_s32, void, (svint32_t z0))
+{
+ svwrite_lane_zt_s32 (0, z0, 0);
+ svwrite_lane_zt_s32 (0, z0, 1);
+ svwrite_lane_zt_s32 (0, z0, 2);
+ svwrite_lane_zt_s32 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_u64:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_u64, void, (svuint64_t z0))
+{
+ svwrite_lane_zt_u64 (0, z0, 0);
+ svwrite_lane_zt_u64 (0, z0, 1);
+ svwrite_lane_zt_u64 (0, z0, 2);
+ svwrite_lane_zt_u64 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_s64:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_s64, void, (svint64_t z0))
+{
+ svwrite_lane_zt_s64 (0, z0, 0);
+ svwrite_lane_zt_s64 (0, z0, 1);
+ svwrite_lane_zt_s64 (0, z0, 2);
+ svwrite_lane_zt_s64 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_bf16:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_bf16, void, (svbfloat16_t z0))
+{
+ svwrite_lane_zt_bf16 (0, z0, 0);
+ svwrite_lane_zt_bf16 (0, z0, 1);
+ svwrite_lane_zt_bf16 (0, z0, 2);
+ svwrite_lane_zt_bf16 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_f16:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_f16, void, (svfloat16_t z0))
+{
+ svwrite_lane_zt_f16 (0, z0, 0);
+ svwrite_lane_zt_f16 (0, z0, 1);
+ svwrite_lane_zt_f16 (0, z0, 2);
+ svwrite_lane_zt_f16 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_f32:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_f32, void, (svfloat32_t z0))
+{
+ svwrite_lane_zt_f32 (0, z0, 0);
+ svwrite_lane_zt_f32 (0, z0, 1);
+ svwrite_lane_zt_f32 (0, z0, 2);
+ svwrite_lane_zt_f32 (0, z0, 3);
+}
+
+/*
+** write_lane_zt_f64:
+** movt zt0 \[0, mul vl\], z0
+** movt zt0 \[1, mul vl\], z0
+** movt zt0 \[2, mul vl\], z0
+** movt zt0 \[3, mul vl\], z0
+** ret
+*/
+PROTO (write_lane_zt_f64, void, (svfloat64_t z0))
+{
+ svwrite_lane_zt_f64 (0, z0, 0);
+ svwrite_lane_zt_f64 (0, z0, 1);
+ svwrite_lane_zt_f64 (0, z0, 2);
+ svwrite_lane_zt_f64 (0, z0, 3);
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_zt_1.c
new file mode 100644
index 00000000000..dfe3267e0cb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_zt_1.c
@@ -0,0 +1,96 @@
+/* { dg-final { check-function-bodies "**" "" "-DCHECK_ASM" } } */
+
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_zt[_u8] (uint64_t zt0, svuint8_t zt, uint64_t idx)
+ __arm_streaming __arm_out ("zt0"); */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+#define SHARED_ZT0
+#include "test_sme2_acle.h"
+
+/*
+** write_zt_u8:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_u8, void, (svuint8_t z0)) { svwrite_zt_u8 (0, z0); }
+
+/*
+** write_zt_s8:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_s8, void, (svint8_t z0)) { svwrite_zt_s8 (0, z0); }
+
+/*
+** write_zt_u16:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_u16, void, (svuint16_t z0)) { svwrite_zt_u16 (0, z0); }
+
+/*
+** write_zt_s16:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_s16, void, (svint16_t z0)) { svwrite_zt_s16 (0, z0); }
+
+/*
+** write_zt_u32:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_u32, void, (svuint32_t z0)) { svwrite_zt_u32 (0, z0); }
+
+/*
+** write_zt_s32:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_s32, void, (svint32_t z0)) { svwrite_zt_s32 (0, z0); }
+
+/*
+** write_zt_u64:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_u64, void, (svuint64_t z0)) { svwrite_zt_u64 (0, z0); }
+
+/*
+** write_zt_s64:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_s64, void, (svint64_t z0)) { svwrite_zt_s64 (0, z0); }
+
+/*
+** write_zt_bf16:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_bf16, void, (svbfloat16_t z0)) { svwrite_zt_bf16 (0, z0); }
+
+/*
+** write_zt_f16:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_f16, void, (svfloat16_t z0)) { svwrite_zt_f16 (0, z0); }
+
+/*
+** write_zt_f32:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_f32, void, (svfloat32_t z0)) { svwrite_zt_f32 (0, z0); }
+
+/*
+** write_zt_f64:
+** movt zt0 \[0, mul vl\], z0
+** ret
+*/
+PROTO (write_zt_f64, void, (svfloat64_t z0)) { svwrite_zt_f64 (0, z0); }
diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svluti4_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svluti4_zt_1.c
new file mode 100644
index 00000000000..d30cb71d78b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svluti4_zt_1.c
@@ -0,0 +1,77 @@
+/* { dg-options "-std=c23" } */
+/* { dg-do compile } */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+static_assert (__ARM_FEATURE_SME_LUTv2 == 1);
+#include <arm_sme.h>
+
+/* LUTI4 (four registers, 8-bit)
+ Variants are also available for: _u8
+ svint8x4_t svluti4_zt_s8_x4 (uint64_t zt0, svuint8x2_t zn)
+ __arm_streaming __arm_in ("zt0"); */
+
+void
+test_svluti4_zt_ok (svuint8x2_t zn_u8) __arm_streaming __arm_in ("zt0")
+{
+ svluti4_zt_s8_x4 (0, zn_u8);
+ svluti4_zt_u8_x4 (0, zn_u8);
+}
+
+void
+test_svluti4_zt_not_streaming (svuint8x2_t zn_u8)
+{
+ svluti4_zt_s8_x4 ( 0, zn_u8); /* { dg-error {ACLE function
'svluti4_zt_s8_x4' can only be called when SME streaming mode is enabled} } */
+ svluti4_zt_u8_x4 ( 0, zn_u8); /* { dg-error {ACLE function
'svluti4_zt_u8_x4' can only be called when SME streaming mode is enabled} } */
+}
+
+void
+test_svluti4_zt_streaming_compatible (svuint8x2_t zn_u8)
__arm_streaming_compatible
+{
+ svluti4_zt_s8_x4 ( 0, zn_u8); /* { dg-error {ACLE function
'svluti4_zt_s8_x4' can only be called when SME streaming mode is enabled} } */
+ svluti4_zt_u8_x4 ( 0, zn_u8); /* { dg-error {ACLE function
'svluti4_zt_u8_x4' can only be called when SME streaming mode is enabled} } */
+}
+
+void
+test_svluti4_zt_arg_count_mismatch (svuint8x2_t zn_u8) __arm_streaming __arm_in
("zt0")
+{
+ svluti4_zt_s8_x4 (); /* { dg-error {too few arguments to function
'svluti4_zt_s8_x4'; expected 2, have 0} } */
+ svluti4_zt_u8_x4 (); /* { dg-error {too few arguments to function
'svluti4_zt_u8_x4'; expected 2, have 0} } */
+
+ svluti4_zt_s8_x4 (0); /* { dg-error {too few arguments to function
'svluti4_zt_s8_x4'; expected 2, have 1} } */
+ svluti4_zt_u8_x4 (0); /* { dg-error {too few arguments to function
'svluti4_zt_u8_x4'; expected 2, have 1} } */
+
+ svluti4_zt_s8_x4 (0, zn_u8, 0); /* { dg-error {too many arguments to
function 'svluti4_zt_s8_x4'; expected 2, have 3} } */
+ svluti4_zt_u8_x4 (0, zn_u8, 0); /* { dg-error {too many arguments to
function 'svluti4_zt_u8_x4'; expected 2, have 3} } */
+}
+
+void
+test_svluti4_zt_arg_type_mismatch (svuint8x2_t zn_u8) __arm_streaming __arm_in
("zt0")
+{
+ struct Foo { uint64_t val } foo = {0};
+ svluti4_zt_s8_x4 (foo, zn_u8); /* { dg-error {incompatible type for argument
1 of 'svluti4_zt_s8_x4'} } */
+ svluti4_zt_u8_x4 (foo, zn_u8); /* { dg-error {incompatible type for argument
1 of 'svluti4_zt_u8_x4'} } */
+}
+
+void
+test_svluti4_zt_ret_type_mismatch (svuint8x2_t zn_u8) __arm_streaming __arm_in
("zt0")
+{
+ int x0 = svluti4_zt_s8_x4 ( 0, zn_u8); /* { dg-error {incompatible types
when initializing type 'int' using type 'svint8x4_t'} } */
+ int x1 = svluti4_zt_u8_x4 ( 0, zn_u8); /* { dg-error {incompatible types
when initializing type 'int' using type 'svuint8x4_t'} } */
+}
+
+void
+test_svluti4_zt_zt0_not_immediate (uint64_t zt0, svuint8x2_t zn_u8) __arm_streaming
__arm_in ("zt0")
+{
+ svluti4_zt_s8_x4 (zt0, zn_u8); /* { dg-error {argument 1 of
'svluti4_zt_s8_x4' must be an integer constant expression} } */
+ svluti4_zt_u8_x4 (zt0, zn_u8); /* { dg-error {argument 1 of
'svluti4_zt_u8_x4' must be an integer constant expression} } */
+}
+
+void
+test_svluti4_zt_zt0_not_in_range (uint64_t zt0, svuint8x2_t zn_u8)__arm_streaming
__arm_in ("zt0")
+{
+ svluti4_zt_s8_x4 (1, zn_u8); /* { dg-error {passing 1 to argument 1 of
'svluti4_zt_s8_x4', which expects the value 0} } */
+ svluti4_zt_u8_x4 (1, zn_u8); /* { dg-error {passing 1 to argument 1 of
'svluti4_zt_u8_x4', which expects the value 0} } */
+
+ svluti4_zt_s8_x4 (-1, zn_u8); /* { dg-error {passing -1 to argument 1 of
'svluti4_zt_s8_x4', which expects the value 0} } */
+ svluti4_zt_u8_x4 (-1, zn_u8); /* { dg-error {passing -1 to argument 1 of
'svluti4_zt_u8_x4', which expects the value 0} } */
+}
diff --git
a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_lane_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_lane_zt_1.c
new file mode 100644
index 00000000000..22e82cff340
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_lane_zt_1.c
@@ -0,0 +1,397 @@
+/* { dg-options "-std=c23" } */
+/* { dg-do compile } */
+
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_lane_zt[_u8] (uint64_t zt0, svuint8_t zt, uint64_t idx)
+ __arm_streaming __arm_out ("zt0"); */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+static_assert (__ARM_FEATURE_SME_LUTv2 == 1);
+#include <arm_sme.h>
+
+void
+test_svwrite_lane_zt_explicit_ok (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_inout ("zt0")
+{
+ svwrite_lane_zt_u8 (0, zt_u8, 0);
+ svwrite_lane_zt_s8 (0, zt_s8, 0);
+ svwrite_lane_zt_u16 (0, zt_u16, 0);
+ svwrite_lane_zt_s16 (0, zt_s16, 0);
+ svwrite_lane_zt_u32 (0, zt_u32, 0);
+ svwrite_lane_zt_s32 (0, zt_s32, 0);
+ svwrite_lane_zt_u64 (0, zt_u64, 0);
+ svwrite_lane_zt_s64 (0, zt_s64, 0);
+ svwrite_lane_zt_bf16 (0, zt_bf16, 0);
+ svwrite_lane_zt_f16 (0, zt_f16, 0);
+ svwrite_lane_zt_f32 (0, zt_f32, 0);
+ svwrite_lane_zt_f64 (0, zt_f64, 0);
+}
+
+void
+test_svwrite_lane_zt_inferred_ok (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_inout ("zt0")
+{
+ svwrite_lane_zt (0, zt_u8, 0);
+ svwrite_lane_zt (0, zt_s8, 0);
+ svwrite_lane_zt (0, zt_u16, 0);
+ svwrite_lane_zt (0, zt_s16, 0);
+ svwrite_lane_zt (0, zt_u32, 0);
+ svwrite_lane_zt (0, zt_s32, 0);
+ svwrite_lane_zt (0, zt_u64, 0);
+ svwrite_lane_zt (0, zt_s64, 0);
+ svwrite_lane_zt (0, zt_bf16, 0);
+ svwrite_lane_zt (0, zt_f16, 0);
+ svwrite_lane_zt (0, zt_f32, 0);
+ svwrite_lane_zt (0, zt_f64, 0);
+}
+
+void
+test_svwrite_lane_zt_explicit_error_not_streaming (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64)
+{
+ svwrite_lane_zt_u8 (0, zt_u8, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u8' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_s8 (0, zt_s8, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s8' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_u16 (0, zt_u16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_s16 (0, zt_s16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_u32 (0, zt_u32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_s32 (0, zt_s32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_u64 (0, zt_u64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u64' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_s64 (0, zt_s64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s64' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_bf16 (0, zt_bf16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_bf16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_f16 (0, zt_f16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_f32 (0, zt_f32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt_f64 (0, zt_f64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f64' can only be called when SME streaming mode is enabled} }
*/
+}
+
+void
+test_svwrite_lane_zt_inferred_error_not_streaming (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64)
+{
+ svwrite_lane_zt (0, zt_u8, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u8' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_s8, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s8' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_u16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_s16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_u32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_s32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_u64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_u64' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_s64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_s64' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_bf16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_bf16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_f16, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f16' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_f32, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f32' can only be called when SME streaming mode is enabled} }
*/
+ svwrite_lane_zt (0, zt_f64, 0); /* { dg-error {ACLE function
'svwrite_lane_zt_f64' can only be called when SME streaming mode is enabled} }
*/
+}
+
+void
+test_svwrite_lane_zt_explicit_error_arg_count_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt_u8 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u8'; expected 3, have 0} } */
+ svwrite_lane_zt_s8 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s8'; expected 3, have 0} } */
+ svwrite_lane_zt_u16 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u16'; expected 3, have 0} } */
+ svwrite_lane_zt_s16 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s16'; expected 3, have 0} } */
+ svwrite_lane_zt_u32 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u32'; expected 3, have 0} } */
+ svwrite_lane_zt_s32 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s32'; expected 3, have 0} } */
+ svwrite_lane_zt_u64 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u64'; expected 3, have 0} } */
+ svwrite_lane_zt_s64 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s64'; expected 3, have 0} } */
+ svwrite_lane_zt_bf16 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_bf16'; expected 3, have 0} } */
+ svwrite_lane_zt_f16 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f16'; expected 3, have 0} } */
+ svwrite_lane_zt_f32 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f32'; expected 3, have 0} } */
+ svwrite_lane_zt_f64 (); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f64'; expected 3, have 0} } */
+
+ svwrite_lane_zt_u8 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u8'; expected 3, have 1} } */
+ svwrite_lane_zt_s8 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s8'; expected 3, have 1} } */
+ svwrite_lane_zt_u16 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u16'; expected 3, have 1} } */
+ svwrite_lane_zt_s16 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s16'; expected 3, have 1} } */
+ svwrite_lane_zt_u32 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u32'; expected 3, have 1} } */
+ svwrite_lane_zt_s32 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s32'; expected 3, have 1} } */
+ svwrite_lane_zt_u64 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_u64'; expected 3, have 1} } */
+ svwrite_lane_zt_s64 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_s64'; expected 3, have 1} } */
+ svwrite_lane_zt_bf16 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_bf16'; expected 3, have 1} } */
+ svwrite_lane_zt_f16 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f16'; expected 3, have 1} } */
+ svwrite_lane_zt_f32 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f32'; expected 3, have 1} } */
+ svwrite_lane_zt_f64 (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt_f64'; expected 3, have 1} } */
+
+ svwrite_lane_zt_u8 (0, zt_u8); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_u8'; expected 3, have 2} } */
+ svwrite_lane_zt_s8 (0, zt_s8); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_s8'; expected 3, have 2} } */
+ svwrite_lane_zt_u16 (0, zt_u16); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_u16'; expected 3, have 2} } */
+ svwrite_lane_zt_s16 (0, zt_s16); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_s16'; expected 3, have 2} } */
+ svwrite_lane_zt_u32 (0, zt_u32); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_u32'; expected 3, have 2} } */
+ svwrite_lane_zt_s32 (0, zt_s32); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_s32'; expected 3, have 2} } */
+ svwrite_lane_zt_u64 (0, zt_u64); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_u64'; expected 3, have 2} } */
+ svwrite_lane_zt_s64 (0, zt_s64); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_s64'; expected 3, have 2} } */
+ svwrite_lane_zt_bf16 (0, zt_bf16); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_bf16'; expected 3, have 2} } */
+ svwrite_lane_zt_f16 (0, zt_f16); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_f16'; expected 3, have 2} } */
+ svwrite_lane_zt_f32 (0, zt_f32); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_f32'; expected 3, have 2} } */
+ svwrite_lane_zt_f64 (0, zt_f64); /* { dg-error {too few arguments to
function 'svwrite_lane_zt_f64'; expected 3, have 2} } */
+
+ svwrite_lane_zt_u8 (0, zt_u8, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_u8'; expected 3, have 4} } */
+ svwrite_lane_zt_s8 (0, zt_s8, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_s8'; expected 3, have 4} } */
+ svwrite_lane_zt_u16 (0, zt_u16, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_u16'; expected 3, have 4} } */
+ svwrite_lane_zt_s16 (0, zt_s16, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_s16'; expected 3, have 4} } */
+ svwrite_lane_zt_u32 (0, zt_u32, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_u32'; expected 3, have 4} } */
+ svwrite_lane_zt_s32 (0, zt_s32, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_s32'; expected 3, have 4} } */
+ svwrite_lane_zt_u64 (0, zt_u64, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_u64'; expected 3, have 4} } */
+ svwrite_lane_zt_s64 (0, zt_s64, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_s64'; expected 3, have 4} } */
+ svwrite_lane_zt_bf16 (0, zt_bf16, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_bf16'; expected 3, have 4} } */
+ svwrite_lane_zt_f16 (0, zt_f16, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_f16'; expected 3, have 4} } */
+ svwrite_lane_zt_f32 (0, zt_f32, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_f32'; expected 3, have 4} } */
+ svwrite_lane_zt_f64 (0, zt_f64, 0, 0); /* { dg-error {too many arguments
to function 'svwrite_lane_zt_f64'; expected 3, have 4} } */
+}
+
+void
+test_svwrite_lane_zt_implicit_error_arg_count_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt (); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u8); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s8); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u16); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s16); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u32); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s32); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u64); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s64); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_bf16); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f16); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f32); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f64); /* { dg-error {too few arguments to function
'svwrite_lane_zt'} } */
+
+ svwrite_lane_zt (0, zt_u8, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s8, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u16, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s16, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u32, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s32, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_u64, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_s64, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_bf16, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f16, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f32, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+ svwrite_lane_zt (0, zt_f64, 0, 0); /* { dg-error {too many arguments to
function 'svwrite_lane_zt'} } */
+}
+
+void
+test_svwrite_lane_zt_explicit_error_arg_type_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64, svuint8x2_t zt_u8x2, svint8x2_t zt_s8x2,
+ svuint16x2_t zt_u16x2, svint16x2_t zt_s16x2, svuint32x2_t zt_u32x2,
+ svint32x2_t zt_s32x2, svuint64x2_t zt_u64x2, svint64x2_t zt_s64x2,
+ svbfloat16x2_t zt_bf16x2, svfloat16x2_t zt_f16x2, svfloat32x2_t zt_f32x2,
+ svfloat64x2_t zt_f64x2) __arm_streaming __arm_out ("zt0")
+{
+ struct Foo { uint64_t val } foo = {0};
+ svwrite_lane_zt_u8 (foo, zt_u8, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_u8'} } */
+ svwrite_lane_zt_s8 (foo, zt_s8, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_s8'} } */
+ svwrite_lane_zt_u16 (foo, zt_u16, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_u16'} } */
+ svwrite_lane_zt_s16 (foo, zt_s16, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_s16'} } */
+ svwrite_lane_zt_u32 (foo, zt_u32, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_u32'} } */
+ svwrite_lane_zt_s32 (foo, zt_s32, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_s32'} } */
+ svwrite_lane_zt_u64 (foo, zt_u64, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_u64'} } */
+ svwrite_lane_zt_s64 (foo, zt_s64, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_s64'} } */
+ svwrite_lane_zt_bf16 (foo, zt_bf16, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_bf16'} } */
+ svwrite_lane_zt_f16 (foo, zt_f16, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_f16'} } */
+ svwrite_lane_zt_f32 (foo, zt_f32, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_f32'} } */
+ svwrite_lane_zt_f64 (foo, zt_f64, 0); /* { dg-error {incompatible type for
argument 1 of 'svwrite_lane_zt_f64'} } */
+
+ svwrite_lane_zt_u8 (0, zt_s8, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u8'} } */
+ svwrite_lane_zt_s8 (0, zt_u8, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s8'} } */
+ svwrite_lane_zt_u16 (0, zt_s16, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u16'} } */
+ svwrite_lane_zt_s16 (0, zt_u16, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s16'} } */
+ svwrite_lane_zt_u32 (0, zt_s32, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u32'} } */
+ svwrite_lane_zt_s32 (0, zt_u32, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s32'} } */
+ svwrite_lane_zt_u64 (0, zt_s64, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u64'} } */
+ svwrite_lane_zt_s64 (0, zt_u64, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s64'} } */
+ svwrite_lane_zt_bf16 (0, zt_f16, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_bf16'} } */
+ svwrite_lane_zt_f16 (0, zt_bf16, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f16'} } */
+ svwrite_lane_zt_f32 (0, zt_f64, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f32'} } */
+ svwrite_lane_zt_f64 (0, zt_f32, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f64'} } */
+
+ svwrite_lane_zt_u8 (0, zt_u8x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u8'} } */
+ svwrite_lane_zt_s8 (0, zt_s8x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s8'} } */
+ svwrite_lane_zt_u16 (0, zt_u16x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u16'} } */
+ svwrite_lane_zt_s16 (0, zt_s16x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s16'} } */
+ svwrite_lane_zt_u32 (0, zt_u32x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u32'} } */
+ svwrite_lane_zt_s32 (0, zt_s32x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s32'} } */
+ svwrite_lane_zt_u64 (0, zt_u64x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_u64'} } */
+ svwrite_lane_zt_s64 (0, zt_s64x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_s64'} } */
+ svwrite_lane_zt_bf16 (0, zt_bf16x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_bf16'} } */
+ svwrite_lane_zt_f16 (0, zt_f16x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f16'} } */
+ svwrite_lane_zt_f32 (0, zt_f32x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f32'} } */
+ svwrite_lane_zt_f64 (0, zt_f64x2, 0); /* { dg-error {incompatible type for
argument 2 of 'svwrite_lane_zt_f64'} } */
+
+ svwrite_lane_zt_u8 (0, zt_u8, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_u8'} } */
+ svwrite_lane_zt_s8 (0, zt_s8, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_s8'} } */
+ svwrite_lane_zt_u16 (0, zt_u16, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_u16'} } */
+ svwrite_lane_zt_s16 (0, zt_s16, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_s16'} } */
+ svwrite_lane_zt_u32 (0, zt_u32, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_u32'} } */
+ svwrite_lane_zt_s32 (0, zt_s32, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_s32'} } */
+ svwrite_lane_zt_u64 (0, zt_u64, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_u64'} } */
+ svwrite_lane_zt_s64 (0, zt_s64, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_s64'} } */
+ svwrite_lane_zt_bf16 (0, zt_bf16, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_bf16'} } */
+ svwrite_lane_zt_f16 (0, zt_f16, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_f16'} } */
+ svwrite_lane_zt_f32 (0, zt_f32, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_f32'} } */
+ svwrite_lane_zt_f64 (0, zt_f64, foo); /* { dg-error {incompatible type for
argument 3 of 'svwrite_lane_zt_f64'} } */
+}
+
+void
+test_svwrite_zt_inferred_error_arg_type_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64, svuint8x2_t zt_u8x2) __arm_streaming __arm_out ("zt0")
+{
+ struct Foo { uint64_t val } foo = {0};
+ svwrite_lane_zt (foo, zt_u8, 0); /* { dg-error {passing 'struct Foo' to
argument 1 of 'svwrite_lane_zt', which expects 'uint64_t'} } */
+ svwrite_lane_zt ( 0, zt_u8x2, 0); /* { dg-error {passing 'svuint8x2_t' to
argument 2 of 'svwrite_lane_zt', which expects a single SVE vector rather than
a tuple} } */
+ svwrite_lane_zt (0, zt_u8, foo); /* { dg-error {passing 'struct Foo' to
argument 3 of 'svwrite_lane_zt', which expects 'uint64_t'} } */
+}
+
+void
+test_svwrite_lane_zt_explicit_error_zt0_not_immediate (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt_u8 (zt0, zt_u8, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_u8' must be an integer constant expression} } */
+ svwrite_lane_zt_s8 (zt0, zt_s8, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_s8' must be an integer constant expression} } */
+ svwrite_lane_zt_u16 (zt0, zt_u16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_u16' must be an integer constant expression} } */
+ svwrite_lane_zt_s16 (zt0, zt_s16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_s16' must be an integer constant expression} } */
+ svwrite_lane_zt_u32 (zt0, zt_u32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_u32' must be an integer constant expression} } */
+ svwrite_lane_zt_s32 (zt0, zt_s32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_s32' must be an integer constant expression} } */
+ svwrite_lane_zt_u64 (zt0, zt_u64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_u64' must be an integer constant expression} } */
+ svwrite_lane_zt_s64 (zt0, zt_s64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_s64' must be an integer constant expression} } */
+ svwrite_lane_zt_bf16 (zt0, zt_bf16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_bf16' must be an integer constant expression} } */
+ svwrite_lane_zt_f16 (zt0, zt_f16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_f16' must be an integer constant expression} } */
+ svwrite_lane_zt_f32 (zt0, zt_f32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_f32' must be an integer constant expression} } */
+ svwrite_lane_zt_f64 (zt0, zt_f64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt_f64' must be an integer constant expression} } */
+}
+
+void
+test_svwrite_lane_zt_inferred_error_zt0_not_immediate (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt (zt0, zt_u8, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_s8, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_u16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_s16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_u32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_s32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_u64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_s64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_bf16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_f16, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_f32, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (zt0, zt_f64, 0); /* { dg-error {argument 1 of
'svwrite_lane_zt' must be an integer constant expression} } */
+}
+
+void
+test_svwrite_lane_zt_explicit_error_idx_not_immediate (
+ uint64_t idx, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt_u8 (0, zt_u8, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_u8' must be an integer constant expression} } */
+ svwrite_lane_zt_s8 (0, zt_s8, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_s8' must be an integer constant expression} } */
+ svwrite_lane_zt_u16 (0, zt_u16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_u16' must be an integer constant expression} } */
+ svwrite_lane_zt_s16 (0, zt_s16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_s16' must be an integer constant expression} } */
+ svwrite_lane_zt_u32 (0, zt_u32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_u32' must be an integer constant expression} } */
+ svwrite_lane_zt_s32 (0, zt_s32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_s32' must be an integer constant expression} } */
+ svwrite_lane_zt_u64 (0, zt_u64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_u64' must be an integer constant expression} } */
+ svwrite_lane_zt_s64 (0, zt_s64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_s64' must be an integer constant expression} } */
+ svwrite_lane_zt_bf16 ( 0, zt_bf16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_bf16' must be an integer constant expression} } */
+ svwrite_lane_zt_f16 (0, zt_f16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_f16' must be an integer constant expression} } */
+ svwrite_lane_zt_f32 (0, zt_f32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_f32' must be an integer constant expression} } */
+ svwrite_lane_zt_f64 (0, zt_f64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt_f64' must be an integer constant expression} } */
+}
+
+void
+test_svwrite_lane_zt_inferred_error_idx_not_immediate (
+ uint64_t idx, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt (0, zt_u8, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_s8, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_u16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_s16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_u32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_s32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_u64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_s64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_bf16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_f16, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_f32, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+ svwrite_lane_zt (0, zt_f64, idx); /* { dg-error {argument 3 of
'svwrite_lane_zt' must be an integer constant expression} } */
+}
+
+void
+test_svwrite_lane_zt_explicit_error_idx_not_in_range (
+ uint64_t idx, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt_u8 (0, zt_u8, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_u8', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_s8 (0, zt_s8, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_s8', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_u16 (0, zt_u16, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_u16', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_s16 (0, zt_s16, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_s16', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_u32 (0, zt_u32, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_u32', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_s32 (0, zt_s32, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_s32', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_u64 (0, zt_u64, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_u64', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_s64 (0, zt_s64, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_s64', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_bf16 (0, zt_bf16, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_bf16', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_f16 (0, zt_f16, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_f16', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_f32 (0, zt_f32, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_f32', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt_f64 (0, zt_f64, 4); /* { dg-error {passing 4 to argument 3
of 'svwrite_lane_zt_f64', which expects a value in the range \[0, 3\]} } */
+}
+
+void
+test_svwrite_lane_zt_inferred_error_idx_not_in_range (
+ uint64_t idx, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_lane_zt (0, zt_u8, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_s8, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_u16, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_s16, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_u32, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_s32, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_u64, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_s64, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_bf16, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_f16, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_f32, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+ svwrite_lane_zt (0, zt_f64, 4); /* { dg-error {passing 4 to argument 3 of
'svwrite_lane_zt', which expects a value in the range \[0, 3\]} } */
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_zt_1.c
b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_zt_1.c
new file mode 100644
index 00000000000..1bc10e61da8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_zt_1.c
@@ -0,0 +1,342 @@
+/* { dg-options "-std=c23" } */
+/* { dg-do compile } */
+
+/* MOVT (vector to table)
+ Variants are also available for:
+ [_s8], [_u16], [_s16], [_u32], [_s32], [_u64], [_s64]
+ [_bf16], [_f16], [_f32], [_f64]
+ void svwrite_zt[_u8] (uint64_t zt0, svuint8_t zt, uint64_t idx)
+ __arm_streaming __arm_out ("zt0"); */
+
+#pragma GCC target "+sve2,+sme-lutv2"
+static_assert (__ARM_FEATURE_SME_LUTv2 == 1);
+#include <arm_sme.h>
+
+void
+test_svwrite_zt_explicit_ok (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt_u8 (0, zt_u8);
+ svwrite_zt_s8 (0, zt_s8);
+ svwrite_zt_u16 (0, zt_u16);
+ svwrite_zt_s16 (0, zt_s16);
+ svwrite_zt_u32 (0, zt_u32);
+ svwrite_zt_s32 (0, zt_s32);
+ svwrite_zt_u64 (0, zt_u64);
+ svwrite_zt_s64 (0, zt_s64);
+ svwrite_zt_bf16 (0, zt_bf16);
+ svwrite_zt_f16 (0, zt_f16);
+ svwrite_zt_f32 (0, zt_f32);
+ svwrite_zt_f64 (0, zt_f64);
+}
+
+void
+test_svwrite_zt_inferred_ok (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt (0, zt_u8);
+ svwrite_zt (0, zt_s8);
+ svwrite_zt (0, zt_u16);
+ svwrite_zt (0, zt_s16);
+ svwrite_zt (0, zt_u32);
+ svwrite_zt (0, zt_s32);
+ svwrite_zt (0, zt_u64);
+ svwrite_zt (0, zt_s64);
+ svwrite_zt (0, zt_bf16);
+ svwrite_zt (0, zt_f16);
+ svwrite_zt (0, zt_f32);
+ svwrite_zt (0, zt_f64);
+}
+
+void
+test_svwrite_zt_explicit_error_not_streaming (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64)
+{
+ svwrite_zt_u8 (0, zt_u8); /* { dg-error {ACLE function 'svwrite_zt_u8'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_s8 (0, zt_s8); /* { dg-error {ACLE function 'svwrite_zt_s8'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_u16 ( 0, zt_u16); /* { dg-error {ACLE function 'svwrite_zt_u16'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_s16 ( 0, zt_s16); /* { dg-error {ACLE function 'svwrite_zt_s16'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_u32 ( 0, zt_u32); /* { dg-error {ACLE function 'svwrite_zt_u32'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_s32 ( 0, zt_s32); /* { dg-error {ACLE function 'svwrite_zt_s32'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_u64 ( 0, zt_u64); /* { dg-error {ACLE function 'svwrite_zt_u64'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_s64 ( 0, zt_s64); /* { dg-error {ACLE function 'svwrite_zt_s64'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_bf16 ( 0, zt_bf16); /* { dg-error {ACLE function
'svwrite_zt_bf16' can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_f16 ( 0, zt_f16); /* { dg-error {ACLE function 'svwrite_zt_f16'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_f32 ( 0, zt_f32); /* { dg-error {ACLE function 'svwrite_zt_f32'
can only be called when SME streaming mode is enabled} } */
+ svwrite_zt_f64 ( 0, zt_f64); /* { dg-error {ACLE function 'svwrite_zt_f64'
can only be called when SME streaming mode is enabled} } */
+}
+
+void
+test_svwrite_zt_inferred_error_not_streaming (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64)
+{
+ svwrite_zt (0, zt_u8); /* { dg-error {ACLE function 'svwrite_zt_u8' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_s8); /* { dg-error {ACLE function 'svwrite_zt_s8' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_u16); /* { dg-error {ACLE function 'svwrite_zt_u16' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_s16); /* { dg-error {ACLE function 'svwrite_zt_s16' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_u32); /* { dg-error {ACLE function 'svwrite_zt_u32' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_s32); /* { dg-error {ACLE function 'svwrite_zt_s32' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_u64); /* { dg-error {ACLE function 'svwrite_zt_u64' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_s64); /* { dg-error {ACLE function 'svwrite_zt_s64' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_bf16); /* { dg-error {ACLE function 'svwrite_zt_bf16' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_f16); /* { dg-error {ACLE function 'svwrite_zt_f16' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_f32); /* { dg-error {ACLE function 'svwrite_zt_f32' can
only be called when SME streaming mode is enabled} } */
+ svwrite_zt (0, zt_f64); /* { dg-error {ACLE function 'svwrite_zt_f64' can
only be called when SME streaming mode is enabled} } */
+}
+
+void
+test_svwrite_zt_explicit_error_arg_count_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt_u8 (); /* { dg-error {too few arguments to function
'svwrite_zt_u8'; expected 2, have 0} } */
+ svwrite_zt_s8 (); /* { dg-error {too few arguments to function
'svwrite_zt_s8'; expected 2, have 0} } */
+ svwrite_zt_u16 (); /* { dg-error {too few arguments to function
'svwrite_zt_u16'; expected 2, have 0} } */
+ svwrite_zt_s16 (); /* { dg-error {too few arguments to function
'svwrite_zt_s16'; expected 2, have 0} } */
+ svwrite_zt_u32 (); /* { dg-error {too few arguments to function
'svwrite_zt_u32'; expected 2, have 0} } */
+ svwrite_zt_s32 (); /* { dg-error {too few arguments to function
'svwrite_zt_s32'; expected 2, have 0} } */
+ svwrite_zt_u64 (); /* { dg-error {too few arguments to function
'svwrite_zt_u64'; expected 2, have 0} } */
+ svwrite_zt_s64 (); /* { dg-error {too few arguments to function
'svwrite_zt_s64'; expected 2, have 0} } */
+ svwrite_zt_bf16 (); /* { dg-error {too few arguments to function
'svwrite_zt_bf16'; expected 2, have 0} } */
+ svwrite_zt_f16 (); /* { dg-error {too few arguments to function
'svwrite_zt_f16'; expected 2, have 0} } */
+ svwrite_zt_f32 (); /* { dg-error {too few arguments to function
'svwrite_zt_f32'; expected 2, have 0} } */
+ svwrite_zt_f64 (); /* { dg-error {too few arguments to function
'svwrite_zt_f64'; expected 2, have 0} } */
+
+ svwrite_zt_u8 (0); /* { dg-error {too few arguments to function
'svwrite_zt_u8'; expected 2, have 1} } */
+ svwrite_zt_s8 (0); /* { dg-error {too few arguments to function
'svwrite_zt_s8'; expected 2, have 1} } */
+ svwrite_zt_u16 (0); /* { dg-error {too few arguments to function
'svwrite_zt_u16'; expected 2, have 1} } */
+ svwrite_zt_s16 (0); /* { dg-error {too few arguments to function
'svwrite_zt_s16'; expected 2, have 1} } */
+ svwrite_zt_u32 (0); /* { dg-error {too few arguments to function
'svwrite_zt_u32'; expected 2, have 1} } */
+ svwrite_zt_s32 (0); /* { dg-error {too few arguments to function
'svwrite_zt_s32'; expected 2, have 1} } */
+ svwrite_zt_u64 (0); /* { dg-error {too few arguments to function
'svwrite_zt_u64'; expected 2, have 1} } */
+ svwrite_zt_s64 (0); /* { dg-error {too few arguments to function
'svwrite_zt_s64'; expected 2, have 1} } */
+ svwrite_zt_bf16 (0); /* { dg-error {too few arguments to function
'svwrite_zt_bf16'; expected 2, have 1} } */
+ svwrite_zt_f16 (0); /* { dg-error {too few arguments to function
'svwrite_zt_f16'; expected 2, have 1} } */
+ svwrite_zt_f32 (0); /* { dg-error {too few arguments to function
'svwrite_zt_f32'; expected 2, have 1} } */
+ svwrite_zt_f64 (0); /* { dg-error {too few arguments to function
'svwrite_zt_f64'; expected 2, have 1} } */
+
+ svwrite_zt_u8 (0, zt_u8, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_u8'; expected 2, have 3} } */
+ svwrite_zt_s8 (0, zt_s8, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_s8'; expected 2, have 3} } */
+ svwrite_zt_u16 (0, zt_u16, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_u16'; expected 2, have 3} } */
+ svwrite_zt_s16 (0, zt_s16, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_s16'; expected 2, have 3} } */
+ svwrite_zt_u32 (0, zt_u32, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_u32'; expected 2, have 3} } */
+ svwrite_zt_s32 (0, zt_s32, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_s32'; expected 2, have 3} } */
+ svwrite_zt_u64 (0, zt_u64, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_u64'; expected 2, have 3} } */
+ svwrite_zt_s64 (0, zt_s64, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_s64'; expected 2, have 3} } */
+ svwrite_zt_bf16 (0, zt_bf16, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_bf16'; expected 2, have 3} } */
+ svwrite_zt_f16 (0, zt_f16, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_f16'; expected 2, have 3} } */
+ svwrite_zt_f32 (0, zt_f32, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_f32'; expected 2, have 3} } */
+ svwrite_zt_f64 (0, zt_f64, 0); /* { dg-error {too many arguments to
function 'svwrite_zt_f64'; expected 2, have 3} } */
+}
+
+void
+test_svwrite_zt_inferred_error_arg_count_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt (); /* { dg-error {too few arguments to function 'svwrite_zt'} }
*/
+ svwrite_zt (0); /* { dg-error {too few arguments to function 'svwrite_zt'} }
*/
+
+ svwrite_zt (0, zt_u8, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_s8, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_u16, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_s16, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_u32, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_s32, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_u64, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_s64, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_bf16, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_f16, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_f32, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+ svwrite_zt (0, zt_f64, 0); /* { dg-error {too many arguments to function
'svwrite_zt'} } */
+}
+
+void
+test_svwrite_zt_explicit_error_arg_type_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64, svuint8x2_t zt_u8x2, svint8x2_t zt_s8x2,
+ svuint16x2_t zt_u16x2, svint16x2_t zt_s16x2, svuint32x2_t zt_u32x2,
+ svint32x2_t zt_s32x2, svuint64x2_t zt_u64x2, svint64x2_t zt_s64x2,
+ svbfloat16x2_t zt_bf16x2, svfloat16x2_t zt_f16x2, svfloat32x2_t zt_f32x2,
+ svfloat64x2_t zt_f64x2) __arm_streaming __arm_out ("zt0")
+{
+ struct Foo { uint64_t val } foo = {0};
+ svwrite_zt_u8 (foo, zt_u8); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_u8'} } */
+ svwrite_zt_s8 (foo, zt_s8); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_s8'} } */
+ svwrite_zt_u16 (foo, zt_u16); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_u16'} } */
+ svwrite_zt_s16 (foo, zt_s16); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_s16'} } */
+ svwrite_zt_u32 (foo, zt_u32); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_u32'} } */
+ svwrite_zt_s32 (foo, zt_s32); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_s32'} } */
+ svwrite_zt_u64 (foo, zt_u64); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_u64'} } */
+ svwrite_zt_s64 (foo, zt_s64); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_s64'} } */
+ svwrite_zt_bf16 (foo, zt_bf16); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_bf16'} } */
+ svwrite_zt_f16 (foo, zt_f16); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_f16'} } */
+ svwrite_zt_f32 (foo, zt_f32); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_f32'} } */
+ svwrite_zt_f64 (foo, zt_f64); /* { dg-error {incompatible type for
argument 1 of 'svwrite_zt_f64'} } */
+
+ svwrite_zt_u8 (0, zt_s8); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_u8'} } */
+ svwrite_zt_s8 (0, zt_u8); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_s8'} } */
+ svwrite_zt_u16 (0, zt_s16); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_u16'} } */
+ svwrite_zt_s16 (0, zt_u16); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_s16'} } */
+ svwrite_zt_u32 (0, zt_s32); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_u32'} } */
+ svwrite_zt_s32 (0, zt_u32); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_s32'} } */
+ svwrite_zt_u64 (0, zt_s64); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_u64'} } */
+ svwrite_zt_s64 (0, zt_u64); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_s64'} } */
+ svwrite_zt_bf16 (0, zt_f16); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_bf16'} } */
+ svwrite_zt_f16 (0, zt_bf16); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_f16'} } */
+ svwrite_zt_f32 (0, zt_f64); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_f32'} } */
+ svwrite_zt_f64 (0, zt_f32); /* { dg-error {incompatible type for argument 2
of 'svwrite_zt_f64'} } */
+
+ svwrite_zt_u8 (0, zt_u8x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_u8'} } */
+ svwrite_zt_s8 (0, zt_s8x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_s8'} } */
+ svwrite_zt_u16 (0, zt_u16x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_u16'} } */
+ svwrite_zt_s16 (0, zt_s16x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_s16'} } */
+ svwrite_zt_u32 (0, zt_u32x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_u32'} } */
+ svwrite_zt_s32 (0, zt_s32x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_s32'} } */
+ svwrite_zt_u64 (0, zt_u64x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_u64'} } */
+ svwrite_zt_s64 (0, zt_s64x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_s64'} } */
+ svwrite_zt_bf16 (0, zt_bf16x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_bf16'} } */
+ svwrite_zt_f16 (0, zt_f16x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_f16'} } */
+ svwrite_zt_f32 (0, zt_f32x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_f32'} } */
+ svwrite_zt_f64 (0, zt_f64x2); /* { dg-error {incompatible type for
argument 2 of 'svwrite_zt_f64'} } */
+}
+
+void
+test_svwrite_zt_inferred_error_arg_type_mismatch (
+ svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16, svint16_t zt_s16,
+ svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64, svint64_t zt_s64,
+ svbfloat16_t zt_bf16, svfloat16_t zt_f16, svfloat32_t zt_f32,
+ svfloat64_t zt_f64, svuint8x2_t zt_u8x2) __arm_streaming __arm_out ("zt0")
+{
+ struct Foo { uint64_t val } foo = {0};
+ svwrite_zt (foo, zt_u8); /* { dg-error {passing 'struct Foo' to argument 1
of 'svwrite_zt', which expects 'uint64_t'} } */
+ svwrite_zt (0, zt_u8x2); /* { dg-error {passing 'svuint8x2_t' to argument 2
of 'svwrite_zt', which expects a single SVE vector rather than a tuple} } */
+}
+
+void
+test_svwrite_zt_explicit_error_zt0_not_immediate (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt_u8 (zt0, zt_u8); /* { dg-error {argument 1 of 'svwrite_zt_u8'
must be an integer constant expression} } */
+ svwrite_zt_s8 (zt0, zt_s8); /* { dg-error {argument 1 of 'svwrite_zt_s8'
must be an integer constant expression} } */
+ svwrite_zt_u16 (zt0, zt_u16); /* { dg-error {argument 1 of
'svwrite_zt_u16' must be an integer constant expression} } */
+ svwrite_zt_s16 (zt0, zt_s16); /* { dg-error {argument 1 of
'svwrite_zt_s16' must be an integer constant expression} } */
+ svwrite_zt_u32 (zt0, zt_u32); /* { dg-error {argument 1 of
'svwrite_zt_u32' must be an integer constant expression} } */
+ svwrite_zt_s32 (zt0, zt_s32); /* { dg-error {argument 1 of
'svwrite_zt_s32' must be an integer constant expression} } */
+ svwrite_zt_u64 (zt0, zt_u64); /* { dg-error {argument 1 of
'svwrite_zt_u64' must be an integer constant expression} } */
+ svwrite_zt_s64 (zt0, zt_s64); /* { dg-error {argument 1 of
'svwrite_zt_s64' must be an integer constant expression} } */
+ svwrite_zt_bf16 (zt0, zt_bf16); /* { dg-error {argument 1 of
'svwrite_zt_bf16' must be an integer constant expression} } */
+ svwrite_zt_f16 (zt0, zt_f16); /* { dg-error {argument 1 of
'svwrite_zt_f16' must be an integer constant expression} } */
+ svwrite_zt_f32 (zt0, zt_f32); /* { dg-error {argument 1 of
'svwrite_zt_f32' must be an integer constant expression} } */
+ svwrite_zt_f64 (zt0, zt_f64); /* { dg-error {argument 1 of
'svwrite_zt_f64' must be an integer constant expression} } */
+}
+
+void
+test_svwrite_zt_inferred_error_zt0_not_immediate (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt (zt0, zt_u8); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_s8); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_u16); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_s16); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_u32); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_s32); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_u64); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_s64); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_bf16); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_f16); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_f32); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+ svwrite_zt (zt0, zt_f64); /* { dg-error {argument 1 of 'svwrite_zt' must be
an integer constant expression} } */
+}
+
+void
+test_svwrite_zt_explicit_error_zt0_not_in_range (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt_u8 (1, zt_u8); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_u8', which expects the value 0} } */
+ svwrite_zt_s8 (1, zt_s8); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_s8', which expects the value 0} } */
+ svwrite_zt_u16 (1, zt_u16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_u16', which expects the value 0} } */
+ svwrite_zt_s16 (1, zt_s16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_s16', which expects the value 0} } */
+ svwrite_zt_u32 (1, zt_u32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_u32', which expects the value 0} } */
+ svwrite_zt_s32 (1, zt_s32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_s32', which expects the value 0} } */
+ svwrite_zt_u64 (1, zt_u64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_u64', which expects the value 0} } */
+ svwrite_zt_s64 (1, zt_s64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_s64', which expects the value 0} } */
+ svwrite_zt_bf16 ( 1, zt_bf16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_bf16', which expects the value 0} } */
+ svwrite_zt_f16 (1, zt_f16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_f16', which expects the value 0} } */
+ svwrite_zt_f32 (1, zt_f32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_f32', which expects the value 0} } */
+ svwrite_zt_f64 (1, zt_f64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt_f64', which expects the value 0} } */
+
+ svwrite_zt_u8 (-1, zt_u8); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_u8', which expects the value 0} } */
+ svwrite_zt_s8 (-1, zt_s8); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_s8', which expects the value 0} } */
+ svwrite_zt_u16 (-1, zt_u16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_u16', which expects the value 0} } */
+ svwrite_zt_s16 (-1, zt_s16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_s16', which expects the value 0} } */
+ svwrite_zt_u32 (-1, zt_u32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_u32', which expects the value 0} } */
+ svwrite_zt_s32 (-1, zt_s32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_s32', which expects the value 0} } */
+ svwrite_zt_u64 (-1, zt_u64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_u64', which expects the value 0} } */
+ svwrite_zt_s64 (-1, zt_s64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_s64', which expects the value 0} } */
+ svwrite_zt_bf16 ( -1, zt_bf16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_bf16', which expects the value 0} } */
+ svwrite_zt_f16 (-1, zt_f16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_f16', which expects the value 0} } */
+ svwrite_zt_f32 (-1, zt_f32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_f32', which expects the value 0} } */
+ svwrite_zt_f64 (-1, zt_f64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt_f64', which expects the value 0} } */
+}
+
+void
+test_svwrite_zt_inferred_error_zt0_not_in_range (
+ uint64_t zt0, svuint8_t zt_u8, svint8_t zt_s8, svuint16_t zt_u16,
+ svint16_t zt_s16, svuint32_t zt_u32, svint32_t zt_s32, svuint64_t zt_u64,
+ svint64_t zt_s64, svbfloat16_t zt_bf16, svfloat16_t zt_f16,
+ svfloat32_t zt_f32, svfloat64_t zt_f64) __arm_streaming __arm_out ("zt0")
+{
+ svwrite_zt (1, zt_u8); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_s8); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_u16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_s16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_u32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_s32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_u64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_s64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_bf16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_f16); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_f32); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (1, zt_f64); /* { dg-error {passing 1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+
+ svwrite_zt (-1, zt_u8); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_s8); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_u16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_s16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_u32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_s32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_u64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_s64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_bf16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_f16); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_f32); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+ svwrite_zt (-1, zt_f64); /* { dg-error {passing -1 to argument 1 of
'svwrite_zt', which expects the value 0} } */
+}
