Initial commit of OpenSPARC T2 architecture model.
[OpenSPARC-T2-SAM] / sam-t2 / devtools / v8plus / lib / python2.4 / test / decimaltestdata / multiply.decTest
CommitLineData
920dae64
AT
1------------------------------------------------------------------------
2-- multiply.decTest -- decimal multiplication --
3-- Copyright (c) IBM Corporation, 1981, 2004. 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 --
7-- these testcases. --
8-- --
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. --
14-- --
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 --
18-- mfc@uk.ibm.com --
19------------------------------------------------------------------------
20version: 2.39
21
22extended: 1
23precision: 9
24rounding: half_up
25maxExponent: 384
26minexponent: -383
27
28-- sanity checks (as base, above)
29mulx000 multiply 2 2 -> 4
30mulx001 multiply 2 3 -> 6
31mulx002 multiply 5 1 -> 5
32mulx003 multiply 5 2 -> 10
33mulx004 multiply 1.20 2 -> 2.40
34mulx005 multiply 1.20 0 -> 0.00
35mulx006 multiply 1.20 -2 -> -2.40
36mulx007 multiply -1.20 2 -> -2.40
37mulx008 multiply -1.20 0 -> -0.00
38mulx009 multiply -1.20 -2 -> 2.40
39mulx010 multiply 5.09 7.1 -> 36.139
40mulx011 multiply 2.5 4 -> 10.0
41mulx012 multiply 2.50 4 -> 10.00
42mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded
43mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded
44mulx015 multiply 2.50 4 -> 10.00
45precision: 6
46mulx016 multiply 2.50 4 -> 10.00
47mulx017 multiply 9.999999999 9.999999999 -> 100.000 Inexact Rounded
48
49-- 1999.12.21: next one is a edge case if intermediate longs are used
50precision: 15
51mulx019 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded
52precision: 30
53mulx160 multiply 999999999999 9765625 -> 9765624999990234375
54precision: 9
55-----
56
57-- zeros, etc.
58mulx020 multiply 0 0 -> 0
59mulx021 multiply 0 -0 -> -0
60mulx022 multiply -0 0 -> -0
61mulx023 multiply -0 -0 -> 0
62mulx030 multiply 5.00 1E-3 -> 0.00500
63mulx031 multiply 00.00 0.000 -> 0.00000
64mulx032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0
65mulx033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0
66mulx034 multiply -5.00 1E-3 -> -0.00500
67mulx035 multiply -00.00 0.000 -> -0.00000
68mulx036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0
69mulx037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0
70mulx038 multiply 5.00 -1E-3 -> -0.00500
71mulx039 multiply 00.00 -0.000 -> -0.00000
72mulx040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0
73mulx041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0
74mulx042 multiply -5.00 -1E-3 -> 0.00500
75mulx043 multiply -00.00 -0.000 -> 0.00000
76mulx044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0
77mulx045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0
78
79-- examples from decarith
80mulx050 multiply 1.20 3 -> 3.60
81mulx051 multiply 7 3 -> 21
82mulx052 multiply 0.9 0.8 -> 0.72
83mulx053 multiply 0.9 -0 -> -0.0
84mulx054 multiply 654321 654321 -> 4.28135971E+11 Inexact Rounded
85
86mulx060 multiply 123.45 1e7 -> 1.2345E+9
87mulx061 multiply 123.45 1e8 -> 1.2345E+10
88mulx062 multiply 123.45 1e+9 -> 1.2345E+11
89mulx063 multiply 123.45 1e10 -> 1.2345E+12
90mulx064 multiply 123.45 1e11 -> 1.2345E+13
91mulx065 multiply 123.45 1e12 -> 1.2345E+14
92mulx066 multiply 123.45 1e13 -> 1.2345E+15
93
94
95-- test some intermediate lengths
96precision: 9
97mulx080 multiply 0.1 123456789 -> 12345678.9
98mulx081 multiply 0.1 1234567891 -> 123456789 Inexact Rounded
99mulx082 multiply 0.1 12345678912 -> 1.23456789E+9 Inexact Rounded
100mulx083 multiply 0.1 12345678912345 -> 1.23456789E+12 Inexact Rounded
101mulx084 multiply 0.1 123456789 -> 12345678.9
102precision: 8
103mulx085 multiply 0.1 12345678912 -> 1.2345679E+9 Inexact Rounded
104mulx086 multiply 0.1 12345678912345 -> 1.2345679E+12 Inexact Rounded
105precision: 7
106mulx087 multiply 0.1 12345678912 -> 1.234568E+9 Inexact Rounded
107mulx088 multiply 0.1 12345678912345 -> 1.234568E+12 Inexact Rounded
108
109precision: 9
110mulx090 multiply 123456789 0.1 -> 12345678.9
111mulx091 multiply 1234567891 0.1 -> 123456789 Inexact Rounded
112mulx092 multiply 12345678912 0.1 -> 1.23456789E+9 Inexact Rounded
113mulx093 multiply 12345678912345 0.1 -> 1.23456789E+12 Inexact Rounded
114mulx094 multiply 123456789 0.1 -> 12345678.9
115precision: 8
116mulx095 multiply 12345678912 0.1 -> 1.2345679E+9 Inexact Rounded
117mulx096 multiply 12345678912345 0.1 -> 1.2345679E+12 Inexact Rounded
118precision: 7
119mulx097 multiply 12345678912 0.1 -> 1.234568E+9 Inexact Rounded
120mulx098 multiply 12345678912345 0.1 -> 1.234568E+12 Inexact Rounded
121
122-- test some more edge cases and carries
123maxexponent: 9999
124minexponent: -9999
125precision: 33
126mulx101 multiply 9 9 -> 81
127mulx102 multiply 9 90 -> 810
128mulx103 multiply 9 900 -> 8100
129mulx104 multiply 9 9000 -> 81000
130mulx105 multiply 9 90000 -> 810000
131mulx106 multiply 9 900000 -> 8100000
132mulx107 multiply 9 9000000 -> 81000000
133mulx108 multiply 9 90000000 -> 810000000
134mulx109 multiply 9 900000000 -> 8100000000
135mulx110 multiply 9 9000000000 -> 81000000000
136mulx111 multiply 9 90000000000 -> 810000000000
137mulx112 multiply 9 900000000000 -> 8100000000000
138mulx113 multiply 9 9000000000000 -> 81000000000000
139mulx114 multiply 9 90000000000000 -> 810000000000000
140mulx115 multiply 9 900000000000000 -> 8100000000000000
141mulx116 multiply 9 9000000000000000 -> 81000000000000000
142mulx117 multiply 9 90000000000000000 -> 810000000000000000
143mulx118 multiply 9 900000000000000000 -> 8100000000000000000
144mulx119 multiply 9 9000000000000000000 -> 81000000000000000000
145mulx120 multiply 9 90000000000000000000 -> 810000000000000000000
146mulx121 multiply 9 900000000000000000000 -> 8100000000000000000000
147mulx122 multiply 9 9000000000000000000000 -> 81000000000000000000000
148mulx123 multiply 9 90000000000000000000000 -> 810000000000000000000000
149-- test some more edge cases without carries
150mulx131 multiply 3 3 -> 9
151mulx132 multiply 3 30 -> 90
152mulx133 multiply 3 300 -> 900
153mulx134 multiply 3 3000 -> 9000
154mulx135 multiply 3 30000 -> 90000
155mulx136 multiply 3 300000 -> 900000
156mulx137 multiply 3 3000000 -> 9000000
157mulx138 multiply 3 30000000 -> 90000000
158mulx139 multiply 3 300000000 -> 900000000
159mulx140 multiply 3 3000000000 -> 9000000000
160mulx141 multiply 3 30000000000 -> 90000000000
161mulx142 multiply 3 300000000000 -> 900000000000
162mulx143 multiply 3 3000000000000 -> 9000000000000
163mulx144 multiply 3 30000000000000 -> 90000000000000
164mulx145 multiply 3 300000000000000 -> 900000000000000
165mulx146 multiply 3 3000000000000000 -> 9000000000000000
166mulx147 multiply 3 30000000000000000 -> 90000000000000000
167mulx148 multiply 3 300000000000000000 -> 900000000000000000
168mulx149 multiply 3 3000000000000000000 -> 9000000000000000000
169mulx150 multiply 3 30000000000000000000 -> 90000000000000000000
170mulx151 multiply 3 300000000000000000000 -> 900000000000000000000
171mulx152 multiply 3 3000000000000000000000 -> 9000000000000000000000
172mulx153 multiply 3 30000000000000000000000 -> 90000000000000000000000
173
174maxexponent: 999999999
175minexponent: -999999999
176precision: 9
177-- test some cases that are close to exponent overflow/underflow
178mulx170 multiply 1 9e999999999 -> 9E+999999999
179mulx171 multiply 1 9.9e999999999 -> 9.9E+999999999
180mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999
181mulx173 multiply 9e999999999 1 -> 9E+999999999
182mulx174 multiply 9.9e999999999 1 -> 9.9E+999999999
183mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999
184mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999
185mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999
186
187mulx180 multiply 0.1 9e-999999998 -> 9E-999999999
188mulx181 multiply 0.1 99e-999999998 -> 9.9E-999999998
189mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997
190
191mulx183 multiply 0.1 9e-999999998 -> 9E-999999999
192mulx184 multiply 0.1 99e-999999998 -> 9.9E-999999998
193mulx185 multiply 0.1 999e-999999998 -> 9.99E-999999997
194mulx186 multiply 0.1 999e-999999997 -> 9.99E-999999996
195mulx187 multiply 0.1 9999e-999999997 -> 9.999E-999999995
196mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994
197
198mulx190 multiply 1 9e-999999998 -> 9E-999999998
199mulx191 multiply 1 99e-999999998 -> 9.9E-999999997
200mulx192 multiply 1 999e-999999998 -> 9.99E-999999996
201mulx193 multiply 9e-999999998 1 -> 9E-999999998
202mulx194 multiply 99e-999999998 1 -> 9.9E-999999997
203mulx195 multiply 999e-999999998 1 -> 9.99E-999999996
204
205mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999
206mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999
207mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999
208mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999
209
210mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999
211mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999
212mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999
213mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999
214
215-- long operand triangle
216precision: 33
217mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded
218precision: 32
219mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283 Inexact Rounded
220precision: 31
221mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928 Inexact Rounded
222precision: 30
223mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993 Inexact Rounded
224precision: 29
225mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199 Inexact Rounded
226precision: 28
227mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120 Inexact Rounded
228precision: 27
229mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512 Inexact Rounded
230precision: 26
231mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651 Inexact Rounded
232precision: 25
233mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165 Inexact Rounded
234precision: 24
235mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917 Inexact Rounded
236precision: 23
237mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192 Inexact Rounded
238precision: 22
239mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719 Inexact Rounded
240precision: 21
241mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672 Inexact Rounded
242precision: 20
243mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967 Inexact Rounded
244precision: 19
245mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697 Inexact Rounded
246precision: 18
247mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370 Inexact Rounded
248precision: 17
249mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337 Inexact Rounded
250precision: 16
251mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934 Inexact Rounded
252precision: 15
253mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193 Inexact Rounded
254precision: 14
255mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119 Inexact Rounded
256precision: 13
257mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012 Inexact Rounded
258precision: 12
259mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801 Inexact Rounded
260precision: 11
261mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080 Inexact Rounded
262precision: 10
263mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908 Inexact Rounded
264precision: 9
265mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291 Inexact Rounded
266precision: 8
267mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29 Inexact Rounded
268precision: 7
269mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3 Inexact Rounded
270precision: 6
271mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433 Inexact Rounded
272precision: 5
273mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5 Inexact Rounded
274precision: 4
275mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5 Inexact Rounded
276precision: 3
277mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5 Inexact Rounded
278precision: 2
279mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5 Inexact Rounded
280precision: 1
281mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5 Inexact Rounded
282
283-- tryzeros cases
284precision: 7
285rounding: half_up
286maxExponent: 92
287minexponent: -92
288mulx504 multiply 0E-60 1000E-60 -> 0E-98 Clamped
289mulx505 multiply 100E+60 0E+60 -> 0E+92 Clamped
290
291-- mixed with zeros
292maxexponent: 999999999
293minexponent: -999999999
294precision: 9
295mulx541 multiply 0 -1 -> -0
296mulx542 multiply -0 -1 -> 0
297mulx543 multiply 0 1 -> 0
298mulx544 multiply -0 1 -> -0
299mulx545 multiply -1 0 -> -0
300mulx546 multiply -1 -0 -> 0
301mulx547 multiply 1 0 -> 0
302mulx548 multiply 1 -0 -> -0
303
304mulx551 multiply 0.0 -1 -> -0.0
305mulx552 multiply -0.0 -1 -> 0.0
306mulx553 multiply 0.0 1 -> 0.0
307mulx554 multiply -0.0 1 -> -0.0
308mulx555 multiply -1.0 0 -> -0.0
309mulx556 multiply -1.0 -0 -> 0.0
310mulx557 multiply 1.0 0 -> 0.0
311mulx558 multiply 1.0 -0 -> -0.0
312
313mulx561 multiply 0 -1.0 -> -0.0
314mulx562 multiply -0 -1.0 -> 0.0
315mulx563 multiply 0 1.0 -> 0.0
316mulx564 multiply -0 1.0 -> -0.0
317mulx565 multiply -1 0.0 -> -0.0
318mulx566 multiply -1 -0.0 -> 0.0
319mulx567 multiply 1 0.0 -> 0.0
320mulx568 multiply 1 -0.0 -> -0.0
321
322mulx571 multiply 0.0 -1.0 -> -0.00
323mulx572 multiply -0.0 -1.0 -> 0.00
324mulx573 multiply 0.0 1.0 -> 0.00
325mulx574 multiply -0.0 1.0 -> -0.00
326mulx575 multiply -1.0 0.0 -> -0.00
327mulx576 multiply -1.0 -0.0 -> 0.00
328mulx577 multiply 1.0 0.0 -> 0.00
329mulx578 multiply 1.0 -0.0 -> -0.00
330
331
332-- Specials
333mulx580 multiply Inf -Inf -> -Infinity
334mulx581 multiply Inf -1000 -> -Infinity
335mulx582 multiply Inf -1 -> -Infinity
336mulx583 multiply Inf -0 -> NaN Invalid_operation
337mulx584 multiply Inf 0 -> NaN Invalid_operation
338mulx585 multiply Inf 1 -> Infinity
339mulx586 multiply Inf 1000 -> Infinity
340mulx587 multiply Inf Inf -> Infinity
341mulx588 multiply -1000 Inf -> -Infinity
342mulx589 multiply -Inf Inf -> -Infinity
343mulx590 multiply -1 Inf -> -Infinity
344mulx591 multiply -0 Inf -> NaN Invalid_operation
345mulx592 multiply 0 Inf -> NaN Invalid_operation
346mulx593 multiply 1 Inf -> Infinity
347mulx594 multiply 1000 Inf -> Infinity
348mulx595 multiply Inf Inf -> Infinity
349
350mulx600 multiply -Inf -Inf -> Infinity
351mulx601 multiply -Inf -1000 -> Infinity
352mulx602 multiply -Inf -1 -> Infinity
353mulx603 multiply -Inf -0 -> NaN Invalid_operation
354mulx604 multiply -Inf 0 -> NaN Invalid_operation
355mulx605 multiply -Inf 1 -> -Infinity
356mulx606 multiply -Inf 1000 -> -Infinity
357mulx607 multiply -Inf Inf -> -Infinity
358mulx608 multiply -1000 Inf -> -Infinity
359mulx609 multiply -Inf -Inf -> Infinity
360mulx610 multiply -1 -Inf -> Infinity
361mulx611 multiply -0 -Inf -> NaN Invalid_operation
362mulx612 multiply 0 -Inf -> NaN Invalid_operation
363mulx613 multiply 1 -Inf -> -Infinity
364mulx614 multiply 1000 -Inf -> -Infinity
365mulx615 multiply Inf -Inf -> -Infinity
366
367mulx621 multiply NaN -Inf -> NaN
368mulx622 multiply NaN -1000 -> NaN
369mulx623 multiply NaN -1 -> NaN
370mulx624 multiply NaN -0 -> NaN
371mulx625 multiply NaN 0 -> NaN
372mulx626 multiply NaN 1 -> NaN
373mulx627 multiply NaN 1000 -> NaN
374mulx628 multiply NaN Inf -> NaN
375mulx629 multiply NaN NaN -> NaN
376mulx630 multiply -Inf NaN -> NaN
377mulx631 multiply -1000 NaN -> NaN
378mulx632 multiply -1 NaN -> NaN
379mulx633 multiply -0 NaN -> NaN
380mulx634 multiply 0 NaN -> NaN
381mulx635 multiply 1 NaN -> NaN
382mulx636 multiply 1000 NaN -> NaN
383mulx637 multiply Inf NaN -> NaN
384
385mulx641 multiply sNaN -Inf -> NaN Invalid_operation
386mulx642 multiply sNaN -1000 -> NaN Invalid_operation
387mulx643 multiply sNaN -1 -> NaN Invalid_operation
388mulx644 multiply sNaN -0 -> NaN Invalid_operation
389mulx645 multiply sNaN 0 -> NaN Invalid_operation
390mulx646 multiply sNaN 1 -> NaN Invalid_operation
391mulx647 multiply sNaN 1000 -> NaN Invalid_operation
392mulx648 multiply sNaN NaN -> NaN Invalid_operation
393mulx649 multiply sNaN sNaN -> NaN Invalid_operation
394mulx650 multiply NaN sNaN -> NaN Invalid_operation
395mulx651 multiply -Inf sNaN -> NaN Invalid_operation
396mulx652 multiply -1000 sNaN -> NaN Invalid_operation
397mulx653 multiply -1 sNaN -> NaN Invalid_operation
398mulx654 multiply -0 sNaN -> NaN Invalid_operation
399mulx655 multiply 0 sNaN -> NaN Invalid_operation
400mulx656 multiply 1 sNaN -> NaN Invalid_operation
401mulx657 multiply 1000 sNaN -> NaN Invalid_operation
402mulx658 multiply Inf sNaN -> NaN Invalid_operation
403mulx659 multiply NaN sNaN -> NaN Invalid_operation
404
405-- propagating NaNs
406mulx661 multiply NaN9 -Inf -> NaN9
407mulx662 multiply NaN8 999 -> NaN8
408mulx663 multiply NaN71 Inf -> NaN71
409mulx664 multiply NaN6 NaN5 -> NaN6
410mulx665 multiply -Inf NaN4 -> NaN4
411mulx666 multiply -999 NaN33 -> NaN33
412mulx667 multiply Inf NaN2 -> NaN2
413
414mulx671 multiply sNaN99 -Inf -> NaN99 Invalid_operation
415mulx672 multiply sNaN98 -11 -> NaN98 Invalid_operation
416mulx673 multiply sNaN97 NaN -> NaN97 Invalid_operation
417mulx674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation
418mulx675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation
419mulx676 multiply -Inf sNaN92 -> NaN92 Invalid_operation
420mulx677 multiply 088 sNaN91 -> NaN91 Invalid_operation
421mulx678 multiply Inf sNaN90 -> NaN90 Invalid_operation
422mulx679 multiply NaN sNaN89 -> NaN89 Invalid_operation
423
424mulx681 multiply -NaN9 -Inf -> -NaN9
425mulx682 multiply -NaN8 999 -> -NaN8
426mulx683 multiply -NaN71 Inf -> -NaN71
427mulx684 multiply -NaN6 -NaN5 -> -NaN6
428mulx685 multiply -Inf -NaN4 -> -NaN4
429mulx686 multiply -999 -NaN33 -> -NaN33
430mulx687 multiply Inf -NaN2 -> -NaN2
431
432mulx691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation
433mulx692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation
434mulx693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation
435mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation
436mulx695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation
437mulx696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation
438mulx697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation
439mulx698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation
440mulx699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation
441
442mulx701 multiply -NaN -Inf -> -NaN
443mulx702 multiply -NaN 999 -> -NaN
444mulx703 multiply -NaN Inf -> -NaN
445mulx704 multiply -NaN -NaN -> -NaN
446mulx705 multiply -Inf -NaN0 -> -NaN
447mulx706 multiply -999 -NaN -> -NaN
448mulx707 multiply Inf -NaN -> -NaN
449
450mulx711 multiply -sNaN -Inf -> -NaN Invalid_operation
451mulx712 multiply -sNaN -11 -> -NaN Invalid_operation
452mulx713 multiply -sNaN00 NaN -> -NaN Invalid_operation
453mulx714 multiply -sNaN -sNaN -> -NaN Invalid_operation
454mulx715 multiply -NaN -sNaN -> -NaN Invalid_operation
455mulx716 multiply -Inf -sNaN -> -NaN Invalid_operation
456mulx717 multiply 088 -sNaN -> -NaN Invalid_operation
457mulx718 multiply Inf -sNaN -> -NaN Invalid_operation
458mulx719 multiply -NaN -sNaN -> -NaN Invalid_operation
459
460-- overflow and underflow tests .. note subnormal results
461maxexponent: 999999999
462minexponent: -999999999
463mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded
464mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded
465mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal
466mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal
467mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded
468mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded
469mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal
470mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal
471
472mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal
473mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999
474mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal
475mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal
476mulx743 multiply 9e-999999998 0.1 -> 9E-999999999
477mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal
478mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded
479mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999
480mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded
481mulx748 multiply 9e999999998 100 -> Infinity Overflow Inexact Rounded
482mulx749 multiply 9e999999998 10 -> 9.0E+999999999
483mulx750 multiply 100 9e999999998 -> Infinity Overflow Inexact Rounded
484-- signs
485mulx751 multiply 1e+777777777 1e+411111111 -> Infinity Overflow Inexact Rounded
486mulx752 multiply 1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded
487mulx753 multiply -1e+777777777 1e+411111111 -> -Infinity Overflow Inexact Rounded
488mulx754 multiply -1e+777777777 -1e+411111111 -> Infinity Overflow Inexact Rounded
489mulx755 multiply 1e-777777777 1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
490mulx756 multiply 1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded
491mulx757 multiply -1e-777777777 1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded
492mulx758 multiply -1e-777777777 -1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
493
494-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
495precision: 9
496mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal
497mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal
498mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal
499mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal
500mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal
501mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal
502mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
503mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
504mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
505mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded
506-- [no equivalent of 'subnormal' for overflow]
507mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded
508mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded
509mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded
510mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded
511mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded
512mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded
513mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded
514mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded
515mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded
516mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded
517
518-- 'subnormal' test edge condition at higher precisions
519precision: 99
520mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
521mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
522mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal
523mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded
524precision: 999
525mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal
526mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded
527
528-- following testcases [through mulx800] not yet run against code
529precision: 9999
530mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal
531mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded
532precision: 99999
533mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal
534mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded
535precision: 999999
536mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal
537mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded
538precision: 9999999
539mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal
540mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded
541precision: 99999999
542mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal
543mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded
544precision: 999999999
545mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal
546mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal
547mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded
548mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal
549mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal
550
551-- test subnormals rounding
552precision: 5
553maxExponent: 999
554minexponent: -999
555rounding: half_even
556
557mulx801 multiply 1.0000E-999 1 -> 1.0000E-999
558mulx802 multiply 1.000E-999 1e-1 -> 1.000E-1000 Subnormal
559mulx803 multiply 1.00E-999 1e-2 -> 1.00E-1001 Subnormal
560mulx804 multiply 1.0E-999 1e-3 -> 1.0E-1002 Subnormal
561mulx805 multiply 1.0E-999 1e-4 -> 1E-1003 Subnormal Rounded
562mulx806 multiply 1.3E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded
563mulx807 multiply 1.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
564mulx808 multiply 1.7E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
565mulx809 multiply 2.3E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
566mulx810 multiply 2.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
567mulx811 multiply 2.7E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded
568mulx812 multiply 1.49E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded
569mulx813 multiply 1.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
570mulx814 multiply 1.51E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
571mulx815 multiply 2.49E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
572mulx816 multiply 2.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded
573mulx817 multiply 2.51E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded
574
575mulx818 multiply 1E-999 1e-4 -> 1E-1003 Subnormal
576mulx819 multiply 3E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded
577mulx820 multiply 5E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded
578mulx821 multiply 7E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
579mulx822 multiply 9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
580mulx823 multiply 9.9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded
581
582mulx824 multiply 1E-999 -1e-4 -> -1E-1003 Subnormal
583mulx825 multiply 3E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded
584mulx826 multiply -5E-999 1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded
585mulx827 multiply 7E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
586mulx828 multiply -9E-999 1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
587mulx829 multiply 9.9E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded
588mulx830 multiply 3.0E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded
589
590mulx831 multiply 1.0E-501 1e-501 -> 1.0E-1002 Subnormal
591mulx832 multiply 2.0E-501 2e-501 -> 4.0E-1002 Subnormal
592mulx833 multiply 4.0E-501 4e-501 -> 1.60E-1001 Subnormal
593mulx834 multiply 10.0E-501 10e-501 -> 1.000E-1000 Subnormal
594mulx835 multiply 30.0E-501 30e-501 -> 9.000E-1000 Subnormal
595mulx836 multiply 40.0E-501 40e-501 -> 1.6000E-999
596
597-- squares
598mulx840 multiply 1E-502 1e-502 -> 0E-1003 Underflow Subnormal Inexact Rounded
599mulx841 multiply 1E-501 1e-501 -> 1E-1002 Subnormal
600mulx842 multiply 2E-501 2e-501 -> 4E-1002 Subnormal
601mulx843 multiply 4E-501 4e-501 -> 1.6E-1001 Subnormal
602mulx844 multiply 10E-501 10e-501 -> 1.00E-1000 Subnormal
603mulx845 multiply 30E-501 30e-501 -> 9.00E-1000 Subnormal
604mulx846 multiply 40E-501 40e-501 -> 1.600E-999
605
606-- cubes
607mulx850 multiply 1E-670 1e-335 -> 0E-1003 Underflow Subnormal Inexact Rounded
608mulx851 multiply 1E-668 1e-334 -> 1E-1002 Subnormal
609mulx852 multiply 4E-668 2e-334 -> 8E-1002 Subnormal
610mulx853 multiply 9E-668 3e-334 -> 2.7E-1001 Subnormal
611mulx854 multiply 16E-668 4e-334 -> 6.4E-1001 Subnormal
612mulx855 multiply 25E-668 5e-334 -> 1.25E-1000 Subnormal
613mulx856 multiply 10E-668 100e-334 -> 1.000E-999
614
615-- test from 0.099 ** 999 at 15 digits
616precision: 19
617mulx860 multiply 6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded
618
619-- Long operand overflow may be a different path
620precision: 3
621maxExponent: 999999999
622minexponent: -999999999
623mulx870 multiply 1 9.999E+999999999 -> Infinity Inexact Overflow Rounded
624mulx871 multiply 1 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded
625mulx872 multiply 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded
626mulx873 multiply -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded
627
628-- check for double-rounded subnormals
629precision: 5
630maxexponent: 79
631minexponent: -79
632mulx881 multiply 1.2347E-40 1.2347E-40 -> 1.524E-80 Inexact Rounded Subnormal Underflow
633mulx882 multiply 1.234E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
634mulx883 multiply 1.23E-40 1.23E-40 -> 1.513E-80 Inexact Rounded Subnormal Underflow
635mulx884 multiply 1.2E-40 1.2E-40 -> 1.44E-80 Subnormal
636mulx885 multiply 1.2E-40 1.2E-41 -> 1.44E-81 Subnormal
637mulx886 multiply 1.2E-40 1.2E-42 -> 1.4E-82 Subnormal Inexact Rounded Underflow
638mulx887 multiply 1.2E-40 1.3E-42 -> 1.6E-82 Subnormal Inexact Rounded Underflow
639mulx888 multiply 1.3E-40 1.3E-42 -> 1.7E-82 Subnormal Inexact Rounded Underflow
640
641mulx891 multiply 1.2345E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded
642mulx892 multiply 1.23456E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded
643mulx893 multiply 1.2345E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
644mulx894 multiply 1.23456E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow
645mulx895 multiply 1.2345E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow
646mulx896 multiply 1.23456E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow
647
648-- Null tests
649mulx900 multiply 10 # -> NaN Invalid_operation
650mulx901 multiply # 10 -> NaN Invalid_operation
651