1 /* { dg-do run } */
2 /* { dg-require-effective-target int128 } */
3 
4 extern void abort (void);
5 
6 float __attribute__((noinline))
f(__uint128_t x)7 f (__uint128_t x)
8 {
9   return x + 1;
10 }
11 
12 int
main(void)13 main (void)
14 {
15   if (f (0xffffffffu) == 0)
16     abort ();
17   return 0;
18 }
19