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
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
|
------------------------------------------------------------------------
-- minmag.decTest -- decimal minimum by magnitude --
-- Copyright (c) IBM Corporation, 1981, 2007. 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.56
-- we assume that base comparison is tested in compare.decTest, so
-- these mainly cover special cases and rounding
extended: 1
precision: 9
rounding: half_up
maxExponent: 384
minexponent: -383
-- sanity checks
mngx001 minmag -2 -2 -> -2
mngx002 minmag -2 -1 -> -1
mngx003 minmag -2 0 -> 0
mngx004 minmag -2 1 -> 1
mngx005 minmag -2 2 -> -2
mngx006 minmag -1 -2 -> -1
mngx007 minmag -1 -1 -> -1
mngx008 minmag -1 0 -> 0
mngx009 minmag -1 1 -> -1
mngx010 minmag -1 2 -> -1
mngx011 minmag 0 -2 -> 0
mngx012 minmag 0 -1 -> 0
mngx013 minmag 0 0 -> 0
mngx014 minmag 0 1 -> 0
mngx015 minmag 0 2 -> 0
mngx016 minmag 1 -2 -> 1
mngx017 minmag 1 -1 -> -1
mngx018 minmag 1 0 -> 0
mngx019 minmag 1 1 -> 1
mngx020 minmag 1 2 -> 1
mngx021 minmag 2 -2 -> -2
mngx022 minmag 2 -1 -> -1
mngx023 minmag 2 0 -> 0
mngx025 minmag 2 1 -> 1
mngx026 minmag 2 2 -> 2
-- extended zeros
mngx030 minmag 0 0 -> 0
mngx031 minmag 0 -0 -> -0
mngx032 minmag 0 -0.0 -> -0.0
mngx033 minmag 0 0.0 -> 0.0
mngx034 minmag -0 0 -> -0
mngx035 minmag -0 -0 -> -0
mngx036 minmag -0 -0.0 -> -0
mngx037 minmag -0 0.0 -> -0
mngx038 minmag 0.0 0 -> 0.0
mngx039 minmag 0.0 -0 -> -0
mngx040 minmag 0.0 -0.0 -> -0.0
mngx041 minmag 0.0 0.0 -> 0.0
mngx042 minmag -0.0 0 -> -0.0
mngx043 minmag -0.0 -0 -> -0
mngx044 minmag -0.0 -0.0 -> -0.0
mngx045 minmag -0.0 0.0 -> -0.0
mngx046 minmag 0E1 -0E1 -> -0E+1
mngx047 minmag -0E1 0E2 -> -0E+1
mngx048 minmag 0E2 0E1 -> 0E+1
mngx049 minmag 0E1 0E2 -> 0E+1
mngx050 minmag -0E3 -0E2 -> -0E+3
mngx051 minmag -0E2 -0E3 -> -0E+3
-- Specials
precision: 9
mngx090 minmag Inf -Inf -> -Infinity
mngx091 minmag Inf -1000 -> -1000
mngx092 minmag Inf -1 -> -1
mngx093 minmag Inf -0 -> -0
mngx094 minmag Inf 0 -> 0
mngx095 minmag Inf 1 -> 1
mngx096 minmag Inf 1000 -> 1000
mngx097 minmag Inf Inf -> Infinity
mngx098 minmag -1000 Inf -> -1000
mngx099 minmag -Inf Inf -> -Infinity
mngx100 minmag -1 Inf -> -1
mngx101 minmag -0 Inf -> -0
mngx102 minmag 0 Inf -> 0
mngx103 minmag 1 Inf -> 1
mngx104 minmag 1000 Inf -> 1000
mngx105 minmag Inf Inf -> Infinity
mngx120 minmag -Inf -Inf -> -Infinity
mngx121 minmag -Inf -1000 -> -1000
mngx122 minmag -Inf -1 -> -1
mngx123 minmag -Inf -0 -> -0
mngx124 minmag -Inf 0 -> 0
mngx125 minmag -Inf 1 -> 1
mngx126 minmag -Inf 1000 -> 1000
mngx127 minmag -Inf Inf -> -Infinity
mngx128 minmag -Inf -Inf -> -Infinity
mngx129 minmag -1000 -Inf -> -1000
mngx130 minmag -1 -Inf -> -1
mngx131 minmag -0 -Inf -> -0
mngx132 minmag 0 -Inf -> 0
mngx133 minmag 1 -Inf -> 1
mngx134 minmag 1000 -Inf -> 1000
mngx135 minmag Inf -Inf -> -Infinity
-- 2004.08.02 754r chooses number over NaN in mixed cases
mngx141 minmag NaN -Inf -> -Infinity
mngx142 minmag NaN -1000 -> -1000
mngx143 minmag NaN -1 -> -1
mngx144 minmag NaN -0 -> -0
mngx145 minmag NaN 0 -> 0
mngx146 minmag NaN 1 -> 1
mngx147 minmag NaN 1000 -> 1000
mngx148 minmag NaN Inf -> Infinity
mngx149 minmag NaN NaN -> NaN
mngx150 minmag -Inf NaN -> -Infinity
mngx151 minmag -1000 NaN -> -1000
mngx152 minmag -1 -NaN -> -1
mngx153 minmag -0 NaN -> -0
mngx154 minmag 0 -NaN -> 0
mngx155 minmag 1 NaN -> 1
mngx156 minmag 1000 NaN -> 1000
mngx157 minmag Inf NaN -> Infinity
mngx161 minmag sNaN -Inf -> NaN Invalid_operation
mngx162 minmag sNaN -1000 -> NaN Invalid_operation
mngx163 minmag sNaN -1 -> NaN Invalid_operation
mngx164 minmag sNaN -0 -> NaN Invalid_operation
mngx165 minmag -sNaN 0 -> -NaN Invalid_operation
mngx166 minmag -sNaN 1 -> -NaN Invalid_operation
mngx167 minmag sNaN 1000 -> NaN Invalid_operation
mngx168 minmag sNaN NaN -> NaN Invalid_operation
mngx169 minmag sNaN sNaN -> NaN Invalid_operation
mngx170 minmag NaN sNaN -> NaN Invalid_operation
mngx171 minmag -Inf sNaN -> NaN Invalid_operation
mngx172 minmag -1000 sNaN -> NaN Invalid_operation
mngx173 minmag -1 sNaN -> NaN Invalid_operation
mngx174 minmag -0 sNaN -> NaN Invalid_operation
mngx175 minmag 0 sNaN -> NaN Invalid_operation
mngx176 minmag 1 sNaN -> NaN Invalid_operation
mngx177 minmag 1000 sNaN -> NaN Invalid_operation
mngx178 minmag Inf sNaN -> NaN Invalid_operation
mngx179 minmag NaN sNaN -> NaN Invalid_operation
-- propagating NaNs
mngx181 minmag NaN9 -Inf -> -Infinity
mngx182 minmag -NaN8 9990 -> 9990
mngx183 minmag NaN71 Inf -> Infinity
mngx184 minmag NaN1 NaN54 -> NaN1
mngx185 minmag NaN22 -NaN53 -> NaN22
mngx186 minmag -NaN3 NaN6 -> -NaN3
mngx187 minmag -NaN44 NaN7 -> -NaN44
mngx188 minmag -Inf NaN41 -> -Infinity
mngx189 minmag -9999 -NaN33 -> -9999
mngx190 minmag Inf NaN2 -> Infinity
mngx191 minmag sNaN99 -Inf -> NaN99 Invalid_operation
mngx192 minmag sNaN98 -11 -> NaN98 Invalid_operation
mngx193 minmag -sNaN97 NaN8 -> -NaN97 Invalid_operation
mngx194 minmag sNaN69 sNaN94 -> NaN69 Invalid_operation
mngx195 minmag NaN95 sNaN93 -> NaN93 Invalid_operation
mngx196 minmag -Inf sNaN92 -> NaN92 Invalid_operation
mngx197 minmag 088 sNaN91 -> NaN91 Invalid_operation
mngx198 minmag Inf -sNaN90 -> -NaN90 Invalid_operation
mngx199 minmag NaN sNaN86 -> NaN86 Invalid_operation
-- rounding checks -- chosen is rounded, or not
maxExponent: 999
minexponent: -999
precision: 9
mngx201 minmag -12345678000 1 -> 1
mngx202 minmag 1 -12345678000 -> 1
mngx203 minmag -1234567800 1 -> 1
mngx204 minmag 1 -1234567800 -> 1
mngx205 minmag -1234567890 1 -> 1
mngx206 minmag 1 -1234567890 -> 1
mngx207 minmag -1234567891 1 -> 1
mngx208 minmag 1 -1234567891 -> 1
mngx209 minmag -12345678901 1 -> 1
mngx210 minmag 1 -12345678901 -> 1
mngx211 minmag -1234567896 1 -> 1
mngx212 minmag 1 -1234567896 -> 1
mngx213 minmag 1234567891 1 -> 1
mngx214 minmag 1 1234567891 -> 1
mngx215 minmag 12345678901 1 -> 1
mngx216 minmag 1 12345678901 -> 1
mngx217 minmag 1234567896 1 -> 1
mngx218 minmag 1 1234567896 -> 1
precision: 15
mngx221 minmag -12345678000 1 -> 1
mngx222 minmag 1 -12345678000 -> 1
mngx223 minmag -1234567800 1 -> 1
mngx224 minmag 1 -1234567800 -> 1
mngx225 minmag -1234567890 1 -> 1
mngx226 minmag 1 -1234567890 -> 1
mngx227 minmag -1234567891 1 -> 1
mngx228 minmag 1 -1234567891 -> 1
mngx229 minmag -12345678901 1 -> 1
mngx230 minmag 1 -12345678901 -> 1
mngx231 minmag -1234567896 1 -> 1
mngx232 minmag 1 -1234567896 -> 1
mngx233 minmag 1234567891 1 -> 1
mngx234 minmag 1 1234567891 -> 1
mngx235 minmag 12345678901 1 -> 1
mngx236 minmag 1 12345678901 -> 1
mngx237 minmag 1234567896 1 -> 1
mngx238 minmag 1 1234567896 -> 1
-- from examples
mngx280 minmag '3' '2' -> '2'
mngx281 minmag '-10' '3' -> '3'
mngx282 minmag '1.0' '1' -> '1.0'
mngx283 minmag '1' '1.0' -> '1.0'
mngx284 minmag '7' 'NaN' -> '7'
-- overflow and underflow tests .. subnormal results [inputs] now allowed
maxExponent: 999999999
minexponent: -999999999
mngx330 minmag -1.23456789012345E-0 -9E+999999999 -> -1.23456789012345
mngx331 minmag -9E+999999999 -1.23456789012345E-0 -> -1.23456789012345
mngx332 minmag -0.100 -9E-999999999 -> -9E-999999999
mngx333 minmag -9E-999999999 -0.100 -> -9E-999999999
mngx335 minmag +1.23456789012345E-0 -9E+999999999 -> 1.23456789012345
mngx336 minmag -9E+999999999 1.23456789012345E-0 -> 1.23456789012345
mngx337 minmag +0.100 -9E-999999999 -> -9E-999999999
mngx338 minmag -9E-999999999 0.100 -> -9E-999999999
mngx339 minmag -1e-599999999 -1e-400000001 -> -1E-599999999
mngx340 minmag -1e-599999999 -1e-400000000 -> -1E-599999999
mngx341 minmag -1e-600000000 -1e-400000000 -> -1E-600000000
mngx342 minmag -9e-999999998 -0.01 -> -9E-999999998
mngx343 minmag -9e-999999998 -0.1 -> -9E-999999998
mngx344 minmag -0.01 -9e-999999998 -> -9E-999999998
mngx345 minmag -1e599999999 -1e400000001 -> -1E+400000001
mngx346 minmag -1e599999999 -1e400000000 -> -1E+400000000
mngx347 minmag -1e600000000 -1e400000000 -> -1E+400000000
mngx348 minmag -9e999999998 -100 -> -100
mngx349 minmag -9e999999998 -10 -> -10
mngx350 minmag -100 -9e999999998 -> -100
-- signs
mngx351 minmag -1e+777777777 -1e+411111111 -> -1E+411111111
mngx352 minmag -1e+777777777 +1e+411111111 -> 1E+411111111
mngx353 minmag +1e+777777777 -1e+411111111 -> -1E+411111111
mngx354 minmag +1e+777777777 +1e+411111111 -> 1E+411111111
mngx355 minmag -1e-777777777 -1e-411111111 -> -1E-777777777
mngx356 minmag -1e-777777777 +1e-411111111 -> -1E-777777777
mngx357 minmag +1e-777777777 -1e-411111111 -> 1E-777777777
mngx358 minmag +1e-777777777 +1e-411111111 -> 1E-777777777
-- expanded list from min/max 754r purple prose
-- [explicit tests for exponent ordering]
mngx401 minmag Inf 1.1 -> 1.1
mngx402 minmag 1.1 1 -> 1
mngx403 minmag 1 1.0 -> 1.0
mngx404 minmag 1.0 0.1 -> 0.1
mngx405 minmag 0.1 0.10 -> 0.10
mngx406 minmag 0.10 0.100 -> 0.100
mngx407 minmag 0.10 0 -> 0
mngx408 minmag 0 0.0 -> 0.0
mngx409 minmag 0.0 -0 -> -0
mngx410 minmag 0.0 -0.0 -> -0.0
mngx411 minmag 0.00 -0.0 -> -0.0
mngx412 minmag 0.0 -0.00 -> -0.00
mngx413 minmag 0 -0.0 -> -0.0
mngx414 minmag 0 -0 -> -0
mngx415 minmag -0.0 -0 -> -0
mngx416 minmag -0 -0.100 -> -0
mngx417 minmag -0.100 -0.10 -> -0.10
mngx418 minmag -0.10 -0.1 -> -0.1
mngx419 minmag -0.1 -1.0 -> -0.1
mngx420 minmag -1.0 -1 -> -1
mngx421 minmag -1 -1.1 -> -1
mngx423 minmag -1.1 -Inf -> -1.1
-- same with operands reversed
mngx431 minmag 1.1 Inf -> 1.1
mngx432 minmag 1 1.1 -> 1
mngx433 minmag 1.0 1 -> 1.0
mngx434 minmag 0.1 1.0 -> 0.1
mngx435 minmag 0.10 0.1 -> 0.10
mngx436 minmag 0.100 0.10 -> 0.100
mngx437 minmag 0 0.10 -> 0
mngx438 minmag 0.0 0 -> 0.0
mngx439 minmag -0 0.0 -> -0
mngx440 minmag -0.0 0.0 -> -0.0
mngx441 minmag -0.0 0.00 -> -0.0
mngx442 minmag -0.00 0.0 -> -0.00
mngx443 minmag -0.0 0 -> -0.0
mngx444 minmag -0 0 -> -0
mngx445 minmag -0 -0.0 -> -0
mngx446 minmag -0.100 -0 -> -0
mngx447 minmag -0.10 -0.100 -> -0.10
mngx448 minmag -0.1 -0.10 -> -0.1
mngx449 minmag -1.0 -0.1 -> -0.1
mngx450 minmag -1 -1.0 -> -1
mngx451 minmag -1.1 -1 -> -1
mngx453 minmag -Inf -1.1 -> -1.1
-- largies
mngx460 minmag 1000 1E+3 -> 1000
mngx461 minmag 1E+3 1000 -> 1000
mngx462 minmag 1000 -1E+3 -> -1E+3
mngx463 minmag 1E+3 -1000 -> -1000
mngx464 minmag -1000 1E+3 -> -1000
mngx465 minmag -1E+3 1000 -> -1E+3
mngx466 minmag -1000 -1E+3 -> -1E+3
mngx467 minmag -1E+3 -1000 -> -1E+3
-- rounding (results treated as though plus)
maxexponent: 999999999
minexponent: -999999999
precision: 3
mngx470 minmag 1 5 -> 1
mngx471 minmag 10 50 -> 10
mngx472 minmag 100 500 -> 100
mngx473 minmag 1000 5000 -> 1.00E+3 Rounded
mngx474 minmag 10000 50000 -> 1.00E+4 Rounded
mngx475 minmag 6 50 -> 6
mngx476 minmag 66 500 -> 66
mngx477 minmag 666 5000 -> 666
mngx478 minmag 6666 50000 -> 6.67E+3 Rounded Inexact
mngx479 minmag 66666 500000 -> 6.67E+4 Rounded Inexact
mngx480 minmag 33333 500000 -> 3.33E+4 Rounded Inexact
mngx481 minmag 75401 1 -> 1
mngx482 minmag 75402 10 -> 10
mngx483 minmag 75403 100 -> 100
mngx484 minmag 75404 1000 -> 1.00E+3 Rounded
mngx485 minmag 75405 10000 -> 1.00E+4 Rounded
mngx486 minmag 75406 6 -> 6
mngx487 minmag 75407 66 -> 66
mngx488 minmag 75408 666 -> 666
mngx489 minmag 75409 6666 -> 6.67E+3 Rounded Inexact
mngx490 minmag 75410 66666 -> 6.67E+4 Rounded Inexact
mngx491 minmag 75411 33333 -> 3.33E+4 Rounded Inexact
-- overflow tests
maxexponent: 999999999
minexponent: -999999999
precision: 3
mngx500 minmag 9.999E+999999999 0 -> 0
mngx501 minmag -9.999E+999999999 0 -> 0
-- subnormals and underflow
precision: 3
maxexponent: 999
minexponent: -999
mngx510 minmag 1.00E-999 0 -> 0
mngx511 minmag 0.1E-999 0 -> 0
mngx512 minmag 0.10E-999 0 -> 0
mngx513 minmag 0.100E-999 0 -> 0
mngx514 minmag 0.01E-999 0 -> 0
mngx515 minmag 0.999E-999 0 -> 0
mngx516 minmag 0.099E-999 0 -> 0
mngx517 minmag 0.009E-999 0 -> 0
mngx518 minmag 0.001E-999 0 -> 0
mngx519 minmag 0.0009E-999 0 -> 0
mngx520 minmag 0.0001E-999 0 -> 0
mngx530 minmag -1.00E-999 0 -> 0
mngx531 minmag -0.1E-999 0 -> 0
mngx532 minmag -0.10E-999 0 -> 0
mngx533 minmag -0.100E-999 0 -> 0
mngx534 minmag -0.01E-999 0 -> 0
mngx535 minmag -0.999E-999 0 -> 0
mngx536 minmag -0.099E-999 0 -> 0
mngx537 minmag -0.009E-999 0 -> 0
mngx538 minmag -0.001E-999 0 -> 0
mngx539 minmag -0.0009E-999 0 -> 0
mngx540 minmag -0.0001E-999 0 -> 0
-- Null tests
mng900 minmag 10 # -> NaN Invalid_operation
mng901 minmag # 10 -> NaN Invalid_operation
|
