1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -fdump-tree-vect-details -march=armv8-a+sve -msve-vector-bits=scalable" } */
       3  
       4  void f(unsigned char y[restrict],
       5         unsigned char x[restrict], int n) {
       6    for (int i = 0; i < n; ++i)
       7      y[i] = (y[i] + x[i] + 1) >> 1;
       8  }
       9  
      10  /* { dg-final { scan-tree-dump {LOOP EPILOGUE VECTORIZED \(MODE=VNx} "vect" } } */