File Manager

003 File Manager

Current Path: /usr/src/lib/msun/src

📁 ..
📄 catrig.c(18.56 KB)
📄 catrigf.c(9.27 KB)
📄 catrigl.c(10.37 KB)
📄 e_acos.c(3.38 KB)
📄 e_acosf.c(1.99 KB)
📄 e_acosh.c(1.63 KB)
📄 e_acoshf.c(1.27 KB)
📄 e_acoshl.c(2.19 KB)
📄 e_acosl.c(2.16 KB)
📄 e_asin.c(3.55 KB)
📄 e_asinf.c(1.58 KB)
📄 e_asinl.c(1.85 KB)
📄 e_atan2.c(3.74 KB)
📄 e_atan2f.c(2.63 KB)
📄 e_atan2l.c(3.42 KB)
📄 e_atanh.c(1.64 KB)
📄 e_atanhf.c(1.12 KB)
📄 e_atanhl.c(1.76 KB)
📄 e_cosh.c(2.21 KB)
📄 e_coshf.c(1.45 KB)
📄 e_coshl.c(4 KB)
📄 e_exp.c(5.07 KB)
📄 e_expf.c(2.7 KB)
📄 e_fmod.c(3.34 KB)
📄 e_fmodf.c(2.59 KB)
📄 e_fmodl.c(3.77 KB)
📄 e_gamma.c(725 B)
📄 e_gamma_r.c(801 B)
📄 e_gammaf.c(814 B)
📄 e_gammaf_r.c(890 B)
📄 e_hypot.c(3.22 KB)
📄 e_hypotf.c(2.15 KB)
📄 e_hypotl.c(3.16 KB)
📄 e_j0.c(14.39 KB)
📄 e_j0f.c(10.31 KB)
📄 e_j1.c(14.12 KB)
📄 e_j1f.c(9.98 KB)
📄 e_jn.c(7.08 KB)
📄 e_jnf.c(4.75 KB)
📄 e_lgamma.c(819 B)
📄 e_lgamma_r.c(10.7 KB)
📄 e_lgammaf.c(820 B)
📄 e_lgammaf_r.c(5.82 KB)
📄 e_lgammal.c(599 B)
📄 e_log.c(4.42 KB)
📄 e_log10.c(2.5 KB)
📄 e_log10f.c(1.93 KB)
📄 e_log2.c(3.64 KB)
📄 e_log2f.c(2.37 KB)
📄 e_logf.c(2.36 KB)
📄 e_pow.c(9.84 KB)
📄 e_powf.c(7.34 KB)
📄 e_rem_pio2.c(4.7 KB)
📄 e_rem_pio2f.c(1.96 KB)
📄 e_remainder.c(1.75 KB)
📄 e_remainderf.c(1.41 KB)
📄 e_remainderl.c(1.55 KB)
📄 e_scalb.c(1.07 KB)
📄 e_scalbf.c(1.06 KB)
📄 e_sinh.c(2.03 KB)
📄 e_sinhf.c(1.43 KB)
📄 e_sinhl.c(4.12 KB)
📄 e_sqrt.c(14.12 KB)
📄 e_sqrtf.c(1.91 KB)
📄 e_sqrtl.c(4.28 KB)
📄 fenv-softfloat.h(4.96 KB)
📄 imprecise.c(2.08 KB)
📄 k_cos.c(2.75 KB)
📄 k_cosf.c(1.23 KB)
📄 k_exp.c(3.55 KB)
📄 k_expf.c(2.67 KB)
📄 k_log.h(3.34 KB)
📄 k_logf.h(992 B)
📄 k_rem_pio2.c(15.51 KB)
📄 k_sin.c(2.27 KB)
📄 k_sincos.h(1.7 KB)
📄 k_sincosf.h(1.38 KB)
📄 k_sincosl.h(4.82 KB)
📄 k_sinf.c(1.21 KB)
📄 k_tan.c(3.93 KB)
📄 k_tanf.c(1.97 KB)
📄 math.h(13.92 KB)
📄 math_private.h(24.72 KB)
📄 s_asinh.c(1.64 KB)
📄 s_asinhf.c(1.32 KB)
📄 s_asinhl.c(2.41 KB)
📄 s_atan.c(4.08 KB)
📄 s_atanf.c(2.42 KB)
📄 s_atanl.c(2.32 KB)
📄 s_carg.c(1.55 KB)
📄 s_cargf.c(1.55 KB)
📄 s_cargl.c(1.57 KB)
📄 s_cbrt.c(4.03 KB)
📄 s_cbrtf.c(1.85 KB)
📄 s_cbrtl.c(3.34 KB)
📄 s_ccosh.c(5.01 KB)
📄 s_ccoshf.c(3.08 KB)
📄 s_ceil.c(1.73 KB)
📄 s_ceilf.c(1.24 KB)
📄 s_ceill.c(2.38 KB)
📄 s_cexp.c(2.88 KB)
📄 s_cexpf.c(2.85 KB)
📄 s_cimag.c(1.53 KB)
📄 s_cimagf.c(1.53 KB)
📄 s_cimagl.c(1.55 KB)
📄 s_clog.c(5.06 KB)
📄 s_clogf.c(5.01 KB)
📄 s_clogl.c(5.49 KB)
📄 s_conj.c(1.51 KB)
📄 s_conjf.c(1.52 KB)
📄 s_conjl.c(1.53 KB)
📄 s_copysign.c(808 B)
📄 s_copysignf.c(905 B)
📄 s_copysignl.c(1.57 KB)
📄 s_cos.c(2.19 KB)
📄 s_cosf.c(2.2 KB)
📄 s_cosl.c(2.55 KB)
📄 s_cpow.c(1.8 KB)
📄 s_cpowf.c(1.79 KB)
📄 s_cpowl.c(1.83 KB)
📄 s_cproj.c(1.74 KB)
📄 s_cprojf.c(1.66 KB)
📄 s_cprojl.c(1.68 KB)
📄 s_creal.c(1.45 KB)
📄 s_crealf.c(1.45 KB)
📄 s_creall.c(1.46 KB)
📄 s_csinh.c(5.01 KB)
📄 s_csinhf.c(3.06 KB)
📄 s_csqrt.c(3.29 KB)
📄 s_csqrtf.c(2.65 KB)
📄 s_csqrtl.c(3.78 KB)
📄 s_ctanh.c(4.32 KB)
📄 s_ctanhf.c(2.45 KB)
📄 s_erf.c(11 KB)
📄 s_erff.c(5.11 KB)
📄 s_exp2.c(14.03 KB)
📄 s_exp2f.c(4.14 KB)
📄 s_expm1.c(7.18 KB)
📄 s_expm1f.c(3.41 KB)
📄 s_fabs.c(677 B)
📄 s_fabsf.c(765 B)
📄 s_fabsl.c(1.68 KB)
📄 s_fdim.c(1.7 KB)
📄 s_finite.c(700 B)
📄 s_finitef.c(796 B)
📄 s_floor.c(1.74 KB)
📄 s_floorf.c(1.41 KB)
📄 s_floorl.c(2.38 KB)
📄 s_fma.c(7.92 KB)
📄 s_fmaf.c(2.57 KB)
📄 s_fmal.c(7.38 KB)
📄 s_fmax.c(2.01 KB)
📄 s_fmaxf.c(1.88 KB)
📄 s_fmaxl.c(1.98 KB)
📄 s_fmin.c(2.01 KB)
📄 s_fminf.c(1.88 KB)
📄 s_fminl.c(1.98 KB)
📄 s_frexp.c(1.31 KB)
📄 s_frexpf.c(1.02 KB)
📄 s_frexpl.c(2 KB)
📄 s_ilogb.c(1.14 KB)
📄 s_ilogbf.c(976 B)
📄 s_ilogbl.c(1.21 KB)
📄 s_isfinite.c(1.72 KB)
📄 s_isnan.c(2.1 KB)
📄 s_isnormal.c(1.78 KB)
📄 s_llrint.c(156 B)
📄 s_llrintf.c(157 B)
📄 s_llrintl.c(163 B)
📄 s_llround.c(215 B)
📄 s_llroundf.c(216 B)
📄 s_llroundl.c(222 B)
📄 s_log1p.c(5.6 KB)
📄 s_log1pf.c(3.14 KB)
📄 s_logb.c(1.13 KB)
📄 s_logbf.c(1023 B)
📄 s_logbl.c(1.24 KB)
📄 s_lrint.c(2.1 KB)
📄 s_lrintf.c(151 B)
📄 s_lrintl.c(157 B)
📄 s_lround.c(2.45 KB)
📄 s_lroundf.c(208 B)
📄 s_lroundl.c(214 B)
📄 s_modf.c(1.88 KB)
📄 s_modff.c(1.39 KB)
📄 s_modfl.c(3.41 KB)
📄 s_nan.c(3.32 KB)
📄 s_nearbyint.c(2.29 KB)
📄 s_nextafter.c(2.03 KB)
📄 s_nextafterf.c(1.61 KB)
📄 s_nextafterl.c(2.02 KB)
📄 s_nexttoward.c(1.75 KB)
📄 s_nexttowardf.c(1.42 KB)
📄 s_remquo.c(3.86 KB)
📄 s_remquof.c(3.02 KB)
📄 s_remquol.c(4.42 KB)
📄 s_rint.c(2.33 KB)
📄 s_rintf.c(1.22 KB)
📄 s_rintl.c(2.77 KB)
📄 s_round.c(1.83 KB)
📄 s_roundf.c(1.74 KB)
📄 s_roundl.c(1.84 KB)
📄 s_scalbln.c(1.82 KB)
📄 s_scalbn.c(1.9 KB)
📄 s_scalbnf.c(1.67 KB)
📄 s_scalbnl.c(1.9 KB)
📄 s_signbit.c(1.7 KB)
📄 s_signgam.c(61 B)
📄 s_significand.c(727 B)
📄 s_significandf.c(691 B)
📄 s_sin.c(2.18 KB)
📄 s_sincos.c(1.6 KB)
📄 s_sincosf.c(2.57 KB)
📄 s_sincosl.c(2.67 KB)
📄 s_sinf.c(2.18 KB)
📄 s_sinl.c(2.49 KB)
📄 s_tan.c(2.02 KB)
📄 s_tanf.c(1.97 KB)
📄 s_tanh.c(2.02 KB)
📄 s_tanhf.c(1.39 KB)
📄 s_tanhl.c(5.09 KB)
📄 s_tanl.c(2.6 KB)
📄 s_tgammaf.c(1.75 KB)
📄 s_trunc.c(1.5 KB)
📄 s_truncf.c(1.21 KB)
📄 s_truncl.c(1.61 KB)
📄 w_cabs.c(365 B)
📄 w_cabsf.c(350 B)
📄 w_cabsl.c(357 B)
📄 w_drem.c(211 B)
📄 w_dremf.c(254 B)

