1  /* PR middle-end/78416 */
       2  /* { dg-do run { target int128 } } */
       3  
       4  int
       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  }