1 /* { dg-require-effective-target int128 } */
2 /* { dg-additional-options "-g" } */
3 /* { dg-skip-if "exceeds eBPF stack limit" { bpf-*-* } } */
4 
5 
6 typedef unsigned __int128 v2ti __attribute__ ((vector_size (32)));
7 
8 unsigned
foo(unsigned i,v2ti v)9 foo (unsigned i, v2ti v)
10 {
11   do {
12     i--;
13     v %= ~v;
14   } while (i);
15   return v[0] + v[1];
16 }
17