RE: [PATCH 09/35] arm: improve tests for vmax*

[Kyrylo Tkachov via Gcc-patches]

> -----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 09/35] arm: improve tests for vmax*
> 
> gcc/testsuite/ChangeLog:
> 
>       * gcc.target/arm/mve/intrinsics/vmaxaq_m_s16.c: Improve test.
>       * gcc.target/arm/mve/intrinsics/vmaxaq_m_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxaq_m_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxaq_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxaq_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxaq_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_p_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_p_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_p_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxavq_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmaq_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmaq_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmavq_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmavq_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_m_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_m_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_x_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmq_x_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmvq_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmvq_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_u16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_u32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_m_u8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_u16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_u32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_u8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_u16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_u32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxq_x_u8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_u16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_u32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_p_u8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_s16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_s32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_s8.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_u16.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_u32.c: Likewise.
>       * gcc.target/arm/mve/intrinsics/vmaxvq_u8.c: Likewise.

Ok.
Thanks,
Kyrill

> ---
>  .../arm/mve/intrinsics/vmaxaq_m_s16.c         | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxaq_m_s32.c         | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxaq_m_s8.c          | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxaq_s16.c           | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxaq_s32.c           | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxaq_s8.c | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxavq_p_s16.c        | 41 ++++++++++++++++---
>  .../arm/mve/intrinsics/vmaxavq_p_s32.c        | 41 ++++++++++++++++---
>  .../arm/mve/intrinsics/vmaxavq_p_s8.c         | 41 ++++++++++++++++---
>  .../arm/mve/intrinsics/vmaxavq_s16.c          | 29 ++++++++++---
>  .../arm/mve/intrinsics/vmaxavq_s32.c          | 29 ++++++++++---
>  .../arm/mve/intrinsics/vmaxavq_s8.c           | 29 ++++++++++---
>  .../arm/mve/intrinsics/vmaxnmaq_f16.c         | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxnmaq_f32.c         | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxnmaq_m_f16.c       | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxnmaq_m_f32.c       | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxnmavq_f16.c        | 27 +++++++++---
>  .../arm/mve/intrinsics/vmaxnmavq_f32.c        | 27 +++++++++---
>  .../arm/mve/intrinsics/vmaxnmavq_p_f16.c      | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxnmavq_p_f32.c      | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxnmq_f16.c          | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxnmq_f32.c          | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxnmq_m_f16.c        | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxnmq_m_f32.c        | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxnmq_x_f16.c        | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxnmq_x_f32.c        | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxnmvq_f16.c         | 27 +++++++++---
>  .../arm/mve/intrinsics/vmaxnmvq_f32.c         | 27 +++++++++---
>  .../arm/mve/intrinsics/vmaxnmvq_p_f16.c       | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxnmvq_p_f32.c       | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxq_m_s16.c          | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxq_m_s32.c          | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxq_m_s8.c           | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxq_m_u16.c          | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxq_m_u32.c          | 26 ++++++++++--
>  .../arm/mve/intrinsics/vmaxq_m_u8.c           | 26 ++++++++++--
>  .../gcc.target/arm/mve/intrinsics/vmaxq_s16.c | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxq_s32.c | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxq_s8.c  | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxq_u16.c | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxq_u32.c | 16 +++++++-
>  .../gcc.target/arm/mve/intrinsics/vmaxq_u8.c  | 16 +++++++-
>  .../arm/mve/intrinsics/vmaxq_x_s16.c          | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxq_x_s32.c          | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxq_x_s8.c           | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxq_x_u16.c          | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxq_x_u32.c          | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxq_x_u8.c           | 25 +++++++++--
>  .../arm/mve/intrinsics/vmaxvq_p_s16.c         | 31 ++++++++++----
>  .../arm/mve/intrinsics/vmaxvq_p_s32.c         | 31 ++++++++++----
>  .../arm/mve/intrinsics/vmaxvq_p_s8.c          | 31 ++++++++++----
>  .../arm/mve/intrinsics/vmaxvq_p_u16.c         | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxvq_p_u32.c         | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxvq_p_u8.c          | 39 +++++++++++++++---
>  .../arm/mve/intrinsics/vmaxvq_s16.c           | 23 +++++++----
>  .../arm/mve/intrinsics/vmaxvq_s32.c           | 23 +++++++----
>  .../gcc.target/arm/mve/intrinsics/vmaxvq_s8.c | 23 +++++++----
>  .../arm/mve/intrinsics/vmaxvq_u16.c           | 27 +++++++++---
>  .../arm/mve/intrinsics/vmaxvq_u32.c           | 27 +++++++++---
>  .../gcc.target/arm/mve/intrinsics/vmaxvq_u8.c | 27 +++++++++---
>  60 files changed, 1318 insertions(+), 257 deletions(-)
> 
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s16.c
> index 48d213277df..4c487ed7f60 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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(?: @.*|)
> +**   ...
> +**   vmaxat.s16      q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo (uint16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m_s16 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxat.s16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxat.s16      q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo1 (uint16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m (a, b, 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/vmaxaq_m_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s32.c
> index 49273819861..5156467f0c1 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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(?: @.*|)
> +**   ...
> +**   vmaxat.s32      q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo (uint32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m_s32 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxat.s32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxat.s32      q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo1 (uint32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m (a, b, 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/vmaxaq_m_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s8.c
> index 5ecdb2c19dc..6564bd88c9b 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_m_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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(?: @.*|)
> +**   ...
> +**   vmaxat.s8       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo (uint8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m_s8 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxat.s8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxat.s8       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo1 (uint8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxaq_m (a, b, 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/vmaxaq_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s16.c
> index f9a9f896aa2..6cabf9f723b 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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:
> +**   ...
> +**   vmaxa.s16       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo (uint16x8_t a, int16x8_t b)
>  {
>    return vmaxaq_s16 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxa.s16       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo1 (uint16x8_t a, int16x8_t b)
>  {
>    return vmaxaq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s32.c
> index efe2fc16ff7..d0dd3c23600 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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:
> +**   ...
> +**   vmaxa.s32       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo (uint32x4_t a, int32x4_t b)
>  {
>    return vmaxaq_s32 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxa.s32       q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo1 (uint32x4_t a, int32x4_t b)
>  {
>    return vmaxaq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s8.c
> index 5c2e35f71a6..a7344638dcf 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxaq_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:
> +**   ...
> +**   vmaxa.s8        q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo (uint8x16_t a, int8x16_t b)
>  {
>    return vmaxaq_s8 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxa.s8        q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo1 (uint8x16_t a, int8x16_t b)
>  {
>    return vmaxaq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxa.s8"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s16.c
> index 74ffad4e726..ac81c8fd1bd 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s16.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxavt.s16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo (uint16_t a, int16x8_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint16_t a, int16x8_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo1 (uint16_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxavq_p (a, b, p);
>  }
> 
> -
> -int16_t
> -foo2 (uint8_t a, int16x8_t b, mve_pred16_t p)
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint16_t
> +foo2 (int16x8_t b, mve_pred16_t p)
>  {
> -  return vmaxavq_p (a, b, p);
> +  return vmaxavq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxavt.s16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s32.c
> index 40800b0f12e..119c0c34c76 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s32.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxavt.s32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo (uint32_t a, int32x4_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint32_t a, int32x4_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo1 (uint32_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxavq_p (a, b, p);
>  }
> 
> -
> -int32_t
> -foo2 (uint16_t a, int32x4_t b, mve_pred16_t p)
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint32_t
> +foo2 (int32x4_t b, mve_pred16_t p)
>  {
> -  return vmaxavq_p (a, b, p);
> +  return vmaxavq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxavt.s32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s8.c
> index 7638737fb84..dfd7f828ef6 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_p_s8.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxavt.s8      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo (uint8_t a, int8x16_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint8_t a, int8x16_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s8      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo1 (uint8_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxavq_p (a, b, p);
>  }
> 
> -
> -int8_t
> -foo2 (uint32_t a, int8x16_t b, mve_pred16_t p)
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxavt.s8      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint8_t
> +foo2 (int8x16_t b, mve_pred16_t p)
>  {
> -  return vmaxavq_p (a, b, p);
> +  return vmaxavq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxavt.s8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s16.c
> index 0dca149b3e8..9f59e8e4542 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s16.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxav.s16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo (uint16_t a, int16x8_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint16_t a, int16x8_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxav.s16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo1 (uint16_t a, int16x8_t b)
>  {
>    return vmaxavq (a, b);
>  }
> 
> -
> -int16_t
> -foo2 (uint8_t a, int16x8_t b)
> +/*
> +**foo2:
> +**   ...
> +**   vmaxav.s16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint16_t
> +foo2 (int16x8_t b)
>  {
> -  return vmaxavq (a, b);
> +  return vmaxavq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxav.s16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s32.c
> index f419a771017..716b8a2a979 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s32.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxav.s32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo (uint32_t a, int32x4_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint32_t a, int32x4_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxav.s32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo1 (uint32_t a, int32x4_t b)
>  {
>    return vmaxavq (a, b);
>  }
> 
> -
> -int32_t
> -foo2 (uint16_t a, int32x4_t b)
> +/*
> +**foo2:
> +**   ...
> +**   vmaxav.s32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint32_t
> +foo2 (int32x4_t b)
>  {
> -  return vmaxavq (a, b);
> +  return vmaxavq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxav.s32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s8.c
> index 214ad88f4aa..0f1a87af54b 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxavq_s8.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxav.s8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo (uint8_t a, int8x16_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint8_t a, int8x16_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxav.s8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo1 (uint8_t a, int8x16_t b)
>  {
>    return vmaxavq (a, b);
>  }
> 
> -
> -int8_t
> -foo2 (uint32_t a, int8x16_t b)
> +/*
> +**foo2:
> +**   ...
> +**   vmaxav.s8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
> +uint8_t
> +foo2 (int8x16_t b)
>  {
> -  return vmaxavq (a, b);
> +  return vmaxavq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxav.s8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f16.c
> index f19707125db..cd4c813bf3b 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f16.c
> @@ -1,21 +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:
> +**   ...
> +**   vmaxnma.f16     q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo (float16x8_t a, float16x8_t b)
>  {
>    return vmaxnmaq_f16 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnma.f16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnma.f16     q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo1 (float16x8_t a, float16x8_t b)
>  {
>    return vmaxnmaq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnma.f16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f32.c
> index 94fc3a2aa28..527466fc131 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_f32.c
> @@ -1,21 +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:
> +**   ...
> +**   vmaxnma.f32     q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo (float32x4_t a, float32x4_t b)
>  {
>    return vmaxnmaq_f32 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnma.f32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnma.f32     q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo1 (float32x4_t a, float32x4_t b)
>  {
>    return vmaxnmaq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnma.f32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f16.c
> index b2e82f5464c..39c68cdc172 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_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(?: @.*|)
> +**   ...
> +**   vmaxnmat.f16    q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo (float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmaq_m_f16 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmat.f16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmat.f16    q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo1 (float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmaq_m (a, b, 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/vmaxnmaq_m_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f32.c
> index 8fa7344b054..f6f8bf07549 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_m_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmaq_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(?: @.*|)
> +**   ...
> +**   vmaxnmat.f32    q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo (float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmaq_m_f32 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmat.f32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmat.f32    q[0-9]+, q[0-9]+(?:     @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo1 (float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmaq_m (a, b, 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/vmaxnmavq_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f16.c
> index 6d8cf19a341..4c1f20be036 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f16.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxnmav.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo (float16_t a, float16x8_t b)
>  {
> @@ -11,18 +18,28 @@ foo (float16_t a, float16x8_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnmav.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo1 (float16_t a, float16x8_t b)
>  {
>    return vmaxnmavq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxnmav.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
> -foo2 (float32_t a, float16x8_t b)
> +foo2 (float16x8_t b)
>  {
> -  return vmaxnmavq (a, b);
> +  return vmaxnmavq (1.1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmav.f16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f32.c
> index ef79030d8eb..86087335cea 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_f32.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxnmav.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo (float32_t a, float32x4_t b)
>  {
> @@ -11,18 +18,28 @@ foo (float32_t a, float32x4_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnmav.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo1 (float32_t a, float32x4_t b)
>  {
>    return vmaxnmavq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxnmav.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
> -foo2 (float16_t a, float32x4_t b)
> +foo2 (float32x4_t b)
>  {
> -  return vmaxnmavq (a, b);
> +  return vmaxnmavq (1.1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmav.f32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f16.c
> index f7f39f59dad..a4973567d5e 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f16.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f16   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo (float16_t a, float16x8_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (float16_t a, float16x8_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f16   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo1 (float16_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmavq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f16   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
> -foo2 (float32_t a, float16x8_t b, mve_pred16_t p)
> +foo2 (float16x8_t b, mve_pred16_t p)
>  {
> -  return vmaxnmavq_p (a, b, p);
> +  return vmaxnmavq_p (1.1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmavt.f16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f32.c
> index 341f6254a5a..b229cb3a322 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmavq_p_f32.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f32   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo (float32_t a, float32x4_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (float32_t a, float32x4_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f32   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo1 (float32_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmavq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmavt.f32   (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
> -foo2 (float16_t a, float32x4_t b, mve_pred16_t p)
> +foo2 (float32x4_t b, mve_pred16_t p)
>  {
> -  return vmaxnmavq_p (a, b, p);
> +  return vmaxnmavq_p (1.1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmavt.f32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f16.c
> index 59a8070e07b..faf968ebb21 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f16.c
> @@ -1,21 +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:
> +**   ...
> +**   vmaxnm.f16      q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo (float16x8_t a, float16x8_t b)
>  {
>    return vmaxnmq_f16 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnm.f16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnm.f16      q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo1 (float16x8_t a, float16x8_t b)
>  {
>    return vmaxnmq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnm.f16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f32.c
> index 5db42bd4b8c..f7ee01b1f14 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_f32.c
> @@ -1,21 +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:
> +**   ...
> +**   vmaxnm.f32      q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo (float32x4_t a, float32x4_t b)
>  {
>    return vmaxnmq_f32 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnm.f32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnm.f32      q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo1 (float32x4_t a, float32x4_t b)
>  {
>    return vmaxnmq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmaxnm.f32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f16.c
> index 4668fd03c9d..ee3444393ed 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f16.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxnmt.f16     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo (float16x8_t inactive, float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_m_f16 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmt.f16     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo1 (float16x8_t inactive, float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f32.c
> index 9e8ccbc84b7..5d434432856 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_m_f32.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxnmt.f32     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo (float32x4_t inactive, float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_m_f32 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmt.f32     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo1 (float32x4_t inactive, float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_x_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_x_f16.c
> index ecca6069d22..dad76734fd8 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_x_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_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(?: @.*|)
> +**   ...
> +**   vmaxnmt.f16     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo (float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_x_f16 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmt.f16     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float16x8_t
>  foo1 (float16x8_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_x (a, b, 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/vmaxnmq_x_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_x_f32.c
> index c3965dda4f1..2fe8c0d4f3d 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_x_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmq_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(?: @.*|)
> +**   ...
> +**   vmaxnmt.f32     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo (float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_x_f32 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxnmt.f32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmt.f32     q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  float32x4_t
>  foo1 (float32x4_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmq_x (a, b, 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/vmaxnmvq_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f16.c
> index 80bd1d4cda1..9787cc1ba90 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f16.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxnmv.f16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo (float16_t a, float16x8_t b)
>  {
> @@ -11,18 +18,28 @@ foo (float16_t a, float16x8_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnmv.f16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo1 (float16_t a, float16x8_t b)
>  {
>    return vmaxnmvq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxnmv.f16     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
> -foo2 (float32_t a, float16x8_t b)
> +foo2 (float16x8_t b)
>  {
> -  return vmaxnmvq (a, b);
> +  return vmaxnmvq (1.1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmv.f16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f32.c
> index bb2fc46f88a..b1191876850 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_f32.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxnmv.f32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo (float32_t a, float32x4_t b)
>  {
> @@ -11,18 +18,28 @@ foo (float32_t a, float32x4_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxnmv.f32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo1 (float32_t a, float32x4_t b)
>  {
>    return vmaxnmvq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxnmv.f32     (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
> -foo2 (float16_t a, float32x4_t b)
> +foo2 (float32x4_t b)
>  {
> -  return vmaxnmvq (a, b);
> +  return vmaxnmvq (1.1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmv.f32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f16.c
> index 3efe203007b..0b1740d5ed2 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f16.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo (float16_t a, float16x8_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (float16_t a, float16x8_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
>  foo1 (float16_t a, float16x8_t b, mve_pred16_t p)
>  {
>    return vmaxnmvq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f16    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float16_t
> -foo2 (float32_t a, float16x8_t b, mve_pred16_t p)
> +foo2 (float16x8_t b, mve_pred16_t p)
>  {
> -  return vmaxnmvq_p (a, b, p);
> +  return vmaxnmvq_p (1.1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmvt.f16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f32.c
> index 6c13247f1f1..ca6ad91d24d 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxnmvq_p_f32.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo (float32_t a, float32x4_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (float32_t a, float32x4_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
>  foo1 (float32_t a, float32x4_t b, mve_pred16_t p)
>  {
>    return vmaxnmvq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxnmvt.f32    (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  float32_t
> -foo2 (float16_t a, float32x4_t b, mve_pred16_t p)
> +foo2 (float32x4_t b, mve_pred16_t p)
>  {
> -  return vmaxnmvq_p (a, b, p);
> +  return vmaxnmvq_p (1.1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxnmvt.f32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s16.c
> index 2791ed4c562..548824fc58a 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s16.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.s16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo (int16x8_t inactive, int16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_s16 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo1 (int16x8_t inactive, int16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s32.c
> index 27f7d5d7b16..e935729b47d 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s32.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.s32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo (int32x4_t inactive, int32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_s32 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo1 (int32x4_t inactive, int32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s8.c
> index 23b7569f720..8028fa031c7 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_s8.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.s8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo (int8x16_t inactive, int8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_s8 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo1 (int8x16_t inactive, int8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s8"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u16.c
> index 61e51e3b830..e872f9e72f8 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u16.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.u16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo (uint16x8_t inactive, uint16x8_t a, uint16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_u16 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo1 (uint16x8_t inactive, uint16x8_t a, uint16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u32.c
> index 23df7eeaed6..76606555881 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u32.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.u32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo (uint32x4_t inactive, uint32x4_t a, uint32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_u32 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo1 (uint32x4_t inactive, uint32x4_t a, uint32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u8.c
> index 138d5c87894..7ade467cafd 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_m_u8.c
> @@ -1,23 +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(?: @.*|)
> +**   ...
> +**   vmaxt.u8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo (uint8x16_t inactive, uint8x16_t a, uint8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_m_u8 (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo1 (uint8x16_t inactive, uint8x16_t a, uint8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_m (inactive, a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u8"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s16.c
> index a42fc82a852..bf547a2420d 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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:
> +**   ...
> +**   vmax.s16        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo (int16x8_t a, int16x8_t b)
>  {
>    return vmaxq_s16 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.s16        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo1 (int16x8_t a, int16x8_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s32.c
> index 14c094a5d11..25bb950c0bf 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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:
> +**   ...
> +**   vmax.s32        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo (int32x4_t a, int32x4_t b)
>  {
>    return vmaxq_s32 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.s32        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo1 (int32x4_t a, int32x4_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s8.c
> index 0540a27bae9..33057f1a58e 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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:
> +**   ...
> +**   vmax.s8 q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo (int8x16_t a, int8x16_t b)
>  {
>    return vmaxq_s8 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.s8 q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo1 (int8x16_t a, int8x16_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.s8"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u16.c
> index 6b9b5a73bcd..7717a9a5057 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u16.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:
> +**   ...
> +**   vmax.u16        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo (uint16x8_t a, uint16x8_t b)
>  {
>    return vmaxq_u16 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.u16        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo1 (uint16x8_t a, uint16x8_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u16"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u32.c
> index 3112302bf1a..36b5c276cfe 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u32.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:
> +**   ...
> +**   vmax.u32        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo (uint32x4_t a, uint32x4_t b)
>  {
>    return vmaxq_u32 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.u32        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo1 (uint32x4_t a, uint32x4_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u32"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u8.c
> index b1baa5083bd..e643e5f3e3c 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_u8.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:
> +**   ...
> +**   vmax.u8 q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo (uint8x16_t a, uint8x16_t b)
>  {
>    return vmaxq_u8 (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmax.u8 q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo1 (uint8x16_t a, uint8x16_t b)
>  {
>    return vmaxq (a, b);
>  }
> 
> -/* { dg-final { scan-assembler "vmax.u8"  }  } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s16.c
> index 9d92f2ccd85..a32feb0d7cd 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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(?: @.*|)
> +**   ...
> +**   vmaxt.s16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo (int16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_s16 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int16x8_t
>  foo1 (int16x8_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxq_x_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s32.c
> index 200fd4b1bb1..3ac1994c4f8 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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(?: @.*|)
> +**   ...
> +**   vmaxt.s32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo (int32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_s32 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int32x4_t
>  foo1 (int32x4_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxq_x_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s8.c
> index 2fe752558b9..c9ba33d1504 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_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(?: @.*|)
> +**   ...
> +**   vmaxt.s8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo (int8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_s8 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.s8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.s8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  int8x16_t
>  foo1 (int8x16_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxq_x_u16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u16.c
> index 967622e331c..954a9e2f02a 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u16.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(?: @.*|)
> +**   ...
> +**   vmaxt.u16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo (uint16x8_t a, uint16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_u16 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u16"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u16       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint16x8_t
>  foo1 (uint16x8_t a, uint16x8_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxq_x_u32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u32.c
> index 56b5d8fa8b8..022d418af84 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u32.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(?: @.*|)
> +**   ...
> +**   vmaxt.u32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo (uint32x4_t a, uint32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_u32 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u32"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u32       q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint32x4_t
>  foo1 (uint32x4_t a, uint32x4_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxq_x_u8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u8.c
> index 1816f959dd7..7e1687a8b72 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxq_x_u8.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(?: @.*|)
> +**   ...
> +**   vmaxt.u8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo (uint8x16_t a, uint8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_x_u8 (a, b, p);
>  }
> 
> -/* { dg-final { scan-assembler "vpst" } } */
> -/* { dg-final { scan-assembler "vmaxt.u8"  }  } */
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxt.u8        q[0-9]+, q[0-9]+, q[0-9]+(?:    @.*|)
> +**   ...
> +*/
>  uint8x16_t
>  foo1 (uint8x16_t a, uint8x16_t b, mve_pred16_t p)
>  {
>    return vmaxq_x (a, b, 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/vmaxvq_p_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s16.c
> index 657efc51bea..a97703eb58c 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s16.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.s16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int16_t
>  foo (int16_t a, int16x8_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,20 @@ foo (int16_t a, int16x8_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.s16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int16_t
>  foo1 (int16_t a, int16x8_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> -int16_t
> -foo2 (int8_t a, int16x8_t b, mve_pred16_t p)
> -{
> -  return vmaxvq_p (a, b, p);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.s16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s32.c
> index 5882351c0fa..b4bddcb8312 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s32.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.s32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int32_t
>  foo (int32_t a, int32x4_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,20 @@ foo (int32_t a, int32x4_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.s32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int32_t
>  foo1 (int32_t a, int32x4_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> -int32_t
> -foo2 (int16_t a, int32x4_t b, mve_pred16_t p)
> -{
> -  return vmaxvq_p (a, b, p);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.s32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s8.c
> index 3737ecd3307..ee8c3e9155f 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_s8.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.s8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int8_t
>  foo (int8_t a, int8x16_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,20 @@ foo (int8_t a, int8x16_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.s8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int8_t
>  foo1 (int8_t a, int8x16_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> -int8_t
> -foo2 (int32_t a, int8x16_t b, mve_pred16_t p)
> -{
> -  return vmaxvq_p (a, b, p);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.s8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u16.c
> index 348cf39caa0..906adf85936 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u16.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.u16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo (uint16_t a, uint16x8_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint16_t a, uint16x8_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo1 (uint16_t a, uint16x8_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u16      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
> -foo2 (uint32_t a, uint16x8_t b, mve_pred16_t p)
> +foo2 (uint16x8_t b, mve_pred16_t p)
>  {
> -  return vmaxvq_p (a, b, p);
> +  return vmaxvq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.u16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u32.c
> index f2e976216c5..acc5367c5a2 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u32.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.u32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo (uint32_t a, uint32x4_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint32_t a, uint32x4_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo1 (uint32_t a, uint32x4_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u32      (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
> -foo2 (uint8_t a, uint32x4_t b, mve_pred16_t p)
> +foo2 (uint32x4_t b, mve_pred16_t p)
>  {
> -  return vmaxvq_p (a, b, p);
> +  return vmaxvq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.u32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u8.c
> index 7df5b63c9bc..358cb40f829 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_p_u8.c
> @@ -1,9 +1,20 @@
>  /* { 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(?: @.*|)
> +**   ...
> +**   vmaxvt.u8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo (uint8_t a, uint8x16_t b, mve_pred16_t p)
>  {
> @@ -11,18 +22,36 @@ foo (uint8_t a, uint8x16_t b, mve_pred16_t p)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo1 (uint8_t a, uint8x16_t b, mve_pred16_t p)
>  {
>    return vmaxvq_p (a, b, p);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmsr    p0, (?:ip|fp|r[0-9]+)(?:        @.*|)
> +**   ...
> +**   vpst(?: @.*|)
> +**   ...
> +**   vmaxvt.u8       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
> -foo2 (uint16_t a, uint8x16_t b, mve_pred16_t p)
> +foo2 (uint8x16_t b, mve_pred16_t p)
>  {
> -  return vmaxvq_p (a, b, p);
> +  return vmaxvq_p (1, b, p);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxvt.u8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s16.c
> index 8412452cf33..485355a7d72 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s16.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.s16       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int16_t
>  foo (int16_t a, int16x8_t b)
>  {
> @@ -11,18 +18,16 @@ foo (int16_t a, int16x8_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.s16       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int16_t
>  foo1 (int16_t a, int16x8_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> -int16_t
> -foo2 (int8_t a, int16x8_t b)
> -{
> -  return vmaxvq (a, b);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.s16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s32.c
> index 09f4909c9a8..3b9075689a0 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s32.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.s32       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int32_t
>  foo (int32_t a, int32x4_t b)
>  {
> @@ -11,18 +18,16 @@ foo (int32_t a, int32x4_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.s32       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int32_t
>  foo1 (int32_t a, int32x4_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> -int32_t
> -foo2 (int16_t a, int32x4_t b)
> -{
> -  return vmaxvq (a, b);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.s32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s8.c
> index a087bbc6b64..f13a0168d9d 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_s8.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.s8        (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int8_t
>  foo (int8_t a, int8x16_t b)
>  {
> @@ -11,18 +18,16 @@ foo (int8_t a, int8x16_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.s8        (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  int8_t
>  foo1 (int8_t a, int8x16_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> -int8_t
> -foo2 (int32_t a, int8x16_t b)
> -{
> -  return vmaxvq (a, b);
> -}
> -
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.s8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u16.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u16.c
> index 47fe0d1cf0f..6a0fe254043 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u16.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u16.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.u16       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo (uint16_t a, uint16x8_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint16_t a, uint16x8_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.u16       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
>  foo1 (uint16_t a, uint16x8_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxv.u16       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint16_t
> -foo2 (uint32_t a, uint16x8_t b)
> +foo2 (uint16x8_t b)
>  {
> -  return vmaxvq (a, b);
> +  return vmaxvq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.u16" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u32.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u32.c
> index aa723daf5dd..eed20046e53 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u32.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u32.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.u32       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo (uint32_t a, uint32x4_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint32_t a, uint32x4_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.u32       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
>  foo1 (uint32_t a, uint32x4_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxv.u32       (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint32_t
> -foo2 (uint8_t a, uint32x4_t b)
> +foo2 (uint32x4_t b)
>  {
> -  return vmaxvq (a, b);
> +  return vmaxvq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.u32" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> diff --git a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u8.c
> b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u8.c
> index 3aae785040c..d44a6d3bb02 100644
> --- a/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u8.c
> +++ b/gcc/testsuite/gcc.target/arm/mve/intrinsics/vmaxvq_u8.c
> @@ -1,9 +1,16 @@
>  /* { 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:
> +**   ...
> +**   vmaxv.u8        (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo (uint8_t a, uint8x16_t b)
>  {
> @@ -11,18 +18,28 @@ foo (uint8_t a, uint8x16_t b)
>  }
> 
> 
> +/*
> +**foo1:
> +**   ...
> +**   vmaxv.u8        (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
>  foo1 (uint8_t a, uint8x16_t b)
>  {
>    return vmaxvq (a, b);
>  }
> 
> -
> +/*
> +**foo2:
> +**   ...
> +**   vmaxv.u8        (?:ip|fp|r[0-9]+), q[0-9]+(?:   @.*|)
> +**   ...
> +*/
>  uint8_t
> -foo2 (uint16_t a, uint8x16_t b)
> +foo2 (uint8x16_t b)
>  {
> -  return vmaxvq (a, b);
> +  return vmaxvq (1, b);
>  }
> 
> -/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> -/* { dg-final { scan-assembler-times "vmaxv.u8" 3 } } */
> +/* { dg-final { scan-assembler-not "__ARM_undef" } } */
> \ No newline at end of file
> --
> 2.25.1