On 04/09/2024 14:26, Christophe Lyon wrote:
> This patch adds the vcvtx shape description for vcvtaq, vcvtmq,
> vcvtnq, vcvtpq.
>
> 2024-07-11 Christophe Lyon <christophe.l...@linaro.org>
>
> gcc/
> * config/arm/arm-mve-builtins-shapes.cc (vcvtx): New.
> * config/arm/arm-mve-builtins-shapes.h (vcvtx): New.
OK.
R.
> ---
> gcc/config/arm/arm-mve-builtins-shapes.cc | 59 +++++++++++++++++++++++
> gcc/config/arm/arm-mve-builtins-shapes.h | 1 +
> 2 files changed, 60 insertions(+)
>
> diff --git a/gcc/config/arm/arm-mve-builtins-shapes.cc
> b/gcc/config/arm/arm-mve-builtins-shapes.cc
> index 5ebf666d954..6632ee49067 100644
> --- a/gcc/config/arm/arm-mve-builtins-shapes.cc
> +++ b/gcc/config/arm/arm-mve-builtins-shapes.cc
> @@ -2116,6 +2116,65 @@ struct vcvt_f32_f16_def : public nonoverloaded_base
> };
> SHAPE (vcvt_f32_f16)
>
> +/* <T0>_t foo_t0[_t1](<T1>_t)
> +
> + Example: vcvtaq.
> + int16x8_t [__arm_]vcvtaq_s16_f16(float16x8_t a)
> + int16x8_t [__arm_]vcvtaq_m[_s16_f16](int16x8_t inactive, float16x8_t a,
> mve_pred16_t p)
> + int16x8_t [__arm_]vcvtaq_x_s16_f16(float16x8_t a, mve_pred16_t p)
> +*/
> +struct vcvtx_def : public overloaded_base<0>
> +{
> + bool
> + explicit_type_suffix_p (unsigned int, enum predication_index pred,
> + enum mode_suffix_index,
> + type_suffix_info) const override
> + {
> + return pred != PRED_m;
> + }
> +
> + bool
> + skip_overload_p (enum predication_index pred, enum mode_suffix_index)
> + const override
> + {
> + return pred != PRED_m;
> + }
> +
> + void
> + build (function_builder &b, const function_group_info &group,
> + bool preserve_user_namespace) const override
> + {
> + b.add_overloaded_functions (group, MODE_none, preserve_user_namespace);
> + build_all (b, "v0,v1", group, MODE_none, preserve_user_namespace);
> + }
> +
> + tree
> + resolve (function_resolver &r) const override
> + {
> + unsigned int i, nargs;
> + type_suffix_index from_type;
> + tree res;
> +
> + if (!r.check_gp_argument (1, i, nargs)
> + || (from_type
> + = r.infer_vector_type (i)) == NUM_TYPE_SUFFIXES)
> + return error_mark_node;
> +
> + type_suffix_index to_type;
> +
> + gcc_assert (r.pred == PRED_m);
> +
> + /* Get the return type from the 'inactive' argument. */
> + to_type = r.infer_vector_type (0);
> +
> + if ((res = r.lookup_form (r.mode_suffix_id, to_type, from_type)))
> + return res;
> +
> + return r.report_no_such_form (from_type);
> + }
> +};
> +SHAPE (vcvtx)
> +
> /* <T0>_t vfoo[_t0](<T0>_t, <T0>_t, mve_pred16_t)
>
> i.e. a version of the standard ternary shape in which
> diff --git a/gcc/config/arm/arm-mve-builtins-shapes.h
> b/gcc/config/arm/arm-mve-builtins-shapes.h
> index 50157b57571..ef497b6c97a 100644
> --- a/gcc/config/arm/arm-mve-builtins-shapes.h
> +++ b/gcc/config/arm/arm-mve-builtins-shapes.h
> @@ -80,6 +80,7 @@ namespace arm_mve
> extern const function_shape *const vcvt;
> extern const function_shape *const vcvt_f16_f32;
> extern const function_shape *const vcvt_f32_f16;
> + extern const function_shape *const vcvtx;
> extern const function_shape *const vpsel;
>
> } /* end namespace arm_mve::shapes */
