1  /* PR rtl-optimization/88563 */
       2  /* { dg-do run { target int128 } } */
       3  /* { dg-options "-O2 -fno-code-hoisting -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-forwprop -fno-tree-fre -fno-tree-pre -fno-tree-vrp" } */
       4  
       5  int
       6  main ()
       7  {
       8  #if __SIZEOF_LONG_LONG__ == 8 && __SIZEOF_INT128__ == 16 && __CHAR_BIT__ == 8
       9    unsigned __int128 a = 5;
      10    __builtin_mul_overflow (0xffffffffffffffffULL, (unsigned long long) a, &a);
      11    if (a != ((unsigned __int128)4 << 64 | 0xfffffffffffffffb))
      12      __builtin_abort ();
      13  #endif
      14    return 0;
      15  }