Left shift of ki is undefined when ki<0, copy the logic from exp,
which uses unsigned arithmetics, to fix it.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
{
double_t scale, y;
- if (ki - (1ull << 16) < 0x80000000)
+ if ((ki & 0x80000000) == 0)
{
/* The exponent of scale might have overflowed by 1. */
sbits -= 1ull << 52;
/* Reduce x: z = x * N / log10(2), k = round(z). */
double_t z = __exp_data.invlog10_2N * x;
double_t kd;
- int64_t ki;
+ uint64_t ki;
#if TOINT_INTRINSICS
kd = roundtoint (z);
ki = converttoint (z);
#else
kd = math_narrow_eval (z + Shift);
+ ki = asuint64 (kd);
kd -= Shift;
- ki = kd;
#endif
/* r = x - k * log10(2), r in [-0.5, 0.5]. */