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