1 /* PR middle-end/78416 */
2 /* { dg-do run { target int128 } } */
3 
4 int
main()5 main ()
6 {
7   unsigned __int128 x;
8   x = 0xFFFFFFFFFFFFFFFFULL;
9   x /= ~0x7FFFFFFFFFFFFFFFLL;
10   if (x != 0)
11     __builtin_abort ();
12   x = ~0x7FFFFFFFFFFFFFFELL;
13   x /= ~0x7FFFFFFFFFFFFFFFLL;
14   if (x != 1)
15     __builtin_abort ();
16   return 0;
17 }
18