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	ge, q[0-9]+, (?:ip|fp|r[0-9]+)(?:	@.*|)
      20  **	...
      21  **	vmrs	(?:ip|fp|r[0-9]+), p0(?:	@.*|)
      22  **	...
      23  */
      24  mve_pred16_t
      25  foo (float32x4_t a, float32_t b, mve_pred16_t p)
      26  {
      27    return vcmpgeq_m_n_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	ge, q[0-9]+, (?:ip|fp|r[0-9]+)(?:	@.*|)
      39  **	...
      40  **	vmrs	(?:ip|fp|r[0-9]+), p0(?:	@.*|)
      41  **	...
      42  */
      43  mve_pred16_t
      44  foo1 (float32x4_t a, float32_t b, mve_pred16_t p)
      45  {
      46    return vcmpgeq_m (a, b, p);
      47  }
      48  
      49  /*
      50  **foo2:
      51  **	...
      52  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      53  **	...
      54  **	vpst(?:	@.*|)
      55  **	...
      56  **	vcmpt.f32	ge, q[0-9]+, (?:ip|fp|r[0-9]+)(?:	@.*|)
      57  **	...
      58  **	vmrs	(?:ip|fp|r[0-9]+), p0(?:	@.*|)
      59  **	...
      60  */
      61  mve_pred16_t
      62  foo2 (float32x4_t a, mve_pred16_t p)
      63  {
      64    return vcmpgeq_m (a, 1.1, p);
      65  }
      66  
      67  #ifdef __cplusplus
      68  }
      69  #endif
      70  
      71  /* { dg-final { scan-assembler-not "__ARM_undef" } } */