nasm/float.c

471 lines
13 KiB
C
Raw Normal View History

2002-04-30 20:51:32 +00:00
/* float.c floating-point constant support for the Netwide Assembler
*
* The Netwide Assembler is copyright (C) 1996 Simon Tatham and
* Julian Hall. All rights reserved. The software is
* redistributable under the licence given in the file "Licence"
* distributed in the NASM archive.
*
* initial version 13/ix/96 by Simon Tatham
*/
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <inttypes.h>
2002-04-30 20:51:32 +00:00
#include "nasm.h"
#define TRUE 1
#define FALSE 0
2005-01-15 22:15:51 +00:00
#define MANT_WORDS 6 /* 64 bits + 32 for accuracy == 96 */
#define MANT_DIGITS 28 /* 29 digits don't fit in 96 bits */
2002-04-30 20:51:32 +00:00
/*
* guaranteed top bit of from is set
* => we only have to worry about _one_ bit shift to the left
*/
static int ieee_multiply(uint16_t *to, uint16_t *from)
2002-04-30 20:53:55 +00:00
{
uint32_t temp[MANT_WORDS * 2];
2005-01-15 22:15:51 +00:00
int i, j;
2002-04-30 20:51:32 +00:00
2005-01-15 22:15:51 +00:00
for (i = 0; i < MANT_WORDS * 2; i++)
temp[i] = 0;
2002-04-30 20:51:32 +00:00
2005-01-15 22:15:51 +00:00
for (i = 0; i < MANT_WORDS; i++)
for (j = 0; j < MANT_WORDS; j++) {
uint32_t n;
n = (uint32_t)to[i] * (uint32_t)from[j];
2005-01-15 22:15:51 +00:00
temp[i + j] += n >> 16;
temp[i + j + 1] += n & 0xFFFF;
}
2002-04-30 20:51:32 +00:00
2005-01-15 22:15:51 +00:00
for (i = MANT_WORDS * 2; --i;) {
temp[i - 1] += temp[i] >> 16;
temp[i] &= 0xFFFF;
2002-04-30 20:51:32 +00:00
}
if (temp[0] & 0x8000) {
2005-01-15 22:15:51 +00:00
for (i = 0; i < MANT_WORDS; i++)
to[i] = temp[i] & 0xFFFF;
return 0;
2002-04-30 20:51:32 +00:00
} else {
2005-01-15 22:15:51 +00:00
for (i = 0; i < MANT_WORDS; i++)
to[i] = (temp[i] << 1) + !!(temp[i + 1] & 0x8000);
return -1;
2002-04-30 20:51:32 +00:00
}
}
static void ieee_flconvert(char *string, uint16_t *mant,
int32_t *exponent, efunc error)
2002-04-30 20:53:55 +00:00
{
char digits[MANT_DIGITS];
char *p, *q, *r;
uint16_t mult[MANT_WORDS], bit;
uint16_t *m;
int32_t tenpwr, twopwr;
2005-01-15 22:15:51 +00:00
int extratwos, started, seendot;
2002-04-30 20:51:32 +00:00
p = digits;
tenpwr = 0;
started = seendot = FALSE;
while (*string && *string != 'E' && *string != 'e') {
2005-01-15 22:15:51 +00:00
if (*string == '.') {
if (!seendot)
seendot = TRUE;
else {
error(ERR_NONFATAL,
"too many periods in floating-point constant");
return;
}
} else if (*string >= '0' && *string <= '9') {
if (*string == '0' && !started) {
if (seendot)
tenpwr--;
} else {
started = TRUE;
if (p < digits + sizeof(digits))
*p++ = *string - '0';
if (!seendot)
tenpwr++;
}
} else {
error(ERR_NONFATAL,
"floating-point constant: `%c' is invalid character",
*string);
return;
}
string++;
2002-04-30 20:51:32 +00:00
}
if (*string) {
2005-01-15 22:15:51 +00:00
string++; /* eat the E */
tenpwr += atoi(string);
2002-04-30 20:51:32 +00:00
}
/*
* At this point, the memory interval [digits,p) contains a
* series of decimal digits zzzzzzz such that our number X
* satisfies
*
* X = 0.zzzzzzz * 10^tenpwr
*/
bit = 0x8000;
2005-01-15 22:15:51 +00:00
for (m = mant; m < mant + MANT_WORDS; m++)
*m = 0;
2002-04-30 20:51:32 +00:00
m = mant;
q = digits;
started = FALSE;
twopwr = 0;
2005-01-15 22:15:51 +00:00
while (m < mant + MANT_WORDS) {
uint16_t carry = 0;
2005-01-15 22:15:51 +00:00
while (p > q && !p[-1])
p--;
if (p <= q)
break;
for (r = p; r-- > q;) {
int i;
2002-04-30 20:51:32 +00:00
2005-01-15 22:15:51 +00:00
i = 2 * *r + carry;
if (i >= 10)
carry = 1, i -= 10;
else
carry = 0;
*r = i;
}
if (carry)
*m |= bit, started = TRUE;
if (started) {
if (bit == 1)
bit = 0x8000, m++;
else
bit >>= 1;
} else
twopwr--;
2002-04-30 20:51:32 +00:00
}
twopwr += tenpwr;
/*
* At this point the `mant' array contains the first six
* fractional places of a base-2^16 real number, which when
* multiplied by 2^twopwr and 5^tenpwr gives X. So now we
* really do multiply by 5^tenpwr.
*/
if (tenpwr < 0) {
2005-01-15 22:15:51 +00:00
for (m = mult; m < mult + MANT_WORDS; m++)
*m = 0xCCCC;
extratwos = -2;
tenpwr = -tenpwr;
2002-04-30 20:51:32 +00:00
} else if (tenpwr > 0) {
2005-01-15 22:15:51 +00:00
mult[0] = 0xA000;
for (m = mult + 1; m < mult + MANT_WORDS; m++)
*m = 0;
extratwos = 3;
2002-04-30 20:51:32 +00:00
} else
2005-01-15 22:15:51 +00:00
extratwos = 0;
2002-04-30 20:51:32 +00:00
while (tenpwr) {
2005-01-15 22:15:51 +00:00
if (tenpwr & 1)
twopwr += extratwos + ieee_multiply(mant, mult);
extratwos = extratwos * 2 + ieee_multiply(mult, mult);
tenpwr >>= 1;
2002-04-30 20:51:32 +00:00
}
/*
* Conversion is done. The elements of `mant' contain the first
* fractional places of a base-2^16 real number in [0.5,1)
* which we can multiply by 2^twopwr to get X. Or, of course,
* it contains zero.
*/
*exponent = twopwr;
}
/*
* Shift a mantissa to the right by i (i < 16) bits.
*/
static void ieee_shr(uint16_t *mant, int i)
2002-04-30 20:53:55 +00:00
{
uint16_t n = 0, m;
2005-01-15 22:15:51 +00:00
int j;
2002-04-30 20:51:32 +00:00
2005-01-15 22:15:51 +00:00
for (j = 0; j < MANT_WORDS; j++) {
m = (mant[j] << (16 - i)) & 0xFFFF;
mant[j] = (mant[j] >> i) | n;
n = m;
2002-04-30 20:51:32 +00:00
}
}
/*
* Round a mantissa off after i words.
*/
static int ieee_round(uint16_t *mant, int i)
2002-04-30 20:53:55 +00:00
{
2002-04-30 20:51:32 +00:00
if (mant[i] & 0x8000) {
2005-01-15 22:15:51 +00:00
do {
++mant[--i];
mant[i] &= 0xFFFF;
} while (i > 0 && !mant[i]);
return !i && !mant[i];
2002-04-30 20:51:32 +00:00
}
return 0;
}
#define put(a,b) ( (*(a)=(b)), ((a)[1]=(b)>>8) )
/* 64-bit format with 52-bit mantissa and 11-bit exponent */
static int to_double(char *str, int32_t sign, uint8_t *result,
2005-01-15 22:15:51 +00:00
efunc error)
2002-04-30 20:53:55 +00:00
{
uint16_t mant[MANT_WORDS];
int32_t exponent;
2002-04-30 20:51:32 +00:00
sign = (sign < 0 ? 0x8000L : 0L);
2005-01-15 22:15:51 +00:00
ieee_flconvert(str, mant, &exponent, error);
2002-04-30 20:51:32 +00:00
if (mant[0] & 0x8000) {
2005-01-15 22:15:51 +00:00
/*
* Non-zero.
*/
exponent--;
if (exponent >= -1022 && exponent <= 1024) {
/*
* Normalised.
*/
exponent += 1023;
ieee_shr(mant, 11);
ieee_round(mant, 4);
if (mant[0] & 0x20) /* did we scale up by one? */
ieee_shr(mant, 1), exponent++;
mant[0] &= 0xF; /* remove leading one */
put(result + 6, (exponent << 4) | mant[0] | sign);
put(result + 4, mant[1]);
put(result + 2, mant[2]);
put(result + 0, mant[3]);
} else if (exponent < -1022 && exponent >= -1074) {
/*
* Denormal.
*/
int shift = -(exponent + 1011);
int sh = shift % 16, wds = shift / 16;
ieee_shr(mant, sh);
if (ieee_round(mant, 4 - wds)
|| (sh > 0 && (mant[0] & (0x8000 >> (sh - 1))))) {
ieee_shr(mant, 1);
if (sh == 0)
mant[0] |= 0x8000;
exponent++;
}
put(result + 6, (wds == 0 ? mant[0] : 0) | sign);
put(result + 4, (wds <= 1 ? mant[1 - wds] : 0));
put(result + 2, (wds <= 2 ? mant[2 - wds] : 0));
put(result + 0, (wds <= 3 ? mant[3 - wds] : 0));
} else {
if (exponent > 0) {
error(ERR_NONFATAL, "overflow in floating-point constant");
return 0;
} else
memset(result, 0, 8);
}
2002-04-30 20:51:32 +00:00
} else {
2005-01-15 22:15:51 +00:00
/*
* Zero.
*/
memset(result, 0, 8);
2002-04-30 20:51:32 +00:00
}
2005-01-15 22:15:51 +00:00
return 1; /* success */
2002-04-30 20:51:32 +00:00
}
/* 32-bit format with 23-bit mantissa and 8-bit exponent */
static int to_float(char *str, int32_t sign, uint8_t *result,
2005-01-15 22:15:51 +00:00
efunc error)
2002-04-30 20:53:55 +00:00
{
uint16_t mant[MANT_WORDS];
int32_t exponent;
2002-04-30 20:51:32 +00:00
sign = (sign < 0 ? 0x8000L : 0L);
2005-01-15 22:15:51 +00:00
ieee_flconvert(str, mant, &exponent, error);
2002-04-30 20:51:32 +00:00
if (mant[0] & 0x8000) {
2005-01-15 22:15:51 +00:00
/*
* Non-zero.
*/
exponent--;
if (exponent >= -126 && exponent <= 128) {
/*
* Normalised.
*/
exponent += 127;
ieee_shr(mant, 8);
ieee_round(mant, 2);
if (mant[0] & 0x100) /* did we scale up by one? */
ieee_shr(mant, 1), exponent++;
mant[0] &= 0x7F; /* remove leading one */
put(result + 2, (exponent << 7) | mant[0] | sign);
put(result + 0, mant[1]);
} else if (exponent < -126 && exponent >= -149) {
/*
* Denormal.
*/
int shift = -(exponent + 118);
int sh = shift % 16, wds = shift / 16;
ieee_shr(mant, sh);
if (ieee_round(mant, 2 - wds)
|| (sh > 0 && (mant[0] & (0x8000 >> (sh - 1))))) {
ieee_shr(mant, 1);
if (sh == 0)
mant[0] |= 0x8000;
exponent++;
}
put(result + 2, (wds == 0 ? mant[0] : 0) | sign);
put(result + 0, (wds <= 1 ? mant[1 - wds] : 0));
} else {
if (exponent > 0) {
error(ERR_NONFATAL, "overflow in floating-point constant");
return 0;
} else
memset(result, 0, 4);
}
2002-04-30 20:51:32 +00:00
} else {
2005-01-15 22:15:51 +00:00
memset(result, 0, 4);
2002-04-30 20:51:32 +00:00
}
return 1;
}
/* 16-bit format with 10-bit mantissa and 5-bit exponent.
Defined in IEEE 754r. Used in SSE5. See the AMD SSE5 manual, AMD
document number 43479. */
static int to_float16(char *str, int32_t sign, uint8_t *result,
efunc error)
{
uint16_t mant[MANT_WORDS];
int32_t exponent;
sign = (sign < 0 ? 0x8000L : 0L);
ieee_flconvert(str, mant, &exponent, error);
if (mant[0] & 0x8000) {
/*
* Non-zero.
*/
exponent--;
if (exponent >= -14 && exponent <= 16) {
/*
* Normalised.
*/
exponent += 15;
ieee_shr(mant, 5);
ieee_round(mant, 1);
if (mant[0] & 0x800) /* did we scale up by one? */
ieee_shr(mant, 1), exponent++;
mant[0] &= 0x3FF; /* remove leading one */
put(result + 0, (exponent << 7) | mant[0] | sign);
} else if (exponent < -14 && exponent >= -24) {
/*
* Denormal.
*/
int shift = -(exponent + 8);
int sh = shift % 16, wds = shift / 16;
ieee_shr(mant, sh);
if (ieee_round(mant, 1 - wds)
|| (sh > 0 && (mant[0] & (0x8000 >> (sh - 1))))) {
ieee_shr(mant, 1);
if (sh == 0)
mant[0] |= 0x8000;
exponent++;
}
put(result + 0, (wds == 0 ? mant[0] : 0) | sign);
} else {
if (exponent > 0) {
error(ERR_NONFATAL, "overflow in floating-point constant");
return 0;
} else
memset(result, 0, 2);
}
} else {
memset(result, 0, 2);
}
return 1;
}
/* 80-bit format with 64-bit mantissa *including an explicit integer 1*
and 15-bit exponent. */
static int to_ldoub(char *str, int32_t sign, uint8_t *result,
2005-01-15 22:15:51 +00:00
efunc error)
2002-04-30 20:53:55 +00:00
{
uint16_t mant[MANT_WORDS];
int32_t exponent;
2002-04-30 20:51:32 +00:00
sign = (sign < 0 ? 0x8000L : 0L);
2005-01-15 22:15:51 +00:00
ieee_flconvert(str, mant, &exponent, error);
2002-04-30 20:51:32 +00:00
if (mant[0] & 0x8000) {
2005-01-15 22:15:51 +00:00
/*
* Non-zero.
*/
exponent--;
if (exponent >= -16383 && exponent <= 16384) {
/*
* Normalised.
*/
exponent += 16383;
if (ieee_round(mant, 4)) /* did we scale up by one? */
ieee_shr(mant, 1), mant[0] |= 0x8000, exponent++;
put(result + 8, exponent | sign);
put(result + 6, mant[0]);
put(result + 4, mant[1]);
put(result + 2, mant[2]);
put(result + 0, mant[3]);
} else if (exponent < -16383 && exponent >= -16446) {
/*
* Denormal.
*/
int shift = -(exponent + 16383);
int sh = shift % 16, wds = shift / 16;
ieee_shr(mant, sh);
if (ieee_round(mant, 4 - wds)
|| (sh > 0 && (mant[0] & (0x8000 >> (sh - 1))))) {
ieee_shr(mant, 1);
if (sh == 0)
mant[0] |= 0x8000;
exponent++;
}
put(result + 8, sign);
put(result + 6, (wds == 0 ? mant[0] : 0));
put(result + 4, (wds <= 1 ? mant[1 - wds] : 0));
put(result + 2, (wds <= 2 ? mant[2 - wds] : 0));
put(result + 0, (wds <= 3 ? mant[3 - wds] : 0));
} else {
if (exponent > 0) {
error(ERR_NONFATAL, "overflow in floating-point constant");
return 0;
} else
memset(result, 0, 10);
}
2002-04-30 20:51:32 +00:00
} else {
2005-01-15 22:15:51 +00:00
/*
* Zero.
*/
memset(result, 0, 10);
2002-04-30 20:51:32 +00:00
}
return 1;
}
int float_const(char *number, int32_t sign, uint8_t *result, int bytes,
2005-01-15 22:15:51 +00:00
efunc error)
2002-04-30 20:53:55 +00:00
{
switch (bytes) {
case 2:
return to_float16(number, sign, result, error);
case 4:
2005-01-15 22:15:51 +00:00
return to_float(number, sign, result, error);
case 8:
2005-01-15 22:15:51 +00:00
return to_double(number, sign, result, error);
case 10:
2005-01-15 22:15:51 +00:00
return to_ldoub(number, sign, result, error);
default:
2005-01-15 22:15:51 +00:00
error(ERR_PANIC, "strange value %d passed to float_const", bytes);
return 0;
2002-04-30 20:51:32 +00:00
}
}