]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | ------------------------------------------------------------------------\r |
2 | -- dqAdd.decTest -- decQuad 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 decQuads only; all arguments are\r | |
23 | -- representable in a decQuad\r | |
24 | extended: 1\r | |
25 | clamp: 1\r | |
26 | precision: 34\r | |
27 | maxExponent: 6144\r | |
28 | minExponent: -6143\r | |
29 | rounding: half_even\r | |
30 | \r | |
31 | -- [first group are 'quick confidence check']\r | |
32 | dqadd001 add 1 1 -> 2\r | |
33 | dqadd002 add 2 3 -> 5\r | |
34 | dqadd003 add '5.75' '3.3' -> 9.05\r | |
35 | dqadd004 add '5' '-3' -> 2\r | |
36 | dqadd005 add '-5' '-3' -> -8\r | |
37 | dqadd006 add '-7' '2.5' -> -4.5\r | |
38 | dqadd007 add '0.7' '0.3' -> 1.0\r | |
39 | dqadd008 add '1.25' '1.25' -> 2.50\r | |
40 | dqadd009 add '1.23456789' '1.00000000' -> '2.23456789'\r | |
41 | dqadd010 add '1.23456789' '1.00000011' -> '2.23456800'\r | |
42 | \r | |
43 | -- 1234567890123456 1234567890123456\r | |
44 | dqadd011 add '0.4444444444444444444444444444444446' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Inexact Rounded\r | |
45 | dqadd012 add '0.4444444444444444444444444444444445' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Rounded\r | |
46 | dqadd013 add '0.4444444444444444444444444444444444' '0.5555555555555555555555555555555555' -> '0.9999999999999999999999999999999999'\r | |
47 | dqadd014 add '4444444444444444444444444444444444' '0.49' -> '4444444444444444444444444444444444' Inexact Rounded\r | |
48 | dqadd015 add '4444444444444444444444444444444444' '0.499' -> '4444444444444444444444444444444444' Inexact Rounded\r | |
49 | dqadd016 add '4444444444444444444444444444444444' '0.4999' -> '4444444444444444444444444444444444' Inexact Rounded\r | |
50 | dqadd017 add '4444444444444444444444444444444444' '0.5000' -> '4444444444444444444444444444444444' Inexact Rounded\r | |
51 | dqadd018 add '4444444444444444444444444444444444' '0.5001' -> '4444444444444444444444444444444445' Inexact Rounded\r | |
52 | dqadd019 add '4444444444444444444444444444444444' '0.501' -> '4444444444444444444444444444444445' Inexact Rounded\r | |
53 | dqadd020 add '4444444444444444444444444444444444' '0.51' -> '4444444444444444444444444444444445' Inexact Rounded\r | |
54 | \r | |
55 | dqadd021 add 0 1 -> 1\r | |
56 | dqadd022 add 1 1 -> 2\r | |
57 | dqadd023 add 2 1 -> 3\r | |
58 | dqadd024 add 3 1 -> 4\r | |
59 | dqadd025 add 4 1 -> 5\r | |
60 | dqadd026 add 5 1 -> 6\r | |
61 | dqadd027 add 6 1 -> 7\r | |
62 | dqadd028 add 7 1 -> 8\r | |
63 | dqadd029 add 8 1 -> 9\r | |
64 | dqadd030 add 9 1 -> 10\r | |
65 | \r | |
66 | -- some carrying effects\r | |
67 | dqadd031 add '0.9998' '0.0000' -> '0.9998'\r | |
68 | dqadd032 add '0.9998' '0.0001' -> '0.9999'\r | |
69 | dqadd033 add '0.9998' '0.0002' -> '1.0000'\r | |
70 | dqadd034 add '0.9998' '0.0003' -> '1.0001'\r | |
71 | \r | |
72 | dqadd035 add '70' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
73 | dqadd036 add '700' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
74 | dqadd037 add '7000' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
75 | dqadd038 add '70000' '10000e+34' -> '1.000000000000000000000000000000001E+38' Inexact Rounded\r | |
76 | dqadd039 add '700000' '10000e+34' -> '1.000000000000000000000000000000007E+38' Rounded\r | |
77 | \r | |
78 | -- symmetry:\r | |
79 | dqadd040 add '10000e+34' '70' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
80 | dqadd041 add '10000e+34' '700' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
81 | dqadd042 add '10000e+34' '7000' -> '1.000000000000000000000000000000000E+38' Inexact Rounded\r | |
82 | dqadd044 add '10000e+34' '70000' -> '1.000000000000000000000000000000001E+38' Inexact Rounded\r | |
83 | dqadd045 add '10000e+34' '700000' -> '1.000000000000000000000000000000007E+38' Rounded\r | |
84 | \r | |
85 | -- same, without rounding\r | |
86 | dqadd046 add '10000e+9' '7' -> '10000000000007'\r | |
87 | dqadd047 add '10000e+9' '70' -> '10000000000070'\r | |
88 | dqadd048 add '10000e+9' '700' -> '10000000000700'\r | |
89 | dqadd049 add '10000e+9' '7000' -> '10000000007000'\r | |
90 | dqadd050 add '10000e+9' '70000' -> '10000000070000'\r | |
91 | dqadd051 add '10000e+9' '700000' -> '10000000700000'\r | |
92 | dqadd052 add '10000e+9' '7000000' -> '10000007000000'\r | |
93 | \r | |
94 | -- examples from decarith\r | |
95 | dqadd053 add '12' '7.00' -> '19.00'\r | |
96 | dqadd054 add '1.3' '-1.07' -> '0.23'\r | |
97 | dqadd055 add '1.3' '-1.30' -> '0.00'\r | |
98 | dqadd056 add '1.3' '-2.07' -> '-0.77'\r | |
99 | dqadd057 add '1E+2' '1E+4' -> '1.01E+4'\r | |
100 | \r | |
101 | -- leading zero preservation\r | |
102 | dqadd061 add 1 '0.0001' -> '1.0001'\r | |
103 | dqadd062 add 1 '0.00001' -> '1.00001'\r | |
104 | dqadd063 add 1 '0.000001' -> '1.000001'\r | |
105 | dqadd064 add 1 '0.0000001' -> '1.0000001'\r | |
106 | dqadd065 add 1 '0.00000001' -> '1.00000001'\r | |
107 | \r | |
108 | -- some funny zeros [in case of bad signum]\r | |
109 | dqadd070 add 1 0 -> 1\r | |
110 | dqadd071 add 1 0. -> 1\r | |
111 | dqadd072 add 1 .0 -> 1.0\r | |
112 | dqadd073 add 1 0.0 -> 1.0\r | |
113 | dqadd074 add 1 0.00 -> 1.00\r | |
114 | dqadd075 add 0 1 -> 1\r | |
115 | dqadd076 add 0. 1 -> 1\r | |
116 | dqadd077 add .0 1 -> 1.0\r | |
117 | dqadd078 add 0.0 1 -> 1.0\r | |
118 | dqadd079 add 0.00 1 -> 1.00\r | |
119 | \r | |
120 | -- some carries\r | |
121 | dqadd080 add 999999998 1 -> 999999999\r | |
122 | dqadd081 add 999999999 1 -> 1000000000\r | |
123 | dqadd082 add 99999999 1 -> 100000000\r | |
124 | dqadd083 add 9999999 1 -> 10000000\r | |
125 | dqadd084 add 999999 1 -> 1000000\r | |
126 | dqadd085 add 99999 1 -> 100000\r | |
127 | dqadd086 add 9999 1 -> 10000\r | |
128 | dqadd087 add 999 1 -> 1000\r | |
129 | dqadd088 add 99 1 -> 100\r | |
130 | dqadd089 add 9 1 -> 10\r | |
131 | \r | |
132 | \r | |
133 | -- more LHS swaps\r | |
134 | dqadd090 add '-56267E-10' 0 -> '-0.0000056267'\r | |
135 | dqadd091 add '-56267E-6' 0 -> '-0.056267'\r | |
136 | dqadd092 add '-56267E-5' 0 -> '-0.56267'\r | |
137 | dqadd093 add '-56267E-4' 0 -> '-5.6267'\r | |
138 | dqadd094 add '-56267E-3' 0 -> '-56.267'\r | |
139 | dqadd095 add '-56267E-2' 0 -> '-562.67'\r | |
140 | dqadd096 add '-56267E-1' 0 -> '-5626.7'\r | |
141 | dqadd097 add '-56267E-0' 0 -> '-56267'\r | |
142 | dqadd098 add '-5E-10' 0 -> '-5E-10'\r | |
143 | dqadd099 add '-5E-7' 0 -> '-5E-7'\r | |
144 | dqadd100 add '-5E-6' 0 -> '-0.000005'\r | |
145 | dqadd101 add '-5E-5' 0 -> '-0.00005'\r | |
146 | dqadd102 add '-5E-4' 0 -> '-0.0005'\r | |
147 | dqadd103 add '-5E-1' 0 -> '-0.5'\r | |
148 | dqadd104 add '-5E0' 0 -> '-5'\r | |
149 | dqadd105 add '-5E1' 0 -> '-50'\r | |
150 | dqadd106 add '-5E5' 0 -> '-500000'\r | |
151 | dqadd107 add '-5E33' 0 -> '-5000000000000000000000000000000000'\r | |
152 | dqadd108 add '-5E34' 0 -> '-5.000000000000000000000000000000000E+34' Rounded\r | |
153 | dqadd109 add '-5E35' 0 -> '-5.000000000000000000000000000000000E+35' Rounded\r | |
154 | dqadd110 add '-5E36' 0 -> '-5.000000000000000000000000000000000E+36' Rounded\r | |
155 | dqadd111 add '-5E100' 0 -> '-5.000000000000000000000000000000000E+100' Rounded\r | |
156 | \r | |
157 | -- more RHS swaps\r | |
158 | dqadd113 add 0 '-56267E-10' -> '-0.0000056267'\r | |
159 | dqadd114 add 0 '-56267E-6' -> '-0.056267'\r | |
160 | dqadd116 add 0 '-56267E-5' -> '-0.56267'\r | |
161 | dqadd117 add 0 '-56267E-4' -> '-5.6267'\r | |
162 | dqadd119 add 0 '-56267E-3' -> '-56.267'\r | |
163 | dqadd120 add 0 '-56267E-2' -> '-562.67'\r | |
164 | dqadd121 add 0 '-56267E-1' -> '-5626.7'\r | |
165 | dqadd122 add 0 '-56267E-0' -> '-56267'\r | |
166 | dqadd123 add 0 '-5E-10' -> '-5E-10'\r | |
167 | dqadd124 add 0 '-5E-7' -> '-5E-7'\r | |
168 | dqadd125 add 0 '-5E-6' -> '-0.000005'\r | |
169 | dqadd126 add 0 '-5E-5' -> '-0.00005'\r | |
170 | dqadd127 add 0 '-5E-4' -> '-0.0005'\r | |
171 | dqadd128 add 0 '-5E-1' -> '-0.5'\r | |
172 | dqadd129 add 0 '-5E0' -> '-5'\r | |
173 | dqadd130 add 0 '-5E1' -> '-50'\r | |
174 | dqadd131 add 0 '-5E5' -> '-500000'\r | |
175 | dqadd132 add 0 '-5E33' -> '-5000000000000000000000000000000000'\r | |
176 | dqadd133 add 0 '-5E34' -> '-5.000000000000000000000000000000000E+34' Rounded\r | |
177 | dqadd134 add 0 '-5E35' -> '-5.000000000000000000000000000000000E+35' Rounded\r | |
178 | dqadd135 add 0 '-5E36' -> '-5.000000000000000000000000000000000E+36' Rounded\r | |
179 | dqadd136 add 0 '-5E100' -> '-5.000000000000000000000000000000000E+100' Rounded\r | |
180 | \r | |
181 | -- related\r | |
182 | dqadd137 add 1 '0E-39' -> '1.000000000000000000000000000000000' Rounded\r | |
183 | dqadd138 add -1 '0E-39' -> '-1.000000000000000000000000000000000' Rounded\r | |
184 | dqadd139 add '0E-39' 1 -> '1.000000000000000000000000000000000' Rounded\r | |
185 | dqadd140 add '0E-39' -1 -> '-1.000000000000000000000000000000000' Rounded\r | |
186 | dqadd141 add 1E+29 0.0000 -> '100000000000000000000000000000.0000'\r | |
187 | dqadd142 add 1E+29 0.00000 -> '100000000000000000000000000000.0000' Rounded\r | |
188 | dqadd143 add 0.000 1E+30 -> '1000000000000000000000000000000.000'\r | |
189 | dqadd144 add 0.0000 1E+30 -> '1000000000000000000000000000000.000' Rounded\r | |
190 | \r | |
191 | -- [some of the next group are really constructor tests]\r | |
192 | dqadd146 add '00.0' 0 -> '0.0'\r | |
193 | dqadd147 add '0.00' 0 -> '0.00'\r | |
194 | dqadd148 add 0 '0.00' -> '0.00'\r | |
195 | dqadd149 add 0 '00.0' -> '0.0'\r | |
196 | dqadd150 add '00.0' '0.00' -> '0.00'\r | |
197 | dqadd151 add '0.00' '00.0' -> '0.00'\r | |
198 | dqadd152 add '3' '.3' -> '3.3'\r | |
199 | dqadd153 add '3.' '.3' -> '3.3'\r | |
200 | dqadd154 add '3.0' '.3' -> '3.3'\r | |
201 | dqadd155 add '3.00' '.3' -> '3.30'\r | |
202 | dqadd156 add '3' '3' -> '6'\r | |
203 | dqadd157 add '3' '+3' -> '6'\r | |
204 | dqadd158 add '3' '-3' -> '0'\r | |
205 | dqadd159 add '0.3' '-0.3' -> '0.0'\r | |
206 | dqadd160 add '0.03' '-0.03' -> '0.00'\r | |
207 | \r | |
208 | -- try borderline precision, with carries, etc.\r | |
209 | dqadd161 add '1E+12' '-1' -> '999999999999'\r | |
210 | dqadd162 add '1E+12' '1.11' -> '1000000000001.11'\r | |
211 | dqadd163 add '1.11' '1E+12' -> '1000000000001.11'\r | |
212 | dqadd164 add '-1' '1E+12' -> '999999999999'\r | |
213 | dqadd165 add '7E+12' '-1' -> '6999999999999'\r | |
214 | dqadd166 add '7E+12' '1.11' -> '7000000000001.11'\r | |
215 | dqadd167 add '1.11' '7E+12' -> '7000000000001.11'\r | |
216 | dqadd168 add '-1' '7E+12' -> '6999999999999'\r | |
217 | \r | |
218 | rounding: half_up\r | |
219 | dqadd170 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555567' -> '5.000000000000000000000000000000001' Inexact Rounded\r | |
220 | dqadd171 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555566' -> '5.000000000000000000000000000000001' Inexact Rounded\r | |
221 | dqadd172 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555565' -> '5.000000000000000000000000000000001' Inexact Rounded\r | |
222 | dqadd173 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555564' -> '5.000000000000000000000000000000000' Inexact Rounded\r | |
223 | dqadd174 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555553' -> '4.999999999999999999999999999999999' Inexact Rounded\r | |
224 | dqadd175 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555552' -> '4.999999999999999999999999999999999' Inexact Rounded\r | |
225 | dqadd176 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555551' -> '4.999999999999999999999999999999999' Inexact Rounded\r | |
226 | dqadd177 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555550' -> '4.999999999999999999999999999999999' Rounded\r | |
227 | dqadd178 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555545' -> '4.999999999999999999999999999999999' Inexact Rounded\r | |
228 | dqadd179 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555544' -> '4.999999999999999999999999999999998' Inexact Rounded\r | |
229 | dqadd180 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555543' -> '4.999999999999999999999999999999998' Inexact Rounded\r | |
230 | dqadd181 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555542' -> '4.999999999999999999999999999999998' Inexact Rounded\r | |
231 | dqadd182 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555541' -> '4.999999999999999999999999999999998' Inexact Rounded\r | |
232 | dqadd183 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555540' -> '4.999999999999999999999999999999998' Rounded\r | |
233 | \r | |
234 | -- and some more, including residue effects and different roundings\r | |
235 | rounding: half_up\r | |
236 | dqadd200 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'\r | |
237 | dqadd201 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
238 | dqadd202 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
239 | dqadd203 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
240 | dqadd204 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
241 | dqadd205 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
242 | dqadd206 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
243 | dqadd207 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
244 | dqadd208 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
245 | dqadd209 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
246 | dqadd210 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
247 | dqadd211 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
248 | dqadd212 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
249 | dqadd213 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
250 | dqadd214 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
251 | dqadd215 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
252 | dqadd216 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'\r | |
253 | dqadd217 add '1231234567890123456784560123456789' 1.000000001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
254 | dqadd218 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
255 | dqadd219 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
256 | \r | |
257 | rounding: half_even\r | |
258 | dqadd220 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'\r | |
259 | dqadd221 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
260 | dqadd222 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
261 | dqadd223 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
262 | dqadd224 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
263 | dqadd225 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
264 | dqadd226 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
265 | dqadd227 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
266 | dqadd228 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
267 | dqadd229 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
268 | dqadd230 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
269 | dqadd231 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
270 | dqadd232 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
271 | dqadd233 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
272 | dqadd234 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
273 | dqadd235 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
274 | dqadd236 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'\r | |
275 | dqadd237 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
276 | dqadd238 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
277 | dqadd239 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
278 | -- critical few with even bottom digit...\r | |
279 | dqadd240 add '1231234567890123456784560123456788' 0.499999999 -> '1231234567890123456784560123456788' Inexact Rounded\r | |
280 | dqadd241 add '1231234567890123456784560123456788' 0.5 -> '1231234567890123456784560123456788' Inexact Rounded\r | |
281 | dqadd242 add '1231234567890123456784560123456788' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
282 | \r | |
283 | rounding: down\r | |
284 | dqadd250 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'\r | |
285 | dqadd251 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
286 | dqadd252 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
287 | dqadd253 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
288 | dqadd254 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
289 | dqadd255 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
290 | dqadd256 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
291 | dqadd257 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
292 | dqadd258 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
293 | dqadd259 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
294 | dqadd260 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
295 | dqadd261 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
296 | dqadd262 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
297 | dqadd263 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
298 | dqadd264 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
299 | dqadd265 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456789' Inexact Rounded\r | |
300 | dqadd266 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'\r | |
301 | dqadd267 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
302 | dqadd268 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
303 | dqadd269 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded\r | |
304 | \r | |
305 | -- 1 in last place tests\r | |
306 | rounding: half_up\r | |
307 | dqadd301 add -1 1 -> 0\r | |
308 | dqadd302 add 0 1 -> 1\r | |
309 | dqadd303 add 1 1 -> 2\r | |
310 | dqadd304 add 12 1 -> 13\r | |
311 | dqadd305 add 98 1 -> 99\r | |
312 | dqadd306 add 99 1 -> 100\r | |
313 | dqadd307 add 100 1 -> 101\r | |
314 | dqadd308 add 101 1 -> 102\r | |
315 | dqadd309 add -1 -1 -> -2\r | |
316 | dqadd310 add 0 -1 -> -1\r | |
317 | dqadd311 add 1 -1 -> 0\r | |
318 | dqadd312 add 12 -1 -> 11\r | |
319 | dqadd313 add 98 -1 -> 97\r | |
320 | dqadd314 add 99 -1 -> 98\r | |
321 | dqadd315 add 100 -1 -> 99\r | |
322 | dqadd316 add 101 -1 -> 100\r | |
323 | \r | |
324 | dqadd321 add -0.01 0.01 -> 0.00\r | |
325 | dqadd322 add 0.00 0.01 -> 0.01\r | |
326 | dqadd323 add 0.01 0.01 -> 0.02\r | |
327 | dqadd324 add 0.12 0.01 -> 0.13\r | |
328 | dqadd325 add 0.98 0.01 -> 0.99\r | |
329 | dqadd326 add 0.99 0.01 -> 1.00\r | |
330 | dqadd327 add 1.00 0.01 -> 1.01\r | |
331 | dqadd328 add 1.01 0.01 -> 1.02\r | |
332 | dqadd329 add -0.01 -0.01 -> -0.02\r | |
333 | dqadd330 add 0.00 -0.01 -> -0.01\r | |
334 | dqadd331 add 0.01 -0.01 -> 0.00\r | |
335 | dqadd332 add 0.12 -0.01 -> 0.11\r | |
336 | dqadd333 add 0.98 -0.01 -> 0.97\r | |
337 | dqadd334 add 0.99 -0.01 -> 0.98\r | |
338 | dqadd335 add 1.00 -0.01 -> 0.99\r | |
339 | dqadd336 add 1.01 -0.01 -> 1.00\r | |
340 | \r | |
341 | -- some more cases where adding 0 affects the coefficient\r | |
342 | dqadd340 add 1E+3 0 -> 1000\r | |
343 | dqadd341 add 1E+33 0 -> 1000000000000000000000000000000000\r | |
344 | dqadd342 add 1E+34 0 -> 1.000000000000000000000000000000000E+34 Rounded\r | |
345 | dqadd343 add 1E+35 0 -> 1.000000000000000000000000000000000E+35 Rounded\r | |
346 | -- which simply follow from these cases ...\r | |
347 | dqadd344 add 1E+3 1 -> 1001\r | |
348 | dqadd345 add 1E+33 1 -> 1000000000000000000000000000000001\r | |
349 | dqadd346 add 1E+34 1 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
350 | dqadd347 add 1E+35 1 -> 1.000000000000000000000000000000000E+35 Inexact Rounded\r | |
351 | dqadd348 add 1E+3 7 -> 1007\r | |
352 | dqadd349 add 1E+33 7 -> 1000000000000000000000000000000007\r | |
353 | dqadd350 add 1E+34 7 -> 1.000000000000000000000000000000001E+34 Inexact Rounded\r | |
354 | dqadd351 add 1E+35 7 -> 1.000000000000000000000000000000000E+35 Inexact Rounded\r | |
355 | \r | |
356 | -- tryzeros cases\r | |
357 | rounding: half_up\r | |
358 | dqadd360 add 0E+50 10000E+1 -> 1.0000E+5\r | |
359 | dqadd361 add 0E-50 10000E+1 -> 100000.0000000000000000000000000000 Rounded\r | |
360 | dqadd362 add 10000E+1 0E-50 -> 100000.0000000000000000000000000000 Rounded\r | |
361 | dqadd363 add 10000E+1 10000E-50 -> 100000.0000000000000000000000000000 Rounded Inexact\r | |
362 | dqadd364 add 9.999999999999999999999999999999999E+6144 -9.999999999999999999999999999999999E+6144 -> 0E+6111\r | |
363 | -- 1 234567890123456789012345678901234\r | |
364 | \r | |
365 | -- a curiosity from JSR 13 testing\r | |
366 | rounding: half_down\r | |
367 | dqadd370 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814\r | |
368 | dqadd371 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact\r | |
369 | rounding: half_up\r | |
370 | dqadd372 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814\r | |
371 | dqadd373 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact\r | |
372 | rounding: half_even\r | |
373 | dqadd374 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814\r | |
374 | dqadd375 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact\r | |
375 | \r | |
376 | -- ulp replacement tests\r | |
377 | dqadd400 add 1 77e-32 -> 1.00000000000000000000000000000077\r | |
378 | dqadd401 add 1 77e-33 -> 1.000000000000000000000000000000077\r | |
379 | dqadd402 add 1 77e-34 -> 1.000000000000000000000000000000008 Inexact Rounded\r | |
380 | dqadd403 add 1 77e-35 -> 1.000000000000000000000000000000001 Inexact Rounded\r | |
381 | dqadd404 add 1 77e-36 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
382 | dqadd405 add 1 77e-37 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
383 | dqadd406 add 1 77e-299 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
384 | \r | |
385 | dqadd410 add 10 77e-32 -> 10.00000000000000000000000000000077\r | |
386 | dqadd411 add 10 77e-33 -> 10.00000000000000000000000000000008 Inexact Rounded\r | |
387 | dqadd412 add 10 77e-34 -> 10.00000000000000000000000000000001 Inexact Rounded\r | |
388 | dqadd413 add 10 77e-35 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
389 | dqadd414 add 10 77e-36 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
390 | dqadd415 add 10 77e-37 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
391 | dqadd416 add 10 77e-299 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
392 | \r | |
393 | dqadd420 add 77e-32 1 -> 1.00000000000000000000000000000077\r | |
394 | dqadd421 add 77e-33 1 -> 1.000000000000000000000000000000077\r | |
395 | dqadd422 add 77e-34 1 -> 1.000000000000000000000000000000008 Inexact Rounded\r | |
396 | dqadd423 add 77e-35 1 -> 1.000000000000000000000000000000001 Inexact Rounded\r | |
397 | dqadd424 add 77e-36 1 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
398 | dqadd425 add 77e-37 1 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
399 | dqadd426 add 77e-299 1 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
400 | \r | |
401 | dqadd430 add 77e-32 10 -> 10.00000000000000000000000000000077\r | |
402 | dqadd431 add 77e-33 10 -> 10.00000000000000000000000000000008 Inexact Rounded\r | |
403 | dqadd432 add 77e-34 10 -> 10.00000000000000000000000000000001 Inexact Rounded\r | |
404 | dqadd433 add 77e-35 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
405 | dqadd434 add 77e-36 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
406 | dqadd435 add 77e-37 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
407 | dqadd436 add 77e-299 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
408 | \r | |
409 | -- fastpath boundaries\r | |
410 | -- 1234567890123456789012345678901234\r | |
411 | dqadd501 add '4444444444444444444444444444444444' '5555555555555555555555555555555555' -> '9999999999999999999999999999999999'\r | |
412 | dqadd502 add '4444444444444444444444444444444444' '4555555555555555555555555555555555' -> '8999999999999999999999999999999999'\r | |
413 | dqadd503 add '4444444444444444444444444444444444' '3555555555555555555055555555555555' -> '7999999999999999999499999999999999'\r | |
414 | dqadd504 add '4444444444444444444444444444444444' '3955555555555555555555555555555555' -> '8399999999999999999999999999999999'\r | |
415 | dqadd505 add '4444444444444444444444444444444444' '4955555555555555555555555555555555' -> '9399999999999999999999999999999999'\r | |
416 | dqadd506 add '4444444444444444444444444444444444' '5955555555555555555555555555555555' -> 1.040000000000000000000000000000000E+34 Inexact Rounded\r | |
417 | dqadd511 add '344444444444444444444444444444444' '555555555555555555555555555555555' -> '899999999999999999999999999999999'\r | |
418 | dqadd512 add '34444444444444444444444444444444' '55555555555555555555555555555555' -> '89999999999999999999999999999999'\r | |
419 | dqadd513 add '3444444444444444444444444444444' '5555555555555555555555555555555' -> '8999999999999999999999999999999'\r | |
420 | dqadd514 add '344444444444444444444444444444' '555555555555555555555555555555' -> '899999999999999999999999999999'\r | |
421 | dqadd515 add '34444444444444444444444444444' '55555555555555555555555555555' -> '89999999999999999999999999999'\r | |
422 | dqadd516 add '3444444444444444444444444444' '5555555555555555555555555555' -> '8999999999999999999999999999'\r | |
423 | dqadd517 add '344444444444444444444444444' '555555555555555555555555555' -> '899999999999999999999999999'\r | |
424 | dqadd518 add '34444444444444444444444444' '55555555555555555555555555' -> '89999999999999999999999999'\r | |
425 | dqadd519 add '3444444444444444444444444' '5555555555555555555555555' -> '8999999999999999999999999'\r | |
426 | dqadd520 add '344444444444444444444444' '555555555555555555555555' -> '899999999999999999999999'\r | |
427 | dqadd521 add '34444444444444444444444' '55555555555555555555555' -> '89999999999999999999999'\r | |
428 | dqadd522 add '3444444444444444444444' '5555555555555555555555' -> '8999999999999999999999'\r | |
429 | dqadd523 add '4444444444444444444444' '3333333333333333333333' -> '7777777777777777777777'\r | |
430 | dqadd524 add '344444444444444444444' '555555555555555555555' -> '899999999999999999999'\r | |
431 | dqadd525 add '34444444444444444444' '55555555555555555555' -> '89999999999999999999'\r | |
432 | dqadd526 add '3444444444444444444' '5555555555555555555' -> '8999999999999999999'\r | |
433 | dqadd527 add '344444444444444444' '555555555555555555' -> '899999999999999999'\r | |
434 | dqadd528 add '34444444444444444' '55555555555555555' -> '89999999999999999'\r | |
435 | dqadd529 add '3444444444444444' '5555555555555555' -> '8999999999999999'\r | |
436 | dqadd530 add '344444444444444' '555555555555555' -> '899999999999999'\r | |
437 | dqadd531 add '34444444444444' '55555555555555' -> '89999999999999'\r | |
438 | dqadd532 add '3444444444444' '5555555555555' -> '8999999999999'\r | |
439 | dqadd533 add '344444444444' '555555555555' -> '899999999999'\r | |
440 | dqadd534 add '34444444444' '55555555555' -> '89999999999'\r | |
441 | dqadd535 add '3444444444' '5555555555' -> '8999999999'\r | |
442 | dqadd536 add '344444444' '555555555' -> '899999999'\r | |
443 | dqadd537 add '34444444' '55555555' -> '89999999'\r | |
444 | dqadd538 add '3444444' '5555555' -> '8999999'\r | |
445 | dqadd539 add '344444' '555555' -> '899999'\r | |
446 | dqadd540 add '34444' '55555' -> '89999'\r | |
447 | dqadd541 add '3444' '5555' -> '8999'\r | |
448 | dqadd542 add '344' '555' -> '899'\r | |
449 | dqadd543 add '34' '55' -> '89'\r | |
450 | dqadd544 add '3' '5' -> '8'\r | |
451 | \r | |
452 | dqadd545 add '3000004000000000000000000000000000' '3000000000000040000000000000000000' -> '6000004000000040000000000000000000'\r | |
453 | dqadd546 add '3000000400000000000000000000000000' '4000000000000400000000000000000000' -> '7000000400000400000000000000000000'\r | |
454 | dqadd547 add '3000000040000000000000000000000000' '5000000000004000000000000000000000' -> '8000000040004000000000000000000000'\r | |
455 | dqadd548 add '4000000004000000000000000000000000' '3000000000040000000000000000000000' -> '7000000004040000000000000000000000'\r | |
456 | dqadd549 add '4000000000400000000000000000000000' '4000000000400000000000000000000000' -> '8000000000800000000000000000000000'\r | |
457 | dqadd550 add '4000000000040000000000000000000000' '5000000004000000000000000000000000' -> '9000000004040000000000000000000000'\r | |
458 | dqadd551 add '5000000000004000000000000000000000' '3000000040000000000000000000000000' -> '8000000040004000000000000000000000'\r | |
459 | dqadd552 add '5000000000000400000000000000000000' '4000000400000000000000000000000000' -> '9000000400000400000000000000000000'\r | |
460 | dqadd553 add '5000000000000040000000000000000000' '5000004000000000000000000000000000' -> 1.000000400000004000000000000000000E+34 Rounded\r | |
461 | -- check propagation\r | |
462 | dqadd554 add '8999999999999999999999999999999999' '0000000000000000000000000000000001' -> 9000000000000000000000000000000000\r | |
463 | dqadd555 add '0000000000000000000000000000000001' '8999999999999999999999999999999999' -> 9000000000000000000000000000000000\r | |
464 | dqadd556 add '4444444444444444444444444444444444' '4555555555555555555555555555555556' -> 9000000000000000000000000000000000\r | |
465 | dqadd557 add '4555555555555555555555555555555556' '4444444444444444444444444444444444' -> 9000000000000000000000000000000000\r | |
466 | \r | |
467 | -- negative ulps\r | |
468 | dqadd6440 add 1 -77e-32 -> 0.99999999999999999999999999999923\r | |
469 | dqadd6441 add 1 -77e-33 -> 0.999999999999999999999999999999923\r | |
470 | dqadd6442 add 1 -77e-34 -> 0.9999999999999999999999999999999923\r | |
471 | dqadd6443 add 1 -77e-35 -> 0.9999999999999999999999999999999992 Inexact Rounded\r | |
472 | dqadd6444 add 1 -77e-36 -> 0.9999999999999999999999999999999999 Inexact Rounded\r | |
473 | dqadd6445 add 1 -77e-37 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
474 | dqadd6446 add 1 -77e-99 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
475 | \r | |
476 | dqadd6450 add 10 -77e-32 -> 9.99999999999999999999999999999923\r | |
477 | dqadd6451 add 10 -77e-33 -> 9.999999999999999999999999999999923\r | |
478 | dqadd6452 add 10 -77e-34 -> 9.999999999999999999999999999999992 Inexact Rounded\r | |
479 | dqadd6453 add 10 -77e-35 -> 9.999999999999999999999999999999999 Inexact Rounded\r | |
480 | dqadd6454 add 10 -77e-36 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
481 | dqadd6455 add 10 -77e-37 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
482 | dqadd6456 add 10 -77e-99 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
483 | \r | |
484 | dqadd6460 add -77e-32 1 -> 0.99999999999999999999999999999923\r | |
485 | dqadd6461 add -77e-33 1 -> 0.999999999999999999999999999999923\r | |
486 | dqadd6462 add -77e-34 1 -> 0.9999999999999999999999999999999923\r | |
487 | dqadd6463 add -77e-35 1 -> 0.9999999999999999999999999999999992 Inexact Rounded\r | |
488 | dqadd6464 add -77e-36 1 -> 0.9999999999999999999999999999999999 Inexact Rounded\r | |
489 | dqadd6465 add -77e-37 1 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
490 | dqadd6466 add -77e-99 1 -> 1.000000000000000000000000000000000 Inexact Rounded\r | |
491 | \r | |
492 | dqadd6470 add -77e-32 10 -> 9.99999999999999999999999999999923\r | |
493 | dqadd6471 add -77e-33 10 -> 9.999999999999999999999999999999923\r | |
494 | dqadd6472 add -77e-34 10 -> 9.999999999999999999999999999999992 Inexact Rounded\r | |
495 | dqadd6473 add -77e-35 10 -> 9.999999999999999999999999999999999 Inexact Rounded\r | |
496 | dqadd6474 add -77e-36 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
497 | dqadd6475 add -77e-37 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
498 | dqadd6476 add -77e-99 10 -> 10.00000000000000000000000000000000 Inexact Rounded\r | |
499 | \r | |
500 | -- negative ulps\r | |
501 | dqadd6480 add -1 77e-32 -> -0.99999999999999999999999999999923\r | |
502 | dqadd6481 add -1 77e-33 -> -0.999999999999999999999999999999923\r | |
503 | dqadd6482 add -1 77e-34 -> -0.9999999999999999999999999999999923\r | |
504 | dqadd6483 add -1 77e-35 -> -0.9999999999999999999999999999999992 Inexact Rounded\r | |
505 | dqadd6484 add -1 77e-36 -> -0.9999999999999999999999999999999999 Inexact Rounded\r | |
506 | dqadd6485 add -1 77e-37 -> -1.000000000000000000000000000000000 Inexact Rounded\r | |
507 | dqadd6486 add -1 77e-99 -> -1.000000000000000000000000000000000 Inexact Rounded\r | |
508 | \r | |
509 | dqadd6490 add -10 77e-32 -> -9.99999999999999999999999999999923\r | |
510 | dqadd6491 add -10 77e-33 -> -9.999999999999999999999999999999923\r | |
511 | dqadd6492 add -10 77e-34 -> -9.999999999999999999999999999999992 Inexact Rounded\r | |
512 | dqadd6493 add -10 77e-35 -> -9.999999999999999999999999999999999 Inexact Rounded\r | |
513 | dqadd6494 add -10 77e-36 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
514 | dqadd6495 add -10 77e-37 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
515 | dqadd6496 add -10 77e-99 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
516 | \r | |
517 | dqadd6500 add 77e-32 -1 -> -0.99999999999999999999999999999923\r | |
518 | dqadd6501 add 77e-33 -1 -> -0.999999999999999999999999999999923\r | |
519 | dqadd6502 add 77e-34 -1 -> -0.9999999999999999999999999999999923\r | |
520 | dqadd6503 add 77e-35 -1 -> -0.9999999999999999999999999999999992 Inexact Rounded\r | |
521 | dqadd6504 add 77e-36 -1 -> -0.9999999999999999999999999999999999 Inexact Rounded\r | |
522 | dqadd6505 add 77e-37 -1 -> -1.000000000000000000000000000000000 Inexact Rounded\r | |
523 | dqadd6506 add 77e-99 -1 -> -1.000000000000000000000000000000000 Inexact Rounded\r | |
524 | \r | |
525 | dqadd6510 add 77e-32 -10 -> -9.99999999999999999999999999999923\r | |
526 | dqadd6511 add 77e-33 -10 -> -9.999999999999999999999999999999923\r | |
527 | dqadd6512 add 77e-34 -10 -> -9.999999999999999999999999999999992 Inexact Rounded\r | |
528 | dqadd6513 add 77e-35 -10 -> -9.999999999999999999999999999999999 Inexact Rounded\r | |
529 | dqadd6514 add 77e-36 -10 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
530 | dqadd6515 add 77e-37 -10 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
531 | dqadd6516 add 77e-99 -10 -> -10.00000000000000000000000000000000 Inexact Rounded\r | |
532 | \r | |
533 | -- and some more residue effects and different roundings\r | |
534 | rounding: half_up\r | |
535 | dqadd6540 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'\r | |
536 | dqadd6541 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
537 | dqadd6542 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
538 | dqadd6543 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
539 | dqadd6544 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
540 | dqadd6545 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
541 | dqadd6546 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
542 | dqadd6547 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
543 | dqadd6548 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
544 | dqadd6549 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
545 | dqadd6550 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
546 | dqadd6551 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
547 | dqadd6552 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
548 | dqadd6553 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
549 | dqadd6554 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
550 | dqadd6555 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
551 | dqadd6556 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'\r | |
552 | dqadd6557 add '9876543219876543216543210123456789' 1.000000001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
553 | dqadd6558 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
554 | dqadd6559 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
555 | \r | |
556 | rounding: half_even\r | |
557 | dqadd6560 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'\r | |
558 | dqadd6561 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
559 | dqadd6562 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
560 | dqadd6563 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
561 | dqadd6564 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
562 | dqadd6565 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
563 | dqadd6566 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
564 | dqadd6567 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
565 | dqadd6568 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
566 | dqadd6569 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
567 | dqadd6570 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
568 | dqadd6571 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
569 | dqadd6572 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
570 | dqadd6573 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
571 | dqadd6574 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
572 | dqadd6575 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
573 | dqadd6576 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'\r | |
574 | dqadd6577 add '9876543219876543216543210123456789' 1.00000001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
575 | dqadd6578 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
576 | dqadd6579 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
577 | \r | |
578 | -- critical few with even bottom digit...\r | |
579 | dqadd7540 add '9876543219876543216543210123456788' 0.499999999 -> '9876543219876543216543210123456788' Inexact Rounded\r | |
580 | dqadd7541 add '9876543219876543216543210123456788' 0.5 -> '9876543219876543216543210123456788' Inexact Rounded\r | |
581 | dqadd7542 add '9876543219876543216543210123456788' 0.500000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
582 | \r | |
583 | rounding: down\r | |
584 | dqadd7550 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'\r | |
585 | dqadd7551 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
586 | dqadd7552 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
587 | dqadd7553 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
588 | dqadd7554 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
589 | dqadd7555 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
590 | dqadd7556 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
591 | dqadd7557 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
592 | dqadd7558 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
593 | dqadd7559 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
594 | dqadd7560 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
595 | dqadd7561 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
596 | dqadd7562 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
597 | dqadd7563 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
598 | dqadd7564 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
599 | dqadd7565 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456789' Inexact Rounded\r | |
600 | dqadd7566 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'\r | |
601 | dqadd7567 add '9876543219876543216543210123456789' 1.00000001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
602 | dqadd7568 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
603 | dqadd7569 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded\r | |
604 | \r | |
605 | -- more zeros, etc.\r | |
606 | rounding: half_even\r | |
607 | \r | |
608 | dqadd7701 add 5.00 1.00E-3 -> 5.00100\r | |
609 | dqadd7702 add 00.00 0.000 -> 0.000\r | |
610 | dqadd7703 add 00.00 0E-3 -> 0.000\r | |
611 | dqadd7704 add 0E-3 00.00 -> 0.000\r | |
612 | \r | |
613 | dqadd7710 add 0E+3 00.00 -> 0.00\r | |
614 | dqadd7711 add 0E+3 00.0 -> 0.0\r | |
615 | dqadd7712 add 0E+3 00. -> 0\r | |
616 | dqadd7713 add 0E+3 00.E+1 -> 0E+1\r | |
617 | dqadd7714 add 0E+3 00.E+2 -> 0E+2\r | |
618 | dqadd7715 add 0E+3 00.E+3 -> 0E+3\r | |
619 | dqadd7716 add 0E+3 00.E+4 -> 0E+3\r | |
620 | dqadd7717 add 0E+3 00.E+5 -> 0E+3\r | |
621 | dqadd7718 add 0E+3 -00.0 -> 0.0\r | |
622 | dqadd7719 add 0E+3 -00. -> 0\r | |
623 | dqadd7731 add 0E+3 -00.E+1 -> 0E+1\r | |
624 | \r | |
625 | dqadd7720 add 00.00 0E+3 -> 0.00\r | |
626 | dqadd7721 add 00.0 0E+3 -> 0.0\r | |
627 | dqadd7722 add 00. 0E+3 -> 0\r | |
628 | dqadd7723 add 00.E+1 0E+3 -> 0E+1\r | |
629 | dqadd7724 add 00.E+2 0E+3 -> 0E+2\r | |
630 | dqadd7725 add 00.E+3 0E+3 -> 0E+3\r | |
631 | dqadd7726 add 00.E+4 0E+3 -> 0E+3\r | |
632 | dqadd7727 add 00.E+5 0E+3 -> 0E+3\r | |
633 | dqadd7728 add -00.00 0E+3 -> 0.00\r | |
634 | dqadd7729 add -00.0 0E+3 -> 0.0\r | |
635 | dqadd7730 add -00. 0E+3 -> 0\r | |
636 | \r | |
637 | dqadd7732 add 0 0 -> 0\r | |
638 | dqadd7733 add 0 -0 -> 0\r | |
639 | dqadd7734 add -0 0 -> 0\r | |
640 | dqadd7735 add -0 -0 -> -0 -- IEEE 754 special case\r | |
641 | \r | |
642 | dqadd7736 add 1 -1 -> 0\r | |
643 | dqadd7737 add -1 -1 -> -2\r | |
644 | dqadd7738 add 1 1 -> 2\r | |
645 | dqadd7739 add -1 1 -> 0\r | |
646 | \r | |
647 | dqadd7741 add 0 -1 -> -1\r | |
648 | dqadd7742 add -0 -1 -> -1\r | |
649 | dqadd7743 add 0 1 -> 1\r | |
650 | dqadd7744 add -0 1 -> 1\r | |
651 | dqadd7745 add -1 0 -> -1\r | |
652 | dqadd7746 add -1 -0 -> -1\r | |
653 | dqadd7747 add 1 0 -> 1\r | |
654 | dqadd7748 add 1 -0 -> 1\r | |
655 | \r | |
656 | dqadd7751 add 0.0 -1 -> -1.0\r | |
657 | dqadd7752 add -0.0 -1 -> -1.0\r | |
658 | dqadd7753 add 0.0 1 -> 1.0\r | |
659 | dqadd7754 add -0.0 1 -> 1.0\r | |
660 | dqadd7755 add -1.0 0 -> -1.0\r | |
661 | dqadd7756 add -1.0 -0 -> -1.0\r | |
662 | dqadd7757 add 1.0 0 -> 1.0\r | |
663 | dqadd7758 add 1.0 -0 -> 1.0\r | |
664 | \r | |
665 | dqadd7761 add 0 -1.0 -> -1.0\r | |
666 | dqadd7762 add -0 -1.0 -> -1.0\r | |
667 | dqadd7763 add 0 1.0 -> 1.0\r | |
668 | dqadd7764 add -0 1.0 -> 1.0\r | |
669 | dqadd7765 add -1 0.0 -> -1.0\r | |
670 | dqadd7766 add -1 -0.0 -> -1.0\r | |
671 | dqadd7767 add 1 0.0 -> 1.0\r | |
672 | dqadd7768 add 1 -0.0 -> 1.0\r | |
673 | \r | |
674 | dqadd7771 add 0.0 -1.0 -> -1.0\r | |
675 | dqadd7772 add -0.0 -1.0 -> -1.0\r | |
676 | dqadd7773 add 0.0 1.0 -> 1.0\r | |
677 | dqadd7774 add -0.0 1.0 -> 1.0\r | |
678 | dqadd7775 add -1.0 0.0 -> -1.0\r | |
679 | dqadd7776 add -1.0 -0.0 -> -1.0\r | |
680 | dqadd7777 add 1.0 0.0 -> 1.0\r | |
681 | dqadd7778 add 1.0 -0.0 -> 1.0\r | |
682 | \r | |
683 | -- Specials\r | |
684 | dqadd7780 add -Inf -Inf -> -Infinity\r | |
685 | dqadd7781 add -Inf -1000 -> -Infinity\r | |
686 | dqadd7782 add -Inf -1 -> -Infinity\r | |
687 | dqadd7783 add -Inf -0 -> -Infinity\r | |
688 | dqadd7784 add -Inf 0 -> -Infinity\r | |
689 | dqadd7785 add -Inf 1 -> -Infinity\r | |
690 | dqadd7786 add -Inf 1000 -> -Infinity\r | |
691 | dqadd7787 add -1000 -Inf -> -Infinity\r | |
692 | dqadd7788 add -Inf -Inf -> -Infinity\r | |
693 | dqadd7789 add -1 -Inf -> -Infinity\r | |
694 | dqadd7790 add -0 -Inf -> -Infinity\r | |
695 | dqadd7791 add 0 -Inf -> -Infinity\r | |
696 | dqadd7792 add 1 -Inf -> -Infinity\r | |
697 | dqadd7793 add 1000 -Inf -> -Infinity\r | |
698 | dqadd7794 add Inf -Inf -> NaN Invalid_operation\r | |
699 | \r | |
700 | dqadd7800 add Inf -Inf -> NaN Invalid_operation\r | |
701 | dqadd7801 add Inf -1000 -> Infinity\r | |
702 | dqadd7802 add Inf -1 -> Infinity\r | |
703 | dqadd7803 add Inf -0 -> Infinity\r | |
704 | dqadd7804 add Inf 0 -> Infinity\r | |
705 | dqadd7805 add Inf 1 -> Infinity\r | |
706 | dqadd7806 add Inf 1000 -> Infinity\r | |
707 | dqadd7807 add Inf Inf -> Infinity\r | |
708 | dqadd7808 add -1000 Inf -> Infinity\r | |
709 | dqadd7809 add -Inf Inf -> NaN Invalid_operation\r | |
710 | dqadd7810 add -1 Inf -> Infinity\r | |
711 | dqadd7811 add -0 Inf -> Infinity\r | |
712 | dqadd7812 add 0 Inf -> Infinity\r | |
713 | dqadd7813 add 1 Inf -> Infinity\r | |
714 | dqadd7814 add 1000 Inf -> Infinity\r | |
715 | dqadd7815 add Inf Inf -> Infinity\r | |
716 | \r | |
717 | dqadd7821 add NaN -Inf -> NaN\r | |
718 | dqadd7822 add NaN -1000 -> NaN\r | |
719 | dqadd7823 add NaN -1 -> NaN\r | |
720 | dqadd7824 add NaN -0 -> NaN\r | |
721 | dqadd7825 add NaN 0 -> NaN\r | |
722 | dqadd7826 add NaN 1 -> NaN\r | |
723 | dqadd7827 add NaN 1000 -> NaN\r | |
724 | dqadd7828 add NaN Inf -> NaN\r | |
725 | dqadd7829 add NaN NaN -> NaN\r | |
726 | dqadd7830 add -Inf NaN -> NaN\r | |
727 | dqadd7831 add -1000 NaN -> NaN\r | |
728 | dqadd7832 add -1 NaN -> NaN\r | |
729 | dqadd7833 add -0 NaN -> NaN\r | |
730 | dqadd7834 add 0 NaN -> NaN\r | |
731 | dqadd7835 add 1 NaN -> NaN\r | |
732 | dqadd7836 add 1000 NaN -> NaN\r | |
733 | dqadd7837 add Inf NaN -> NaN\r | |
734 | \r | |
735 | dqadd7841 add sNaN -Inf -> NaN Invalid_operation\r | |
736 | dqadd7842 add sNaN -1000 -> NaN Invalid_operation\r | |
737 | dqadd7843 add sNaN -1 -> NaN Invalid_operation\r | |
738 | dqadd7844 add sNaN -0 -> NaN Invalid_operation\r | |
739 | dqadd7845 add sNaN 0 -> NaN Invalid_operation\r | |
740 | dqadd7846 add sNaN 1 -> NaN Invalid_operation\r | |
741 | dqadd7847 add sNaN 1000 -> NaN Invalid_operation\r | |
742 | dqadd7848 add sNaN NaN -> NaN Invalid_operation\r | |
743 | dqadd7849 add sNaN sNaN -> NaN Invalid_operation\r | |
744 | dqadd7850 add NaN sNaN -> NaN Invalid_operation\r | |
745 | dqadd7851 add -Inf sNaN -> NaN Invalid_operation\r | |
746 | dqadd7852 add -1000 sNaN -> NaN Invalid_operation\r | |
747 | dqadd7853 add -1 sNaN -> NaN Invalid_operation\r | |
748 | dqadd7854 add -0 sNaN -> NaN Invalid_operation\r | |
749 | dqadd7855 add 0 sNaN -> NaN Invalid_operation\r | |
750 | dqadd7856 add 1 sNaN -> NaN Invalid_operation\r | |
751 | dqadd7857 add 1000 sNaN -> NaN Invalid_operation\r | |
752 | dqadd7858 add Inf sNaN -> NaN Invalid_operation\r | |
753 | dqadd7859 add NaN sNaN -> NaN Invalid_operation\r | |
754 | \r | |
755 | -- propagating NaNs\r | |
756 | dqadd7861 add NaN1 -Inf -> NaN1\r | |
757 | dqadd7862 add +NaN2 -1000 -> NaN2\r | |
758 | dqadd7863 add NaN3 1000 -> NaN3\r | |
759 | dqadd7864 add NaN4 Inf -> NaN4\r | |
760 | dqadd7865 add NaN5 +NaN6 -> NaN5\r | |
761 | dqadd7866 add -Inf NaN7 -> NaN7\r | |
762 | dqadd7867 add -1000 NaN8 -> NaN8\r | |
763 | dqadd7868 add 1000 NaN9 -> NaN9\r | |
764 | dqadd7869 add Inf +NaN10 -> NaN10\r | |
765 | dqadd7871 add sNaN11 -Inf -> NaN11 Invalid_operation\r | |
766 | dqadd7872 add sNaN12 -1000 -> NaN12 Invalid_operation\r | |
767 | dqadd7873 add sNaN13 1000 -> NaN13 Invalid_operation\r | |
768 | dqadd7874 add sNaN14 NaN17 -> NaN14 Invalid_operation\r | |
769 | dqadd7875 add sNaN15 sNaN18 -> NaN15 Invalid_operation\r | |
770 | dqadd7876 add NaN16 sNaN19 -> NaN19 Invalid_operation\r | |
771 | dqadd7877 add -Inf +sNaN20 -> NaN20 Invalid_operation\r | |
772 | dqadd7878 add -1000 sNaN21 -> NaN21 Invalid_operation\r | |
773 | dqadd7879 add 1000 sNaN22 -> NaN22 Invalid_operation\r | |
774 | dqadd7880 add Inf sNaN23 -> NaN23 Invalid_operation\r | |
775 | dqadd7881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation\r | |
776 | dqadd7882 add -NaN26 NaN28 -> -NaN26\r | |
777 | dqadd7883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation\r | |
778 | dqadd7884 add 1000 -NaN30 -> -NaN30\r | |
779 | dqadd7885 add 1000 -sNaN31 -> -NaN31 Invalid_operation\r | |
780 | \r | |
781 | -- Here we explore near the boundary of rounding a subnormal to Nmin\r | |
782 | dqadd7575 add 1E-6143 -1E-6176 -> 9.99999999999999999999999999999999E-6144 Subnormal\r | |
783 | dqadd7576 add -1E-6143 +1E-6176 -> -9.99999999999999999999999999999999E-6144 Subnormal\r | |
784 | \r | |
785 | -- check overflow edge case\r | |
786 | -- 1234567890123456\r | |
787 | dqadd7972 apply 9.999999999999999999999999999999999E+6144 -> 9.999999999999999999999999999999999E+6144\r | |
788 | dqadd7973 add 9.999999999999999999999999999999999E+6144 1 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
789 | dqadd7974 add 9999999999999999999999999999999999E+6111 1 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
790 | dqadd7975 add 9999999999999999999999999999999999E+6111 1E+6111 -> Infinity Overflow Inexact Rounded\r | |
791 | dqadd7976 add 9999999999999999999999999999999999E+6111 9E+6110 -> Infinity Overflow Inexact Rounded\r | |
792 | dqadd7977 add 9999999999999999999999999999999999E+6111 8E+6110 -> Infinity Overflow Inexact Rounded\r | |
793 | dqadd7978 add 9999999999999999999999999999999999E+6111 7E+6110 -> Infinity Overflow Inexact Rounded\r | |
794 | dqadd7979 add 9999999999999999999999999999999999E+6111 6E+6110 -> Infinity Overflow Inexact Rounded\r | |
795 | dqadd7980 add 9999999999999999999999999999999999E+6111 5E+6110 -> Infinity Overflow Inexact Rounded\r | |
796 | dqadd7981 add 9999999999999999999999999999999999E+6111 4E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
797 | dqadd7982 add 9999999999999999999999999999999999E+6111 3E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
798 | dqadd7983 add 9999999999999999999999999999999999E+6111 2E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
799 | dqadd7984 add 9999999999999999999999999999999999E+6111 1E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
800 | \r | |
801 | dqadd7985 apply -9.999999999999999999999999999999999E+6144 -> -9.999999999999999999999999999999999E+6144\r | |
802 | dqadd7986 add -9.999999999999999999999999999999999E+6144 -1 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
803 | dqadd7987 add -9999999999999999999999999999999999E+6111 -1 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
804 | dqadd7988 add -9999999999999999999999999999999999E+6111 -1E+6111 -> -Infinity Overflow Inexact Rounded\r | |
805 | dqadd7989 add -9999999999999999999999999999999999E+6111 -9E+6110 -> -Infinity Overflow Inexact Rounded\r | |
806 | dqadd7990 add -9999999999999999999999999999999999E+6111 -8E+6110 -> -Infinity Overflow Inexact Rounded\r | |
807 | dqadd7991 add -9999999999999999999999999999999999E+6111 -7E+6110 -> -Infinity Overflow Inexact Rounded\r | |
808 | dqadd7992 add -9999999999999999999999999999999999E+6111 -6E+6110 -> -Infinity Overflow Inexact Rounded\r | |
809 | dqadd7993 add -9999999999999999999999999999999999E+6111 -5E+6110 -> -Infinity Overflow Inexact Rounded\r | |
810 | dqadd7994 add -9999999999999999999999999999999999E+6111 -4E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
811 | dqadd7995 add -9999999999999999999999999999999999E+6111 -3E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
812 | dqadd7996 add -9999999999999999999999999999999999E+6111 -2E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
813 | dqadd7997 add -9999999999999999999999999999999999E+6111 -1E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded\r | |
814 | \r | |
815 | -- And for round down full and subnormal results\r | |
816 | rounding: down\r | |
817 | dqadd71100 add 1e+2 -1e-6143 -> 99.99999999999999999999999999999999 Rounded Inexact\r | |
818 | dqadd71101 add 1e+1 -1e-6143 -> 9.999999999999999999999999999999999 Rounded Inexact\r | |
819 | dqadd71103 add +1 -1e-6143 -> 0.9999999999999999999999999999999999 Rounded Inexact\r | |
820 | dqadd71104 add 1e-1 -1e-6143 -> 0.09999999999999999999999999999999999 Rounded Inexact\r | |
821 | dqadd71105 add 1e-2 -1e-6143 -> 0.009999999999999999999999999999999999 Rounded Inexact\r | |
822 | dqadd71106 add 1e-3 -1e-6143 -> 0.0009999999999999999999999999999999999 Rounded Inexact\r | |
823 | dqadd71107 add 1e-4 -1e-6143 -> 0.00009999999999999999999999999999999999 Rounded Inexact\r | |
824 | dqadd71108 add 1e-5 -1e-6143 -> 0.000009999999999999999999999999999999999 Rounded Inexact\r | |
825 | dqadd71109 add 1e-6 -1e-6143 -> 9.999999999999999999999999999999999E-7 Rounded Inexact\r | |
826 | \r | |
827 | rounding: ceiling\r | |
828 | dqadd71110 add -1e+2 +1e-6143 -> -99.99999999999999999999999999999999 Rounded Inexact\r | |
829 | dqadd71111 add -1e+1 +1e-6143 -> -9.999999999999999999999999999999999 Rounded Inexact\r | |
830 | dqadd71113 add -1 +1e-6143 -> -0.9999999999999999999999999999999999 Rounded Inexact\r | |
831 | dqadd71114 add -1e-1 +1e-6143 -> -0.09999999999999999999999999999999999 Rounded Inexact\r | |
832 | dqadd71115 add -1e-2 +1e-6143 -> -0.009999999999999999999999999999999999 Rounded Inexact\r | |
833 | dqadd71116 add -1e-3 +1e-6143 -> -0.0009999999999999999999999999999999999 Rounded Inexact\r | |
834 | dqadd71117 add -1e-4 +1e-6143 -> -0.00009999999999999999999999999999999999 Rounded Inexact\r | |
835 | dqadd71118 add -1e-5 +1e-6143 -> -0.000009999999999999999999999999999999999 Rounded Inexact\r | |
836 | dqadd71119 add -1e-6 +1e-6143 -> -9.999999999999999999999999999999999E-7 Rounded Inexact\r | |
837 | \r | |
838 | -- tests based on Gunnar Degnbol's edge case\r | |
839 | rounding: half_even\r | |
840 | \r | |
841 | dqadd71300 add 1E34 -0.5 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
842 | dqadd71310 add 1E34 -0.51 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
843 | dqadd71311 add 1E34 -0.501 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
844 | dqadd71312 add 1E34 -0.5001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
845 | dqadd71313 add 1E34 -0.50001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
846 | dqadd71314 add 1E34 -0.500001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
847 | dqadd71315 add 1E34 -0.5000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
848 | dqadd71316 add 1E34 -0.50000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
849 | dqadd71317 add 1E34 -0.500000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
850 | dqadd71318 add 1E34 -0.5000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
851 | dqadd71319 add 1E34 -0.50000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
852 | dqadd71320 add 1E34 -0.500000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
853 | dqadd71321 add 1E34 -0.5000000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
854 | dqadd71322 add 1E34 -0.50000000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
855 | dqadd71323 add 1E34 -0.500000000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
856 | dqadd71324 add 1E34 -0.5000000000000001 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
857 | dqadd71325 add 1E34 -0.5000000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
858 | dqadd71326 add 1E34 -0.500000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
859 | dqadd71327 add 1E34 -0.50000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
860 | dqadd71328 add 1E34 -0.5000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
861 | dqadd71329 add 1E34 -0.500000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
862 | dqadd71330 add 1E34 -0.50000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
863 | dqadd71331 add 1E34 -0.5000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
864 | dqadd71332 add 1E34 -0.500000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
865 | dqadd71333 add 1E34 -0.50000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
866 | dqadd71334 add 1E34 -0.5000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
867 | dqadd71335 add 1E34 -0.500000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
868 | dqadd71336 add 1E34 -0.50000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
869 | dqadd71337 add 1E34 -0.5000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
870 | dqadd71338 add 1E34 -0.500 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
871 | dqadd71339 add 1E34 -0.50 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
872 | \r | |
873 | dqadd71340 add 1E34 -5000000.000010001 -> 9999999999999999999999999995000000 Inexact Rounded\r | |
874 | dqadd71341 add 1E34 -5000000.000000001 -> 9999999999999999999999999995000000 Inexact Rounded\r | |
875 | \r | |
876 | dqadd71349 add 9999999999999999999999999999999999 0.4 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
877 | dqadd71350 add 9999999999999999999999999999999999 0.49 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
878 | dqadd71351 add 9999999999999999999999999999999999 0.499 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
879 | dqadd71352 add 9999999999999999999999999999999999 0.4999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
880 | dqadd71353 add 9999999999999999999999999999999999 0.49999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
881 | dqadd71354 add 9999999999999999999999999999999999 0.499999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
882 | dqadd71355 add 9999999999999999999999999999999999 0.4999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
883 | dqadd71356 add 9999999999999999999999999999999999 0.49999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
884 | dqadd71357 add 9999999999999999999999999999999999 0.499999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
885 | dqadd71358 add 9999999999999999999999999999999999 0.4999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
886 | dqadd71359 add 9999999999999999999999999999999999 0.49999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
887 | dqadd71360 add 9999999999999999999999999999999999 0.499999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
888 | dqadd71361 add 9999999999999999999999999999999999 0.4999999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
889 | dqadd71362 add 9999999999999999999999999999999999 0.49999999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
890 | dqadd71363 add 9999999999999999999999999999999999 0.499999999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
891 | dqadd71364 add 9999999999999999999999999999999999 0.4999999999999999 -> 9999999999999999999999999999999999 Inexact Rounded\r | |
892 | dqadd71365 add 9999999999999999999999999999999999 0.5000000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
893 | dqadd71367 add 9999999999999999999999999999999999 0.500000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
894 | dqadd71368 add 9999999999999999999999999999999999 0.50000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
895 | dqadd71369 add 9999999999999999999999999999999999 0.5000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
896 | dqadd71370 add 9999999999999999999999999999999999 0.500000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
897 | dqadd71371 add 9999999999999999999999999999999999 0.50000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
898 | dqadd71372 add 9999999999999999999999999999999999 0.5000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
899 | dqadd71373 add 9999999999999999999999999999999999 0.500000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
900 | dqadd71374 add 9999999999999999999999999999999999 0.50000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
901 | dqadd71375 add 9999999999999999999999999999999999 0.5000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
902 | dqadd71376 add 9999999999999999999999999999999999 0.500000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
903 | dqadd71377 add 9999999999999999999999999999999999 0.50000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
904 | dqadd71378 add 9999999999999999999999999999999999 0.5000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
905 | dqadd71379 add 9999999999999999999999999999999999 0.500 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
906 | dqadd71380 add 9999999999999999999999999999999999 0.50 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
907 | dqadd71381 add 9999999999999999999999999999999999 0.5 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
908 | dqadd71382 add 9999999999999999999999999999999999 0.5000000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
909 | dqadd71383 add 9999999999999999999999999999999999 0.500000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
910 | dqadd71384 add 9999999999999999999999999999999999 0.50000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
911 | dqadd71385 add 9999999999999999999999999999999999 0.5000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
912 | dqadd71386 add 9999999999999999999999999999999999 0.500000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
913 | dqadd71387 add 9999999999999999999999999999999999 0.50000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
914 | dqadd71388 add 9999999999999999999999999999999999 0.5000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
915 | dqadd71389 add 9999999999999999999999999999999999 0.500000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
916 | dqadd71390 add 9999999999999999999999999999999999 0.50000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
917 | dqadd71391 add 9999999999999999999999999999999999 0.5000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
918 | dqadd71392 add 9999999999999999999999999999999999 0.500001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
919 | dqadd71393 add 9999999999999999999999999999999999 0.50001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
920 | dqadd71394 add 9999999999999999999999999999999999 0.5001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
921 | dqadd71395 add 9999999999999999999999999999999999 0.501 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
922 | dqadd71396 add 9999999999999999999999999999999999 0.51 -> 1.000000000000000000000000000000000E+34 Inexact Rounded\r | |
923 | \r | |
924 | -- More GD edge cases, where difference between the unadjusted\r | |
925 | -- exponents is larger than the maximum precision and one side is 0\r | |
926 | dqadd71420 add 0 1.123456789987654321123456789012345 -> 1.123456789987654321123456789012345\r | |
927 | dqadd71421 add 0 1.123456789987654321123456789012345E-1 -> 0.1123456789987654321123456789012345\r | |
928 | dqadd71422 add 0 1.123456789987654321123456789012345E-2 -> 0.01123456789987654321123456789012345\r | |
929 | dqadd71423 add 0 1.123456789987654321123456789012345E-3 -> 0.001123456789987654321123456789012345\r | |
930 | dqadd71424 add 0 1.123456789987654321123456789012345E-4 -> 0.0001123456789987654321123456789012345\r | |
931 | dqadd71425 add 0 1.123456789987654321123456789012345E-5 -> 0.00001123456789987654321123456789012345\r | |
932 | dqadd71426 add 0 1.123456789987654321123456789012345E-6 -> 0.000001123456789987654321123456789012345\r | |
933 | dqadd71427 add 0 1.123456789987654321123456789012345E-7 -> 1.123456789987654321123456789012345E-7\r | |
934 | dqadd71428 add 0 1.123456789987654321123456789012345E-8 -> 1.123456789987654321123456789012345E-8\r | |
935 | dqadd71429 add 0 1.123456789987654321123456789012345E-9 -> 1.123456789987654321123456789012345E-9\r | |
936 | dqadd71430 add 0 1.123456789987654321123456789012345E-10 -> 1.123456789987654321123456789012345E-10\r | |
937 | dqadd71431 add 0 1.123456789987654321123456789012345E-11 -> 1.123456789987654321123456789012345E-11\r | |
938 | dqadd71432 add 0 1.123456789987654321123456789012345E-12 -> 1.123456789987654321123456789012345E-12\r | |
939 | dqadd71433 add 0 1.123456789987654321123456789012345E-13 -> 1.123456789987654321123456789012345E-13\r | |
940 | dqadd71434 add 0 1.123456789987654321123456789012345E-14 -> 1.123456789987654321123456789012345E-14\r | |
941 | dqadd71435 add 0 1.123456789987654321123456789012345E-15 -> 1.123456789987654321123456789012345E-15\r | |
942 | dqadd71436 add 0 1.123456789987654321123456789012345E-16 -> 1.123456789987654321123456789012345E-16\r | |
943 | dqadd71437 add 0 1.123456789987654321123456789012345E-17 -> 1.123456789987654321123456789012345E-17\r | |
944 | dqadd71438 add 0 1.123456789987654321123456789012345E-18 -> 1.123456789987654321123456789012345E-18\r | |
945 | dqadd71439 add 0 1.123456789987654321123456789012345E-19 -> 1.123456789987654321123456789012345E-19\r | |
946 | dqadd71440 add 0 1.123456789987654321123456789012345E-20 -> 1.123456789987654321123456789012345E-20\r | |
947 | dqadd71441 add 0 1.123456789987654321123456789012345E-21 -> 1.123456789987654321123456789012345E-21\r | |
948 | dqadd71442 add 0 1.123456789987654321123456789012345E-22 -> 1.123456789987654321123456789012345E-22\r | |
949 | dqadd71443 add 0 1.123456789987654321123456789012345E-23 -> 1.123456789987654321123456789012345E-23\r | |
950 | dqadd71444 add 0 1.123456789987654321123456789012345E-24 -> 1.123456789987654321123456789012345E-24\r | |
951 | dqadd71445 add 0 1.123456789987654321123456789012345E-25 -> 1.123456789987654321123456789012345E-25\r | |
952 | dqadd71446 add 0 1.123456789987654321123456789012345E-26 -> 1.123456789987654321123456789012345E-26\r | |
953 | dqadd71447 add 0 1.123456789987654321123456789012345E-27 -> 1.123456789987654321123456789012345E-27\r | |
954 | dqadd71448 add 0 1.123456789987654321123456789012345E-28 -> 1.123456789987654321123456789012345E-28\r | |
955 | dqadd71449 add 0 1.123456789987654321123456789012345E-29 -> 1.123456789987654321123456789012345E-29\r | |
956 | dqadd71450 add 0 1.123456789987654321123456789012345E-30 -> 1.123456789987654321123456789012345E-30\r | |
957 | dqadd71451 add 0 1.123456789987654321123456789012345E-31 -> 1.123456789987654321123456789012345E-31\r | |
958 | dqadd71452 add 0 1.123456789987654321123456789012345E-32 -> 1.123456789987654321123456789012345E-32\r | |
959 | dqadd71453 add 0 1.123456789987654321123456789012345E-33 -> 1.123456789987654321123456789012345E-33\r | |
960 | dqadd71454 add 0 1.123456789987654321123456789012345E-34 -> 1.123456789987654321123456789012345E-34\r | |
961 | dqadd71455 add 0 1.123456789987654321123456789012345E-35 -> 1.123456789987654321123456789012345E-35\r | |
962 | dqadd71456 add 0 1.123456789987654321123456789012345E-36 -> 1.123456789987654321123456789012345E-36\r | |
963 | \r | |
964 | -- same, reversed 0\r | |
965 | dqadd71460 add 1.123456789987654321123456789012345 0 -> 1.123456789987654321123456789012345\r | |
966 | dqadd71461 add 1.123456789987654321123456789012345E-1 0 -> 0.1123456789987654321123456789012345\r | |
967 | dqadd71462 add 1.123456789987654321123456789012345E-2 0 -> 0.01123456789987654321123456789012345\r | |
968 | dqadd71463 add 1.123456789987654321123456789012345E-3 0 -> 0.001123456789987654321123456789012345\r | |
969 | dqadd71464 add 1.123456789987654321123456789012345E-4 0 -> 0.0001123456789987654321123456789012345\r | |
970 | dqadd71465 add 1.123456789987654321123456789012345E-5 0 -> 0.00001123456789987654321123456789012345\r | |
971 | dqadd71466 add 1.123456789987654321123456789012345E-6 0 -> 0.000001123456789987654321123456789012345\r | |
972 | dqadd71467 add 1.123456789987654321123456789012345E-7 0 -> 1.123456789987654321123456789012345E-7\r | |
973 | dqadd71468 add 1.123456789987654321123456789012345E-8 0 -> 1.123456789987654321123456789012345E-8\r | |
974 | dqadd71469 add 1.123456789987654321123456789012345E-9 0 -> 1.123456789987654321123456789012345E-9\r | |
975 | dqadd71470 add 1.123456789987654321123456789012345E-10 0 -> 1.123456789987654321123456789012345E-10\r | |
976 | dqadd71471 add 1.123456789987654321123456789012345E-11 0 -> 1.123456789987654321123456789012345E-11\r | |
977 | dqadd71472 add 1.123456789987654321123456789012345E-12 0 -> 1.123456789987654321123456789012345E-12\r | |
978 | dqadd71473 add 1.123456789987654321123456789012345E-13 0 -> 1.123456789987654321123456789012345E-13\r | |
979 | dqadd71474 add 1.123456789987654321123456789012345E-14 0 -> 1.123456789987654321123456789012345E-14\r | |
980 | dqadd71475 add 1.123456789987654321123456789012345E-15 0 -> 1.123456789987654321123456789012345E-15\r | |
981 | dqadd71476 add 1.123456789987654321123456789012345E-16 0 -> 1.123456789987654321123456789012345E-16\r | |
982 | dqadd71477 add 1.123456789987654321123456789012345E-17 0 -> 1.123456789987654321123456789012345E-17\r | |
983 | dqadd71478 add 1.123456789987654321123456789012345E-18 0 -> 1.123456789987654321123456789012345E-18\r | |
984 | dqadd71479 add 1.123456789987654321123456789012345E-19 0 -> 1.123456789987654321123456789012345E-19\r | |
985 | dqadd71480 add 1.123456789987654321123456789012345E-20 0 -> 1.123456789987654321123456789012345E-20\r | |
986 | dqadd71481 add 1.123456789987654321123456789012345E-21 0 -> 1.123456789987654321123456789012345E-21\r | |
987 | dqadd71482 add 1.123456789987654321123456789012345E-22 0 -> 1.123456789987654321123456789012345E-22\r | |
988 | dqadd71483 add 1.123456789987654321123456789012345E-23 0 -> 1.123456789987654321123456789012345E-23\r | |
989 | dqadd71484 add 1.123456789987654321123456789012345E-24 0 -> 1.123456789987654321123456789012345E-24\r | |
990 | dqadd71485 add 1.123456789987654321123456789012345E-25 0 -> 1.123456789987654321123456789012345E-25\r | |
991 | dqadd71486 add 1.123456789987654321123456789012345E-26 0 -> 1.123456789987654321123456789012345E-26\r | |
992 | dqadd71487 add 1.123456789987654321123456789012345E-27 0 -> 1.123456789987654321123456789012345E-27\r | |
993 | dqadd71488 add 1.123456789987654321123456789012345E-28 0 -> 1.123456789987654321123456789012345E-28\r | |
994 | dqadd71489 add 1.123456789987654321123456789012345E-29 0 -> 1.123456789987654321123456789012345E-29\r | |
995 | dqadd71490 add 1.123456789987654321123456789012345E-30 0 -> 1.123456789987654321123456789012345E-30\r | |
996 | dqadd71491 add 1.123456789987654321123456789012345E-31 0 -> 1.123456789987654321123456789012345E-31\r | |
997 | dqadd71492 add 1.123456789987654321123456789012345E-32 0 -> 1.123456789987654321123456789012345E-32\r | |
998 | dqadd71493 add 1.123456789987654321123456789012345E-33 0 -> 1.123456789987654321123456789012345E-33\r | |
999 | dqadd71494 add 1.123456789987654321123456789012345E-34 0 -> 1.123456789987654321123456789012345E-34\r | |
1000 | dqadd71495 add 1.123456789987654321123456789012345E-35 0 -> 1.123456789987654321123456789012345E-35\r | |
1001 | dqadd71496 add 1.123456789987654321123456789012345E-36 0 -> 1.123456789987654321123456789012345E-36\r | |
1002 | \r | |
1003 | -- same, Es on the 0\r | |
1004 | dqadd71500 add 1.123456789987654321123456789012345 0E-0 -> 1.123456789987654321123456789012345\r | |
1005 | dqadd71501 add 1.123456789987654321123456789012345 0E-1 -> 1.123456789987654321123456789012345\r | |
1006 | dqadd71502 add 1.123456789987654321123456789012345 0E-2 -> 1.123456789987654321123456789012345\r | |
1007 | dqadd71503 add 1.123456789987654321123456789012345 0E-3 -> 1.123456789987654321123456789012345\r | |
1008 | dqadd71504 add 1.123456789987654321123456789012345 0E-4 -> 1.123456789987654321123456789012345\r | |
1009 | dqadd71505 add 1.123456789987654321123456789012345 0E-5 -> 1.123456789987654321123456789012345\r | |
1010 | dqadd71506 add 1.123456789987654321123456789012345 0E-6 -> 1.123456789987654321123456789012345\r | |
1011 | dqadd71507 add 1.123456789987654321123456789012345 0E-7 -> 1.123456789987654321123456789012345\r | |
1012 | dqadd71508 add 1.123456789987654321123456789012345 0E-8 -> 1.123456789987654321123456789012345\r | |
1013 | dqadd71509 add 1.123456789987654321123456789012345 0E-9 -> 1.123456789987654321123456789012345\r | |
1014 | dqadd71510 add 1.123456789987654321123456789012345 0E-10 -> 1.123456789987654321123456789012345\r | |
1015 | dqadd71511 add 1.123456789987654321123456789012345 0E-11 -> 1.123456789987654321123456789012345\r | |
1016 | dqadd71512 add 1.123456789987654321123456789012345 0E-12 -> 1.123456789987654321123456789012345\r | |
1017 | dqadd71513 add 1.123456789987654321123456789012345 0E-13 -> 1.123456789987654321123456789012345\r | |
1018 | dqadd71514 add 1.123456789987654321123456789012345 0E-14 -> 1.123456789987654321123456789012345\r | |
1019 | dqadd71515 add 1.123456789987654321123456789012345 0E-15 -> 1.123456789987654321123456789012345\r | |
1020 | dqadd71516 add 1.123456789987654321123456789012345 0E-16 -> 1.123456789987654321123456789012345\r | |
1021 | dqadd71517 add 1.123456789987654321123456789012345 0E-17 -> 1.123456789987654321123456789012345\r | |
1022 | dqadd71518 add 1.123456789987654321123456789012345 0E-18 -> 1.123456789987654321123456789012345\r | |
1023 | dqadd71519 add 1.123456789987654321123456789012345 0E-19 -> 1.123456789987654321123456789012345\r | |
1024 | dqadd71520 add 1.123456789987654321123456789012345 0E-20 -> 1.123456789987654321123456789012345\r | |
1025 | dqadd71521 add 1.123456789987654321123456789012345 0E-21 -> 1.123456789987654321123456789012345\r | |
1026 | dqadd71522 add 1.123456789987654321123456789012345 0E-22 -> 1.123456789987654321123456789012345\r | |
1027 | dqadd71523 add 1.123456789987654321123456789012345 0E-23 -> 1.123456789987654321123456789012345\r | |
1028 | dqadd71524 add 1.123456789987654321123456789012345 0E-24 -> 1.123456789987654321123456789012345\r | |
1029 | dqadd71525 add 1.123456789987654321123456789012345 0E-25 -> 1.123456789987654321123456789012345\r | |
1030 | dqadd71526 add 1.123456789987654321123456789012345 0E-26 -> 1.123456789987654321123456789012345\r | |
1031 | dqadd71527 add 1.123456789987654321123456789012345 0E-27 -> 1.123456789987654321123456789012345\r | |
1032 | dqadd71528 add 1.123456789987654321123456789012345 0E-28 -> 1.123456789987654321123456789012345\r | |
1033 | dqadd71529 add 1.123456789987654321123456789012345 0E-29 -> 1.123456789987654321123456789012345\r | |
1034 | dqadd71530 add 1.123456789987654321123456789012345 0E-30 -> 1.123456789987654321123456789012345\r | |
1035 | dqadd71531 add 1.123456789987654321123456789012345 0E-31 -> 1.123456789987654321123456789012345\r | |
1036 | dqadd71532 add 1.123456789987654321123456789012345 0E-32 -> 1.123456789987654321123456789012345\r | |
1037 | dqadd71533 add 1.123456789987654321123456789012345 0E-33 -> 1.123456789987654321123456789012345\r | |
1038 | -- next four flag Rounded because the 0 extends the result\r | |
1039 | dqadd71534 add 1.123456789987654321123456789012345 0E-34 -> 1.123456789987654321123456789012345 Rounded\r | |
1040 | dqadd71535 add 1.123456789987654321123456789012345 0E-35 -> 1.123456789987654321123456789012345 Rounded\r | |
1041 | dqadd71536 add 1.123456789987654321123456789012345 0E-36 -> 1.123456789987654321123456789012345 Rounded\r | |
1042 | dqadd71537 add 1.123456789987654321123456789012345 0E-37 -> 1.123456789987654321123456789012345 Rounded\r | |
1043 | \r | |
1044 | -- sum of two opposite-sign operands is exactly 0 and floor => -0\r | |
1045 | rounding: half_up\r | |
1046 | -- exact zeros from zeros\r | |
1047 | dqadd71600 add 0 0E-19 -> 0E-19\r | |
1048 | dqadd71601 add -0 0E-19 -> 0E-19\r | |
1049 | dqadd71602 add 0 -0E-19 -> 0E-19\r | |
1050 | dqadd71603 add -0 -0E-19 -> -0E-19\r | |
1051 | -- exact zeros from non-zeros\r | |
1052 | dqadd71611 add -11 11 -> 0\r | |
1053 | dqadd71612 add 11 -11 -> 0\r | |
1054 | \r | |
1055 | rounding: half_down\r | |
1056 | -- exact zeros from zeros\r | |
1057 | dqadd71620 add 0 0E-19 -> 0E-19\r | |
1058 | dqadd71621 add -0 0E-19 -> 0E-19\r | |
1059 | dqadd71622 add 0 -0E-19 -> 0E-19\r | |
1060 | dqadd71623 add -0 -0E-19 -> -0E-19\r | |
1061 | -- exact zeros from non-zeros\r | |
1062 | dqadd71631 add -11 11 -> 0\r | |
1063 | dqadd71632 add 11 -11 -> 0\r | |
1064 | \r | |
1065 | rounding: half_even\r | |
1066 | -- exact zeros from zeros\r | |
1067 | dqadd71640 add 0 0E-19 -> 0E-19\r | |
1068 | dqadd71641 add -0 0E-19 -> 0E-19\r | |
1069 | dqadd71642 add 0 -0E-19 -> 0E-19\r | |
1070 | dqadd71643 add -0 -0E-19 -> -0E-19\r | |
1071 | -- exact zeros from non-zeros\r | |
1072 | dqadd71651 add -11 11 -> 0\r | |
1073 | dqadd71652 add 11 -11 -> 0\r | |
1074 | \r | |
1075 | rounding: up\r | |
1076 | -- exact zeros from zeros\r | |
1077 | dqadd71660 add 0 0E-19 -> 0E-19\r | |
1078 | dqadd71661 add -0 0E-19 -> 0E-19\r | |
1079 | dqadd71662 add 0 -0E-19 -> 0E-19\r | |
1080 | dqadd71663 add -0 -0E-19 -> -0E-19\r | |
1081 | -- exact zeros from non-zeros\r | |
1082 | dqadd71671 add -11 11 -> 0\r | |
1083 | dqadd71672 add 11 -11 -> 0\r | |
1084 | \r | |
1085 | rounding: down\r | |
1086 | -- exact zeros from zeros\r | |
1087 | dqadd71680 add 0 0E-19 -> 0E-19\r | |
1088 | dqadd71681 add -0 0E-19 -> 0E-19\r | |
1089 | dqadd71682 add 0 -0E-19 -> 0E-19\r | |
1090 | dqadd71683 add -0 -0E-19 -> -0E-19\r | |
1091 | -- exact zeros from non-zeros\r | |
1092 | dqadd71691 add -11 11 -> 0\r | |
1093 | dqadd71692 add 11 -11 -> 0\r | |
1094 | \r | |
1095 | rounding: ceiling\r | |
1096 | -- exact zeros from zeros\r | |
1097 | dqadd71700 add 0 0E-19 -> 0E-19\r | |
1098 | dqadd71701 add -0 0E-19 -> 0E-19\r | |
1099 | dqadd71702 add 0 -0E-19 -> 0E-19\r | |
1100 | dqadd71703 add -0 -0E-19 -> -0E-19\r | |
1101 | -- exact zeros from non-zeros\r | |
1102 | dqadd71711 add -11 11 -> 0\r | |
1103 | dqadd71712 add 11 -11 -> 0\r | |
1104 | \r | |
1105 | -- and the extra-special ugly case; unusual minuses marked by -- *\r | |
1106 | rounding: floor\r | |
1107 | -- exact zeros from zeros\r | |
1108 | dqadd71720 add 0 0E-19 -> 0E-19\r | |
1109 | dqadd71721 add -0 0E-19 -> -0E-19 -- *\r | |
1110 | dqadd71722 add 0 -0E-19 -> -0E-19 -- *\r | |
1111 | dqadd71723 add -0 -0E-19 -> -0E-19\r | |
1112 | -- exact zeros from non-zeros\r | |
1113 | dqadd71731 add -11 11 -> -0 -- *\r | |
1114 | dqadd71732 add 11 -11 -> -0 -- *\r | |
1115 | \r | |
1116 | -- Examples from SQL proposal (Krishna Kulkarni)\r | |
1117 | dqadd71741 add 130E-2 120E-2 -> 2.50\r | |
1118 | dqadd71742 add 130E-2 12E-1 -> 2.50\r | |
1119 | dqadd71743 add 130E-2 1E0 -> 2.30\r | |
1120 | dqadd71744 add 1E2 1E4 -> 1.01E+4\r | |
1121 | dqadd71745 add 130E-2 -120E-2 -> 0.10\r | |
1122 | dqadd71746 add 130E-2 -12E-1 -> 0.10\r | |
1123 | dqadd71747 add 130E-2 -1E0 -> 0.30\r | |
1124 | dqadd71748 add 1E2 -1E4 -> -9.9E+3\r | |
1125 | \r | |
1126 | -- Gappy coefficients; check residue handling even with full coefficient gap\r | |
1127 | rounding: half_even\r | |
1128 | \r | |
1129 | dqadd75001 add 1239876543211234567894567890123456 1 -> 1239876543211234567894567890123457\r | |
1130 | dqadd75002 add 1239876543211234567894567890123456 0.6 -> 1239876543211234567894567890123457 Inexact Rounded\r | |
1131 | dqadd75003 add 1239876543211234567894567890123456 0.06 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1132 | dqadd75004 add 1239876543211234567894567890123456 6E-3 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1133 | dqadd75005 add 1239876543211234567894567890123456 6E-4 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1134 | dqadd75006 add 1239876543211234567894567890123456 6E-5 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1135 | dqadd75007 add 1239876543211234567894567890123456 6E-6 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1136 | dqadd75008 add 1239876543211234567894567890123456 6E-7 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1137 | dqadd75009 add 1239876543211234567894567890123456 6E-8 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1138 | dqadd75010 add 1239876543211234567894567890123456 6E-9 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1139 | dqadd75011 add 1239876543211234567894567890123456 6E-10 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1140 | dqadd75012 add 1239876543211234567894567890123456 6E-11 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1141 | dqadd75013 add 1239876543211234567894567890123456 6E-12 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1142 | dqadd75014 add 1239876543211234567894567890123456 6E-13 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1143 | dqadd75015 add 1239876543211234567894567890123456 6E-14 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1144 | dqadd75016 add 1239876543211234567894567890123456 6E-15 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1145 | dqadd75017 add 1239876543211234567894567890123456 6E-16 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1146 | dqadd75018 add 1239876543211234567894567890123456 6E-17 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1147 | dqadd75019 add 1239876543211234567894567890123456 6E-18 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1148 | dqadd75020 add 1239876543211234567894567890123456 6E-19 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1149 | dqadd75021 add 1239876543211234567894567890123456 6E-20 -> 1239876543211234567894567890123456 Inexact Rounded\r | |
1150 | \r | |
1151 | -- widening second argument at gap\r | |
1152 | dqadd75030 add 12398765432112345678945678 1 -> 12398765432112345678945679\r | |
1153 | dqadd75031 add 12398765432112345678945678 0.1 -> 12398765432112345678945678.1\r | |
1154 | dqadd75032 add 12398765432112345678945678 0.12 -> 12398765432112345678945678.12\r | |
1155 | dqadd75033 add 12398765432112345678945678 0.123 -> 12398765432112345678945678.123\r | |
1156 | dqadd75034 add 12398765432112345678945678 0.1234 -> 12398765432112345678945678.1234\r | |
1157 | dqadd75035 add 12398765432112345678945678 0.12345 -> 12398765432112345678945678.12345\r | |
1158 | dqadd75036 add 12398765432112345678945678 0.123456 -> 12398765432112345678945678.123456\r | |
1159 | dqadd75037 add 12398765432112345678945678 0.1234567 -> 12398765432112345678945678.1234567\r | |
1160 | dqadd75038 add 12398765432112345678945678 0.12345678 -> 12398765432112345678945678.12345678\r | |
1161 | dqadd75039 add 12398765432112345678945678 0.123456789 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1162 | dqadd75040 add 12398765432112345678945678 0.123456785 -> 12398765432112345678945678.12345678 Inexact Rounded\r | |
1163 | dqadd75041 add 12398765432112345678945678 0.1234567850 -> 12398765432112345678945678.12345678 Inexact Rounded\r | |
1164 | dqadd75042 add 12398765432112345678945678 0.1234567851 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1165 | dqadd75043 add 12398765432112345678945678 0.12345678501 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1166 | dqadd75044 add 12398765432112345678945678 0.123456785001 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1167 | dqadd75045 add 12398765432112345678945678 0.1234567850001 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1168 | dqadd75046 add 12398765432112345678945678 0.12345678500001 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1169 | dqadd75047 add 12398765432112345678945678 0.123456785000001 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1170 | dqadd75048 add 12398765432112345678945678 0.1234567850000001 -> 12398765432112345678945678.12345679 Inexact Rounded\r | |
1171 | dqadd75049 add 12398765432112345678945678 0.1234567850000000 -> 12398765432112345678945678.12345678 Inexact Rounded\r | |
1172 | -- 90123456\r | |
1173 | rounding: half_even\r | |
1174 | dqadd75050 add 12398765432112345678945678 0.0234567750000000 -> 12398765432112345678945678.02345678 Inexact Rounded\r | |
1175 | dqadd75051 add 12398765432112345678945678 0.0034567750000000 -> 12398765432112345678945678.00345678 Inexact Rounded\r | |
1176 | dqadd75052 add 12398765432112345678945678 0.0004567750000000 -> 12398765432112345678945678.00045678 Inexact Rounded\r | |
1177 | dqadd75053 add 12398765432112345678945678 0.0000567750000000 -> 12398765432112345678945678.00005678 Inexact Rounded\r | |
1178 | dqadd75054 add 12398765432112345678945678 0.0000067750000000 -> 12398765432112345678945678.00000678 Inexact Rounded\r | |
1179 | dqadd75055 add 12398765432112345678945678 0.0000007750000000 -> 12398765432112345678945678.00000078 Inexact Rounded\r | |
1180 | dqadd75056 add 12398765432112345678945678 0.0000000750000000 -> 12398765432112345678945678.00000008 Inexact Rounded\r | |
1181 | dqadd75057 add 12398765432112345678945678 0.0000000050000000 -> 12398765432112345678945678.00000000 Inexact Rounded\r | |
1182 | dqadd75060 add 12398765432112345678945678 0.0234567750000001 -> 12398765432112345678945678.02345678 Inexact Rounded\r | |
1183 | dqadd75061 add 12398765432112345678945678 0.0034567750000001 -> 12398765432112345678945678.00345678 Inexact Rounded\r | |
1184 | dqadd75062 add 12398765432112345678945678 0.0004567750000001 -> 12398765432112345678945678.00045678 Inexact Rounded\r | |
1185 | dqadd75063 add 12398765432112345678945678 0.0000567750000001 -> 12398765432112345678945678.00005678 Inexact Rounded\r | |
1186 | dqadd75064 add 12398765432112345678945678 0.0000067750000001 -> 12398765432112345678945678.00000678 Inexact Rounded\r | |
1187 | dqadd75065 add 12398765432112345678945678 0.0000007750000001 -> 12398765432112345678945678.00000078 Inexact Rounded\r | |
1188 | dqadd75066 add 12398765432112345678945678 0.0000000750000001 -> 12398765432112345678945678.00000008 Inexact Rounded\r | |
1189 | dqadd75067 add 12398765432112345678945678 0.0000000050000001 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1190 | -- far-out residues (full coefficient gap is 16+15 digits)\r | |
1191 | rounding: up\r | |
1192 | dqadd75070 add 12398765432112345678945678 1E-8 -> 12398765432112345678945678.00000001\r | |
1193 | dqadd75071 add 12398765432112345678945678 1E-9 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1194 | dqadd75072 add 12398765432112345678945678 1E-10 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1195 | dqadd75073 add 12398765432112345678945678 1E-11 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1196 | dqadd75074 add 12398765432112345678945678 1E-12 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1197 | dqadd75075 add 12398765432112345678945678 1E-13 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1198 | dqadd75076 add 12398765432112345678945678 1E-14 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1199 | dqadd75077 add 12398765432112345678945678 1E-15 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1200 | dqadd75078 add 12398765432112345678945678 1E-16 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1201 | dqadd75079 add 12398765432112345678945678 1E-17 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1202 | dqadd75080 add 12398765432112345678945678 1E-18 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1203 | dqadd75081 add 12398765432112345678945678 1E-19 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1204 | dqadd75082 add 12398765432112345678945678 1E-20 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1205 | dqadd75083 add 12398765432112345678945678 1E-25 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1206 | dqadd75084 add 12398765432112345678945678 1E-30 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1207 | dqadd75085 add 12398765432112345678945678 1E-31 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1208 | dqadd75086 add 12398765432112345678945678 1E-32 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1209 | dqadd75087 add 12398765432112345678945678 1E-33 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1210 | dqadd75088 add 12398765432112345678945678 1E-34 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1211 | dqadd75089 add 12398765432112345678945678 1E-35 -> 12398765432112345678945678.00000001 Inexact Rounded\r | |
1212 | \r | |
1213 | -- Null tests\r | |
1214 | dqadd9990 add 10 # -> NaN Invalid_operation\r | |
1215 | dqadd9991 add # 10 -> NaN Invalid_operation\r |