- 19 3月, 2012 20 次提交
-
-
由 nsz 提交于
The old scalbn.c was wrong and slow, the new one is just slow. (scalbn(0x1p+1023,-2097) should give 0x1p-1074, but the old code gave 0)
-
-
由 Rich Felker 提交于
-
-
由 Rich Felker 提交于
unlike some implementations, these functions perform the equivalent of gcc's -ffloat-store on the result before returning. this is necessary to raise underflow/overflow/inexact exceptions, perform the correct rounding with denormals, etc.
-
由 Rich Felker 提交于
unlike trig functions, these are easy to do in asm because they do not involve (arbitrary-precision) argument reduction. fpatan automatically takes care of domain issues, and in asin and acos, fsqrt takes care of them for us.
-
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
infinities were getting converted into nans. the new code simply tests for infinity and replaces it with a large magnitude value of the same sign. also, the fcomi instruction is apparently not part of the i387 instruction set, so avoid using it.
-
由 Rich Felker 提交于
-
-
由 Rich Felker 提交于
-
由 nsz 提交于
-
由 nsz 提交于
-
由 nsz 提交于
correctly rounded double precision fma using extended precision arithmetics for ld80 systems (x87)
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
these are functions that have direct fpu approaches to implementation without problematic exception or rounding issues. x86_64 lacks float/double versions because i'm unfamiliar with the necessary sse code for performing these operations.
-
由 nsz 提交于
Simple wrappers around round is enough because spurious inexact exception is allowed.
-
由 nsz 提交于
-
由 nsz 提交于
A faster workaround for spurious inexact exceptions when the result cannot be represented. The old code actually could be wrong, because gcc reordered the integer conversion and the exception check.
-
- 18 3月, 2012 9 次提交
-
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
it's not even provided in the library at the moment, but could easily be provided with weak aliases if desired.
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
untested; may need followup-fixes.
-
由 Rich Felker 提交于
if all exception flags will be cleared, we can avoid the expensive store/reload of the environment and just use the fnclex instruction.
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
- 17 3月, 2012 11 次提交
-
-
由 nsz 提交于
Note that the new fesetround has slightly different semantics: Storing the floating-point environment with fnstenv makes the next fldenv (or fldcw) "non-signaling", so unmasked and pending exceptions does not invoke the exception handler. (These are rare since exceptions are handled immediately and by default all exceptions are masked anyway. But if one manually unmasks an exception in the control word then either sets the corresponding exception flag in the status word or the execution of an exception raising floating-point operation gets interrupted then it may happen). So the old implementation did not trap in some rare cases where the new implementation traps. However POSIX does not specify anything like the x87 exception handling traps and the fnstenv/fldenv pair is significantly slower than the fnstcw/fldcw pair (new code is about 5x faster here and it's dominated by the function call overhead).
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
this is necessary to support archs where fenv is incomplete or unavailable (presently arm). fma, fmal, and the lrint family should work perfectly fine with this change; fmaf is slightly broken with respect to rounding as it depends on non-default rounding modes to do its work.
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
otherwise, the standard C lgamma function will clobber a symbol in the namespace reserved for the application.
-
由 Rich Felker 提交于
standard functions cannot depend on nonstandard symbols
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
-