1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_neon_ok } */
       3  /* { dg-options "-O2 -ftree-vectorize" } */
       4  /* { dg-add-options arm_neon } */
       5  /* { dg-final { scan-assembler "vshr\.s32.*#3" } } */
       6  
       7  /* Verify that VSHR immediate is used.  */
       8  void f1(int n, int x[], int y[]) {
       9    int i;
      10    for (i = 0; i < n; ++i)
      11      y[i] = x[i] >> 3;
      12  }