1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O3 -msve-vector-bits=512" } */
       3  
       4  void f(unsigned short *restrict p1, unsigned int *restrict p2)
       5  {
       6      for (int i = 0; i < 16; ++i)
       7        {
       8          p1[i] /= 0xff;
       9          p2[i] += 1;
      10        }
      11  }
      12