/* PR rtl-optimization/78546 */ | |
/* { dg-do run { target int128 } } */ | |
typedef unsigned __int128 u128; | |
u128 b; | |
int | |
main () | |
{ | |
asm volatile ("" : : : "memory"); | |
u128 x = ((u128) ~0x7fffffffffffffffLL) - b; | |
u128 y = 1 - x; | |
if (y != 0x8000000000000001ULL) | |
__builtin_abort (); | |
return 0; | |
} |