1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
|
------------------------------------------------------------------------
-- dsEncode.decTest -- decimal four-byte format testcases --
-- Copyright (c) IBM Corporation, 2000, 2008. 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 --
------------------------------------------------------------------------
-- [Previously called decimal32.decTest]
version: 2.59
-- 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
-- The testcases here have only exactly representable data on the
-- 'left-hand-side'; rounding from strings is tested in 'base'
-- testcase groups.
extended: 1
clamp: 1
precision: 7
rounding: half_up
maxExponent: 96
minExponent: -95
-- General testcases
-- (mostly derived from the Strawman 4 document and examples)
decs001 apply #A23003D0 -> -7.50
decs002 apply -7.50 -> #A23003D0
-- derivative canonical plain strings
decs003 apply #A26003D0 -> -7.50E+3
decs004 apply -7.50E+3 -> #A26003D0
decs005 apply #A25003D0 -> -750
decs006 apply -750 -> #A25003D0
decs007 apply #A24003D0 -> -75.0
decs008 apply -75.0 -> #A24003D0
decs009 apply #A22003D0 -> -0.750
decs010 apply -0.750 -> #A22003D0
decs011 apply #A21003D0 -> -0.0750
decs012 apply -0.0750 -> #A21003D0
decs013 apply #A1f003D0 -> -0.000750
decs014 apply -0.000750 -> #A1f003D0
decs015 apply #A1d003D0 -> -0.00000750
decs016 apply -0.00000750 -> #A1d003D0
decs017 apply #A1c003D0 -> -7.50E-7
decs018 apply -7.50E-7 -> #A1c003D0
-- Normality
decs020 apply 1234567 -> #2654d2e7
decs021 apply -1234567 -> #a654d2e7
decs022 apply 1111111 -> #26524491
-- Nmax and similar
decs031 apply 9.999999E+96 -> #77f3fcff
decs032 apply #77f3fcff -> 9.999999E+96
decs033 apply 1.234567E+96 -> #47f4d2e7
decs034 apply #47f4d2e7 -> 1.234567E+96
-- fold-downs (more below)
decs035 apply 1.23E+96 -> #47f4c000 Clamped
decs036 apply #47f4c000 -> 1.230000E+96
decs037 apply 1E+96 -> #47f00000 Clamped
decs038 apply #47f00000 -> 1.000000E+96
decs051 apply 12345 -> #225049c5
decs052 apply #225049c5 -> 12345
decs053 apply 1234 -> #22500534
decs054 apply #22500534 -> 1234
decs055 apply 123 -> #225000a3
decs056 apply #225000a3 -> 123
decs057 apply 12 -> #22500012
decs058 apply #22500012 -> 12
decs059 apply 1 -> #22500001
decs060 apply #22500001 -> 1
decs061 apply 1.23 -> #223000a3
decs062 apply #223000a3 -> 1.23
decs063 apply 123.45 -> #223049c5
decs064 apply #223049c5 -> 123.45
-- Nmin and below
decs071 apply 1E-95 -> #00600001
decs072 apply #00600001 -> 1E-95
decs073 apply 1.000000E-95 -> #04000000
decs074 apply #04000000 -> 1.000000E-95
decs075 apply 1.000001E-95 -> #04000001
decs076 apply #04000001 -> 1.000001E-95
decs077 apply 0.100000E-95 -> #00020000 Subnormal
decs07x apply 1.00000E-96 -> 1.00000E-96 Subnormal
decs078 apply #00020000 -> 1.00000E-96 Subnormal
decs079 apply 0.000010E-95 -> #00000010 Subnormal
decs080 apply #00000010 -> 1.0E-100 Subnormal
decs081 apply 0.000001E-95 -> #00000001 Subnormal
decs082 apply #00000001 -> 1E-101 Subnormal
decs083 apply 1e-101 -> #00000001 Subnormal
decs084 apply #00000001 -> 1E-101 Subnormal
decs08x apply 1e-101 -> 1E-101 Subnormal
-- underflows cannot be tested; just check edge case
decs090 apply 1e-101 -> #00000001 Subnormal
-- same again, negatives --
-- Nmax and similar
decs122 apply -9.999999E+96 -> #f7f3fcff
decs123 apply #f7f3fcff -> -9.999999E+96
decs124 apply -1.234567E+96 -> #c7f4d2e7
decs125 apply #c7f4d2e7 -> -1.234567E+96
-- fold-downs (more below)
decs130 apply -1.23E+96 -> #c7f4c000 Clamped
decs131 apply #c7f4c000 -> -1.230000E+96
decs132 apply -1E+96 -> #c7f00000 Clamped
decs133 apply #c7f00000 -> -1.000000E+96
decs151 apply -12345 -> #a25049c5
decs152 apply #a25049c5 -> -12345
decs153 apply -1234 -> #a2500534
decs154 apply #a2500534 -> -1234
decs155 apply -123 -> #a25000a3
decs156 apply #a25000a3 -> -123
decs157 apply -12 -> #a2500012
decs158 apply #a2500012 -> -12
decs159 apply -1 -> #a2500001
decs160 apply #a2500001 -> -1
decs161 apply -1.23 -> #a23000a3
decs162 apply #a23000a3 -> -1.23
decs163 apply -123.45 -> #a23049c5
decs164 apply #a23049c5 -> -123.45
-- Nmin and below
decs171 apply -1E-95 -> #80600001
decs172 apply #80600001 -> -1E-95
decs173 apply -1.000000E-95 -> #84000000
decs174 apply #84000000 -> -1.000000E-95
decs175 apply -1.000001E-95 -> #84000001
decs176 apply #84000001 -> -1.000001E-95
decs177 apply -0.100000E-95 -> #80020000 Subnormal
decs178 apply #80020000 -> -1.00000E-96 Subnormal
decs179 apply -0.000010E-95 -> #80000010 Subnormal
decs180 apply #80000010 -> -1.0E-100 Subnormal
decs181 apply -0.000001E-95 -> #80000001 Subnormal
decs182 apply #80000001 -> -1E-101 Subnormal
decs183 apply -1e-101 -> #80000001 Subnormal
decs184 apply #80000001 -> -1E-101 Subnormal
-- underflow edge case
decs190 apply -1e-101 -> #80000001 Subnormal
-- zeros
decs400 apply 0E-400 -> #00000000 Clamped
decs401 apply 0E-101 -> #00000000
decs402 apply #00000000 -> 0E-101
decs403 apply 0.000000E-95 -> #00000000
decs404 apply #00000000 -> 0E-101
decs405 apply 0E-2 -> #22300000
decs406 apply #22300000 -> 0.00
decs407 apply 0 -> #22500000
decs408 apply #22500000 -> 0
decs409 apply 0E+3 -> #22800000
decs410 apply #22800000 -> 0E+3
decs411 apply 0E+90 -> #43f00000
decs412 apply #43f00000 -> 0E+90
-- clamped zeros...
decs413 apply 0E+91 -> #43f00000 Clamped
decs414 apply #43f00000 -> 0E+90
decs415 apply 0E+96 -> #43f00000 Clamped
decs416 apply #43f00000 -> 0E+90
decs417 apply 0E+400 -> #43f00000 Clamped
decs418 apply #43f00000 -> 0E+90
-- negative zeros
decs420 apply -0E-400 -> #80000000 Clamped
decs421 apply -0E-101 -> #80000000
decs422 apply #80000000 -> -0E-101
decs423 apply -0.000000E-95 -> #80000000
decs424 apply #80000000 -> -0E-101
decs425 apply -0E-2 -> #a2300000
decs426 apply #a2300000 -> -0.00
decs427 apply -0 -> #a2500000
decs428 apply #a2500000 -> -0
decs429 apply -0E+3 -> #a2800000
decs430 apply #a2800000 -> -0E+3
decs431 apply -0E+90 -> #c3f00000
decs432 apply #c3f00000 -> -0E+90
-- clamped zeros...
decs433 apply -0E+91 -> #c3f00000 Clamped
decs434 apply #c3f00000 -> -0E+90
decs435 apply -0E+96 -> #c3f00000 Clamped
decs436 apply #c3f00000 -> -0E+90
decs437 apply -0E+400 -> #c3f00000 Clamped
decs438 apply #c3f00000 -> -0E+90
-- Specials
decs500 apply Infinity -> #78000000
decs501 apply #78787878 -> #78000000
decs502 apply #78000000 -> Infinity
decs503 apply #79797979 -> #78000000
decs504 apply #79000000 -> Infinity
decs505 apply #7a7a7a7a -> #78000000
decs506 apply #7a000000 -> Infinity
decs507 apply #7b7b7b7b -> #78000000
decs508 apply #7b000000 -> Infinity
decs509 apply #7c7c7c7c -> #7c0c7c7c
decs510 apply NaN -> #7c000000
decs511 apply #7c000000 -> NaN
decs512 apply #7d7d7d7d -> #7c0d7d7d
decs513 apply #7d000000 -> NaN
decs514 apply #7e7e7e7e -> #7e0e7c7e
decs515 apply #7e000000 -> sNaN
decs516 apply #7f7f7f7f -> #7e0f7c7f
decs517 apply #7f000000 -> sNaN
decs518 apply #7fffffff -> sNaN999999
decs519 apply #7fffffff -> #7e03fcff
decs520 apply -Infinity -> #f8000000
decs521 apply #f8787878 -> #f8000000
decs522 apply #f8000000 -> -Infinity
decs523 apply #f9797979 -> #f8000000
decs524 apply #f9000000 -> -Infinity
decs525 apply #fa7a7a7a -> #f8000000
decs526 apply #fa000000 -> -Infinity
decs527 apply #fb7b7b7b -> #f8000000
decs528 apply #fb000000 -> -Infinity
decs529 apply -NaN -> #fc000000
decs530 apply #fc7c7c7c -> #fc0c7c7c
decs531 apply #fc000000 -> -NaN
decs532 apply #fd7d7d7d -> #fc0d7d7d
decs533 apply #fd000000 -> -NaN
decs534 apply #fe7e7e7e -> #fe0e7c7e
decs535 apply #fe000000 -> -sNaN
decs536 apply #ff7f7f7f -> #fe0f7c7f
decs537 apply #ff000000 -> -sNaN
decs538 apply #ffffffff -> -sNaN999999
decs539 apply #ffffffff -> #fe03fcff
-- diagnostic NaNs
decs540 apply NaN -> #7c000000
decs541 apply NaN0 -> #7c000000
decs542 apply NaN1 -> #7c000001
decs543 apply NaN12 -> #7c000012
decs544 apply NaN79 -> #7c000079
decs545 apply NaN12345 -> #7c0049c5
decs546 apply NaN123456 -> #7c028e56
decs547 apply NaN799799 -> #7c0f7fdf
decs548 apply NaN999999 -> #7c03fcff
-- fold-down full sequence
decs601 apply 1E+96 -> #47f00000 Clamped
decs602 apply #47f00000 -> 1.000000E+96
decs603 apply 1E+95 -> #43f20000 Clamped
decs604 apply #43f20000 -> 1.00000E+95
decs605 apply 1E+94 -> #43f04000 Clamped
decs606 apply #43f04000 -> 1.0000E+94
decs607 apply 1E+93 -> #43f00400 Clamped
decs608 apply #43f00400 -> 1.000E+93
decs609 apply 1E+92 -> #43f00080 Clamped
decs610 apply #43f00080 -> 1.00E+92
decs611 apply 1E+91 -> #43f00010 Clamped
decs612 apply #43f00010 -> 1.0E+91
decs613 apply 1E+90 -> #43f00001
decs614 apply #43f00001 -> 1E+90
-- Selected DPD codes
decs700 apply #22500000 -> 0
decs701 apply #22500009 -> 9
decs702 apply #22500010 -> 10
decs703 apply #22500019 -> 19
decs704 apply #22500020 -> 20
decs705 apply #22500029 -> 29
decs706 apply #22500030 -> 30
decs707 apply #22500039 -> 39
decs708 apply #22500040 -> 40
decs709 apply #22500049 -> 49
decs710 apply #22500050 -> 50
decs711 apply #22500059 -> 59
decs712 apply #22500060 -> 60
decs713 apply #22500069 -> 69
decs714 apply #22500070 -> 70
decs715 apply #22500071 -> 71
decs716 apply #22500072 -> 72
decs717 apply #22500073 -> 73
decs718 apply #22500074 -> 74
decs719 apply #22500075 -> 75
decs720 apply #22500076 -> 76
decs721 apply #22500077 -> 77
decs722 apply #22500078 -> 78
decs723 apply #22500079 -> 79
decs730 apply #2250029e -> 994
decs731 apply #2250029f -> 995
decs732 apply #225002a0 -> 520
decs733 apply #225002a1 -> 521
-- DPD: one of each of the huffman groups
decs740 apply #225003f7 -> 777
decs741 apply #225003f8 -> 778
decs742 apply #225003eb -> 787
decs743 apply #2250037d -> 877
decs744 apply #2250039f -> 997
decs745 apply #225003bf -> 979
decs746 apply #225003df -> 799
decs747 apply #2250006e -> 888
-- DPD all-highs cases (includes the 24 redundant codes)
decs750 apply #2250006e -> 888
decs751 apply #2250016e -> 888
decs752 apply #2250026e -> 888
decs753 apply #2250036e -> 888
decs754 apply #2250006f -> 889
decs755 apply #2250016f -> 889
decs756 apply #2250026f -> 889
decs757 apply #2250036f -> 889
decs760 apply #2250007e -> 898
decs761 apply #2250017e -> 898
decs762 apply #2250027e -> 898
decs763 apply #2250037e -> 898
decs764 apply #2250007f -> 899
decs765 apply #2250017f -> 899
decs766 apply #2250027f -> 899
decs767 apply #2250037f -> 899
decs770 apply #225000ee -> 988
decs771 apply #225001ee -> 988
decs772 apply #225002ee -> 988
decs773 apply #225003ee -> 988
decs774 apply #225000ef -> 989
decs775 apply #225001ef -> 989
decs776 apply #225002ef -> 989
decs777 apply #225003ef -> 989
decs780 apply #225000fe -> 998
decs781 apply #225001fe -> 998
decs782 apply #225002fe -> 998
decs783 apply #225003fe -> 998
decs784 apply #225000ff -> 999
decs785 apply #225001ff -> 999
decs786 apply #225002ff -> 999
decs787 apply #225003ff -> 999
-- narrowing case
decs790 apply 2.00E-99 -> #00000100 Subnormal
decs791 apply #00000100 -> 2.00E-99 Subnormal
|
