1  /* { dg-options "-O3 -msve-vector-bits=256" } */
       2  
       3  void
       4  f (int *restrict x, int *restrict y, unsigned int n)
       5  {
       6    for (unsigned int i = 0; i < n * 8; ++i)
       7      x[i] += y[i];
       8  }
       9  
      10  /* { dg-final { scan-assembler-not {\twhilelo\t} } } */
      11  /* { dg-final { scan-assembler {\tptrue\tp} } } */
      12  /* { dg-final { scan-assembler {\tcmp\tx[0-9]+, x[0-9]+\n} } } */