aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorChristophe Lyon <christophe.lyon@arm.com>2023-02-13 21:46:30 +0000
committerChristophe Lyon <christophe.lyon@arm.com>2023-05-09 20:31:16 +0200
commitf75909127f730687a2fb5513c1c45f5fe9fc3baf (patch)
treeab4976bf2730329317bdb3b8d100174ca1b90bf2 /gcc
parentadff073bb1c3ce4831489f110811db88ecd57f5f (diff)
downloadgcc-f75909127f730687a2fb5513c1c45f5fe9fc3baf.zip
gcc-f75909127f730687a2fb5513c1c45f5fe9fc3baf.tar.gz
gcc-f75909127f730687a2fb5513c1c45f5fe9fc3baf.tar.bz2
arm: [MVE intrinsics] add binary_maxamina shape
This patch adds the binary_maxamina shape description. 2022-09-08 Christophe Lyon <christophe.lyon@arm.com> gcc/ * config/arm/arm-mve-builtins-shapes.cc (binary_maxamina): New. * config/arm/arm-mve-builtins-shapes.h (binary_maxamina): New.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/config/arm/arm-mve-builtins-shapes.cc40
-rw-r--r--gcc/config/arm/arm-mve-builtins-shapes.h1
2 files changed, 41 insertions, 0 deletions
diff --git a/gcc/config/arm/arm-mve-builtins-shapes.cc b/gcc/config/arm/arm-mve-builtins-shapes.cc
index 1324abd..c9eac80 100644
--- a/gcc/config/arm/arm-mve-builtins-shapes.cc
+++ b/gcc/config/arm/arm-mve-builtins-shapes.cc
@@ -401,6 +401,46 @@ struct binary_rshift_def : public overloaded_base<0>
};
SHAPE (binary_rshift)
+
+/* <uT0>_t vfoo[_t0](<uT0>_t, <T0>_t)
+
+ i.e. binary operations that take a vector of unsigned elements as first argument and a
+ vector of signed elements as second argument, and produce a vector of unsigned elements.
+
+ Example: vminaq.
+ uint8x16_t [__arm_]vminaq[_s8](uint8x16_t a, int8x16_t b)
+ uint8x16_t [__arm_]vminaq_m[_s8](uint8x16_t a, int8x16_t b, mve_pred16_t p) */
+struct binary_maxamina_def : public overloaded_base<0>
+{
+ 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, "vu0,vu0,vs0", group, MODE_none, preserve_user_namespace);
+ }
+
+ tree
+ resolve (function_resolver &r) const override
+ {
+ unsigned int i, nargs;
+ type_suffix_index type;
+ if (!r.check_gp_argument (2, i, nargs)
+ || (type = r.infer_vector_type (i)) == NUM_TYPE_SUFFIXES)
+ return error_mark_node;
+
+ /* Check that the first argument has the expeected unsigned
+ type. */
+ type_suffix_index return_type
+ = find_type_suffix (TYPE_unsigned, type_suffixes[type].element_bits);
+ if (!r.require_matching_vector_type (0, return_type))
+ return error_mark_node;
+
+ return r.resolve_to (r.mode_suffix_id, type);
+ }
+};
+SHAPE (binary_maxamina)
+
/* <uS0>_t vfoo[_<t0>](<uS0>_t, <T0>_t)
Example: vmaxavq.
diff --git a/gcc/config/arm/arm-mve-builtins-shapes.h b/gcc/config/arm/arm-mve-builtins-shapes.h
index cf4c523..7f582d7 100644
--- a/gcc/config/arm/arm-mve-builtins-shapes.h
+++ b/gcc/config/arm/arm-mve-builtins-shapes.h
@@ -37,6 +37,7 @@ namespace arm_mve
extern const function_shape *const binary;
extern const function_shape *const binary_lshift;
extern const function_shape *const binary_lshift_r;
+ extern const function_shape *const binary_maxamina;
extern const function_shape *const binary_maxavminav;
extern const function_shape *const binary_maxvminv;
extern const function_shape *const binary_move_narrow;