> -----Original Message----- > From: Andrea Corallo <andrea.cora...@arm.com> > Sent: Thursday, November 17, 2022 4:38 PM > To: gcc-patches@gcc.gnu.org > Cc: Kyrylo Tkachov <kyrylo.tkac...@arm.com>; Richard Earnshaw > <richard.earns...@arm.com>; Andrea Corallo <andrea.cora...@arm.com> > Subject: [PATCH 24/35] arm: improve tests for vmladavaq* > > gcc/testsuite/ChangeLog: > > * gcc.target/arm/mve/intrinsics/vmladavaq_p_s16.c: Improve tests. > * gcc.target/arm/mve/intrinsics/vmladavaq_p_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaq_p_s8.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaq_p_u16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaq_p_u32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaq_p_u8.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_p_s16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_p_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_p_s8.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_s16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vmladavaxq_s8.c: Likewise. Ok. Thanks, Kyrill > --- > .../arm/mve/intrinsics/vmladavaq_p_s16.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaq_p_s32.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaq_p_s8.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaq_p_u16.c | 49 ++++++++++++++++--- > .../arm/mve/intrinsics/vmladavaq_p_u32.c | 49 ++++++++++++++++--- > .../arm/mve/intrinsics/vmladavaq_p_u8.c | 49 ++++++++++++++++--- > .../arm/mve/intrinsics/vmladavaxq_p_s16.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaxq_p_s32.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaxq_p_s8.c | 33 ++++++++++--- > .../arm/mve/intrinsics/vmladavaxq_s16.c | 24 ++++++--- > .../arm/mve/intrinsics/vmladavaxq_s32.c | 24 ++++++--- > .../arm/mve/intrinsics/vmladavaxq_s8.c | 24 ++++++--- > 12 files changed, 336 insertions(+), 81 deletions(-) > > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s16.c > index e458204c41b..f3e5eba3b08 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s16.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int16x8_t b, int16x8_t c, mve_pred16_t p) > +foo (int32_t add, int16x8_t m1, int16x8_t m2, mve_pred16_t p) > { > - return vmladavaq_p_s16 (a, b, c, p); > + return vmladavaq_p_s16 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int16x8_t b, int16x8_t c, mve_pred16_t p) > +foo1 (int32_t add, int16x8_t m1, int16x8_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s16" } } */ > -/* { dg-final { scan-assembler "vmladavat.s16" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s32.c > index e3544787adb..71f6957bfc5 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s32.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int32x4_t b, int32x4_t c, mve_pred16_t p) > +foo (int32_t add, int32x4_t m1, int32x4_t m2, mve_pred16_t p) > { > - return vmladavaq_p_s32 (a, b, c, p); > + return vmladavaq_p_s32 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int32x4_t b, int32x4_t c, mve_pred16_t p) > +foo1 (int32_t add, int32x4_t m1, int32x4_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s32" } } */ > -/* { dg-final { scan-assembler "vmladavat.s32" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s8.c > index 1d4ca722f44..a74317aeff9 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_s8.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int8x16_t b, int8x16_t c, mve_pred16_t p) > +foo (int32_t add, int8x16_t m1, int8x16_t m2, mve_pred16_t p) > { > - return vmladavaq_p_s8 (a, b, c, p); > + return vmladavaq_p_s8 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s8" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int8x16_t b, int8x16_t c, mve_pred16_t p) > +foo1 (int32_t add, int8x16_t m1, int8x16_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.s8" } } */ > -/* { dg-final { scan-assembler "vmladavat.s8" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u16.c > index 91a11c8b8b1..9ac84d46a07 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u16.c > @@ -1,22 +1,57 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo (uint32_t a, uint16x8_t b, uint16x8_t c, mve_pred16_t p) > +foo (uint32_t add, uint16x8_t m1, uint16x8_t m2, mve_pred16_t p) > { > - return vmladavaq_p_u16 (a, b, c, p); > + return vmladavaq_p_u16 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo1 (uint32_t a, uint16x8_t b, uint16x8_t c, mve_pred16_t p) > +foo1 (uint32_t add, uint16x8_t m1, uint16x8_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u16" } } */ > -/* { dg-final { scan-assembler "vmladavat.u16" } } */ > +/* > +**foo2: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > +uint32_t > +foo2 (uint16x8_t m1, uint16x8_t m2, mve_pred16_t p) > +{ > + return vmladavaq_p (1, m1, m2, p); > +} > + > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u32.c > index 0efe8d0902f..4a3d109ed90 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u32.c > @@ -1,22 +1,57 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo (uint32_t a, uint32x4_t b, uint32x4_t c, mve_pred16_t p) > +foo (uint32_t add, uint32x4_t m1, uint32x4_t m2, mve_pred16_t p) > { > - return vmladavaq_p_u32 (a, b, c, p); > + return vmladavaq_p_u32 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo1 (uint32_t a, uint32x4_t b, uint32x4_t c, mve_pred16_t p) > +foo1 (uint32_t add, uint32x4_t m1, uint32x4_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u32" } } */ > -/* { dg-final { scan-assembler "vmladavat.u32" } } */ > +/* > +**foo2: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > +uint32_t > +foo2 (uint32x4_t m1, uint32x4_t m2, mve_pred16_t p) > +{ > + return vmladavaq_p (1, m1, m2, p); > +} > + > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u8.c > index a8da9b0d2ef..a17440f4675 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaq_p_u8.c > @@ -1,22 +1,57 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo (uint32_t a, uint8x16_t b, uint8x16_t c, mve_pred16_t p) > +foo (uint32_t add, uint8x16_t m1, uint8x16_t m2, mve_pred16_t p) > { > - return vmladavaq_p_u8 (a, b, c, p); > + return vmladavaq_p_u8 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u8" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > uint32_t > -foo1 (uint32_t a, uint8x16_t b, uint8x16_t c, mve_pred16_t p) > +foo1 (uint32_t add, uint8x16_t m1, uint8x16_t m2, mve_pred16_t p) > { > - return vmladavaq_p (a, b, c, p); > + return vmladavaq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavat.u8" } } */ > -/* { dg-final { scan-assembler "vmladavat.u8" } } */ > +/* > +**foo2: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavat.u8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > +uint32_t > +foo2 (uint8x16_t m1, uint8x16_t m2, mve_pred16_t p) > +{ > + return vmladavaq_p (1, m1, m2, p); > +} > + > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s16.c > index 838717e3e43..f201d5fa047 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s16.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int16x8_t b, int16x8_t c, mve_pred16_t p) > +foo (int32_t add, int16x8_t m1, int16x8_t m2, mve_pred16_t p) > { > - return vmladavaxq_p_s16 (a, b, c, p); > + return vmladavaxq_p_s16 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int16x8_t b, int16x8_t c, mve_pred16_t p) > +foo1 (int32_t add, int16x8_t m1, int16x8_t m2, mve_pred16_t p) > { > - return vmladavaxq_p (a, b, c, p); > + return vmladavaxq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s16" } } */ > -/* { dg-final { scan-assembler "vmladavaxt.s16" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s32.c > index a50c5ecf802..c90647a5064 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s32.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int32x4_t b, int32x4_t c, mve_pred16_t p) > +foo (int32_t add, int32x4_t m1, int32x4_t m2, mve_pred16_t p) > { > - return vmladavaxq_p_s32 (a, b, c, p); > + return vmladavaxq_p_s32 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int32x4_t b, int32x4_t c, mve_pred16_t p) > +foo1 (int32_t add, int32x4_t m1, int32x4_t m2, mve_pred16_t p) > { > - return vmladavaxq_p (a, b, c, p); > + return vmladavaxq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s32" } } */ > -/* { dg-final { scan-assembler "vmladavaxt.s32" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s8.c > index e4705cecad9..57af7bc1c78 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_p_s8.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int8x16_t b, int8x16_t c, mve_pred16_t p) > +foo (int32_t add, int8x16_t m1, int8x16_t m2, mve_pred16_t p) > { > - return vmladavaxq_p_s8 (a, b, c, p); > + return vmladavaxq_p_s8 (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s8" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vmladavaxt.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int8x16_t b, int8x16_t c, mve_pred16_t p) > +foo1 (int32_t add, int8x16_t m1, int8x16_t m2, mve_pred16_t p) > { > - return vmladavaxq_p (a, b, c, p); > + return vmladavaxq_p (add, m1, m2, p); > } > > -/* { dg-final { scan-assembler "vmladavaxt.s8" } } */ > -/* { dg-final { scan-assembler "vmladavaxt.s8" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s16.c > index ffd542a062f..684580d1c36 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s16.c > @@ -1,21 +1,33 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmladavax.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int16x8_t b, int16x8_t c) > +foo (int32_t add, int16x8_t m1, int16x8_t m2) > { > - return vmladavaxq_s16 (a, b, c); > + return vmladavaxq_s16 (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s16" } } */ > > +/* > +**foo1: > +** ... > +** vmladavax.s16 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int16x8_t b, int16x8_t c) > +foo1 (int32_t add, int16x8_t m1, int16x8_t m2) > { > - return vmladavaxq (a, b, c); > + return vmladavaxq (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s16" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s32.c > index b91e54d79e6..5d152647b55 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s32.c > @@ -1,21 +1,33 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmladavax.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int32x4_t b, int32x4_t c) > +foo (int32_t add, int32x4_t m1, int32x4_t m2) > { > - return vmladavaxq_s32 (a, b, c); > + return vmladavaxq_s32 (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s32" } } */ > > +/* > +**foo1: > +** ... > +** vmladavax.s32 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int32x4_t b, int32x4_t c) > +foo1 (int32_t add, int32x4_t m1, int32x4_t m2) > { > - return vmladavaxq (a, b, c); > + return vmladavaxq (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s32" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s8.c > index 61949c416fc..71bcdc9b55e 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmladavaxq_s8.c > @@ -1,21 +1,33 @@ > /* { dg-require-effective-target arm_v8_1m_mve_ok } */ > /* { dg-add-options arm_v8_1m_mve } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmladavax.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo (int32_t a, int8x16_t b, int8x16_t c) > +foo (int32_t add, int8x16_t m1, int8x16_t m2) > { > - return vmladavaxq_s8 (a, b, c); > + return vmladavaxq_s8 (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s8" } } */ > > +/* > +**foo1: > +** ... > +** vmladavax.s8 (?:ip|fp|r[0-9]+), q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32_t > -foo1 (int32_t a, int8x16_t b, int8x16_t c) > +foo1 (int32_t add, int8x16_t m1, int8x16_t m2) > { > - return vmladavaxq (a, b, c); > + return vmladavaxq (add, m1, m2); > } > > -/* { dg-final { scan-assembler "vmladavax.s8" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > -- > 2.25.1
RE: [PATCH 24/35] arm: improve tests for vmladavaq*
Kyrylo Tkachov via Gcc-patches Tue, 22 Nov 2022 08:55:24 -0800
- [PATCH 11/35] arm: improve tests for vabdq... Andrea Corallo via Gcc-patches
- RE: [PATCH 11/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 16/35] arm: Add integer vector over... Andrea Corallo via Gcc-patches
- Re: [PATCH 16/35] arm: Add integer ve... Christophe Lyon via Gcc-patches
- Re: [PATCH 16/35] arm: Add intege... Andrea Corallo via Gcc-patches
- RE: [PATCH 16/35] arm: Add integer ve... Kyrylo Tkachov via Gcc-patches
- [PATCH 27/35] arm: improve tests for vqadd... Andrea Corallo via Gcc-patches
- RE: [PATCH 27/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 33/35] arm: improve tests and fix v... Andrea Corallo via Gcc-patches
- [PATCH 24/35] arm: improve tests for vmlad... Andrea Corallo via Gcc-patches
- RE: [PATCH 24/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 23/35] arm: improve tests for viwdu... Andrea Corallo via Gcc-patches
- RE: [PATCH 23/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 19/35] arm: improve tests and fix v... Andrea Corallo via Gcc-patches
- RE: [PATCH 19/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 30/35] arm: improve tests for vqrdm... Andrea Corallo via Gcc-patches
- RE: [PATCH 30/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 08/35] arm: improve tests for vmin* Andrea Corallo via Gcc-patches
- RE: [PATCH 08/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 22/35] arm: improve tests for vhsub... Andrea Corallo via Gcc-patches
- RE: [PATCH 22/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches