- 19 3月, 2012 12 次提交
-
-
由 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 提交于
-
由 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 提交于
-
- 16 3月, 2012 2 次提交
-
-
由 Rich Felker 提交于
a double precision nan, when converted to extended (80-bit) precision, will never end in 0x400, since the corresponding bits do not exist in the original double precision value. thus there's no need to waste time and code size on this check.
-
由 Rich Felker 提交于
-
- 15 3月, 2012 5 次提交
-
-
由 nsz 提交于
long double and float bessel functions are no longer xsi extensions
-
由 nsz 提交于
-
由 Rich Felker 提交于
presumably broken gcc may generate calls to these, and it's said that ffmpeg makes use of sincosf.
-
由 Rich Felker 提交于
-
由 Rich Felker 提交于
the fsqrt opcode is correctly rounded, but only in the fpu's selected precision mode, which is 80-bit extended precision. to get a correctly rounded double precision output, we check for the only corner cases where two-step rounding could give different results than one-step (extended-precision mantissa ending in 0x400) and adjust the mantissa slightly in the opposite direction of the rounding which the fpu already did (reported in the c1 flag of the fpu status word). this should have near-zero cost in the non-corner cases and at worst very low cost. note that in order for sqrt() to get used when compiling with gcc, the broken, non-conformant builtin sqrt must be disabled.
-
- 14 3月, 2012 1 次提交
-
-
由 Rich Felker 提交于
-