/* 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; | |
} |