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  **	vrshr.s32	q[0-9]+, q[0-9]+, #[0-9]+(?:	@.*|)
      16  **	...
      17  */
      18  int32x4_t
      19  foo (int32x4_t a)
      20  {
      21    return vrshrq_n_s32 (a, 1);
      22  }
      23  
      24  
      25  /*
      26  **foo1:
      27  **	...
      28  **	vrshr.s32	q[0-9]+, q[0-9]+, #[0-9]+(?:	@.*|)
      29  **	...
      30  */
      31  int32x4_t
      32  foo1 (int32x4_t a)
      33  {
      34    return vrshrq (a, 1);
      35  }
      36  
      37  #ifdef __cplusplus
      38  }
      39  #endif
      40  
      41  /* { dg-final { scan-assembler-not "__ARM_undef" } } */