Source code
Revision control
Copy as Markdown
Other Tools
/* FUNCTIONS FOR EXACT SUMMATION. */
/* Copyright 2015, 2018, 2021, 2024 Radford M. Neal
Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:
The above copyright notice and this permission notice shall be
included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*/
#include <stdio.h>
#include <string.h>
#include <math.h>
#include "xsum.h"
/* ---------------------- IMPLEMENTATION ASSUMPTIONS ----------------------- */
/* This code makes the following assumptions:
o The 'double' type is a IEEE-754 standard 64-bit floating-point value.
o The 'int64_t' and 'uint64_t' types exist, for 64-bit signed and
unsigned integers.
o The 'endianness' of 'double' and 64-bit integers is consistent
between these types - that is, looking at the bits of a 'double'
value as an 64-bit integer will have the expected result.
o Right shifts of a signed operand produce the results expected for
a two's complement representation.
o Rounding should be done in the "round to nearest, ties to even" mode.
*/
/* --------------------------- CONFIGURATION ------------------------------- */
/* IMPLEMENTATION OPTIONS. Can be set to either 0 or 1, whichever seems
to be fastest. */
#define USE_SIMD 1 /* Use SIMD intrinsics (SSE2/AVX) if available? */
#define USE_MEMSET_SMALL \
1 /* Use memset rather than a loop (for small mem)? \
*/
#define USE_MEMSET_LARGE \
1 /* Use memset rather than a loop (for large mem)? \
*/
#define USE_USED_LARGE 1 /* Use the used flags in a large accumulator? */
#define OPT_SMALL 0 /* Class of manual optimization for operations on */
/* small accumulator: 0 (none), 1, 2, 3 (SIMD) */
#define OPT_CARRY 1 /* Use manually optimized carry propagation? */
#define OPT_LARGE_SUM 1 /* Should manually optimized routines be used for */
#define OPT_LARGE_SQNORM 1 /* operations using the large accumulator? */
#define OPT_LARGE_DOT 1
#define OPT_SIMPLE_SUM 1 /* Should manually optimized routines be used for */
#define OPT_SIMPLE_SQNORM 1 /* operations done with simple FP arithmetic? */
#define OPT_SIMPLE_DOT 1
#define OPT_KAHAN_SUM 0 /* Use manually optimized routine for Kahan sum? */
#define INLINE_SMALL 1 /* Inline more of the small accumulator routines? */
/* (Not currently used) */
#define INLINE_LARGE 1 /* Inline more of the large accumulator routines? */
/* INCLUDE INTEL INTRINSICS IF USED AND AVAILABLE. */
#if USE_SIMD && __SSE2__
# include <immintrin.h>
#endif
/* COPY A 64-BIT QUANTITY - DOUBLE TO 64-BIT INT OR VICE VERSA. The
arguments are destination and source variables (not values). */
#define COPY64(dst, src) memcpy(&(dst), &(src), sizeof(double))
/* OPTIONAL INCLUSION OF PBINARY MODULE. Used for debug output. */
#ifdef PBINARY
# include "pbinary.h"
#else
# define pbinary_int64(x, y) 0
# define pbinary_double(x) 0
#endif
/* SET UP DEBUG FLAG. It's a variable if debuging is enabled, and a
constant if disabled (so that no code will be generated then). */
int xsum_debug = 0;
#ifndef DEBUG
# define xsum_debug 0
#endif
/* SET UP INLINE / NOINLINE MACROS. */
#if __GNUC__
# define INLINE inline __attribute__((always_inline))
# define NOINLINE __attribute__((noinline))
#else
# define INLINE inline
# define NOINLINE
#endif
/* ------------------------ INTERNAL ROUTINES ------------------------------- */
/* ADD AN INF OR NAN TO A SMALL ACCUMULATOR. This only changes the flags,
not the chunks in the accumulator, which retains the sum of the finite
terms (which is perhaps sometimes useful to access, though no function
to do so is defined at present). A NaN with larger payload (seen as a
52-bit unsigned integer) takes precedence, with the sign of the NaN always
being positive. This ensures that the order of summing NaN values doesn't
matter. */
static NOINLINE void xsum_small_add_inf_nan(xsum_small_accumulator* sacc,
xsum_int ivalue) {
xsum_int mantissa;
double fltv;
mantissa = ivalue & XSUM_MANTISSA_MASK;
if (mantissa == 0) /* Inf */
{
if (sacc->Inf == 0) { /* no previous Inf */
sacc->Inf = ivalue;
} else if (sacc->Inf != ivalue) { /* previous Inf was opposite sign */
COPY64(fltv, ivalue);
fltv = fltv - fltv; /* result will be a NaN */
COPY64(sacc->Inf, fltv);
}
} else /* NaN */
{ /* Choose the NaN with the bigger payload and clear its sign. Using <=
ensures that we will choose the first NaN over the previous zero. */
if ((sacc->NaN & XSUM_MANTISSA_MASK) <= mantissa) {
sacc->NaN = ivalue & ~XSUM_SIGN_MASK;
}
}
}
/* PROPAGATE CARRIES TO NEXT CHUNK IN A SMALL ACCUMULATOR. Needs to
be called often enough that accumulated carries don't overflow out
the top, as indicated by sacc->adds_until_propagate. Returns the
index of the uppermost non-zero chunk (0 if number is zero).
After carry propagation, the uppermost non-zero chunk will indicate
the sign of the number, and will not be -1 (all 1s). It will be in
the range -2^XSUM_LOW_MANTISSA_BITS to 2^XSUM_LOW_MANTISSA_BITS - 1.
Lower chunks will be non-negative, and in the range from 0 up to
2^XSUM_LOW_MANTISSA_BITS - 1. */
static NOINLINE int xsum_carry_propagate(xsum_small_accumulator* sacc) {
int i, u, uix;
if (xsum_debug) printf("\nCARRY PROPAGATING IN SMALL ACCUMULATOR\n");
/* Set u to the index of the uppermost non-zero (for now) chunk, or
return with value 0 if there is none. */
#if OPT_CARRY
{
u = XSUM_SCHUNKS - 1;
switch (XSUM_SCHUNKS & 0x3) /* get u to be a multiple of 4 minus one */
{
case 3:
if (sacc->chunk[u] != 0) {
goto found2;
}
u -= 1; /* XSUM_SCHUNKS is a */
case 2:
if (sacc->chunk[u] != 0) /* constant, so the */
{
goto found2; /* compiler will do */
} /* simple code here */
u -= 1;
case 1:
if (sacc->chunk[u] != 0) {
goto found2;
}
u -= 1;
case 0:;
}
do /* here, u should be a multiple of 4 minus one, and at least 3 */
{
# if USE_SIMD && __AVX__
{
__m256i ch;
ch = _mm256_loadu_si256((__m256i*)(sacc->chunk + u - 3));
if (!_mm256_testz_si256(ch, ch)) {
goto found;
}
u -= 4;
if (u < 0) /* never actually happens, because value of XSUM_SCHUNKS */
{
break; /* is such that u < 0 occurs at end of do loop instead */
}
ch = _mm256_loadu_si256((__m256i*)(sacc->chunk + u - 3));
if (!_mm256_testz_si256(ch, ch)) {
goto found;
}
u -= 4;
}
# else
{
if (sacc->chunk[u] | sacc->chunk[u - 1] | sacc->chunk[u - 2] |
sacc->chunk[u - 3]) {
goto found;
}
u -= 4;
}
# endif
} while (u >= 0);
if (xsum_debug) printf("number is zero (1)\n");
uix = 0;
goto done;
found:
if (sacc->chunk[u] != 0) {
goto found2;
}
u -= 1;
if (sacc->chunk[u] != 0) {
goto found2;
}
u -= 1;
if (sacc->chunk[u] != 0) {
goto found2;
}
u -= 1;
found2:;
}
#else /* Non-optimized search for uppermost non-zero chunk */
{
for (u = XSUM_SCHUNKS - 1; sacc->chunk[u] == 0; u--) {
if (u == 0) {
if (xsum_debug) printf("number is zero (1)\n");
uix = 0;
goto done;
}
}
}
#endif
/* At this point, sacc->chunk[u] must be non-zero */
if (xsum_debug) printf("u: %d, sacc->chunk[u]: %ld", u, sacc->chunk[u]);
/* Carry propagate, starting at the low-order chunks. Note that the
loop limit of u may be increased inside the loop. */
i = 0; /* set to the index of the next non-zero chunck, from bottom */
#if OPT_CARRY
{
/* Quickly skip over unused low-order chunks. Done here at the start
on the theory that there are often many unused low-order chunks,
justifying some overhead to begin, but later stretches of unused
chunks may not be as large. */
int e = u - 3; /* go only to 3 before so won't access beyond chunk array */
do {
# if USE_SIMD && __AVX__
{
__m256i ch;
ch = _mm256_loadu_si256((__m256i*)(sacc->chunk + i));
if (!_mm256_testz_si256(ch, ch)) {
break;
}
i += 4;
if (i >= e) {
break;
}
ch = _mm256_loadu_si256((__m256i*)(sacc->chunk + i));
if (!_mm256_testz_si256(ch, ch)) {
break;
}
}
# else
{
if (sacc->chunk[i] | sacc->chunk[i + 1] | sacc->chunk[i + 2] |
sacc->chunk[i + 3]) {
break;
}
}
# endif
i += 4;
} while (i <= e);
}
#endif
uix = -1; /* indicates that a non-zero chunk has not been found yet */
do {
xsum_schunk c; /* Set to the chunk at index i (next non-zero one) */
xsum_schunk clow; /* Low-order bits of c */
xsum_schunk chigh; /* High-order bits of c */
/* Find the next non-zero chunk, setting i to its index, or break out
of loop if there is none. Note that the chunk at index u is not
necessarily non-zero - it was initially, but u or the chunk at u
may have changed. */
#if OPT_CARRY
{
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
if (i > u) {
break; /* reaching here is only possible when u == i initially, */
} /* with the last add to a chunk having changed it to 0 */
for (;;) {
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
}
}
#else
{
do {
c = sacc->chunk[i];
if (c != 0) {
goto nonzero;
}
i += 1;
} while (i <= u);
break;
}
#endif
/* Propagate possible carry from this chunk to next chunk up. */
nonzero:
chigh = c >> XSUM_LOW_MANTISSA_BITS;
if (chigh == 0) {
uix = i;
i += 1;
continue; /* no need to change this chunk */
}
if (u == i) {
if (chigh == -1) {
uix = i;
break; /* don't propagate -1 into the region of all zeros above */
}
u = i + 1; /* we will change chunk[u+1], so we'll need to look at it */
}
clow = c & XSUM_LOW_MANTISSA_MASK;
if (clow != 0) {
uix = i;
}
/* We now change chunk[i] and add to chunk[i+1]. Note that i+1 should be
in range (no bigger than XSUM_CHUNKS-1) if summing memory, since
the number of chunks is big enough to hold any sum, and we do not
store redundant chunks with values 0 or -1 above previously non-zero
chunks. But other add operations might cause overflow, in which
case we produce a NaN with all 1s as payload. (We can't reliably produce
an Inf of the right sign.) */
sacc->chunk[i] = clow;
if (i + 1 >= XSUM_SCHUNKS) {
xsum_small_add_inf_nan(
sacc,
((xsum_int)XSUM_EXP_MASK << XSUM_MANTISSA_BITS) | XSUM_MANTISSA_MASK);
u = i;
} else {
sacc->chunk[i + 1] +=
chigh; /* note: this could make this chunk be zero */
}
i += 1;
} while (i <= u);
if (xsum_debug) printf(" uix: %d new u: %d\n", uix, u);
/* Check again for the number being zero, since carry propagation might
have created zero from something that initially looked non-zero. */
if (uix < 0) {
if (xsum_debug) printf("number is zero (2)\n");
uix = 0;
goto done;
}
/* While the uppermost chunk is negative, with value -1, combine it with
the chunk below (if there is one) to produce the same number but with
one fewer non-zero chunks. */
while (sacc->chunk[uix] == -1 &&
uix > 0) { /* Left shift of a negative number is undefined according to
the standard, so do a multiply - it's all presumably
constant-folded by the compiler.*/
sacc->chunk[uix - 1] +=
((xsum_schunk)-1) * (((xsum_schunk)1) << XSUM_LOW_MANTISSA_BITS);
sacc->chunk[uix] = 0;
uix -= 1;
}
/* We can now add one less than the total allowed terms before the
next carry propagate. */
done:
sacc->adds_until_propagate = XSUM_SMALL_CARRY_TERMS - 1;
/* Return index of uppermost non-zero chunk. */
return uix;
}
/* ------------------------ EXTERNAL ROUTINES ------------------------------- */
/* INITIALIZE A SMALL ACCUMULATOR TO ZERO. */
void xsum_small_init(xsum_small_accumulator* sacc) {
sacc->adds_until_propagate = XSUM_SMALL_CARRY_TERMS;
sacc->Inf = sacc->NaN = 0;
#if USE_MEMSET_SMALL
{ memset(sacc->chunk, 0, XSUM_SCHUNKS * sizeof(xsum_schunk)); }
#elif USE_SIMD && __AVX__ && XSUM_SCHUNKS == 67
{
xsum_schunk* ch = sacc->chunk;
__m256i z = _mm256_setzero_si256();
_mm256_storeu_si256((__m256i*)(ch + 0), z);
_mm256_storeu_si256((__m256i*)(ch + 4), z);
_mm256_storeu_si256((__m256i*)(ch + 8), z);
_mm256_storeu_si256((__m256i*)(ch + 12), z);
_mm256_storeu_si256((__m256i*)(ch + 16), z);
_mm256_storeu_si256((__m256i*)(ch + 20), z);
_mm256_storeu_si256((__m256i*)(ch + 24), z);
_mm256_storeu_si256((__m256i*)(ch + 28), z);
_mm256_storeu_si256((__m256i*)(ch + 32), z);
_mm256_storeu_si256((__m256i*)(ch + 36), z);
_mm256_storeu_si256((__m256i*)(ch + 40), z);
_mm256_storeu_si256((__m256i*)(ch + 44), z);
_mm256_storeu_si256((__m256i*)(ch + 48), z);
_mm256_storeu_si256((__m256i*)(ch + 52), z);
_mm256_storeu_si256((__m256i*)(ch + 56), z);
_mm256_storeu_si256((__m256i*)(ch + 60), z);
_mm_storeu_si128((__m128i*)(ch + 64), _mm256_castsi256_si128(z));
_mm_storeu_si64(ch + 66, _mm256_castsi256_si128(z));
}
#else
{
xsum_schunk* p;
int n;
p = sacc->chunk;
n = XSUM_SCHUNKS;
do {
*p++ = 0;
n -= 1;
} while (n > 0);
}
#endif
}
/* ADD ONE NUMBER TO A SMALL ACCUMULATOR ASSUMING NO CARRY PROPAGATION REQ'D.
This function is declared INLINE regardless of the setting of INLINE_SMALL
and for good performance it must be inlined by the compiler (otherwise the
procedure call overhead will result in substantial inefficiency). */
static INLINE void xsum_add1_no_carry(xsum_small_accumulator* sacc,
xsum_flt value) {
xsum_int ivalue;
xsum_int mantissa;
xsum_expint exp, low_exp, high_exp;
xsum_schunk* chunk_ptr;
if (xsum_debug) {
printf("ADD1 %+.17le\n ", (double)value);
pbinary_double((double)value);
printf("\n");
}
/* Extract exponent and mantissa. Split exponent into high and low parts. */
COPY64(ivalue, value);
exp = (ivalue >> XSUM_MANTISSA_BITS) & XSUM_EXP_MASK;
mantissa = ivalue & XSUM_MANTISSA_MASK;
high_exp = exp >> XSUM_LOW_EXP_BITS;
low_exp = exp & XSUM_LOW_EXP_MASK;
if (xsum_debug) {
printf(" high exp: ");
pbinary_int64(high_exp, XSUM_HIGH_EXP_BITS);
printf(" low exp: ");
pbinary_int64(low_exp, XSUM_LOW_EXP_BITS);
printf("\n");
}
/* Categorize number as normal, denormalized, or Inf/NaN according to
the value of the exponent field. */
if (exp == 0) /* zero or denormalized */
{ /* If it's a zero (positive or negative), we do nothing. */
if (mantissa == 0) {
return;
}
/* Denormalized mantissa has no implicit 1, but exponent is 1 not 0. */
exp = low_exp = 1;
} else if (exp == XSUM_EXP_MASK) /* Inf or NaN */
{ /* Just update flags in accumulator structure. */
xsum_small_add_inf_nan(sacc, ivalue);
return;
} else /* normalized */
{ /* OR in implicit 1 bit at top of mantissa */
mantissa |= (xsum_int)1 << XSUM_MANTISSA_BITS;
}
if (xsum_debug) {
printf(" mantissa: ");
pbinary_int64(mantissa, XSUM_MANTISSA_BITS + 1);
printf("\n");
}
/* Use high part of exponent as index of chunk, and low part of
exponent to give position within chunk. Fetch the two chunks
that will be modified. */
chunk_ptr = sacc->chunk + high_exp;
/* Separate mantissa into two parts, after shifting, and add to (or
subtract from) this chunk and the next higher chunk (which always
exists since there are three extra ones at the top).
Note that low_mantissa will have at most XSUM_LOW_MANTISSA_BITS bits,
while high_mantissa will have at most XSUM_MANTISSA_BITS bits, since
even though the high mantissa includes the extra implicit 1 bit, it will
also be shifted right by at least one bit. */
xsum_int split_mantissa[2];
split_mantissa[0] = ((xsum_uint)mantissa << low_exp) & XSUM_LOW_MANTISSA_MASK;
split_mantissa[1] = mantissa >> (XSUM_LOW_MANTISSA_BITS - low_exp);
/* Add to, or subtract from, the two affected chunks. */
#if OPT_SMALL == 1
{
xsum_int ivalue_sign = ivalue < 0 ? -1 : 1;
chunk_ptr[0] += ivalue_sign * split_mantissa[0];
chunk_ptr[1] += ivalue_sign * split_mantissa[1];
}
#elif OPT_SMALL == 2
{
xsum_int ivalue_neg =
ivalue >> (XSUM_SCHUNK_BITS - 1); /* all 0s if +ve, all 1s if -ve */
chunk_ptr[0] += (split_mantissa[0] ^ ivalue_neg) + (ivalue_neg & 1);
chunk_ptr[1] += (split_mantissa[1] ^ ivalue_neg) + (ivalue_neg & 1);
}
#elif OPT_SMALL == 3 && USE_SIMD && __SSE2__
{
xsum_int ivalue_neg =
ivalue >> (XSUM_SCHUNK_BITS - 1); /* all 0s if +ve, all 1s if -ve */
_mm_storeu_si128(
(__m128i*)chunk_ptr,
_mm_add_epi64(
_mm_loadu_si128((__m128i*)chunk_ptr),
_mm_add_epi64(
_mm_set1_epi64((__m64)(ivalue_neg & 1)),
_mm_xor_si128(_mm_set1_epi64((__m64)ivalue_neg),
_mm_loadu_si128((__m128i*)split_mantissa)))));
}
#else
{
if (ivalue < 0) {
chunk_ptr[0] -= split_mantissa[0];
chunk_ptr[1] -= split_mantissa[1];
} else {
chunk_ptr[0] += split_mantissa[0];
chunk_ptr[1] += split_mantissa[1];
}
}
#endif
if (xsum_debug) {
if (ivalue < 0) {
printf(" -high man: ");
pbinary_int64(-split_mantissa[1], XSUM_MANTISSA_BITS);
printf("\n -low man: ");
pbinary_int64(-split_mantissa[0], XSUM_LOW_MANTISSA_BITS);
printf("\n");
} else {
printf(" high man: ");
pbinary_int64(split_mantissa[1], XSUM_MANTISSA_BITS);
printf("\n low man: ");
pbinary_int64(split_mantissa[0], XSUM_LOW_MANTISSA_BITS);
printf("\n");
}
}
}
/* ADD ONE DOUBLE TO A SMALL ACCUMULATOR. This is equivalent to, but
somewhat faster than, calling xsum_small_addv with a vector of one
value. */
void xsum_small_add1(xsum_small_accumulator* sacc, xsum_flt value) {
if (sacc->adds_until_propagate == 0) {
(void)xsum_carry_propagate(sacc);
}
xsum_add1_no_carry(sacc, value);
sacc->adds_until_propagate -= 1;
}
/* RETURN THE RESULT OF ROUNDING A SMALL ACCUMULATOR. The rounding mode
is to nearest, with ties to even. The small accumulator may be modified
by this operation (by carry propagation being done), but the value it
represents should not change. */
xsum_flt xsum_small_round(xsum_small_accumulator* sacc) {
xsum_int ivalue;
xsum_schunk lower;
int i, j, e, more;
xsum_int intv;
double fltv;
if (xsum_debug) printf("\nROUNDING SMALL ACCUMULATOR\n");
/* See if we have a NaN from one of the numbers being a NaN, in
which case we return the NaN with largest payload, or an infinite
result (+Inf, -Inf, or a NaN if both +Inf and -Inf occurred).
Note that we do NOT return NaN if we have both an infinite number
and a sum of other numbers that overflows with opposite sign,
since there is no real ambiguity regarding the sign in such a case. */
if (sacc->NaN != 0) {
COPY64(fltv, sacc->NaN);
return fltv;
}
if (sacc->Inf != 0) {
COPY64(fltv, sacc->Inf);
return fltv;
}
/* If none of the numbers summed were infinite or NaN, we proceed to
propagate carries, as a preliminary to finding the magnitude of
the sum. This also ensures that the sign of the result can be
determined from the uppermost non-zero chunk.
We also find the index, i, of this uppermost non-zero chunk, as
the value returned by xsum_carry_propagate, and set ivalue to
sacc->chunk[i]. Note that ivalue will not be 0 or -1, unless
i is 0 (the lowest chunk), in which case it will be handled by
the code for denormalized numbers. */
i = xsum_carry_propagate(sacc);
if (xsum_debug) xsum_small_display(sacc);
ivalue = sacc->chunk[i];
/* Handle a possible denormalized number, including zero. */
if (i <= 1) {
/* Check for zero value, in which case we can return immediately. */
if (ivalue == 0) {
return 0.0;
}
/* Check if it is actually a denormalized number. It always is if only
the lowest chunk is non-zero. If the highest non-zero chunk is the
next-to-lowest, we check the magnitude of the absolute value.
Note that the real exponent is 1 (not 0), so we need to shift right
by 1 here. */
if (i == 0) {
intv = ivalue >= 0 ? ivalue : -ivalue;
intv >>= 1;
if (ivalue < 0) {
intv |= XSUM_SIGN_MASK;
}
if (xsum_debug) {
printf("denormalized with i==0: intv %016llx\n", (long long)intv);
}
COPY64(fltv, intv);
return fltv;
} else { /* Note: Left shift of -ve number is undefined, so do a multiply
instead, which is probably optimized to a shift. */
intv = ivalue * ((xsum_int)1 << (XSUM_LOW_MANTISSA_BITS - 1)) +
(sacc->chunk[0] >> 1);
if (intv < 0) {
if (intv > -((xsum_int)1 << XSUM_MANTISSA_BITS)) {
intv = (-intv) | XSUM_SIGN_MASK;
if (xsum_debug) {
printf("denormalized with i==1: intv %016llx\n", (long long)intv);
}
COPY64(fltv, intv);
return fltv;
}
} else /* non-negative */
{
if ((xsum_uint)intv < (xsum_uint)1 << XSUM_MANTISSA_BITS) {
if (xsum_debug) {
printf("denormalized with i==1: intv %016llx\n", (long long)intv);
}
COPY64(fltv, intv);
return fltv;
}
}
/* otherwise, it's not actually denormalized, so fall through to below */
}
}
/* Find the location of the uppermost 1 bit in the absolute value of
the upper chunk by converting it (as a signed integer) to a
floating point value, and looking at the exponent. Then set
'more' to the number of bits from the lower chunk (and maybe the
next lower) that are needed to fill out the mantissa of the
result (including the top implicit 1 bit), plus two extra bits to
help decide on rounding. For negative numbers, it may turn out
later that we need another bit, because negating a negative value
may carry out of the top here, but not carry out of the top once
more bits are shifted into the bottom later on. */
fltv = (xsum_flt)ivalue; /* finds position of topmost 1 bit of |ivalue| */
COPY64(intv, fltv);
e = (intv >> XSUM_MANTISSA_BITS) & XSUM_EXP_MASK; /* e-bias is in 0..32 */
more = 2 + XSUM_MANTISSA_BITS + XSUM_EXP_BIAS - e;
if (xsum_debug) {
printf("e: %d, more: %d, ivalue: %016llx\n", e, more,
(long long)ivalue);
}
/* Change 'ivalue' to put in 'more' bits from lower chunks into the bottom.
Also set 'j' to the index of the lowest chunk from which these bits came,
and 'lower' to the remaining bits of that chunk not now in 'ivalue'.
Note that 'lower' initially has at least one bit in it, which we can
later move into 'ivalue' if it turns out that one more bit is needed. */
ivalue *= (xsum_int)1 << more; /* multiply, since << of negative undefined */
if (xsum_debug) {
printf("after ivalue <<= more, ivalue: %016llx\n",
(long long)ivalue);
}
j = i - 1;
lower = sacc->chunk[j]; /* must exist, since denormalized if i==0 */
if (more >= XSUM_LOW_MANTISSA_BITS) {
more -= XSUM_LOW_MANTISSA_BITS;
ivalue += lower << more;
if (xsum_debug) {
printf("after ivalue += lower << more, ivalue: %016llx\n",
(long long)ivalue);
}
j -= 1;
lower = j < 0 ? 0 : sacc->chunk[j];
}
ivalue += lower >> (XSUM_LOW_MANTISSA_BITS - more);
lower &= ((xsum_schunk)1 << (XSUM_LOW_MANTISSA_BITS - more)) - 1;
if (xsum_debug) {
printf("after final add to ivalue, ivalue: %016llx\n",
(long long)ivalue);
printf("j: %d, e: %d, |ivalue|: %016llx, lower: %016llx (a)\n", j, e,
(long long)(ivalue < 0 ? -ivalue : ivalue), (long long)lower);
printf(" mask of low 55 bits: 007fffffffffffff, mask: %016llx\n",
(long long)((xsum_schunk)1 << (XSUM_LOW_MANTISSA_BITS - more)) - 1);
}
/* Decide on rounding, with separate code for positive and negative values.
At this point, 'ivalue' has the signed mantissa bits, plus two extra
bits, with 'e' recording the exponent position for these within their
top chunk. For positive 'ivalue', the bits in 'lower' and chunks
below 'j' add to the absolute value; for negative 'ivalue' they
subtract.
After setting 'ivalue' to the tentative unsigned mantissa
(shifted left 2), and 'intv' to have the correct sign, this
code goes to done_rounding if it finds that just discarding lower
order bits is correct, and to round_away_from_zero if instead the
magnitude should be increased by one in the lowest mantissa bit. */
if (ivalue >= 0) /* number is positive, lower bits are added to magnitude */
{
intv = 0; /* positive sign */
if ((ivalue & 2) == 0) /* extra bits are 0x */
{
if (xsum_debug) {
printf("+, no adjustment, since remainder adds <1/2\n");
}
goto done_rounding;
}
if ((ivalue & 1) != 0) /* extra bits are 11 */
{
if (xsum_debug) {
printf("+, round away from 0, since remainder adds >1/2\n");
}
goto round_away_from_zero;
}
if ((ivalue & 4) != 0) /* low bit is 1 (odd), extra bits are 10 */
{
if (xsum_debug) {
printf("+odd, round away from 0, since remainder adds >=1/2\n");
}
goto round_away_from_zero;
}
if (lower == 0) /* see if any lower bits are non-zero */
{
while (j > 0) {
j -= 1;
if (sacc->chunk[j] != 0) {
lower = 1;
break;
}
}
}
if (lower != 0) /* low bit 0 (even), extra bits 10, non-zero lower bits */
{
if (xsum_debug) {
printf("+even, round away from 0, since remainder adds >1/2\n");
}
goto round_away_from_zero;
} else /* low bit 0 (even), extra bits 10, all lower bits 0 */
{
if (xsum_debug) {
printf("+even, no adjustment, since reaminder adds exactly 1/2\n");
}
goto done_rounding;
}
}
else /* number is negative, lower bits are subtracted from magnitude */
{
/* Check for a negative 'ivalue' that when negated doesn't contain a full
mantissa's worth of bits, plus one to help rounding. If so, move one
more bit into 'ivalue' from 'lower' (and remove it from 'lower').
This happens when the negation of the upper part of 'ivalue' has the
form 10000... but the negation of the full 'ivalue' is not 10000... */
if (((-ivalue) & ((xsum_int)1 << (XSUM_MANTISSA_BITS + 2))) == 0) {
int pos = (xsum_schunk)1 << (XSUM_LOW_MANTISSA_BITS - 1 - more);
ivalue *= 2; /* note that left shift undefined if ivalue is negative */
if (lower & pos) {
ivalue += 1;
lower &= ~pos;
}
e -= 1;
if (xsum_debug) {
printf("j: %d, e: %d, |ivalue|: %016llx, lower: %016llx (b)\n", j, e,
(long long)(ivalue < 0 ? -ivalue : ivalue), (long long)lower);
}
}
intv = XSUM_SIGN_MASK; /* negative sign */
ivalue = -ivalue; /* ivalue now contains the absolute value */
if ((ivalue & 3) == 3) /* extra bits are 11 */
{
if (xsum_debug) {
printf("-, round away from 0, since remainder adds >1/2\n");
}
goto round_away_from_zero;
}
if ((ivalue & 3) <= 1) /* extra bits are 00 or 01 */
{
if (xsum_debug) {
printf(
"-, no adjustment, since remainder adds <=1/4 or subtracts <1/4\n");
}
goto done_rounding;
}
if ((ivalue & 4) == 0) /* low bit is 0 (even), extra bits are 10 */
{
if (xsum_debug) {
printf("-even, no adjustment, since remainder adds <=1/2\n");
}
goto done_rounding;
}
if (lower == 0) /* see if any lower bits are non-zero */
{
while (j > 0) {
j -= 1;
if (sacc->chunk[j] != 0) {
lower = 1;
break;
}
}
}
if (lower != 0) /* low bit 1 (odd), extra bits 10, non-zero lower bits */
{
if (xsum_debug) {
printf("-odd, no adjustment, since remainder adds <1/2\n");
}
goto done_rounding;
} else /* low bit 1 (odd), extra bits are 10, lower bits are all 0 */
{
if (xsum_debug) {
printf("-odd, round away from 0, since remainder adds exactly 1/2\n");
}
goto round_away_from_zero;
}
}
round_away_from_zero:
/* Round away from zero, then check for carry having propagated out the
top, and shift if so. */
ivalue += 4; /* add 1 to low-order mantissa bit */
if (ivalue & ((xsum_int)1 << (XSUM_MANTISSA_BITS + 3))) {
ivalue >>= 1;
e += 1;
}
done_rounding:;
/* Get rid of the bottom 2 bits that were used to decide on rounding. */
ivalue >>= 2;
/* Adjust to the true exponent, accounting for where this chunk is. */
e += (i << XSUM_LOW_EXP_BITS) - XSUM_EXP_BIAS - XSUM_MANTISSA_BITS;
/* If exponent has overflowed, change to plus or minus Inf and return. */
if (e >= XSUM_EXP_MASK) {
intv |= (xsum_int)XSUM_EXP_MASK << XSUM_MANTISSA_BITS;
COPY64(fltv, intv);
if (xsum_debug) {
printf("Final rounded result: %.17le (overflowed)\n ", fltv);
pbinary_double(fltv);
printf("\n");
}
return fltv;
}
/* Put exponent and mantissa into intv, which already has the sign,
then copy into fltv. */
intv += (xsum_int)e << XSUM_MANTISSA_BITS;
intv += ivalue & XSUM_MANTISSA_MASK; /* mask out the implicit 1 bit */
COPY64(fltv, intv);
if (xsum_debug) {
printf("Final rounded result: %.17le\n ", fltv);
pbinary_double(fltv);
printf("\n");
if ((ivalue >> XSUM_MANTISSA_BITS) != 1) abort();
}
return fltv;
}
/* ------------------------- DEBUGGING ROUTINES ----------------------------- */
/* DISPLAY A SMALL ACCUMULATOR. */
void xsum_small_display(xsum_small_accumulator* sacc) {
int i, dots;
printf("Small accumulator:");
if (sacc->Inf) {
printf(" %cInf", sacc->Inf > 0 ? '+' : '-');
if ((sacc->Inf & ((xsum_uint)XSUM_EXP_MASK << XSUM_MANTISSA_BITS)) !=
((xsum_uint)XSUM_EXP_MASK << XSUM_MANTISSA_BITS)) {
printf(" BUT WRONG CONTENTS: %llx", (long long)sacc->Inf);
}
}
if (sacc->NaN) {
printf(" NaN (%llx)", (long long)sacc->NaN);
}
printf("\n");
dots = 0;
for (i = XSUM_SCHUNKS - 1; i >= 0; i--) {
if (sacc->chunk[i] == 0) {
if (!dots) printf(" ...\n");
dots = 1;
} else {
printf(
"%5d %5d ", i,
(int)((i << XSUM_LOW_EXP_BITS) - XSUM_EXP_BIAS - XSUM_MANTISSA_BITS));
pbinary_int64((int64_t)sacc->chunk[i] >> 32, XSUM_SCHUNK_BITS - 32);
printf(" ");
pbinary_int64((int64_t)sacc->chunk[i] & 0xffffffff, 32);
printf("\n");
dots = 0;
}
}
printf("\n");
}