2 /* { dg-options "-O2" } */
3 void abort (void) __attribute__ ((noreturn
));
4 float __attribute__((noinline
))
7 return a
- (((float)b
/ 0x7fffffff) * 100);
13 float a
[] = { 100.0, 0.0, 0.0};
14 int b
[] = { 0x7fffffff, 0x7fffffff/100.0f
, -0x7fffffff / 100.0f
};
15 float c
[] = { 0.0, -1.0, 1.0 };
18 for (i
= 0; i
< (sizeof(a
) / sizeof (float)); i
++)
19 if (f (a
[i
], b
[i
]) != c
[i
])