------- Comment #8 from rguenth at gcc dot gnu dot org 2010-06-26 10:05 ------- Testcase which should fail at all optimization levels (assuming that fadd.s f4, f0 is internally going through the mac unit as fmac.s f4, f1, f0)
float __attribute__((noinline))
foo (float x)
{
float y = x + 0.0;
return __builtin_copysignf (1.0, y);
}
int main()
{
if (foo (-0.0) != 1.0)
__builtin_abort ();
return 0;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44583
