1 /* { dg-do run { target int128 } } */
2 
3 static unsigned __attribute__((noinline, noclone))
foo(unsigned long long u)4 foo (unsigned long long u)
5 {
6   unsigned __int128 v = u | 0xffffff81U;
7   v >>= 64;
8   return v;
9 }
10 
11 int
main()12 main ()
13 {
14   unsigned x = foo (27);
15   if (x != 0)
16     __builtin_abort ();
17   return 0;
18 }
19