/* { dg-require-effective-target int128 } */
/* { dg-additional-options "-g" } */
/* { dg-skip-if "exceeds eBPF stack limit" { bpf-*-* } } */


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];
}