1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  
       4  void
       5  f (int *restrict x, int *restrict y, int *restrict z, int n)
       6  {
       7    for (int i = 0; i < n; i += 2)
       8      {
       9        x[i] = y[i] + z[i];
      10        x[i + 1] = y[i + 1] - z[i + 1];
      11      }
      12  }
      13  
      14  /* { dg-final { scan-assembler {\tptrue\tp[0-7]\.d, all\n} } } */
      15  /* { dg-final { scan-assembler-times {\tld1w\tz[0-9]+.s, p[0-7]/z, \[x[0-9]+, x[0-9]+, lsl 2\]\n} 2 } } */
      16  /* { dg-final { scan-assembler-times {\tst1w\tz[0-9]+.s, p[0-7], \[x[0-9]+, x[0-9]+, lsl 2\]\n} 1 } } */