]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | ------------------------------------------------------------------------\r |
2 | -- ddAdd.decTest -- decDouble addition --\r | |
3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r | |
4 | ------------------------------------------------------------------------\r | |
5 | -- Please see the document "General Decimal Arithmetic Testcases" --\r | |
6 | -- at http://www2.hursley.ibm.com/decimal for the description of --\r | |
7 | -- these testcases. --\r | |
8 | -- --\r | |
9 | -- These testcases are experimental ('beta' versions), and they --\r | |
10 | -- may contain errors. They are offered on an as-is basis. In --\r | |
11 | -- particular, achieving the same results as the tests here is not --\r | |
12 | -- a guarantee that an implementation complies with any Standard --\r | |
13 | -- or specification. The tests are not exhaustive. --\r | |
14 | -- --\r | |
15 | -- Please send comments, suggestions, and corrections to the author: --\r | |
16 | -- Mike Cowlishaw, IBM Fellow --\r | |
17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r | |
18 | -- mfc@uk.ibm.com --\r | |
19 | ------------------------------------------------------------------------\r | |
20 | version: 2.59\r | |
21 | \r | |
22 | -- This set of tests are for decDoubles only; all arguments are\r | |
23 | -- representable in a decDouble\r | |
24 | precision: 16\r | |
25 | maxExponent: 384\r | |
26 | minExponent: -383\r | |
27 | extended: 1\r | |
28 | clamp: 1\r | |
29 | rounding: half_even\r | |
30 | \r | |
31 | -- [first group are 'quick confidence check']\r | |
32 | ddadd001 add 1 1 -> 2\r | |
33 | ddadd002 add 2 3 -> 5\r | |
34 | ddadd003 add '5.75' '3.3' -> 9.05\r | |
35 | ddadd004 add '5' '-3' -> 2\r | |
36 | ddadd005 add '-5' '-3' -> -8\r | |
37 | ddadd006 add '-7' '2.5' -> -4.5\r | |
38 | ddadd007 add '0.7' '0.3' -> 1.0\r | |
39 | ddadd008 add '1.25' '1.25' -> 2.50\r | |
40 | ddadd009 add '1.23456789' '1.00000000' -> '2.23456789'\r | |
41 | ddadd010 add '1.23456789' '1.00000011' -> '2.23456800'\r | |
42 | \r | |
43 | -- 1234567890123456 1234567890123456\r | |
44 | ddadd011 add '0.4444444444444446' '0.5555555555555555' -> '1.000000000000000' Inexact Rounded\r | |
45 | ddadd012 add '0.4444444444444445' '0.5555555555555555' -> '1.000000000000000' Rounded\r | |
46 | ddadd013 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999'\r | |
47 | ddadd014 add '4444444444444444' '0.49' -> '4444444444444444' Inexact Rounded\r | |
48 | ddadd015 add '4444444444444444' '0.499' -> '4444444444444444' Inexact Rounded\r | |
49 | ddadd016 add '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded\r | |
50 | ddadd017 add '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded\r | |
51 | ddadd018 add '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded\r | |
52 | ddadd019 add '4444444444444444' '0.501' -> '4444444444444445' Inexact Rounded\r | |
53 | ddadd020 add '4444444444444444' '0.51' -> '4444444444444445' Inexact Rounded\r | |
54 | \r | |
55 | ddadd021 add 0 1 -> 1\r | |
56 | ddadd022 add 1 1 -> 2\r | |
57 | ddadd023 add 2 1 -> 3\r | |
58 | ddadd024 add 3 1 -> 4\r | |
59 | ddadd025 add 4 1 -> 5\r | |
60 | ddadd026 add 5 1 -> 6\r | |
61 | ddadd027 add 6 1 -> 7\r | |
62 | ddadd028 add 7 1 -> 8\r | |
63 | ddadd029 add 8 1 -> 9\r | |
64 | ddadd030 add 9 1 -> 10\r | |
65 | \r | |
66 | -- some carrying effects\r | |
67 | ddadd031 add '0.9998' '0.0000' -> '0.9998'\r | |
68 | ddadd032 add '0.9998' '0.0001' -> '0.9999'\r | |
69 | ddadd033 add '0.9998' '0.0002' -> '1.0000'\r | |
70 | ddadd034 add '0.9998' '0.0003' -> '1.0001'\r | |
71 | \r | |
72 | ddadd035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r | |
73 | ddadd036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r | |
74 | ddadd037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r | |
75 | ddadd038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded\r | |
76 | ddadd039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded\r | |
77 | \r | |
78 | -- symmetry:\r | |
79 | ddadd040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded\r | |
80 | ddadd041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded\r | |
81 | ddadd042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded\r | |
82 | ddadd044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded\r | |
83 | ddadd045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded\r | |
84 | \r | |
85 | -- same, without rounding\r | |
86 | ddadd046 add '10000e+9' '7' -> '10000000000007'\r | |
87 | ddadd047 add '10000e+9' '70' -> '10000000000070'\r | |
88 | ddadd048 add '10000e+9' '700' -> '10000000000700'\r | |
89 | ddadd049 add '10000e+9' '7000' -> '10000000007000'\r | |
90 | ddadd050 add '10000e+9' '70000' -> '10000000070000'\r | |
91 | ddadd051 add '10000e+9' '700000' -> '10000000700000'\r | |
92 | ddadd052 add '10000e+9' '7000000' -> '10000007000000'\r | |
93 | \r | |
94 | -- examples from decarith\r | |
95 | ddadd053 add '12' '7.00' -> '19.00'\r | |
96 | ddadd054 add '1.3' '-1.07' -> '0.23'\r | |
97 | ddadd055 add '1.3' '-1.30' -> '0.00'\r | |
98 | ddadd056 add '1.3' '-2.07' -> '-0.77'\r | |
99 | ddadd057 add '1E+2' '1E+4' -> '1.01E+4'\r | |
100 | \r | |
101 | -- leading zero preservation\r | |
102 | ddadd061 add 1 '0.0001' -> '1.0001'\r | |
103 | ddadd062 add 1 '0.00001' -> '1.00001'\r | |
104 | ddadd063 add 1 '0.000001' -> '1.000001'\r | |
105 | ddadd064 add 1 '0.0000001' -> '1.0000001'\r | |
106 | ddadd065 add 1 '0.00000001' -> '1.00000001'\r | |
107 | \r | |
108 | -- some funny zeros [in case of bad signum]\r | |
109 | ddadd070 add 1 0 -> 1\r | |
110 | ddadd071 add 1 0. -> 1\r | |
111 | ddadd072 add 1 .0 -> 1.0\r | |
112 | ddadd073 add 1 0.0 -> 1.0\r | |
113 | ddadd074 add 1 0.00 -> 1.00\r | |
114 | ddadd075 add 0 1 -> 1\r | |
115 | ddadd076 add 0. 1 -> 1\r | |
116 | ddadd077 add .0 1 -> 1.0\r | |
117 | ddadd078 add 0.0 1 -> 1.0\r | |
118 | ddadd079 add 0.00 1 -> 1.00\r | |
119 | \r | |
120 | -- some carries\r | |
121 | ddadd080 add 999999998 1 -> 999999999\r | |
122 | ddadd081 add 999999999 1 -> 1000000000\r | |
123 | ddadd082 add 99999999 1 -> 100000000\r | |
124 | ddadd083 add 9999999 1 -> 10000000\r | |
125 | ddadd084 add 999999 1 -> 1000000\r | |
126 | ddadd085 add 99999 1 -> 100000\r | |
127 | ddadd086 add 9999 1 -> 10000\r | |
128 | ddadd087 add 999 1 -> 1000\r | |
129 | ddadd088 add 99 1 -> 100\r | |
130 | ddadd089 add 9 1 -> 10\r | |
131 | \r | |
132 | \r | |
133 | -- more LHS swaps\r | |
134 | ddadd090 add '-56267E-10' 0 -> '-0.0000056267'\r | |
135 | ddadd091 add '-56267E-6' 0 -> '-0.056267'\r | |
136 | ddadd092 add '-56267E-5' 0 -> '-0.56267'\r | |
137 | ddadd093 add '-56267E-4' 0 -> '-5.6267'\r | |
138 | ddadd094 add '-56267E-3' 0 -> '-56.267'\r | |
139 | ddadd095 add '-56267E-2' 0 -> '-562.67'\r | |
140 | ddadd096 add '-56267E-1' 0 -> '-5626.7'\r | |
141 | ddadd097 add '-56267E-0' 0 -> '-56267'\r | |
142 | ddadd098 add '-5E-10' 0 -> '-5E-10'\r | |
143 | ddadd099 add '-5E-7' 0 -> '-5E-7'\r | |
144 | ddadd100 add '-5E-6' 0 -> '-0.000005'\r | |
145 | ddadd101 add '-5E-5' 0 -> '-0.00005'\r | |
146 | ddadd102 add '-5E-4' 0 -> '-0.0005'\r | |
147 | ddadd103 add '-5E-1' 0 -> '-0.5'\r | |
148 | ddadd104 add '-5E0' 0 -> '-5'\r | |
149 | ddadd105 add '-5E1' 0 -> '-50'\r | |
150 | ddadd106 add '-5E5' 0 -> '-500000'\r | |
151 | ddadd107 add '-5E15' 0 -> '-5000000000000000'\r | |
152 | ddadd108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded\r | |
153 | ddadd109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded\r | |
154 | ddadd110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded\r | |
155 | ddadd111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded\r | |
156 | \r | |
157 | -- more RHS swaps\r | |
158 | ddadd113 add 0 '-56267E-10' -> '-0.0000056267'\r | |
159 | ddadd114 add 0 '-56267E-6' -> '-0.056267'\r | |
160 | ddadd116 add 0 '-56267E-5' -> '-0.56267'\r | |
161 | ddadd117 add 0 '-56267E-4' -> '-5.6267'\r | |
162 | ddadd119 add 0 '-56267E-3' -> '-56.267'\r | |
163 | ddadd120 add 0 '-56267E-2' -> '-562.67'\r | |
164 | ddadd121 add 0 '-56267E-1' -> '-5626.7'\r | |
165 | ddadd122 add 0 '-56267E-0' -> '-56267'\r | |
166 | ddadd123 add 0 '-5E-10' -> '-5E-10'\r | |
167 | ddadd124 add 0 '-5E-7' -> '-5E-7'\r | |
168 | ddadd125 add 0 '-5E-6' -> '-0.000005'\r | |
169 | ddadd126 add 0 '-5E-5' -> '-0.00005'\r | |
170 | ddadd127 add 0 '-5E-4' -> '-0.0005'\r | |
171 | ddadd128 add 0 '-5E-1' -> '-0.5'\r | |
172 | ddadd129 add 0 '-5E0' -> '-5'\r | |
173 | ddadd130 add 0 '-5E1' -> '-50'\r | |
174 | ddadd131 add 0 '-5E5' -> '-500000'\r | |
175 | ddadd132 add 0 '-5E15' -> '-5000000000000000'\r | |
176 | ddadd133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded\r | |
177 | ddadd134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded\r | |
178 | ddadd135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded\r | |
179 | ddadd136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded\r | |
180 | \r | |
181 | -- related\r | |
182 | ddadd137 add 1 '0E-19' -> '1.000000000000000' Rounded\r | |
183 | ddadd138 add -1 '0E-19' -> '-1.000000000000000' Rounded\r | |
184 | ddadd139 add '0E-19' 1 -> '1.000000000000000' Rounded\r | |
185 | ddadd140 add '0E-19' -1 -> '-1.000000000000000' Rounded\r | |
186 | ddadd141 add 1E+11 0.0000 -> '100000000000.0000'\r | |
187 | ddadd142 add 1E+11 0.00000 -> '100000000000.0000' Rounded\r | |
188 | ddadd143 add 0.000 1E+12 -> '1000000000000.000'\r | |
189 | ddadd144 add 0.0000 1E+12 -> '1000000000000.000' Rounded\r | |
190 | \r | |
191 | -- [some of the next group are really constructor tests]\r | |
192 | ddadd146 add '00.0' 0 -> '0.0'\r | |
193 | ddadd147 add '0.00' 0 -> '0.00'\r | |
194 | ddadd148 add 0 '0.00' -> '0.00'\r | |
195 | ddadd149 add 0 '00.0' -> '0.0'\r | |
196 | ddadd150 add '00.0' '0.00' -> '0.00'\r | |
197 | ddadd151 add '0.00' '00.0' -> '0.00'\r | |
198 | ddadd152 add '3' '.3' -> '3.3'\r | |
199 | ddadd153 add '3.' '.3' -> '3.3'\r | |
200 | ddadd154 add '3.0' '.3' -> '3.3'\r | |
201 | ddadd155 add '3.00' '.3' -> '3.30'\r | |
202 | ddadd156 add '3' '3' -> '6'\r | |
203 | ddadd157 add '3' '+3' -> '6'\r | |
204 | ddadd158 add '3' '-3' -> '0'\r | |
205 | ddadd159 add '0.3' '-0.3' -> '0.0'\r | |
206 | ddadd160 add '0.03' '-0.03' -> '0.00'\r | |
207 | \r | |
208 | -- try borderline precision, with carries, etc.\r | |
209 | ddadd161 add '1E+12' '-1' -> '999999999999'\r | |
210 | ddadd162 add '1E+12' '1.11' -> '1000000000001.11'\r | |
211 | ddadd163 add '1.11' '1E+12' -> '1000000000001.11'\r | |
212 | ddadd164 add '-1' '1E+12' -> '999999999999'\r | |
213 | ddadd165 add '7E+12' '-1' -> '6999999999999'\r | |
214 | ddadd166 add '7E+12' '1.11' -> '7000000000001.11'\r | |
215 | ddadd167 add '1.11' '7E+12' -> '7000000000001.11'\r | |
216 | ddadd168 add '-1' '7E+12' -> '6999999999999'\r | |
217 | \r | |
218 | rounding: half_up\r | |
219 | -- 1.234567890123456 1234567890123456 1 234567890123456\r | |
220 | ddadd170 add '4.444444444444444' '0.5555555555555567' -> '5.000000000000001' Inexact Rounded\r | |
221 | ddadd171 add '4.444444444444444' '0.5555555555555566' -> '5.000000000000001' Inexact Rounded\r | |
222 | ddadd172 add '4.444444444444444' '0.5555555555555565' -> '5.000000000000001' Inexact Rounded\r | |
223 | ddadd173 add '4.444444444444444' '0.5555555555555564' -> '5.000000000000000' Inexact Rounded\r | |
224 | ddadd174 add '4.444444444444444' '0.5555555555555553' -> '4.999999999999999' Inexact Rounded\r | |
225 | ddadd175 add '4.444444444444444' '0.5555555555555552' -> '4.999999999999999' Inexact Rounded\r | |
226 | ddadd176 add '4.444444444444444' '0.5555555555555551' -> '4.999999999999999' Inexact Rounded\r | |
227 | ddadd177 add '4.444444444444444' '0.5555555555555550' -> '4.999999999999999' Rounded\r | |
228 | ddadd178 add '4.444444444444444' '0.5555555555555545' -> '4.999999999999999' Inexact Rounded\r | |
229 | ddadd179 add '4.444444444444444' '0.5555555555555544' -> '4.999999999999998' Inexact Rounded\r | |
230 | ddadd180 add '4.444444444444444' '0.5555555555555543' -> '4.999999999999998' Inexact Rounded\r | |
231 | ddadd181 add '4.444444444444444' '0.5555555555555542' -> '4.999999999999998' Inexact Rounded\r | |
232 | ddadd182 add '4.444444444444444' '0.5555555555555541' -> '4.999999999999998' Inexact Rounded\r | |
233 | ddadd183 add '4.444444444444444' '0.5555555555555540' -> '4.999999999999998' Rounded\r | |
234 | \r | |
235 | -- and some more, including residue effects and different roundings\r | |
236 | rounding: half_up\r | |
237 | ddadd200 add '1234560123456789' 0 -> '1234560123456789'\r | |
238 | ddadd201 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded\r | |
239 | ddadd202 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded\r | |
240 | ddadd203 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded\r | |
241 | ddadd204 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded\r | |
242 | ddadd205 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded\r | |
243 | ddadd206 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded\r | |
244 | ddadd207 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded\r | |
245 | ddadd208 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded\r | |
246 | ddadd209 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded\r | |
247 | ddadd210 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded\r | |
248 | ddadd211 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded\r | |
249 | ddadd212 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded\r | |
250 | ddadd213 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded\r | |
251 | ddadd214 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded\r | |
252 | ddadd215 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded\r | |
253 | ddadd216 add '1234560123456789' 1 -> '1234560123456790'\r | |
254 | ddadd217 add '1234560123456789' 1.000000001 -> '1234560123456790' Inexact Rounded\r | |
255 | ddadd218 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded\r | |
256 | ddadd219 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded\r | |
257 | \r | |
258 | rounding: half_even\r | |
259 | ddadd220 add '1234560123456789' 0 -> '1234560123456789'\r | |
260 | ddadd221 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded\r | |
261 | ddadd222 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded\r | |
262 | ddadd223 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded\r | |
263 | ddadd224 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded\r | |
264 | ddadd225 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded\r | |
265 | ddadd226 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded\r | |
266 | ddadd227 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded\r | |
267 | ddadd228 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded\r | |
268 | ddadd229 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded\r | |
269 | ddadd230 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded\r | |
270 | ddadd231 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded\r | |
271 | ddadd232 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded\r | |
272 | ddadd233 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded\r | |
273 | ddadd234 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded\r | |
274 | ddadd235 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded\r | |
275 | ddadd236 add '1234560123456789' 1 -> '1234560123456790'\r | |
276 | ddadd237 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded\r | |
277 | ddadd238 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded\r | |
278 | ddadd239 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded\r | |
279 | -- critical few with even bottom digit...\r | |
280 | ddadd240 add '1234560123456788' 0.499999999 -> '1234560123456788' Inexact Rounded\r | |
281 | ddadd241 add '1234560123456788' 0.5 -> '1234560123456788' Inexact Rounded\r | |
282 | ddadd242 add '1234560123456788' 0.500000001 -> '1234560123456789' Inexact Rounded\r | |
283 | \r | |
284 | rounding: down\r | |
285 | ddadd250 add '1234560123456789' 0 -> '1234560123456789'\r | |
286 | ddadd251 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded\r | |
287 | ddadd252 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded\r | |
288 | ddadd253 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded\r | |
289 | ddadd254 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded\r | |
290 | ddadd255 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded\r | |
291 | ddadd256 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded\r | |
292 | ddadd257 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded\r | |
293 | ddadd258 add '1234560123456789' 0.5 -> '1234560123456789' Inexact Rounded\r | |
294 | ddadd259 add '1234560123456789' 0.500000001 -> '1234560123456789' Inexact Rounded\r | |
295 | ddadd260 add '1234560123456789' 0.500001 -> '1234560123456789' Inexact Rounded\r | |
296 | ddadd261 add '1234560123456789' 0.51 -> '1234560123456789' Inexact Rounded\r | |
297 | ddadd262 add '1234560123456789' 0.6 -> '1234560123456789' Inexact Rounded\r | |
298 | ddadd263 add '1234560123456789' 0.9 -> '1234560123456789' Inexact Rounded\r | |
299 | ddadd264 add '1234560123456789' 0.99999 -> '1234560123456789' Inexact Rounded\r | |
300 | ddadd265 add '1234560123456789' 0.999999999 -> '1234560123456789' Inexact Rounded\r | |
301 | ddadd266 add '1234560123456789' 1 -> '1234560123456790'\r | |
302 | ddadd267 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded\r | |
303 | ddadd268 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded\r | |
304 | ddadd269 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded\r | |
305 | \r | |
306 | -- 1 in last place tests\r | |
307 | rounding: half_up\r | |
308 | ddadd301 add -1 1 -> 0\r | |
309 | ddadd302 add 0 1 -> 1\r | |
310 | ddadd303 add 1 1 -> 2\r | |
311 | ddadd304 add 12 1 -> 13\r | |
312 | ddadd305 add 98 1 -> 99\r | |
313 | ddadd306 add 99 1 -> 100\r | |
314 | ddadd307 add 100 1 -> 101\r | |
315 | ddadd308 add 101 1 -> 102\r | |
316 | ddadd309 add -1 -1 -> -2\r | |
317 | ddadd310 add 0 -1 -> -1\r | |
318 | ddadd311 add 1 -1 -> 0\r | |
319 | ddadd312 add 12 -1 -> 11\r | |
320 | ddadd313 add 98 -1 -> 97\r | |
321 | ddadd314 add 99 -1 -> 98\r | |
322 | ddadd315 add 100 -1 -> 99\r | |
323 | ddadd316 add 101 -1 -> 100\r | |
324 | \r | |
325 | ddadd321 add -0.01 0.01 -> 0.00\r | |
326 | ddadd322 add 0.00 0.01 -> 0.01\r | |
327 | ddadd323 add 0.01 0.01 -> 0.02\r | |
328 | ddadd324 add 0.12 0.01 -> 0.13\r | |
329 | ddadd325 add 0.98 0.01 -> 0.99\r | |
330 | ddadd326 add 0.99 0.01 -> 1.00\r | |
331 | ddadd327 add 1.00 0.01 -> 1.01\r | |
332 | ddadd328 add 1.01 0.01 -> 1.02\r | |
333 | ddadd329 add -0.01 -0.01 -> -0.02\r | |
334 | ddadd330 add 0.00 -0.01 -> -0.01\r | |
335 | ddadd331 add 0.01 -0.01 -> 0.00\r | |
336 | ddadd332 add 0.12 -0.01 -> 0.11\r | |
337 | ddadd333 add 0.98 -0.01 -> 0.97\r | |
338 | ddadd334 add 0.99 -0.01 -> 0.98\r | |
339 | ddadd335 add 1.00 -0.01 -> 0.99\r | |
340 | ddadd336 add 1.01 -0.01 -> 1.00\r | |
341 | \r | |
342 | -- some more cases where adding 0 affects the coefficient\r | |
343 | ddadd340 add 1E+3 0 -> 1000\r | |
344 | ddadd341 add 1E+15 0 -> 1000000000000000\r | |
345 | ddadd342 add 1E+16 0 -> 1.000000000000000E+16 Rounded\r | |
346 | ddadd343 add 1E+20 0 -> 1.000000000000000E+20 Rounded\r | |
347 | -- which simply follow from these cases ...\r | |
348 | ddadd344 add 1E+3 1 -> 1001\r | |
349 | ddadd345 add 1E+15 1 -> 1000000000000001\r | |
350 | ddadd346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded\r | |
351 | ddadd347 add 1E+20 1 -> 1.000000000000000E+20 Inexact Rounded\r | |
352 | ddadd348 add 1E+3 7 -> 1007\r | |
353 | ddadd349 add 1E+15 7 -> 1000000000000007\r | |
354 | ddadd350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded\r | |
355 | ddadd351 add 1E+20 7 -> 1.000000000000000E+20 Inexact Rounded\r | |
356 | \r | |
357 | -- tryzeros cases\r | |
358 | rounding: half_up\r | |
359 | ddadd360 add 0E+50 10000E+1 -> 1.0000E+5\r | |
360 | ddadd361 add 0E-50 10000E+1 -> 100000.0000000000 Rounded\r | |
361 | ddadd362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded\r | |
362 | ddadd363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact\r | |
363 | ddadd364 add 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369\r | |
364 | \r | |
365 | -- a curiosity from JSR 13 testing\r | |
366 | rounding: half_down\r | |
367 | ddadd370 add 999999999999999 815 -> 1000000000000814\r | |
368 | ddadd371 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact\r | |
369 | rounding: half_up\r | |
370 | ddadd372 add 999999999999999 815 -> 1000000000000814\r | |
371 | ddadd373 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact\r | |
372 | rounding: half_even\r | |
373 | ddadd374 add 999999999999999 815 -> 1000000000000814\r | |
374 | ddadd375 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact\r | |
375 | \r | |
376 | -- operands folded\r | |
377 | ddadd380 add 1E+384 1E+384 -> 2.000000000000000E+384 Clamped\r | |
378 | ddadd381 add 1E+380 1E+380 -> 2.00000000000E+380 Clamped\r | |
379 | ddadd382 add 1E+376 1E+376 -> 2.0000000E+376 Clamped\r | |
380 | ddadd383 add 1E+372 1E+372 -> 2.000E+372 Clamped\r | |
381 | ddadd384 add 1E+370 1E+370 -> 2.0E+370 Clamped\r | |
382 | ddadd385 add 1E+369 1E+369 -> 2E+369\r | |
383 | ddadd386 add 1E+368 1E+368 -> 2E+368\r | |
384 | \r | |
385 | -- ulp replacement tests\r | |
386 | ddadd400 add 1 77e-14 -> 1.00000000000077\r | |
387 | ddadd401 add 1 77e-15 -> 1.000000000000077\r | |
388 | ddadd402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded\r | |
389 | ddadd403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded\r | |
390 | ddadd404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded\r | |
391 | ddadd405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded\r | |
392 | ddadd406 add 1 77e-299 -> 1.000000000000000 Inexact Rounded\r | |
393 | \r | |
394 | ddadd410 add 10 77e-14 -> 10.00000000000077\r | |
395 | ddadd411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded\r | |
396 | ddadd412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded\r | |
397 | ddadd413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded\r | |
398 | ddadd414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded\r | |
399 | ddadd415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded\r | |
400 | ddadd416 add 10 77e-299 -> 10.00000000000000 Inexact Rounded\r | |
401 | \r | |
402 | ddadd420 add 77e-14 1 -> 1.00000000000077\r | |
403 | ddadd421 add 77e-15 1 -> 1.000000000000077\r | |
404 | ddadd422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded\r | |
405 | ddadd423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded\r | |
406 | ddadd424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded\r | |
407 | ddadd425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded\r | |
408 | ddadd426 add 77e-299 1 -> 1.000000000000000 Inexact Rounded\r | |
409 | \r | |
410 | ddadd430 add 77e-14 10 -> 10.00000000000077\r | |
411 | ddadd431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded\r | |
412 | ddadd432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded\r | |
413 | ddadd433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded\r | |
414 | ddadd434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded\r | |
415 | ddadd435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded\r | |
416 | ddadd436 add 77e-299 10 -> 10.00000000000000 Inexact Rounded\r | |
417 | \r | |
418 | -- fastpath boundary (more in dqadd)\r | |
419 | -- 1234567890123456\r | |
420 | ddadd539 add '4444444444444444' '3333333333333333' -> '7777777777777777'\r | |
421 | ddadd540 add '4444444444444444' '4444444444444444' -> '8888888888888888'\r | |
422 | ddadd541 add '4444444444444444' '5555555555555555' -> '9999999999999999'\r | |
423 | ddadd542 add '3333333333333333' '4444444444444444' -> '7777777777777777'\r | |
424 | ddadd543 add '4444444444444444' '4444444444444444' -> '8888888888888888'\r | |
425 | ddadd544 add '5555555555555555' '4444444444444444' -> '9999999999999999'\r | |
426 | ddadd545 add '3000004000000000' '3000000000000040' -> '6000004000000040'\r | |
427 | ddadd546 add '3000000400000000' '4000000000000400' -> '7000000400000400'\r | |
428 | ddadd547 add '3000000040000000' '5000000000004000' -> '8000000040004000'\r | |
429 | ddadd548 add '4000000004000000' '3000000000040000' -> '7000000004040000'\r | |
430 | ddadd549 add '4000000000400000' '4000000000400000' -> '8000000000800000'\r | |
431 | ddadd550 add '4000000000040000' '5000000004000000' -> '9000000004040000'\r | |
432 | ddadd551 add '5000000000004000' '3000000040000000' -> '8000000040004000'\r | |
433 | ddadd552 add '5000000000000400' '4000000400000000' -> '9000000400000400'\r | |
434 | ddadd553 add '5000000000000040' '5000004000000000' -> 1.000000400000004E+16 Rounded\r | |
435 | -- check propagation\r | |
436 | ddadd554 add '8999999999999999' '0000000000000001' -> 9000000000000000\r | |
437 | ddadd555 add '0000000000000001' '8999999999999999' -> 9000000000000000\r | |
438 | ddadd556 add '0999999999999999' '0000000000000001' -> 1000000000000000\r | |
439 | ddadd557 add '0000000000000001' '0999999999999999' -> 1000000000000000\r | |
440 | ddadd558 add '4444444444444444' '4555555555555556' -> 9000000000000000\r | |
441 | ddadd559 add '4555555555555556' '4444444444444444' -> 9000000000000000\r | |
442 | \r | |
443 | -- negative ulps\r | |
444 | ddadd6440 add 1 -77e-14 -> 0.99999999999923\r | |
445 | ddadd6441 add 1 -77e-15 -> 0.999999999999923\r | |
446 | ddadd6442 add 1 -77e-16 -> 0.9999999999999923\r | |
447 | ddadd6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded\r | |
448 | ddadd6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded\r | |
449 | ddadd6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded\r | |
450 | ddadd6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded\r | |
451 | \r | |
452 | ddadd6450 add 10 -77e-14 -> 9.99999999999923\r | |
453 | ddadd6451 add 10 -77e-15 -> 9.999999999999923\r | |
454 | ddadd6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded\r | |
455 | ddadd6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded\r | |
456 | ddadd6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded\r | |
457 | ddadd6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded\r | |
458 | ddadd6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded\r | |
459 | \r | |
460 | ddadd6460 add -77e-14 1 -> 0.99999999999923\r | |
461 | ddadd6461 add -77e-15 1 -> 0.999999999999923\r | |
462 | ddadd6462 add -77e-16 1 -> 0.9999999999999923\r | |
463 | ddadd6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded\r | |
464 | ddadd6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded\r | |
465 | ddadd6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded\r | |
466 | ddadd6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded\r | |
467 | \r | |
468 | ddadd6470 add -77e-14 10 -> 9.99999999999923\r | |
469 | ddadd6471 add -77e-15 10 -> 9.999999999999923\r | |
470 | ddadd6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded\r | |
471 | ddadd6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded\r | |
472 | ddadd6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded\r | |
473 | ddadd6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded\r | |
474 | ddadd6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded\r | |
475 | \r | |
476 | -- negative ulps\r | |
477 | ddadd6480 add -1 77e-14 -> -0.99999999999923\r | |
478 | ddadd6481 add -1 77e-15 -> -0.999999999999923\r | |
479 | ddadd6482 add -1 77e-16 -> -0.9999999999999923\r | |
480 | ddadd6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded\r | |
481 | ddadd6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded\r | |
482 | ddadd6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded\r | |
483 | ddadd6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded\r | |
484 | \r | |
485 | ddadd6490 add -10 77e-14 -> -9.99999999999923\r | |
486 | ddadd6491 add -10 77e-15 -> -9.999999999999923\r | |
487 | ddadd6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded\r | |
488 | ddadd6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded\r | |
489 | ddadd6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded\r | |
490 | ddadd6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded\r | |
491 | ddadd6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded\r | |
492 | \r | |
493 | ddadd6500 add 77e-14 -1 -> -0.99999999999923\r | |
494 | ddadd6501 add 77e-15 -1 -> -0.999999999999923\r | |
495 | ddadd6502 add 77e-16 -1 -> -0.9999999999999923\r | |
496 | ddadd6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded\r | |
497 | ddadd6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded\r | |
498 | ddadd6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded\r | |
499 | ddadd6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded\r | |
500 | \r | |
501 | ddadd6510 add 77e-14 -10 -> -9.99999999999923\r | |
502 | ddadd6511 add 77e-15 -10 -> -9.999999999999923\r | |
503 | ddadd6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded\r | |
504 | ddadd6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded\r | |
505 | ddadd6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded\r | |
506 | ddadd6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded\r | |
507 | ddadd6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded\r | |
508 | \r | |
509 | -- and some more residue effects and different roundings\r | |
510 | rounding: half_up\r | |
511 | ddadd6540 add '6543210123456789' 0 -> '6543210123456789'\r | |
512 | ddadd6541 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r | |
513 | ddadd6542 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r | |
514 | ddadd6543 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r | |
515 | ddadd6544 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r | |
516 | ddadd6545 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r | |
517 | ddadd6546 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r | |
518 | ddadd6547 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r | |
519 | ddadd6548 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded\r | |
520 | ddadd6549 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded\r | |
521 | ddadd6550 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded\r | |
522 | ddadd6551 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded\r | |
523 | ddadd6552 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded\r | |
524 | ddadd6553 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded\r | |
525 | ddadd6554 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded\r | |
526 | ddadd6555 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded\r | |
527 | ddadd6556 add '6543210123456789' 1 -> '6543210123456790'\r | |
528 | ddadd6557 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded\r | |
529 | ddadd6558 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r | |
530 | ddadd6559 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r | |
531 | \r | |
532 | rounding: half_even\r | |
533 | ddadd6560 add '6543210123456789' 0 -> '6543210123456789'\r | |
534 | ddadd6561 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r | |
535 | ddadd6562 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r | |
536 | ddadd6563 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r | |
537 | ddadd6564 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r | |
538 | ddadd6565 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r | |
539 | ddadd6566 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r | |
540 | ddadd6567 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r | |
541 | ddadd6568 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded\r | |
542 | ddadd6569 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded\r | |
543 | ddadd6570 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded\r | |
544 | ddadd6571 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded\r | |
545 | ddadd6572 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded\r | |
546 | ddadd6573 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded\r | |
547 | ddadd6574 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded\r | |
548 | ddadd6575 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded\r | |
549 | ddadd6576 add '6543210123456789' 1 -> '6543210123456790'\r | |
550 | ddadd6577 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded\r | |
551 | ddadd6578 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r | |
552 | ddadd6579 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r | |
553 | \r | |
554 | -- critical few with even bottom digit...\r | |
555 | ddadd7540 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded\r | |
556 | ddadd7541 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded\r | |
557 | ddadd7542 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded\r | |
558 | \r | |
559 | rounding: down\r | |
560 | ddadd7550 add '6543210123456789' 0 -> '6543210123456789'\r | |
561 | ddadd7551 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r | |
562 | ddadd7552 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r | |
563 | ddadd7553 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r | |
564 | ddadd7554 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r | |
565 | ddadd7555 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r | |
566 | ddadd7556 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r | |
567 | ddadd7557 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r | |
568 | ddadd7558 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded\r | |
569 | ddadd7559 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded\r | |
570 | ddadd7560 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded\r | |
571 | ddadd7561 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded\r | |
572 | ddadd7562 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded\r | |
573 | ddadd7563 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded\r | |
574 | ddadd7564 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded\r | |
575 | ddadd7565 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded\r | |
576 | ddadd7566 add '6543210123456789' 1 -> '6543210123456790'\r | |
577 | ddadd7567 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded\r | |
578 | ddadd7568 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r | |
579 | ddadd7569 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r | |
580 | \r | |
581 | -- verify a query\r | |
582 | rounding: down\r | |
583 | ddadd7661 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded\r | |
584 | ddadd7662 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded\r | |
585 | ddadd7663 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded\r | |
586 | ddadd7664 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded\r | |
587 | \r | |
588 | -- more zeros, etc.\r | |
589 | rounding: half_even\r | |
590 | \r | |
591 | ddadd7701 add 5.00 1.00E-3 -> 5.00100\r | |
592 | ddadd7702 add 00.00 0.000 -> 0.000\r | |
593 | ddadd7703 add 00.00 0E-3 -> 0.000\r | |
594 | ddadd7704 add 0E-3 00.00 -> 0.000\r | |
595 | \r | |
596 | ddadd7710 add 0E+3 00.00 -> 0.00\r | |
597 | ddadd7711 add 0E+3 00.0 -> 0.0\r | |
598 | ddadd7712 add 0E+3 00. -> 0\r | |
599 | ddadd7713 add 0E+3 00.E+1 -> 0E+1\r | |
600 | ddadd7714 add 0E+3 00.E+2 -> 0E+2\r | |
601 | ddadd7715 add 0E+3 00.E+3 -> 0E+3\r | |
602 | ddadd7716 add 0E+3 00.E+4 -> 0E+3\r | |
603 | ddadd7717 add 0E+3 00.E+5 -> 0E+3\r | |
604 | ddadd7718 add 0E+3 -00.0 -> 0.0\r | |
605 | ddadd7719 add 0E+3 -00. -> 0\r | |
606 | ddadd7731 add 0E+3 -00.E+1 -> 0E+1\r | |
607 | \r | |
608 | ddadd7720 add 00.00 0E+3 -> 0.00\r | |
609 | ddadd7721 add 00.0 0E+3 -> 0.0\r | |
610 | ddadd7722 add 00. 0E+3 -> 0\r | |
611 | ddadd7723 add 00.E+1 0E+3 -> 0E+1\r | |
612 | ddadd7724 add 00.E+2 0E+3 -> 0E+2\r | |
613 | ddadd7725 add 00.E+3 0E+3 -> 0E+3\r | |
614 | ddadd7726 add 00.E+4 0E+3 -> 0E+3\r | |
615 | ddadd7727 add 00.E+5 0E+3 -> 0E+3\r | |
616 | ddadd7728 add -00.00 0E+3 -> 0.00\r | |
617 | ddadd7729 add -00.0 0E+3 -> 0.0\r | |
618 | ddadd7730 add -00. 0E+3 -> 0\r | |
619 | \r | |
620 | ddadd7732 add 0 0 -> 0\r | |
621 | ddadd7733 add 0 -0 -> 0\r | |
622 | ddadd7734 add -0 0 -> 0\r | |
623 | ddadd7735 add -0 -0 -> -0 -- IEEE 854 special case\r | |
624 | \r | |
625 | ddadd7736 add 1 -1 -> 0\r | |
626 | ddadd7737 add -1 -1 -> -2\r | |
627 | ddadd7738 add 1 1 -> 2\r | |
628 | ddadd7739 add -1 1 -> 0\r | |
629 | \r | |
630 | ddadd7741 add 0 -1 -> -1\r | |
631 | ddadd7742 add -0 -1 -> -1\r | |
632 | ddadd7743 add 0 1 -> 1\r | |
633 | ddadd7744 add -0 1 -> 1\r | |
634 | ddadd7745 add -1 0 -> -1\r | |
635 | ddadd7746 add -1 -0 -> -1\r | |
636 | ddadd7747 add 1 0 -> 1\r | |
637 | ddadd7748 add 1 -0 -> 1\r | |
638 | \r | |
639 | ddadd7751 add 0.0 -1 -> -1.0\r | |
640 | ddadd7752 add -0.0 -1 -> -1.0\r | |
641 | ddadd7753 add 0.0 1 -> 1.0\r | |
642 | ddadd7754 add -0.0 1 -> 1.0\r | |
643 | ddadd7755 add -1.0 0 -> -1.0\r | |
644 | ddadd7756 add -1.0 -0 -> -1.0\r | |
645 | ddadd7757 add 1.0 0 -> 1.0\r | |
646 | ddadd7758 add 1.0 -0 -> 1.0\r | |
647 | \r | |
648 | ddadd7761 add 0 -1.0 -> -1.0\r | |
649 | ddadd7762 add -0 -1.0 -> -1.0\r | |
650 | ddadd7763 add 0 1.0 -> 1.0\r | |
651 | ddadd7764 add -0 1.0 -> 1.0\r | |
652 | ddadd7765 add -1 0.0 -> -1.0\r | |
653 | ddadd7766 add -1 -0.0 -> -1.0\r | |
654 | ddadd7767 add 1 0.0 -> 1.0\r | |
655 | ddadd7768 add 1 -0.0 -> 1.0\r | |
656 | \r | |
657 | ddadd7771 add 0.0 -1.0 -> -1.0\r | |
658 | ddadd7772 add -0.0 -1.0 -> -1.0\r | |
659 | ddadd7773 add 0.0 1.0 -> 1.0\r | |
660 | ddadd7774 add -0.0 1.0 -> 1.0\r | |
661 | ddadd7775 add -1.0 0.0 -> -1.0\r | |
662 | ddadd7776 add -1.0 -0.0 -> -1.0\r | |
663 | ddadd7777 add 1.0 0.0 -> 1.0\r | |
664 | ddadd7778 add 1.0 -0.0 -> 1.0\r | |
665 | \r | |
666 | -- Specials\r | |
667 | ddadd7780 add -Inf -Inf -> -Infinity\r | |
668 | ddadd7781 add -Inf -1000 -> -Infinity\r | |
669 | ddadd7782 add -Inf -1 -> -Infinity\r | |
670 | ddadd7783 add -Inf -0 -> -Infinity\r | |
671 | ddadd7784 add -Inf 0 -> -Infinity\r | |
672 | ddadd7785 add -Inf 1 -> -Infinity\r | |
673 | ddadd7786 add -Inf 1000 -> -Infinity\r | |
674 | ddadd7787 add -1000 -Inf -> -Infinity\r | |
675 | ddadd7788 add -Inf -Inf -> -Infinity\r | |
676 | ddadd7789 add -1 -Inf -> -Infinity\r | |
677 | ddadd7790 add -0 -Inf -> -Infinity\r | |
678 | ddadd7791 add 0 -Inf -> -Infinity\r | |
679 | ddadd7792 add 1 -Inf -> -Infinity\r | |
680 | ddadd7793 add 1000 -Inf -> -Infinity\r | |
681 | ddadd7794 add Inf -Inf -> NaN Invalid_operation\r | |
682 | \r | |
683 | ddadd7800 add Inf -Inf -> NaN Invalid_operation\r | |
684 | ddadd7801 add Inf -1000 -> Infinity\r | |
685 | ddadd7802 add Inf -1 -> Infinity\r | |
686 | ddadd7803 add Inf -0 -> Infinity\r | |
687 | ddadd7804 add Inf 0 -> Infinity\r | |
688 | ddadd7805 add Inf 1 -> Infinity\r | |
689 | ddadd7806 add Inf 1000 -> Infinity\r | |
690 | ddadd7807 add Inf Inf -> Infinity\r | |
691 | ddadd7808 add -1000 Inf -> Infinity\r | |
692 | ddadd7809 add -Inf Inf -> NaN Invalid_operation\r | |
693 | ddadd7810 add -1 Inf -> Infinity\r | |
694 | ddadd7811 add -0 Inf -> Infinity\r | |
695 | ddadd7812 add 0 Inf -> Infinity\r | |
696 | ddadd7813 add 1 Inf -> Infinity\r | |
697 | ddadd7814 add 1000 Inf -> Infinity\r | |
698 | ddadd7815 add Inf Inf -> Infinity\r | |
699 | \r | |
700 | ddadd7821 add NaN -Inf -> NaN\r | |
701 | ddadd7822 add NaN -1000 -> NaN\r | |
702 | ddadd7823 add NaN -1 -> NaN\r | |
703 | ddadd7824 add NaN -0 -> NaN\r | |
704 | ddadd7825 add NaN 0 -> NaN\r | |
705 | ddadd7826 add NaN 1 -> NaN\r | |
706 | ddadd7827 add NaN 1000 -> NaN\r | |
707 | ddadd7828 add NaN Inf -> NaN\r | |
708 | ddadd7829 add NaN NaN -> NaN\r | |
709 | ddadd7830 add -Inf NaN -> NaN\r | |
710 | ddadd7831 add -1000 NaN -> NaN\r | |
711 | ddadd7832 add -1 NaN -> NaN\r | |
712 | ddadd7833 add -0 NaN -> NaN\r | |
713 | ddadd7834 add 0 NaN -> NaN\r | |
714 | ddadd7835 add 1 NaN -> NaN\r | |
715 | ddadd7836 add 1000 NaN -> NaN\r | |
716 | ddadd7837 add Inf NaN -> NaN\r | |
717 | \r | |
718 | ddadd7841 add sNaN -Inf -> NaN Invalid_operation\r | |
719 | ddadd7842 add sNaN -1000 -> NaN Invalid_operation\r | |
720 | ddadd7843 add sNaN -1 -> NaN Invalid_operation\r | |
721 | ddadd7844 add sNaN -0 -> NaN Invalid_operation\r | |
722 | ddadd7845 add sNaN 0 -> NaN Invalid_operation\r | |
723 | ddadd7846 add sNaN 1 -> NaN Invalid_operation\r | |
724 | ddadd7847 add sNaN 1000 -> NaN Invalid_operation\r | |
725 | ddadd7848 add sNaN NaN -> NaN Invalid_operation\r | |
726 | ddadd7849 add sNaN sNaN -> NaN Invalid_operation\r | |
727 | ddadd7850 add NaN sNaN -> NaN Invalid_operation\r | |
728 | ddadd7851 add -Inf sNaN -> NaN Invalid_operation\r | |
729 | ddadd7852 add -1000 sNaN -> NaN Invalid_operation\r | |
730 | ddadd7853 add -1 sNaN -> NaN Invalid_operation\r | |
731 | ddadd7854 add -0 sNaN -> NaN Invalid_operation\r | |
732 | ddadd7855 add 0 sNaN -> NaN Invalid_operation\r | |
733 | ddadd7856 add 1 sNaN -> NaN Invalid_operation\r | |
734 | ddadd7857 add 1000 sNaN -> NaN Invalid_operation\r | |
735 | ddadd7858 add Inf sNaN -> NaN Invalid_operation\r | |
736 | ddadd7859 add NaN sNaN -> NaN Invalid_operation\r | |
737 | \r | |
738 | -- propagating NaNs\r | |
739 | ddadd7861 add NaN1 -Inf -> NaN1\r | |
740 | ddadd7862 add +NaN2 -1000 -> NaN2\r | |
741 | ddadd7863 add NaN3 1000 -> NaN3\r | |
742 | ddadd7864 add NaN4 Inf -> NaN4\r | |
743 | ddadd7865 add NaN5 +NaN6 -> NaN5\r | |
744 | ddadd7866 add -Inf NaN7 -> NaN7\r | |
745 | ddadd7867 add -1000 NaN8 -> NaN8\r | |
746 | ddadd7868 add 1000 NaN9 -> NaN9\r | |
747 | ddadd7869 add Inf +NaN10 -> NaN10\r | |
748 | ddadd7871 add sNaN11 -Inf -> NaN11 Invalid_operation\r | |
749 | ddadd7872 add sNaN12 -1000 -> NaN12 Invalid_operation\r | |
750 | ddadd7873 add sNaN13 1000 -> NaN13 Invalid_operation\r | |
751 | ddadd7874 add sNaN14 NaN17 -> NaN14 Invalid_operation\r | |
752 | ddadd7875 add sNaN15 sNaN18 -> NaN15 Invalid_operation\r | |
753 | ddadd7876 add NaN16 sNaN19 -> NaN19 Invalid_operation\r | |
754 | ddadd7877 add -Inf +sNaN20 -> NaN20 Invalid_operation\r | |
755 | ddadd7878 add -1000 sNaN21 -> NaN21 Invalid_operation\r | |
756 | ddadd7879 add 1000 sNaN22 -> NaN22 Invalid_operation\r | |
757 | ddadd7880 add Inf sNaN23 -> NaN23 Invalid_operation\r | |
758 | ddadd7881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation\r | |
759 | ddadd7882 add -NaN26 NaN28 -> -NaN26\r | |
760 | ddadd7883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation\r | |
761 | ddadd7884 add 1000 -NaN30 -> -NaN30\r | |
762 | ddadd7885 add 1000 -sNaN31 -> -NaN31 Invalid_operation\r | |
763 | \r | |
764 | -- Here we explore near the boundary of rounding a subnormal to Nmin\r | |
765 | ddadd7575 add 1E-383 -1E-398 -> 9.99999999999999E-384 Subnormal\r | |
766 | ddadd7576 add -1E-383 +1E-398 -> -9.99999999999999E-384 Subnormal\r | |
767 | \r | |
768 | -- and another curious case\r | |
769 | ddadd7577 add 7.000000000000E-385 -1.00000E-391 -> 6.999999000000E-385 Subnormal\r | |
770 | \r | |
771 | -- check overflow edge case\r | |
772 | -- 1234567890123456\r | |
773 | ddadd7972 apply 9.999999999999999E+384 -> 9.999999999999999E+384\r | |
774 | ddadd7973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded\r | |
775 | ddadd7974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded\r | |
776 | ddadd7975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded\r | |
777 | ddadd7976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded\r | |
778 | ddadd7977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded\r | |
779 | ddadd7978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded\r | |
780 | ddadd7979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded\r | |
781 | ddadd7980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded\r | |
782 | ddadd7981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded\r | |
783 | ddadd7982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded\r | |
784 | ddadd7983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded\r | |
785 | ddadd7984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded\r | |
786 | \r | |
787 | ddadd7985 apply -9.999999999999999E+384 -> -9.999999999999999E+384\r | |
788 | ddadd7986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded\r | |
789 | ddadd7987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded\r | |
790 | ddadd7988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded\r | |
791 | ddadd7989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded\r | |
792 | ddadd7990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded\r | |
793 | ddadd7991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded\r | |
794 | ddadd7992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded\r | |
795 | ddadd7993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded\r | |
796 | ddadd7994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded\r | |
797 | ddadd7995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded\r | |
798 | ddadd7996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded\r | |
799 | ddadd7997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded\r | |
800 | \r | |
801 | -- And for round down full and subnormal results\r | |
802 | rounding: down\r | |
803 | ddadd71100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact\r | |
804 | ddadd71101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact\r | |
805 | ddadd71103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact\r | |
806 | ddadd71104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact\r | |
807 | ddadd71105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact\r | |
808 | ddadd71106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact\r | |
809 | ddadd71107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact\r | |
810 | ddadd71108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact\r | |
811 | ddadd71109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact\r | |
812 | \r | |
813 | rounding: ceiling\r | |
814 | ddadd71110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact\r | |
815 | ddadd71111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact\r | |
816 | ddadd71113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact\r | |
817 | ddadd71114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact\r | |
818 | ddadd71115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact\r | |
819 | ddadd71116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact\r | |
820 | ddadd71117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact\r | |
821 | ddadd71118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact\r | |
822 | ddadd71119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact\r | |
823 | \r | |
824 | -- tests based on Gunnar Degnbol's edge case\r | |
825 | rounding: half_even\r | |
826 | \r | |
827 | ddadd71300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded\r | |
828 | ddadd71310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded\r | |
829 | ddadd71311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded\r | |
830 | ddadd71312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded\r | |
831 | ddadd71313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded\r | |
832 | ddadd71314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded\r | |
833 | ddadd71315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded\r | |
834 | ddadd71316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded\r | |
835 | ddadd71317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded\r | |
836 | ddadd71318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded\r | |
837 | ddadd71319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded\r | |
838 | ddadd71320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded\r | |
839 | ddadd71321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded\r | |
840 | ddadd71322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded\r | |
841 | ddadd71323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded\r | |
842 | ddadd71324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded\r | |
843 | ddadd71325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
844 | ddadd71326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
845 | ddadd71327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
846 | ddadd71328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
847 | ddadd71329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
848 | ddadd71330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
849 | ddadd71331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
850 | ddadd71332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
851 | ddadd71333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
852 | ddadd71334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
853 | ddadd71335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded\r | |
854 | ddadd71336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded\r | |
855 | ddadd71337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded\r | |
856 | ddadd71338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded\r | |
857 | ddadd71339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded\r | |
858 | \r | |
859 | ddadd71340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded\r | |
860 | ddadd71341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded\r | |
861 | \r | |
862 | ddadd71349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded\r | |
863 | ddadd71350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded\r | |
864 | ddadd71351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded\r | |
865 | ddadd71352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded\r | |
866 | ddadd71353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded\r | |
867 | ddadd71354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded\r | |
868 | ddadd71355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded\r | |
869 | ddadd71356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded\r | |
870 | ddadd71357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded\r | |
871 | ddadd71358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded\r | |
872 | ddadd71359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded\r | |
873 | ddadd71360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded\r | |
874 | ddadd71361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded\r | |
875 | ddadd71362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded\r | |
876 | ddadd71363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded\r | |
877 | ddadd71364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded\r | |
878 | ddadd71365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
879 | ddadd71367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
880 | ddadd71368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
881 | ddadd71369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
882 | ddadd71370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
883 | ddadd71371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
884 | ddadd71372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
885 | ddadd71373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
886 | ddadd71374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
887 | ddadd71375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r | |
888 | ddadd71376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded\r | |
889 | ddadd71377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded\r | |
890 | ddadd71378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded\r | |
891 | ddadd71379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded\r | |
892 | ddadd71380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded\r | |
893 | ddadd71381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded\r | |
894 | ddadd71382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
895 | ddadd71383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
896 | ddadd71384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
897 | ddadd71385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
898 | ddadd71386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
899 | ddadd71387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
900 | ddadd71388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
901 | ddadd71389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
902 | ddadd71390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
903 | ddadd71391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded\r | |
904 | ddadd71392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded\r | |
905 | ddadd71393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded\r | |
906 | ddadd71394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded\r | |
907 | ddadd71395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded\r | |
908 | ddadd71396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded\r | |
909 | \r | |
910 | -- More GD edge cases, where difference between the unadjusted\r | |
911 | -- exponents is larger than the maximum precision and one side is 0\r | |
912 | ddadd71420 add 0 1.123456789012345 -> 1.123456789012345\r | |
913 | ddadd71421 add 0 1.123456789012345E-1 -> 0.1123456789012345\r | |
914 | ddadd71422 add 0 1.123456789012345E-2 -> 0.01123456789012345\r | |
915 | ddadd71423 add 0 1.123456789012345E-3 -> 0.001123456789012345\r | |
916 | ddadd71424 add 0 1.123456789012345E-4 -> 0.0001123456789012345\r | |
917 | ddadd71425 add 0 1.123456789012345E-5 -> 0.00001123456789012345\r | |
918 | ddadd71426 add 0 1.123456789012345E-6 -> 0.000001123456789012345\r | |
919 | ddadd71427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7\r | |
920 | ddadd71428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8\r | |
921 | ddadd71429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9\r | |
922 | ddadd71430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10\r | |
923 | ddadd71431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11\r | |
924 | ddadd71432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12\r | |
925 | ddadd71433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13\r | |
926 | ddadd71434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14\r | |
927 | ddadd71435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15\r | |
928 | ddadd71436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16\r | |
929 | ddadd71437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17\r | |
930 | ddadd71438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18\r | |
931 | ddadd71439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19\r | |
932 | \r | |
933 | -- same, reversed 0\r | |
934 | ddadd71440 add 1.123456789012345 0 -> 1.123456789012345\r | |
935 | ddadd71441 add 1.123456789012345E-1 0 -> 0.1123456789012345\r | |
936 | ddadd71442 add 1.123456789012345E-2 0 -> 0.01123456789012345\r | |
937 | ddadd71443 add 1.123456789012345E-3 0 -> 0.001123456789012345\r | |
938 | ddadd71444 add 1.123456789012345E-4 0 -> 0.0001123456789012345\r | |
939 | ddadd71445 add 1.123456789012345E-5 0 -> 0.00001123456789012345\r | |
940 | ddadd71446 add 1.123456789012345E-6 0 -> 0.000001123456789012345\r | |
941 | ddadd71447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7\r | |
942 | ddadd71448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8\r | |
943 | ddadd71449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9\r | |
944 | ddadd71450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10\r | |
945 | ddadd71451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11\r | |
946 | ddadd71452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12\r | |
947 | ddadd71453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13\r | |
948 | ddadd71454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14\r | |
949 | ddadd71455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15\r | |
950 | ddadd71456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16\r | |
951 | ddadd71457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17\r | |
952 | ddadd71458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18\r | |
953 | ddadd71459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19\r | |
954 | \r | |
955 | -- same, Es on the 0\r | |
956 | ddadd71460 add 1.123456789012345 0E-0 -> 1.123456789012345\r | |
957 | ddadd71461 add 1.123456789012345 0E-1 -> 1.123456789012345\r | |
958 | ddadd71462 add 1.123456789012345 0E-2 -> 1.123456789012345\r | |
959 | ddadd71463 add 1.123456789012345 0E-3 -> 1.123456789012345\r | |
960 | ddadd71464 add 1.123456789012345 0E-4 -> 1.123456789012345\r | |
961 | ddadd71465 add 1.123456789012345 0E-5 -> 1.123456789012345\r | |
962 | ddadd71466 add 1.123456789012345 0E-6 -> 1.123456789012345\r | |
963 | ddadd71467 add 1.123456789012345 0E-7 -> 1.123456789012345\r | |
964 | ddadd71468 add 1.123456789012345 0E-8 -> 1.123456789012345\r | |
965 | ddadd71469 add 1.123456789012345 0E-9 -> 1.123456789012345\r | |
966 | ddadd71470 add 1.123456789012345 0E-10 -> 1.123456789012345\r | |
967 | ddadd71471 add 1.123456789012345 0E-11 -> 1.123456789012345\r | |
968 | ddadd71472 add 1.123456789012345 0E-12 -> 1.123456789012345\r | |
969 | ddadd71473 add 1.123456789012345 0E-13 -> 1.123456789012345\r | |
970 | ddadd71474 add 1.123456789012345 0E-14 -> 1.123456789012345\r | |
971 | ddadd71475 add 1.123456789012345 0E-15 -> 1.123456789012345\r | |
972 | -- next four flag Rounded because the 0 extends the result\r | |
973 | ddadd71476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded\r | |
974 | ddadd71477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded\r | |
975 | ddadd71478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded\r | |
976 | ddadd71479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded\r | |
977 | \r | |
978 | -- sum of two opposite-sign operands is exactly 0 and floor => -0\r | |
979 | rounding: half_up\r | |
980 | -- exact zeros from zeros\r | |
981 | ddadd71500 add 0 0E-19 -> 0E-19\r | |
982 | ddadd71501 add -0 0E-19 -> 0E-19\r | |
983 | ddadd71502 add 0 -0E-19 -> 0E-19\r | |
984 | ddadd71503 add -0 -0E-19 -> -0E-19\r | |
985 | -- exact zeros from non-zeros\r | |
986 | ddadd71511 add -11 11 -> 0\r | |
987 | ddadd71512 add 11 -11 -> 0\r | |
988 | \r | |
989 | rounding: half_down\r | |
990 | -- exact zeros from zeros\r | |
991 | ddadd71520 add 0 0E-19 -> 0E-19\r | |
992 | ddadd71521 add -0 0E-19 -> 0E-19\r | |
993 | ddadd71522 add 0 -0E-19 -> 0E-19\r | |
994 | ddadd71523 add -0 -0E-19 -> -0E-19\r | |
995 | -- exact zeros from non-zeros\r | |
996 | ddadd71531 add -11 11 -> 0\r | |
997 | ddadd71532 add 11 -11 -> 0\r | |
998 | \r | |
999 | rounding: half_even\r | |
1000 | -- exact zeros from zeros\r | |
1001 | ddadd71540 add 0 0E-19 -> 0E-19\r | |
1002 | ddadd71541 add -0 0E-19 -> 0E-19\r | |
1003 | ddadd71542 add 0 -0E-19 -> 0E-19\r | |
1004 | ddadd71543 add -0 -0E-19 -> -0E-19\r | |
1005 | -- exact zeros from non-zeros\r | |
1006 | ddadd71551 add -11 11 -> 0\r | |
1007 | ddadd71552 add 11 -11 -> 0\r | |
1008 | \r | |
1009 | rounding: up\r | |
1010 | -- exact zeros from zeros\r | |
1011 | ddadd71560 add 0 0E-19 -> 0E-19\r | |
1012 | ddadd71561 add -0 0E-19 -> 0E-19\r | |
1013 | ddadd71562 add 0 -0E-19 -> 0E-19\r | |
1014 | ddadd71563 add -0 -0E-19 -> -0E-19\r | |
1015 | -- exact zeros from non-zeros\r | |
1016 | ddadd71571 add -11 11 -> 0\r | |
1017 | ddadd71572 add 11 -11 -> 0\r | |
1018 | \r | |
1019 | rounding: down\r | |
1020 | -- exact zeros from zeros\r | |
1021 | ddadd71580 add 0 0E-19 -> 0E-19\r | |
1022 | ddadd71581 add -0 0E-19 -> 0E-19\r | |
1023 | ddadd71582 add 0 -0E-19 -> 0E-19\r | |
1024 | ddadd71583 add -0 -0E-19 -> -0E-19\r | |
1025 | -- exact zeros from non-zeros\r | |
1026 | ddadd71591 add -11 11 -> 0\r | |
1027 | ddadd71592 add 11 -11 -> 0\r | |
1028 | \r | |
1029 | rounding: ceiling\r | |
1030 | -- exact zeros from zeros\r | |
1031 | ddadd71600 add 0 0E-19 -> 0E-19\r | |
1032 | ddadd71601 add -0 0E-19 -> 0E-19\r | |
1033 | ddadd71602 add 0 -0E-19 -> 0E-19\r | |
1034 | ddadd71603 add -0 -0E-19 -> -0E-19\r | |
1035 | -- exact zeros from non-zeros\r | |
1036 | ddadd71611 add -11 11 -> 0\r | |
1037 | ddadd71612 add 11 -11 -> 0\r | |
1038 | \r | |
1039 | -- and the extra-special ugly case; unusual minuses marked by -- *\r | |
1040 | rounding: floor\r | |
1041 | -- exact zeros from zeros\r | |
1042 | ddadd71620 add 0 0E-19 -> 0E-19\r | |
1043 | ddadd71621 add -0 0E-19 -> -0E-19 -- *\r | |
1044 | ddadd71622 add 0 -0E-19 -> -0E-19 -- *\r | |
1045 | ddadd71623 add -0 -0E-19 -> -0E-19\r | |
1046 | -- exact zeros from non-zeros\r | |
1047 | ddadd71631 add -11 11 -> -0 -- *\r | |
1048 | ddadd71632 add 11 -11 -> -0 -- *\r | |
1049 | \r | |
1050 | -- Examples from SQL proposal (Krishna Kulkarni)\r | |
1051 | ddadd71701 add 130E-2 120E-2 -> 2.50\r | |
1052 | ddadd71702 add 130E-2 12E-1 -> 2.50\r | |
1053 | ddadd71703 add 130E-2 1E0 -> 2.30\r | |
1054 | ddadd71704 add 1E2 1E4 -> 1.01E+4\r | |
1055 | ddadd71705 add 130E-2 -120E-2 -> 0.10\r | |
1056 | ddadd71706 add 130E-2 -12E-1 -> 0.10\r | |
1057 | ddadd71707 add 130E-2 -1E0 -> 0.30\r | |
1058 | ddadd71708 add 1E2 -1E4 -> -9.9E+3\r | |
1059 | \r | |
1060 | -- query from Vincent Kulandaisamy\r | |
1061 | rounding: ceiling\r | |
1062 | ddadd71801 add 7.8822773805862E+277 -5.1757503820663E-21 -> 7.882277380586200E+277 Inexact Rounded\r | |
1063 | ddadd71802 add 7.882277380586200E+277 12.341 -> 7.882277380586201E+277 Inexact Rounded\r | |
1064 | ddadd71803 add 7.882277380586201E+277 2.7270545046613E-31 -> 7.882277380586202E+277 Inexact Rounded\r | |
1065 | \r | |
1066 | ddadd71811 add 12.341 -5.1757503820663E-21 -> 12.34100000000000 Inexact Rounded\r | |
1067 | ddadd71812 add 12.34100000000000 2.7270545046613E-31 -> 12.34100000000001 Inexact Rounded\r | |
1068 | ddadd71813 add 12.34100000000001 7.8822773805862E+277 -> 7.882277380586201E+277 Inexact Rounded\r | |
1069 | \r | |
1070 | -- Gappy coefficients; check residue handling even with full coefficient gap\r | |
1071 | rounding: half_even\r | |
1072 | \r | |
1073 | ddadd75001 add 1234567890123456 1 -> 1234567890123457\r | |
1074 | ddadd75002 add 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded\r | |
1075 | ddadd75003 add 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded\r | |
1076 | ddadd75004 add 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded\r | |
1077 | ddadd75005 add 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded\r | |
1078 | ddadd75006 add 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded\r | |
1079 | ddadd75007 add 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded\r | |
1080 | ddadd75008 add 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded\r | |
1081 | ddadd75009 add 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded\r | |
1082 | ddadd75010 add 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded\r | |
1083 | ddadd75011 add 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded\r | |
1084 | ddadd75012 add 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded\r | |
1085 | ddadd75013 add 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded\r | |
1086 | ddadd75014 add 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded\r | |
1087 | ddadd75015 add 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded\r | |
1088 | ddadd75016 add 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded\r | |
1089 | ddadd75017 add 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded\r | |
1090 | ddadd75018 add 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded\r | |
1091 | ddadd75019 add 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded\r | |
1092 | ddadd75020 add 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded\r | |
1093 | ddadd75021 add 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded\r | |
1094 | \r | |
1095 | -- widening second argument at gap\r | |
1096 | ddadd75030 add 12345678 1 -> 12345679\r | |
1097 | ddadd75031 add 12345678 0.1 -> 12345678.1\r | |
1098 | ddadd75032 add 12345678 0.12 -> 12345678.12\r | |
1099 | ddadd75033 add 12345678 0.123 -> 12345678.123\r | |
1100 | ddadd75034 add 12345678 0.1234 -> 12345678.1234\r | |
1101 | ddadd75035 add 12345678 0.12345 -> 12345678.12345\r | |
1102 | ddadd75036 add 12345678 0.123456 -> 12345678.123456\r | |
1103 | ddadd75037 add 12345678 0.1234567 -> 12345678.1234567\r | |
1104 | ddadd75038 add 12345678 0.12345678 -> 12345678.12345678\r | |
1105 | ddadd75039 add 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded\r | |
1106 | ddadd75040 add 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded\r | |
1107 | ddadd75041 add 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded\r | |
1108 | ddadd75042 add 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded\r | |
1109 | ddadd75043 add 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded\r | |
1110 | ddadd75044 add 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded\r | |
1111 | ddadd75045 add 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded\r | |
1112 | ddadd75046 add 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded\r | |
1113 | ddadd75047 add 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded\r | |
1114 | ddadd75048 add 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded\r | |
1115 | ddadd75049 add 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded\r | |
1116 | -- 90123456\r | |
1117 | rounding: half_even\r | |
1118 | ddadd75050 add 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded\r | |
1119 | ddadd75051 add 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded\r | |
1120 | ddadd75052 add 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded\r | |
1121 | ddadd75053 add 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded\r | |
1122 | ddadd75054 add 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded\r | |
1123 | ddadd75055 add 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded\r | |
1124 | ddadd75056 add 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded\r | |
1125 | ddadd75057 add 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded\r | |
1126 | ddadd75060 add 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded\r | |
1127 | ddadd75061 add 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded\r | |
1128 | ddadd75062 add 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded\r | |
1129 | ddadd75063 add 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded\r | |
1130 | ddadd75064 add 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded\r | |
1131 | ddadd75065 add 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded\r | |
1132 | ddadd75066 add 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded\r | |
1133 | ddadd75067 add 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded\r | |
1134 | -- far-out residues (full coefficient gap is 16+15 digits)\r | |
1135 | rounding: up\r | |
1136 | ddadd75070 add 12345678 1E-8 -> 12345678.00000001\r | |
1137 | ddadd75071 add 12345678 1E-9 -> 12345678.00000001 Inexact Rounded\r | |
1138 | ddadd75072 add 12345678 1E-10 -> 12345678.00000001 Inexact Rounded\r | |
1139 | ddadd75073 add 12345678 1E-11 -> 12345678.00000001 Inexact Rounded\r | |
1140 | ddadd75074 add 12345678 1E-12 -> 12345678.00000001 Inexact Rounded\r | |
1141 | ddadd75075 add 12345678 1E-13 -> 12345678.00000001 Inexact Rounded\r | |
1142 | ddadd75076 add 12345678 1E-14 -> 12345678.00000001 Inexact Rounded\r | |
1143 | ddadd75077 add 12345678 1E-15 -> 12345678.00000001 Inexact Rounded\r | |
1144 | ddadd75078 add 12345678 1E-16 -> 12345678.00000001 Inexact Rounded\r | |
1145 | ddadd75079 add 12345678 1E-17 -> 12345678.00000001 Inexact Rounded\r | |
1146 | ddadd75080 add 12345678 1E-18 -> 12345678.00000001 Inexact Rounded\r | |
1147 | ddadd75081 add 12345678 1E-19 -> 12345678.00000001 Inexact Rounded\r | |
1148 | ddadd75082 add 12345678 1E-20 -> 12345678.00000001 Inexact Rounded\r | |
1149 | ddadd75083 add 12345678 1E-25 -> 12345678.00000001 Inexact Rounded\r | |
1150 | ddadd75084 add 12345678 1E-30 -> 12345678.00000001 Inexact Rounded\r | |
1151 | ddadd75085 add 12345678 1E-31 -> 12345678.00000001 Inexact Rounded\r | |
1152 | ddadd75086 add 12345678 1E-32 -> 12345678.00000001 Inexact Rounded\r | |
1153 | ddadd75087 add 12345678 1E-33 -> 12345678.00000001 Inexact Rounded\r | |
1154 | ddadd75088 add 12345678 1E-34 -> 12345678.00000001 Inexact Rounded\r | |
1155 | ddadd75089 add 12345678 1E-35 -> 12345678.00000001 Inexact Rounded\r | |
1156 | \r | |
1157 | -- Punit's\r | |
1158 | ddadd75100 add 1.000 -200.000 -> -199.000\r | |
1159 | \r | |
1160 | -- Rounding swathe\r | |
1161 | rounding: half_even\r | |
1162 | ddadd81100 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1163 | ddadd81101 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1164 | ddadd81102 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1165 | ddadd81103 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1166 | ddadd81104 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1167 | ddadd81105 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1168 | ddadd81106 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1169 | ddadd81107 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1170 | ddadd81108 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1171 | ddadd81109 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1172 | ddadd81120 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded\r | |
1173 | ddadd81121 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded\r | |
1174 | \r | |
1175 | rounding: half_up\r | |
1176 | ddadd81200 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1177 | ddadd81201 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1178 | ddadd81202 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1179 | ddadd81203 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1180 | ddadd81204 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1181 | ddadd81205 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1182 | ddadd81206 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1183 | ddadd81207 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1184 | ddadd81208 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1185 | ddadd81209 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1186 | ddadd81220 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded\r | |
1187 | ddadd81221 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded\r | |
1188 | \r | |
1189 | rounding: half_down\r | |
1190 | ddadd81300 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1191 | ddadd81301 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1192 | ddadd81302 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1193 | ddadd81303 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1194 | ddadd81304 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1195 | ddadd81305 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1196 | ddadd81306 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1197 | ddadd81307 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1198 | ddadd81308 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1199 | ddadd81309 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1200 | ddadd81320 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded\r | |
1201 | ddadd81321 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded\r | |
1202 | \r | |
1203 | rounding: up\r | |
1204 | ddadd81400 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1205 | ddadd81401 add .2301 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1206 | ddadd81402 add .2310 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1207 | ddadd81403 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1208 | ddadd81404 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1209 | ddadd81405 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1210 | ddadd81406 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1211 | ddadd81407 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1212 | ddadd81408 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1213 | ddadd81409 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1214 | ddadd81411 add -.2399 -12345678901234.00 -> -12345678901234.24 Inexact Rounded\r | |
1215 | ddadd81420 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded\r | |
1216 | ddadd81421 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded\r | |
1217 | \r | |
1218 | rounding: down\r | |
1219 | ddadd81500 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1220 | ddadd81501 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1221 | ddadd81502 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1222 | ddadd81503 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1223 | ddadd81504 add .2351 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1224 | ddadd81505 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1225 | ddadd81506 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1226 | ddadd81507 add .2360 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1227 | ddadd81508 add .2370 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1228 | ddadd81509 add .2399 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1229 | ddadd81511 add -.2399 -12345678901234.00 -> -12345678901234.23 Inexact Rounded\r | |
1230 | ddadd81520 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded\r | |
1231 | ddadd81521 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded\r | |
1232 | \r | |
1233 | rounding: ceiling\r | |
1234 | ddadd81600 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1235 | ddadd81601 add .2301 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1236 | ddadd81602 add .2310 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1237 | ddadd81603 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1238 | ddadd81604 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1239 | ddadd81605 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1240 | ddadd81606 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded\r | |
1241 | ddadd81607 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1242 | ddadd81608 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1243 | ddadd81609 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1244 | ddadd81611 add -.2399 -12345678901234.00 -> -12345678901234.23 Inexact Rounded\r | |
1245 | ddadd81620 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded\r | |
1246 | ddadd81621 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded\r | |
1247 | \r | |
1248 | rounding: floor\r | |
1249 | ddadd81700 add .2300 12345678901234.00 -> 12345678901234.23 Rounded\r | |
1250 | ddadd81701 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1251 | ddadd81702 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1252 | ddadd81703 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1253 | ddadd81704 add .2351 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1254 | ddadd81705 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1255 | ddadd81706 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1256 | ddadd81707 add .2360 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1257 | ddadd81708 add .2370 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1258 | ddadd81709 add .2399 12345678901234.00 -> 12345678901234.23 Inexact Rounded\r | |
1259 | ddadd81711 add -.2399 -12345678901234.00 -> -12345678901234.24 Inexact Rounded\r | |
1260 | ddadd81720 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded\r | |
1261 | ddadd81721 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded\r | |
1262 | \r | |
1263 | rounding: 05up\r | |
1264 | ddadd81800 add .2000 12345678901234.00 -> 12345678901234.20 Rounded\r | |
1265 | ddadd81801 add .2001 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1266 | ddadd81802 add .2010 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1267 | ddadd81803 add .2050 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1268 | ddadd81804 add .2051 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1269 | ddadd81807 add .2060 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1270 | ddadd81808 add .2070 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1271 | ddadd81809 add .2099 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1272 | ddadd81811 add -.2099 -12345678901234.00 -> -12345678901234.21 Inexact Rounded\r | |
1273 | ddadd81820 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded\r | |
1274 | ddadd81821 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded\r | |
1275 | \r | |
1276 | ddadd81900 add .2100 12345678901234.00 -> 12345678901234.21 Rounded\r | |
1277 | ddadd81901 add .2101 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1278 | ddadd81902 add .2110 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1279 | ddadd81903 add .2150 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1280 | ddadd81904 add .2151 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1281 | ddadd81907 add .2160 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1282 | ddadd81908 add .2170 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1283 | ddadd81909 add .2199 12345678901234.00 -> 12345678901234.21 Inexact Rounded\r | |
1284 | ddadd81911 add -.2199 -12345678901234.00 -> -12345678901234.21 Inexact Rounded\r | |
1285 | \r | |
1286 | ddadd82000 add .2400 12345678901234.00 -> 12345678901234.24 Rounded\r | |
1287 | ddadd82001 add .2401 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1288 | ddadd82002 add .2410 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1289 | ddadd82003 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1290 | ddadd82004 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1291 | ddadd82007 add .2460 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1292 | ddadd82008 add .2470 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1293 | ddadd82009 add .2499 12345678901234.00 -> 12345678901234.24 Inexact Rounded\r | |
1294 | ddadd82011 add -.2499 -12345678901234.00 -> -12345678901234.24 Inexact Rounded\r | |
1295 | \r | |
1296 | ddadd82100 add .2500 12345678901234.00 -> 12345678901234.25 Rounded\r | |
1297 | ddadd82101 add .2501 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1298 | ddadd82102 add .2510 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1299 | ddadd82103 add .2550 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1300 | ddadd82104 add .2551 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1301 | ddadd82107 add .2560 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1302 | ddadd82108 add .2570 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1303 | ddadd82109 add .2599 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1304 | ddadd82111 add -.2599 -12345678901234.00 -> -12345678901234.26 Inexact Rounded\r | |
1305 | \r | |
1306 | ddadd82200 add .2600 12345678901234.00 -> 12345678901234.26 Rounded\r | |
1307 | ddadd82201 add .2601 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1308 | ddadd82202 add .2610 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1309 | ddadd82203 add .2650 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1310 | ddadd82204 add .2651 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1311 | ddadd82207 add .2660 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1312 | ddadd82208 add .2670 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1313 | ddadd82209 add .2699 12345678901234.00 -> 12345678901234.26 Inexact Rounded\r | |
1314 | ddadd82211 add -.2699 -12345678901234.00 -> -12345678901234.26 Inexact Rounded\r | |
1315 | \r | |
1316 | ddadd82300 add .2900 12345678901234.00 -> 12345678901234.29 Rounded\r | |
1317 | ddadd82301 add .2901 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1318 | ddadd82302 add .2910 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1319 | ddadd82303 add .2950 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1320 | ddadd82304 add .2951 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1321 | ddadd82307 add .2960 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1322 | ddadd82308 add .2970 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1323 | ddadd82309 add .2999 12345678901234.00 -> 12345678901234.29 Inexact Rounded\r | |
1324 | ddadd82311 add -.2999 -12345678901234.00 -> -12345678901234.29 Inexact Rounded\r | |
1325 | \r | |
1326 | -- Null tests\r | |
1327 | ddadd9990 add 10 # -> NaN Invalid_operation\r | |
1328 | ddadd9991 add # 10 -> NaN Invalid_operation\r |