On 04/21/2016 08:18 PM, Tom Lane wrote:
> Hm. This seems to prove that we're not getting exactly 1.0 from
> (asin(x) / asin_0_5) with x = 0.5, but I'm having a hard time guessing
> why that might be so when all the other cases work.
>
> Could you send along the assembler code generated by the compiler (-S
> output) for float.c? Maybe that would shed some light. Probably the
> -O0 version would be easier to read.
Attached is a smaller test program that prints 29.9999999999999964 (same
as failing test result) as well as its assembler code.