Message ID | 1619791589-511-1-git-send-email-christophe.lyon@linaro.org |
---|---|
State | New |
Headers | show |
Series | testsuite/arm: Add mve-vmul-scalar-1.c test | expand |
Ping? On Fri, 30 Apr 2021 at 16:06, Christophe Lyon <christophe.lyon@linaro.org> wrote: > > Support for vmul has been present for a while, but it was lacking a > test for the scalar variant. > > This patch adds one, precisely noting that we do not yet use the T2 > variants of vmul, which take a scalar as final argument. > > 2021-04-22 Christophe Lyon <christophe.lyon@linaro.org> > > gcc/testsuite/ > * gcc.target/arm/simd/mve-vmul-scalar-1: New. > --- > .../gcc.target/arm/simd/mve-vmul-scalar-1.c | 60 ++++++++++++++++++++++ > 1 file changed, 60 insertions(+) > create mode 100644 gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > > diff --git a/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > new file mode 100644 > index 0000000..22be452 > --- /dev/null > +++ b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > @@ -0,0 +1,60 @@ > +/* { dg-do compile } */ > +/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > +/* { dg-add-options arm_v8_1m_mve_fp } */ > +/* { dg-additional-options "-O3" } */ > + > +#include <stdint.h> > + > +#define FUNC_IMM(SIGN, TYPE, BITS, NB, OP, NAME) \ > + void test_ ## NAME ##_ ## SIGN ## BITS ## x ## NB (TYPE##BITS##_t * __restrict__ dest, \ > + TYPE##BITS##_t *a) { \ > + int i; \ > + for (i=0; i<NB; i++) { \ > + dest[i] = a[i] OP 5; \ > + } \ > +} > + > +/* 128-bit vectors. */ > +FUNC_IMM(s, int, 32, 4, *, vmulimm) > +FUNC_IMM(u, uint, 32, 4, *, vmulimm) > +FUNC_IMM(s, int, 16, 8, *, vmulimm) > +FUNC_IMM(u, uint, 16, 8, *, vmulimm) > +FUNC_IMM(s, int, 8, 16, *, vmulimm) > +FUNC_IMM(u, uint, 8, 16, *, vmulimm) > + > +/* For the moment we do not select the T2 vmul variant operating on a scalar > + final argument. */ > +/* { dg-final { scan-assembler-times {vmul\.i32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ > +/* { dg-final { scan-assembler-times {vmul\.i16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ > +/* { dg-final { scan-assembler-times {vmul\.i8\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ > + > +void test_vmul_f32 (float * dest, float * a, float * b) { > + int i; > + for (i=0; i<4; i++) { > + dest[i] = a[i] * b[1]; > + } > +} > +void test_vmulimm_f32 (float * dest, float * a) { > + int i; > + for (i=0; i<4; i++) { > + dest[i] = a[i] * 5.0; > + } > +} > +/* { dg-final { scan-assembler-times {vmul\.f32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ > + > +void test_vmul_f16 (__fp16 * dest, __fp16 * a, __fp16 * b) { > + int i; > + for (i=0; i<8; i++) { > + dest[i] = a[i] * b[i]; > + } > +} > + > +/* Note that dest[i] = a[i] * 5.0f16 is not vectorized. */ > +void test_vmulimm_f16 (__fp16 * dest, __fp16 * a) { > + int i; > + __fp16 b = 5.0f16; > + for (i=0; i<8; i++) { > + dest[i] = a[i] * b; > + } > +} > +/* { dg-final { scan-assembler-times {vmul\.f16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ > -- > 2.7.4 >
> -----Original Message----- > From: Gcc-patches <gcc-patches-bounces@gcc.gnu.org> On Behalf Of > Christophe Lyon via Gcc-patches > Sent: 30 April 2021 15:06 > To: gcc-patches@gcc.gnu.org > Subject: [PATCH] testsuite/arm: Add mve-vmul-scalar-1.c test > > Support for vmul has been present for a while, but it was lacking a > test for the scalar variant. > > This patch adds one, precisely noting that we do not yet use the T2 > variants of vmul, which take a scalar as final argument. Ok. Thanks, I think the vmul-by-scalar code generation is something Victor is working on. Kyrill > > 2021-04-22 Christophe Lyon <christophe.lyon@linaro.org> > > gcc/testsuite/ > * gcc.target/arm/simd/mve-vmul-scalar-1: New. > --- > .../gcc.target/arm/simd/mve-vmul-scalar-1.c | 60 > ++++++++++++++++++++++ > 1 file changed, 60 insertions(+) > create mode 100644 gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar- > 1.c > > diff --git a/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > new file mode 100644 > index 0000000..22be452 > --- /dev/null > +++ b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > @@ -0,0 +1,60 @@ > +/* { dg-do compile } */ > +/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > +/* { dg-add-options arm_v8_1m_mve_fp } */ > +/* { dg-additional-options "-O3" } */ > + > +#include <stdint.h> > + > +#define FUNC_IMM(SIGN, TYPE, BITS, NB, OP, NAME) \ > + void test_ ## NAME ##_ ## SIGN ## BITS ## x ## NB (TYPE##BITS##_t * > __restrict__ dest, \ > + TYPE##BITS##_t *a) { \ > + int i; \ > + for (i=0; i<NB; i++) { \ > + dest[i] = a[i] OP 5; \ > + } \ > +} > + > +/* 128-bit vectors. */ > +FUNC_IMM(s, int, 32, 4, *, vmulimm) > +FUNC_IMM(u, uint, 32, 4, *, vmulimm) > +FUNC_IMM(s, int, 16, 8, *, vmulimm) > +FUNC_IMM(u, uint, 16, 8, *, vmulimm) > +FUNC_IMM(s, int, 8, 16, *, vmulimm) > +FUNC_IMM(u, uint, 8, 16, *, vmulimm) > + > +/* For the moment we do not select the T2 vmul variant operating on a > scalar > + final argument. */ > +/* { dg-final { scan-assembler-times {vmul\.i32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > { xfail *-*-* } } } */ > +/* { dg-final { scan-assembler-times {vmul\.i16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > { xfail *-*-* } } } */ > +/* { dg-final { scan-assembler-times {vmul\.i8\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > { xfail *-*-* } } } */ > + > +void test_vmul_f32 (float * dest, float * a, float * b) { > + int i; > + for (i=0; i<4; i++) { > + dest[i] = a[i] * b[1]; > + } > +} > +void test_vmulimm_f32 (float * dest, float * a) { > + int i; > + for (i=0; i<4; i++) { > + dest[i] = a[i] * 5.0; > + } > +} > +/* { dg-final { scan-assembler-times {vmul\.f32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > { xfail *-*-* } } } */ > + > +void test_vmul_f16 (__fp16 * dest, __fp16 * a, __fp16 * b) { > + int i; > + for (i=0; i<8; i++) { > + dest[i] = a[i] * b[i]; > + } > +} > + > +/* Note that dest[i] = a[i] * 5.0f16 is not vectorized. */ > +void test_vmulimm_f16 (__fp16 * dest, __fp16 * a) { > + int i; > + __fp16 b = 5.0f16; > + for (i=0; i<8; i++) { > + dest[i] = a[i] * b; > + } > +} > +/* { dg-final { scan-assembler-times {vmul\.f16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > { xfail *-*-* } } } */ > -- > 2.7.4
On Mon, 10 May 2021 at 13:50, Kyrylo Tkachov <Kyrylo.Tkachov@arm.com> wrote: > > > > > -----Original Message----- > > From: Gcc-patches <gcc-patches-bounces@gcc.gnu.org> On Behalf Of > > Christophe Lyon via Gcc-patches > > Sent: 30 April 2021 15:06 > > To: gcc-patches@gcc.gnu.org > > Subject: [PATCH] testsuite/arm: Add mve-vmul-scalar-1.c test > > > > Support for vmul has been present for a while, but it was lacking a > > test for the scalar variant. > > > > This patch adds one, precisely noting that we do not yet use the T2 > > variants of vmul, which take a scalar as final argument. > > Ok. Thanks > Thanks, I think the vmul-by-scalar code generation is something Victor is working on. Ack, good to know, that's on my list too :-) I asked a question about vadd-with-scalar last week on IRC, wondering how/if the vectorizer could actually take advantage of vadd qX, qY, rZ, since ISTM that it only checks if a vector add with the same 3 (vector) types is available. I guess the same applies to vmul-by-scalar? > Kyrill > > > > > 2021-04-22 Christophe Lyon <christophe.lyon@linaro.org> > > > > gcc/testsuite/ > > * gcc.target/arm/simd/mve-vmul-scalar-1: New. > > --- > > .../gcc.target/arm/simd/mve-vmul-scalar-1.c | 60 > > ++++++++++++++++++++++ > > 1 file changed, 60 insertions(+) > > create mode 100644 gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar- > > 1.c > > > > diff --git a/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > > b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > > new file mode 100644 > > index 0000000..22be452 > > --- /dev/null > > +++ b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c > > @@ -0,0 +1,60 @@ > > +/* { dg-do compile } */ > > +/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > > +/* { dg-add-options arm_v8_1m_mve_fp } */ > > +/* { dg-additional-options "-O3" } */ > > + > > +#include <stdint.h> > > + > > +#define FUNC_IMM(SIGN, TYPE, BITS, NB, OP, NAME) \ > > + void test_ ## NAME ##_ ## SIGN ## BITS ## x ## NB (TYPE##BITS##_t * > > __restrict__ dest, \ > > + TYPE##BITS##_t *a) { \ > > + int i; \ > > + for (i=0; i<NB; i++) { \ > > + dest[i] = a[i] OP 5; \ > > + } \ > > +} > > + > > +/* 128-bit vectors. */ > > +FUNC_IMM(s, int, 32, 4, *, vmulimm) > > +FUNC_IMM(u, uint, 32, 4, *, vmulimm) > > +FUNC_IMM(s, int, 16, 8, *, vmulimm) > > +FUNC_IMM(u, uint, 16, 8, *, vmulimm) > > +FUNC_IMM(s, int, 8, 16, *, vmulimm) > > +FUNC_IMM(u, uint, 8, 16, *, vmulimm) > > + > > +/* For the moment we do not select the T2 vmul variant operating on a > > scalar > > + final argument. */ > > +/* { dg-final { scan-assembler-times {vmul\.i32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > > { xfail *-*-* } } } */ > > +/* { dg-final { scan-assembler-times {vmul\.i16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > > { xfail *-*-* } } } */ > > +/* { dg-final { scan-assembler-times {vmul\.i8\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > > { xfail *-*-* } } } */ > > + > > +void test_vmul_f32 (float * dest, float * a, float * b) { > > + int i; > > + for (i=0; i<4; i++) { > > + dest[i] = a[i] * b[1]; > > + } > > +} > > +void test_vmulimm_f32 (float * dest, float * a) { > > + int i; > > + for (i=0; i<4; i++) { > > + dest[i] = a[i] * 5.0; > > + } > > +} > > +/* { dg-final { scan-assembler-times {vmul\.f32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > > { xfail *-*-* } } } */ > > + > > +void test_vmul_f16 (__fp16 * dest, __fp16 * a, __fp16 * b) { > > + int i; > > + for (i=0; i<8; i++) { > > + dest[i] = a[i] * b[i]; > > + } > > +} > > + > > +/* Note that dest[i] = a[i] * 5.0f16 is not vectorized. */ > > +void test_vmulimm_f16 (__fp16 * dest, __fp16 * a) { > > + int i; > > + __fp16 b = 5.0f16; > > + for (i=0; i<8; i++) { > > + dest[i] = a[i] * b; > > + } > > +} > > +/* { dg-final { scan-assembler-times {vmul\.f16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 > > { xfail *-*-* } } } */ > > -- > > 2.7.4 >
diff --git a/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c new file mode 100644 index 0000000..22be452 --- /dev/null +++ b/gcc/testsuite/gcc.target/arm/simd/mve-vmul-scalar-1.c @@ -0,0 +1,60 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ +/* { dg-add-options arm_v8_1m_mve_fp } */ +/* { dg-additional-options "-O3" } */ + +#include <stdint.h> + +#define FUNC_IMM(SIGN, TYPE, BITS, NB, OP, NAME) \ + void test_ ## NAME ##_ ## SIGN ## BITS ## x ## NB (TYPE##BITS##_t * __restrict__ dest, \ + TYPE##BITS##_t *a) { \ + int i; \ + for (i=0; i<NB; i++) { \ + dest[i] = a[i] OP 5; \ + } \ +} + +/* 128-bit vectors. */ +FUNC_IMM(s, int, 32, 4, *, vmulimm) +FUNC_IMM(u, uint, 32, 4, *, vmulimm) +FUNC_IMM(s, int, 16, 8, *, vmulimm) +FUNC_IMM(u, uint, 16, 8, *, vmulimm) +FUNC_IMM(s, int, 8, 16, *, vmulimm) +FUNC_IMM(u, uint, 8, 16, *, vmulimm) + +/* For the moment we do not select the T2 vmul variant operating on a scalar + final argument. */ +/* { dg-final { scan-assembler-times {vmul\.i32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ +/* { dg-final { scan-assembler-times {vmul\.i16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ +/* { dg-final { scan-assembler-times {vmul\.i8\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ + +void test_vmul_f32 (float * dest, float * a, float * b) { + int i; + for (i=0; i<4; i++) { + dest[i] = a[i] * b[1]; + } +} +void test_vmulimm_f32 (float * dest, float * a) { + int i; + for (i=0; i<4; i++) { + dest[i] = a[i] * 5.0; + } +} +/* { dg-final { scan-assembler-times {vmul\.f32\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */ + +void test_vmul_f16 (__fp16 * dest, __fp16 * a, __fp16 * b) { + int i; + for (i=0; i<8; i++) { + dest[i] = a[i] * b[i]; + } +} + +/* Note that dest[i] = a[i] * 5.0f16 is not vectorized. */ +void test_vmulimm_f16 (__fp16 * dest, __fp16 * a) { + int i; + __fp16 b = 5.0f16; + for (i=0; i<8; i++) { + dest[i] = a[i] * b; + } +} +/* { dg-final { scan-assembler-times {vmul\.f16\tq[0-9]+, q[0-9]+, r[0-9]+} 2 { xfail *-*-* } } } */