Hi Christophe, > -----Original Message----- > From: Christophe Lyon <christophe.l...@linaro.org> > Sent: Monday, August 14, 2023 7:01 PM > To: gcc-patches@gcc.gnu.org; Kyrylo Tkachov <kyrylo.tkac...@arm.com>; > Richard Earnshaw <richard.earns...@arm.com>; Richard Sandiford > <richard.sandif...@arm.com> > Cc: Christophe Lyon <christophe.l...@linaro.org> > Subject: [PATCH] arm: [MVE intrinsics] fix binary_acca_int32 and > binary_acca_int64 shapes > > Fix these two shapes, where we were failing to check the last > non-predicate parameter.
Ok. Thanks, Kyrill > > 2023-08-14 Christophe Lyon <christophe.l...@linaro.org> > > gcc/ > * config/arm/arm-mve-builtins-shapes.cc (binary_acca_int32): Fix > loop bound. > (binary_acca_int64): Likewise. > --- > gcc/config/arm/arm-mve-builtins-shapes.cc | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/gcc/config/arm/arm-mve-builtins-shapes.cc b/gcc/config/arm/arm- > mve-builtins-shapes.cc > index 6d477a84330..1633084608e 100644 > --- a/gcc/config/arm/arm-mve-builtins-shapes.cc > +++ b/gcc/config/arm/arm-mve-builtins-shapes.cc > @@ -455,7 +455,7 @@ struct binary_acca_int32_def : public > overloaded_base<0> > || (type = r.infer_vector_type (1)) == NUM_TYPE_SUFFIXES) > return error_mark_node; > > - unsigned int last_arg = i; > + unsigned int last_arg = i + 1; > for (i = 1; i < last_arg; i++) > if (!r.require_matching_vector_type (i, type)) > return error_mark_node; > @@ -492,7 +492,7 @@ struct binary_acca_int64_def : public > overloaded_base<0> > || (type = r.infer_vector_type (1)) == NUM_TYPE_SUFFIXES) > return error_mark_node; > > - unsigned int last_arg = i; > + unsigned int last_arg = i + 1; > for (i = 1; i < last_arg; i++) > if (!r.require_matching_vector_type (i, type)) > return error_mark_node; > -- > 2.34.1
