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