summaryrefslogtreecommitdiff
path: root/Lib/test/decimaltestdata/ddMin.decTest
blob: eb942ff1598ff5f54803a96d2f3ce4efa13ddfab (plain)
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
------------------------------------------------------------------------
-- ddMin.decTest -- decDouble minnum                                  --
-- Copyright (c) IBM Corporation, 1981, 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                                                   --
------------------------------------------------------------------------
version: 2.59

-- we assume that base comparison is tested in compare.decTest, so
-- these mainly cover special cases and rounding
precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- sanity checks
ddmin001 min  -2  -2  -> -2
ddmin002 min  -2  -1  -> -2
ddmin003 min  -2   0  -> -2
ddmin004 min  -2   1  -> -2
ddmin005 min  -2   2  -> -2
ddmin006 min  -1  -2  -> -2
ddmin007 min  -1  -1  -> -1
ddmin008 min  -1   0  -> -1
ddmin009 min  -1   1  -> -1
ddmin010 min  -1   2  -> -1
ddmin011 min   0  -2  -> -2
ddmin012 min   0  -1  -> -1
ddmin013 min   0   0  ->  0
ddmin014 min   0   1  ->  0
ddmin015 min   0   2  ->  0
ddmin016 min   1  -2  -> -2
ddmin017 min   1  -1  -> -1
ddmin018 min   1   0  ->  0
ddmin019 min   1   1  ->  1
ddmin020 min   1   2  ->  1
ddmin021 min   2  -2  -> -2
ddmin022 min   2  -1  -> -1
ddmin023 min   2   0  ->  0
ddmin025 min   2   1  ->  1
ddmin026 min   2   2  ->  2

-- extended zeros
ddmin030 min   0     0   ->  0
ddmin031 min   0    -0   -> -0
ddmin032 min   0    -0.0 -> -0.0
ddmin033 min   0     0.0 ->  0.0
ddmin034 min  -0     0   -> -0
ddmin035 min  -0    -0   -> -0
ddmin036 min  -0    -0.0 -> -0
ddmin037 min  -0     0.0 -> -0
ddmin038 min   0.0   0   ->  0.0
ddmin039 min   0.0  -0   -> -0
ddmin040 min   0.0  -0.0 -> -0.0
ddmin041 min   0.0   0.0 ->  0.0
ddmin042 min  -0.0   0   -> -0.0
ddmin043 min  -0.0  -0   -> -0
ddmin044 min  -0.0  -0.0 -> -0.0
ddmin045 min  -0.0   0.0 -> -0.0

ddmin046 min   0E1  -0E1 -> -0E+1
ddmin047 min  -0E1   0E2 -> -0E+1
ddmin048 min   0E2   0E1 ->  0E+1
ddmin049 min   0E1   0E2 ->  0E+1
ddmin050 min  -0E3  -0E2 -> -0E+3
ddmin051 min  -0E2  -0E3 -> -0E+3

-- Specials
ddmin090 min  Inf  -Inf   -> -Infinity
ddmin091 min  Inf  -1000  -> -1000
ddmin092 min  Inf  -1     -> -1
ddmin093 min  Inf  -0     -> -0
ddmin094 min  Inf   0     ->  0
ddmin095 min  Inf   1     ->  1
ddmin096 min  Inf   1000  ->  1000
ddmin097 min  Inf   Inf   ->  Infinity
ddmin098 min -1000  Inf   -> -1000
ddmin099 min -Inf   Inf   -> -Infinity
ddmin100 min -1     Inf   -> -1
ddmin101 min -0     Inf   -> -0
ddmin102 min  0     Inf   ->  0
ddmin103 min  1     Inf   ->  1
ddmin104 min  1000  Inf   ->  1000
ddmin105 min  Inf   Inf   ->  Infinity

ddmin120 min -Inf  -Inf   -> -Infinity
ddmin121 min -Inf  -1000  -> -Infinity
ddmin122 min -Inf  -1     -> -Infinity
ddmin123 min -Inf  -0     -> -Infinity
ddmin124 min -Inf   0     -> -Infinity
ddmin125 min -Inf   1     -> -Infinity
ddmin126 min -Inf   1000  -> -Infinity
ddmin127 min -Inf   Inf   -> -Infinity
ddmin128 min -Inf  -Inf   -> -Infinity
ddmin129 min -1000 -Inf   -> -Infinity
ddmin130 min -1    -Inf   -> -Infinity
ddmin131 min -0    -Inf   -> -Infinity
ddmin132 min  0    -Inf   -> -Infinity
ddmin133 min  1    -Inf   -> -Infinity
ddmin134 min  1000 -Inf   -> -Infinity
ddmin135 min  Inf  -Inf   -> -Infinity

