> -----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 12/35] arm: improve tests and fix vabsq* > > gcc/ChangeLog: > > * config/arm/mve.md (mve_vabsq_f<mode>): Fix spacing. > > gcc/testsuite/ChangeLog: > > * gcc.target/arm/mve/intrinsics/vabsq_f16.c: Improve test. > * gcc.target/arm/mve/intrinsics/vabsq_f32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_m_f16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_m_f32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_m_s16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_m_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_m_s8.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_s16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_s8.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_x_f16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_x_f32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_x_s16.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_x_s32.c: Likewise. > * gcc.target/arm/mve/intrinsics/vabsq_x_s8.c: Likewise. Ok. Thanks, Kyrill > --- > gcc/config/arm/mve.md | 2 +- > .../gcc.target/arm/mve/intrinsics/vabsq_f16.c | 22 +++++++++++++++- > .../gcc.target/arm/mve/intrinsics/vabsq_f32.c | 22 +++++++++++++++- > .../arm/mve/intrinsics/vabsq_m_f16.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_m_f32.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_m_s16.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_m_s32.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_m_s8.c | 25 ++++++++++++++++--- > .../gcc.target/arm/mve/intrinsics/vabsq_s16.c | 20 ++++++++++++--- > .../gcc.target/arm/mve/intrinsics/vabsq_s32.c | 20 ++++++++++++--- > .../gcc.target/arm/mve/intrinsics/vabsq_s8.c | 16 ++++++++++-- > .../arm/mve/intrinsics/vabsq_x_f16.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_x_f32.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_x_s16.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_x_s32.c | 25 ++++++++++++++++--- > .../arm/mve/intrinsics/vabsq_x_s8.c | 25 ++++++++++++++++--- > 16 files changed, 309 insertions(+), 43 deletions(-) > > diff --git a/gcc/config/arm/mve.md b/gcc/config/arm/mve.md > index 3330a220aea..bc4e2f2ac21 100644 > --- a/gcc/config/arm/mve.md > +++ b/gcc/config/arm/mve.md > @@ -279,7 +279,7 @@ (define_insn "mve_vabsq_f<mode>" > (abs:MVE_0 (match_operand:MVE_0 1 "s_register_operand" "w"))) > ] > "TARGET_HAVE_MVE && TARGET_HAVE_MVE_FLOAT" > - "vabs.f%#<V_sz_elem> %q0, %q1" > + "vabs.f%#<V_sz_elem>\t%q0, %q1" > [(set_attr "type" "mve_move") > ]) > > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f16.c > index 08e141baedc..f29ada8c058 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f16.c > @@ -1,13 +1,33 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vabs.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float16x8_t > foo (float16x8_t a) > { > return vabsq_f16 (a); > } > > -/* { dg-final { scan-assembler "vabs.f16" } } */ > + > +/* > +**foo1: > +** ... > +** vabs.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > +float16x8_t > +foo1 (float16x8_t a) > +{ > + return vabsq (a); > +} > + > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f32.c > index 3614a44fbdc..cc24744fb26 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_f32.c > @@ -1,13 +1,33 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vabs.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float32x4_t > foo (float32x4_t a) > { > return vabsq_f32 (a); > } > > -/* { dg-final { scan-assembler "vabs.f32" } } */ > + > +/* > +**foo1: > +** ... > +** vabs.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > +float32x4_t > +foo1 (float32x4_t a) > +{ > + return vabsq (a); > +} > + > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f16.c > index 30c14a151af..21cf284d045 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f16.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float16x8_t > foo (float16x8_t inactive, float16x8_t a, mve_pred16_t p) > { > return vabsq_m_f16 (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.f16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float16x8_t > foo1 (float16x8_t inactive, float16x8_t a, mve_pred16_t p) > { > return vabsq_m (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f32.c > index 652056aa98c..236830b3a9e 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_f32.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float32x4_t > foo (float32x4_t inactive, float32x4_t a, mve_pred16_t p) > { > return vabsq_m_f32 (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.f32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float32x4_t > foo1 (float32x4_t inactive, float32x4_t a, mve_pred16_t p) > { > return vabsq_m (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s16.c > index 2dcf488bd0d..22f7b37b30b 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_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(?: @.*|) > +** ... > +** vabst.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo (int16x8_t inactive, int16x8_t a, mve_pred16_t p) > { > return vabsq_m_s16 (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo1 (int16x8_t inactive, int16x8_t a, mve_pred16_t p) > { > return vabsq_m (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s32.c > index 183909fef93..b3021edf52b 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_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(?: @.*|) > +** ... > +** vabst.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo (int32x4_t inactive, int32x4_t a, mve_pred16_t p) > { > return vabsq_m_s32 (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo1 (int32x4_t inactive, int32x4_t a, mve_pred16_t p) > { > return vabsq_m (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s8.c > index cd17974838e..da9ff2f978a 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_m_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(?: @.*|) > +** ... > +** vabst.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo (int8x16_t inactive, int8x16_t a, mve_pred16_t p) > { > return vabsq_m_s8 (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s8" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo1 (int8x16_t inactive, int8x16_t a, mve_pred16_t p) > { > return vabsq_m (inactive, a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s16.c > index 243afebc38c..84906302c8a 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s16.c > @@ -1,21 +1,33 @@ > -/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > -/* { dg-add-options arm_v8_1m_mve_fp } */ > +/* { 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: > +** ... > +** vabs.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo (int16x8_t a) > { > return vabsq_s16 (a); > } > > -/* { dg-final { scan-assembler "vabs.s16" } } */ > > +/* > +**foo1: > +** ... > +** vabs.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo1 (int16x8_t a) > { > return vabsq (a); > } > > -/* { dg-final { scan-assembler "vabs.s16" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s32.c > index d9843503a48..117c787d595 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s32.c > @@ -1,21 +1,33 @@ > -/* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > -/* { dg-add-options arm_v8_1m_mve_fp } */ > +/* { 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: > +** ... > +** vabs.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo (int32x4_t a) > { > return vabsq_s32 (a); > } > > -/* { dg-final { scan-assembler "vabs.s32" } } */ > > +/* > +**foo1: > +** ... > +** vabs.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo1 (int32x4_t a) > { > return vabsq (a); > } > > -/* { dg-final { scan-assembler "vabs.s32" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s8.c > index 93bf1520dd3..a7f1413505c 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_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: > +** ... > +** vabs.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo (int8x16_t a) > { > return vabsq_s8 (a); > } > > -/* { dg-final { scan-assembler "vabs.s8" } } */ > > +/* > +**foo1: > +** ... > +** vabs.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo1 (int8x16_t a) > { > return vabsq (a); > } > > -/* { dg-final { scan-assembler "vabs.s8" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f16.c > index d1fc7002ccb..f24a8cccb53 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f16.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float16x8_t > foo (float16x8_t a, mve_pred16_t p) > { > return vabsq_x_f16 (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.f16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float16x8_t > foo1 (float16x8_t a, mve_pred16_t p) > { > return vabsq_x (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f32.c > index 0beccac030d..fd4c2277969 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_f32.c > @@ -1,22 +1,41 @@ > /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */ > /* { dg-add-options arm_v8_1m_mve_fp } */ > /* { dg-additional-options "-O2" } */ > +/* { dg-final { check-function-bodies "**" "" } } */ > > #include "arm_mve.h" > > +/* > +**foo: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float32x4_t > foo (float32x4_t a, mve_pred16_t p) > { > return vabsq_x_f32 (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.f32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.f32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > float32x4_t > foo1 (float32x4_t a, mve_pred16_t p) > { > return vabsq_x (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s16.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s16.c > index fd67fd5ccac..0e1d1bb94d4 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s16.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_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(?: @.*|) > +** ... > +** vabst.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo (int16x8_t a, mve_pred16_t p) > { > return vabsq_x_s16 (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s16" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s16 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int16x8_t > foo1 (int16x8_t a, mve_pred16_t p) > { > return vabsq_x (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s32.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s32.c > index 22d561d1e46..64d0e4b574d 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s32.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_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(?: @.*|) > +** ... > +** vabst.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo (int32x4_t a, mve_pred16_t p) > { > return vabsq_x_s32 (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s32" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s32 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int32x4_t > foo1 (int32x4_t a, mve_pred16_t p) > { > return vabsq_x (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s8.c > b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s8.c > index 6908a6ca20c..742bc701fae 100644 > --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_s8.c > +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vabsq_x_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(?: @.*|) > +** ... > +** vabst.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo (int8x16_t a, mve_pred16_t p) > { > return vabsq_x_s8 (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > -/* { dg-final { scan-assembler "vabst.s8" } } */ > > +/* > +**foo1: > +** ... > +** vmsr p0, (?:ip|fp|r[0-9]+)(?: @.*|) > +** ... > +** vpst(?: @.*|) > +** ... > +** vabst.s8 q[0-9]+, q[0-9]+(?: @.*|) > +** ... > +*/ > int8x16_t > foo1 (int8x16_t a, mve_pred16_t p) > { > return vabsq_x (a, p); > } > > -/* { dg-final { scan-assembler "vpst" } } */ > +/* { dg-final { scan-assembler-not "__ARM_undef" } } */ > \ No newline at end of file > -- > 2.25.1
RE: [PATCH 12/35] arm: improve tests and fix vabsq*
Kyrylo Tkachov via Gcc-patches Fri, 18 Nov 2022 08:45:25 -0800
- [PATCH 05/35] arm: improve vidupq* tests Andrea Corallo via Gcc-patches
- RE: [PATCH 05/35] arm: improve vidupq... Kyrylo Tkachov via Gcc-patches
- [PATCH 06/35] arm: improve tests and fix v... Andrea Corallo via Gcc-patches
- RE: [PATCH 06/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 35/35] arm: improve tests for vsetq... Andrea Corallo via Gcc-patches
- [PATCH 31/35] arm: improve tests for vqrdm... Andrea Corallo via Gcc-patches
- RE: [PATCH 31/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 20/35] arm: improve tests for vfmas... Andrea Corallo via Gcc-patches
- RE: [PATCH 20/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [PATCH 12/35] arm: improve tests and fix v... Andrea Corallo via Gcc-patches
- RE: [PATCH 12/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches
- [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
- RE: [PATCH 33/35] arm: improve tests ... Kyrylo Tkachov via Gcc-patches