| ------------------------------------------------------------------------ |
| -- decimal32.decTest -- decimal four-byte format testcases -- |
| -- Copyright (c) IBM Corporation, 2000, 2003. All rights reserved. -- |
| ------------------------------------------------------------------------ |
| -- Please see the document "General Decimal Arithmetic Testcases" -- |
| -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| -- these testcases. -- |
| -- -- |
| -- These testcases are experimental ('beta' versions), and they -- |
| -- may contain errors. They are offered on an as-is basis. In -- |
| -- particular, achieving the same results as the tests here is not -- |
| -- a guarantee that an implementation complies with any Standard -- |
| -- or specification. The tests are not exhaustive. -- |
| -- -- |
| -- Please send comments, suggestions, and corrections to the author: -- |
| -- Mike Cowlishaw, IBM Fellow -- |
| -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| -- mfc@uk.ibm.com -- |
| ------------------------------------------------------------------------ |
| version: 2.39 |
| |
| -- This set of tests is for the four-byte concrete representation. |
| -- Its characteristics are: |
| -- |
| -- 1 bit sign |
| -- 5 bits combination field |
| -- 6 bits exponent continuation |
| -- 20 bits coefficient continuation |
| -- |
| -- Total exponent length 8 bits |
| -- Total coefficient length 24 bits (7 digits) |
| -- |
| -- Elimit = 191 (maximum encoded exponent) |
| -- Emax = 96 (largest exponent value) |
| -- Emin = -95 (smallest exponent value) |
| -- bias = 101 (subtracted from encoded exponent) = -Etiny |
| |
| extended: 1 |
| precision: 7 |
| rounding: half_up |
| maxExponent: 96 |
| minExponent: -95 |
| |
| -- General testcases |
| -- (mostly derived from the Strawman 4 document and examples) |
| decd001 apply #A23003D0 -> -7.50 |
| decd002 apply -7.50 -> #A23003D0 |
| |
| -- Normality |
| decd010 apply 1234567 -> #2654d2e7 |
| decd011 apply 1234567.0 -> #2654d2e7 Rounded |
| decd012 apply 1234567.1 -> #2654d2e7 Rounded Inexact |
| decd013 apply -1234567 -> #a654d2e7 |
| decd014 apply -1234567.0 -> #a654d2e7 Rounded |
| decd015 apply -1234567.1 -> #a654d2e7 Rounded Inexact |
| |
| |
| -- Nmax and similar |
| decd022 apply 9.999999E+96 -> #77f3fcff |
| decd023 apply #77f3fcff -> 9.999999E+96 |
| decd024 apply 1.234567E+96 -> #47f4d2e7 |
| decd025 apply #47f4d2e7 -> 1.234567E+96 |
| -- fold-downs (more below) |
| decd030 apply 1.23E+96 -> #47f4c000 Clamped |
| decd031 apply #47f4c000 -> 1.230000E+96 |
| decd032 apply 1E+96 -> #47f00000 Clamped |
| decd033 apply #47f00000 -> 1.000000E+96 |
| |
| -- overflows |
| maxExponent: 999 -- set high so conversion causes the overflow |
| minExponent: -999 |
| decd040 apply 10E+96 -> #78000000 Overflow Rounded Inexact |
| decd041 apply 1.000000E+97 -> #78000000 Overflow Rounded Inexact |
| maxExponent: 96 |
| minExponent: -95 |
| |
| decd051 apply 12345 -> #225049c5 |
| decd052 apply #225049c5 -> 12345 |
| decd053 apply 1234 -> #22500534 |
| decd054 apply #22500534 -> 1234 |
| decd055 apply 123 -> #225000a3 |
| decd056 apply #225000a3 -> 123 |
| decd057 apply 12 -> #22500012 |
| decd058 apply #22500012 -> 12 |
| decd059 apply 1 -> #22500001 |
| decd060 apply #22500001 -> 1 |
| decd061 apply 1.23 -> #223000a3 |
| decd062 apply #223000a3 -> 1.23 |
| decd063 apply 123.45 -> #223049c5 |
| decd064 apply #223049c5 -> 123.45 |
| |
| -- Nmin and below |
| decd071 apply 1E-95 -> #00600001 |
| decd072 apply #00600001 -> 1E-95 |
| decd073 apply 1.000000E-95 -> #04000000 |
| decd074 apply #04000000 -> 1.000000E-95 |
| decd075 apply 1.000001E-95 -> #04000001 |
| decd076 apply #04000001 -> 1.000001E-95 |
| |
| decd077 apply 0.100000E-95 -> #00020000 Subnormal |
| decd07x apply 1.00000E-96 -> 1.00000E-96 Subnormal |
| decd078 apply #00020000 -> 1.00000E-96 Subnormal |
| decd079 apply 0.000010E-95 -> #00000010 Subnormal |
| decd080 apply #00000010 -> 1.0E-100 Subnormal |
| decd081 apply 0.000001E-95 -> #00000001 Subnormal |
| decd082 apply #00000001 -> 1E-101 Subnormal |
| decd083 apply 1e-101 -> #00000001 Subnormal |
| decd084 apply #00000001 -> 1E-101 Subnormal |
| decd08x apply 1e-101 -> 1E-101 Subnormal |
| |
| -- underflows |
| decd090 apply 1e-101 -> #00000001 Subnormal |
| decd091 apply 1.9e-101 -> #00000002 Subnormal Underflow Inexact Rounded |
| decd092 apply 1.1e-101 -> #00000001 Subnormal Underflow Inexact Rounded |
| decd093 apply 1.001e-101 -> #00000001 Subnormal Underflow Inexact Rounded |
| decd094 apply 1.000001e-101 -> #00000001 Subnormal Underflow Inexact Rounded |
| decd095 apply 1.0000001e-101 -> #00000001 Subnormal Underflow Inexact Rounded |
| decd096 apply 0.1e-101 -> #00000000 Subnormal Underflow Inexact Rounded |
| decd097 apply 0.001e-101 -> #00000000 Subnormal Underflow Inexact Rounded |
| decd098 apply 0.000001e-101 -> #00000000 Subnormal Underflow Inexact Rounded |
| decd099 apply 0.0000001e-101 -> #00000000 Subnormal Underflow Inexact Rounded |
| |
| -- same again, negatives -- |
| |
| -- Nmax and similar |
| decd122 apply -9.999999E+96 -> #f7f3fcff |
| decd123 apply #f7f3fcff -> -9.999999E+96 |
| decd124 apply -1.234567E+96 -> #c7f4d2e7 |
| decd125 apply #c7f4d2e7 -> -1.234567E+96 |
| -- fold-downs (more below) |
| decd130 apply -1.23E+96 -> #c7f4c000 Clamped |
| decd131 apply #c7f4c000 -> -1.230000E+96 |
| decd132 apply -1E+96 -> #c7f00000 Clamped |
| decd133 apply #c7f00000 -> -1.000000E+96 |
| |
| -- overflows |
| maxExponent: 999 -- set high so conversion causes the overflow |
| minExponent: -999 |
| decd140 apply -10E+96 -> #f8000000 Overflow Rounded Inexact |
| decd141 apply -1.000000E+97 -> #f8000000 Overflow Rounded Inexact |
| maxExponent: 96 |
| minExponent: -95 |
| |
| decd151 apply -12345 -> #a25049c5 |
| decd152 apply #a25049c5 -> -12345 |
| decd153 apply -1234 -> #a2500534 |
| decd154 apply #a2500534 -> -1234 |
| decd155 apply -123 -> #a25000a3 |
| decd156 apply #a25000a3 -> -123 |
| decd157 apply -12 -> #a2500012 |
| decd158 apply #a2500012 -> -12 |
| decd159 apply -1 -> #a2500001 |
| decd160 apply #a2500001 -> -1 |
| decd161 apply -1.23 -> #a23000a3 |
| decd162 apply #a23000a3 -> -1.23 |
| decd163 apply -123.45 -> #a23049c5 |
| decd164 apply #a23049c5 -> -123.45 |
| |
| -- Nmin and below |
| decd171 apply -1E-95 -> #80600001 |
| decd172 apply #80600001 -> -1E-95 |
| decd173 apply -1.000000E-95 -> #84000000 |
| decd174 apply #84000000 -> -1.000000E-95 |
| decd175 apply -1.000001E-95 -> #84000001 |
| decd176 apply #84000001 -> -1.000001E-95 |
| |
| decd177 apply -0.100000E-95 -> #80020000 Subnormal |
| decd178 apply #80020000 -> -1.00000E-96 Subnormal |
| decd179 apply -0.000010E-95 -> #80000010 Subnormal |
| decd180 apply #80000010 -> -1.0E-100 Subnormal |
| decd181 apply -0.000001E-95 -> #80000001 Subnormal |
| decd182 apply #80000001 -> -1E-101 Subnormal |
| decd183 apply -1e-101 -> #80000001 Subnormal |
| decd184 apply #80000001 -> -1E-101 Subnormal |
| |
| -- underflows |
| decd190 apply -1e-101 -> #80000001 Subnormal |
| decd191 apply -1.9e-101 -> #80000002 Subnormal Underflow Inexact Rounded |
| decd192 apply -1.1e-101 -> #80000001 Subnormal Underflow Inexact Rounded |
| decd193 apply -1.001e-101 -> #80000001 Subnormal Underflow Inexact Rounded |
| decd194 apply -1.000001e-101 -> #80000001 Subnormal Underflow Inexact Rounded |
| decd195 apply -1.0000001e-101 -> #80000001 Subnormal Underflow Inexact Rounded |
| decd196 apply -0.1e-101 -> #80000000 Subnormal Underflow Inexact Rounded |
| decd197 apply -0.001e-101 -> #80000000 Subnormal Underflow Inexact Rounded |
| decd198 apply -0.000001e-101 -> #80000000 Subnormal Underflow Inexact Rounded |
| decd199 apply -0.0000001e-101 -> #80000000 Subnormal Underflow Inexact Rounded |
| |
| -- zeros |
| decd400 apply 0E-400 -> #00000000 Clamped |
| decd401 apply 0E-101 -> #00000000 |
| decd402 apply #00000000 -> 0E-101 |
| decd403 apply 0.000000E-95 -> #00000000 |
| decd404 apply #00000000 -> 0E-101 |
| decd405 apply 0E-2 -> #22300000 |
| decd406 apply #22300000 -> 0.00 |
| decd407 apply 0 -> #22500000 |
| decd408 apply #22500000 -> 0 |
| decd409 apply 0E+3 -> #22800000 |
| decd410 apply #22800000 -> 0E+3 |
| decd411 apply 0E+90 -> #43f00000 |
| decd412 apply #43f00000 -> 0E+90 |
| -- clamped zeros... |
| decd413 apply 0E+91 -> #43f00000 Clamped |
| decd414 apply #43f00000 -> 0E+90 |
| decd415 apply 0E+96 -> #43f00000 Clamped |
| decd416 apply #43f00000 -> 0E+90 |
| decd417 apply 0E+400 -> #43f00000 Clamped |
| decd418 apply #43f00000 -> 0E+90 |
| |
| -- negative zeros |
| decd420 apply -0E-400 -> #80000000 Clamped |
| decd421 apply -0E-101 -> #80000000 |
| decd422 apply #80000000 -> -0E-101 |
| decd423 apply -0.000000E-95 -> #80000000 |
| decd424 apply #80000000 -> -0E-101 |
| decd425 apply -0E-2 -> #a2300000 |
| decd426 apply #a2300000 -> -0.00 |
| decd427 apply -0 -> #a2500000 |
| decd428 apply #a2500000 -> -0 |
| decd429 apply -0E+3 -> #a2800000 |
| decd430 apply #a2800000 -> -0E+3 |
| decd431 apply -0E+90 -> #c3f00000 |
| decd432 apply #c3f00000 -> -0E+90 |
| -- clamped zeros... |
| decd433 apply -0E+91 -> #c3f00000 Clamped |
| decd434 apply #c3f00000 -> -0E+90 |
| decd435 apply -0E+96 -> #c3f00000 Clamped |
| decd436 apply #c3f00000 -> -0E+90 |
| decd437 apply -0E+400 -> #c3f00000 Clamped |
| decd438 apply #c3f00000 -> -0E+90 |
| |
| -- Specials |
| decd500 apply Infinity -> #78000000 |
| decd501 apply #78787878 -> #78000000 |
| decd502 apply #78000000 -> Infinity |
| decd503 apply #79797979 -> #78000000 |
| decd504 apply #79000000 -> Infinity |
| decd505 apply #7a7a7a7a -> #78000000 |
| decd506 apply #7a000000 -> Infinity |
| decd507 apply #7b7b7b7b -> #78000000 |
| decd508 apply #7b000000 -> Infinity |
| decd509 apply #7c7c7c7c -> #7c0c7c7c |
| |
| decd510 apply NaN -> #7c000000 |
| decd511 apply #7c000000 -> NaN |
| decd512 apply #7d7d7d7d -> #7c0d7d7d |
| decd513 apply #7d000000 -> NaN |
| decd514 apply #7e7e7e7e -> #7e0e7c7e |
| decd515 apply #7e000000 -> sNaN |
| decd516 apply #7f7f7f7f -> #7e0f7c7f |
| decd517 apply #7f000000 -> sNaN |
| decd518 apply #7fffffff -> sNaN999999 |
| decd519 apply #7fffffff -> #7e03fcff |
| |
| decd520 apply -Infinity -> #f8000000 |
| decd521 apply #f8787878 -> #f8000000 |
| decd522 apply #f8000000 -> -Infinity |
| decd523 apply #f9797979 -> #f8000000 |
| decd524 apply #f9000000 -> -Infinity |
| decd525 apply #fa7a7a7a -> #f8000000 |
| decd526 apply #fa000000 -> -Infinity |
| decd527 apply #fb7b7b7b -> #f8000000 |
| decd528 apply #fb000000 -> -Infinity |
| |
| decd529 apply -NaN -> #fc000000 |
| decd530 apply #fc7c7c7c -> #fc0c7c7c |
| decd531 apply #fc000000 -> -NaN |
| decd532 apply #fd7d7d7d -> #fc0d7d7d |
| decd533 apply #fd000000 -> -NaN |
| decd534 apply #fe7e7e7e -> #fe0e7c7e |
| decd535 apply #fe000000 -> -sNaN |
| decd536 apply #ff7f7f7f -> #fe0f7c7f |
| decd537 apply #ff000000 -> -sNaN |
| decd538 apply #ffffffff -> -sNaN999999 |
| decd539 apply #ffffffff -> #fe03fcff |
| |
| -- diagnostic NaNs |
| decd540 apply NaN -> #7c000000 |
| decd541 apply NaN0 -> #7c000000 |
| decd542 apply NaN1 -> #7c000001 |
| decd543 apply NaN12 -> #7c000012 |
| decd544 apply NaN79 -> #7c000079 |
| decd545 apply NaN12345 -> #7c0049c5 |
| decd546 apply NaN123456 -> #7c028e56 |
| decd547 apply NaN799799 -> #7c0f7fdf |
| decd548 apply NaN999999 -> #7c03fcff |
| decd549 apply NaN1234567 -> #7c000000 -- too many digits |
| |
| |
| -- fold-down full sequence |
| decd601 apply 1E+96 -> #47f00000 Clamped |
| decd602 apply #47f00000 -> 1.000000E+96 |
| decd603 apply 1E+95 -> #43f20000 Clamped |
| decd604 apply #43f20000 -> 1.00000E+95 |
| decd605 apply 1E+94 -> #43f04000 Clamped |
| decd606 apply #43f04000 -> 1.0000E+94 |
| decd607 apply 1E+93 -> #43f00400 Clamped |
| decd608 apply #43f00400 -> 1.000E+93 |
| decd609 apply 1E+92 -> #43f00080 Clamped |
| decd610 apply #43f00080 -> 1.00E+92 |
| decd611 apply 1E+91 -> #43f00010 Clamped |
| decd612 apply #43f00010 -> 1.0E+91 |
| decd613 apply 1E+90 -> #43f00001 |
| decd614 apply #43f00001 -> 1E+90 |
| |
| |
| -- Selected DPD codes |
| decd700 apply #22500000 -> 0 |
| decd701 apply #22500009 -> 9 |
| decd702 apply #22500010 -> 10 |
| decd703 apply #22500019 -> 19 |
| decd704 apply #22500020 -> 20 |
| decd705 apply #22500029 -> 29 |
| decd706 apply #22500030 -> 30 |
| decd707 apply #22500039 -> 39 |
| decd708 apply #22500040 -> 40 |
| decd709 apply #22500049 -> 49 |
| decd710 apply #22500050 -> 50 |
| decd711 apply #22500059 -> 59 |
| decd712 apply #22500060 -> 60 |
| decd713 apply #22500069 -> 69 |
| decd714 apply #22500070 -> 70 |
| decd715 apply #22500071 -> 71 |
| decd716 apply #22500072 -> 72 |
| decd717 apply #22500073 -> 73 |
| decd718 apply #22500074 -> 74 |
| decd719 apply #22500075 -> 75 |
| decd720 apply #22500076 -> 76 |
| decd721 apply #22500077 -> 77 |
| decd722 apply #22500078 -> 78 |
| decd723 apply #22500079 -> 79 |
| |
| decd730 apply #2250029e -> 994 |
| decd731 apply #2250029f -> 995 |
| decd732 apply #225002a0 -> 520 |
| decd733 apply #225002a1 -> 521 |
| |
| -- DPD: one of each of the huffman groups |
| decd740 apply #225003f7 -> 777 |
| decd741 apply #225003f8 -> 778 |
| decd742 apply #225003eb -> 787 |
| decd743 apply #2250037d -> 877 |
| decd744 apply #2250039f -> 997 |
| decd745 apply #225003bf -> 979 |
| decd746 apply #225003df -> 799 |
| decd747 apply #2250006e -> 888 |
| |
| |
| -- DPD all-highs cases (includes the 24 redundant codes) |
| decd750 apply #2250006e -> 888 |
| decd751 apply #2250016e -> 888 |
| decd752 apply #2250026e -> 888 |
| decd753 apply #2250036e -> 888 |
| decd754 apply #2250006f -> 889 |
| decd755 apply #2250016f -> 889 |
| decd756 apply #2250026f -> 889 |
| decd757 apply #2250036f -> 889 |
| |
| decd760 apply #2250007e -> 898 |
| decd761 apply #2250017e -> 898 |
| decd762 apply #2250027e -> 898 |
| decd763 apply #2250037e -> 898 |
| decd764 apply #2250007f -> 899 |
| decd765 apply #2250017f -> 899 |
| decd766 apply #2250027f -> 899 |
| decd767 apply #2250037f -> 899 |
| |
| decd770 apply #225000ee -> 988 |
| decd771 apply #225001ee -> 988 |
| decd772 apply #225002ee -> 988 |
| decd773 apply #225003ee -> 988 |
| decd774 apply #225000ef -> 989 |
| decd775 apply #225001ef -> 989 |
| decd776 apply #225002ef -> 989 |
| decd777 apply #225003ef -> 989 |
| |
| decd780 apply #225000fe -> 998 |
| decd781 apply #225001fe -> 998 |
| decd782 apply #225002fe -> 998 |
| decd783 apply #225003fe -> 998 |
| decd784 apply #225000ff -> 999 |
| decd785 apply #225001ff -> 999 |
| decd786 apply #225002ff -> 999 |
| decd787 apply #225003ff -> 999 |
| |