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  **	vsbc.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      22  **	...
      23  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      24  **	...
      25  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      26  **	...
      27  */
      28  int32x4_t
      29  foo (int32x4_t a, int32x4_t b, unsigned *carry)
      30  {
      31    return vsbcq_s32 (a, b, carry);
      32  }
      33  
      34  
      35  /*
      36  **foo1:
      37  **	...
      38  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      39  **	...
      40  **	bfi	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      41  **	...
      42  **	vmsr	FPSCR_nzcvqc, (?:ip|fp|r[0-9]+)(?:	@.*|)
      43  **	...
      44  **	vsbc.i32	q[0-9]+, q[0-9]+, q[0-9]+(?:	@.*|)
      45  **	...
      46  **	vmrs	(?:ip|fp|r[0-9]+), FPSCR_nzcvqc(?:	@.*|)
      47  **	...
      48  **	ubfx	(?:ip|fp|r[0-9]+), (?:ip|fp|r[0-9]+), #29, #1(?:	@.*|)
      49  **	...
      50  */
      51  int32x4_t
      52  foo1 (int32x4_t a, int32x4_t b, unsigned *carry)
      53  {
      54    return vsbcq (a, b, carry);
      55  }
      56  
      57  #ifdef __cplusplus
      58  }
      59  #endif
      60  
      61  /* { dg-final { scan-assembler-not "__ARM_undef" } } */