1  /* { dg-require-effective-target int128 } */
       2  /* { dg-options "-O2 -fno-tree-ter -funroll-loops -mavx512f -g" } */
       3  
       4  typedef unsigned __int128 v2ti __attribute__ ((vector_size (32)));
       5  
       6  unsigned
       7  foo (unsigned i, v2ti v)
       8  {
       9    do {
      10      i--;
      11      v %= ~v;
      12    } while (i);
      13    return v[0] + v[1];
      14  }