1  /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */
       2  /* { dg-add-options arm_v8_1m_mve_fp } */
       3  /* { dg-additional-options "-O2" } */
       4  /* { dg-final { check-function-bodies "**" "" } } */
       5  
       6  #include "arm_mve.h"
       7  
       8  #ifdef __cplusplus
       9  extern "C" {
      10  #endif
      11  
      12  /*
      13  **foo:
      14  **	...
      15  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      16  **	...
      17  **	vpst(?:	@.*|)
      18  **	...
      19  **	vcmpt.f32	eq, q[0-9]+, q[0-9]+(?:	@.*|)
      20  **	...
      21  **	vmrs	(?:ip|fp|r[0-9]+), p0(?:	@.*|)
      22  **	...
      23  */
      24  mve_pred16_t
      25  foo (float32x4_t a, float32x4_t b, mve_pred16_t p)
      26  {
      27    return vcmpeqq_m_f32 (a, b, p);
      28  }
      29  
      30  
      31  /*
      32  **foo1:
      33  **	...
      34  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      35  **	...
      36  **	vpst(?:	@.*|)
      37  **	...
      38  **	vcmpt.f32	eq, q[0-9]+, q[0-9]+(?:	@.*|)
      39  **	...
      40  **	vmrs	(?:ip|fp|r[0-9]+), p0(?:	@.*|)
      41  **	...
      42  */
      43  mve_pred16_t
      44  foo1 (float32x4_t a, float32x4_t b, mve_pred16_t p)
      45  {
      46    return vcmpeqq_m (a, b, p);
      47  }
      48  
      49  #ifdef __cplusplus
      50  }
      51  #endif
      52  
      53  /* { dg-final { scan-assembler-not "__ARM_undef" } } */