-- 2004.08.02 754r chooses number over NaN in mixed cases
ddmin141 min  NaN -Inf    ->  -Infinity
ddmin142 min  NaN -1000   ->  -1000
ddmin143 min  NaN -1      ->  -1
ddmin144 min  NaN -0      ->  -0
ddmin145 min  NaN  0      ->  0
ddmin146 min  NaN  1      ->  1
ddmin147 min  NaN  1000   ->  1000
ddmin148 min  NaN  Inf    ->  Infinity
ddmin149 min  NaN  NaN    ->  NaN
ddmin150 min -Inf  NaN    -> -Infinity
ddmin151 min -1000 NaN    -> -1000
ddmin152 min -1   -NaN    -> -1
ddmin153 min -0    NaN    -> -0
ddmin154 min  0   -NaN    ->  0
ddmin155 min  1    NaN    ->  1
ddmin156 min  1000 NaN    ->  1000
ddmin157 min  Inf  NaN    ->  Infinity

ddmin161 min  sNaN -Inf   ->  NaN  Invalid_operation
ddmin162 min  sNaN -1000  ->  NaN  Invalid_operation
ddmin163 min  sNaN -1     ->  NaN  Invalid_operation
ddmin164 min  sNaN -0     ->  NaN  Invalid_operation
ddmin165 min -sNaN  0     -> -NaN  Invalid_operation
ddmin166 min -sNaN  1     -> -NaN  Invalid_operation
ddmin167 min  sNaN  1000  ->  NaN  Invalid_operation
ddmin168 min  sNaN  NaN   ->  NaN  Invalid_operation
ddmin169 min  sNaN sNaN   ->  NaN  Invalid_operation
ddmin170 min  NaN  sNaN   ->  NaN  Invalid_operation
ddmin171 min -Inf  sNaN   ->  NaN  Invalid_operation
ddmin172 min -1000 sNaN   ->  NaN  Invalid_operation
ddmin173 min -1    sNaN   ->  NaN  Invalid_operation
ddmin174 min -0    sNaN   ->  NaN  Invalid_operation
ddmin175 min  0    sNaN   ->  NaN  Invalid_operation
ddmin176 min  1    sNaN   ->  NaN  Invalid_operation
ddmin177 min  1000 sNaN   ->  NaN  Invalid_operation
ddmin178 min  Inf  sNaN   ->  NaN  Invalid_operation
ddmin179 min  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
ddmin181 min  NaN9   -Inf   -> -Infinity
ddmin182 min -NaN8    9990  ->  9990
ddmin183 min  NaN71   Inf   ->  Infinity

ddmin184 min  NaN1    NaN54 ->  NaN1
ddmin185 min  NaN22  -NaN53 ->  NaN22
ddmin186 min -NaN3    NaN6  -> -NaN3
ddmin187 min -NaN44   NaN7  -> -NaN44

ddmin188 min -Inf     NaN41 -> -Infinity
ddmin189 min -9999   -NaN33 -> -9999
ddmin190 min  Inf     NaN2  ->  Infinity

ddmin191 min  sNaN99 -Inf    ->  NaN99 Invalid_operation
ddmin192 min  sNaN98 -11     ->  NaN98 Invalid_operation
ddmin193 min -sNaN97  NaN8   -> -NaN97 Invalid_operation
ddmin194 min  sNaN69 sNaN94  ->  NaN69 Invalid_operation
ddmin195 min  NaN95  sNaN93  ->  NaN93 Invalid_operation
ddmin196 min -Inf    sNaN92  ->  NaN92 Invalid_operation
ddmin197 min  088    sNaN91  ->  NaN91 Invalid_operation
ddmin198 min  Inf   -sNaN90  -> -NaN90 Invalid_operation
ddmin199 min  NaN    sNaN86  ->  NaN86 Invalid_operation

-- old rounding checks
ddmin221 min -12345678000 1  -> -12345678000
ddmin222 min 1 -12345678000  -> -12345678000
ddmin223 min -1234567800  1  -> -1234567800
ddmin224 min 1 -1234567800   -> -1234567800
ddmin225 min -1234567890  1  -> -1234567890
ddmin226 min 1 -1234567890   -> -1234567890
ddmin227 min -1234567891  1  -> -1234567891
ddmin228 min 1 -1234567891   -> -1234567891
ddmin229 min -12345678901 1  -> -12345678901
ddmin230 min 1 -12345678901  -> -12345678901
ddmin231 min -1234567896  1  -> -1234567896
ddmin232 min 1 -1234567896   -> -1234567896
ddmin233 min 1234567891  1   -> 1
ddmin234 min 1 1234567891    -> 1
ddmin235 min 12345678901 1   -> 1
ddmin236 min 1 12345678901   -> 1
ddmin237 min 1234567896  1   -> 1
ddmin238 min 1 1234567896    -> 1

-- from examples
ddmin280 min '3'   '2'  ->  '2'
ddmin281 min '-10' '3'  ->  '-10'
ddmin282 min '1.0' '1'  ->  '1.0'
ddmin283 min '1' '1.0'  ->  '1.0'
ddmin284 min '7' 'NaN'  ->  '7'

