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  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      16  **	...
      17  **	bfi	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      18  **	...
      19  **	vmsr	FPSCR_nzcvqc, (?:ip|fp|r[0-9]+)(?:	@.*|)
      20  **	...
      21  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      22  **	...
      23  **	vpst(?:	@.*|)
      24  **	...
      25  **	vadct.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      26  **	...
      27  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      28  **	...
      29  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      30  **	...
      31  */
      32  int32x4_t
      33  foo (int32x4_t inactive, int32x4_t a, int32x4_t b, unsigned *carry, mve_pred16_t p)
      34  {
      35    return vadcq_m_s32 (inactive, a, b, carry, p);
      36  }
      37  
      38  
      39  /*
      40  **foo1:
      41  **	...
      42  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      43  **	...
      44  **	bfi	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      45  **	...
      46  **	vmsr	FPSCR_nzcvqc, (?:ip|fp|r[0-9]+)(?:	@.*|)
      47  **	...
      48  **	vmsr	p0, (?:ip|fp|r[0-9]+)(?:	@.*|)
      49  **	...
      50  **	vpst(?:	@.*|)
      51  **	...
      52  **	vadct.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      53  **	...
      54  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      55  **	...
      56  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      57  **	...
      58  */
      59  int32x4_t
      60  foo1 (int32x4_t inactive, int32x4_t a, int32x4_t b, unsigned *carry, mve_pred16_t p)
      61  {
      62    return vadcq_m (inactive, a, b, carry, p);
      63  }
      64  
      65  #ifdef __cplusplus
      66  }
      67  #endif
      68  
      69  /* { dg-final { scan-assembler-not "__ARM_undef" } } */