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
main()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 }
16