]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | ------------------------------------------------------------------------\r |
2 | -- dqMin.decTest -- decQuad minnum --\r | |
3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r | |
4 | ------------------------------------------------------------------------\r | |
5 | -- Please see the document "General Decimal Arithmetic Testcases" --\r | |
6 | -- at http://www2.hursley.ibm.com/decimal for the description of --\r | |
7 | -- these testcases. --\r | |
8 | -- --\r | |
9 | -- These testcases are experimental ('beta' versions), and they --\r | |
10 | -- may contain errors. They are offered on an as-is basis. In --\r | |
11 | -- particular, achieving the same results as the tests here is not --\r | |
12 | -- a guarantee that an implementation complies with any Standard --\r | |
13 | -- or specification. The tests are not exhaustive. --\r | |
14 | -- --\r | |
15 | -- Please send comments, suggestions, and corrections to the author: --\r | |
16 | -- Mike Cowlishaw, IBM Fellow --\r | |
17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r | |
18 | -- mfc@uk.ibm.com --\r | |
19 | ------------------------------------------------------------------------\r | |
20 | version: 2.59\r | |
21 | \r | |
22 | -- we assume that base comparison is tested in compare.decTest, so\r | |
23 | -- these mainly cover special cases and rounding\r | |
24 | extended: 1\r | |
25 | clamp: 1\r | |
26 | precision: 34\r | |
27 | maxExponent: 6144\r | |
28 | minExponent: -6143\r | |
29 | rounding: half_even\r | |
30 | \r | |
31 | -- sanity checks\r | |
32 | dqmin001 min -2 -2 -> -2\r | |
33 | dqmin002 min -2 -1 -> -2\r | |
34 | dqmin003 min -2 0 -> -2\r | |
35 | dqmin004 min -2 1 -> -2\r | |
36 | dqmin005 min -2 2 -> -2\r | |
37 | dqmin006 min -1 -2 -> -2\r | |
38 | dqmin007 min -1 -1 -> -1\r | |
39 | dqmin008 min -1 0 -> -1\r | |
40 | dqmin009 min -1 1 -> -1\r | |
41 | dqmin010 min -1 2 -> -1\r | |
42 | dqmin011 min 0 -2 -> -2\r | |
43 | dqmin012 min 0 -1 -> -1\r | |
44 | dqmin013 min 0 0 -> 0\r | |
45 | dqmin014 min 0 1 -> 0\r | |
46 | dqmin015 min 0 2 -> 0\r | |
47 | dqmin016 min 1 -2 -> -2\r | |
48 | dqmin017 min 1 -1 -> -1\r | |
49 | dqmin018 min 1 0 -> 0\r | |
50 | dqmin019 min 1 1 -> 1\r | |
51 | dqmin020 min 1 2 -> 1\r | |
52 | dqmin021 min 2 -2 -> -2\r | |
53 | dqmin022 min 2 -1 -> -1\r | |
54 | dqmin023 min 2 0 -> 0\r | |
55 | dqmin025 min 2 1 -> 1\r | |
56 | dqmin026 min 2 2 -> 2\r | |
57 | \r | |
58 | -- extended zeros\r | |
59 | dqmin030 min 0 0 -> 0\r | |
60 | dqmin031 min 0 -0 -> -0\r | |
61 | dqmin032 min 0 -0.0 -> -0.0\r | |
62 | dqmin033 min 0 0.0 -> 0.0\r | |
63 | dqmin034 min -0 0 -> -0\r | |
64 | dqmin035 min -0 -0 -> -0\r | |
65 | dqmin036 min -0 -0.0 -> -0\r | |
66 | dqmin037 min -0 0.0 -> -0\r | |
67 | dqmin038 min 0.0 0 -> 0.0\r | |
68 | dqmin039 min 0.0 -0 -> -0\r | |
69 | dqmin040 min 0.0 -0.0 -> -0.0\r | |
70 | dqmin041 min 0.0 0.0 -> 0.0\r | |
71 | dqmin042 min -0.0 0 -> -0.0\r | |
72 | dqmin043 min -0.0 -0 -> -0\r | |
73 | dqmin044 min -0.0 -0.0 -> -0.0\r | |
74 | dqmin045 min -0.0 0.0 -> -0.0\r | |
75 | \r | |
76 | dqmin046 min 0E1 -0E1 -> -0E+1\r | |
77 | dqmin047 min -0E1 0E2 -> -0E+1\r | |
78 | dqmin048 min 0E2 0E1 -> 0E+1\r | |
79 | dqmin049 min 0E1 0E2 -> 0E+1\r | |
80 | dqmin050 min -0E3 -0E2 -> -0E+3\r | |
81 | dqmin051 min -0E2 -0E3 -> -0E+3\r | |
82 | \r | |
83 | -- Specials\r | |
84 | dqmin090 min Inf -Inf -> -Infinity\r | |
85 | dqmin091 min Inf -1000 -> -1000\r | |
86 | dqmin092 min Inf -1 -> -1\r | |
87 | dqmin093 min Inf -0 -> -0\r | |
88 | dqmin094 min Inf 0 -> 0\r | |
89 | dqmin095 min Inf 1 -> 1\r | |
90 | dqmin096 min Inf 1000 -> 1000\r | |
91 | dqmin097 min Inf Inf -> Infinity\r | |
92 | dqmin098 min -1000 Inf -> -1000\r | |
93 | dqmin099 min -Inf Inf -> -Infinity\r | |
94 | dqmin100 min -1 Inf -> -1\r | |
95 | dqmin101 min -0 Inf -> -0\r | |
96 | dqmin102 min 0 Inf -> 0\r | |
97 | dqmin103 min 1 Inf -> 1\r | |
98 | dqmin104 min 1000 Inf -> 1000\r | |
99 | dqmin105 min Inf Inf -> Infinity\r | |
100 | \r | |
101 | dqmin120 min -Inf -Inf -> -Infinity\r | |
102 | dqmin121 min -Inf -1000 -> -Infinity\r | |
103 | dqmin122 min -Inf -1 -> -Infinity\r | |
104 | dqmin123 min -Inf -0 -> -Infinity\r | |
105 | dqmin124 min -Inf 0 -> -Infinity\r | |
106 | dqmin125 min -Inf 1 -> -Infinity\r | |
107 | dqmin126 min -Inf 1000 -> -Infinity\r | |
108 | dqmin127 min -Inf Inf -> -Infinity\r | |
109 | dqmin128 min -Inf -Inf -> -Infinity\r | |
110 | dqmin129 min -1000 -Inf -> -Infinity\r | |
111 | dqmin130 min -1 -Inf -> -Infinity\r | |
112 | dqmin131 min -0 -Inf -> -Infinity\r | |
113 | dqmin132 min 0 -Inf -> -Infinity\r | |
114 | dqmin133 min 1 -Inf -> -Infinity\r | |
115 | dqmin134 min 1000 -Inf -> -Infinity\r | |
116 | dqmin135 min Inf -Inf -> -Infinity\r | |
117 | \r | |
118 | -- 2004.08.02 754r chooses number over NaN in mixed cases\r | |
119 | dqmin141 min NaN -Inf -> -Infinity\r | |
120 | dqmin142 min NaN -1000 -> -1000\r | |
121 | dqmin143 min NaN -1 -> -1\r | |
122 | dqmin144 min NaN -0 -> -0\r | |
123 | dqmin145 min NaN 0 -> 0\r | |
124 | dqmin146 min NaN 1 -> 1\r | |
125 | dqmin147 min NaN 1000 -> 1000\r | |
126 | dqmin148 min NaN Inf -> Infinity\r | |
127 | dqmin149 min NaN NaN -> NaN\r | |
128 | dqmin150 min -Inf NaN -> -Infinity\r | |
129 | dqmin151 min -1000 NaN -> -1000\r | |
130 | dqmin152 min -1 -NaN -> -1\r | |
131 | dqmin153 min -0 NaN -> -0\r | |
132 | dqmin154 min 0 -NaN -> 0\r | |
133 | dqmin155 min 1 NaN -> 1\r | |
134 | dqmin156 min 1000 NaN -> 1000\r | |
135 | dqmin157 min Inf NaN -> Infinity\r | |
136 | \r | |
137 | dqmin161 min sNaN -Inf -> NaN Invalid_operation\r | |
138 | dqmin162 min sNaN -1000 -> NaN Invalid_operation\r | |
139 | dqmin163 min sNaN -1 -> NaN Invalid_operation\r | |
140 | dqmin164 min sNaN -0 -> NaN Invalid_operation\r | |
141 | dqmin165 min -sNaN 0 -> -NaN Invalid_operation\r | |
142 | dqmin166 min -sNaN 1 -> -NaN Invalid_operation\r | |
143 | dqmin167 min sNaN 1000 -> NaN Invalid_operation\r | |
144 | dqmin168 min sNaN NaN -> NaN Invalid_operation\r | |
145 | dqmin169 min sNaN sNaN -> NaN Invalid_operation\r | |
146 | dqmin170 min NaN sNaN -> NaN Invalid_operation\r | |
147 | dqmin171 min -Inf sNaN -> NaN Invalid_operation\r | |
148 | dqmin172 min -1000 sNaN -> NaN Invalid_operation\r | |
149 | dqmin173 min -1 sNaN -> NaN Invalid_operation\r | |
150 | dqmin174 min -0 sNaN -> NaN Invalid_operation\r | |
151 | dqmin175 min 0 sNaN -> NaN Invalid_operation\r | |
152 | dqmin176 min 1 sNaN -> NaN Invalid_operation\r | |
153 | dqmin177 min 1000 sNaN -> NaN Invalid_operation\r | |
154 | dqmin178 min Inf sNaN -> NaN Invalid_operation\r | |
155 | dqmin179 min NaN sNaN -> NaN Invalid_operation\r | |
156 | \r | |
157 | -- propagating NaNs\r | |
158 | dqmin181 min NaN9 -Inf -> -Infinity\r | |
159 | dqmin182 min -NaN8 9990 -> 9990\r | |
160 | dqmin183 min NaN71 Inf -> Infinity\r | |
161 | \r | |
162 | dqmin184 min NaN1 NaN54 -> NaN1\r | |
163 | dqmin185 min NaN22 -NaN53 -> NaN22\r | |
164 | dqmin186 min -NaN3 NaN6 -> -NaN3\r | |
165 | dqmin187 min -NaN44 NaN7 -> -NaN44\r | |
166 | \r | |
167 | dqmin188 min -Inf NaN41 -> -Infinity\r | |
168 | dqmin189 min -9999 -NaN33 -> -9999\r | |
169 | dqmin190 min Inf NaN2 -> Infinity\r | |
170 | \r | |
171 | dqmin191 min sNaN99 -Inf -> NaN99 Invalid_operation\r | |
172 | dqmin192 min sNaN98 -11 -> NaN98 Invalid_operation\r | |
173 | dqmin193 min -sNaN97 NaN8 -> -NaN97 Invalid_operation\r | |
174 | dqmin194 min sNaN69 sNaN94 -> NaN69 Invalid_operation\r | |
175 | dqmin195 min NaN95 sNaN93 -> NaN93 Invalid_operation\r | |
176 | dqmin196 min -Inf sNaN92 -> NaN92 Invalid_operation\r | |
177 | dqmin197 min 088 sNaN91 -> NaN91 Invalid_operation\r | |
178 | dqmin198 min Inf -sNaN90 -> -NaN90 Invalid_operation\r | |
179 | dqmin199 min NaN sNaN86 -> NaN86 Invalid_operation\r | |
180 | \r | |
181 | -- old rounding checks\r | |
182 | dqmin221 min -12345678000 1 -> -12345678000\r | |
183 | dqmin222 min 1 -12345678000 -> -12345678000\r | |
184 | dqmin223 min -1234567800 1 -> -1234567800\r | |
185 | dqmin224 min 1 -1234567800 -> -1234567800\r | |
186 | dqmin225 min -1234567890 1 -> -1234567890\r | |
187 | dqmin226 min 1 -1234567890 -> -1234567890\r | |
188 | dqmin227 min -1234567891 1 -> -1234567891\r | |
189 | dqmin228 min 1 -1234567891 -> -1234567891\r | |
190 | dqmin229 min -12345678901 1 -> -12345678901\r | |
191 | dqmin230 min 1 -12345678901 -> -12345678901\r | |
192 | dqmin231 min -1234567896 1 -> -1234567896\r | |
193 | dqmin232 min 1 -1234567896 -> -1234567896\r | |
194 | dqmin233 min 1234567891 1 -> 1\r | |
195 | dqmin234 min 1 1234567891 -> 1\r | |
196 | dqmin235 min 12345678901 1 -> 1\r | |
197 | dqmin236 min 1 12345678901 -> 1\r | |
198 | dqmin237 min 1234567896 1 -> 1\r | |
199 | dqmin238 min 1 1234567896 -> 1\r | |
200 | \r | |
201 | -- from examples\r | |
202 | dqmin280 min '3' '2' -> '2'\r | |
203 | dqmin281 min '-10' '3' -> '-10'\r | |
204 | dqmin282 min '1.0' '1' -> '1.0'\r | |
205 | dqmin283 min '1' '1.0' -> '1.0'\r | |
206 | dqmin284 min '7' 'NaN' -> '7'\r | |
207 | \r | |
208 | -- expanded list from min/max 754r purple prose\r | |
209 | -- [explicit tests for exponent ordering]\r | |
210 | dqmin401 min Inf 1.1 -> 1.1\r | |
211 | dqmin402 min 1.1 1 -> 1\r | |
212 | dqmin403 min 1 1.0 -> 1.0\r | |
213 | dqmin404 min 1.0 0.1 -> 0.1\r | |
214 | dqmin405 min 0.1 0.10 -> 0.10\r | |
215 | dqmin406 min 0.10 0.100 -> 0.100\r | |
216 | dqmin407 min 0.10 0 -> 0\r | |
217 | dqmin408 min 0 0.0 -> 0.0\r | |
218 | dqmin409 min 0.0 -0 -> -0\r | |
219 | dqmin410 min 0.0 -0.0 -> -0.0\r | |
220 | dqmin411 min 0.00 -0.0 -> -0.0\r | |
221 | dqmin412 min 0.0 -0.00 -> -0.00\r | |
222 | dqmin413 min 0 -0.0 -> -0.0\r | |
223 | dqmin414 min 0 -0 -> -0\r | |
224 | dqmin415 min -0.0 -0 -> -0\r | |
225 | dqmin416 min -0 -0.100 -> -0.100\r | |
226 | dqmin417 min -0.100 -0.10 -> -0.10\r | |
227 | dqmin418 min -0.10 -0.1 -> -0.1\r | |
228 | dqmin419 min -0.1 -1.0 -> -1.0\r | |
229 | dqmin420 min -1.0 -1 -> -1\r | |
230 | dqmin421 min -1 -1.1 -> -1.1\r | |
231 | dqmin423 min -1.1 -Inf -> -Infinity\r | |
232 | -- same with operands reversed\r | |
233 | dqmin431 min 1.1 Inf -> 1.1\r | |
234 | dqmin432 min 1 1.1 -> 1\r | |
235 | dqmin433 min 1.0 1 -> 1.0\r | |
236 | dqmin434 min 0.1 1.0 -> 0.1\r | |
237 | dqmin435 min 0.10 0.1 -> 0.10\r | |
238 | dqmin436 min 0.100 0.10 -> 0.100\r | |
239 | dqmin437 min 0 0.10 -> 0\r | |
240 | dqmin438 min 0.0 0 -> 0.0\r | |
241 | dqmin439 min -0 0.0 -> -0\r | |
242 | dqmin440 min -0.0 0.0 -> -0.0\r | |
243 | dqmin441 min -0.0 0.00 -> -0.0\r | |
244 | dqmin442 min -0.00 0.0 -> -0.00\r | |
245 | dqmin443 min -0.0 0 -> -0.0\r | |
246 | dqmin444 min -0 0 -> -0\r | |
247 | dqmin445 min -0 -0.0 -> -0\r | |
248 | dqmin446 min -0.100 -0 -> -0.100\r | |
249 | dqmin447 min -0.10 -0.100 -> -0.10\r | |
250 | dqmin448 min -0.1 -0.10 -> -0.1\r | |
251 | dqmin449 min -1.0 -0.1 -> -1.0\r | |
252 | dqmin450 min -1 -1.0 -> -1\r | |
253 | dqmin451 min -1.1 -1 -> -1.1\r | |
254 | dqmin453 min -Inf -1.1 -> -Infinity\r | |
255 | -- largies\r | |
256 | dqmin460 min 1000 1E+3 -> 1000\r | |
257 | dqmin461 min 1E+3 1000 -> 1000\r | |
258 | dqmin462 min 1000 -1E+3 -> -1E+3\r | |
259 | dqmin463 min 1E+3 -384 -> -384\r | |
260 | dqmin464 min -384 1E+3 -> -384\r | |
261 | dqmin465 min -1E+3 1000 -> -1E+3\r | |
262 | dqmin466 min -384 -1E+3 -> -1E+3\r | |
263 | dqmin467 min -1E+3 -384 -> -1E+3\r | |
264 | \r | |
265 | -- misalignment traps for little-endian\r | |
266 | dqmin471 min 1.0 0.1 -> 0.1\r | |
267 | dqmin472 min 0.1 1.0 -> 0.1\r | |
268 | dqmin473 min 10.0 0.1 -> 0.1\r | |
269 | dqmin474 min 0.1 10.0 -> 0.1\r | |
270 | dqmin475 min 100 1.0 -> 1.0\r | |
271 | dqmin476 min 1.0 100 -> 1.0\r | |
272 | dqmin477 min 1000 10.0 -> 10.0\r | |
273 | dqmin478 min 10.0 1000 -> 10.0\r | |
274 | dqmin479 min 10000 100.0 -> 100.0\r | |
275 | dqmin480 min 100.0 10000 -> 100.0\r | |
276 | dqmin481 min 100000 1000.0 -> 1000.0\r | |
277 | dqmin482 min 1000.0 100000 -> 1000.0\r | |
278 | dqmin483 min 1000000 10000.0 -> 10000.0\r | |
279 | dqmin484 min 10000.0 1000000 -> 10000.0\r | |
280 | \r | |
281 | -- subnormals\r | |
282 | dqmin510 min 1.00E-6143 0 -> 0\r | |
283 | dqmin511 min 0.1E-6143 0 -> 0\r | |
284 | dqmin512 min 0.10E-6143 0 -> 0\r | |
285 | dqmin513 min 0.100E-6143 0 -> 0\r | |
286 | dqmin514 min 0.01E-6143 0 -> 0\r | |
287 | dqmin515 min 0.999E-6143 0 -> 0\r | |
288 | dqmin516 min 0.099E-6143 0 -> 0\r | |
289 | dqmin517 min 0.009E-6143 0 -> 0\r | |
290 | dqmin518 min 0.001E-6143 0 -> 0\r | |
291 | dqmin519 min 0.0009E-6143 0 -> 0\r | |
292 | dqmin520 min 0.0001E-6143 0 -> 0\r | |
293 | \r | |
294 | dqmin530 min -1.00E-6143 0 -> -1.00E-6143\r | |
295 | dqmin531 min -0.1E-6143 0 -> -1E-6144 Subnormal\r | |
296 | dqmin532 min -0.10E-6143 0 -> -1.0E-6144 Subnormal\r | |
297 | dqmin533 min -0.100E-6143 0 -> -1.00E-6144 Subnormal\r | |
298 | dqmin534 min -0.01E-6143 0 -> -1E-6145 Subnormal\r | |
299 | dqmin535 min -0.999E-6143 0 -> -9.99E-6144 Subnormal\r | |
300 | dqmin536 min -0.099E-6143 0 -> -9.9E-6145 Subnormal\r | |
301 | dqmin537 min -0.009E-6143 0 -> -9E-6146 Subnormal\r | |
302 | dqmin538 min -0.001E-6143 0 -> -1E-6146 Subnormal\r | |
303 | dqmin539 min -0.0009E-6143 0 -> -9E-6147 Subnormal\r | |
304 | dqmin540 min -0.0001E-6143 0 -> -1E-6147 Subnormal\r | |
305 | \r | |
306 | \r | |
307 | -- Null tests\r | |
308 | dqmin900 min 10 # -> NaN Invalid_operation\r | |
309 | dqmin901 min # 10 -> NaN Invalid_operation\r |