Use of C99 extra long double math functions after r236148
Steve Kargl
sgk at troutmask.apl.washington.edu
Sun Aug 12 23:08:55 UTC 2012
On Wed, Jul 18, 2012 at 10:05:43PM -0500, Stephen Montgomery-Smith wrote:
> On 07/18/2012 09:53 PM, Steve Kargl wrote:
> >
> >The inexact flag will get raised by the fpu, but you need to
> >cause the condition. For your 'sqrt(y*y-1) = y' example,
> >you would do something like 'sqrt(y*y-1) = abs(y) - tiny' where
> >tiny is much less than abs(y). Search msun/src for inexact
> >(ie., grep -i inexact msun/src/*.c)
> >
>
> Couldn't you do this instead?
>
> #include <fenv.h>
>
> feraiseexcept(FE_INEXACT)
>
I haven't checked, but I suspect you're looking at a speed
issue. It's faster to let the hardware raise the flag.
It seems that libm only uses the above in the fuse-multiple-add
code:
laptop:kargl[206] grep feraise src/*c
src/s_fma.c: feraiseexcept(FE_INEXACT);
src/s_fma.c: feraiseexcept(FE_UNDERFLOW);
src/s_fmal.c: feraiseexcept(FE_INEXACT);
src/s_fmal.c: feraiseexcept(FE_UNDERFLOW);
src/s_lround.c: feraiseexcept(FE_INVALID);
--
Steve
More information about the freebsd-numerics
mailing list