From 1c9afd69051a64cf085c6fb3674a444ff9a43857 Mon Sep 17 00:00:00 2001 From: Rich Felker Date: Thu, 6 Feb 2020 11:34:54 -0500 Subject: fix excess precision in return value of i386 atan[2][f] for functions implemented in C, this is a requirement of C11 (F.6); strictly speaking that text does not apply to standard library functions, but it seems to be intended to apply to them, and C2x is expected to make it a requirement. failure to drop excess precision is particularly bad for inverse trig functions, where a value with excess precision can be outside the range of the function (entire range, or range for a particular subdomain), breaking reasonable invariants a caller may expect. --- src/math/i386/atan2f.s | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/math/i386/atan2f.s') diff --git a/src/math/i386/atan2f.s b/src/math/i386/atan2f.s index c9408a90..3908c86d 100644 --- a/src/math/i386/atan2f.s +++ b/src/math/i386/atan2f.s @@ -4,7 +4,8 @@ atan2f: flds 4(%esp) flds 8(%esp) fpatan - fsts 4(%esp) + fstps 4(%esp) + flds 4(%esp) mov 4(%esp),%eax add %eax,%eax cmp $0x01000000,%eax -- cgit v1.2.1