1  /* { dg-options "-Os" } */
       2  
       3  #include <arm_sve.h>
       4  extern char b[];
       5  int x;
       6  void f() {
       7    while (x) {
       8      x = svaddv(
       9          svnot_z(svnot_z(svptrue_pat_b8(SV_VL6),
      10                          svmov_z(svptrue_pat_b8(SV_VL1),
      11                                  svptrue_pat_b16(SV_VL3))),
      12                  svptrue_pat_b64(SV_VL2)),
      13          svdup_s32(8193));
      14      for (int j = x; j; j++)
      15        b[j] = 0;
      16    }
      17  }