Add intrinsic functions for the SME LUTv2 architecture extension (`svluti4_zt`, `svwrite_lane_zt` and `svwrite_zt`).
gcc/ChangeLog: * config/aarch64/aarch64-sme.md (@aarch64_sme_write_zt<SVE_FULL:mode>): New insn. (aarch64_sme_lut_zt): Likewise. * config/aarch64/aarch64-sve-builtins-shapes.cc (parse_type): New type format "%T". (struct luti_lane_zt_base): New function shape. (SHAPE): Likewise. (struct write_zt_def): Likewise. (struct write_lane_zt_def): Likewise. * config/aarch64/aarch64-sve-builtins-shapes.h: New function shape. * config/aarch64/aarch64-sve-builtins-sme.cc (class svluti_zt_impl): New function expander. (class svwrite_zt_impl): Likewise. (class svwrite_lane_zt_impl): Likewise. (FUNCTION): Likewise * config/aarch64/aarch64-sve-builtins-sme.def (svwrite_zt): New function shape. (svwrite_lane_zt): Likewise. (svluti4_zt): Likewise. * config/aarch64/aarch64-sve-builtins-sme.h: New function base. * config/aarch64/aarch64-sve-builtins.h: Mention the arrays of function_group_info by name. gcc/testsuite/ChangeLog: * gcc.target/aarch64/sme2/acle-asm/svluti4_zt_1.c: New test. * gcc.target/aarch64/sme2/acle-asm/svwrite_lane_zt_1.c: New test. * gcc.target/aarch64/sme2/acle-asm/svwrite_zt_1.c: New test. * gcc.target/aarch64/sve/acle/general-c/svluti4_zt_1.c: New test. * gcc.target/aarch64/sve/acle/general-c/svwrite_lane_zt_1.c: New test. * gcc.target/aarch64/sve/acle/general-c/svwrite_zt_1.c: New test. --- gcc/config/aarch64/aarch64-sme.md | 36 ++ .../aarch64/aarch64-sve-builtins-shapes.cc | 104 ++++- .../aarch64/aarch64-sve-builtins-shapes.h | 3 + .../aarch64/aarch64-sve-builtins-sme.cc | 68 +++ .../aarch64/aarch64-sve-builtins-sme.def | 3 + gcc/config/aarch64/aarch64-sve-builtins-sme.h | 3 + gcc/config/aarch64/aarch64-sve-builtins.h | 7 +- .../aarch64/sme2/acle-asm/svluti4_zt_1.c | 30 ++ .../aarch64/sme2/acle-asm/svwrite_lane_zt_1.c | 204 +++++++++ .../aarch64/sme2/acle-asm/svwrite_zt_1.c | 96 +++++ .../aarch64/sve/acle/general-c/svluti4_zt_1.c | 77 ++++ .../sve/acle/general-c/svwrite_lane_zt_1.c | 397 ++++++++++++++++++ .../aarch64/sve/acle/general-c/svwrite_zt_1.c | 342 +++++++++++++++ 13 files changed, 1366 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svluti4_zt_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_lane_zt_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/svwrite_zt_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svluti4_zt_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_lane_zt_1.c create mode 100644 gcc/testsuite/gcc.target/aarch64/sve/acle/general-c/svwrite_zt_1.c diff --git a/gcc/config/aarch64/aarch64-sme.md b/gcc/config/aarch64/aarch64-sme.md index 0123ea0e234..5c803441b58 100644 --- a/gcc/config/aarch64/aarch64-sme.md +++ b/gcc/config/aarch64/aarch64-sme.md @@ -1040,6 +1040,25 @@ (define_insn "*aarch64_sme_write<mode>_plus" "mova\tza.d[%w0, %1, vgx<vector_count>], %2" ) +;; 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"); +;; void svwrite_lane_zt[_u8](uint64_t zt0, svuint8_t zt, uint64_t idx) +;; __arm_streaming __arm_out ("zt0"); +(define_insn "@aarch64_sme_write_zt<SVE_FULL:mode>" + [(set (reg:V8DI ZT0_REGNUM) + (unspec_volatile:V8DI + [(match_operand:DI 0 "const0_operand") ;; always 0, ignored + (match_operand:SVE_FULL 1 "register_operand" "w") + (match_operand:DI 2 "const_int_operand")] + UNSPEC_SME_WRITE))] + "TARGET_SME_LUTv2" + "movt\tzt0 [%2, mul vl], %1" +) + ;; ------------------------------------------------------------------------- ;; ---- Zeroing ;; ------------------------------------------------------------------------- @@ -2165,6 +2184,7 @@ (define_insn "@aarch64_sme_<optab><VNx4SI_ONLY:mode><SVE_FULL_HF:mode>" (define_c_enum "unspec" [ UNSPEC_SME_LUTI + UNSPEC_SME_LUTI_ZT ]) (define_insn "@aarch64_sme_lut<LUTI_BITS><mode>" @@ -2193,3 +2213,19 @@ (define_insn "@aarch64_sme_lut<LUTI_BITS><mode>" && !(<LUTI_BITS> == 4 && <vector_count> == 4 && <elem_bits> == 8)" "luti<LUTI_BITS>\t%0, zt0, %1[%2]" ) + +;; 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"); */ +(define_insn "aarch64_sme_lut_zt" + [(set (match_operand:VNx64QI 0 "aligned_register_operand" "=Uw4") + (unspec:VNx64QI + [(reg:V8DI ZT0_REGNUM) + (reg:DI SME_STATE_REGNUM) + (match_operand:DI 1 "const0_operand") + (match_operand:VNx32QI 2 "register_operand" "w")] + UNSPEC_SME_LUTI_ZT))] + "TARGET_SME_LUTv2" + "luti4\t%0, zt0, {%Z2 - %T2}" +) diff --git a/gcc/config/aarch64/aarch64-sve-builtins-shapes.cc b/gcc/config/aarch64/aarch64-sve-builtins-shapes.cc index af23a154d0e..74a3338e955 100644 --- a/gcc/config/aarch64/aarch64-sve-builtins-shapes.cc +++ b/gcc/config/aarch64/aarch64-sve-builtins-shapes.cc @@ -182,6 +182,7 @@ parse_element_type (const function_instance &instance, const char *&format) e<name> - an enum with the given name s<elt> - a scalar type with the given element suffix t<elt> - a vector or tuple type with given element suffix [*1] + T<elt> - a vector or tuple type with given element suffix [*2] v<elt> - a vector with the given element suffix D<elt> - a 64 bit neon vector Q<elt> - a 128 bit neon vector @@ -189,7 +190,9 @@ parse_element_type (const function_instance &instance, const char *&format) where <elt> has the format described above parse_element_type [*1] the vectors_per_tuple function indicates whether the type should - be a tuple, and if so, how many vectors it should contain. */ + be a tuple, and if so, how many vectors it should contain. + [*2] same as for [*1], but the tuple contains half as many vectors. +*/ static tree parse_type (const function_instance &instance, const char *&format) { @@ -261,6 +264,13 @@ parse_type (const function_instance &instance, const char *&format) unsigned int num_vectors = instance.vectors_per_tuple (); return acle_vector_types[num_vectors - 1][vector_type]; } + if (ch == 'T') + { + type_suffix_index suffix = parse_element_type (instance, format); + vector_type_index vector_type = type_suffixes[suffix].vector_type; + unsigned int num_vectors = instance.vectors_per_tuple () / 2; + return acle_vector_types[num_vectors - 1][vector_type]; + } if (ch == 'v') { @@ -973,6 +983,24 @@ struct luti_lane_zt_base : public nonoverloaded_base } }; +/* 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"); */ +template <unsigned int BITS> struct luti_zt_base : public nonoverloaded_base +{ + void build (function_builder &b, + const function_group_info &group) const override + { + build_all (b, "t0,su64,Tu0", group, MODE_none); + } + + bool check (function_checker &c) const override + { + return c.require_immediate_range (0, 0, 0); + } +}; + /* sv<t0>_t svfoo[_t0](sv<t0>_t, sv<t0:quarter>_t, sv<t0:quarter>_t) (for integer t0) sv<t0>_t svmmla[_t0](sv<t0>_t, sv<t0>_t, sv<t0>_t) (for floating-point t0) @@ -3207,6 +3235,9 @@ SHAPE (luti2_lane_zt) using luti4_lane_zt_def = luti_lane_zt_base<4>; SHAPE (luti4_lane_zt) +using luti4_zt_def = luti_zt_base<4>; +SHAPE (luti4_zt) + /* svbool_t svfoo(enum svpattern). */ struct pattern_pred_def : public nonoverloaded_base { @@ -5269,4 +5300,75 @@ struct write_za_slice_def : public overloaded_base<1> }; SHAPE (write_za_slice) +/* 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"); */ +struct write_zt_def : public overloaded_base<0> +{ + void build (function_builder &b, + const function_group_info &group) const override + { + b.add_overloaded_functions (group, MODE_none); + build_all (b, "_,su64,v0", group, MODE_none); + } + + tree resolve (function_resolver &r) const override + { + sve_type type; + + if (!r.check_num_arguments (2) + || !r.require_scalar_type (0, "uint64_t") + || !r.require_integer_immediate (0) + || !(type = r.infer_vector_type (1))) + 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); + } +}; +SHAPE (write_zt); + +/* 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"); */ +struct write_lane_zt_def : public overloaded_base<0> +{ + 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} } */ +} -- 2.43.0