On 04/25/2016 03:09 PM, Tom Lane wrote:
> I'm going to go ahead and push this, because it seems clearly more robust
> than what we have. But I'd appreciate a report on whether it fixes your
> issue.
6b1a213bbd6599228b2b67f7552ff7cc378797bf did not fix it.
Attached is the assembler output (-O0) from float.c as of that commit.