Editing: s_fmal.c

/*-
 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
 *
 * Copyright (c) 2005-2011 David Schultz <das@FreeBSD.ORG>
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 */

#include <sys/cdefs.h>
__FBSDID("$FreeBSD$");

#include <fenv.h>
#include <float.h>
#include <math.h>

#include "fpmath.h"

/*
 * A struct dd represents a floating-point number with twice the precision
 * of a long double.  We maintain the invariant that "hi" stores the high-order
 * bits of the result.
 */
struct dd {
	long double hi;
	long double lo;
};

/*
 * Compute a+b exactly, returning the exact result in a struct dd.  We assume
 * that both a and b are finite, but make no assumptions about their relative
 * magnitudes.
 */
static inline struct dd
dd_add(long double a, long double b)
{
	struct dd ret;
	long double s;

ret.hi = a + b;
	s = ret.hi - a;
	ret.lo = (a - (ret.hi - s)) + (b - s);
	return (ret);
}

/*
 * Compute a+b, with a small tweak:  The least significant bit of the
 * result is adjusted into a sticky bit summarizing all the bits that
 * were lost to rounding.  This adjustment negates the effects of double
 * rounding when the result is added to another number with a higher
 * exponent.  For an explanation of round and sticky bits, see any reference
 * on FPU design, e.g.,
 *
 *     J. Coonen.  An Implementation Guide to a Proposed Standard for
 *     Floating-Point Arithmetic.  Computer, vol. 13, no. 1, Jan 1980.
 */
