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