> Fused multiply-add always uses "infinite precision" in the intermediate > result. Only a single rounding is performed at the end.
Of course, but I was implicitly referring to the 82-bit thing. But it seems I was wrong, as the testcase fails on PowerPC w/ -mfused-madd too. -- Eric Botcazou