| ------------------------------------------------------------------------ |
| -- ddAdd.decTest -- decDouble addition -- |
| -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
| ------------------------------------------------------------------------ |
| -- Please see the document "General Decimal Arithmetic Testcases" -- |
| -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| -- these testcases. -- |
| -- -- |
| -- These testcases are experimental ('beta' versions), and they -- |
| -- may contain errors. They are offered on an as-is basis. In -- |
| -- particular, achieving the same results as the tests here is not -- |
| -- a guarantee that an implementation complies with any Standard -- |
| -- or specification. The tests are not exhaustive. -- |
| -- -- |
| -- Please send comments, suggestions, and corrections to the author: -- |
| -- Mike Cowlishaw, IBM Fellow -- |
| -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| -- mfc@uk.ibm.com -- |
| ------------------------------------------------------------------------ |
| version: 2.59 |
| |
| -- This set of tests are for decDoubles only; all arguments are |
| -- representable in a decDouble |
| precision: 16 |
| maxExponent: 384 |
| minExponent: -383 |
| extended: 1 |
| clamp: 1 |
| rounding: half_even |
| |
| -- [first group are 'quick confidence check'] |
| ddadd001 add 1 1 -> 2 |
| ddadd002 add 2 3 -> 5 |
| ddadd003 add '5.75' '3.3' -> 9.05 |
| ddadd004 add '5' '-3' -> 2 |
| ddadd005 add '-5' '-3' -> -8 |
| ddadd006 add '-7' '2.5' -> -4.5 |
| ddadd007 add '0.7' '0.3' -> 1.0 |
| ddadd008 add '1.25' '1.25' -> 2.50 |
| ddadd009 add '1.23456789' '1.00000000' -> '2.23456789' |
| ddadd010 add '1.23456789' '1.00000011' -> '2.23456800' |
| |
| -- 1234567890123456 1234567890123456 |
| ddadd011 add '0.4444444444444446' '0.5555555555555555' -> '1.000000000000000' Inexact Rounded |
| ddadd012 add '0.4444444444444445' '0.5555555555555555' -> '1.000000000000000' Rounded |
| ddadd013 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999' |
| ddadd014 add '4444444444444444' '0.49' -> '4444444444444444' Inexact Rounded |
| ddadd015 add '4444444444444444' '0.499' -> '4444444444444444' Inexact Rounded |
| ddadd016 add '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded |
| ddadd017 add '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded |
| ddadd018 add '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded |
| ddadd019 add '4444444444444444' '0.501' -> '4444444444444445' Inexact Rounded |
| ddadd020 add '4444444444444444' '0.51' -> '4444444444444445' Inexact Rounded |
| |
| ddadd021 add 0 1 -> 1 |
| ddadd022 add 1 1 -> 2 |
| ddadd023 add 2 1 -> 3 |
| ddadd024 add 3 1 -> 4 |
| ddadd025 add 4 1 -> 5 |
| ddadd026 add 5 1 -> 6 |
| ddadd027 add 6 1 -> 7 |
| ddadd028 add 7 1 -> 8 |
| ddadd029 add 8 1 -> 9 |
| ddadd030 add 9 1 -> 10 |
| |
| -- some carrying effects |
| ddadd031 add '0.9998' '0.0000' -> '0.9998' |
| ddadd032 add '0.9998' '0.0001' -> '0.9999' |
| ddadd033 add '0.9998' '0.0002' -> '1.0000' |
| ddadd034 add '0.9998' '0.0003' -> '1.0001' |
| |
| ddadd035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded |
| ddadd039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded |
| |
| -- symmetry: |
| ddadd040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded |
| ddadd044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded |
| ddadd045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded |
| |
| -- same, without rounding |
| ddadd046 add '10000e+9' '7' -> '10000000000007' |
| ddadd047 add '10000e+9' '70' -> '10000000000070' |
| ddadd048 add '10000e+9' '700' -> '10000000000700' |
| ddadd049 add '10000e+9' '7000' -> '10000000007000' |
| ddadd050 add '10000e+9' '70000' -> '10000000070000' |
| ddadd051 add '10000e+9' '700000' -> '10000000700000' |
| ddadd052 add '10000e+9' '7000000' -> '10000007000000' |
| |
| -- examples from decarith |
| ddadd053 add '12' '7.00' -> '19.00' |
| ddadd054 add '1.3' '-1.07' -> '0.23' |
| ddadd055 add '1.3' '-1.30' -> '0.00' |
| ddadd056 add '1.3' '-2.07' -> '-0.77' |
| ddadd057 add '1E+2' '1E+4' -> '1.01E+4' |
| |
| -- leading zero preservation |
| ddadd061 add 1 '0.0001' -> '1.0001' |
| ddadd062 add 1 '0.00001' -> '1.00001' |
| ddadd063 add 1 '0.000001' -> '1.000001' |
| ddadd064 add 1 '0.0000001' -> '1.0000001' |
| ddadd065 add 1 '0.00000001' -> '1.00000001' |
| |
| -- some funny zeros [in case of bad signum] |
| ddadd070 add 1 0 -> 1 |
| ddadd071 add 1 0. -> 1 |
| ddadd072 add 1 .0 -> 1.0 |
| ddadd073 add 1 0.0 -> 1.0 |
| ddadd074 add 1 0.00 -> 1.00 |
| ddadd075 add 0 1 -> 1 |
| ddadd076 add 0. 1 -> 1 |
| ddadd077 add .0 1 -> 1.0 |
| ddadd078 add 0.0 1 -> 1.0 |
| ddadd079 add 0.00 1 -> 1.00 |
| |
| -- some carries |
| ddadd080 add 999999998 1 -> 999999999 |
| ddadd081 add 999999999 1 -> 1000000000 |
| ddadd082 add 99999999 1 -> 100000000 |
| ddadd083 add 9999999 1 -> 10000000 |
| ddadd084 add 999999 1 -> 1000000 |
| ddadd085 add 99999 1 -> 100000 |
| ddadd086 add 9999 1 -> 10000 |
| ddadd087 add 999 1 -> 1000 |
| ddadd088 add 99 1 -> 100 |
| ddadd089 add 9 1 -> 10 |
| |
| |
| -- more LHS swaps |
| ddadd090 add '-56267E-10' 0 -> '-0.0000056267' |
| ddadd091 add '-56267E-6' 0 -> '-0.056267' |
| ddadd092 add '-56267E-5' 0 -> '-0.56267' |
| ddadd093 add '-56267E-4' 0 -> '-5.6267' |
| ddadd094 add '-56267E-3' 0 -> '-56.267' |
| ddadd095 add '-56267E-2' 0 -> '-562.67' |
| ddadd096 add '-56267E-1' 0 -> '-5626.7' |
| ddadd097 add '-56267E-0' 0 -> '-56267' |
| ddadd098 add '-5E-10' 0 -> '-5E-10' |
| ddadd099 add '-5E-7' 0 -> '-5E-7' |
| ddadd100 add '-5E-6' 0 -> '-0.000005' |
| ddadd101 add '-5E-5' 0 -> '-0.00005' |
| ddadd102 add '-5E-4' 0 -> '-0.0005' |
| ddadd103 add '-5E-1' 0 -> '-0.5' |
| ddadd104 add '-5E0' 0 -> '-5' |
| ddadd105 add '-5E1' 0 -> '-50' |
| ddadd106 add '-5E5' 0 -> '-500000' |
| ddadd107 add '-5E15' 0 -> '-5000000000000000' |
| ddadd108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded |
| ddadd109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded |
| ddadd110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded |
| ddadd111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded |
| |
| -- more RHS swaps |
| ddadd113 add 0 '-56267E-10' -> '-0.0000056267' |
| ddadd114 add 0 '-56267E-6' -> '-0.056267' |
| ddadd116 add 0 '-56267E-5' -> '-0.56267' |
| ddadd117 add 0 '-56267E-4' -> '-5.6267' |
| ddadd119 add 0 '-56267E-3' -> '-56.267' |
| ddadd120 add 0 '-56267E-2' -> '-562.67' |
| ddadd121 add 0 '-56267E-1' -> '-5626.7' |
| ddadd122 add 0 '-56267E-0' -> '-56267' |
| ddadd123 add 0 '-5E-10' -> '-5E-10' |
| ddadd124 add 0 '-5E-7' -> '-5E-7' |
| ddadd125 add 0 '-5E-6' -> '-0.000005' |
| ddadd126 add 0 '-5E-5' -> '-0.00005' |
| ddadd127 add 0 '-5E-4' -> '-0.0005' |
| ddadd128 add 0 '-5E-1' -> '-0.5' |
| ddadd129 add 0 '-5E0' -> '-5' |
| ddadd130 add 0 '-5E1' -> '-50' |
| ddadd131 add 0 '-5E5' -> '-500000' |
| ddadd132 add 0 '-5E15' -> '-5000000000000000' |
| ddadd133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded |
| ddadd134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded |
| ddadd135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded |
| ddadd136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded |
| |
| -- related |
| ddadd137 add 1 '0E-19' -> '1.000000000000000' Rounded |
| ddadd138 add -1 '0E-19' -> '-1.000000000000000' Rounded |
| ddadd139 add '0E-19' 1 -> '1.000000000000000' Rounded |
| ddadd140 add '0E-19' -1 -> '-1.000000000000000' Rounded |
| ddadd141 add 1E+11 0.0000 -> '100000000000.0000' |
| ddadd142 add 1E+11 0.00000 -> '100000000000.0000' Rounded |
| ddadd143 add 0.000 1E+12 -> '1000000000000.000' |
| ddadd144 add 0.0000 1E+12 -> '1000000000000.000' Rounded |
| |
| -- [some of the next group are really constructor tests] |
| ddadd146 add '00.0' 0 -> '0.0' |
| ddadd147 add '0.00' 0 -> '0.00' |
| ddadd148 add 0 '0.00' -> '0.00' |
| ddadd149 add 0 '00.0' -> '0.0' |
| ddadd150 add '00.0' '0.00' -> '0.00' |
| ddadd151 add '0.00' '00.0' -> '0.00' |
| ddadd152 add '3' '.3' -> '3.3' |
| ddadd153 add '3.' '.3' -> '3.3' |
| ddadd154 add '3.0' '.3' -> '3.3' |
| ddadd155 add '3.00' '.3' -> '3.30' |
| ddadd156 add '3' '3' -> '6' |
| ddadd157 add '3' '+3' -> '6' |
| ddadd158 add '3' '-3' -> '0' |
| ddadd159 add '0.3' '-0.3' -> '0.0' |
| ddadd160 add '0.03' '-0.03' -> '0.00' |
| |
| -- try borderline precision, with carries, etc. |
| ddadd161 add '1E+12' '-1' -> '999999999999' |
| ddadd162 add '1E+12' '1.11' -> '1000000000001.11' |
| ddadd163 add '1.11' '1E+12' -> '1000000000001.11' |
| ddadd164 add '-1' '1E+12' -> '999999999999' |
| ddadd165 add '7E+12' '-1' -> '6999999999999' |
| ddadd166 add '7E+12' '1.11' -> '7000000000001.11' |
| ddadd167 add '1.11' '7E+12' -> '7000000000001.11' |
| ddadd168 add '-1' '7E+12' -> '6999999999999' |
| |
| rounding: half_up |
| -- 1.234567890123456 1234567890123456 1 234567890123456 |
| ddadd170 add '4.444444444444444' '0.5555555555555567' -> '5.000000000000001' Inexact Rounded |
| ddadd171 add '4.444444444444444' '0.5555555555555566' -> '5.000000000000001' Inexact Rounded |
| ddadd172 add '4.444444444444444' '0.5555555555555565' -> '5.000000000000001' Inexact Rounded |
| ddadd173 add '4.444444444444444' '0.5555555555555564' -> '5.000000000000000' Inexact Rounded |
| ddadd174 add '4.444444444444444' '0.5555555555555553' -> '4.999999999999999' Inexact Rounded |
| ddadd175 add '4.444444444444444' '0.5555555555555552' -> '4.999999999999999' Inexact Rounded |
| ddadd176 add '4.444444444444444' '0.5555555555555551' -> '4.999999999999999' Inexact Rounded |
| ddadd177 add '4.444444444444444' '0.5555555555555550' -> '4.999999999999999' Rounded |
| ddadd178 add '4.444444444444444' '0.5555555555555545' -> '4.999999999999999' Inexact Rounded |
| ddadd179 add '4.444444444444444' '0.5555555555555544' -> '4.999999999999998' Inexact Rounded |
| ddadd180 add '4.444444444444444' '0.5555555555555543' -> '4.999999999999998' Inexact Rounded |
| ddadd181 add '4.444444444444444' '0.5555555555555542' -> '4.999999999999998' Inexact Rounded |
| ddadd182 add '4.444444444444444' '0.5555555555555541' -> '4.999999999999998' Inexact Rounded |
| ddadd183 add '4.444444444444444' '0.5555555555555540' -> '4.999999999999998' Rounded |
| |
| -- and some more, including residue effects and different roundings |
| rounding: half_up |
| ddadd200 add '1234560123456789' 0 -> '1234560123456789' |
| ddadd201 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded |
| ddadd202 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded |
| ddadd203 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded |
| ddadd204 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded |
| ddadd205 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded |
| ddadd206 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded |
| ddadd207 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded |
| ddadd208 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded |
| ddadd209 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded |
| ddadd210 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded |
| ddadd211 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded |
| ddadd212 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded |
| ddadd213 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded |
| ddadd214 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded |
| ddadd215 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded |
| ddadd216 add '1234560123456789' 1 -> '1234560123456790' |
| ddadd217 add '1234560123456789' 1.000000001 -> '1234560123456790' Inexact Rounded |
| ddadd218 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded |
| ddadd219 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded |
| |
| rounding: half_even |
| ddadd220 add '1234560123456789' 0 -> '1234560123456789' |
| ddadd221 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded |
| ddadd222 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded |
| ddadd223 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded |
| ddadd224 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded |
| ddadd225 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded |
| ddadd226 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded |
| ddadd227 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded |
| ddadd228 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded |
| ddadd229 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded |
| ddadd230 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded |
| ddadd231 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded |
| ddadd232 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded |
| ddadd233 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded |
| ddadd234 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded |
| ddadd235 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded |
| ddadd236 add '1234560123456789' 1 -> '1234560123456790' |
| ddadd237 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded |
| ddadd238 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded |
| ddadd239 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded |
| -- critical few with even bottom digit... |
| ddadd240 add '1234560123456788' 0.499999999 -> '1234560123456788' Inexact Rounded |
| ddadd241 add '1234560123456788' 0.5 -> '1234560123456788' Inexact Rounded |
| ddadd242 add '1234560123456788' 0.500000001 -> '1234560123456789' Inexact Rounded |
| |
| rounding: down |
| ddadd250 add '1234560123456789' 0 -> '1234560123456789' |
| ddadd251 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded |
| ddadd252 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded |
| ddadd253 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded |
| ddadd254 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded |
| ddadd255 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded |
| ddadd256 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded |
| ddadd257 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded |
| ddadd258 add '1234560123456789' 0.5 -> '1234560123456789' Inexact Rounded |
| ddadd259 add '1234560123456789' 0.500000001 -> '1234560123456789' Inexact Rounded |
| ddadd260 add '1234560123456789' 0.500001 -> '1234560123456789' Inexact Rounded |
| ddadd261 add '1234560123456789' 0.51 -> '1234560123456789' Inexact Rounded |
| ddadd262 add '1234560123456789' 0.6 -> '1234560123456789' Inexact Rounded |
| ddadd263 add '1234560123456789' 0.9 -> '1234560123456789' Inexact Rounded |
| ddadd264 add '1234560123456789' 0.99999 -> '1234560123456789' Inexact Rounded |
| ddadd265 add '1234560123456789' 0.999999999 -> '1234560123456789' Inexact Rounded |
| ddadd266 add '1234560123456789' 1 -> '1234560123456790' |
| ddadd267 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded |
| ddadd268 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded |
| ddadd269 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded |
| |
| -- 1 in last place tests |
| rounding: half_up |
| ddadd301 add -1 1 -> 0 |
| ddadd302 add 0 1 -> 1 |
| ddadd303 add 1 1 -> 2 |
| ddadd304 add 12 1 -> 13 |
| ddadd305 add 98 1 -> 99 |
| ddadd306 add 99 1 -> 100 |
| ddadd307 add 100 1 -> 101 |
| ddadd308 add 101 1 -> 102 |
| ddadd309 add -1 -1 -> -2 |
| ddadd310 add 0 -1 -> -1 |
| ddadd311 add 1 -1 -> 0 |
| ddadd312 add 12 -1 -> 11 |
| ddadd313 add 98 -1 -> 97 |
| ddadd314 add 99 -1 -> 98 |
| ddadd315 add 100 -1 -> 99 |
| ddadd316 add 101 -1 -> 100 |
| |
| ddadd321 add -0.01 0.01 -> 0.00 |
| ddadd322 add 0.00 0.01 -> 0.01 |
| ddadd323 add 0.01 0.01 -> 0.02 |
| ddadd324 add 0.12 0.01 -> 0.13 |
| ddadd325 add 0.98 0.01 -> 0.99 |
| ddadd326 add 0.99 0.01 -> 1.00 |
| ddadd327 add 1.00 0.01 -> 1.01 |
| ddadd328 add 1.01 0.01 -> 1.02 |
| ddadd329 add -0.01 -0.01 -> -0.02 |
| ddadd330 add 0.00 -0.01 -> -0.01 |
| ddadd331 add 0.01 -0.01 -> 0.00 |
| ddadd332 add 0.12 -0.01 -> 0.11 |
| ddadd333 add 0.98 -0.01 -> 0.97 |
| ddadd334 add 0.99 -0.01 -> 0.98 |
| ddadd335 add 1.00 -0.01 -> 0.99 |
| ddadd336 add 1.01 -0.01 -> 1.00 |
| |
| -- some more cases where adding 0 affects the coefficient |
| ddadd340 add 1E+3 0 -> 1000 |
| ddadd341 add 1E+15 0 -> 1000000000000000 |
| ddadd342 add 1E+16 0 -> 1.000000000000000E+16 Rounded |
| ddadd343 add 1E+20 0 -> 1.000000000000000E+20 Rounded |
| -- which simply follow from these cases ... |
| ddadd344 add 1E+3 1 -> 1001 |
| ddadd345 add 1E+15 1 -> 1000000000000001 |
| ddadd346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd347 add 1E+20 1 -> 1.000000000000000E+20 Inexact Rounded |
| ddadd348 add 1E+3 7 -> 1007 |
| ddadd349 add 1E+15 7 -> 1000000000000007 |
| ddadd350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded |
| ddadd351 add 1E+20 7 -> 1.000000000000000E+20 Inexact Rounded |
| |
| -- tryzeros cases |
| rounding: half_up |
| ddadd360 add 0E+50 10000E+1 -> 1.0000E+5 |
| ddadd361 add 0E-50 10000E+1 -> 100000.0000000000 Rounded |
| ddadd362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded |
| ddadd363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact |
| ddadd364 add 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369 |
| |
| -- a curiosity from JSR 13 testing |
| rounding: half_down |
| ddadd370 add 999999999999999 815 -> 1000000000000814 |
| ddadd371 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact |
| rounding: half_up |
| ddadd372 add 999999999999999 815 -> 1000000000000814 |
| ddadd373 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact |
| rounding: half_even |
| ddadd374 add 999999999999999 815 -> 1000000000000814 |
| ddadd375 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact |
| |
| -- operands folded |
| ddadd380 add 1E+384 1E+384 -> 2.000000000000000E+384 Clamped |
| ddadd381 add 1E+380 1E+380 -> 2.00000000000E+380 Clamped |
| ddadd382 add 1E+376 1E+376 -> 2.0000000E+376 Clamped |
| ddadd383 add 1E+372 1E+372 -> 2.000E+372 Clamped |
| ddadd384 add 1E+370 1E+370 -> 2.0E+370 Clamped |
| ddadd385 add 1E+369 1E+369 -> 2E+369 |
| ddadd386 add 1E+368 1E+368 -> 2E+368 |
| |
| -- ulp replacement tests |
| ddadd400 add 1 77e-14 -> 1.00000000000077 |
| ddadd401 add 1 77e-15 -> 1.000000000000077 |
| ddadd402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded |
| ddadd403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded |
| ddadd404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded |
| ddadd405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded |
| ddadd406 add 1 77e-299 -> 1.000000000000000 Inexact Rounded |
| |
| ddadd410 add 10 77e-14 -> 10.00000000000077 |
| ddadd411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded |
| ddadd412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded |
| ddadd413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded |
| ddadd414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded |
| ddadd415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded |
| ddadd416 add 10 77e-299 -> 10.00000000000000 Inexact Rounded |
| |
| ddadd420 add 77e-14 1 -> 1.00000000000077 |
| ddadd421 add 77e-15 1 -> 1.000000000000077 |
| ddadd422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded |
| ddadd423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded |
| ddadd424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded |
| ddadd425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded |
| ddadd426 add 77e-299 1 -> 1.000000000000000 Inexact Rounded |
| |
| ddadd430 add 77e-14 10 -> 10.00000000000077 |
| ddadd431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded |
| ddadd432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded |
| ddadd433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded |
| ddadd434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded |
| ddadd435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded |
| ddadd436 add 77e-299 10 -> 10.00000000000000 Inexact Rounded |
| |
| -- fastpath boundary (more in dqadd) |
| -- 1234567890123456 |
| ddadd539 add '4444444444444444' '3333333333333333' -> '7777777777777777' |
| ddadd540 add '4444444444444444' '4444444444444444' -> '8888888888888888' |
| ddadd541 add '4444444444444444' '5555555555555555' -> '9999999999999999' |
| ddadd542 add '3333333333333333' '4444444444444444' -> '7777777777777777' |
| ddadd543 add '4444444444444444' '4444444444444444' -> '8888888888888888' |
| ddadd544 add '5555555555555555' '4444444444444444' -> '9999999999999999' |
| ddadd545 add '3000004000000000' '3000000000000040' -> '6000004000000040' |
| ddadd546 add '3000000400000000' '4000000000000400' -> '7000000400000400' |
| ddadd547 add '3000000040000000' '5000000000004000' -> '8000000040004000' |
| ddadd548 add '4000000004000000' '3000000000040000' -> '7000000004040000' |
| ddadd549 add '4000000000400000' '4000000000400000' -> '8000000000800000' |
| ddadd550 add '4000000000040000' '5000000004000000' -> '9000000004040000' |
| ddadd551 add '5000000000004000' '3000000040000000' -> '8000000040004000' |
| ddadd552 add '5000000000000400' '4000000400000000' -> '9000000400000400' |
| ddadd553 add '5000000000000040' '5000004000000000' -> 1.000000400000004E+16 Rounded |
| -- check propagation |
| ddadd554 add '8999999999999999' '0000000000000001' -> 9000000000000000 |
| ddadd555 add '0000000000000001' '8999999999999999' -> 9000000000000000 |
| ddadd556 add '0999999999999999' '0000000000000001' -> 1000000000000000 |
| ddadd557 add '0000000000000001' '0999999999999999' -> 1000000000000000 |
| ddadd558 add '4444444444444444' '4555555555555556' -> 9000000000000000 |
| ddadd559 add '4555555555555556' '4444444444444444' -> 9000000000000000 |
| |
| -- negative ulps |
| ddadd6440 add 1 -77e-14 -> 0.99999999999923 |
| ddadd6441 add 1 -77e-15 -> 0.999999999999923 |
| ddadd6442 add 1 -77e-16 -> 0.9999999999999923 |
| ddadd6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded |
| ddadd6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded |
| ddadd6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded |
| ddadd6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded |
| |
| ddadd6450 add 10 -77e-14 -> 9.99999999999923 |
| ddadd6451 add 10 -77e-15 -> 9.999999999999923 |
| ddadd6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded |
| ddadd6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded |
| ddadd6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded |
| ddadd6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded |
| ddadd6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded |
| |
| ddadd6460 add -77e-14 1 -> 0.99999999999923 |
| ddadd6461 add -77e-15 1 -> 0.999999999999923 |
| ddadd6462 add -77e-16 1 -> 0.9999999999999923 |
| ddadd6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded |
| ddadd6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded |
| ddadd6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded |
| ddadd6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded |
| |
| ddadd6470 add -77e-14 10 -> 9.99999999999923 |
| ddadd6471 add -77e-15 10 -> 9.999999999999923 |
| ddadd6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded |
| ddadd6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded |
| ddadd6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded |
| ddadd6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded |
| ddadd6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded |
| |
| -- negative ulps |
| ddadd6480 add -1 77e-14 -> -0.99999999999923 |
| ddadd6481 add -1 77e-15 -> -0.999999999999923 |
| ddadd6482 add -1 77e-16 -> -0.9999999999999923 |
| ddadd6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded |
| ddadd6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded |
| ddadd6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded |
| ddadd6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded |
| |
| ddadd6490 add -10 77e-14 -> -9.99999999999923 |
| ddadd6491 add -10 77e-15 -> -9.999999999999923 |
| ddadd6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded |
| ddadd6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded |
| ddadd6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded |
| ddadd6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded |
| ddadd6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded |
| |
| ddadd6500 add 77e-14 -1 -> -0.99999999999923 |
| ddadd6501 add 77e-15 -1 -> -0.999999999999923 |
| ddadd6502 add 77e-16 -1 -> -0.9999999999999923 |
| ddadd6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded |
| ddadd6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded |
| ddadd6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded |
| ddadd6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded |
| |
| ddadd6510 add 77e-14 -10 -> -9.99999999999923 |
| ddadd6511 add 77e-15 -10 -> -9.999999999999923 |
| ddadd6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded |
| ddadd6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded |
| ddadd6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded |
| ddadd6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded |
| ddadd6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded |
| |
| -- and some more residue effects and different roundings |
| rounding: half_up |
| ddadd6540 add '6543210123456789' 0 -> '6543210123456789' |
| ddadd6541 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded |
| ddadd6542 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded |
| ddadd6543 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded |
| ddadd6544 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded |
| ddadd6545 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded |
| ddadd6546 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded |
| ddadd6547 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded |
| ddadd6548 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded |
| ddadd6549 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded |
| ddadd6550 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded |
| ddadd6551 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded |
| ddadd6552 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded |
| ddadd6553 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded |
| ddadd6554 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded |
| ddadd6555 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded |
| ddadd6556 add '6543210123456789' 1 -> '6543210123456790' |
| ddadd6557 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded |
| ddadd6558 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded |
| ddadd6559 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded |
| |
| rounding: half_even |
| ddadd6560 add '6543210123456789' 0 -> '6543210123456789' |
| ddadd6561 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded |
| ddadd6562 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded |
| ddadd6563 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded |
| ddadd6564 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded |
| ddadd6565 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded |
| ddadd6566 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded |
| ddadd6567 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded |
| ddadd6568 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded |
| ddadd6569 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded |
| ddadd6570 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded |
| ddadd6571 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded |
| ddadd6572 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded |
| ddadd6573 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded |
| ddadd6574 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded |
| ddadd6575 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded |
| ddadd6576 add '6543210123456789' 1 -> '6543210123456790' |
| ddadd6577 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded |
| ddadd6578 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded |
| ddadd6579 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded |
| |
| -- critical few with even bottom digit... |
| ddadd7540 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded |
| ddadd7541 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded |
| ddadd7542 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded |
| |
| rounding: down |
| ddadd7550 add '6543210123456789' 0 -> '6543210123456789' |
| ddadd7551 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded |
| ddadd7552 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded |
| ddadd7553 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded |
| ddadd7554 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded |
| ddadd7555 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded |
| ddadd7556 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded |
| ddadd7557 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded |
| ddadd7558 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded |
| ddadd7559 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded |
| ddadd7560 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded |
| ddadd7561 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded |
| ddadd7562 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded |
| ddadd7563 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded |
| ddadd7564 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded |
| ddadd7565 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded |
| ddadd7566 add '6543210123456789' 1 -> '6543210123456790' |
| ddadd7567 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded |
| ddadd7568 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded |
| ddadd7569 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded |
| |
| -- verify a query |
| rounding: down |
| ddadd7661 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded |
| ddadd7662 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded |
| ddadd7663 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded |
| ddadd7664 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded |
| |
| -- more zeros, etc. |
| rounding: half_even |
| |
| ddadd7701 add 5.00 1.00E-3 -> 5.00100 |
| ddadd7702 add 00.00 0.000 -> 0.000 |
| ddadd7703 add 00.00 0E-3 -> 0.000 |
| ddadd7704 add 0E-3 00.00 -> 0.000 |
| |
| ddadd7710 add 0E+3 00.00 -> 0.00 |
| ddadd7711 add 0E+3 00.0 -> 0.0 |
| ddadd7712 add 0E+3 00. -> 0 |
| ddadd7713 add 0E+3 00.E+1 -> 0E+1 |
| ddadd7714 add 0E+3 00.E+2 -> 0E+2 |
| ddadd7715 add 0E+3 00.E+3 -> 0E+3 |
| ddadd7716 add 0E+3 00.E+4 -> 0E+3 |
| ddadd7717 add 0E+3 00.E+5 -> 0E+3 |
| ddadd7718 add 0E+3 -00.0 -> 0.0 |
| ddadd7719 add 0E+3 -00. -> 0 |
| ddadd7731 add 0E+3 -00.E+1 -> 0E+1 |
| |
| ddadd7720 add 00.00 0E+3 -> 0.00 |
| ddadd7721 add 00.0 0E+3 -> 0.0 |
| ddadd7722 add 00. 0E+3 -> 0 |
| ddadd7723 add 00.E+1 0E+3 -> 0E+1 |
| ddadd7724 add 00.E+2 0E+3 -> 0E+2 |
| ddadd7725 add 00.E+3 0E+3 -> 0E+3 |
| ddadd7726 add 00.E+4 0E+3 -> 0E+3 |
| ddadd7727 add 00.E+5 0E+3 -> 0E+3 |
| ddadd7728 add -00.00 0E+3 -> 0.00 |
| ddadd7729 add -00.0 0E+3 -> 0.0 |
| ddadd7730 add -00. 0E+3 -> 0 |
| |
| ddadd7732 add 0 0 -> 0 |
| ddadd7733 add 0 -0 -> 0 |
| ddadd7734 add -0 0 -> 0 |
| ddadd7735 add -0 -0 -> -0 -- IEEE 854 special case |
| |
| ddadd7736 add 1 -1 -> 0 |
| ddadd7737 add -1 -1 -> -2 |
| ddadd7738 add 1 1 -> 2 |
| ddadd7739 add -1 1 -> 0 |
| |
| ddadd7741 add 0 -1 -> -1 |
| ddadd7742 add -0 -1 -> -1 |
| ddadd7743 add 0 1 -> 1 |
| ddadd7744 add -0 1 -> 1 |
| ddadd7745 add -1 0 -> -1 |
| ddadd7746 add -1 -0 -> -1 |
| ddadd7747 add 1 0 -> 1 |
| ddadd7748 add 1 -0 -> 1 |
| |
| ddadd7751 add 0.0 -1 -> -1.0 |
| ddadd7752 add -0.0 -1 -> -1.0 |
| ddadd7753 add 0.0 1 -> 1.0 |
| ddadd7754 add -0.0 1 -> 1.0 |
| ddadd7755 add -1.0 0 -> -1.0 |
| ddadd7756 add -1.0 -0 -> -1.0 |
| ddadd7757 add 1.0 0 -> 1.0 |
| ddadd7758 add 1.0 -0 -> 1.0 |
| |
| ddadd7761 add 0 -1.0 -> -1.0 |
| ddadd7762 add -0 -1.0 -> -1.0 |
| ddadd7763 add 0 1.0 -> 1.0 |
| ddadd7764 add -0 1.0 -> 1.0 |
| ddadd7765 add -1 0.0 -> -1.0 |
| ddadd7766 add -1 -0.0 -> -1.0 |
| ddadd7767 add 1 0.0 -> 1.0 |
| ddadd7768 add 1 -0.0 -> 1.0 |
| |
| ddadd7771 add 0.0 -1.0 -> -1.0 |
| ddadd7772 add -0.0 -1.0 -> -1.0 |
| ddadd7773 add 0.0 1.0 -> 1.0 |
| ddadd7774 add -0.0 1.0 -> 1.0 |
| ddadd7775 add -1.0 0.0 -> -1.0 |
| ddadd7776 add -1.0 -0.0 -> -1.0 |
| ddadd7777 add 1.0 0.0 -> 1.0 |
| ddadd7778 add 1.0 -0.0 -> 1.0 |
| |
| -- Specials |
| ddadd7780 add -Inf -Inf -> -Infinity |
| ddadd7781 add -Inf -1000 -> -Infinity |
| ddadd7782 add -Inf -1 -> -Infinity |
| ddadd7783 add -Inf -0 -> -Infinity |
| ddadd7784 add -Inf 0 -> -Infinity |
| ddadd7785 add -Inf 1 -> -Infinity |
| ddadd7786 add -Inf 1000 -> -Infinity |
| ddadd7787 add -1000 -Inf -> -Infinity |
| ddadd7788 add -Inf -Inf -> -Infinity |
| ddadd7789 add -1 -Inf -> -Infinity |
| ddadd7790 add -0 -Inf -> -Infinity |
| ddadd7791 add 0 -Inf -> -Infinity |
| ddadd7792 add 1 -Inf -> -Infinity |
| ddadd7793 add 1000 -Inf -> -Infinity |
| ddadd7794 add Inf -Inf -> NaN Invalid_operation |
| |
| ddadd7800 add Inf -Inf -> NaN Invalid_operation |
| ddadd7801 add Inf -1000 -> Infinity |
| ddadd7802 add Inf -1 -> Infinity |
| ddadd7803 add Inf -0 -> Infinity |
| ddadd7804 add Inf 0 -> Infinity |
| ddadd7805 add Inf 1 -> Infinity |
| ddadd7806 add Inf 1000 -> Infinity |
| ddadd7807 add Inf Inf -> Infinity |
| ddadd7808 add -1000 Inf -> Infinity |
| ddadd7809 add -Inf Inf -> NaN Invalid_operation |
| ddadd7810 add -1 Inf -> Infinity |
| ddadd7811 add -0 Inf -> Infinity |
| ddadd7812 add 0 Inf -> Infinity |
| ddadd7813 add 1 Inf -> Infinity |
| ddadd7814 add 1000 Inf -> Infinity |
| ddadd7815 add Inf Inf -> Infinity |
| |
| ddadd7821 add NaN -Inf -> NaN |
| ddadd7822 add NaN -1000 -> NaN |
| ddadd7823 add NaN -1 -> NaN |
| ddadd7824 add NaN -0 -> NaN |
| ddadd7825 add NaN 0 -> NaN |
| ddadd7826 add NaN 1 -> NaN |
| ddadd7827 add NaN 1000 -> NaN |
| ddadd7828 add NaN Inf -> NaN |
| ddadd7829 add NaN NaN -> NaN |
| ddadd7830 add -Inf NaN -> NaN |
| ddadd7831 add -1000 NaN -> NaN |
| ddadd7832 add -1 NaN -> NaN |
| ddadd7833 add -0 NaN -> NaN |
| ddadd7834 add 0 NaN -> NaN |
| ddadd7835 add 1 NaN -> NaN |
| ddadd7836 add 1000 NaN -> NaN |
| ddadd7837 add Inf NaN -> NaN |
| |
| ddadd7841 add sNaN -Inf -> NaN Invalid_operation |
| ddadd7842 add sNaN -1000 -> NaN Invalid_operation |
| ddadd7843 add sNaN -1 -> NaN Invalid_operation |
| ddadd7844 add sNaN -0 -> NaN Invalid_operation |
| ddadd7845 add sNaN 0 -> NaN Invalid_operation |
| ddadd7846 add sNaN 1 -> NaN Invalid_operation |
| ddadd7847 add sNaN 1000 -> NaN Invalid_operation |
| ddadd7848 add sNaN NaN -> NaN Invalid_operation |
| ddadd7849 add sNaN sNaN -> NaN Invalid_operation |
| ddadd7850 add NaN sNaN -> NaN Invalid_operation |
| ddadd7851 add -Inf sNaN -> NaN Invalid_operation |
| ddadd7852 add -1000 sNaN -> NaN Invalid_operation |
| ddadd7853 add -1 sNaN -> NaN Invalid_operation |
| ddadd7854 add -0 sNaN -> NaN Invalid_operation |
| ddadd7855 add 0 sNaN -> NaN Invalid_operation |
| ddadd7856 add 1 sNaN -> NaN Invalid_operation |
| ddadd7857 add 1000 sNaN -> NaN Invalid_operation |
| ddadd7858 add Inf sNaN -> NaN Invalid_operation |
| ddadd7859 add NaN sNaN -> NaN Invalid_operation |
| |
| -- propagating NaNs |
| ddadd7861 add NaN1 -Inf -> NaN1 |
| ddadd7862 add +NaN2 -1000 -> NaN2 |
| ddadd7863 add NaN3 1000 -> NaN3 |
| ddadd7864 add NaN4 Inf -> NaN4 |
| ddadd7865 add NaN5 +NaN6 -> NaN5 |
| ddadd7866 add -Inf NaN7 -> NaN7 |
| ddadd7867 add -1000 NaN8 -> NaN8 |
| ddadd7868 add 1000 NaN9 -> NaN9 |
| ddadd7869 add Inf +NaN10 -> NaN10 |
| ddadd7871 add sNaN11 -Inf -> NaN11 Invalid_operation |
| ddadd7872 add sNaN12 -1000 -> NaN12 Invalid_operation |
| ddadd7873 add sNaN13 1000 -> NaN13 Invalid_operation |
| ddadd7874 add sNaN14 NaN17 -> NaN14 Invalid_operation |
| ddadd7875 add sNaN15 sNaN18 -> NaN15 Invalid_operation |
| ddadd7876 add NaN16 sNaN19 -> NaN19 Invalid_operation |
| ddadd7877 add -Inf +sNaN20 -> NaN20 Invalid_operation |
| ddadd7878 add -1000 sNaN21 -> NaN21 Invalid_operation |
| ddadd7879 add 1000 sNaN22 -> NaN22 Invalid_operation |
| ddadd7880 add Inf sNaN23 -> NaN23 Invalid_operation |
| ddadd7881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation |
| ddadd7882 add -NaN26 NaN28 -> -NaN26 |
| ddadd7883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation |
| ddadd7884 add 1000 -NaN30 -> -NaN30 |
| ddadd7885 add 1000 -sNaN31 -> -NaN31 Invalid_operation |
| |
| -- Here we explore near the boundary of rounding a subnormal to Nmin |
| ddadd7575 add 1E-383 -1E-398 -> 9.99999999999999E-384 Subnormal |
| ddadd7576 add -1E-383 +1E-398 -> -9.99999999999999E-384 Subnormal |
| |
| -- and another curious case |
| ddadd7577 add 7.000000000000E-385 -1.00000E-391 -> 6.999999000000E-385 Subnormal |
| |
| -- check overflow edge case |
| -- 1234567890123456 |
| ddadd7972 apply 9.999999999999999E+384 -> 9.999999999999999E+384 |
| ddadd7973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded |
| ddadd7974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded |
| ddadd7975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded |
| ddadd7976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded |
| ddadd7977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded |
| ddadd7978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded |
| ddadd7979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded |
| ddadd7980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded |
| ddadd7981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded |
| ddadd7982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded |
| ddadd7983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded |
| ddadd7984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded |
| |
| ddadd7985 apply -9.999999999999999E+384 -> -9.999999999999999E+384 |
| ddadd7986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded |
| ddadd7987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded |
| ddadd7988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded |
| ddadd7989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded |
| ddadd7990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded |
| ddadd7991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded |
| ddadd7992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded |
| ddadd7993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded |
| ddadd7994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded |
| ddadd7995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded |
| ddadd7996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded |
| ddadd7997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded |
| |
| -- And for round down full and subnormal results |
| rounding: down |
| ddadd71100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact |
| ddadd71101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact |
| ddadd71103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact |
| ddadd71104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact |
| ddadd71105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact |
| ddadd71106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact |
| ddadd71107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact |
| ddadd71108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact |
| ddadd71109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact |
| |
| rounding: ceiling |
| ddadd71110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact |
| ddadd71111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact |
| ddadd71113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact |
| ddadd71114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact |
| ddadd71115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact |
| ddadd71116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact |
| ddadd71117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact |
| ddadd71118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact |
| ddadd71119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact |
| |
| -- tests based on Gunnar Degnbol's edge case |
| rounding: half_even |
| |
| ddadd71300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded |
| ddadd71311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded |
| ddadd71312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded |
| ddadd71313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded |
| ddadd71314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded |
| ddadd71315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded |
| ddadd71316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded |
| ddadd71317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded |
| ddadd71318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded |
| ddadd71325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded |
| |
| ddadd71340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded |
| ddadd71341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded |
| |
| ddadd71349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded |
| ddadd71350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded |
| ddadd71351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded |
| ddadd71352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded |
| ddadd71353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded |
| ddadd71354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded |
| ddadd71355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded |
| ddadd71356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded |
| ddadd71357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded |
| ddadd71358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded |
| ddadd71365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded |
| ddadd71396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded |
| |
| -- More GD edge cases, where difference between the unadjusted |
| -- exponents is larger than the maximum precision and one side is 0 |
| ddadd71420 add 0 1.123456789012345 -> 1.123456789012345 |
| ddadd71421 add 0 1.123456789012345E-1 -> 0.1123456789012345 |
| ddadd71422 add 0 1.123456789012345E-2 -> 0.01123456789012345 |
| ddadd71423 add 0 1.123456789012345E-3 -> 0.001123456789012345 |
| ddadd71424 add 0 1.123456789012345E-4 -> 0.0001123456789012345 |
| ddadd71425 add 0 1.123456789012345E-5 -> 0.00001123456789012345 |
| ddadd71426 add 0 1.123456789012345E-6 -> 0.000001123456789012345 |
| ddadd71427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7 |
| ddadd71428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8 |
| ddadd71429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9 |
| ddadd71430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10 |
| ddadd71431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11 |
| ddadd71432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12 |
| ddadd71433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13 |
| ddadd71434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14 |
| ddadd71435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15 |
| ddadd71436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16 |
| ddadd71437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17 |
| ddadd71438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18 |
| ddadd71439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19 |
| |
| -- same, reversed 0 |
| ddadd71440 add 1.123456789012345 0 -> 1.123456789012345 |
| ddadd71441 add 1.123456789012345E-1 0 -> 0.1123456789012345 |
| ddadd71442 add 1.123456789012345E-2 0 -> 0.01123456789012345 |
| ddadd71443 add 1.123456789012345E-3 0 -> 0.001123456789012345 |
| ddadd71444 add 1.123456789012345E-4 0 -> 0.0001123456789012345 |
| ddadd71445 add 1.123456789012345E-5 0 -> 0.00001123456789012345 |
| ddadd71446 add 1.123456789012345E-6 0 -> 0.000001123456789012345 |
| ddadd71447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7 |
| ddadd71448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8 |
| ddadd71449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9 |
| ddadd71450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10 |
| ddadd71451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11 |
| ddadd71452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12 |
| ddadd71453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13 |
| ddadd71454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14 |
| ddadd71455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15 |
| ddadd71456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16 |
| ddadd71457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17 |
| ddadd71458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18 |
| ddadd71459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19 |
| |
| -- same, Es on the 0 |
| ddadd71460 add 1.123456789012345 0E-0 -> 1.123456789012345 |
| ddadd71461 add 1.123456789012345 0E-1 -> 1.123456789012345 |
| ddadd71462 add 1.123456789012345 0E-2 -> 1.123456789012345 |
| ddadd71463 add 1.123456789012345 0E-3 -> 1.123456789012345 |
| ddadd71464 add 1.123456789012345 0E-4 -> 1.123456789012345 |
| ddadd71465 add 1.123456789012345 0E-5 -> 1.123456789012345 |
| ddadd71466 add 1.123456789012345 0E-6 -> 1.123456789012345 |
| ddadd71467 add 1.123456789012345 0E-7 -> 1.123456789012345 |
| ddadd71468 add 1.123456789012345 0E-8 -> 1.123456789012345 |
| ddadd71469 add 1.123456789012345 0E-9 -> 1.123456789012345 |
| ddadd71470 add 1.123456789012345 0E-10 -> 1.123456789012345 |
| ddadd71471 add 1.123456789012345 0E-11 -> 1.123456789012345 |
| ddadd71472 add 1.123456789012345 0E-12 -> 1.123456789012345 |
| ddadd71473 add 1.123456789012345 0E-13 -> 1.123456789012345 |
| ddadd71474 add 1.123456789012345 0E-14 -> 1.123456789012345 |
| ddadd71475 add 1.123456789012345 0E-15 -> 1.123456789012345 |
| -- next four flag Rounded because the 0 extends the result |
| ddadd71476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded |
| ddadd71477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded |
| ddadd71478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded |
| ddadd71479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded |
| |
| -- sum of two opposite-sign operands is exactly 0 and floor => -0 |
| rounding: half_up |
| -- exact zeros from zeros |
| ddadd71500 add 0 0E-19 -> 0E-19 |
| ddadd71501 add -0 0E-19 -> 0E-19 |
| ddadd71502 add 0 -0E-19 -> 0E-19 |
| ddadd71503 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71511 add -11 11 -> 0 |
| ddadd71512 add 11 -11 -> 0 |
| |
| rounding: half_down |
| -- exact zeros from zeros |
| ddadd71520 add 0 0E-19 -> 0E-19 |
| ddadd71521 add -0 0E-19 -> 0E-19 |
| ddadd71522 add 0 -0E-19 -> 0E-19 |
| ddadd71523 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71531 add -11 11 -> 0 |
| ddadd71532 add 11 -11 -> 0 |
| |
| rounding: half_even |
| -- exact zeros from zeros |
| ddadd71540 add 0 0E-19 -> 0E-19 |
| ddadd71541 add -0 0E-19 -> 0E-19 |
| ddadd71542 add 0 -0E-19 -> 0E-19 |
| ddadd71543 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71551 add -11 11 -> 0 |
| ddadd71552 add 11 -11 -> 0 |
| |
| rounding: up |
| -- exact zeros from zeros |
| ddadd71560 add 0 0E-19 -> 0E-19 |
| ddadd71561 add -0 0E-19 -> 0E-19 |
| ddadd71562 add 0 -0E-19 -> 0E-19 |
| ddadd71563 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71571 add -11 11 -> 0 |
| ddadd71572 add 11 -11 -> 0 |
| |
| rounding: down |
| -- exact zeros from zeros |
| ddadd71580 add 0 0E-19 -> 0E-19 |
| ddadd71581 add -0 0E-19 -> 0E-19 |
| ddadd71582 add 0 -0E-19 -> 0E-19 |
| ddadd71583 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71591 add -11 11 -> 0 |
| ddadd71592 add 11 -11 -> 0 |
| |
| rounding: ceiling |
| -- exact zeros from zeros |
| ddadd71600 add 0 0E-19 -> 0E-19 |
| ddadd71601 add -0 0E-19 -> 0E-19 |
| ddadd71602 add 0 -0E-19 -> 0E-19 |
| ddadd71603 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71611 add -11 11 -> 0 |
| ddadd71612 add 11 -11 -> 0 |
| |
| -- and the extra-special ugly case; unusual minuses marked by -- * |
| rounding: floor |
| -- exact zeros from zeros |
| ddadd71620 add 0 0E-19 -> 0E-19 |
| ddadd71621 add -0 0E-19 -> -0E-19 -- * |
| ddadd71622 add 0 -0E-19 -> -0E-19 -- * |
| ddadd71623 add -0 -0E-19 -> -0E-19 |
| -- exact zeros from non-zeros |
| ddadd71631 add -11 11 -> -0 -- * |
| ddadd71632 add 11 -11 -> -0 -- * |
| |
| -- Examples from SQL proposal (Krishna Kulkarni) |
| ddadd71701 add 130E-2 120E-2 -> 2.50 |
| ddadd71702 add 130E-2 12E-1 -> 2.50 |
| ddadd71703 add 130E-2 1E0 -> 2.30 |
| ddadd71704 add 1E2 1E4 -> 1.01E+4 |
| ddadd71705 add 130E-2 -120E-2 -> 0.10 |
| ddadd71706 add 130E-2 -12E-1 -> 0.10 |
| ddadd71707 add 130E-2 -1E0 -> 0.30 |
| ddadd71708 add 1E2 -1E4 -> -9.9E+3 |
| |
| -- query from Vincent Kulandaisamy |
| rounding: ceiling |
| ddadd71801 add 7.8822773805862E+277 -5.1757503820663E-21 -> 7.882277380586200E+277 Inexact Rounded |
| ddadd71802 add 7.882277380586200E+277 12.341 -> 7.882277380586201E+277 Inexact Rounded |
| ddadd71803 add 7.882277380586201E+277 2.7270545046613E-31 -> 7.882277380586202E+277 Inexact Rounded |
| |
| ddadd71811 add 12.341 -5.1757503820663E-21 -> 12.34100000000000 Inexact Rounded |
| ddadd71812 add 12.34100000000000 2.7270545046613E-31 -> 12.34100000000001 Inexact Rounded |
| ddadd71813 add 12.34100000000001 7.8822773805862E+277 -> 7.882277380586201E+277 Inexact Rounded |
| |
| -- Gappy coefficients; check residue handling even with full coefficient gap |
| rounding: half_even |
| |
| ddadd75001 add 1234567890123456 1 -> 1234567890123457 |
| ddadd75002 add 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded |
| ddadd75003 add 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded |
| ddadd75004 add 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded |
| ddadd75005 add 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded |
| ddadd75006 add 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded |
| ddadd75007 add 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded |
| ddadd75008 add 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded |
| ddadd75009 add 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded |
| ddadd75010 add 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded |
| ddadd75011 add 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded |
| ddadd75012 add 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded |
| ddadd75013 add 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded |
| ddadd75014 add 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded |
| ddadd75015 add 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded |
| ddadd75016 add 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded |
| ddadd75017 add 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded |
| ddadd75018 add 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded |
| ddadd75019 add 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded |
| ddadd75020 add 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded |
| ddadd75021 add 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded |
| |
| -- widening second argument at gap |
| ddadd75030 add 12345678 1 -> 12345679 |
| ddadd75031 add 12345678 0.1 -> 12345678.1 |
| ddadd75032 add 12345678 0.12 -> 12345678.12 |
| ddadd75033 add 12345678 0.123 -> 12345678.123 |
| ddadd75034 add 12345678 0.1234 -> 12345678.1234 |
| ddadd75035 add 12345678 0.12345 -> 12345678.12345 |
| ddadd75036 add 12345678 0.123456 -> 12345678.123456 |
| ddadd75037 add 12345678 0.1234567 -> 12345678.1234567 |
| ddadd75038 add 12345678 0.12345678 -> 12345678.12345678 |
| ddadd75039 add 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded |
| ddadd75040 add 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded |
| ddadd75041 add 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded |
| ddadd75042 add 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded |
| ddadd75043 add 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded |
| ddadd75044 add 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded |
| ddadd75045 add 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded |
| ddadd75046 add 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded |
| ddadd75047 add 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded |
| ddadd75048 add 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded |
| ddadd75049 add 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded |
| -- 90123456 |
| rounding: half_even |
| ddadd75050 add 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded |
| ddadd75051 add 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded |
| ddadd75052 add 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded |
| ddadd75053 add 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded |
| ddadd75054 add 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded |
| ddadd75055 add 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded |
| ddadd75056 add 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded |
| ddadd75057 add 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded |
| ddadd75060 add 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded |
| ddadd75061 add 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded |
| ddadd75062 add 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded |
| ddadd75063 add 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded |
| ddadd75064 add 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded |
| ddadd75065 add 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded |
| ddadd75066 add 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded |
| ddadd75067 add 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded |
| -- far-out residues (full coefficient gap is 16+15 digits) |
| rounding: up |
| ddadd75070 add 12345678 1E-8 -> 12345678.00000001 |
| ddadd75071 add 12345678 1E-9 -> 12345678.00000001 Inexact Rounded |
| ddadd75072 add 12345678 1E-10 -> 12345678.00000001 Inexact Rounded |
| ddadd75073 add 12345678 1E-11 -> 12345678.00000001 Inexact Rounded |
| ddadd75074 add 12345678 1E-12 -> 12345678.00000001 Inexact Rounded |
| ddadd75075 add 12345678 1E-13 -> 12345678.00000001 Inexact Rounded |
| ddadd75076 add 12345678 1E-14 -> 12345678.00000001 Inexact Rounded |
| ddadd75077 add 12345678 1E-15 -> 12345678.00000001 Inexact Rounded |
| ddadd75078 add 12345678 1E-16 -> 12345678.00000001 Inexact Rounded |
| ddadd75079 add 12345678 1E-17 -> 12345678.00000001 Inexact Rounded |
| ddadd75080 add 12345678 1E-18 -> 12345678.00000001 Inexact Rounded |
| ddadd75081 add 12345678 1E-19 -> 12345678.00000001 Inexact Rounded |
| ddadd75082 add 12345678 1E-20 -> 12345678.00000001 Inexact Rounded |
| ddadd75083 add 12345678 1E-25 -> 12345678.00000001 Inexact Rounded |
| ddadd75084 add 12345678 1E-30 -> 12345678.00000001 Inexact Rounded |
| ddadd75085 add 12345678 1E-31 -> 12345678.00000001 Inexact Rounded |
| ddadd75086 add 12345678 1E-32 -> 12345678.00000001 Inexact Rounded |
| ddadd75087 add 12345678 1E-33 -> 12345678.00000001 Inexact Rounded |
| ddadd75088 add 12345678 1E-34 -> 12345678.00000001 Inexact Rounded |
| ddadd75089 add 12345678 1E-35 -> 12345678.00000001 Inexact Rounded |
| |
| -- Punit's |
| ddadd75100 add 1.000 -200.000 -> -199.000 |
| |
| -- Rounding swathe |
| rounding: half_even |
| ddadd81100 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81101 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81102 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81103 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81104 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81105 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81106 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81107 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81108 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81109 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81120 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded |
| ddadd81121 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded |
| |
| rounding: half_up |
| ddadd81200 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81201 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81202 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81203 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81204 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81205 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81206 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81207 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81208 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81209 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81220 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded |
| ddadd81221 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded |
| |
| rounding: half_down |
| ddadd81300 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81301 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81302 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81303 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81304 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81305 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81306 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81307 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81308 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81309 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81320 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded |
| ddadd81321 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded |
| |
| rounding: up |
| ddadd81400 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81401 add .2301 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81402 add .2310 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81403 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81404 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81405 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81406 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81407 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81408 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81409 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81411 add -.2399 -12345678901234.00 -> -12345678901234.24 Inexact Rounded |
| ddadd81420 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded |
| ddadd81421 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded |
| |
| rounding: down |
| ddadd81500 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81501 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81502 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81503 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81504 add .2351 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81505 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81506 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81507 add .2360 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81508 add .2370 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81509 add .2399 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81511 add -.2399 -12345678901234.00 -> -12345678901234.23 Inexact Rounded |
| ddadd81520 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded |
| ddadd81521 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded |
| |
| rounding: ceiling |
| ddadd81600 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81601 add .2301 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81602 add .2310 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81603 add .2350 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81604 add .2351 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81605 add .2450 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81606 add .2451 12345678901234.00 -> 12345678901234.25 Inexact Rounded |
| ddadd81607 add .2360 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81608 add .2370 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81609 add .2399 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81611 add -.2399 -12345678901234.00 -> -12345678901234.23 Inexact Rounded |
| ddadd81620 add 9999999999999999E+369 9E+369 -> Infinity Overflow Inexact Rounded |
| ddadd81621 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded |
| |
| rounding: floor |
| ddadd81700 add .2300 12345678901234.00 -> 12345678901234.23 Rounded |
| ddadd81701 add .2301 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81702 add .2310 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81703 add .2350 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81704 add .2351 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81705 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81706 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd81707 add .2360 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81708 add .2370 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81709 add .2399 12345678901234.00 -> 12345678901234.23 Inexact Rounded |
| ddadd81711 add -.2399 -12345678901234.00 -> -12345678901234.24 Inexact Rounded |
| ddadd81720 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded |
| ddadd81721 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow Inexact Rounded |
| |
| rounding: 05up |
| ddadd81800 add .2000 12345678901234.00 -> 12345678901234.20 Rounded |
| ddadd81801 add .2001 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81802 add .2010 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81803 add .2050 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81804 add .2051 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81807 add .2060 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81808 add .2070 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81809 add .2099 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81811 add -.2099 -12345678901234.00 -> -12345678901234.21 Inexact Rounded |
| ddadd81820 add 9999999999999999E+369 9E+369 -> 9.999999999999999E+384 Overflow Inexact Rounded |
| ddadd81821 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow Inexact Rounded |
| |
| ddadd81900 add .2100 12345678901234.00 -> 12345678901234.21 Rounded |
| ddadd81901 add .2101 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81902 add .2110 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81903 add .2150 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81904 add .2151 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81907 add .2160 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81908 add .2170 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81909 add .2199 12345678901234.00 -> 12345678901234.21 Inexact Rounded |
| ddadd81911 add -.2199 -12345678901234.00 -> -12345678901234.21 Inexact Rounded |
| |
| ddadd82000 add .2400 12345678901234.00 -> 12345678901234.24 Rounded |
| ddadd82001 add .2401 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82002 add .2410 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82003 add .2450 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82004 add .2451 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82007 add .2460 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82008 add .2470 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82009 add .2499 12345678901234.00 -> 12345678901234.24 Inexact Rounded |
| ddadd82011 add -.2499 -12345678901234.00 -> -12345678901234.24 Inexact Rounded |
| |
| ddadd82100 add .2500 12345678901234.00 -> 12345678901234.25 Rounded |
| ddadd82101 add .2501 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82102 add .2510 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82103 add .2550 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82104 add .2551 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82107 add .2560 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82108 add .2570 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82109 add .2599 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82111 add -.2599 -12345678901234.00 -> -12345678901234.26 Inexact Rounded |
| |
| ddadd82200 add .2600 12345678901234.00 -> 12345678901234.26 Rounded |
| ddadd82201 add .2601 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82202 add .2610 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82203 add .2650 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82204 add .2651 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82207 add .2660 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82208 add .2670 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82209 add .2699 12345678901234.00 -> 12345678901234.26 Inexact Rounded |
| ddadd82211 add -.2699 -12345678901234.00 -> -12345678901234.26 Inexact Rounded |
| |
| ddadd82300 add .2900 12345678901234.00 -> 12345678901234.29 Rounded |
| ddadd82301 add .2901 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82302 add .2910 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82303 add .2950 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82304 add .2951 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82307 add .2960 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82308 add .2970 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82309 add .2999 12345678901234.00 -> 12345678901234.29 Inexact Rounded |
| ddadd82311 add -.2999 -12345678901234.00 -> -12345678901234.29 Inexact Rounded |
| |
| -- Null tests |
| ddadd9990 add 10 # -> NaN Invalid_operation |
| ddadd9991 add # 10 -> NaN Invalid_operation |
