1  /* { dg-require-effective-target arm_v8_1m_mve_ok } */
       2  /* { dg-add-options arm_v8_1m_mve } */
       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  **	vadcit.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      20  **	...
      21  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      22  **	...
      23  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      24  **	...
      25  */
      26  int32x4_t
      27  foo (int32x4_t inactive, int32x4_t a, int32x4_t b, unsigned *carry_out, mve_pred16_t p)
      28  {
      29    return vadciq_m_s32 (inactive, a, b, carry_out, p);
      30  }
      31  
      32  
      33  /*
      34  **foo1:
      35  **	...
      36  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      37  **	...
      38  **	vpst(?:	@.*|)
      39  **	...
      40  **	vadcit.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      41  **	...
      42  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      43  **	...
      44  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      45  **	...
      46  */
      47  int32x4_t
      48  foo1 (int32x4_t inactive, int32x4_t a, int32x4_t b, unsigned *carry_out, mve_pred16_t p)
      49  {
      50    return vadciq_m (inactive, a, b, carry_out, p);
      51  }
      52  
      53  #ifdef __cplusplus
      54  }
      55  #endif
      56  
      57  /* { dg-final { scan-assembler-not "__ARM_undef" } } */