386 lines
17 KiB
Plaintext
386 lines
17 KiB
Plaintext
|
------------------------------------------------------------------------
|
||
|
|
-- 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
|
||
|
|
|