2004-06-18 18:11:11 +04:00
|
|
|
/*============================================================================
|
|
|
|
This source file is an extension to the SoftFloat IEC/IEEE Floating-point
|
|
|
|
Arithmetic Package, Release 2b, written for Bochs (x86 achitecture simulator)
|
|
|
|
floating point emulation.
|
|
|
|
|
|
|
|
THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort has
|
|
|
|
been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT TIMES
|
|
|
|
RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO PERSONS
|
|
|
|
AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ALL LOSSES,
|
|
|
|
COSTS, OR OTHER PROBLEMS THEY INCUR DUE TO THE SOFTWARE, AND WHO FURTHERMORE
|
|
|
|
EFFECTIVELY INDEMNIFY JOHN HAUSER AND THE INTERNATIONAL COMPUTER SCIENCE
|
|
|
|
INSTITUTE (possibly via similar legal warning) AGAINST ALL LOSSES, COSTS, OR
|
|
|
|
OTHER PROBLEMS INCURRED BY THEIR CUSTOMERS AND CLIENTS DUE TO THE SOFTWARE.
|
|
|
|
|
|
|
|
Derivative works are acceptable, even for commercial purposes, so long as
|
|
|
|
(1) the source code for the derivative work includes prominent notice that
|
|
|
|
the work is derivative, and (2) the source code includes prominent notice with
|
|
|
|
these four paragraphs for those parts of this code that are retained.
|
|
|
|
=============================================================================*/
|
|
|
|
|
|
|
|
/*============================================================================
|
|
|
|
* Written for Bochs (x86 achitecture simulator) by
|
2007-03-24 00:27:13 +03:00
|
|
|
* Stanislav Shwartsman [sshwarts at sourceforge net]
|
2008-02-06 01:33:35 +03:00
|
|
|
* ==========================================================================*/
|
2004-06-18 18:11:11 +04:00
|
|
|
|
|
|
|
#define FLOAT128
|
|
|
|
|
|
|
|
#include "softfloatx80.h"
|
|
|
|
#include "softfloat-round-pack.h"
|
2004-06-22 22:58:33 +04:00
|
|
|
#include "fpu_constant.h"
|
2004-06-18 18:11:11 +04:00
|
|
|
|
|
|
|
static const floatx80 floatx80_one =
|
|
|
|
packFloatx80(0, 0x3fff, BX_CONST64(0x8000000000000000));
|
|
|
|
|
|
|
|
static const float128 float128_one =
|
|
|
|
packFloat128(BX_CONST64(0x3fff000000000000), BX_CONST64(0x0000000000000000));
|
|
|
|
static const float128 float128_two =
|
|
|
|
packFloat128(BX_CONST64(0x4000000000000000), BX_CONST64(0x0000000000000000));
|
|
|
|
|
2008-02-06 01:33:35 +03:00
|
|
|
static const float128 float128_ln2inv2 =
|
2004-06-18 18:11:11 +04:00
|
|
|
packFloat128(BX_CONST64(0x400071547652b82f), BX_CONST64(0xe1777d0ffda0d23a));
|
|
|
|
|
|
|
|
#define SQRT2_HALF_SIG BX_CONST64(0xb504f333f9de6484)
|
|
|
|
|
2011-12-16 23:22:03 +04:00
|
|
|
extern float128 OddPoly(float128 x, float128 *arr, int n, float_status_t &status);
|
2004-06-18 18:11:11 +04:00
|
|
|
|
|
|
|
#define L2_ARR_SIZE 9
|
|
|
|
|
|
|
|
static float128 ln_arr[L2_ARR_SIZE] =
|
|
|
|
{
|
2005-01-19 21:21:40 +03:00
|
|
|
PACK_FLOAT_128(0x3fff000000000000, 0x0000000000000000), /* 1 */
|
|
|
|
PACK_FLOAT_128(0x3ffd555555555555, 0x5555555555555555), /* 3 */
|
|
|
|
PACK_FLOAT_128(0x3ffc999999999999, 0x999999999999999a), /* 5 */
|
|
|
|
PACK_FLOAT_128(0x3ffc249249249249, 0x2492492492492492), /* 7 */
|
|
|
|
PACK_FLOAT_128(0x3ffbc71c71c71c71, 0xc71c71c71c71c71c), /* 9 */
|
|
|
|
PACK_FLOAT_128(0x3ffb745d1745d174, 0x5d1745d1745d1746), /* 11 */
|
|
|
|
PACK_FLOAT_128(0x3ffb3b13b13b13b1, 0x3b13b13b13b13b14), /* 13 */
|
|
|
|
PACK_FLOAT_128(0x3ffb111111111111, 0x1111111111111111), /* 15 */
|
|
|
|
PACK_FLOAT_128(0x3ffae1e1e1e1e1e1, 0xe1e1e1e1e1e1e1e2) /* 17 */
|
2004-06-18 18:11:11 +04:00
|
|
|
};
|
|
|
|
|
|
|
|
static float128 poly_ln(float128 x1, float_status_t &status)
|
|
|
|
{
|
|
|
|
/*
|
|
|
|
//
|
|
|
|
// 3 5 7 9 11 13 15
|
|
|
|
// 1+u u u u u u u u
|
|
|
|
// 1/2 ln --- ~ u + --- + --- + --- + --- + ---- + ---- + ---- =
|
|
|
|
// 1-u 3 5 7 9 11 13 15
|
|
|
|
//
|
|
|
|
// 2 4 6 8 10 12 14
|
|
|
|
// u u u u u u u
|
|
|
|
// = u * [ 1 + --- + --- + --- + --- + ---- + ---- + ---- ] =
|
|
|
|
// 3 5 7 9 11 13 15
|
|
|
|
//
|
|
|
|
// 3 3
|
|
|
|
// -- 4k -- 4k+2
|
|
|
|
// p(u) = > C * u q(u) = > C * u
|
|
|
|
// -- 2k -- 2k+1
|
|
|
|
// k=0 k=0
|
|
|
|
//
|
|
|
|
// 1+u 2
|
|
|
|
// 1/2 ln --- ~ u * [ p(u) + u * q(u) ]
|
|
|
|
// 1-u
|
|
|
|
//
|
|
|
|
*/
|
|
|
|
return OddPoly(x1, ln_arr, L2_ARR_SIZE, status);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* required sqrt(2)/2 < x < sqrt(2) */
|
|
|
|
static float128 poly_l2(float128 x, float_status_t &status)
|
|
|
|
{
|
|
|
|
/* using float128 for approximation */
|
|
|
|
float128 x_p1 = float128_add(x, float128_one, status);
|
|
|
|
float128 x_m1 = float128_sub(x, float128_one, status);
|
|
|
|
x = float128_div(x_m1, x_p1, status);
|
|
|
|
x = poly_ln(x, status);
|
|
|
|
x = float128_mul(x, float128_ln2inv2, status);
|
|
|
|
return x;
|
|
|
|
}
|
|
|
|
|
|
|
|
static float128 poly_l2p1(float128 x, float_status_t &status)
|
|
|
|
{
|
|
|
|
/* using float128 for approximation */
|
|
|
|
float128 x_p2 = float128_add(x, float128_two, status);
|
|
|
|
x = float128_div(x, x_p2, status);
|
|
|
|
x = poly_ln(x, status);
|
|
|
|
x = float128_mul(x, float128_ln2inv2, status);
|
|
|
|
return x;
|
|
|
|
}
|
|
|
|
|
|
|
|
// =================================================
|
|
|
|
// FYL2X Compute y * log (x)
|
|
|
|
// 2
|
|
|
|
// =================================================
|
|
|
|
|
|
|
|
//
|
|
|
|
// Uses the following identities:
|
|
|
|
//
|
|
|
|
// 1. ----------------------------------------------------------
|
|
|
|
// ln(x)
|
|
|
|
// log (x) = -------, ln (x*y) = ln(x) + ln(y)
|
|
|
|
// 2 ln(2)
|
|
|
|
//
|
|
|
|
// 2. ----------------------------------------------------------
|
|
|
|
// 1+u x-1
|
|
|
|
// ln (x) = ln -----, when u = -----
|
|
|
|
// 1-u x+1
|
|
|
|
//
|
|
|
|
// 3. ----------------------------------------------------------
|
|
|
|
// 3 5 7 2n+1
|
|
|
|
// 1+u u u u u
|
|
|
|
// ln ----- = 2 [ u + --- + --- + --- + ... + ------ + ... ]
|
|
|
|
// 1-u 3 5 7 2n+1
|
|
|
|
//
|
|
|
|
|
|
|
|
floatx80 fyl2x(floatx80 a, floatx80 b, float_status_t &status)
|
|
|
|
{
|
|
|
|
// handle unsupported extended double-precision floating encodings
|
2009-11-01 20:58:09 +03:00
|
|
|
if (floatx80_is_unsupported(a) || floatx80_is_unsupported(b)) {
|
2004-06-18 18:11:11 +04:00
|
|
|
invalid:
|
|
|
|
float_raise(status, float_flag_invalid);
|
|
|
|
return floatx80_default_nan;
|
|
|
|
}
|
|
|
|
|
|
|
|
Bit64u aSig = extractFloatx80Frac(a);
|
|
|
|
Bit32s aExp = extractFloatx80Exp(a);
|
|
|
|
int aSign = extractFloatx80Sign(a);
|
|
|
|
Bit64u bSig = extractFloatx80Frac(b);
|
|
|
|
Bit32s bExp = extractFloatx80Exp(b);
|
|
|
|
int bSign = extractFloatx80Sign(b);
|
|
|
|
|
|
|
|
int zSign = bSign ^ 1;
|
2008-02-06 01:33:35 +03:00
|
|
|
|
2004-06-18 18:11:11 +04:00
|
|
|
if (aExp == 0x7FFF) {
|
|
|
|
if ((Bit64u) (aSig<<1)
|
2008-02-06 01:33:35 +03:00
|
|
|
|| ((bExp == 0x7FFF) && (Bit64u) (bSig<<1)))
|
2004-06-18 18:11:11 +04:00
|
|
|
{
|
|
|
|
return propagateFloatx80NaN(a, b, status);
|
|
|
|
}
|
|
|
|
if (aSign) goto invalid;
|
|
|
|
else {
|
|
|
|
if (bExp == 0) {
|
|
|
|
if (bSig == 0) goto invalid;
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
}
|
|
|
|
return packFloatx80(bSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (bExp == 0x7FFF)
|
|
|
|
{
|
|
|
|
if ((Bit64u) (bSig<<1)) return propagateFloatx80NaN(a, b, status);
|
|
|
|
if (aSign && (Bit64u)(aExp | aSig)) goto invalid;
|
2008-02-06 01:33:35 +03:00
|
|
|
if (aSig && (aExp == 0))
|
2004-06-18 18:11:11 +04:00
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
if (aExp < 0x3FFF) {
|
|
|
|
return packFloatx80(zSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
if (aExp == 0x3FFF && ((Bit64u) (aSig<<1) == 0)) goto invalid;
|
|
|
|
return packFloatx80(bSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
if (aExp == 0) {
|
|
|
|
if (aSig == 0) {
|
|
|
|
if ((bExp | bSig) == 0) goto invalid;
|
|
|
|
float_raise(status, float_flag_divbyzero);
|
|
|
|
return packFloatx80(zSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
if (aSign) goto invalid;
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
normalizeFloatx80Subnormal(aSig, &aExp, &aSig);
|
|
|
|
}
|
|
|
|
if (aSign) goto invalid;
|
|
|
|
if (bExp == 0) {
|
|
|
|
if (bSig == 0) {
|
|
|
|
if (aExp < 0x3FFF) return packFloatx80(zSign, 0, 0);
|
|
|
|
return packFloatx80(bSign, 0, 0);
|
|
|
|
}
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
normalizeFloatx80Subnormal(bSig, &bExp, &bSig);
|
|
|
|
}
|
2008-02-06 01:33:35 +03:00
|
|
|
if (aExp == 0x3FFF && ((Bit64u) (aSig<<1) == 0))
|
2004-06-18 18:11:11 +04:00
|
|
|
return packFloatx80(bSign, 0, 0);
|
|
|
|
|
|
|
|
float_raise(status, float_flag_inexact);
|
|
|
|
|
|
|
|
int ExpDiff = aExp - 0x3FFF;
|
|
|
|
aExp = 0;
|
|
|
|
if (aSig >= SQRT2_HALF_SIG) {
|
|
|
|
ExpDiff++;
|
|
|
|
aExp--;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* ******************************** */
|
|
|
|
/* using float128 for approximation */
|
|
|
|
/* ******************************** */
|
|
|
|
|
2004-09-15 00:19:54 +04:00
|
|
|
Bit64u zSig0, zSig1;
|
|
|
|
shift128Right(aSig<<1, 0, 16, &zSig0, &zSig1);
|
|
|
|
float128 x = packFloat128(0, aExp+0x3FFF, zSig0, zSig1);
|
2004-06-18 18:11:11 +04:00
|
|
|
x = poly_l2(x, status);
|
2010-04-24 12:01:54 +04:00
|
|
|
x = float128_add(x, int64_to_float128((Bit64s) ExpDiff), status);
|
2004-08-01 00:19:38 +04:00
|
|
|
return floatx80_mul(b, x, status);
|
2004-06-18 18:11:11 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
// =================================================
|
|
|
|
// FYL2XP1 Compute y * log (x + 1)
|
|
|
|
// 2
|
|
|
|
// =================================================
|
|
|
|
|
|
|
|
//
|
|
|
|
// Uses the following identities:
|
|
|
|
//
|
|
|
|
// 1. ----------------------------------------------------------
|
|
|
|
// ln(x)
|
|
|
|
// log (x) = -------
|
|
|
|
// 2 ln(2)
|
|
|
|
//
|
|
|
|
// 2. ----------------------------------------------------------
|
|
|
|
// 1+u x
|
|
|
|
// ln (x+1) = ln -----, when u = -----
|
|
|
|
// 1-u x+2
|
|
|
|
//
|
|
|
|
// 3. ----------------------------------------------------------
|
|
|
|
// 3 5 7 2n+1
|
|
|
|
// 1+u u u u u
|
|
|
|
// ln ----- = 2 [ u + --- + --- + --- + ... + ------ + ... ]
|
|
|
|
// 1-u 3 5 7 2n+1
|
|
|
|
//
|
|
|
|
|
|
|
|
floatx80 fyl2xp1(floatx80 a, floatx80 b, float_status_t &status)
|
|
|
|
{
|
|
|
|
Bit32s aExp, bExp;
|
2004-09-15 00:19:54 +04:00
|
|
|
Bit64u aSig, bSig, zSig0, zSig1, zSig2;
|
2004-06-18 18:11:11 +04:00
|
|
|
int aSign, bSign;
|
|
|
|
|
|
|
|
// handle unsupported extended double-precision floating encodings
|
2009-11-01 20:58:09 +03:00
|
|
|
if (floatx80_is_unsupported(a) || floatx80_is_unsupported(b)) {
|
2004-06-18 18:11:11 +04:00
|
|
|
invalid:
|
|
|
|
float_raise(status, float_flag_invalid);
|
|
|
|
return floatx80_default_nan;
|
|
|
|
}
|
|
|
|
|
|
|
|
aSig = extractFloatx80Frac(a);
|
|
|
|
aExp = extractFloatx80Exp(a);
|
|
|
|
aSign = extractFloatx80Sign(a);
|
|
|
|
bSig = extractFloatx80Frac(b);
|
|
|
|
bExp = extractFloatx80Exp(b);
|
|
|
|
bSign = extractFloatx80Sign(b);
|
|
|
|
int zSign = aSign ^ bSign;
|
2008-02-06 01:33:35 +03:00
|
|
|
|
2004-06-18 18:11:11 +04:00
|
|
|
if (aExp == 0x7FFF) {
|
|
|
|
if ((Bit64u) (aSig<<1)
|
2008-02-06 01:33:35 +03:00
|
|
|
|| ((bExp == 0x7FFF) && (Bit64u) (bSig<<1)))
|
2004-06-18 18:11:11 +04:00
|
|
|
{
|
|
|
|
return propagateFloatx80NaN(a, b, status);
|
|
|
|
}
|
|
|
|
if (aSign) goto invalid;
|
|
|
|
else {
|
|
|
|
if (bExp == 0) {
|
|
|
|
if (bSig == 0) goto invalid;
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
}
|
|
|
|
return packFloatx80(bSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (bExp == 0x7FFF)
|
|
|
|
{
|
2008-02-06 01:33:35 +03:00
|
|
|
if ((Bit64u) (bSig<<1))
|
2004-06-18 18:11:11 +04:00
|
|
|
return propagateFloatx80NaN(a, b, status);
|
|
|
|
|
|
|
|
if (aExp == 0) {
|
|
|
|
if (aSig == 0) goto invalid;
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
}
|
|
|
|
|
|
|
|
return packFloatx80(zSign, 0x7FFF, BX_CONST64(0x8000000000000000));
|
|
|
|
}
|
|
|
|
if (aExp == 0) {
|
|
|
|
if (aSig == 0) {
|
|
|
|
if (bSig && (bExp == 0)) float_raise(status, float_flag_denormal);
|
|
|
|
return packFloatx80(zSign, 0, 0);
|
|
|
|
}
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
normalizeFloatx80Subnormal(aSig, &aExp, &aSig);
|
|
|
|
}
|
|
|
|
if (bExp == 0) {
|
|
|
|
if (bSig == 0) return packFloatx80(zSign, 0, 0);
|
|
|
|
float_raise(status, float_flag_denormal);
|
|
|
|
normalizeFloatx80Subnormal(bSig, &bExp, &bSig);
|
|
|
|
}
|
|
|
|
|
|
|
|
float_raise(status, float_flag_inexact);
|
|
|
|
|
2008-02-06 01:33:35 +03:00
|
|
|
if (aSign && aExp >= 0x3FFF)
|
2004-06-18 18:11:11 +04:00
|
|
|
return a;
|
|
|
|
|
|
|
|
if (aExp >= 0x3FFC) // big argument
|
|
|
|
{
|
|
|
|
return fyl2x(floatx80_add(a, floatx80_one, status), b, status);
|
|
|
|
}
|
|
|
|
|
2004-06-22 22:58:33 +04:00
|
|
|
// handle tiny argument
|
2014-01-28 01:25:07 +04:00
|
|
|
if (aExp < FLOATX80_EXP_BIAS-70)
|
2004-06-22 22:58:33 +04:00
|
|
|
{
|
|
|
|
// first order approximation, return (a*b)/ln(2)
|
|
|
|
Bit32s zExp = aExp + FLOAT_LN2INV_EXP - 0x3FFE;
|
|
|
|
|
|
|
|
mul128By64To192(FLOAT_LN2INV_HI, FLOAT_LN2INV_LO, aSig, &zSig0, &zSig1, &zSig2);
|
|
|
|
if (0 < (Bit64s) zSig0) {
|
|
|
|
shortShift128Left(zSig0, zSig1, 1, &zSig0, &zSig1);
|
|
|
|
--zExp;
|
|
|
|
}
|
|
|
|
|
|
|
|
zExp = zExp + bExp - 0x3FFE;
|
|
|
|
mul128By64To192(zSig0, zSig1, bSig, &zSig0, &zSig1, &zSig2);
|
|
|
|
if (0 < (Bit64s) zSig0) {
|
|
|
|
shortShift128Left(zSig0, zSig1, 1, &zSig0, &zSig1);
|
|
|
|
--zExp;
|
|
|
|
}
|
|
|
|
|
|
|
|
return
|
2004-06-26 16:35:48 +04:00
|
|
|
roundAndPackFloatx80(80, aSign ^ bSign, zExp, zSig0, zSig1, status);
|
2004-06-22 22:58:33 +04:00
|
|
|
}
|
|
|
|
|
2004-06-18 18:11:11 +04:00
|
|
|
/* ******************************** */
|
|
|
|
/* using float128 for approximation */
|
|
|
|
/* ******************************** */
|
|
|
|
|
2004-09-15 00:19:54 +04:00
|
|
|
shift128Right(aSig<<1, 0, 16, &zSig0, &zSig1);
|
|
|
|
float128 x = packFloat128(aSign, aExp, zSig0, zSig1);
|
2004-06-22 22:58:33 +04:00
|
|
|
x = poly_l2p1(x, status);
|
2004-08-01 00:19:38 +04:00
|
|
|
return floatx80_mul(b, x, status);
|
2004-06-18 18:11:11 +04:00
|
|
|
}
|