OLD | NEW |
(Empty) | |
| 1 /* ------------------------------------------------------------------ */ |
| 2 /* decNumber package local type, tuning, and macro definitions */ |
| 3 /* ------------------------------------------------------------------ */ |
| 4 /* Copyright (c) IBM Corporation, 2000-2010. All rights reserved. */ |
| 5 /* */ |
| 6 /* This software is made available under the terms of the */ |
| 7 /* ICU License -- ICU 1.8.1 and later. */ |
| 8 /* */ |
| 9 /* The description and User's Guide ("The decNumber C Library") for */ |
| 10 /* this software is called decNumber.pdf. This document is */ |
| 11 /* available, together with arithmetic and format specifications, */ |
| 12 /* testcases, and Web links, on the General Decimal Arithmetic page. */ |
| 13 /* */ |
| 14 /* Please send comments, suggestions, and corrections to the author: */ |
| 15 /* mfc@uk.ibm.com */ |
| 16 /* Mike Cowlishaw, IBM Fellow */ |
| 17 /* IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK */ |
| 18 /* ------------------------------------------------------------------ */ |
| 19 /* This header file is included by all modules in the decNumber */ |
| 20 /* library, and contains local type definitions, tuning parameters, */ |
| 21 /* etc. It should not need to be used by application programs. */ |
| 22 /* decNumber.h or one of decDouble (etc.) must be included first. */ |
| 23 /* ------------------------------------------------------------------ */ |
| 24 |
| 25 #if !defined(DECNUMBERLOC) |
| 26 #define DECNUMBERLOC |
| 27 #define DECVERSION "decNumber 3.61" /* Package Version [16 max.] */ |
| 28 #define DECNLAUTHOR "Mike Cowlishaw" /* Who to blame */ |
| 29 |
| 30 #include <stdlib.h> /* for abs */ |
| 31 #include <string.h> /* for memset, strcpy */ |
| 32 |
| 33 /* Conditional code flag -- set this to match hardware platform */ |
| 34 #if !defined(DECLITEND) |
| 35 #define DECLITEND 1 /* 1=little-endian, 0=big-endian */ |
| 36 #endif |
| 37 |
| 38 /* Conditional code flag -- set this to 1 for best performance */ |
| 39 #if !defined(DECUSE64) |
| 40 #define DECUSE64 1 /* 1=use int64s, 0=int32 & smaller only */ |
| 41 #endif |
| 42 |
| 43 /* Conditional check flags -- set these to 0 for best performance */ |
| 44 #if !defined(DECCHECK) |
| 45 #define DECCHECK 0 /* 1 to enable robust checking */ |
| 46 #endif |
| 47 #if !defined(DECALLOC) |
| 48 #define DECALLOC 0 /* 1 to enable memory accounting */ |
| 49 #endif |
| 50 #if !defined(DECTRACE) |
| 51 #define DECTRACE 0 /* 1 to trace certain internals, etc. */ |
| 52 #endif |
| 53 |
| 54 /* Tuning parameter for decNumber (arbitrary precision) module */ |
| 55 #if !defined(DECBUFFER) |
| 56 #define DECBUFFER 36 /* Size basis for local buffers. This */ |
| 57 /* should be a common maximum precision */ |
| 58 /* rounded up to a multiple of 4; must */ |
| 59 /* be zero or positive. */ |
| 60 #endif |
| 61 |
| 62 /* ---------------------------------------------------------------- */ |
| 63 /* Definitions for all modules (general-purpose) */ |
| 64 /* ---------------------------------------------------------------- */ |
| 65 |
| 66 /* Local names for common types -- for safety, decNumber modules do */ |
| 67 /* not use int or long directly. */ |
| 68 #define Flag uint8_t |
| 69 #define Byte int8_t |
| 70 #define uByte uint8_t |
| 71 #define Short int16_t |
| 72 #define uShort uint16_t |
| 73 #define Int int32_t |
| 74 #define uInt uint32_t |
| 75 #define Unit decNumberUnit |
| 76 #if DECUSE64 |
| 77 #define Long int64_t |
| 78 #define uLong uint64_t |
| 79 #endif |
| 80 |
| 81 /* Development-use definitions */ |
| 82 typedef long int LI; /* for printf arguments only */ |
| 83 #define DECNOINT 0 /* 1 to check no internal use of 'int' */ |
| 84 /* or stdint types */ |
| 85 #if DECNOINT |
| 86 /* if these interfere with your C includes, do not set DECNOINT */ |
| 87 #define int ? /* enable to ensure that plain C 'int' */ |
| 88 #define long ?? /* .. or 'long' types are not used */ |
| 89 #endif |
| 90 |
| 91 /* Shared lookup tables */ |
| 92 extern const uByte DECSTICKYTAB[10]; /* re-round digits if sticky */ |
| 93 extern const uInt DECPOWERS[10]; /* powers of ten table */ |
| 94 /* The following are included from decDPD.h */ |
| 95 extern const uShort DPD2BIN[1024]; /* DPD -> 0-999 */ |
| 96 extern const uShort BIN2DPD[1000]; /* 0-999 -> DPD */ |
| 97 extern const uInt DPD2BINK[1024]; /* DPD -> 0-999000 */ |
| 98 extern const uInt DPD2BINM[1024]; /* DPD -> 0-999000000 */ |
| 99 extern const uByte DPD2BCD8[4096]; /* DPD -> ddd + len */ |
| 100 extern const uByte BIN2BCD8[4000]; /* 0-999 -> ddd + len */ |
| 101 extern const uShort BCD2DPD[2458]; /* 0-0x999 -> DPD (0x999=2457)*/ |
| 102 |
| 103 /* LONGMUL32HI -- set w=(u*v)>>32, where w, u, and v are uInts */ |
| 104 /* (that is, sets w to be the high-order word of the 64-bit result; */ |
| 105 /* the low-order word is simply u*v.) */ |
| 106 /* This version is derived from Knuth via Hacker's Delight; */ |
| 107 /* it seems to optimize better than some others tried */ |
| 108 #define LONGMUL32HI(w, u, v) { \ |
| 109 uInt u0, u1, v0, v1, w0, w1, w2, t; \ |
| 110 u0=u & 0xffff; u1=u>>16; \ |
| 111 v0=v & 0xffff; v1=v>>16; \ |
| 112 w0=u0*v0; \ |
| 113 t=u1*v0 + (w0>>16); \ |
| 114 w1=t & 0xffff; w2=t>>16; \ |
| 115 w1=u0*v1 + w1; \ |
| 116 (w)=u1*v1 + w2 + (w1>>16);} |
| 117 |
| 118 /* ROUNDUP -- round an integer up to a multiple of n */ |
| 119 #define ROUNDUP(i, n) ((((i)+(n)-1)/n)*n) |
| 120 #define ROUNDUP4(i) (((i)+3)&~3) /* special for n=4 */ |
| 121 |
| 122 /* ROUNDDOWN -- round an integer down to a multiple of n */ |
| 123 #define ROUNDDOWN(i, n) (((i)/n)*n) |
| 124 #define ROUNDDOWN4(i) ((i)&~3) /* special for n=4 */ |
| 125 |
| 126 /* References to multi-byte sequences under different sizes; these */ |
| 127 /* require locally declared variables, but do not violate strict */ |
| 128 /* aliasing or alignment (as did the UINTAT simple cast to uInt). */ |
| 129 /* Variables needed are uswork, uiwork, etc. [so do not use at same */ |
| 130 /* level in an expression, e.g., UBTOUI(x)==UBTOUI(y) may fail]. */ |
| 131 |
| 132 /* Return a uInt, etc., from bytes starting at a char* or uByte* */ |
| 133 #define UBTOUS(b) (memcpy((void *)&uswork, b, 2), uswork) |
| 134 #define UBTOUI(b) (memcpy((void *)&uiwork, b, 4), uiwork) |
| 135 |
| 136 /* Store a uInt, etc., into bytes starting at a char* or uByte*. */ |
| 137 /* Returns i, evaluated, for convenience; has to use uiwork because */ |
| 138 /* i may be an expression. */ |
| 139 #define UBFROMUS(b, i) (uswork=(i), memcpy(b, (void *)&uswork, 2), uswork) |
| 140 #define UBFROMUI(b, i) (uiwork=(i), memcpy(b, (void *)&uiwork, 4), uiwork) |
| 141 |
| 142 /* X10 and X100 -- multiply integer i by 10 or 100 */ |
| 143 /* [shifts are usually faster than multiply; could be conditional] */ |
| 144 #define X10(i) (((i)<<1)+((i)<<3)) |
| 145 #define X100(i) (((i)<<2)+((i)<<5)+((i)<<6)) |
| 146 |
| 147 /* MAXI and MINI -- general max & min (not in ANSI) for integers */ |
| 148 #define MAXI(x,y) ((x)<(y)?(y):(x)) |
| 149 #define MINI(x,y) ((x)>(y)?(y):(x)) |
| 150 |
| 151 /* Useful constants */ |
| 152 #define BILLION 1000000000 /* 10**9 */ |
| 153 /* CHARMASK: 0x30303030 for ASCII/UTF8; 0xF0F0F0F0 for EBCDIC */ |
| 154 #define CHARMASK ((((((((uInt)'0')<<8)+'0')<<8)+'0')<<8)+'0') |
| 155 |
| 156 |
| 157 /* ---------------------------------------------------------------- */ |
| 158 /* Definitions for arbitary-precision modules (only valid after */ |
| 159 /* decNumber.h has been included) */ |
| 160 /* ---------------------------------------------------------------- */ |
| 161 |
| 162 /* Limits and constants */ |
| 163 #define DECNUMMAXP 999999999 /* maximum precision code can handle */ |
| 164 #define DECNUMMAXE 999999999 /* maximum adjusted exponent ditto */ |
| 165 #define DECNUMMINE -999999999 /* minimum adjusted exponent ditto */ |
| 166 #if (DECNUMMAXP != DEC_MAX_DIGITS) |
| 167 #error Maximum digits mismatch |
| 168 #endif |
| 169 #if (DECNUMMAXE != DEC_MAX_EMAX) |
| 170 #error Maximum exponent mismatch |
| 171 #endif |
| 172 #if (DECNUMMINE != DEC_MIN_EMIN) |
| 173 #error Minimum exponent mismatch |
| 174 #endif |
| 175 |
| 176 /* Set DECDPUNMAX -- the maximum integer that fits in DECDPUN */ |
| 177 /* digits, and D2UTABLE -- the initializer for the D2U table */ |
| 178 #if DECDPUN==1 |
| 179 #define DECDPUNMAX 9 |
| 180 #define D2UTABLE {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17, \ |
| 181 18,19,20,21,22,23,24,25,26,27,28,29,30,31,32, \ |
| 182 33,34,35,36,37,38,39,40,41,42,43,44,45,46,47, \ |
| 183 48,49} |
| 184 #elif DECDPUN==2 |
| 185 #define DECDPUNMAX 99 |
| 186 #define D2UTABLE {0,1,1,2,2,3,3,4,4,5,5,6,6,7,7,8,8,9,9,10,10, \ |
| 187 11,11,12,12,13,13,14,14,15,15,16,16,17,17,18, \ |
| 188 18,19,19,20,20,21,21,22,22,23,23,24,24,25} |
| 189 #elif DECDPUN==3 |
| 190 #define DECDPUNMAX 999 |
| 191 #define D2UTABLE {0,1,1,1,2,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,7, \ |
| 192 8,8,8,9,9,9,10,10,10,11,11,11,12,12,12,13,13, \ |
| 193 13,14,14,14,15,15,15,16,16,16,17} |
| 194 #elif DECDPUN==4 |
| 195 #define DECDPUNMAX 9999 |
| 196 #define D2UTABLE {0,1,1,1,1,2,2,2,2,3,3,3,3,4,4,4,4,5,5,5,5,6, \ |
| 197 6,6,6,7,7,7,7,8,8,8,8,9,9,9,9,10,10,10,10,11, \ |
| 198 11,11,11,12,12,12,12,13} |
| 199 #elif DECDPUN==5 |
| 200 #define DECDPUNMAX 99999 |
| 201 #define D2UTABLE {0,1,1,1,1,1,2,2,2,2,2,3,3,3,3,3,4,4,4,4,4,5, \ |
| 202 5,5,5,5,6,6,6,6,6,7,7,7,7,7,8,8,8,8,8,9,9,9, \ |
| 203 9,9,10,10,10,10} |
| 204 #elif DECDPUN==6 |
| 205 #define DECDPUNMAX 999999 |
| 206 #define D2UTABLE {0,1,1,1,1,1,1,2,2,2,2,2,2,3,3,3,3,3,3,4,4,4, \ |
| 207 4,4,4,5,5,5,5,5,5,6,6,6,6,6,6,7,7,7,7,7,7,8, \ |
| 208 8,8,8,8,8,9} |
| 209 #elif DECDPUN==7 |
| 210 #define DECDPUNMAX 9999999 |
| 211 #define D2UTABLE {0,1,1,1,1,1,1,1,2,2,2,2,2,2,2,3,3,3,3,3,3,3, \ |
| 212 4,4,4,4,4,4,4,5,5,5,5,5,5,5,6,6,6,6,6,6,6,7, \ |
| 213 7,7,7,7,7,7} |
| 214 #elif DECDPUN==8 |
| 215 #define DECDPUNMAX 99999999 |
| 216 #define D2UTABLE {0,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,3,3,3,3,3, \ |
| 217 3,3,3,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,6,6,6, \ |
| 218 6,6,6,6,6,7} |
| 219 #elif DECDPUN==9 |
| 220 #define DECDPUNMAX 999999999 |
| 221 #define D2UTABLE {0,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,3,3,3, \ |
| 222 3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5, \ |
| 223 5,5,6,6,6,6} |
| 224 #elif defined(DECDPUN) |
| 225 #error DECDPUN must be in the range 1-9 |
| 226 #endif |
| 227 |
| 228 /* ----- Shared data (in decNumber.c) ----- */ |
| 229 /* Public lookup table used by the D2U macro (see below) */ |
| 230 #define DECMAXD2U 49 |
| 231 extern const uByte d2utable[DECMAXD2U+1]; |
| 232 |
| 233 /* ----- Macros ----- */ |
| 234 /* ISZERO -- return true if decNumber dn is a zero */ |
| 235 /* [performance-critical in some situations] */ |
| 236 #define ISZERO(dn) decNumberIsZero(dn) /* now just a local name */ |
| 237 |
| 238 /* D2U -- return the number of Units needed to hold d digits */ |
| 239 /* (runtime version, with table lookaside for small d) */ |
| 240 #if DECDPUN==8 |
| 241 #define D2U(d) ((unsigned)((d)<=DECMAXD2U?d2utable[d]:((d)+7)>>3)) |
| 242 #elif DECDPUN==4 |
| 243 #define D2U(d) ((unsigned)((d)<=DECMAXD2U?d2utable[d]:((d)+3)>>2)) |
| 244 #else |
| 245 #define D2U(d) ((d)<=DECMAXD2U?d2utable[d]:((d)+DECDPUN-1)/DECDPUN) |
| 246 #endif |
| 247 /* SD2U -- static D2U macro (for compile-time calculation) */ |
| 248 #define SD2U(d) (((d)+DECDPUN-1)/DECDPUN) |
| 249 |
| 250 /* MSUDIGITS -- returns digits in msu, from digits, calculated */ |
| 251 /* using D2U */ |
| 252 #define MSUDIGITS(d) ((d)-(D2U(d)-1)*DECDPUN) |
| 253 |
| 254 /* D2N -- return the number of decNumber structs that would be */ |
| 255 /* needed to contain that number of digits (and the initial */ |
| 256 /* decNumber struct) safely. Note that one Unit is included in the */ |
| 257 /* initial structure. Used for allocating space that is aligned on */ |
| 258 /* a decNumber struct boundary. */ |
| 259 #define D2N(d) \ |
| 260 ((((SD2U(d)-1)*sizeof(Unit))+sizeof(decNumber)*2-1)/sizeof(decNumber)) |
| 261 |
| 262 /* TODIGIT -- macro to remove the leading digit from the unsigned */ |
| 263 /* integer u at column cut (counting from the right, LSD=0) and */ |
| 264 /* place it as an ASCII character into the character pointed to by */ |
| 265 /* c. Note that cut must be <= 9, and the maximum value for u is */ |
| 266 /* 2,000,000,000 (as is needed for negative exponents of */ |
| 267 /* subnormals). The unsigned integer pow is used as a temporary */ |
| 268 /* variable. */ |
| 269 #define TODIGIT(u, cut, c, pow) { \ |
| 270 *(c)='0'; \ |
| 271 pow=DECPOWERS[cut]*2; \ |
| 272 if ((u)>pow) { \ |
| 273 pow*=4; \ |
| 274 if ((u)>=pow) {(u)-=pow; *(c)+=8;} \ |
| 275 pow/=2; \ |
| 276 if ((u)>=pow) {(u)-=pow; *(c)+=4;} \ |
| 277 pow/=2; \ |
| 278 } \ |
| 279 if ((u)>=pow) {(u)-=pow; *(c)+=2;} \ |
| 280 pow/=2; \ |
| 281 if ((u)>=pow) {(u)-=pow; *(c)+=1;} \ |
| 282 } |
| 283 |
| 284 /* ---------------------------------------------------------------- */ |
| 285 /* Definitions for fixed-precision modules (only valid after */ |
| 286 /* decSingle.h, decDouble.h, or decQuad.h has been included) */ |
| 287 /* ---------------------------------------------------------------- */ |
| 288 |
| 289 /* bcdnum -- a structure describing a format-independent finite */ |
| 290 /* number, whose coefficient is a string of bcd8 uBytes */ |
| 291 typedef struct { |
| 292 uByte *msd; /* -> most significant digit */ |
| 293 uByte *lsd; /* -> least ditto */ |
| 294 uInt sign; /* 0=positive, DECFLOAT_Sign=negative */ |
| 295 Int exponent; /* Unadjusted signed exponent (q), or */ |
| 296 /* DECFLOAT_NaN etc. for a special */ |
| 297 } bcdnum; |
| 298 |
| 299 /* Test if exponent or bcdnum exponent must be a special, etc. */ |
| 300 #define EXPISSPECIAL(exp) ((exp)>=DECFLOAT_MinSp) |
| 301 #define EXPISINF(exp) (exp==DECFLOAT_Inf) |
| 302 #define EXPISNAN(exp) (exp==DECFLOAT_qNaN || exp==DECFLOAT_sNaN) |
| 303 #define NUMISSPECIAL(num) (EXPISSPECIAL((num)->exponent)) |
| 304 |
| 305 /* Refer to a 32-bit word or byte in a decFloat (df) by big-endian */ |
| 306 /* (array) notation (the 0 word or byte contains the sign bit), */ |
| 307 /* automatically adjusting for endianness; similarly address a word */ |
| 308 /* in the next-wider format (decFloatWider, or dfw) */ |
| 309 #define DECWORDS (DECBYTES/4) |
| 310 #define DECWWORDS (DECWBYTES/4) |
| 311 #if DECLITEND |
| 312 #define DFBYTE(df, off) ((df)->bytes[DECBYTES-1-(off)]) |
| 313 #define DFWORD(df, off) ((df)->words[DECWORDS-1-(off)]) |
| 314 #define DFWWORD(dfw, off) ((dfw)->words[DECWWORDS-1-(off)]) |
| 315 #else |
| 316 #define DFBYTE(df, off) ((df)->bytes[off]) |
| 317 #define DFWORD(df, off) ((df)->words[off]) |
| 318 #define DFWWORD(dfw, off) ((dfw)->words[off]) |
| 319 #endif |
| 320 |
| 321 /* Tests for sign or specials, directly on DECFLOATs */ |
| 322 #define DFISSIGNED(df) (DFWORD(df, 0)&0x80000000) |
| 323 #define DFISSPECIAL(df) ((DFWORD(df, 0)&0x78000000)==0x78000000) |
| 324 #define DFISINF(df) ((DFWORD(df, 0)&0x7c000000)==0x78000000) |
| 325 #define DFISNAN(df) ((DFWORD(df, 0)&0x7c000000)==0x7c000000) |
| 326 #define DFISQNAN(df) ((DFWORD(df, 0)&0x7e000000)==0x7c000000) |
| 327 #define DFISSNAN(df) ((DFWORD(df, 0)&0x7e000000)==0x7e000000) |
| 328 |
| 329 /* Shared lookup tables */ |
| 330 extern const uInt DECCOMBMSD[64]; /* Combination field -> MSD */ |
| 331 extern const uInt DECCOMBFROM[48]; /* exp+msd -> Combination */ |
| 332 |
| 333 /* Private generic (utility) routine */ |
| 334 #if DECCHECK || DECTRACE |
| 335 extern void decShowNum(const bcdnum *, const char *); |
| 336 #endif |
| 337 |
| 338 /* Format-dependent macros and constants */ |
| 339 #if defined(DECPMAX) |
| 340 |
| 341 /* Useful constants */ |
| 342 #define DECPMAX9 (ROUNDUP(DECPMAX, 9)/9) /* 'Pmax' in 10**9s */ |
| 343 /* Top words for a zero */ |
| 344 #define SINGLEZERO 0x22500000 |
| 345 #define DOUBLEZERO 0x22380000 |
| 346 #define QUADZERO 0x22080000 |
| 347 /* [ZEROWORD is defined to be one of these in the DFISZERO macro] */ |
| 348 |
| 349 /* Format-dependent common tests: */ |
| 350 /* DFISZERO -- test for (any) zero */ |
| 351 /* DFISCCZERO -- test for coefficient continuation being zero */ |
| 352 /* DFISCC01 -- test for coefficient contains only 0s and 1s */ |
| 353 /* DFISINT -- test for finite and exponent q=0 */ |
| 354 /* DFISUINT01 -- test for sign=0, finite, exponent q=0, and */ |
| 355 /* MSD=0 or 1 */ |
| 356 /* ZEROWORD is also defined here. */ |
| 357 /* In DFISZERO the first test checks the least-significant word */ |
| 358 /* (most likely to be non-zero); the penultimate tests MSD and */ |
| 359 /* DPDs in the signword, and the final test excludes specials and */ |
| 360 /* MSD>7. DFISINT similarly has to allow for the two forms of */ |
| 361 /* MSD codes. DFISUINT01 only has to allow for one form of MSD */ |
| 362 /* code. */ |
| 363 #if DECPMAX==7 |
| 364 #define ZEROWORD SINGLEZERO |
| 365 /* [test macros not needed except for Zero] */ |
| 366 #define DFISZERO(df) ((DFWORD(df, 0)&0x1c0fffff)==0 \ |
| 367 && (DFWORD(df, 0)&0x60000000)!=0x60000000) |
| 368 #elif DECPMAX==16 |
| 369 #define ZEROWORD DOUBLEZERO |
| 370 #define DFISZERO(df) ((DFWORD(df, 1)==0 \ |
| 371 && (DFWORD(df, 0)&0x1c03ffff)==0 \ |
| 372 && (DFWORD(df, 0)&0x60000000)!=0x60000000)) |
| 373 #define DFISINT(df) ((DFWORD(df, 0)&0x63fc0000)==0x22380000 \ |
| 374 ||(DFWORD(df, 0)&0x7bfc0000)==0x6a380000) |
| 375 #define DFISUINT01(df) ((DFWORD(df, 0)&0xfbfc0000)==0x22380000) |
| 376 #define DFISCCZERO(df) (DFWORD(df, 1)==0 \ |
| 377 && (DFWORD(df, 0)&0x0003ffff)==0) |
| 378 #define DFISCC01(df) ((DFWORD(df, 0)&~0xfffc9124)==0 \ |
| 379 && (DFWORD(df, 1)&~0x49124491)==0) |
| 380 #elif DECPMAX==34 |
| 381 #define ZEROWORD QUADZERO |
| 382 #define DFISZERO(df) ((DFWORD(df, 3)==0 \ |
| 383 && DFWORD(df, 2)==0 \ |
| 384 && DFWORD(df, 1)==0 \ |
| 385 && (DFWORD(df, 0)&0x1c003fff)==0 \ |
| 386 && (DFWORD(df, 0)&0x60000000)!=0x60000000)) |
| 387 #define DFISINT(df) ((DFWORD(df, 0)&0x63ffc000)==0x22080000 \ |
| 388 ||(DFWORD(df, 0)&0x7bffc000)==0x6a080000) |
| 389 #define DFISUINT01(df) ((DFWORD(df, 0)&0xfbffc000)==0x22080000) |
| 390 #define DFISCCZERO(df) (DFWORD(df, 3)==0 \ |
| 391 && DFWORD(df, 2)==0 \ |
| 392 && DFWORD(df, 1)==0 \ |
| 393 && (DFWORD(df, 0)&0x00003fff)==0) |
| 394 |
| 395 #define DFISCC01(df) ((DFWORD(df, 0)&~0xffffc912)==0 \ |
| 396 && (DFWORD(df, 1)&~0x44912449)==0 \ |
| 397 && (DFWORD(df, 2)&~0x12449124)==0 \ |
| 398 && (DFWORD(df, 3)&~0x49124491)==0) |
| 399 #endif |
| 400 |
| 401 /* Macros to test if a certain 10 bits of a uInt or pair of uInts */ |
| 402 /* are a canonical declet [higher or lower bits are ignored]. */ |
| 403 /* declet is at offset 0 (from the right) in a uInt: */ |
| 404 #define CANONDPD(dpd) (((dpd)&0x300)==0 || ((dpd)&0x6e)!=0x6e) |
| 405 /* declet is at offset k (a multiple of 2) in a uInt: */ |
| 406 #define CANONDPDOFF(dpd, k) (((dpd)&(0x300<<(k)))==0 \ |
| 407 || ((dpd)&(((uInt)0x6e)<<(k)))!=(((uInt)0x6e)<<(k))) |
| 408 /* declet is at offset k (a multiple of 2) in a pair of uInts: */ |
| 409 /* [the top 2 bits will always be in the more-significant uInt] */ |
| 410 #define CANONDPDTWO(hi, lo, k) (((hi)&(0x300>>(32-(k))))==0 \ |
| 411 || ((hi)&(0x6e>>(32-(k))))!=(0x6e>>(32-(k))) \ |
| 412 || ((lo)&(((uInt)0x6e)<<(k)))!=(((uInt)0x6e)<<(k))) |
| 413 |
| 414 /* Macro to test whether a full-length (length DECPMAX) BCD8 */ |
| 415 /* coefficient, starting at uByte u, is all zeros */ |
| 416 /* Test just the LSWord first, then the remainder as a sequence */ |
| 417 /* of tests in order to avoid same-level use of UBTOUI */ |
| 418 #if DECPMAX==7 |
| 419 #define ISCOEFFZERO(u) ( \ |
| 420 UBTOUI((u)+DECPMAX-4)==0 \ |
| 421 && UBTOUS((u)+DECPMAX-6)==0 \ |
| 422 && *(u)==0) |
| 423 #elif DECPMAX==16 |
| 424 #define ISCOEFFZERO(u) ( \ |
| 425 UBTOUI((u)+DECPMAX-4)==0 \ |
| 426 && UBTOUI((u)+DECPMAX-8)==0 \ |
| 427 && UBTOUI((u)+DECPMAX-12)==0 \ |
| 428 && UBTOUI(u)==0) |
| 429 #elif DECPMAX==34 |
| 430 #define ISCOEFFZERO(u) ( \ |
| 431 UBTOUI((u)+DECPMAX-4)==0 \ |
| 432 && UBTOUI((u)+DECPMAX-8)==0 \ |
| 433 && UBTOUI((u)+DECPMAX-12)==0 \ |
| 434 && UBTOUI((u)+DECPMAX-16)==0 \ |
| 435 && UBTOUI((u)+DECPMAX-20)==0 \ |
| 436 && UBTOUI((u)+DECPMAX-24)==0 \ |
| 437 && UBTOUI((u)+DECPMAX-28)==0 \ |
| 438 && UBTOUI((u)+DECPMAX-32)==0 \ |
| 439 && UBTOUS(u)==0) |
| 440 #endif |
| 441 |
| 442 /* Macros and masks for the exponent continuation field and MSD */ |
| 443 /* Get the exponent continuation from a decFloat *df as an Int */ |
| 444 #define GETECON(df) ((Int)((DFWORD((df), 0)&0x03ffffff)>>(32-6-DECECONL))) |
| 445 /* Ditto, from the next-wider format */ |
| 446 #define GETWECON(df) ((Int)((DFWWORD((df), 0)&0x03ffffff)>>(32-6-DECWECONL))
) |
| 447 /* Get the biased exponent similarly */ |
| 448 #define GETEXP(df) ((Int)(DECCOMBEXP[DFWORD((df), 0)>>26]+GETECON(df))) |
| 449 /* Get the unbiased exponent similarly */ |
| 450 #define GETEXPUN(df) ((Int)GETEXP(df)-DECBIAS) |
| 451 /* Get the MSD similarly (as uInt) */ |
| 452 #define GETMSD(df) (DECCOMBMSD[DFWORD((df), 0)>>26]) |
| 453 |
| 454 /* Compile-time computes of the exponent continuation field masks */ |
| 455 /* full exponent continuation field: */ |
| 456 #define ECONMASK ((0x03ffffff>>(32-6-DECECONL))<<(32-6-DECECONL)) |
| 457 /* same, not including its first digit (the qNaN/sNaN selector): */ |
| 458 #define ECONNANMASK ((0x01ffffff>>(32-6-DECECONL))<<(32-6-DECECONL)) |
| 459 |
| 460 /* Macros to decode the coefficient in a finite decFloat *df into */ |
| 461 /* a BCD string (uByte *bcdin) of length DECPMAX uBytes. */ |
| 462 |
| 463 /* In-line sequence to convert least significant 10 bits of uInt */ |
| 464 /* dpd to three BCD8 digits starting at uByte u. Note that an */ |
| 465 /* extra byte is written to the right of the three digits because */ |
| 466 /* four bytes are moved at a time for speed; the alternative */ |
| 467 /* macro moves exactly three bytes (usually slower). */ |
| 468 #define dpd2bcd8(u, dpd) memcpy(u, &DPD2BCD8[((dpd)&0x3ff)*4], 4) |
| 469 #define dpd2bcd83(u, dpd) memcpy(u, &DPD2BCD8[((dpd)&0x3ff)*4], 3) |
| 470 |
| 471 /* Decode the declets. After extracting each one, it is decoded */ |
| 472 /* to BCD8 using a table lookup (also used for variable-length */ |
| 473 /* decode). Each DPD decode is 3 bytes BCD8 plus a one-byte */ |
| 474 /* length which is not used, here). Fixed-length 4-byte moves */ |
| 475 /* are fast, however, almost everywhere, and so are used except */ |
| 476 /* for the final three bytes (to avoid overrun). The code below */ |
| 477 /* is 36 instructions for Doubles and about 70 for Quads, even */ |
| 478 /* on IA32. */ |
| 479 |
| 480 /* Two macros are defined for each format: */ |
| 481 /* GETCOEFF extracts the coefficient of the current format */ |
| 482 /* GETWCOEFF extracts the coefficient of the next-wider format. */ |
| 483 /* The latter is a copy of the next-wider GETCOEFF using DFWWORD. */ |
| 484 |
| 485 #if DECPMAX==7 |
| 486 #define GETCOEFF(df, bcd) { \ |
| 487 uInt sourhi=DFWORD(df, 0); \ |
| 488 *(bcd)=(uByte)DECCOMBMSD[sourhi>>26]; \ |
| 489 dpd2bcd8(bcd+1, sourhi>>10); \ |
| 490 dpd2bcd83(bcd+4, sourhi);} |
| 491 #define GETWCOEFF(df, bcd) { \ |
| 492 uInt sourhi=DFWWORD(df, 0); \ |
| 493 uInt sourlo=DFWWORD(df, 1); \ |
| 494 *(bcd)=(uByte)DECCOMBMSD[sourhi>>26]; \ |
| 495 dpd2bcd8(bcd+1, sourhi>>8); \ |
| 496 dpd2bcd8(bcd+4, (sourhi<<2) | (sourlo>>30)); \ |
| 497 dpd2bcd8(bcd+7, sourlo>>20); \ |
| 498 dpd2bcd8(bcd+10, sourlo>>10); \ |
| 499 dpd2bcd83(bcd+13, sourlo);} |
| 500 |
| 501 #elif DECPMAX==16 |
| 502 #define GETCOEFF(df, bcd) { \ |
| 503 uInt sourhi=DFWORD(df, 0); \ |
| 504 uInt sourlo=DFWORD(df, 1); \ |
| 505 *(bcd)=(uByte)DECCOMBMSD[sourhi>>26]; \ |
| 506 dpd2bcd8(bcd+1, sourhi>>8); \ |
| 507 dpd2bcd8(bcd+4, (sourhi<<2) | (sourlo>>30)); \ |
| 508 dpd2bcd8(bcd+7, sourlo>>20); \ |
| 509 dpd2bcd8(bcd+10, sourlo>>10); \ |
| 510 dpd2bcd83(bcd+13, sourlo);} |
| 511 #define GETWCOEFF(df, bcd) { \ |
| 512 uInt sourhi=DFWWORD(df, 0); \ |
| 513 uInt sourmh=DFWWORD(df, 1); \ |
| 514 uInt sourml=DFWWORD(df, 2); \ |
| 515 uInt sourlo=DFWWORD(df, 3); \ |
| 516 *(bcd)=(uByte)DECCOMBMSD[sourhi>>26]; \ |
| 517 dpd2bcd8(bcd+1, sourhi>>4); \ |
| 518 dpd2bcd8(bcd+4, ((sourhi)<<6) | (sourmh>>26)); \ |
| 519 dpd2bcd8(bcd+7, sourmh>>16); \ |
| 520 dpd2bcd8(bcd+10, sourmh>>6); \ |
| 521 dpd2bcd8(bcd+13, ((sourmh)<<4) | (sourml>>28)); \ |
| 522 dpd2bcd8(bcd+16, sourml>>18); \ |
| 523 dpd2bcd8(bcd+19, sourml>>8); \ |
| 524 dpd2bcd8(bcd+22, ((sourml)<<2) | (sourlo>>30)); \ |
| 525 dpd2bcd8(bcd+25, sourlo>>20); \ |
| 526 dpd2bcd8(bcd+28, sourlo>>10); \ |
| 527 dpd2bcd83(bcd+31, sourlo);} |
| 528 |
| 529 #elif DECPMAX==34 |
| 530 #define GETCOEFF(df, bcd) { \ |
| 531 uInt sourhi=DFWORD(df, 0); \ |
| 532 uInt sourmh=DFWORD(df, 1); \ |
| 533 uInt sourml=DFWORD(df, 2); \ |
| 534 uInt sourlo=DFWORD(df, 3); \ |
| 535 *(bcd)=(uByte)DECCOMBMSD[sourhi>>26]; \ |
| 536 dpd2bcd8(bcd+1, sourhi>>4); \ |
| 537 dpd2bcd8(bcd+4, ((sourhi)<<6) | (sourmh>>26)); \ |
| 538 dpd2bcd8(bcd+7, sourmh>>16); \ |
| 539 dpd2bcd8(bcd+10, sourmh>>6); \ |
| 540 dpd2bcd8(bcd+13, ((sourmh)<<4) | (sourml>>28)); \ |
| 541 dpd2bcd8(bcd+16, sourml>>18); \ |
| 542 dpd2bcd8(bcd+19, sourml>>8); \ |
| 543 dpd2bcd8(bcd+22, ((sourml)<<2) | (sourlo>>30)); \ |
| 544 dpd2bcd8(bcd+25, sourlo>>20); \ |
| 545 dpd2bcd8(bcd+28, sourlo>>10); \ |
| 546 dpd2bcd83(bcd+31, sourlo);} |
| 547 |
| 548 #define GETWCOEFF(df, bcd) {??} /* [should never be used] */ |
| 549 #endif |
| 550 |
| 551 /* Macros to decode the coefficient in a finite decFloat *df into */ |
| 552 /* a base-billion uInt array, with the least-significant */ |
| 553 /* 0-999999999 'digit' at offset 0. */ |
| 554 |
| 555 /* Decode the declets. After extracting each one, it is decoded */ |
| 556 /* to binary using a table lookup. Three tables are used; one */ |
| 557 /* the usual DPD to binary, the other two pre-multiplied by 1000 */ |
| 558 /* and 1000000 to avoid multiplication during decode. These */ |
| 559 /* tables can also be used for multiplying up the MSD as the DPD */ |
| 560 /* code for 0 through 9 is the identity. */ |
| 561 #define DPD2BIN0 DPD2BIN /* for prettier code */ |
| 562 |
| 563 #if DECPMAX==7 |
| 564 #define GETCOEFFBILL(df, buf) { \ |
| 565 uInt sourhi=DFWORD(df, 0); \ |
| 566 (buf)[0]=DPD2BIN0[sourhi&0x3ff] \ |
| 567 +DPD2BINK[(sourhi>>10)&0x3ff] \ |
| 568 +DPD2BINM[DECCOMBMSD[sourhi>>26]];} |
| 569 |
| 570 #elif DECPMAX==16 |
| 571 #define GETCOEFFBILL(df, buf) { \ |
| 572 uInt sourhi, sourlo; \ |
| 573 sourlo=DFWORD(df, 1); \ |
| 574 (buf)[0]=DPD2BIN0[sourlo&0x3ff] \ |
| 575 +DPD2BINK[(sourlo>>10)&0x3ff] \ |
| 576 +DPD2BINM[(sourlo>>20)&0x3ff]; \ |
| 577 sourhi=DFWORD(df, 0); \ |
| 578 (buf)[1]=DPD2BIN0[((sourhi<<2) | (sourlo>>30))&0x3ff] \ |
| 579 +DPD2BINK[(sourhi>>8)&0x3ff] \ |
| 580 +DPD2BINM[DECCOMBMSD[sourhi>>26]];} |
| 581 |
| 582 #elif DECPMAX==34 |
| 583 #define GETCOEFFBILL(df, buf) { \ |
| 584 uInt sourhi, sourmh, sourml, sourlo; \ |
| 585 sourlo=DFWORD(df, 3); \ |
| 586 (buf)[0]=DPD2BIN0[sourlo&0x3ff] \ |
| 587 +DPD2BINK[(sourlo>>10)&0x3ff] \ |
| 588 +DPD2BINM[(sourlo>>20)&0x3ff]; \ |
| 589 sourml=DFWORD(df, 2); \ |
| 590 (buf)[1]=DPD2BIN0[((sourml<<2) | (sourlo>>30))&0x3ff] \ |
| 591 +DPD2BINK[(sourml>>8)&0x3ff] \ |
| 592 +DPD2BINM[(sourml>>18)&0x3ff]; \ |
| 593 sourmh=DFWORD(df, 1); \ |
| 594 (buf)[2]=DPD2BIN0[((sourmh<<4) | (sourml>>28))&0x3ff] \ |
| 595 +DPD2BINK[(sourmh>>6)&0x3ff] \ |
| 596 +DPD2BINM[(sourmh>>16)&0x3ff]; \ |
| 597 sourhi=DFWORD(df, 0); \ |
| 598 (buf)[3]=DPD2BIN0[((sourhi<<6) | (sourmh>>26))&0x3ff] \ |
| 599 +DPD2BINK[(sourhi>>4)&0x3ff] \ |
| 600 +DPD2BINM[DECCOMBMSD[sourhi>>26]];} |
| 601 |
| 602 #endif |
| 603 |
| 604 /* Macros to decode the coefficient in a finite decFloat *df into */ |
| 605 /* a base-thousand uInt array (of size DECLETS+1, to allow for */ |
| 606 /* the MSD), with the least-significant 0-999 'digit' at offset 0.*/ |
| 607 |
| 608 /* Decode the declets. After extracting each one, it is decoded */ |
| 609 /* to binary using a table lookup. */ |
| 610 #if DECPMAX==7 |
| 611 #define GETCOEFFTHOU(df, buf) { \ |
| 612 uInt sourhi=DFWORD(df, 0); \ |
| 613 (buf)[0]=DPD2BIN[sourhi&0x3ff]; \ |
| 614 (buf)[1]=DPD2BIN[(sourhi>>10)&0x3ff]; \ |
| 615 (buf)[2]=DECCOMBMSD[sourhi>>26];} |
| 616 |
| 617 #elif DECPMAX==16 |
| 618 #define GETCOEFFTHOU(df, buf) { \ |
| 619 uInt sourhi, sourlo; \ |
| 620 sourlo=DFWORD(df, 1); \ |
| 621 (buf)[0]=DPD2BIN[sourlo&0x3ff]; \ |
| 622 (buf)[1]=DPD2BIN[(sourlo>>10)&0x3ff]; \ |
| 623 (buf)[2]=DPD2BIN[(sourlo>>20)&0x3ff]; \ |
| 624 sourhi=DFWORD(df, 0); \ |
| 625 (buf)[3]=DPD2BIN[((sourhi<<2) | (sourlo>>30))&0x3ff]; \ |
| 626 (buf)[4]=DPD2BIN[(sourhi>>8)&0x3ff]; \ |
| 627 (buf)[5]=DECCOMBMSD[sourhi>>26];} |
| 628 |
| 629 #elif DECPMAX==34 |
| 630 #define GETCOEFFTHOU(df, buf) { \ |
| 631 uInt sourhi, sourmh, sourml, sourlo; \ |
| 632 sourlo=DFWORD(df, 3); \ |
| 633 (buf)[0]=DPD2BIN[sourlo&0x3ff]; \ |
| 634 (buf)[1]=DPD2BIN[(sourlo>>10)&0x3ff]; \ |
| 635 (buf)[2]=DPD2BIN[(sourlo>>20)&0x3ff]; \ |
| 636 sourml=DFWORD(df, 2); \ |
| 637 (buf)[3]=DPD2BIN[((sourml<<2) | (sourlo>>30))&0x3ff]; \ |
| 638 (buf)[4]=DPD2BIN[(sourml>>8)&0x3ff]; \ |
| 639 (buf)[5]=DPD2BIN[(sourml>>18)&0x3ff]; \ |
| 640 sourmh=DFWORD(df, 1); \ |
| 641 (buf)[6]=DPD2BIN[((sourmh<<4) | (sourml>>28))&0x3ff]; \ |
| 642 (buf)[7]=DPD2BIN[(sourmh>>6)&0x3ff]; \ |
| 643 (buf)[8]=DPD2BIN[(sourmh>>16)&0x3ff]; \ |
| 644 sourhi=DFWORD(df, 0); \ |
| 645 (buf)[9]=DPD2BIN[((sourhi<<6) | (sourmh>>26))&0x3ff]; \ |
| 646 (buf)[10]=DPD2BIN[(sourhi>>4)&0x3ff]; \ |
| 647 (buf)[11]=DECCOMBMSD[sourhi>>26];} |
| 648 #endif |
| 649 |
| 650 |
| 651 /* Macros to decode the coefficient in a finite decFloat *df and */ |
| 652 /* add to a base-thousand uInt array (as for GETCOEFFTHOU). */ |
| 653 /* After the addition then most significant 'digit' in the array */ |
| 654 /* might have a value larger then 10 (with a maximum of 19). */ |
| 655 #if DECPMAX==7 |
| 656 #define ADDCOEFFTHOU(df, buf) { \ |
| 657 uInt sourhi=DFWORD(df, 0); \ |
| 658 (buf)[0]+=DPD2BIN[sourhi&0x3ff]; \ |
| 659 if (buf[0]>999) {buf[0]-=1000; buf[1]++;} \ |
| 660 (buf)[1]+=DPD2BIN[(sourhi>>10)&0x3ff]; \ |
| 661 if (buf[1]>999) {buf[1]-=1000; buf[2]++;} \ |
| 662 (buf)[2]+=DECCOMBMSD[sourhi>>26];} |
| 663 |
| 664 #elif DECPMAX==16 |
| 665 #define ADDCOEFFTHOU(df, buf) { \ |
| 666 uInt sourhi, sourlo; \ |
| 667 sourlo=DFWORD(df, 1); \ |
| 668 (buf)[0]+=DPD2BIN[sourlo&0x3ff]; \ |
| 669 if (buf[0]>999) {buf[0]-=1000; buf[1]++;} \ |
| 670 (buf)[1]+=DPD2BIN[(sourlo>>10)&0x3ff]; \ |
| 671 if (buf[1]>999) {buf[1]-=1000; buf[2]++;} \ |
| 672 (buf)[2]+=DPD2BIN[(sourlo>>20)&0x3ff]; \ |
| 673 if (buf[2]>999) {buf[2]-=1000; buf[3]++;} \ |
| 674 sourhi=DFWORD(df, 0); \ |
| 675 (buf)[3]+=DPD2BIN[((sourhi<<2) | (sourlo>>30))&0x3ff]; \ |
| 676 if (buf[3]>999) {buf[3]-=1000; buf[4]++;} \ |
| 677 (buf)[4]+=DPD2BIN[(sourhi>>8)&0x3ff]; \ |
| 678 if (buf[4]>999) {buf[4]-=1000; buf[5]++;} \ |
| 679 (buf)[5]+=DECCOMBMSD[sourhi>>26];} |
| 680 |
| 681 #elif DECPMAX==34 |
| 682 #define ADDCOEFFTHOU(df, buf) { \ |
| 683 uInt sourhi, sourmh, sourml, sourlo; \ |
| 684 sourlo=DFWORD(df, 3); \ |
| 685 (buf)[0]+=DPD2BIN[sourlo&0x3ff]; \ |
| 686 if (buf[0]>999) {buf[0]-=1000; buf[1]++;} \ |
| 687 (buf)[1]+=DPD2BIN[(sourlo>>10)&0x3ff]; \ |
| 688 if (buf[1]>999) {buf[1]-=1000; buf[2]++;} \ |
| 689 (buf)[2]+=DPD2BIN[(sourlo>>20)&0x3ff]; \ |
| 690 if (buf[2]>999) {buf[2]-=1000; buf[3]++;} \ |
| 691 sourml=DFWORD(df, 2); \ |
| 692 (buf)[3]+=DPD2BIN[((sourml<<2) | (sourlo>>30))&0x3ff]; \ |
| 693 if (buf[3]>999) {buf[3]-=1000; buf[4]++;} \ |
| 694 (buf)[4]+=DPD2BIN[(sourml>>8)&0x3ff]; \ |
| 695 if (buf[4]>999) {buf[4]-=1000; buf[5]++;} \ |
| 696 (buf)[5]+=DPD2BIN[(sourml>>18)&0x3ff]; \ |
| 697 if (buf[5]>999) {buf[5]-=1000; buf[6]++;} \ |
| 698 sourmh=DFWORD(df, 1); \ |
| 699 (buf)[6]+=DPD2BIN[((sourmh<<4) | (sourml>>28))&0x3ff]; \ |
| 700 if (buf[6]>999) {buf[6]-=1000; buf[7]++;} \ |
| 701 (buf)[7]+=DPD2BIN[(sourmh>>6)&0x3ff]; \ |
| 702 if (buf[7]>999) {buf[7]-=1000; buf[8]++;} \ |
| 703 (buf)[8]+=DPD2BIN[(sourmh>>16)&0x3ff]; \ |
| 704 if (buf[8]>999) {buf[8]-=1000; buf[9]++;} \ |
| 705 sourhi=DFWORD(df, 0); \ |
| 706 (buf)[9]+=DPD2BIN[((sourhi<<6) | (sourmh>>26))&0x3ff]; \ |
| 707 if (buf[9]>999) {buf[9]-=1000; buf[10]++;} \ |
| 708 (buf)[10]+=DPD2BIN[(sourhi>>4)&0x3ff]; \ |
| 709 if (buf[10]>999) {buf[10]-=1000; buf[11]++;} \ |
| 710 (buf)[11]+=DECCOMBMSD[sourhi>>26];} |
| 711 #endif |
| 712 |
| 713 |
| 714 /* Set a decFloat to the maximum positive finite number (Nmax) */ |
| 715 #if DECPMAX==7 |
| 716 #define DFSETNMAX(df) \ |
| 717 {DFWORD(df, 0)=0x77f3fcff;} |
| 718 #elif DECPMAX==16 |
| 719 #define DFSETNMAX(df) \ |
| 720 {DFWORD(df, 0)=0x77fcff3f; \ |
| 721 DFWORD(df, 1)=0xcff3fcff;} |
| 722 #elif DECPMAX==34 |
| 723 #define DFSETNMAX(df) \ |
| 724 {DFWORD(df, 0)=0x77ffcff3; \ |
| 725 DFWORD(df, 1)=0xfcff3fcf; \ |
| 726 DFWORD(df, 2)=0xf3fcff3f; \ |
| 727 DFWORD(df, 3)=0xcff3fcff;} |
| 728 #endif |
| 729 |
| 730 /* [end of format-dependent macros and constants] */ |
| 731 #endif |
| 732 |
| 733 #else |
| 734 #error decNumberLocal included more than once |
| 735 #endif |
OLD | NEW |