1
------------------------------------------------------------------------
2
-- multiply.decTest -- decimal multiplication --
3
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
4
------------------------------------------------------------------------
5
-- Please see the document "General Decimal Arithmetic Testcases" --
6
-- at http://www2.hursley.ibm.com/decimal for the description of --
9
-- These testcases are experimental ('beta' versions), and they --
10
-- may contain errors. They are offered on an as-is basis. In --
11
-- particular, achieving the same results as the tests here is not --
12
-- a guarantee that an implementation complies with any Standard --
13
-- or specification. The tests are not exhaustive. --
15
-- Please send comments, suggestions, and corrections to the author: --
16
-- Mike Cowlishaw, IBM Fellow --
17
-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
19
------------------------------------------------------------------------
28
-- sanity checks (as base, above)
29
mulx000 multiply 2 2 -> 4
30
mulx001 multiply 2 3 -> 6
31
mulx002 multiply 5 1 -> 5
32
mulx003 multiply 5 2 -> 10
33
mulx004 multiply 1.20 2 -> 2.40
34
mulx005 multiply 1.20 0 -> 0.00
35
mulx006 multiply 1.20 -2 -> -2.40
36
mulx007 multiply -1.20 2 -> -2.40
37
mulx008 multiply -1.20 0 -> -0.00
38
mulx009 multiply -1.20 -2 -> 2.40
39
mulx010 multiply 5.09 7.1 -> 36.139
40
mulx011 multiply 2.5 4 -> 10.0
41
mulx012 multiply 2.50 4 -> 10.00
42
mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded
43
mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded
44
mulx015 multiply 2.50 4 -> 10.00
46
mulx016 multiply 2.50 4 -> 10.00
47
mulx017 multiply 9.999999999 9.999999999 -> 100.000 Inexact Rounded
48
mulx018 multiply 9.999999999 -9.999999999 -> -100.000 Inexact Rounded
49
mulx019 multiply -9.999999999 9.999999999 -> -100.000 Inexact Rounded
50
mulx020 multiply -9.999999999 -9.999999999 -> 100.000 Inexact Rounded
52
-- 1999.12.21: next one is a edge case if intermediate longs are used
54
mulx059 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded
56
mulx160 multiply 999999999999 9765625 -> 9765624999990234375
61
mulx021 multiply 0 0 -> 0
62
mulx022 multiply 0 -0 -> -0
63
mulx023 multiply -0 0 -> -0
64
mulx024 multiply -0 -0 -> 0
65
mulx025 multiply -0.0 -0.0 -> 0.00
66
mulx026 multiply -0.0 -0.0 -> 0.00
67
mulx027 multiply -0.0 -0.0 -> 0.00
68
mulx028 multiply -0.0 -0.0 -> 0.00
69
mulx030 multiply 5.00 1E-3 -> 0.00500
70
mulx031 multiply 00.00 0.000 -> 0.00000
71
mulx032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0
72
mulx033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0
73
mulx034 multiply -5.00 1E-3 -> -0.00500
74
mulx035 multiply -00.00 0.000 -> -0.00000
75
mulx036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0
76
mulx037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0
77
mulx038 multiply 5.00 -1E-3 -> -0.00500
78
mulx039 multiply 00.00 -0.000 -> -0.00000
79
mulx040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0
80
mulx041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0
81
mulx042 multiply -5.00 -1E-3 -> 0.00500
82
mulx043 multiply -00.00 -0.000 -> 0.00000
83
mulx044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0
84
mulx045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0
86
-- examples from decarith
87
mulx050 multiply 1.20 3 -> 3.60
88
mulx051 multiply 7 3 -> 21
89
mulx052 multiply 0.9 0.8 -> 0.72
90
mulx053 multiply 0.9 -0 -> -0.0
91
mulx054 multiply 654321 654321 -> 4.28135971E+11 Inexact Rounded
93
mulx060 multiply 123.45 1e7 -> 1.2345E+9
94
mulx061 multiply 123.45 1e8 -> 1.2345E+10
95
mulx062 multiply 123.45 1e+9 -> 1.2345E+11
96
mulx063 multiply 123.45 1e10 -> 1.2345E+12
97
mulx064 multiply 123.45 1e11 -> 1.2345E+13
98
mulx065 multiply 123.45 1e12 -> 1.2345E+14
99
mulx066 multiply 123.45 1e13 -> 1.2345E+15
102
-- test some intermediate lengths
104
mulx080 multiply 0.1 123456789 -> 12345678.9
105
mulx081 multiply 0.1 1234567891 -> 123456789 Inexact Rounded
106
mulx082 multiply 0.1 12345678912 -> 1.23456789E+9 Inexact Rounded
107
mulx083 multiply 0.1 12345678912345 -> 1.23456789E+12 Inexact Rounded
108
mulx084 multiply 0.1 123456789 -> 12345678.9
110
mulx085 multiply 0.1 12345678912 -> 1.2345679E+9 Inexact Rounded
111
mulx086 multiply 0.1 12345678912345 -> 1.2345679E+12 Inexact Rounded
113
mulx087 multiply 0.1 12345678912 -> 1.234568E+9 Inexact Rounded
114
mulx088 multiply 0.1 12345678912345 -> 1.234568E+12 Inexact Rounded
117
mulx090 multiply 123456789 0.1 -> 12345678.9
118
mulx091 multiply 1234567891 0.1 -> 123456789 Inexact Rounded
119
mulx092 multiply 12345678912 0.1 -> 1.23456789E+9 Inexact Rounded
120
mulx093 multiply 12345678912345 0.1 -> 1.23456789E+12 Inexact Rounded
121
mulx094 multiply 123456789 0.1 -> 12345678.9
123
mulx095 multiply 12345678912 0.1 -> 1.2345679E+9 Inexact Rounded
124
mulx096 multiply 12345678912345 0.1 -> 1.2345679E+12 Inexact Rounded
126
mulx097 multiply 12345678912 0.1 -> 1.234568E+9 Inexact Rounded
127
mulx098 multiply 12345678912345 0.1 -> 1.234568E+12 Inexact Rounded
129
-- test some more edge cases and carries
133
mulx101 multiply 9 9 -> 81
134
mulx102 multiply 9 90 -> 810
135
mulx103 multiply 9 900 -> 8100
136
mulx104 multiply 9 9000 -> 81000
137
mulx105 multiply 9 90000 -> 810000
138
mulx106 multiply 9 900000 -> 8100000
139
mulx107 multiply 9 9000000 -> 81000000
140
mulx108 multiply 9 90000000 -> 810000000
141
mulx109 multiply 9 900000000 -> 8100000000
142
mulx110 multiply 9 9000000000 -> 81000000000
143
mulx111 multiply 9 90000000000 -> 810000000000
144
mulx112 multiply 9 900000000000 -> 8100000000000
145
mulx113 multiply 9 9000000000000 -> 81000000000000
146
mulx114 multiply 9 90000000000000 -> 810000000000000
147
mulx115 multiply 9 900000000000000 -> 8100000000000000
148
mulx116 multiply 9 9000000000000000 -> 81000000000000000
149
mulx117 multiply 9 90000000000000000 -> 810000000000000000
150
mulx118 multiply 9 900000000000000000 -> 8100000000000000000
151
mulx119 multiply 9 9000000000000000000 -> 81000000000000000000
152
mulx120 multiply 9 90000000000000000000 -> 810000000000000000000
153
mulx121 multiply 9 900000000000000000000 -> 8100000000000000000000
154
mulx122 multiply 9 9000000000000000000000 -> 81000000000000000000000
155
mulx123 multiply 9 90000000000000000000000 -> 810000000000000000000000
156
-- test some more edge cases without carries
157
mulx131 multiply 3 3 -> 9
158
mulx132 multiply 3 30 -> 90
159
mulx133 multiply 3 300 -> 900
160
mulx134 multiply 3 3000 -> 9000
161
mulx135 multiply 3 30000 -> 90000
162
mulx136 multiply 3 300000 -> 900000
163
mulx137 multiply 3 3000000 -> 9000000
164
mulx138 multiply 3 30000000 -> 90000000
165
mulx139 multiply 3 300000000 -> 900000000
166
mulx140 multiply 3 3000000000 -> 9000000000
167
mulx141 multiply 3 30000000000 -> 90000000000
168
mulx142 multiply 3 300000000000 -> 900000000000
169
mulx143 multiply 3 3000000000000 -> 9000000000000
170
mulx144 multiply 3 30000000000000 -> 90000000000000
171
mulx145 multiply 3 300000000000000 -> 900000000000000
172
mulx146 multiply 3 3000000000000000 -> 9000000000000000
173
mulx147 multiply 3 30000000000000000 -> 90000000000000000
174
mulx148 multiply 3 300000000000000000 -> 900000000000000000
175
mulx149 multiply 3 3000000000000000000 -> 9000000000000000000
176
mulx150 multiply 3 30000000000000000000 -> 90000000000000000000
177
mulx151 multiply 3 300000000000000000000 -> 900000000000000000000
178
mulx152 multiply 3 3000000000000000000000 -> 9000000000000000000000
179
mulx153 multiply 3 30000000000000000000000 -> 90000000000000000000000
181
maxexponent: 999999999
182
minexponent: -999999999
184
-- test some cases that are close to exponent overflow/underflow
185
mulx170 multiply 1 9e999999999 -> 9E+999999999
186
mulx171 multiply 1 9.9e999999999 -> 9.9E+999999999
187
mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999
188
mulx173 multiply 9e999999999 1 -> 9E+999999999
189
mulx174 multiply 9.9e999999999 1 -> 9.9E+999999999
190
mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999
191
mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999
192
mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999
194
mulx180 multiply 0.1 9e-999999998 -> 9E-999999999
195
mulx181 multiply 0.1 99e-999999998 -> 9.9E-999999998
196
mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997
198
mulx183 multiply 0.1 9e-999999998 -> 9E-999999999
199
mulx184 multiply 0.1 99e-999999998 -> 9.9E-999999998
200
mulx185 multiply 0.1 999e-999999998 -> 9.99E-999999997
201
mulx186 multiply 0.1 999e-999999997 -> 9.99E-999999996
202
mulx187 multiply 0.1 9999e-999999997 -> 9.999E-999999995
203
mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994
205
mulx190 multiply 1 9e-999999998 -> 9E-999999998
206
mulx191 multiply 1 99e-999999998 -> 9.9E-999999997
207
mulx192 multiply 1 999e-999999998 -> 9.99E-999999996
208
mulx193 multiply 9e-999999998 1 -> 9E-999999998
209
mulx194 multiply 99e-999999998 1 -> 9.9E-999999997
210
mulx195 multiply 999e-999999998 1 -> 9.99E-999999996
212
mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999
213
mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999
214
mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999
215
mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999
217
mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999
218
mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999
219
mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999
220
mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999
222
-- long operand triangle
224
mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded
226
mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283 Inexact Rounded
228
mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928 Inexact Rounded
230
mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993 Inexact Rounded
232
mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199 Inexact Rounded
234
mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120 Inexact Rounded
236
mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512 Inexact Rounded
238
mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651 Inexact Rounded
240
mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165 Inexact Rounded
242
mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917 Inexact Rounded
244
mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192 Inexact Rounded
246
mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719 Inexact Rounded
248
mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672 Inexact Rounded
250
mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967 Inexact Rounded
252
mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697 Inexact Rounded
254
mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370 Inexact Rounded
256
mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337 Inexact Rounded
258
mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934 Inexact Rounded
260
mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193 Inexact Rounded
262
mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119 Inexact Rounded
264
mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012 Inexact Rounded
266
mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801 Inexact Rounded
268
mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080 Inexact Rounded
270
mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908 Inexact Rounded
272
mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291 Inexact Rounded
274
mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29 Inexact Rounded
276
mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3 Inexact Rounded
278
mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433 Inexact Rounded
280
mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5 Inexact Rounded
282
mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5 Inexact Rounded
284
mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5 Inexact Rounded
286
mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5 Inexact Rounded
288
mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5 Inexact Rounded
290
-- test some edge cases with exact rounding
294
mulx301 multiply 9 9 -> 81
295
mulx302 multiply 9 90 -> 810
296
mulx303 multiply 9 900 -> 8100
297
mulx304 multiply 9 9000 -> 81000
298
mulx305 multiply 9 90000 -> 810000
299
mulx306 multiply 9 900000 -> 8100000
300
mulx307 multiply 9 9000000 -> 81000000
301
mulx308 multiply 9 90000000 -> 810000000
302
mulx309 multiply 9 900000000 -> 8.10000000E+9 Rounded
303
mulx310 multiply 9 9000000000 -> 8.10000000E+10 Rounded
304
mulx311 multiply 9 90000000000 -> 8.10000000E+11 Rounded
305
mulx312 multiply 9 900000000000 -> 8.10000000E+12 Rounded
306
mulx313 multiply 9 9000000000000 -> 8.10000000E+13 Rounded
307
mulx314 multiply 9 90000000000000 -> 8.10000000E+14 Rounded
308
mulx315 multiply 9 900000000000000 -> 8.10000000E+15 Rounded
309
mulx316 multiply 9 9000000000000000 -> 8.10000000E+16 Rounded
310
mulx317 multiply 9 90000000000000000 -> 8.10000000E+17 Rounded
311
mulx318 multiply 9 900000000000000000 -> 8.10000000E+18 Rounded
312
mulx319 multiply 9 9000000000000000000 -> 8.10000000E+19 Rounded
313
mulx320 multiply 9 90000000000000000000 -> 8.10000000E+20 Rounded
314
mulx321 multiply 9 900000000000000000000 -> 8.10000000E+21 Rounded
315
mulx322 multiply 9 9000000000000000000000 -> 8.10000000E+22 Rounded
316
mulx323 multiply 9 90000000000000000000000 -> 8.10000000E+23 Rounded
320
mulx330 multiply 1.491824697641270317824852952837224 1.105170918075647624811707826490246514675628614562883537345747603 -> 1.6487212707001281468486507878 Inexact Rounded
322
mulx331 multiply 0.8958341352965282506768545828765117803873717284891040428 0.8958341352965282506768545828765117803873717284891040428 -> 0.8025187979624784829842553829934069955890983696752228299 Inexact Rounded
330
mulx504 multiply 0E-60 1000E-60 -> 0E-98 Clamped
331
mulx505 multiply 100E+60 0E+60 -> 0E+92 Clamped
334
maxexponent: 999999999
335
minexponent: -999999999
337
mulx541 multiply 0 -1 -> -0
338
mulx542 multiply -0 -1 -> 0
339
mulx543 multiply 0 1 -> 0
340
mulx544 multiply -0 1 -> -0
341
mulx545 multiply -1 0 -> -0
342
mulx546 multiply -1 -0 -> 0
343
mulx547 multiply 1 0 -> 0
344
mulx548 multiply 1 -0 -> -0
346
mulx551 multiply 0.0 -1 -> -0.0
347
mulx552 multiply -0.0 -1 -> 0.0
348
mulx553 multiply 0.0 1 -> 0.0
349
mulx554 multiply -0.0 1 -> -0.0
350
mulx555 multiply -1.0 0 -> -0.0
351
mulx556 multiply -1.0 -0 -> 0.0
352
mulx557 multiply 1.0 0 -> 0.0
353
mulx558 multiply 1.0 -0 -> -0.0
355
mulx561 multiply 0 -1.0 -> -0.0
356
mulx562 multiply -0 -1.0 -> 0.0
357
mulx563 multiply 0 1.0 -> 0.0
358
mulx564 multiply -0 1.0 -> -0.0
359
mulx565 multiply -1 0.0 -> -0.0
360
mulx566 multiply -1 -0.0 -> 0.0
361
mulx567 multiply 1 0.0 -> 0.0
362
mulx568 multiply 1 -0.0 -> -0.0
364
mulx571 multiply 0.0 -1.0 -> -0.00
365
mulx572 multiply -0.0 -1.0 -> 0.00
366
mulx573 multiply 0.0 1.0 -> 0.00
367
mulx574 multiply -0.0 1.0 -> -0.00
368
mulx575 multiply -1.0 0.0 -> -0.00
369
mulx576 multiply -1.0 -0.0 -> 0.00
370
mulx577 multiply 1.0 0.0 -> 0.00
371
mulx578 multiply 1.0 -0.0 -> -0.00
375
mulx580 multiply Inf -Inf -> -Infinity
376
mulx581 multiply Inf -1000 -> -Infinity
377
mulx582 multiply Inf -1 -> -Infinity
378
mulx583 multiply Inf -0 -> NaN Invalid_operation
379
mulx584 multiply Inf 0 -> NaN Invalid_operation
380
mulx585 multiply Inf 1 -> Infinity
381
mulx586 multiply Inf 1000 -> Infinity
382
mulx587 multiply Inf Inf -> Infinity
383
mulx588 multiply -1000 Inf -> -Infinity
384
mulx589 multiply -Inf Inf -> -Infinity
385
mulx590 multiply -1 Inf -> -Infinity
386
mulx591 multiply -0 Inf -> NaN Invalid_operation
387
mulx592 multiply 0 Inf -> NaN Invalid_operation
388
mulx593 multiply 1 Inf -> Infinity
389
mulx594 multiply 1000 Inf -> Infinity
390
mulx595 multiply Inf Inf -> Infinity
392
mulx600 multiply -Inf -Inf -> Infinity
393
mulx601 multiply -Inf -1000 -> Infinity
394
mulx602 multiply -Inf -1 -> Infinity
395
mulx603 multiply -Inf -0 -> NaN Invalid_operation
396
mulx604 multiply -Inf 0 -> NaN Invalid_operation
397
mulx605 multiply -Inf 1 -> -Infinity
398
mulx606 multiply -Inf 1000 -> -Infinity
399
mulx607 multiply -Inf Inf -> -Infinity
400
mulx608 multiply -1000 Inf -> -Infinity
401
mulx609 multiply -Inf -Inf -> Infinity
402
mulx610 multiply -1 -Inf -> Infinity
403
mulx611 multiply -0 -Inf -> NaN Invalid_operation
404
mulx612 multiply 0 -Inf -> NaN Invalid_operation
405
mulx613 multiply 1 -Inf -> -Infinity
406
mulx614 multiply 1000 -Inf -> -Infinity
407
mulx615 multiply Inf -Inf -> -Infinity
409
mulx621 multiply NaN -Inf -> NaN
410
mulx622 multiply NaN -1000 -> NaN
411
mulx623 multiply NaN -1 -> NaN
412
mulx624 multiply NaN -0 -> NaN
413
mulx625 multiply NaN 0 -> NaN
414
mulx626 multiply NaN 1 -> NaN
415
mulx627 multiply NaN 1000 -> NaN
416
mulx628 multiply NaN Inf -> NaN
417
mulx629 multiply NaN NaN -> NaN
418
mulx630 multiply -Inf NaN -> NaN
419
mulx631 multiply -1000 NaN -> NaN
420
mulx632 multiply -1 NaN -> NaN
421
mulx633 multiply -0 NaN -> NaN
422
mulx634 multiply 0 NaN -> NaN
423
mulx635 multiply 1 NaN -> NaN
424
mulx636 multiply 1000 NaN -> NaN
425
mulx637 multiply Inf NaN -> NaN
427
mulx641 multiply sNaN -Inf -> NaN Invalid_operation
428
mulx642 multiply sNaN -1000 -> NaN Invalid_operation
429
mulx643 multiply sNaN -1 -> NaN Invalid_operation
430
mulx644 multiply sNaN -0 -> NaN Invalid_operation
431
mulx645 multiply sNaN 0 -> NaN Invalid_operation
432
mulx646 multiply sNaN 1 -> NaN Invalid_operation
433
mulx647 multiply sNaN 1000 -> NaN Invalid_operation
434
mulx648 multiply sNaN NaN -> NaN Invalid_operation
435
mulx649 multiply sNaN sNaN -> NaN Invalid_operation
436
mulx650 multiply NaN sNaN -> NaN Invalid_operation
437
mulx651 multiply -Inf sNaN -> NaN Invalid_operation
438
mulx652 multiply -1000 sNaN -> NaN Invalid_operation
439
mulx653 multiply -1 sNaN -> NaN Invalid_operation
440
mulx654 multiply -0 sNaN -> NaN Invalid_operation
441
mulx655 multiply 0 sNaN -> NaN Invalid_operation
442
mulx656 multiply 1 sNaN -> NaN Invalid_operation
443
mulx657 multiply 1000 sNaN -> NaN Invalid_operation
444
mulx658 multiply Inf sNaN -> NaN Invalid_operation
445
mulx659 multiply NaN sNaN -> NaN Invalid_operation
448
mulx661 multiply NaN9 -Inf -> NaN9
449
mulx662 multiply NaN8 999 -> NaN8
450
mulx663 multiply NaN71 Inf -> NaN71
451
mulx664 multiply NaN6 NaN5 -> NaN6
452
mulx665 multiply -Inf NaN4 -> NaN4
453
mulx666 multiply -999 NaN33 -> NaN33
454
mulx667 multiply Inf NaN2 -> NaN2
456
mulx671 multiply sNaN99 -Inf -> NaN99 Invalid_operation
457
mulx672 multiply sNaN98 -11 -> NaN98 Invalid_operation
458
mulx673 multiply sNaN97 NaN -> NaN97 Invalid_operation
459
mulx674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation
460
mulx675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation
461
mulx676 multiply -Inf sNaN92 -> NaN92 Invalid_operation
462
mulx677 multiply 088 sNaN91 -> NaN91 Invalid_operation
463
mulx678 multiply Inf sNaN90 -> NaN90 Invalid_operation
464
mulx679 multiply NaN sNaN89 -> NaN89 Invalid_operation
466
mulx681 multiply -NaN9 -Inf -> -NaN9
467
mulx682 multiply -NaN8 999 -> -NaN8
468
mulx683 multiply -NaN71 Inf -> -NaN71
469
mulx684 multiply -NaN6 -NaN5 -> -NaN6
470
mulx685 multiply -Inf -NaN4 -> -NaN4
471
mulx686 multiply -999 -NaN33 -> -NaN33
472
mulx687 multiply Inf -NaN2 -> -NaN2
474
mulx691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation
475
mulx692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation
476
mulx693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation
477
mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
478
mulx695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation
479
mulx696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation
480
mulx697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation
481
mulx698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation
482
mulx699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation
484
mulx701 multiply -NaN -Inf -> -NaN
485
mulx702 multiply -NaN 999 -> -NaN
486
mulx703 multiply -NaN Inf -> -NaN
487
mulx704 multiply -NaN -NaN -> -NaN
488
mulx705 multiply -Inf -NaN0 -> -NaN
489
mulx706 multiply -999 -NaN -> -NaN
490
mulx707 multiply Inf -NaN -> -NaN
492
mulx711 multiply -sNaN -Inf -> -NaN Invalid_operation
493
mulx712 multiply -sNaN -11 -> -NaN Invalid_operation
494
mulx713 multiply -sNaN00 NaN -> -NaN Invalid_operation
495
mulx714 multiply -sNaN -sNaN -> -NaN Invalid_operation
496
mulx715 multiply -NaN -sNaN -> -NaN Invalid_operation
497
mulx716 multiply -Inf -sNaN -> -NaN Invalid_operation
498
mulx717 multiply 088 -sNaN -> -NaN Invalid_operation
499
mulx718 multiply Inf -sNaN -> -NaN Invalid_operation
500
mulx719 multiply -NaN -sNaN -> -NaN Invalid_operation
502
-- overflow and underflow tests .. note subnormal results
503
maxexponent: 999999999
504
minexponent: -999999999
505
mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded
506
mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded
507
mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal
508
mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal
509
mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded
510
mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded
511
mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal
512
mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal
514
mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal
515
mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999
516
mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal
517
mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal
518
mulx743 multiply 9e-999999998 0.1 -> 9E-999999999
519
mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal
520
mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded
521
mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999
522
mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded
523
mulx748 multiply 9e999999998 100 -> Infinity Overflow Inexact Rounded
524
mulx749 multiply 9e999999998 10 -> 9.0E+999999999
525
mulx750 multiply 100 9e999999998 -> Infinity Overflow Inexact Rounded
527
mulx751 multiply 1e+777777777 1e+411111111 -> Infinity Overflow Inexact Rounded
528
mulx752 multiply 1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded
529
mulx753 multiply -1e+777777777 1e+411111111 -> -Infinity Overflow Inexact Rounded
530
mulx754 multiply -1e+777777777 -1e+411111111 -> Infinity Overflow Inexact Rounded
531
mulx755 multiply 1e-777777777 1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
532
mulx756 multiply 1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
533
mulx757 multiply -1e-777777777 1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
534
mulx758 multiply -1e-777777777 -1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
536
-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
538
mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal
539
mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal
540
mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal
541
mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal
542
mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal
543
mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal
544
mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
545
mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
546
mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
547
mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
548
-- [no equivalent of 'subnormal' for overflow]
549
mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded
550
mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded
551
mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded
552
mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded
553
mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded
554
mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded
555
mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded
556
mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded
557
mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded
558
mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded
560
-- 'subnormal' test edge condition at higher precisions
562
mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
563
mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
564
mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal
565
mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded Clamped
567
mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal
568
mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded Clamped
570
-- following testcases [through mulx800] not yet run against code
572
mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal
573
mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded Clamped
575
mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal
576
mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded Clamped
578
mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal
579
mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded Clamped
581
mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal
582
mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded Clamped
584
mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal
585
mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded Clamped
587
mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal
588
mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal
589
mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded Clamped
590
mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
591
mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
593
-- test subnormals rounding
599
mulx801 multiply 1.0000E-999 1 -> 1.0000E-999
600
mulx802 multiply 1.000E-999 1e-1 -> 1.000E-1000 Subnormal
601
mulx803 multiply 1.00E-999 1e-2 -> 1.00E-1001 Subnormal
602
mulx804 multiply 1.0E-999 1e-3 -> 1.0E-1002 Subnormal
603
mulx805 multiply 1.0E-999 1e-4 -> 1E-1003 Subnormal Rounded
604
mulx806 multiply 1.3E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded
605
mulx807 multiply 1.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
606
mulx808 multiply 1.7E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
607
mulx809 multiply 2.3E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
608
mulx810 multiply 2.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
609
mulx811 multiply 2.7E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded
610
mulx812 multiply 1.49E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded
611
mulx813 multiply 1.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
612
mulx814 multiply 1.51E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
613
mulx815 multiply 2.49E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
614
mulx816 multiply 2.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
615
mulx817 multiply 2.51E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded
617
mulx818 multiply 1E-999 1e-4 -> 1E-1003 Subnormal
618
mulx819 multiply 3E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped
619
mulx820 multiply 5E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped
620
mulx821 multiply 7E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
621
mulx822 multiply 9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
622
mulx823 multiply 9.9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
624
mulx824 multiply 1E-999 -1e-4 -> -1E-1003 Subnormal
625
mulx825 multiply 3E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped
626
mulx826 multiply -5E-999 1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped
627
mulx827 multiply 7E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
628
mulx828 multiply -9E-999 1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
629
mulx829 multiply 9.9E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
630
mulx830 multiply 3.0E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped
632
mulx831 multiply 1.0E-501 1e-501 -> 1.0E-1002 Subnormal
633
mulx832 multiply 2.0E-501 2e-501 -> 4.0E-1002 Subnormal
634
mulx833 multiply 4.0E-501 4e-501 -> 1.60E-1001 Subnormal
635
mulx834 multiply 10.0E-501 10e-501 -> 1.000E-1000 Subnormal
636
mulx835 multiply 30.0E-501 30e-501 -> 9.000E-1000 Subnormal
637
mulx836 multiply 40.0E-501 40e-501 -> 1.6000E-999
640
mulx840 multiply 1E-502 1e-502 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped
641
mulx841 multiply 1E-501 1e-501 -> 1E-1002 Subnormal
642
mulx842 multiply 2E-501 2e-501 -> 4E-1002 Subnormal
643
mulx843 multiply 4E-501 4e-501 -> 1.6E-1001 Subnormal
644
mulx844 multiply 10E-501 10e-501 -> 1.00E-1000 Subnormal
645
mulx845 multiply 30E-501 30e-501 -> 9.00E-1000 Subnormal
646
mulx846 multiply 40E-501 40e-501 -> 1.600E-999
649
mulx850 multiply 1E-670 1e-335 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped
650
mulx851 multiply 1E-668 1e-334 -> 1E-1002 Subnormal
651
mulx852 multiply 4E-668 2e-334 -> 8E-1002 Subnormal
652
mulx853 multiply 9E-668 3e-334 -> 2.7E-1001 Subnormal
653
mulx854 multiply 16E-668 4e-334 -> 6.4E-1001 Subnormal
654
mulx855 multiply 25E-668 5e-334 -> 1.25E-1000 Subnormal
655
mulx856 multiply 10E-668 100e-334 -> 1.000E-999
657
-- test derived from result of 0.099 ** 999 at 15 digits with unlimited exponent
659
mulx860 multiply 6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded
661
-- Long operand overflow may be a different path
663
maxExponent: 999999999
664
minexponent: -999999999
665
mulx870 multiply 1 9.999E+999999999 -> Infinity Inexact Overflow Rounded
666
mulx871 multiply 1 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded
667
mulx872 multiply 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded
668
mulx873 multiply -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded
670
-- check for double-rounded subnormals
674
mulx881 multiply 1.2347E-40 1.2347E-40 -> 1.524E-80 Inexact Rounded Subnormal Underflow
675
mulx882 multiply 1.234E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
676
mulx883 multiply 1.23E-40 1.23E-40 -> 1.513E-80 Inexact Rounded Subnormal Underflow
677
mulx884 multiply 1.2E-40 1.2E-40 -> 1.44E-80 Subnormal
678
mulx885 multiply 1.2E-40 1.2E-41 -> 1.44E-81 Subnormal
679
mulx886 multiply 1.2E-40 1.2E-42 -> 1.4E-82 Subnormal Inexact Rounded Underflow
680
mulx887 multiply 1.2E-40 1.3E-42 -> 1.6E-82 Subnormal Inexact Rounded Underflow
681
mulx888 multiply 1.3E-40 1.3E-42 -> 1.7E-82 Subnormal Inexact Rounded Underflow
682
mulx889 multiply 1.3E-40 1.3E-43 -> 2E-83 Subnormal Inexact Rounded Underflow
683
mulx890 multiply 1.3E-41 1.3E-43 -> 0E-83 Clamped Subnormal Inexact Rounded Underflow
685
mulx891 multiply 1.2345E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded
686
mulx892 multiply 1.23456E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded
687
mulx893 multiply 1.2345E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
688
mulx894 multiply 1.23456E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
689
mulx895 multiply 1.2345E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow
690
mulx896 multiply 1.23456E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow
692
-- Now explore the case where we get a normal result with Underflow
698
mulx900 multiply 0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded
699
mulx901 multiply 0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded
700
mulx902 multiply 9.999999999999999E-383 0.0999999999999 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded
701
mulx903 multiply 9.999999999999999E-383 0.09999999999999 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded
702
mulx904 multiply 9.999999999999999E-383 0.099999999999999 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded
703
mulx905 multiply 9.999999999999999E-383 0.0999999999999999 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded
704
-- prove operands are exact
705
mulx906 multiply 9.999999999999999E-383 1 -> 9.999999999999999E-383
706
mulx907 multiply 1 0.09999999999999999 -> 0.09999999999999999
707
-- the next rounds to Nmin
708
mulx908 multiply 9.999999999999999E-383 0.09999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
709
mulx909 multiply 9.999999999999999E-383 0.099999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
710
mulx910 multiply 9.999999999999999E-383 0.0999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
711
mulx911 multiply 9.999999999999999E-383 0.09999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
714
-- Examples from SQL proposal (Krishna Kulkarni)
719
mulx1001 multiply 130E-2 120E-2 -> 1.5600
720
mulx1002 multiply 130E-2 12E-1 -> 1.560
721
mulx1003 multiply 130E-2 1E0 -> 1.30
722
mulx1004 multiply 1E2 1E4 -> 1E+6
724
-- payload decapitate
726
mulx1010 multiply 11 -sNaN1234567890 -> -NaN67890 Invalid_operation
729
mulx990 multiply 10 # -> NaN Invalid_operation
730
mulx991 multiply # 10 -> NaN Invalid_operation