static inline long double
add_adjusted(long double a, long double b)
{
	struct dd sum;
	union IEEEl2bits u;

sum = dd_add(a, b);
	if (sum.lo != 0) {
		u.e = sum.hi;
		if ((u.bits.manl & 1) == 0)
			sum.hi = nextafterl(sum.hi, INFINITY * sum.lo);
	}
	return (sum.hi);
}

/*
 * Compute ldexp(a+b, scale) with a single rounding error. It is assumed
 * that the result will be subnormal, and care is taken to ensure that
 * double rounding does not occur.
 */
static inline long double
add_and_denormalize(long double a, long double b, int scale)
{
	struct dd sum;
	int bits_lost;
	union IEEEl2bits u;

sum = dd_add(a, b);

/*
	 * If we are losing at least two bits of accuracy to denormalization,
	 * then the first lost bit becomes a round bit, and we adjust the
	 * lowest bit of sum.hi to make it a sticky bit summarizing all the
	 * bits in sum.lo. With the sticky bit adjusted, the hardware will
	 * break any ties in the correct direction.
	 *
	 * If we are losing only one bit to denormalization, however, we must
	 * break the ties manually.
	 */
	if (sum.lo != 0) {
		u.e = sum.hi;
		bits_lost = -u.bits.exp - scale + 1;
		if ((bits_lost != 1) ^ (int)(u.bits.manl & 1))
			sum.hi = nextafterl(sum.hi, INFINITY * sum.lo);
	}
	return (ldexp(sum.hi, scale));
}

