← Back to branch summary

~ubuntu-branches/ubuntu/karmic/pypy/karmic

« back to all changes in this revision

Viewing changes to lib-python/2.4.1/test/decimaltestdata/multiply.decTest

  • Committer: Bazaar Package Importer
  • Author(s): Alexandre Fayolle
  • Date: 2007-04-13 09:33:09 UTC
  • Revision ID: james.westby@ubuntu.com-20070413093309-yoojh4jcoocu2krz
Tags: upstream-1.0.0
Import upstream version 1.0.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib-python/2.4.1/test/decimaltestdata/multiply.decTest
 
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