blob: 5526a8d01570219cebab1017edc268c32c921274 [file] [log] [blame]
/* PR rtl-optimization/88563 */
/* { dg-do run { target int128 } } */
/* { 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" } */
int
main ()
{
#if __SIZEOF_LONG_LONG__ == 8 && __SIZEOF_INT128__ == 16 && __CHAR_BIT__ == 8
unsigned __int128 a = 5;
__builtin_mul_overflow (0xffffffffffffffffULL, (unsigned long long) a, &a);
if (a != ((unsigned __int128)4 << 64 | 0xfffffffffffffffb))
__builtin_abort ();
#endif
return 0;
}