1. 15 8月, 2013 1 次提交
    • S
      math: fix asin, atan, log1p, tanh to raise underflow on subnormal · c599f4f4
      Szabolcs Nagy 提交于
      for these functions f(x)=x for small inputs, because f(0)=0 and
      f'(0)=1, but for subnormal values they should raise the underflow
      flag (required by annex F), if they are approximated by a polynomial
      around 0 then spurious underflow should be avoided (not required by
      annex F)
      
      all these functions should raise inexact flag for small x if x!=0,
      but it's not required by the standard and it does not seem a worthy
      goal, so support for it is removed in some cases.
      
      raising underflow:
      - x*x may not raise underflow for subnormal x if FLT_EVAL_METHOD!=0
      - x*x may raise spurious underflow for normal x if FLT_EVAL_METHOD==0
      - in case of double subnormal x, store x as float
      - in case of float subnormal x, store x*x as float
      c599f4f4
  2. 17 12月, 2012 1 次提交
    • S
      math: tanh.c cleanup similar to sinh, cosh · e42a977f
      Szabolcs Nagy 提交于
      comments are kept in the double version of the function
      
      compared to fdlibm/freebsd we partition the domain into one
      more part and select different threshold points:
      now the [log(5/3)/2,log(3)/2] and [log(3)/2,inf] domains
      should have <1.5ulp error
      (so only the last bit may be wrong, assuming good exp, expm1)
      
      (note that log(3)/2 and log(5/3)/2 are the points where tanh
      changes resolution: tanh(log(3)/2)=0.5, tanh(log(5/3)/2)=0.25)
      
      for some x < log(5/3)/2 (~=0.2554) the error can be >1.5ulp
      but it should be <2ulp
      (the freebsd code had some >2ulp errors in [0.255,1])
      
      even with the extra logic the new code produces smaller
      object files
      e42a977f
  3. 20 3月, 2012 1 次提交
    • N
      code cleanup of named constants · 0cbb6547
      nsz 提交于
      zero, one, two, half are replaced by const literals
      The policy was to use the f suffix for float consts (1.0f),
      but don't use suffix for long double consts (these consts
      can be exactly represented as double).
      0cbb6547
  4. 13 3月, 2012 1 次提交
    • R
      first commit of the new libm! · b69f695a
      Rich Felker 提交于
      thanks to the hard work of Szabolcs Nagy (nsz), identifying the best
      (from correctness and license standpoint) implementations from freebsd
      and openbsd and cleaning them up! musl should now fully support c99
      float and long double math functions, and has near-complete complex
      math support. tgmath should also work (fully on gcc-compatible
      compilers, and mostly on any c99 compiler).
      
      based largely on commit 0376d44a890fea261506f1fc63833e7a686dca19 from
      nsz's libm git repo, with some additions (dummy versions of a few
      missing long double complex functions, etc.) by me.
      
      various cleanups still need to be made, including re-adding (if
      they're correct) some asm functions that were dropped.
      b69f695a