/*
 * Compute a*b exactly, returning the exact result in a struct dd.  We assume
 * that both a and b are normalized, so no underflow or overflow will occur.
 * The current rounding mode must be round-to-nearest.
 */
static inline struct dd
dd_mul(long double a, long double b)
{
#if LDBL_MANT_DIG == 64
	static const long double split = 0x1p32L + 1.0;
#elif LDBL_MANT_DIG == 113
	static const long double split = 0x1p57L + 1.0;
#endif
	struct dd ret;
	long double ha, hb, la, lb, p, q;

p = a * split;
	ha = a - p;
	ha += p;
	la = a - ha;

p = b * split;
	hb = b - p;
	hb += p;
	lb = b - hb;

p = ha * hb;
	q = ha * lb + la * hb;

ret.hi = p + q;
	ret.lo = p - ret.hi + q + la * lb;
	return (ret);
}

/*
 * Fused multiply-add: Compute x * y + z with a single rounding error.
 *
 * We use scaling to avoid overflow/underflow, along with the
 * canonical precision-doubling technique adapted from:
 *
 *	Dekker, T.  A Floating-Point Technique for Extending the
 *	Available Precision.  Numer. Math. 18, 224-242 (1971).
 */
long double
fmal(long double x, long double y, long double z)
{
	long double xs, ys, zs, adj;
	struct dd xy, r;
	int oround;
	int ex, ey, ez;
	int spread;

/*
	 * Handle special cases. The order of operations and the particular
	 * return values here are crucial in handling special cases involving
	 * infinities, NaNs, overflows, and signed zeroes correctly.
	 */
	if (x == 0.0 || y == 0.0)
		return (x * y + z);
	if (z == 0.0)
		return (x * y);
	if (!isfinite(x) || !isfinite(y))
		return (x * y + z);
	if (!isfinite(z))
		return (z);

xs = frexpl(x, &ex);
	ys = frexpl(y, &ey);
	zs = frexpl(z, &ez);
	oround = fegetround();
	spread = ex + ey - ez;

/*
	 * If x * y and z are many orders of magnitude apart, the scaling
	 * will overflow, so we handle these cases specially.  Rounding
	 * modes other than FE_TONEAREST are painful.
	 */
	if (spread < -LDBL_MANT_DIG) {
		feraiseexcept(FE_INEXACT);
		if (!isnormal(z))
			feraiseexcept(FE_UNDERFLOW);
		switch (oround) {
		case FE_TONEAREST:
			return (z);
		case FE_TOWARDZERO:
			if (x > 0.0 ^ y < 0.0 ^ z < 0.0)
				return (z);
			else
				return (nextafterl(z, 0));
		case FE_DOWNWARD:
			if (x > 0.0 ^ y < 0.0)
				return (z);
			else
				return (nextafterl(z, -INFINITY));
		default:	/* FE_UPWARD */
			if (x > 0.0 ^ y < 0.0)
				return (nextafterl(z, INFINITY));
			else
				return (z);
		}
	}
	if (spread <= LDBL_MANT_DIG * 2)
		zs = ldexpl(zs, -spread);
	else
		zs = copysignl(LDBL_MIN, zs);

fesetround(FE_TONEAREST);
	/* work around clang bug 8100 */
	volatile long double vxs = xs;

/*
	 * Basic approach for round-to-nearest:
	 *
	 *     (xy.hi, xy.lo) = x * y		(exact)
	 *     (r.hi, r.lo)   = xy.hi + z	(exact)
	 *     adj = xy.lo + r.lo		(inexact; low bit is sticky)
	 *     result = r.hi + adj		(correctly rounded)
	 */
	xy = dd_mul(vxs, ys);
	r = dd_add(xy.hi, zs);

spread = ex + ey;

if (r.hi == 0.0) {
		/*
		 * When the addends cancel to 0, ensure that the result has
		 * the correct sign.
		 */
		fesetround(oround);
		volatile long double vzs = zs; /* XXX gcc CSE bug workaround */
		return (xy.hi + vzs + ldexpl(xy.lo, spread));
	}

if (oround != FE_TONEAREST) {
		/*
		 * There is no need to worry about double rounding in directed
		 * rounding modes.
		 */
		fesetround(oround);
		/* work around clang bug 8100 */
		volatile long double vrlo = r.lo;
		adj = vrlo + xy.lo;
		return (ldexpl(r.hi + adj, spread));
	}

adj = add_adjusted(r.lo, xy.lo);
	if (spread + ilogbl(r.hi) > -16383)
		return (ldexpl(r.hi + adj, spread));
	else
		return (add_and_denormalize(r.hi, adj, spread));
}

003 File Manager

Editing: s_fmal.c

Upload File

Create Folder