| /* { dg-do run { target int128 } } */ | |
| static unsigned __attribute__((noinline, noclone)) | |
| foo (unsigned long long u) | |
| { | |
| unsigned __int128 v = u | 0xffffff81U; | |
| v >>= 64; | |
| return v; | |
| } | |
| int | |
| main () | |
| { | |
| unsigned x = foo (27); | |
| if (x != 0) | |
| __builtin_abort (); | |
| return 0; | |
| } |