-- expanded list from min/max 754r purple prose
-- [explicit tests for exponent ordering]
ddmin401 min  Inf    1.1     ->  1.1
ddmin402 min  1.1    1       ->  1
ddmin403 min  1      1.0     ->  1.0
ddmin404 min  1.0    0.1     ->  0.1
ddmin405 min  0.1    0.10    ->  0.10
ddmin406 min  0.10   0.100   ->  0.100
ddmin407 min  0.10   0       ->  0
ddmin408 min  0      0.0     ->  0.0
ddmin409 min  0.0   -0       -> -0
ddmin410 min  0.0   -0.0     -> -0.0
ddmin411 min  0.00  -0.0     -> -0.0
ddmin412 min  0.0   -0.00    -> -0.00
ddmin413 min  0     -0.0     -> -0.0
ddmin414 min  0     -0       -> -0
ddmin415 min -0.0   -0       -> -0
ddmin416 min -0     -0.100   -> -0.100
ddmin417 min -0.100 -0.10    -> -0.10
ddmin418 min -0.10  -0.1     -> -0.1
ddmin419 min -0.1   -1.0     -> -1.0
ddmin420 min -1.0   -1       -> -1
ddmin421 min -1     -1.1     -> -1.1
ddmin423 min -1.1   -Inf     -> -Infinity
-- same with operands reversed
ddmin431 min  1.1    Inf     ->  1.1
ddmin432 min  1      1.1     ->  1
ddmin433 min  1.0    1       ->  1.0
ddmin434 min  0.1    1.0     ->  0.1
ddmin435 min  0.10   0.1     ->  0.10
ddmin436 min  0.100  0.10    ->  0.100
ddmin437 min  0      0.10    ->  0
ddmin438 min  0.0    0       ->  0.0
ddmin439 min -0      0.0     -> -0
ddmin440 min -0.0    0.0     -> -0.0
ddmin441 min -0.0    0.00    -> -0.0
ddmin442 min -0.00   0.0     -> -0.00
ddmin443 min -0.0    0       -> -0.0
ddmin444 min -0      0       -> -0
ddmin445 min -0     -0.0     -> -0
ddmin446 min -0.100 -0       -> -0.100
ddmin447 min -0.10  -0.100   -> -0.10
ddmin448 min -0.1   -0.10    -> -0.1
ddmin449 min -1.0   -0.1     -> -1.0
ddmin450 min -1     -1.0     -> -1
ddmin451 min -1.1   -1       -> -1.1
ddmin453 min -Inf   -1.1     -> -Infinity
-- largies
ddmin460 min  1000   1E+3    ->  1000
ddmin461 min  1E+3   1000    ->  1000
ddmin462 min  1000  -1E+3    -> -1E+3
ddmin463 min  1E+3  -384    -> -384
ddmin464 min -384   1E+3    -> -384
ddmin465 min -1E+3   1000    -> -1E+3
ddmin466 min -384  -1E+3    -> -1E+3
ddmin467 min -1E+3  -384    -> -1E+3

-- misalignment traps for little-endian
ddmin471 min      1.0       0.1  -> 0.1
ddmin472 min      0.1       1.0  -> 0.1
ddmin473 min     10.0       0.1  -> 0.1
ddmin474 min      0.1      10.0  -> 0.1
ddmin475 min      100       1.0  -> 1.0
ddmin476 min      1.0       100  -> 1.0
ddmin477 min     1000      10.0  -> 10.0
ddmin478 min     10.0      1000  -> 10.0
ddmin479 min    10000     100.0  -> 100.0
ddmin480 min    100.0     10000  -> 100.0
ddmin481 min   100000    1000.0  -> 1000.0
ddmin482 min   1000.0    100000  -> 1000.0
ddmin483 min  1000000   10000.0  -> 10000.0
ddmin484 min  10000.0   1000000  -> 10000.0

-- subnormals
ddmin510 min  1.00E-383       0  ->   0
ddmin511 min  0.1E-383        0  ->   0
ddmin512 min  0.10E-383       0  ->   0
ddmin513 min  0.100E-383      0  ->   0
ddmin514 min  0.01E-383       0  ->   0
ddmin515 min  0.999E-383      0  ->   0
ddmin516 min  0.099E-383      0  ->   0
ddmin517 min  0.009E-383      0  ->   0
ddmin518 min  0.001E-383      0  ->   0
ddmin519 min  0.0009E-383     0  ->   0
ddmin520 min  0.0001E-383     0  ->   0

ddmin530 min -1.00E-383       0  ->  -1.00E-383
ddmin531 min -0.1E-383        0  ->  -1E-384    Subnormal
ddmin532 min -0.10E-383       0  ->  -1.0E-384  Subnormal
ddmin533 min -0.100E-383      0  ->  -1.00E-384 Subnormal
ddmin534 min -0.01E-383       0  ->  -1E-385    Subnormal
ddmin535 min -0.999E-383      0  ->  -9.99E-384 Subnormal
ddmin536 min -0.099E-383      0  ->  -9.9E-385  Subnormal
ddmin537 min -0.009E-383      0  ->  -9E-386    Subnormal
ddmin538 min -0.001E-383      0  ->  -1E-386    Subnormal
ddmin539 min -0.0009E-383     0  ->  -9E-387    Subnormal
ddmin540 min -0.0001E-383     0  ->  -1E-387    Subnormal


-- Null tests
ddmin900 min 10  # -> NaN Invalid_operation
ddmin901 min  # 10 -> NaN Invalid_operation