| /* PR tree-optimization/110755 */ | |
| /* { dg-do run } */ | |
| /* { dg-require-effective-target fenv } */ | |
| /* { dg-require-effective-target hard_float } */ | |
| /* { dg-options "-O2 -frounding-math" } */ | |
| #include <fenv.h> | |
| __attribute__((noipa)) float | |
| foo (float x) | |
| { | |
| if (x > 0.0) | |
| { | |
| x += 0x1p+23; | |
| x -= 0x1p+23; | |
| x = __builtin_fabsf (x); | |
| } | |
| return x; | |
| } | |
| int | |
| main () | |
| { | |
| #ifdef FE_DOWNWARD | |
| fesetround (FE_DOWNWARD); | |
| if (__builtin_signbit (foo (0.5))) | |
| __builtin_abort (); | |
| #endif | |
| } |