/* { dg-require-effective-target int128 } */
/* { dg-options "-O2 -fno-tree-ter -funroll-loops -mavx512f -g" } */

typedef unsigned __int128 v2ti __attribute__ ((vector_size (32)));

unsigned
foo (unsigned i, v2ti v)
{
  do {
    i--;
    v %= ~v;
  } while (i);
  return v[0] + v[1];
}