1 ------/cancell---------------------------------------------------------- 2 -- add.decTest -- decimal addition -- 3 -- Copyright (c) IBM Corporation, 1981, 2008. 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 (a] uk.ibm.com -- 19 ------------------------------------------------------------------------ 20 version: 2.59 21 22 precision: 9 23 rounding: half_up 24 maxExponent: 384 25 minexponent: -383 26 extended: 1 27 28 -- [first group are 'quick confidence check'] 29 addx001 add 1 1 -> 2 30 addx002 add 2 3 -> 5 31 addx003 add '5.75' '3.3' -> 9.05 32 addx004 add '5' '-3' -> 2 33 addx005 add '-5' '-3' -> -8 34 addx006 add '-7' '2.5' -> -4.5 35 addx007 add '0.7' '0.3' -> 1.0 36 addx008 add '1.25' '1.25' -> 2.50 37 addx009 add '1.23456789' '1.00000000' -> '2.23456789' 38 addx010 add '1.23456789' '1.00000011' -> '2.23456800' 39 40 addx011 add '0.4444444444' '0.5555555555' -> '1.00000000' Inexact Rounded 41 addx012 add '0.4444444440' '0.5555555555' -> '1.00000000' Inexact Rounded 42 addx013 add '0.4444444444' '0.5555555550' -> '0.999999999' Inexact Rounded 43 addx014 add '0.44444444449' '0' -> '0.444444444' Inexact Rounded 44 addx015 add '0.444444444499' '0' -> '0.444444444' Inexact Rounded 45 addx016 add '0.4444444444999' '0' -> '0.444444444' Inexact Rounded 46 addx017 add '0.4444444445000' '0' -> '0.444444445' Inexact Rounded 47 addx018 add '0.4444444445001' '0' -> '0.444444445' Inexact Rounded 48 addx019 add '0.444444444501' '0' -> '0.444444445' Inexact Rounded 49 addx020 add '0.44444444451' '0' -> '0.444444445' Inexact Rounded 50 51 addx021 add 0 1 -> 1 52 addx022 add 1 1 -> 2 53 addx023 add 2 1 -> 3 54 addx024 add 3 1 -> 4 55 addx025 add 4 1 -> 5 56 addx026 add 5 1 -> 6 57 addx027 add 6 1 -> 7 58 addx028 add 7 1 -> 8 59 addx029 add 8 1 -> 9 60 addx030 add 9 1 -> 10 61 62 -- some carrying effects 63 addx031 add '0.9998' '0.0000' -> '0.9998' 64 addx032 add '0.9998' '0.0001' -> '0.9999' 65 addx033 add '0.9998' '0.0002' -> '1.0000' 66 addx034 add '0.9998' '0.0003' -> '1.0001' 67 68 addx035 add '70' '10000e+9' -> '1.00000000E+13' Inexact Rounded 69 addx036 add '700' '10000e+9' -> '1.00000000E+13' Inexact Rounded 70 addx037 add '7000' '10000e+9' -> '1.00000000E+13' Inexact Rounded 71 addx038 add '70000' '10000e+9' -> '1.00000001E+13' Inexact Rounded 72 addx039 add '700000' '10000e+9' -> '1.00000007E+13' Rounded 73 74 -- symmetry: 75 addx040 add '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded 76 addx041 add '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded 77 addx042 add '10000e+9' '7000' -> '1.00000000E+13' Inexact Rounded 78 addx044 add '10000e+9' '70000' -> '1.00000001E+13' Inexact Rounded 79 addx045 add '10000e+9' '700000' -> '1.00000007E+13' Rounded 80 81 -- same, higher precision 82 precision: 15 83 addx046 add '10000e+9' '7' -> '10000000000007' 84 addx047 add '10000e+9' '70' -> '10000000000070' 85 addx048 add '10000e+9' '700' -> '10000000000700' 86 addx049 add '10000e+9' '7000' -> '10000000007000' 87 addx050 add '10000e+9' '70000' -> '10000000070000' 88 addx051 add '10000e+9' '700000' -> '10000000700000' 89 addx052 add '10000e+9' '7000000' -> '10000007000000' 90 91 -- examples from decarith 92 addx053 add '12' '7.00' -> '19.00' 93 addx054 add '1.3' '-1.07' -> '0.23' 94 addx055 add '1.3' '-1.30' -> '0.00' 95 addx056 add '1.3' '-2.07' -> '-0.77' 96 addx057 add '1E+2' '1E+4' -> '1.01E+4' 97 98 -- zero preservation 99 precision: 6 100 addx060 add '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded 101 addx061 add 1 '0.0001' -> '1.0001' 102 addx062 add 1 '0.00001' -> '1.00001' 103 addx063 add 1 '0.000001' -> '1.00000' Inexact Rounded 104 addx064 add 1 '0.0000001' -> '1.00000' Inexact Rounded 105 addx065 add 1 '0.00000001' -> '1.00000' Inexact Rounded 106 107 -- some funny zeros [in case of bad signum] 108 addx070 add 1 0 -> 1 109 addx071 add 1 0. -> 1 110 addx072 add 1 .0 -> 1.0 111 addx073 add 1 0.0 -> 1.0 112 addx074 add 1 0.00 -> 1.00 113 addx075 add 0 1 -> 1 114 addx076 add 0. 1 -> 1 115 addx077 add .0 1 -> 1.0 116 addx078 add 0.0 1 -> 1.0 117 addx079 add 0.00 1 -> 1.00 118 119 precision: 9 120 121 -- some carries 122 addx080 add 999999998 1 -> 999999999 123 addx081 add 999999999 1 -> 1.00000000E+9 Rounded 124 addx082 add 99999999 1 -> 100000000 125 addx083 add 9999999 1 -> 10000000 126 addx084 add 999999 1 -> 1000000 127 addx085 add 99999 1 -> 100000 128 addx086 add 9999 1 -> 10000 129 addx087 add 999 1 -> 1000 130 addx088 add 99 1 -> 100 131 addx089 add 9 1 -> 10 132 133 134 -- more LHS swaps 135 addx090 add '-56267E-10' 0 -> '-0.0000056267' 136 addx091 add '-56267E-6' 0 -> '-0.056267' 137 addx092 add '-56267E-5' 0 -> '-0.56267' 138 addx093 add '-56267E-4' 0 -> '-5.6267' 139 addx094 add '-56267E-3' 0 -> '-56.267' 140 addx095 add '-56267E-2' 0 -> '-562.67' 141 addx096 add '-56267E-1' 0 -> '-5626.7' 142 addx097 add '-56267E-0' 0 -> '-56267' 143 addx098 add '-5E-10' 0 -> '-5E-10' 144 addx099 add '-5E-7' 0 -> '-5E-7' 145 addx100 add '-5E-6' 0 -> '-0.000005' 146 addx101 add '-5E-5' 0 -> '-0.00005' 147 addx102 add '-5E-4' 0 -> '-0.0005' 148 addx103 add '-5E-1' 0 -> '-0.5' 149 addx104 add '-5E0' 0 -> '-5' 150 addx105 add '-5E1' 0 -> '-50' 151 addx106 add '-5E5' 0 -> '-500000' 152 addx107 add '-5E8' 0 -> '-500000000' 153 addx108 add '-5E9' 0 -> '-5.00000000E+9' Rounded 154 addx109 add '-5E10' 0 -> '-5.00000000E+10' Rounded 155 addx110 add '-5E11' 0 -> '-5.00000000E+11' Rounded 156 addx111 add '-5E100' 0 -> '-5.00000000E+100' Rounded 157 158 -- more RHS swaps 159 addx113 add 0 '-56267E-10' -> '-0.0000056267' 160 addx114 add 0 '-56267E-6' -> '-0.056267' 161 addx116 add 0 '-56267E-5' -> '-0.56267' 162 addx117 add 0 '-56267E-4' -> '-5.6267' 163 addx119 add 0 '-56267E-3' -> '-56.267' 164 addx120 add 0 '-56267E-2' -> '-562.67' 165 addx121 add 0 '-56267E-1' -> '-5626.7' 166 addx122 add 0 '-56267E-0' -> '-56267' 167 addx123 add 0 '-5E-10' -> '-5E-10' 168 addx124 add 0 '-5E-7' -> '-5E-7' 169 addx125 add 0 '-5E-6' -> '-0.000005' 170 addx126 add 0 '-5E-5' -> '-0.00005' 171 addx127 add 0 '-5E-4' -> '-0.0005' 172 addx128 add 0 '-5E-1' -> '-0.5' 173 addx129 add 0 '-5E0' -> '-5' 174 addx130 add 0 '-5E1' -> '-50' 175 addx131 add 0 '-5E5' -> '-500000' 176 addx132 add 0 '-5E8' -> '-500000000' 177 addx133 add 0 '-5E9' -> '-5.00000000E+9' Rounded 178 addx134 add 0 '-5E10' -> '-5.00000000E+10' Rounded 179 addx135 add 0 '-5E11' -> '-5.00000000E+11' Rounded 180 addx136 add 0 '-5E100' -> '-5.00000000E+100' Rounded 181 182 -- related 183 addx137 add 1 '0E-12' -> '1.00000000' Rounded 184 addx138 add -1 '0E-12' -> '-1.00000000' Rounded 185 addx139 add '0E-12' 1 -> '1.00000000' Rounded 186 addx140 add '0E-12' -1 -> '-1.00000000' Rounded 187 addx141 add 1E+4 0.0000 -> '10000.0000' 188 addx142 add 1E+4 0.00000 -> '10000.0000' Rounded 189 addx143 add 0.000 1E+5 -> '100000.000' 190 addx144 add 0.0000 1E+5 -> '100000.000' Rounded 191 192 -- [some of the next group are really constructor tests] 193 addx146 add '00.0' 0 -> '0.0' 194 addx147 add '0.00' 0 -> '0.00' 195 addx148 add 0 '0.00' -> '0.00' 196 addx149 add 0 '00.0' -> '0.0' 197 addx150 add '00.0' '0.00' -> '0.00' 198 addx151 add '0.00' '00.0' -> '0.00' 199 addx152 add '3' '.3' -> '3.3' 200 addx153 add '3.' '.3' -> '3.3' 201 addx154 add '3.0' '.3' -> '3.3' 202 addx155 add '3.00' '.3' -> '3.30' 203 addx156 add '3' '3' -> '6' 204 addx157 add '3' '+3' -> '6' 205 addx158 add '3' '-3' -> '0' 206 addx159 add '0.3' '-0.3' -> '0.0' 207 addx160 add '0.03' '-0.03' -> '0.00' 208 209 -- try borderline precision, with carries, etc. 210 precision: 15 211 addx161 add '1E+12' '-1' -> '999999999999' 212 addx162 add '1E+12' '1.11' -> '1000000000001.11' 213 addx163 add '1.11' '1E+12' -> '1000000000001.11' 214 addx164 add '-1' '1E+12' -> '999999999999' 215 addx165 add '7E+12' '-1' -> '6999999999999' 216 addx166 add '7E+12' '1.11' -> '7000000000001.11' 217 addx167 add '1.11' '7E+12' -> '7000000000001.11' 218 addx168 add '-1' '7E+12' -> '6999999999999' 219 220 -- 123456789012345 123456789012345 1 23456789012345 221 addx170 add '0.444444444444444' '0.555555555555563' -> '1.00000000000001' Inexact Rounded 222 addx171 add '0.444444444444444' '0.555555555555562' -> '1.00000000000001' Inexact Rounded 223 addx172 add '0.444444444444444' '0.555555555555561' -> '1.00000000000001' Inexact Rounded 224 addx173 add '0.444444444444444' '0.555555555555560' -> '1.00000000000000' Inexact Rounded 225 addx174 add '0.444444444444444' '0.555555555555559' -> '1.00000000000000' Inexact Rounded 226 addx175 add '0.444444444444444' '0.555555555555558' -> '1.00000000000000' Inexact Rounded 227 addx176 add '0.444444444444444' '0.555555555555557' -> '1.00000000000000' Inexact Rounded 228 addx177 add '0.444444444444444' '0.555555555555556' -> '1.00000000000000' Rounded 229 addx178 add '0.444444444444444' '0.555555555555555' -> '0.999999999999999' 230 addx179 add '0.444444444444444' '0.555555555555554' -> '0.999999999999998' 231 addx180 add '0.444444444444444' '0.555555555555553' -> '0.999999999999997' 232 addx181 add '0.444444444444444' '0.555555555555552' -> '0.999999999999996' 233 addx182 add '0.444444444444444' '0.555555555555551' -> '0.999999999999995' 234 addx183 add '0.444444444444444' '0.555555555555550' -> '0.999999999999994' 235 236 -- and some more, including residue effects and different roundings 237 precision: 9 238 rounding: half_up 239 addx200 add '123456789' 0 -> '123456789' 240 addx201 add '123456789' 0.000000001 -> '123456789' Inexact Rounded 241 addx202 add '123456789' 0.000001 -> '123456789' Inexact Rounded 242 addx203 add '123456789' 0.1 -> '123456789' Inexact Rounded 243 addx204 add '123456789' 0.4 -> '123456789' Inexact Rounded 244 addx205 add '123456789' 0.49 -> '123456789' Inexact Rounded 245 addx206 add '123456789' 0.499999 -> '123456789' Inexact Rounded 246 addx207 add '123456789' 0.499999999 -> '123456789' Inexact Rounded 247 addx208 add '123456789' 0.5 -> '123456790' Inexact Rounded 248 addx209 add '123456789' 0.500000001 -> '123456790' Inexact Rounded 249 addx210 add '123456789' 0.500001 -> '123456790' Inexact Rounded 250 addx211 add '123456789' 0.51 -> '123456790' Inexact Rounded 251 addx212 add '123456789' 0.6 -> '123456790' Inexact Rounded 252 addx213 add '123456789' 0.9 -> '123456790' Inexact Rounded 253 addx214 add '123456789' 0.99999 -> '123456790' Inexact Rounded 254 addx215 add '123456789' 0.999999999 -> '123456790' Inexact Rounded 255 addx216 add '123456789' 1 -> '123456790' 256 addx217 add '123456789' 1.000000001 -> '123456790' Inexact Rounded 257 addx218 add '123456789' 1.00001 -> '123456790' Inexact Rounded 258 addx219 add '123456789' 1.1 -> '123456790' Inexact Rounded 259 260 rounding: half_even 261 addx220 add '123456789' 0 -> '123456789' 262 addx221 add '123456789' 0.000000001 -> '123456789' Inexact Rounded 263 addx222 add '123456789' 0.000001 -> '123456789' Inexact Rounded 264 addx223 add '123456789' 0.1 -> '123456789' Inexact Rounded 265 addx224 add '123456789' 0.4 -> '123456789' Inexact Rounded 266 addx225 add '123456789' 0.49 -> '123456789' Inexact Rounded 267 addx226 add '123456789' 0.499999 -> '123456789' Inexact Rounded 268 addx227 add '123456789' 0.499999999 -> '123456789' Inexact Rounded 269 addx228 add '123456789' 0.5 -> '123456790' Inexact Rounded 270 addx229 add '123456789' 0.500000001 -> '123456790' Inexact Rounded 271 addx230 add '123456789' 0.500001 -> '123456790' Inexact Rounded 272 addx231 add '123456789' 0.51 -> '123456790' Inexact Rounded 273 addx232 add '123456789' 0.6 -> '123456790' Inexact Rounded 274 addx233 add '123456789' 0.9 -> '123456790' Inexact Rounded 275 addx234 add '123456789' 0.99999 -> '123456790' Inexact Rounded 276 addx235 add '123456789' 0.999999999 -> '123456790' Inexact Rounded 277 addx236 add '123456789' 1 -> '123456790' 278 addx237 add '123456789' 1.00000001 -> '123456790' Inexact Rounded 279 addx238 add '123456789' 1.00001 -> '123456790' Inexact Rounded 280 addx239 add '123456789' 1.1 -> '123456790' Inexact Rounded 281 -- critical few with even bottom digit... 282 addx240 add '123456788' 0.499999999 -> '123456788' Inexact Rounded 283 addx241 add '123456788' 0.5 -> '123456788' Inexact Rounded 284 addx242 add '123456788' 0.500000001 -> '123456789' Inexact Rounded 285 286 rounding: down 287 addx250 add '123456789' 0 -> '123456789' 288 addx251 add '123456789' 0.000000001 -> '123456789' Inexact Rounded 289 addx252 add '123456789' 0.000001 -> '123456789' Inexact Rounded 290 addx253 add '123456789' 0.1 -> '123456789' Inexact Rounded 291 addx254 add '123456789' 0.4 -> '123456789' Inexact Rounded 292 addx255 add '123456789' 0.49 -> '123456789' Inexact Rounded 293 addx256 add '123456789' 0.499999 -> '123456789' Inexact Rounded 294 addx257 add '123456789' 0.499999999 -> '123456789' Inexact Rounded 295 addx258 add '123456789' 0.5 -> '123456789' Inexact Rounded 296 addx259 add '123456789' 0.500000001 -> '123456789' Inexact Rounded 297 addx260 add '123456789' 0.500001 -> '123456789' Inexact Rounded 298 addx261 add '123456789' 0.51 -> '123456789' Inexact Rounded 299 addx262 add '123456789' 0.6 -> '123456789' Inexact Rounded 300 addx263 add '123456789' 0.9 -> '123456789' Inexact Rounded 301 addx264 add '123456789' 0.99999 -> '123456789' Inexact Rounded 302 addx265 add '123456789' 0.999999999 -> '123456789' Inexact Rounded 303 addx266 add '123456789' 1 -> '123456790' 304 addx267 add '123456789' 1.00000001 -> '123456790' Inexact Rounded 305 addx268 add '123456789' 1.00001 -> '123456790' Inexact Rounded 306 addx269 add '123456789' 1.1 -> '123456790' Inexact Rounded 307 308 -- input preparation tests (operands should not be rounded) 309 precision: 3 310 rounding: half_up 311 312 addx270 add '12345678900000' 9999999999999 -> '2.23E+13' Inexact Rounded 313 addx271 add '9999999999999' 12345678900000 -> '2.23E+13' Inexact Rounded 314 315 addx272 add '12E+3' '3444' -> '1.54E+4' Inexact Rounded 316 addx273 add '12E+3' '3446' -> '1.54E+4' Inexact Rounded 317 addx274 add '12E+3' '3449.9' -> '1.54E+4' Inexact Rounded 318 addx275 add '12E+3' '3450.0' -> '1.55E+4' Inexact Rounded 319 addx276 add '12E+3' '3450.1' -> '1.55E+4' Inexact Rounded 320 addx277 add '12E+3' '3454' -> '1.55E+4' Inexact Rounded 321 addx278 add '12E+3' '3456' -> '1.55E+4' Inexact Rounded 322 323 addx281 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded 324 addx282 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded 325 addx283 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded 326 addx284 add '3450.0' '12E+3' -> '1.55E+4' Inexact Rounded 327 addx285 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded 328 addx286 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded 329 addx287 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded 330 331 rounding: half_down 332 addx291 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded 333 addx292 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded 334 addx293 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded 335 addx294 add '3450.0' '12E+3' -> '1.54E+4' Inexact Rounded 336 addx295 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded 337 addx296 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded 338 addx297 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded 339 340 -- 1 in last place tests 341 rounding: half_up 342 addx301 add -1 1 -> 0 343 addx302 add 0 1 -> 1 344 addx303 add 1 1 -> 2 345 addx304 add 12 1 -> 13 346 addx305 add 98 1 -> 99 347 addx306 add 99 1 -> 100 348 addx307 add 100 1 -> 101 349 addx308 add 101 1 -> 102 350 addx309 add -1 -1 -> -2 351 addx310 add 0 -1 -> -1 352 addx311 add 1 -1 -> 0 353 addx312 add 12 -1 -> 11 354 addx313 add 98 -1 -> 97 355 addx314 add 99 -1 -> 98 356 addx315 add 100 -1 -> 99 357 addx316 add 101 -1 -> 100 358 359 addx321 add -0.01 0.01 -> 0.00 360 addx322 add 0.00 0.01 -> 0.01 361 addx323 add 0.01 0.01 -> 0.02 362 addx324 add 0.12 0.01 -> 0.13 363 addx325 add 0.98 0.01 -> 0.99 364 addx326 add 0.99 0.01 -> 1.00 365 addx327 add 1.00 0.01 -> 1.01 366 addx328 add 1.01 0.01 -> 1.02 367 addx329 add -0.01 -0.01 -> -0.02 368 addx330 add 0.00 -0.01 -> -0.01 369 addx331 add 0.01 -0.01 -> 0.00 370 addx332 add 0.12 -0.01 -> 0.11 371 addx333 add 0.98 -0.01 -> 0.97 372 addx334 add 0.99 -0.01 -> 0.98 373 addx335 add 1.00 -0.01 -> 0.99 374 addx336 add 1.01 -0.01 -> 1.00 375 376 -- some more cases where adding 0 affects the coefficient 377 precision: 9 378 addx340 add 1E+3 0 -> 1000 379 addx341 add 1E+8 0 -> 100000000 380 addx342 add 1E+9 0 -> 1.00000000E+9 Rounded 381 addx343 add 1E+10 0 -> 1.00000000E+10 Rounded 382 -- which simply follow from these cases ... 383 addx344 add 1E+3 1 -> 1001 384 addx345 add 1E+8 1 -> 100000001 385 addx346 add 1E+9 1 -> 1.00000000E+9 Inexact Rounded 386 addx347 add 1E+10 1 -> 1.00000000E+10 Inexact Rounded 387 addx348 add 1E+3 7 -> 1007 388 addx349 add 1E+8 7 -> 100000007 389 addx350 add 1E+9 7 -> 1.00000001E+9 Inexact Rounded 390 addx351 add 1E+10 7 -> 1.00000000E+10 Inexact Rounded 391 392 -- tryzeros cases 393 precision: 7 394 rounding: half_up 395 maxExponent: 92 396 minexponent: -92 397 addx361 add 0E+50 10000E+1 -> 1.0000E+5 398 addx362 add 10000E+1 0E-50 -> 100000.0 Rounded 399 addx363 add 10000E+1 10000E-50 -> 100000.0 Rounded Inexact 400 addx364 add 9.999999E+92 -9.999999E+92 -> 0E+86 401 402 -- a curiosity from JSR 13 testing 403 rounding: half_down 404 precision: 10 405 addx370 add 99999999 81512 -> 100081511 406 precision: 6 407 addx371 add 99999999 81512 -> 1.00082E+8 Rounded Inexact 408 rounding: half_up 409 precision: 10 410 addx372 add 99999999 81512 -> 100081511 411 precision: 6 412 addx373 add 99999999 81512 -> 1.00082E+8 Rounded Inexact 413 rounding: half_even 414 precision: 10 415 addx374 add 99999999 81512 -> 100081511 416 precision: 6 417 addx375 add 99999999 81512 -> 1.00082E+8 Rounded Inexact 418 419 -- ulp replacement tests 420 precision: 9 421 maxexponent: 999999999 422 minexponent: -999999999 423 addx400 add 1 77e-7 -> 1.0000077 424 addx401 add 1 77e-8 -> 1.00000077 425 addx402 add 1 77e-9 -> 1.00000008 Inexact Rounded 426 addx403 add 1 77e-10 -> 1.00000001 Inexact Rounded 427 addx404 add 1 77e-11 -> 1.00000000 Inexact Rounded 428 addx405 add 1 77e-12 -> 1.00000000 Inexact Rounded 429 addx406 add 1 77e-999 -> 1.00000000 Inexact Rounded 430 addx407 add 1 77e-9999999 -> 1.00000000 Inexact Rounded 431 432 addx410 add 10 77e-7 -> 10.0000077 433 addx411 add 10 77e-8 -> 10.0000008 Inexact Rounded 434 addx412 add 10 77e-9 -> 10.0000001 Inexact Rounded 435 addx413 add 10 77e-10 -> 10.0000000 Inexact Rounded 436 addx414 add 10 77e-11 -> 10.0000000 Inexact Rounded 437 addx415 add 10 77e-12 -> 10.0000000 Inexact Rounded 438 addx416 add 10 77e-999 -> 10.0000000 Inexact Rounded 439 addx417 add 10 77e-9999999 -> 10.0000000 Inexact Rounded 440 441 addx420 add 77e-7 1 -> 1.0000077 442 addx421 add 77e-8 1 -> 1.00000077 443 addx422 add 77e-9 1 -> 1.00000008 Inexact Rounded 444 addx423 add 77e-10 1 -> 1.00000001 Inexact Rounded 445 addx424 add 77e-11 1 -> 1.00000000 Inexact Rounded 446 addx425 add 77e-12 1 -> 1.00000000 Inexact Rounded 447 addx426 add 77e-999 1 -> 1.00000000 Inexact Rounded 448 addx427 add 77e-9999999 1 -> 1.00000000 Inexact Rounded 449 450 addx430 add 77e-7 10 -> 10.0000077 451 addx431 add 77e-8 10 -> 10.0000008 Inexact Rounded 452 addx432 add 77e-9 10 -> 10.0000001 Inexact Rounded 453 addx433 add 77e-10 10 -> 10.0000000 Inexact Rounded 454 addx434 add 77e-11 10 -> 10.0000000 Inexact Rounded 455 addx435 add 77e-12 10 -> 10.0000000 Inexact Rounded 456 addx436 add 77e-999 10 -> 10.0000000 Inexact Rounded 457 addx437 add 77e-9999999 10 -> 10.0000000 Inexact Rounded 458 459 -- negative ulps 460 addx440 add 1 -77e-7 -> 0.9999923 461 addx441 add 1 -77e-8 -> 0.99999923 462 addx442 add 1 -77e-9 -> 0.999999923 463 addx443 add 1 -77e-10 -> 0.999999992 Inexact Rounded 464 addx444 add 1 -77e-11 -> 0.999999999 Inexact Rounded 465 addx445 add 1 -77e-12 -> 1.00000000 Inexact Rounded 466 addx446 add 1 -77e-999 -> 1.00000000 Inexact Rounded 467 addx447 add 1 -77e-9999999 -> 1.00000000 Inexact Rounded 468 469 addx450 add 10 -77e-7 -> 9.9999923 470 addx451 add 10 -77e-8 -> 9.99999923 471 addx452 add 10 -77e-9 -> 9.99999992 Inexact Rounded 472 addx453 add 10 -77e-10 -> 9.99999999 Inexact Rounded 473 addx454 add 10 -77e-11 -> 10.0000000 Inexact Rounded 474 addx455 add 10 -77e-12 -> 10.0000000 Inexact Rounded 475 addx456 add 10 -77e-999 -> 10.0000000 Inexact Rounded 476 addx457 add 10 -77e-9999999 -> 10.0000000 Inexact Rounded 477 478 addx460 add -77e-7 1 -> 0.9999923 479 addx461 add -77e-8 1 -> 0.99999923 480 addx462 add -77e-9 1 -> 0.999999923 481 addx463 add -77e-10 1 -> 0.999999992 Inexact Rounded 482 addx464 add -77e-11 1 -> 0.999999999 Inexact Rounded 483 addx465 add -77e-12 1 -> 1.00000000 Inexact Rounded 484 addx466 add -77e-999 1 -> 1.00000000 Inexact Rounded 485 addx467 add -77e-9999999 1 -> 1.00000000 Inexact Rounded 486 487 addx470 add -77e-7 10 -> 9.9999923 488 addx471 add -77e-8 10 -> 9.99999923 489 addx472 add -77e-9 10 -> 9.99999992 Inexact Rounded 490 addx473 add -77e-10 10 -> 9.99999999 Inexact Rounded 491 addx474 add -77e-11 10 -> 10.0000000 Inexact Rounded 492 addx475 add -77e-12 10 -> 10.0000000 Inexact Rounded 493 addx476 add -77e-999 10 -> 10.0000000 Inexact Rounded 494 addx477 add -77e-9999999 10 -> 10.0000000 Inexact Rounded 495 496 -- negative ulps 497 addx480 add -1 77e-7 -> -0.9999923 498 addx481 add -1 77e-8 -> -0.99999923 499 addx482 add -1 77e-9 -> -0.999999923 500 addx483 add -1 77e-10 -> -0.999999992 Inexact Rounded 501 addx484 add -1 77e-11 -> -0.999999999 Inexact Rounded 502 addx485 add -1 77e-12 -> -1.00000000 Inexact Rounded 503 addx486 add -1 77e-999 -> -1.00000000 Inexact Rounded 504 addx487 add -1 77e-9999999 -> -1.00000000 Inexact Rounded 505 506 addx490 add -10 77e-7 -> -9.9999923 507 addx491 add -10 77e-8 -> -9.99999923 508 addx492 add -10 77e-9 -> -9.99999992 Inexact Rounded 509 addx493 add -10 77e-10 -> -9.99999999 Inexact Rounded 510 addx494 add -10 77e-11 -> -10.0000000 Inexact Rounded 511 addx495 add -10 77e-12 -> -10.0000000 Inexact Rounded 512 addx496 add -10 77e-999 -> -10.0000000 Inexact Rounded 513 addx497 add -10 77e-9999999 -> -10.0000000 Inexact Rounded 514 515 addx500 add 77e-7 -1 -> -0.9999923 516 addx501 add 77e-8 -1 -> -0.99999923 517 addx502 add 77e-9 -1 -> -0.999999923 518 addx503 add 77e-10 -1 -> -0.999999992 Inexact Rounded 519 addx504 add 77e-11 -1 -> -0.999999999 Inexact Rounded 520 addx505 add 77e-12 -1 -> -1.00000000 Inexact Rounded 521 addx506 add 77e-999 -1 -> -1.00000000 Inexact Rounded 522 addx507 add 77e-9999999 -1 -> -1.00000000 Inexact Rounded 523 524 addx510 add 77e-7 -10 -> -9.9999923 525 addx511 add 77e-8 -10 -> -9.99999923 526 addx512 add 77e-9 -10 -> -9.99999992 Inexact Rounded 527 addx513 add 77e-10 -10 -> -9.99999999 Inexact Rounded 528 addx514 add 77e-11 -10 -> -10.0000000 Inexact Rounded 529 addx515 add 77e-12 -10 -> -10.0000000 Inexact Rounded 530 addx516 add 77e-999 -10 -> -10.0000000 Inexact Rounded 531 addx517 add 77e-9999999 -10 -> -10.0000000 Inexact Rounded 532 533 534 -- long operands 535 maxexponent: 999 536 minexponent: -999 537 precision: 9 538 addx521 add 12345678000 0 -> 1.23456780E+10 Rounded 539 addx522 add 0 12345678000 -> 1.23456780E+10 Rounded 540 addx523 add 1234567800 0 -> 1.23456780E+9 Rounded 541 addx524 add 0 1234567800 -> 1.23456780E+9 Rounded 542 addx525 add 1234567890 0 -> 1.23456789E+9 Rounded 543 addx526 add 0 1234567890 -> 1.23456789E+9 Rounded 544 addx527 add 1234567891 0 -> 1.23456789E+9 Inexact Rounded 545 addx528 add 0 1234567891 -> 1.23456789E+9 Inexact Rounded 546 addx529 add 12345678901 0 -> 1.23456789E+10 Inexact Rounded 547 addx530 add 0 12345678901 -> 1.23456789E+10 Inexact Rounded 548 addx531 add 1234567896 0 -> 1.23456790E+9 Inexact Rounded 549 addx532 add 0 1234567896 -> 1.23456790E+9 Inexact Rounded 550 551 precision: 15 552 -- still checking 553 addx541 add 12345678000 0 -> 12345678000 554 addx542 add 0 12345678000 -> 12345678000 555 addx543 add 1234567800 0 -> 1234567800 556 addx544 add 0 1234567800 -> 1234567800 557 addx545 add 1234567890 0 -> 1234567890 558 addx546 add 0 1234567890 -> 1234567890 559 addx547 add 1234567891 0 -> 1234567891 560 addx548 add 0 1234567891 -> 1234567891 561 addx549 add 12345678901 0 -> 12345678901 562 addx550 add 0 12345678901 -> 12345678901 563 addx551 add 1234567896 0 -> 1234567896 564 addx552 add 0 1234567896 -> 1234567896 565 566 -- verify a query 567 precision: 16 568 maxExponent: +394 569 minExponent: -393 570 rounding: down 571 addx561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded 572 addx562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded 573 -- and using decimal64 bounds (see also ddadd.decTest) 574 precision: 16 575 maxExponent: +384 576 minExponent: -383 577 rounding: down 578 addx563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded 579 addx564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded 580 581 582 -- some more residue effects with extreme rounding 583 precision: 9 584 rounding: half_up 585 addx601 add 123456789 0.000001 -> 123456789 Inexact Rounded 586 rounding: half_even 587 addx602 add 123456789 0.000001 -> 123456789 Inexact Rounded 588 rounding: half_down 589 addx603 add 123456789 0.000001 -> 123456789 Inexact Rounded 590 rounding: floor 591 addx604 add 123456789 0.000001 -> 123456789 Inexact Rounded 592 rounding: ceiling 593 addx605 add 123456789 0.000001 -> 123456790 Inexact Rounded 594 rounding: up 595 addx606 add 123456789 0.000001 -> 123456790 Inexact Rounded 596 rounding: down 597 addx607 add 123456789 0.000001 -> 123456789 Inexact Rounded 598 599 rounding: half_up 600 addx611 add 123456789 -0.000001 -> 123456789 Inexact Rounded 601 rounding: half_even 602 addx612 add 123456789 -0.000001 -> 123456789 Inexact Rounded 603 rounding: half_down 604 addx613 add 123456789 -0.000001 -> 123456789 Inexact Rounded 605 rounding: floor 606 addx614 add 123456789 -0.000001 -> 123456788 Inexact Rounded 607 rounding: ceiling 608 addx615 add 123456789 -0.000001 -> 123456789 Inexact Rounded 609 rounding: up 610 addx616 add 123456789 -0.000001 -> 123456789 Inexact Rounded 611 rounding: down 612 addx617 add 123456789 -0.000001 -> 123456788 Inexact Rounded 613 614 rounding: half_up 615 addx621 add 123456789 0.499999 -> 123456789 Inexact Rounded 616 rounding: half_even 617 addx622 add 123456789 0.499999 -> 123456789 Inexact Rounded 618 rounding: half_down 619 addx623 add 123456789 0.499999 -> 123456789 Inexact Rounded 620 rounding: floor 621 addx624 add 123456789 0.499999 -> 123456789 Inexact Rounded 622 rounding: ceiling 623 addx625 add 123456789 0.499999 -> 123456790 Inexact Rounded 624 rounding: up 625 addx626 add 123456789 0.499999 -> 123456790 Inexact Rounded 626 rounding: down 627 addx627 add 123456789 0.499999 -> 123456789 Inexact Rounded 628 629 rounding: half_up 630 addx631 add 123456789 -0.499999 -> 123456789 Inexact Rounded 631 rounding: half_even 632 addx632 add 123456789 -0.499999 -> 123456789 Inexact Rounded 633 rounding: half_down 634 addx633 add 123456789 -0.499999 -> 123456789 Inexact Rounded 635 rounding: floor 636 addx634 add 123456789 -0.499999 -> 123456788 Inexact Rounded 637 rounding: ceiling 638 addx635 add 123456789 -0.499999 -> 123456789 Inexact Rounded 639 rounding: up 640 addx636 add 123456789 -0.499999 -> 123456789 Inexact Rounded 641 rounding: down 642 addx637 add 123456789 -0.499999 -> 123456788 Inexact Rounded 643 644 rounding: half_up 645 addx641 add 123456789 0.500001 -> 123456790 Inexact Rounded 646 rounding: half_even 647 addx642 add 123456789 0.500001 -> 123456790 Inexact Rounded 648 rounding: half_down 649 addx643 add 123456789 0.500001 -> 123456790 Inexact Rounded 650 rounding: floor 651 addx644 add 123456789 0.500001 -> 123456789 Inexact Rounded 652 rounding: ceiling 653 addx645 add 123456789 0.500001 -> 123456790 Inexact Rounded 654 rounding: up 655 addx646 add 123456789 0.500001 -> 123456790 Inexact Rounded 656 rounding: down 657 addx647 add 123456789 0.500001 -> 123456789 Inexact Rounded 658 659 rounding: half_up 660 addx651 add 123456789 -0.500001 -> 123456788 Inexact Rounded 661 rounding: half_even 662 addx652 add 123456789 -0.500001 -> 123456788 Inexact Rounded 663 rounding: half_down 664 addx653 add 123456789 -0.500001 -> 123456788 Inexact Rounded 665 rounding: floor 666 addx654 add 123456789 -0.500001 -> 123456788 Inexact Rounded 667 rounding: ceiling 668 addx655 add 123456789 -0.500001 -> 123456789 Inexact Rounded 669 rounding: up 670 addx656 add 123456789 -0.500001 -> 123456789 Inexact Rounded 671 rounding: down 672 addx657 add 123456789 -0.500001 -> 123456788 Inexact Rounded 673 674 -- long operand triangle 675 rounding: half_up 676 precision: 37 677 addx660 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114834538 678 precision: 36 679 addx661 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483454 Inexact Rounded 680 precision: 35 681 addx662 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148345 Inexact Rounded 682 precision: 34 683 addx663 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114835 Inexact Rounded 684 precision: 33 685 addx664 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483 Inexact Rounded 686 precision: 32 687 addx665 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148 Inexact Rounded 688 precision: 31 689 addx666 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337115 Inexact Rounded 690 precision: 30 691 addx667 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711 Inexact Rounded 692 precision: 29 693 addx668 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371 Inexact Rounded 694 precision: 28 695 addx669 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337 Inexact Rounded 696 precision: 27 697 addx670 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892234 Inexact Rounded 698 precision: 26 699 addx671 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223 Inexact Rounded 700 precision: 25 701 addx672 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922 Inexact Rounded 702 precision: 24 703 addx673 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892 Inexact Rounded 704 precision: 23 705 addx674 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389 Inexact Rounded 706 precision: 22 707 addx675 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023639 Inexact Rounded 708 precision: 21 709 addx676 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102364 Inexact Rounded 710 precision: 20 711 addx677 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236 Inexact Rounded 712 precision: 19 713 addx678 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211024 Inexact Rounded 714 precision: 18 715 addx679 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102 Inexact Rounded 716 precision: 17 717 addx680 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110 Inexact Rounded 718 precision: 16 719 addx681 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211 Inexact Rounded 720 precision: 15 721 addx682 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221 Inexact Rounded 722 precision: 14 723 addx683 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422 Inexact Rounded 724 precision: 13 725 addx684 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42 Inexact Rounded 726 precision: 12 727 addx685 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4 Inexact Rounded 728 precision: 11 729 addx686 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166 Inexact Rounded 730 precision: 10 731 addx687 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117417E+10 Inexact Rounded 732 precision: 9 733 addx688 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84711742E+10 Inexact Rounded 734 precision: 8 735 addx689 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471174E+10 Inexact Rounded 736 precision: 7 737 addx690 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117E+10 Inexact Rounded 738 precision: 6 739 addx691 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84712E+10 Inexact Rounded 740 precision: 5 741 addx692 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471E+10 Inexact Rounded 742 precision: 4 743 addx693 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847E+10 Inexact Rounded 744 precision: 3 745 addx694 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.85E+10 Inexact Rounded 746 precision: 2 747 addx695 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8E+10 Inexact Rounded 748 precision: 1 749 addx696 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 1E+11 Inexact Rounded 750 751 -- more zeros, etc. 752 rounding: half_up 753 precision: 9 754 755 addx701 add 5.00 1.00E-3 -> 5.00100 756 addx702 add 00.00 0.000 -> 0.000 757 addx703 add 00.00 0E-3 -> 0.000 758 addx704 add 0E-3 00.00 -> 0.000 759 760 addx710 add 0E+3 00.00 -> 0.00 761 addx711 add 0E+3 00.0 -> 0.0 762 addx712 add 0E+3 00. -> 0 763 addx713 add 0E+3 00.E+1 -> 0E+1 764 addx714 add 0E+3 00.E+2 -> 0E+2 765 addx715 add 0E+3 00.E+3 -> 0E+3 766 addx716 add 0E+3 00.E+4 -> 0E+3 767 addx717 add 0E+3 00.E+5 -> 0E+3 768 addx718 add 0E+3 -00.0 -> 0.0 769 addx719 add 0E+3 -00. -> 0 770 addx731 add 0E+3 -00.E+1 -> 0E+1 771 772 addx720 add 00.00 0E+3 -> 0.00 773 addx721 add 00.0 0E+3 -> 0.0 774 addx722 add 00. 0E+3 -> 0 775 addx723 add 00.E+1 0E+3 -> 0E+1 776 addx724 add 00.E+2 0E+3 -> 0E+2 777 addx725 add 00.E+3 0E+3 -> 0E+3 778 addx726 add 00.E+4 0E+3 -> 0E+3 779 addx727 add 00.E+5 0E+3 -> 0E+3 780 addx728 add -00.00 0E+3 -> 0.00 781 addx729 add -00.0 0E+3 -> 0.0 782 addx730 add -00. 0E+3 -> 0 783 784 addx732 add 0 0 -> 0 785 addx733 add 0 -0 -> 0 786 addx734 add -0 0 -> 0 787 addx735 add -0 -0 -> -0 -- IEEE 854 special case 788 789 addx736 add 1 -1 -> 0 790 addx737 add -1 -1 -> -2 791 addx738 add 1 1 -> 2 792 addx739 add -1 1 -> 0 793 794 addx741 add 0 -1 -> -1 795 addx742 add -0 -1 -> -1 796 addx743 add 0 1 -> 1 797 addx744 add -0 1 -> 1 798 addx745 add -1 0 -> -1 799 addx746 add -1 -0 -> -1 800 addx747 add 1 0 -> 1 801 addx748 add 1 -0 -> 1 802 803 addx751 add 0.0 -1 -> -1.0 804 addx752 add -0.0 -1 -> -1.0 805 addx753 add 0.0 1 -> 1.0 806 addx754 add -0.0 1 -> 1.0 807 addx755 add -1.0 0 -> -1.0 808 addx756 add -1.0 -0 -> -1.0 809 addx757 add 1.0 0 -> 1.0 810 addx758 add 1.0 -0 -> 1.0 811 812 addx761 add 0 -1.0 -> -1.0 813 addx762 add -0 -1.0 -> -1.0 814 addx763 add 0 1.0 -> 1.0 815 addx764 add -0 1.0 -> 1.0 816 addx765 add -1 0.0 -> -1.0 817 addx766 add -1 -0.0 -> -1.0 818 addx767 add 1 0.0 -> 1.0 819 addx768 add 1 -0.0 -> 1.0 820 821 addx771 add 0.0 -1.0 -> -1.0 822 addx772 add -0.0 -1.0 -> -1.0 823 addx773 add 0.0 1.0 -> 1.0 824 addx774 add -0.0 1.0 -> 1.0 825 addx775 add -1.0 0.0 -> -1.0 826 addx776 add -1.0 -0.0 -> -1.0 827 addx777 add 1.0 0.0 -> 1.0 828 addx778 add 1.0 -0.0 -> 1.0 829 830 -- Specials 831 addx780 add -Inf -Inf -> -Infinity 832 addx781 add -Inf -1000 -> -Infinity 833 addx782 add -Inf -1 -> -Infinity 834 addx783 add -Inf -0 -> -Infinity 835 addx784 add -Inf 0 -> -Infinity 836 addx785 add -Inf 1 -> -Infinity 837 addx786 add -Inf 1000 -> -Infinity 838 addx787 add -1000 -Inf -> -Infinity 839 addx788 add -Inf -Inf -> -Infinity 840 addx789 add -1 -Inf -> -Infinity 841 addx790 add -0 -Inf -> -Infinity 842 addx791 add 0 -Inf -> -Infinity 843 addx792 add 1 -Inf -> -Infinity 844 addx793 add 1000 -Inf -> -Infinity 845 addx794 add Inf -Inf -> NaN Invalid_operation 846 847 addx800 add Inf -Inf -> NaN Invalid_operation 848 addx801 add Inf -1000 -> Infinity 849 addx802 add Inf -1 -> Infinity 850 addx803 add Inf -0 -> Infinity 851 addx804 add Inf 0 -> Infinity 852 addx805 add Inf 1 -> Infinity 853 addx806 add Inf 1000 -> Infinity 854 addx807 add Inf Inf -> Infinity 855 addx808 add -1000 Inf -> Infinity 856 addx809 add -Inf Inf -> NaN Invalid_operation 857 addx810 add -1 Inf -> Infinity 858 addx811 add -0 Inf -> Infinity 859 addx812 add 0 Inf -> Infinity 860 addx813 add 1 Inf -> Infinity 861 addx814 add 1000 Inf -> Infinity 862 addx815 add Inf Inf -> Infinity 863 864 addx821 add NaN -Inf -> NaN 865 addx822 add NaN -1000 -> NaN 866 addx823 add NaN -1 -> NaN 867 addx824 add NaN -0 -> NaN 868 addx825 add NaN 0 -> NaN 869 addx826 add NaN 1 -> NaN 870 addx827 add NaN 1000 -> NaN 871 addx828 add NaN Inf -> NaN 872 addx829 add NaN NaN -> NaN 873 addx830 add -Inf NaN -> NaN 874 addx831 add -1000 NaN -> NaN 875 addx832 add -1 NaN -> NaN 876 addx833 add -0 NaN -> NaN 877 addx834 add 0 NaN -> NaN 878 addx835 add 1 NaN -> NaN 879 addx836 add 1000 NaN -> NaN 880 addx837 add Inf NaN -> NaN 881 882 addx841 add sNaN -Inf -> NaN Invalid_operation 883 addx842 add sNaN -1000 -> NaN Invalid_operation 884 addx843 add sNaN -1 -> NaN Invalid_operation 885 addx844 add sNaN -0 -> NaN Invalid_operation 886 addx845 add sNaN 0 -> NaN Invalid_operation 887 addx846 add sNaN 1 -> NaN Invalid_operation 888 addx847 add sNaN 1000 -> NaN Invalid_operation 889 addx848 add sNaN NaN -> NaN Invalid_operation 890 addx849 add sNaN sNaN -> NaN Invalid_operation 891 addx850 add NaN sNaN -> NaN Invalid_operation 892 addx851 add -Inf sNaN -> NaN Invalid_operation 893 addx852 add -1000 sNaN -> NaN Invalid_operation 894 addx853 add -1 sNaN -> NaN Invalid_operation 895 addx854 add -0 sNaN -> NaN Invalid_operation 896 addx855 add 0 sNaN -> NaN Invalid_operation 897 addx856 add 1 sNaN -> NaN Invalid_operation 898 addx857 add 1000 sNaN -> NaN Invalid_operation 899 addx858 add Inf sNaN -> NaN Invalid_operation 900 addx859 add NaN sNaN -> NaN Invalid_operation 901 902 -- propagating NaNs 903 addx861 add NaN1 -Inf -> NaN1 904 addx862 add +NaN2 -1000 -> NaN2 905 addx863 add NaN3 1000 -> NaN3 906 addx864 add NaN4 Inf -> NaN4 907 addx865 add NaN5 +NaN6 -> NaN5 908 addx866 add -Inf NaN7 -> NaN7 909 addx867 add -1000 NaN8 -> NaN8 910 addx868 add 1000 NaN9 -> NaN9 911 addx869 add Inf +NaN10 -> NaN10 912 addx871 add sNaN11 -Inf -> NaN11 Invalid_operation 913 addx872 add sNaN12 -1000 -> NaN12 Invalid_operation 914 addx873 add sNaN13 1000 -> NaN13 Invalid_operation 915 addx874 add sNaN14 NaN17 -> NaN14 Invalid_operation 916 addx875 add sNaN15 sNaN18 -> NaN15 Invalid_operation 917 addx876 add NaN16 sNaN19 -> NaN19 Invalid_operation 918 addx877 add -Inf +sNaN20 -> NaN20 Invalid_operation 919 addx878 add -1000 sNaN21 -> NaN21 Invalid_operation 920 addx879 add 1000 sNaN22 -> NaN22 Invalid_operation 921 addx880 add Inf sNaN23 -> NaN23 Invalid_operation 922 addx881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation 923 addx882 add -NaN26 NaN28 -> -NaN26 924 addx883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation 925 addx884 add 1000 -NaN30 -> -NaN30 926 addx885 add 1000 -sNaN31 -> -NaN31 Invalid_operation 927 928 -- overflow, underflow and subnormal tests 929 maxexponent: 999999999 930 minexponent: -999999999 931 precision: 9 932 addx890 add 1E+999999999 9E+999999999 -> Infinity Overflow Inexact Rounded 933 addx891 add 9E+999999999 1E+999999999 -> Infinity Overflow Inexact Rounded 934 addx892 add -1.1E-999999999 1E-999999999 -> -1E-1000000000 Subnormal 935 addx893 add 1E-999999999 -1.1e-999999999 -> -1E-1000000000 Subnormal 936 addx894 add -1.0001E-999999999 1E-999999999 -> -1E-1000000003 Subnormal 937 addx895 add 1E-999999999 -1.0001e-999999999 -> -1E-1000000003 Subnormal 938 addx896 add -1E+999999999 -9E+999999999 -> -Infinity Overflow Inexact Rounded 939 addx897 add -9E+999999999 -1E+999999999 -> -Infinity Overflow Inexact Rounded 940 addx898 add +1.1E-999999999 -1E-999999999 -> 1E-1000000000 Subnormal 941 addx899 add -1E-999999999 +1.1e-999999999 -> 1E-1000000000 Subnormal 942 addx900 add +1.0001E-999999999 -1E-999999999 -> 1E-1000000003 Subnormal 943 addx901 add -1E-999999999 +1.0001e-999999999 -> 1E-1000000003 Subnormal 944 addx902 add -1E+999999999 +9E+999999999 -> 8E+999999999 945 addx903 add -9E+999999999 +1E+999999999 -> -8E+999999999 946 947 precision: 3 948 addx904 add 0 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded 949 addx905 add -9.999E+999999999 0 -> -Infinity Inexact Overflow Rounded 950 addx906 add 0 9.999E+999999999 -> Infinity Inexact Overflow Rounded 951 addx907 add 9.999E+999999999 0 -> Infinity Inexact Overflow Rounded 952 953 precision: 3 954 maxexponent: 999 955 minexponent: -999 956 addx910 add 1.00E-999 0 -> 1.00E-999 957 addx911 add 0.1E-999 0 -> 1E-1000 Subnormal 958 addx912 add 0.10E-999 0 -> 1.0E-1000 Subnormal 959 addx913 add 0.100E-999 0 -> 1.0E-1000 Subnormal Rounded 960 addx914 add 0.01E-999 0 -> 1E-1001 Subnormal 961 -- next is rounded to Nmin 962 addx915 add 0.999E-999 0 -> 1.00E-999 Inexact Rounded Subnormal Underflow 963 addx916 add 0.099E-999 0 -> 1.0E-1000 Inexact Rounded Subnormal Underflow 964 addx917 add 0.009E-999 0 -> 1E-1001 Inexact Rounded Subnormal Underflow 965 addx918 add 0.001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped 966 addx919 add 0.0009E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped 967 addx920 add 0.0001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped 968 969 addx930 add -1.00E-999 0 -> -1.00E-999 970 addx931 add -0.1E-999 0 -> -1E-1000 Subnormal 971 addx932 add -0.10E-999 0 -> -1.0E-1000 Subnormal 972 addx933 add -0.100E-999 0 -> -1.0E-1000 Subnormal Rounded 973 addx934 add -0.01E-999 0 -> -1E-1001 Subnormal 974 -- next is rounded to Nmin 975 addx935 add -0.999E-999 0 -> -1.00E-999 Inexact Rounded Subnormal Underflow 976 addx936 add -0.099E-999 0 -> -1.0E-1000 Inexact Rounded Subnormal Underflow 977 addx937 add -0.009E-999 0 -> -1E-1001 Inexact Rounded Subnormal Underflow 978 addx938 add -0.001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped 979 addx939 add -0.0009E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped 980 addx940 add -0.0001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped 981 982 -- some non-zero subnormal adds 983 addx950 add 1.00E-999 0.1E-999 -> 1.10E-999 984 addx951 add 0.1E-999 0.1E-999 -> 2E-1000 Subnormal 985 addx952 add 0.10E-999 0.1E-999 -> 2.0E-1000 Subnormal 986 addx953 add 0.100E-999 0.1E-999 -> 2.0E-1000 Subnormal Rounded 987 addx954 add 0.01E-999 0.1E-999 -> 1.1E-1000 Subnormal 988 addx955 add 0.999E-999 0.1E-999 -> 1.10E-999 Inexact Rounded 989 addx956 add 0.099E-999 0.1E-999 -> 2.0E-1000 Inexact Rounded Subnormal Underflow 990 addx957 add 0.009E-999 0.1E-999 -> 1.1E-1000 Inexact Rounded Subnormal Underflow 991 addx958 add 0.001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow 992 addx959 add 0.0009E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow 993 addx960 add 0.0001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow 994 -- negatives... 995 addx961 add 1.00E-999 -0.1E-999 -> 9.0E-1000 Subnormal 996 addx962 add 0.1E-999 -0.1E-999 -> 0E-1000 997 addx963 add 0.10E-999 -0.1E-999 -> 0E-1001 998 addx964 add 0.100E-999 -0.1E-999 -> 0E-1001 Clamped 999 addx965 add 0.01E-999 -0.1E-999 -> -9E-1001 Subnormal 1000 addx966 add 0.999E-999 -0.1E-999 -> 9.0E-1000 Inexact Rounded Subnormal Underflow 1001 addx967 add 0.099E-999 -0.1E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped 1002 addx968 add 0.009E-999 -0.1E-999 -> -9E-1001 Inexact Rounded Subnormal Underflow 1003 addx969 add 0.001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow 1004 addx970 add 0.0009E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow 1005 addx971 add 0.0001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow 1006 1007 -- some 'real' numbers 1008 maxExponent: 384 1009 minExponent: -383 1010 precision: 8 1011 addx566 add 99999061735E-394 0E-394 -> 9.999906E-384 Inexact Rounded Underflow Subnormal 1012 precision: 7 1013 addx567 add 99999061735E-394 0E-394 -> 9.99991E-384 Inexact Rounded Underflow Subnormal 1014 precision: 6 1015 addx568 add 99999061735E-394 0E-394 -> 9.9999E-384 Inexact Rounded Underflow Subnormal 1016 1017 -- now the case where we can get underflow but the result is normal 1018 -- [note this can't happen if the operands are also bounded, as we 1019 -- cannot represent 1E-399, for example] 1020 precision: 16 1021 rounding: half_up 1022 maxExponent: 384 1023 minExponent: -383 1024 1025 addx571 add 1E-383 0 -> 1E-383 1026 addx572 add 1E-384 0 -> 1E-384 Subnormal 1027 addx573 add 1E-383 1E-384 -> 1.1E-383 1028 addx574 subtract 1E-383 1E-384 -> 9E-384 Subnormal 1029 1030 -- Here we explore the boundary of rounding a subnormal to Nmin 1031 addx575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal 1032 addx576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal 1033 addx577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 1034 addx578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 1035 addx579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 1036 addx580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 1037 1038 -- check overflow edge case 1039 precision: 7 1040 rounding: half_up 1041 maxExponent: 96 1042 minExponent: -95 1043 addx972 apply 9.999999E+96 -> 9.999999E+96 1044 addx973 add 9.999999E+96 1 -> 9.999999E+96 Inexact Rounded 1045 addx974 add 9999999E+90 1 -> 9.999999E+96 Inexact Rounded 1046 addx975 add 9999999E+90 1E+90 -> Infinity Overflow Inexact Rounded 1047 addx976 add 9999999E+90 9E+89 -> Infinity Overflow Inexact Rounded 1048 addx977 add 9999999E+90 8E+89 -> Infinity Overflow Inexact Rounded 1049 addx978 add 9999999E+90 7E+89 -> Infinity Overflow Inexact Rounded 1050 addx979 add 9999999E+90 6E+89 -> Infinity Overflow Inexact Rounded 1051 addx980 add 9999999E+90 5E+89 -> Infinity Overflow Inexact Rounded 1052 addx981 add 9999999E+90 4E+89 -> 9.999999E+96 Inexact Rounded 1053 addx982 add 9999999E+90 3E+89 -> 9.999999E+96 Inexact Rounded 1054 addx983 add 9999999E+90 2E+89 -> 9.999999E+96 Inexact Rounded 1055 addx984 add 9999999E+90 1E+89 -> 9.999999E+96 Inexact Rounded 1056 1057 addx985 apply -9.999999E+96 -> -9.999999E+96 1058 addx986 add -9.999999E+96 -1 -> -9.999999E+96 Inexact Rounded 1059 addx987 add -9999999E+90 -1 -> -9.999999E+96 Inexact Rounded 1060 addx988 add -9999999E+90 -1E+90 -> -Infinity Overflow Inexact Rounded 1061 addx989 add -9999999E+90 -9E+89 -> -Infinity Overflow Inexact Rounded 1062 addx990 add -9999999E+90 -8E+89 -> -Infinity Overflow Inexact Rounded 1063 addx991 add -9999999E+90 -7E+89 -> -Infinity Overflow Inexact Rounded 1064 addx992 add -9999999E+90 -6E+89 -> -Infinity Overflow Inexact Rounded 1065 addx993 add -9999999E+90 -5E+89 -> -Infinity Overflow Inexact Rounded 1066 addx994 add -9999999E+90 -4E+89 -> -9.999999E+96 Inexact Rounded 1067 addx995 add -9999999E+90 -3E+89 -> -9.999999E+96 Inexact Rounded 1068 addx996 add -9999999E+90 -2E+89 -> -9.999999E+96 Inexact Rounded 1069 addx997 add -9999999E+90 -1E+89 -> -9.999999E+96 Inexact Rounded 1070 1071 -- check for double-rounded subnormals 1072 precision: 5 1073 maxexponent: 79 1074 minexponent: -79 1075 -- Add: lhs and rhs 0 1076 addx1001 add 1.52444E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1077 addx1002 add 1.52445E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1078 addx1003 add 1.52446E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1079 addx1004 add 0 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1080 addx1005 add 0 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1081 addx1006 add 0 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1082 1083 -- Add: lhs >> rhs and vice versa 1084 addx1011 add 1.52444E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1085 addx1012 add 1.52445E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1086 addx1013 add 1.52446E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1087 addx1014 add 1E-100 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1088 addx1015 add 1E-100 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1089 addx1016 add 1E-100 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow 1090 1091 -- Add: lhs + rhs addition carried out 1092 addx1021 add 1.52443E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1093 addx1022 add 1.52444E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1094 addx1023 add 1.52445E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1095 addx1024 add 1.00001E-80 1.52443E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1096 addx1025 add 1.00001E-80 1.52444E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1097 addx1026 add 1.00001E-80 1.52445E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow 1098 1099 -- And for round down full and subnormal results 1100 precision: 16 1101 maxExponent: +384 1102 minExponent: -383 1103 rounding: down 1104 1105 addx1100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact 1106 addx1101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact 1107 addx1103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact 1108 addx1104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact 1109 addx1105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact 1110 addx1106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact 1111 addx1107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact 1112 addx1108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact 1113 addx1109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact 1114 1115 rounding: ceiling 1116 addx1110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact 1117 addx1111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact 1118 addx1113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact 1119 addx1114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact 1120 addx1115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact 1121 addx1116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact 1122 addx1117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact 1123 addx1118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact 1124 addx1119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact 1125 addx1120 add +1e-383 -1e+2 -> -99.99999999999999 Rounded Inexact 1126 addx1121 add +1e-383 -1e+1 -> -9.999999999999999 Rounded Inexact 1127 addx1123 add +1e-383 -1 -> -0.9999999999999999 Rounded Inexact 1128 addx1124 add +1e-383 -1e-1 -> -0.09999999999999999 Rounded Inexact 1129 addx1125 add +1e-383 -1e-2 -> -0.009999999999999999 Rounded Inexact 1130 addx1126 add +1e-383 -1e-3 -> -0.0009999999999999999 Rounded Inexact 1131 addx1127 add +1e-383 -1e-4 -> -0.00009999999999999999 Rounded Inexact 1132 addx1128 add +1e-383 -1e-5 -> -0.000009999999999999999 Rounded Inexact 1133 addx1129 add +1e-383 -1e-6 -> -9.999999999999999E-7 Rounded Inexact 1134 1135 rounding: down 1136 precision: 7 1137 maxExponent: +96 1138 minExponent: -95 1139 addx1130 add 1 -1e-200 -> 0.9999999 Rounded Inexact 1140 -- subnormal boundary 1141 addx1131 add 1.000000E-94 -1e-200 -> 9.999999E-95 Rounded Inexact 1142 addx1132 add 1.000001E-95 -1e-200 -> 1.000000E-95 Rounded Inexact 1143 addx1133 add 1.000000E-95 -1e-200 -> 9.99999E-96 Rounded Inexact Subnormal Underflow 1144 addx1134 add 0.999999E-95 -1e-200 -> 9.99998E-96 Rounded Inexact Subnormal Underflow 1145 addx1135 add 0.001000E-95 -1e-200 -> 9.99E-99 Rounded Inexact Subnormal Underflow 1146 addx1136 add 0.000999E-95 -1e-200 -> 9.98E-99 Rounded Inexact Subnormal Underflow 1147 addx1137 add 1.000000E-95 -1e-101 -> 9.99999E-96 Subnormal 1148 addx1138 add 10000E-101 -1e-200 -> 9.999E-98 Subnormal Inexact Rounded Underflow 1149 addx1139 add 1000E-101 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow 1150 addx1140 add 100E-101 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow 1151 addx1141 add 10E-101 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow 1152 addx1142 add 1E-101 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1153 addx1143 add 0E-101 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped 1154 addx1144 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1155 1156 addx1151 add 10000E-102 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow 1157 addx1152 add 1000E-102 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow 1158 addx1153 add 100E-102 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow 1159 addx1154 add 10E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1160 addx1155 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1161 addx1156 add 0E-102 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped 1162 addx1157 add 1E-103 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1163 1164 addx1160 add 100E-105 -1e-101 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped 1165 addx1161 add 100E-105 -1e-201 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped 1166 1167 -- tests based on Gunnar Degnbol's edge case 1168 precision: 15 1169 rounding: half_up 1170 maxExponent: 384 1171 minexponent: -383 1172 1173 addx1200 add 1E15 -0.5 -> 1.00000000000000E+15 Inexact Rounded 1174 addx1201 add 1E15 -0.50 -> 1.00000000000000E+15 Inexact Rounded 1175 addx1210 add 1E15 -0.51 -> 999999999999999 Inexact Rounded 1176 addx1211 add 1E15 -0.501 -> 999999999999999 Inexact Rounded 1177 addx1212 add 1E15 -0.5001 -> 999999999999999 Inexact Rounded 1178 addx1213 add 1E15 -0.50001 -> 999999999999999 Inexact Rounded 1179 addx1214 add 1E15 -0.500001 -> 999999999999999 Inexact Rounded 1180 addx1215 add 1E15 -0.5000001 -> 999999999999999 Inexact Rounded 1181 addx1216 add 1E15 -0.50000001 -> 999999999999999 Inexact Rounded 1182 addx1217 add 1E15 -0.500000001 -> 999999999999999 Inexact Rounded 1183 addx1218 add 1E15 -0.5000000001 -> 999999999999999 Inexact Rounded 1184 addx1219 add 1E15 -0.50000000001 -> 999999999999999 Inexact Rounded 1185 addx1220 add 1E15 -0.500000000001 -> 999999999999999 Inexact Rounded 1186 addx1221 add 1E15 -0.5000000000001 -> 999999999999999 Inexact Rounded 1187 addx1222 add 1E15 -0.50000000000001 -> 999999999999999 Inexact Rounded 1188 addx1223 add 1E15 -0.500000000000001 -> 999999999999999 Inexact Rounded 1189 addx1224 add 1E15 -0.5000000000000001 -> 999999999999999 Inexact Rounded 1190 addx1225 add 1E15 -0.5000000000000000 -> 1.00000000000000E+15 Inexact Rounded 1191 addx1230 add 1E15 -5000000.000000001 -> 999999995000000 Inexact Rounded 1192 1193 precision: 16 1194 1195 addx1300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded 1196 addx1310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded 1197 addx1311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded 1198 addx1312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded 1199 addx1313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded 1200 addx1314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded 1201 addx1315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded 1202 addx1316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded 1203 addx1317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded 1204 addx1318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded 1205 addx1319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded 1206 addx1320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded 1207 addx1321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded 1208 addx1322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded 1209 addx1323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded 1210 addx1324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded 1211 addx1325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded 1212 addx1326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded 1213 addx1327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded 1214 addx1328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded 1215 addx1329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded 1216 addx1330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded 1217 addx1331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded 1218 addx1332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded 1219 addx1333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded 1220 addx1334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded 1221 addx1335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded 1222 addx1336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded 1223 addx1337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded 1224 addx1338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded 1225 addx1339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded 1226 1227 addx1340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded 1228 addx1341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded 1229 1230 addx1349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded 1231 addx1350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded 1232 addx1351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded 1233 addx1352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded 1234 addx1353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded 1235 addx1354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded 1236 addx1355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded 1237 addx1356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded 1238 addx1357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded 1239 addx1358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded 1240 addx1359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded 1241 addx1360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded 1242 addx1361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded 1243 addx1362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded 1244 addx1363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded 1245 addx1364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded 1246 addx1365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded 1247 addx1367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded 1248 addx1368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded 1249 addx1369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded 1250 addx1370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded 1251 addx1371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded 1252 addx1372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded 1253 addx1373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded 1254 addx1374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded 1255 addx1375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded 1256 addx1376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded 1257 addx1377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded 1258 addx1378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded 1259 addx1379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded 1260 addx1380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded 1261 addx1381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded 1262 addx1382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded 1263 addx1383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded 1264 addx1384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded 1265 addx1385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded 1266 addx1386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded 1267 addx1387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded 1268 addx1388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded 1269 addx1389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded 1270 addx1390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded 1271 addx1391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded 1272 addx1392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded 1273 addx1393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded 1274 addx1394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded 1275 addx1395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded 1276 addx1396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded 1277 1278 -- More GD edge cases, where difference between the unadjusted 1279 -- exponents is larger than the maximum precision and one side is 0 1280 precision: 15 1281 rounding: half_up 1282 maxExponent: 384 1283 minexponent: -383 1284 1285 addx1400 add 0 1.23456789012345 -> 1.23456789012345 1286 addx1401 add 0 1.23456789012345E-1 -> 0.123456789012345 1287 addx1402 add 0 1.23456789012345E-2 -> 0.0123456789012345 1288 addx1403 add 0 1.23456789012345E-3 -> 0.00123456789012345 1289 addx1404 add 0 1.23456789012345E-4 -> 0.000123456789012345 1290 addx1405 add 0 1.23456789012345E-5 -> 0.0000123456789012345 1291 addx1406 add 0 1.23456789012345E-6 -> 0.00000123456789012345 1292 addx1407 add 0 1.23456789012345E-7 -> 1.23456789012345E-7 1293 addx1408 add 0 1.23456789012345E-8 -> 1.23456789012345E-8 1294 addx1409 add 0 1.23456789012345E-9 -> 1.23456789012345E-9 1295 addx1410 add 0 1.23456789012345E-10 -> 1.23456789012345E-10 1296 addx1411 add 0 1.23456789012345E-11 -> 1.23456789012345E-11 1297 addx1412 add 0 1.23456789012345E-12 -> 1.23456789012345E-12 1298 addx1413 add 0 1.23456789012345E-13 -> 1.23456789012345E-13 1299 addx1414 add 0 1.23456789012345E-14 -> 1.23456789012345E-14 1300 addx1415 add 0 1.23456789012345E-15 -> 1.23456789012345E-15 1301 addx1416 add 0 1.23456789012345E-16 -> 1.23456789012345E-16 1302 addx1417 add 0 1.23456789012345E-17 -> 1.23456789012345E-17 1303 addx1418 add 0 1.23456789012345E-18 -> 1.23456789012345E-18 1304 addx1419 add 0 1.23456789012345E-19 -> 1.23456789012345E-19 1305 1306 -- same, precision 16.. 1307 precision: 16 1308 addx1420 add 0 1.123456789012345 -> 1.123456789012345 1309 addx1421 add 0 1.123456789012345E-1 -> 0.1123456789012345 1310 addx1422 add 0 1.123456789012345E-2 -> 0.01123456789012345 1311 addx1423 add 0 1.123456789012345E-3 -> 0.001123456789012345 1312 addx1424 add 0 1.123456789012345E-4 -> 0.0001123456789012345 1313 addx1425 add 0 1.123456789012345E-5 -> 0.00001123456789012345 1314 addx1426 add 0 1.123456789012345E-6 -> 0.000001123456789012345 1315 addx1427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7 1316 addx1428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8 1317 addx1429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9 1318 addx1430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10 1319 addx1431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11 1320 addx1432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12 1321 addx1433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13 1322 addx1434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14 1323 addx1435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15 1324 addx1436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16 1325 addx1437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17 1326 addx1438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18 1327 addx1439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19 1328 1329 -- same, reversed 0 1330 addx1440 add 1.123456789012345 0 -> 1.123456789012345 1331 addx1441 add 1.123456789012345E-1 0 -> 0.1123456789012345 1332 addx1442 add 1.123456789012345E-2 0 -> 0.01123456789012345 1333 addx1443 add 1.123456789012345E-3 0 -> 0.001123456789012345 1334 addx1444 add 1.123456789012345E-4 0 -> 0.0001123456789012345 1335 addx1445 add 1.123456789012345E-5 0 -> 0.00001123456789012345 1336 addx1446 add 1.123456789012345E-6 0 -> 0.000001123456789012345 1337 addx1447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7 1338 addx1448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8 1339 addx1449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9 1340 addx1450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10 1341 addx1451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11 1342 addx1452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12 1343 addx1453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13 1344 addx1454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14 1345 addx1455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15 1346 addx1456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16 1347 addx1457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17 1348 addx1458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18 1349 addx1459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19 1350 1351 -- same, Es on the 0 1352 addx1460 add 1.123456789012345 0E-0 -> 1.123456789012345 1353 addx1461 add 1.123456789012345 0E-1 -> 1.123456789012345 1354 addx1462 add 1.123456789012345 0E-2 -> 1.123456789012345 1355 addx1463 add 1.123456789012345 0E-3 -> 1.123456789012345 1356 addx1464 add 1.123456789012345 0E-4 -> 1.123456789012345 1357 addx1465 add 1.123456789012345 0E-5 -> 1.123456789012345 1358 addx1466 add 1.123456789012345 0E-6 -> 1.123456789012345 1359 addx1467 add 1.123456789012345 0E-7 -> 1.123456789012345 1360 addx1468 add 1.123456789012345 0E-8 -> 1.123456789012345 1361 addx1469 add 1.123456789012345 0E-9 -> 1.123456789012345 1362 addx1470 add 1.123456789012345 0E-10 -> 1.123456789012345 1363 addx1471 add 1.123456789012345 0E-11 -> 1.123456789012345 1364 addx1472 add 1.123456789012345 0E-12 -> 1.123456789012345 1365 addx1473 add 1.123456789012345 0E-13 -> 1.123456789012345 1366 addx1474 add 1.123456789012345 0E-14 -> 1.123456789012345 1367 addx1475 add 1.123456789012345 0E-15 -> 1.123456789012345 1368 -- next four flag Rounded because the 0 extends the result 1369 addx1476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded 1370 addx1477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded 1371 addx1478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded 1372 addx1479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded 1373 1374 -- sum of two opposite-sign operands is exactly 0 and floor => -0 1375 precision: 16 1376 maxExponent: 384 1377 minexponent: -383 1378 1379 rounding: half_up 1380 -- exact zeros from zeros 1381 addx1500 add 0 0E-19 -> 0E-19 1382 addx1501 add -0 0E-19 -> 0E-19 1383 addx1502 add 0 -0E-19 -> 0E-19 1384 addx1503 add -0 -0E-19 -> -0E-19 1385 addx1504 add 0E-400 0E-19 -> 0E-398 Clamped 1386 addx1505 add -0E-400 0E-19 -> 0E-398 Clamped 1387 addx1506 add 0E-400 -0E-19 -> 0E-398 Clamped 1388 addx1507 add -0E-400 -0E-19 -> -0E-398 Clamped 1389 -- inexact zeros 1390 addx1511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1391 addx1512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1392 addx1513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1393 addx1514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1394 -- some exact zeros from non-zeros 1395 addx1515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1396 addx1516 add -1E-401 1E-401 -> 0E-398 Clamped 1397 addx1517 add 1E-401 -1E-401 -> 0E-398 Clamped 1398 addx1518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1399 1400 rounding: half_down 1401 -- exact zeros from zeros 1402 addx1520 add 0 0E-19 -> 0E-19 1403 addx1521 add -0 0E-19 -> 0E-19 1404 addx1522 add 0 -0E-19 -> 0E-19 1405 addx1523 add -0 -0E-19 -> -0E-19 1406 addx1524 add 0E-400 0E-19 -> 0E-398 Clamped 1407 addx1525 add -0E-400 0E-19 -> 0E-398 Clamped 1408 addx1526 add 0E-400 -0E-19 -> 0E-398 Clamped 1409 addx1527 add -0E-400 -0E-19 -> -0E-398 Clamped 1410 -- inexact zeros 1411 addx1531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1412 addx1532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1413 addx1533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1414 addx1534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1415 -- some exact zeros from non-zeros 1416 addx1535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1417 addx1536 add -1E-401 1E-401 -> 0E-398 Clamped 1418 addx1537 add 1E-401 -1E-401 -> 0E-398 Clamped 1419 addx1538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1420 1421 rounding: half_even 1422 -- exact zeros from zeros 1423 addx1540 add 0 0E-19 -> 0E-19 1424 addx1541 add -0 0E-19 -> 0E-19 1425 addx1542 add 0 -0E-19 -> 0E-19 1426 addx1543 add -0 -0E-19 -> -0E-19 1427 addx1544 add 0E-400 0E-19 -> 0E-398 Clamped 1428 addx1545 add -0E-400 0E-19 -> 0E-398 Clamped 1429 addx1546 add 0E-400 -0E-19 -> 0E-398 Clamped 1430 addx1547 add -0E-400 -0E-19 -> -0E-398 Clamped 1431 -- inexact zeros 1432 addx1551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1433 addx1552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1434 addx1553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1435 addx1554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1436 -- some exact zeros from non-zeros 1437 addx1555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1438 addx1556 add -1E-401 1E-401 -> 0E-398 Clamped 1439 addx1557 add 1E-401 -1E-401 -> 0E-398 Clamped 1440 addx1558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1441 1442 rounding: up 1443 -- exact zeros from zeros 1444 addx1560 add 0 0E-19 -> 0E-19 1445 addx1561 add -0 0E-19 -> 0E-19 1446 addx1562 add 0 -0E-19 -> 0E-19 1447 addx1563 add -0 -0E-19 -> -0E-19 1448 addx1564 add 0E-400 0E-19 -> 0E-398 Clamped 1449 addx1565 add -0E-400 0E-19 -> 0E-398 Clamped 1450 addx1566 add 0E-400 -0E-19 -> 0E-398 Clamped 1451 addx1567 add -0E-400 -0E-19 -> -0E-398 Clamped 1452 -- inexact zeros 1453 addx1571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 1454 addx1572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 1455 addx1573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 1456 addx1574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 1457 -- some exact zeros from non-zeros 1458 addx1575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow 1459 addx1576 add -1E-401 1E-401 -> 0E-398 Clamped 1460 addx1577 add 1E-401 -1E-401 -> 0E-398 Clamped 1461 addx1578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow 1462 1463 rounding: down 1464 -- exact zeros from zeros 1465 addx1580 add 0 0E-19 -> 0E-19 1466 addx1581 add -0 0E-19 -> 0E-19 1467 addx1582 add 0 -0E-19 -> 0E-19 1468 addx1583 add -0 -0E-19 -> -0E-19 1469 addx1584 add 0E-400 0E-19 -> 0E-398 Clamped 1470 addx1585 add -0E-400 0E-19 -> 0E-398 Clamped 1471 addx1586 add 0E-400 -0E-19 -> 0E-398 Clamped 1472 addx1587 add -0E-400 -0E-19 -> -0E-398 Clamped 1473 -- inexact zeros 1474 addx1591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1475 addx1592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1476 addx1593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1477 addx1594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1478 -- some exact zeros from non-zeros 1479 addx1595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1480 addx1596 add -1E-401 1E-401 -> 0E-398 Clamped 1481 addx1597 add 1E-401 -1E-401 -> 0E-398 Clamped 1482 addx1598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1483 1484 rounding: ceiling 1485 -- exact zeros from zeros 1486 addx1600 add 0 0E-19 -> 0E-19 1487 addx1601 add -0 0E-19 -> 0E-19 1488 addx1602 add 0 -0E-19 -> 0E-19 1489 addx1603 add -0 -0E-19 -> -0E-19 1490 addx1604 add 0E-400 0E-19 -> 0E-398 Clamped 1491 addx1605 add -0E-400 0E-19 -> 0E-398 Clamped 1492 addx1606 add 0E-400 -0E-19 -> 0E-398 Clamped 1493 addx1607 add -0E-400 -0E-19 -> -0E-398 Clamped 1494 -- inexact zeros 1495 addx1611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 1496 addx1612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 1497 addx1613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1498 addx1614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1499 -- some exact zeros from non-zeros 1500 addx1615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow 1501 addx1616 add -1E-401 1E-401 -> 0E-398 Clamped 1502 addx1617 add 1E-401 -1E-401 -> 0E-398 Clamped 1503 addx1618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 1504 1505 -- and the extra-special ugly case; unusual minuses marked by -- * 1506 rounding: floor 1507 -- exact zeros from zeros 1508 addx1620 add 0 0E-19 -> 0E-19 1509 addx1621 add -0 0E-19 -> -0E-19 -- * 1510 addx1622 add 0 -0E-19 -> -0E-19 -- * 1511 addx1623 add -0 -0E-19 -> -0E-19 1512 addx1624 add 0E-400 0E-19 -> 0E-398 Clamped 1513 addx1625 add -0E-400 0E-19 -> -0E-398 Clamped -- * 1514 addx1626 add 0E-400 -0E-19 -> -0E-398 Clamped -- * 1515 addx1627 add -0E-400 -0E-19 -> -0E-398 Clamped 1516 -- inexact zeros 1517 addx1631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1518 addx1632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1519 addx1633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 1520 addx1634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 1521 -- some exact zeros from non-zeros 1522 addx1635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 1523 addx1636 add -1E-401 1E-401 -> -0E-398 Clamped -- * 1524 addx1637 add 1E-401 -1E-401 -> -0E-398 Clamped -- * 1525 addx1638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow 1526 1527 -- BigDecimal problem testcases 2006.01.23 1528 precision: 16 1529 maxExponent: 384 1530 minexponent: -383 1531 1532 rounding: down 1533 precision: 7 1534 addx1651 add 10001E+2 -2E+1 -> 1.00008E+6 1535 precision: 6 1536 addx1652 add 10001E+2 -2E+1 -> 1.00008E+6 1537 precision: 5 1538 addx1653 add 10001E+2 -2E+1 -> 1.0000E+6 Inexact Rounded 1539 precision: 4 1540 addx1654 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded 1541 precision: 3 1542 addx1655 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded 1543 precision: 2 1544 addx1656 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded 1545 precision: 1 1546 addx1657 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded 1547 1548 rounding: half_even 1549 precision: 7 1550 addx1661 add 10001E+2 -2E+1 -> 1.00008E+6 1551 precision: 6 1552 addx1662 add 10001E+2 -2E+1 -> 1.00008E+6 1553 precision: 5 1554 addx1663 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded 1555 precision: 4 1556 addx1664 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded 1557 precision: 3 1558 addx1665 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded 1559 precision: 2 1560 addx1666 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded 1561 precision: 1 1562 addx1667 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded 1563 1564 rounding: up 1565 precision: 7 1566 addx1671 add 10001E+2 -2E+1 -> 1.00008E+6 1567 precision: 6 1568 addx1672 add 10001E+2 -2E+1 -> 1.00008E+6 1569 precision: 5 1570 addx1673 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded 1571 precision: 4 1572 addx1674 add 10001E+2 -2E+1 -> 1.001E+6 Inexact Rounded 1573 precision: 3 1574 addx1675 add 10001E+2 -2E+1 -> 1.01E+6 Inexact Rounded 1575 precision: 2 1576 addx1676 add 10001E+2 -2E+1 -> 1.1E+6 Inexact Rounded 1577 precision: 1 1578 addx1677 add 10001E+2 -2E+1 -> 2E+6 Inexact Rounded 1579 1580 precision: 34 1581 rounding: half_up 1582 maxExponent: 6144 1583 minExponent: -6143 1584 -- Examples from SQL proposal (Krishna Kulkarni) 1585 addx1701 add 130E-2 120E-2 -> 2.50 1586 addx1702 add 130E-2 12E-1 -> 2.50 1587 addx1703 add 130E-2 1E0 -> 2.30 1588 addx1704 add 1E2 1E4 -> 1.01E+4 1589 addx1705 subtract 130E-2 120E-2 -> 0.10 1590 addx1706 subtract 130E-2 12E-1 -> 0.10 1591 addx1707 subtract 130E-2 1E0 -> 0.30 1592 addx1708 subtract 1E2 1E4 -> -9.9E+3 1593 1594 ------------------------------------------------------------------------ 1595 -- Same as above, using decimal64 default parameters -- 1596 ------------------------------------------------------------------------ 1597 precision: 16 1598 rounding: half_even 1599 maxExponent: 384 1600 minexponent: -383 1601 1602 -- [first group are 'quick confidence check'] 1603 addx6001 add 1 1 -> 2 1604 addx6002 add 2 3 -> 5 1605 addx6003 add '5.75' '3.3' -> 9.05 1606 addx6004 add '5' '-3' -> 2 1607 addx6005 add '-5' '-3' -> -8 1608 addx6006 add '-7' '2.5' -> -4.5 1609 addx6007 add '0.7' '0.3' -> 1.0 1610 addx6008 add '1.25' '1.25' -> 2.50 1611 addx6009 add '1.23456789' '1.00000000' -> '2.23456789' 1612 addx6010 add '1.23456789' '1.00000011' -> '2.23456800' 1613 1614 addx6011 add '0.44444444444444444' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded 1615 addx6012 add '0.44444444444444440' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded 1616 addx6013 add '0.44444444444444444' '0.55555555555555550' -> '0.9999999999999999' Inexact Rounded 1617 addx6014 add '0.444444444444444449' '0' -> '0.4444444444444444' Inexact Rounded 1618 addx6015 add '0.4444444444444444499' '0' -> '0.4444444444444444' Inexact Rounded 1619 addx6016 add '0.44444444444444444999' '0' -> '0.4444444444444444' Inexact Rounded 1620 addx6017 add '0.44444444444444445000' '0' -> '0.4444444444444444' Inexact Rounded 1621 addx6018 add '0.44444444444444445001' '0' -> '0.4444444444444445' Inexact Rounded 1622 addx6019 add '0.4444444444444444501' '0' -> '0.4444444444444445' Inexact Rounded 1623 addx6020 add '0.444444444444444451' '0' -> '0.4444444444444445' Inexact Rounded 1624 1625 addx6021 add 0 1 -> 1 1626 addx6022 add 1 1 -> 2 1627 addx6023 add 2 1 -> 3 1628 addx6024 add 3 1 -> 4 1629 addx6025 add 4 1 -> 5 1630 addx6026 add 5 1 -> 6 1631 addx6027 add 6 1 -> 7 1632 addx6028 add 7 1 -> 8 1633 addx6029 add 8 1 -> 9 1634 addx6030 add 9 1 -> 10 1635 1636 -- some carrying effects 1637 addx6031 add '0.9998' '0.0000' -> '0.9998' 1638 addx6032 add '0.9998' '0.0001' -> '0.9999' 1639 addx6033 add '0.9998' '0.0002' -> '1.0000' 1640 addx6034 add '0.9998' '0.0003' -> '1.0001' 1641 1642 addx6035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded 1643 addx6036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded 1644 addx6037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded 1645 addx6038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded 1646 addx6039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded 1647 1648 -- symmetry: 1649 addx6040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded 1650 addx6041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded 1651 addx6042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded 1652 addx6044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded 1653 addx6045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded 1654 1655 addx6046 add '10000e+9' '7' -> '10000000000007' 1656 addx6047 add '10000e+9' '70' -> '10000000000070' 1657 addx6048 add '10000e+9' '700' -> '10000000000700' 1658 addx6049 add '10000e+9' '7000' -> '10000000007000' 1659 addx6050 add '10000e+9' '70000' -> '10000000070000' 1660 addx6051 add '10000e+9' '700000' -> '10000000700000' 1661 1662 -- examples from decarith 1663 addx6053 add '12' '7.00' -> '19.00' 1664 addx6054 add '1.3' '-1.07' -> '0.23' 1665 addx6055 add '1.3' '-1.30' -> '0.00' 1666 addx6056 add '1.3' '-2.07' -> '-0.77' 1667 addx6057 add '1E+2' '1E+4' -> '1.01E+4' 1668 1669 -- from above 1670 addx6060 add 1 '0.1' -> '1.1' 1671 addx6061 add 1 '0.01' -> '1.01' 1672 addx6062 add 1 '0.001' -> '1.001' 1673 addx6063 add 1 '0.0001' -> '1.0001' 1674 addx6064 add 1 '0.00001' -> '1.00001' 1675 addx6065 add 1 '0.000001' -> '1.000001' 1676 addx6066 add 1 '0.0000001' -> '1.0000001' 1677 addx6067 add 1 '0.00000001' -> '1.00000001' 1678 1679 -- cancellation to integer 1680 addx6068 add 99999999999999123456789 -99999999999999E+9 -> 123456789 1681 -- similar from FMA fun 1682 addx6069 add "-1234567890123455.234567890123454" "1234567890123456" -> 0.765432109876546 1683 1684 -- some funny zeros [in case of bad signum] 1685 addx6070 add 1 0 -> 1 1686 addx6071 add 1 0. -> 1 1687 addx6072 add 1 .0 -> 1.0 1688 addx6073 add 1 0.0 -> 1.0 1689 addx6074 add 1 0.00 -> 1.00 1690 addx6075 add 0 1 -> 1 1691 addx6076 add 0. 1 -> 1 1692 addx6077 add .0 1 -> 1.0 1693 addx6078 add 0.0 1 -> 1.0 1694 addx6079 add 0.00 1 -> 1.00 1695 1696 -- some carries 1697 addx6080 add 9999999999999998 1 -> 9999999999999999 1698 addx6081 add 9999999999999999 1 -> 1.000000000000000E+16 Rounded 1699 addx6082 add 999999999999999 1 -> 1000000000000000 1700 addx6083 add 9999999999999 1 -> 10000000000000 1701 addx6084 add 99999999999 1 -> 100000000000 1702 addx6085 add 999999999 1 -> 1000000000 1703 addx6086 add 9999999 1 -> 10000000 1704 addx6087 add 99999 1 -> 100000 1705 addx6088 add 999 1 -> 1000 1706 addx6089 add 9 1 -> 10 1707 1708 1709 -- more LHS swaps 1710 addx6090 add '-56267E-10' 0 -> '-0.0000056267' 1711 addx6091 add '-56267E-6' 0 -> '-0.056267' 1712 addx6092 add '-56267E-5' 0 -> '-0.56267' 1713 addx6093 add '-56267E-4' 0 -> '-5.6267' 1714 addx6094 add '-56267E-3' 0 -> '-56.267' 1715 addx6095 add '-56267E-2' 0 -> '-562.67' 1716 addx6096 add '-56267E-1' 0 -> '-5626.7' 1717 addx6097 add '-56267E-0' 0 -> '-56267' 1718 addx6098 add '-5E-10' 0 -> '-5E-10' 1719 addx6099 add '-5E-7' 0 -> '-5E-7' 1720 addx6100 add '-5E-6' 0 -> '-0.000005' 1721 addx6101 add '-5E-5' 0 -> '-0.00005' 1722 addx6102 add '-5E-4' 0 -> '-0.0005' 1723 addx6103 add '-5E-1' 0 -> '-0.5' 1724 addx6104 add '-5E0' 0 -> '-5' 1725 addx6105 add '-5E1' 0 -> '-50' 1726 addx6106 add '-5E5' 0 -> '-500000' 1727 addx6107 add '-5E15' 0 -> '-5000000000000000' 1728 addx6108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded 1729 addx6109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded 1730 addx6110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded 1731 addx6111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded 1732 1733 -- more RHS swaps 1734 addx6113 add 0 '-56267E-10' -> '-0.0000056267' 1735 addx6114 add 0 '-56267E-6' -> '-0.056267' 1736 addx6116 add 0 '-56267E-5' -> '-0.56267' 1737 addx6117 add 0 '-56267E-4' -> '-5.6267' 1738 addx6119 add 0 '-56267E-3' -> '-56.267' 1739 addx6120 add 0 '-56267E-2' -> '-562.67' 1740 addx6121 add 0 '-56267E-1' -> '-5626.7' 1741 addx6122 add 0 '-56267E-0' -> '-56267' 1742 addx6123 add 0 '-5E-10' -> '-5E-10' 1743 addx6124 add 0 '-5E-7' -> '-5E-7' 1744 addx6125 add 0 '-5E-6' -> '-0.000005' 1745 addx6126 add 0 '-5E-5' -> '-0.00005' 1746 addx6127 add 0 '-5E-4' -> '-0.0005' 1747 addx6128 add 0 '-5E-1' -> '-0.5' 1748 addx6129 add 0 '-5E0' -> '-5' 1749 addx6130 add 0 '-5E1' -> '-50' 1750 addx6131 add 0 '-5E5' -> '-500000' 1751 addx6132 add 0 '-5E15' -> '-5000000000000000' 1752 addx6133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded 1753 addx6134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded 1754 addx6135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded 1755 addx6136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded 1756 1757 -- related 1758 addx6137 add 1 '0E-19' -> '1.000000000000000' Rounded 1759 addx6138 add -1 '0E-19' -> '-1.000000000000000' Rounded 1760 addx6139 add '0E-19' 1 -> '1.000000000000000' Rounded 1761 addx6140 add '0E-19' -1 -> '-1.000000000000000' Rounded 1762 addx6141 add 1E+11 0.0000 -> '100000000000.0000' 1763 addx6142 add 1E+11 0.00000 -> '100000000000.0000' Rounded 1764 addx6143 add 0.000 1E+12 -> '1000000000000.000' 1765 addx6144 add 0.0000 1E+12 -> '1000000000000.000' Rounded 1766 1767 -- [some of the next group are really constructor tests] 1768 addx6146 add '00.0' 0 -> '0.0' 1769 addx6147 add '0.00' 0 -> '0.00' 1770 addx6148 add 0 '0.00' -> '0.00' 1771 addx6149 add 0 '00.0' -> '0.0' 1772 addx6150 add '00.0' '0.00' -> '0.00' 1773 addx6151 add '0.00' '00.0' -> '0.00' 1774 addx6152 add '3' '.3' -> '3.3' 1775 addx6153 add '3.' '.3' -> '3.3' 1776 addx6154 add '3.0' '.3' -> '3.3' 1777 addx6155 add '3.00' '.3' -> '3.30' 1778 addx6156 add '3' '3' -> '6' 1779 addx6157 add '3' '+3' -> '6' 1780 addx6158 add '3' '-3' -> '0' 1781 addx6159 add '0.3' '-0.3' -> '0.0' 1782 addx6160 add '0.03' '-0.03' -> '0.00' 1783 1784 -- try borderline precision, with carries, etc. 1785 addx6161 add '1E+13' '-1' -> '9999999999999' 1786 addx6162 add '1E+13' '1.11' -> '10000000000001.11' 1787 addx6163 add '1.11' '1E+13' -> '10000000000001.11' 1788 addx6164 add '-1' '1E+13' -> '9999999999999' 1789 addx6165 add '7E+13' '-1' -> '69999999999999' 1790 addx6166 add '7E+13' '1.11' -> '70000000000001.11' 1791 addx6167 add '1.11' '7E+13' -> '70000000000001.11' 1792 addx6168 add '-1' '7E+13' -> '69999999999999' 1793 1794 -- 1234567890123456 1234567890123456 1 234567890123456 1795 addx6170 add '0.4444444444444444' '0.5555555555555563' -> '1.000000000000001' Inexact Rounded 1796 addx6171 add '0.4444444444444444' '0.5555555555555562' -> '1.000000000000001' Inexact Rounded 1797 addx6172 add '0.4444444444444444' '0.5555555555555561' -> '1.000000000000000' Inexact Rounded 1798 addx6173 add '0.4444444444444444' '0.5555555555555560' -> '1.000000000000000' Inexact Rounded 1799 addx6174 add '0.4444444444444444' '0.5555555555555559' -> '1.000000000000000' Inexact Rounded 1800 addx6175 add '0.4444444444444444' '0.5555555555555558' -> '1.000000000000000' Inexact Rounded 1801 addx6176 add '0.4444444444444444' '0.5555555555555557' -> '1.000000000000000' Inexact Rounded 1802 addx6177 add '0.4444444444444444' '0.5555555555555556' -> '1.000000000000000' Rounded 1803 addx6178 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999' 1804 addx6179 add '0.4444444444444444' '0.5555555555555554' -> '0.9999999999999998' 1805 addx6180 add '0.4444444444444444' '0.5555555555555553' -> '0.9999999999999997' 1806 addx6181 add '0.4444444444444444' '0.5555555555555552' -> '0.9999999999999996' 1807 addx6182 add '0.4444444444444444' '0.5555555555555551' -> '0.9999999999999995' 1808 addx6183 add '0.4444444444444444' '0.5555555555555550' -> '0.9999999999999994' 1809 1810 -- and some more, including residue effects and different roundings 1811 rounding: half_up 1812 addx6200 add '6543210123456789' 0 -> '6543210123456789' 1813 addx6201 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded 1814 addx6202 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded 1815 addx6203 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded 1816 addx6204 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded 1817 addx6205 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded 1818 addx6206 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded 1819 addx6207 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded 1820 addx6208 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded 1821 addx6209 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded 1822 addx6210 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded 1823 addx6211 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded 1824 addx6212 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded 1825 addx6213 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded 1826 addx6214 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded 1827 addx6215 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded 1828 addx6216 add '6543210123456789' 1 -> '6543210123456790' 1829 addx6217 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded 1830 addx6218 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded 1831 addx6219 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded 1832 1833 rounding: half_even 1834 addx6220 add '6543210123456789' 0 -> '6543210123456789' 1835 addx6221 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded 1836 addx6222 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded 1837 addx6223 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded 1838 addx6224 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded 1839 addx6225 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded 1840 addx6226 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded 1841 addx6227 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded 1842 addx6228 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded 1843 addx6229 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded 1844 addx6230 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded 1845 addx6231 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded 1846 addx6232 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded 1847 addx6233 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded 1848 addx6234 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded 1849 addx6235 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded 1850 addx6236 add '6543210123456789' 1 -> '6543210123456790' 1851 addx6237 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded 1852 addx6238 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded 1853 addx6239 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded 1854 -- critical few with even bottom digit... 1855 addx6240 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded 1856 addx6241 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded 1857 addx6242 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded 1858 1859 rounding: down 1860 addx6250 add '6543210123456789' 0 -> '6543210123456789' 1861 addx6251 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded 1862 addx6252 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded 1863 addx6253 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded 1864 addx6254 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded 1865 addx6255 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded 1866 addx6256 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded 1867 addx6257 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded 1868 addx6258 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded 1869 addx6259 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded 1870 addx6260 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded 1871 addx6261 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded 1872 addx6262 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded 1873 addx6263 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded 1874 addx6264 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded 1875 addx6265 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded 1876 addx6266 add '6543210123456789' 1 -> '6543210123456790' 1877 addx6267 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded 1878 addx6268 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded 1879 addx6269 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded 1880 1881 -- 1 in last place tests 1882 rounding: half_even 1883 addx6301 add -1 1 -> 0 1884 addx6302 add 0 1 -> 1 1885 addx6303 add 1 1 -> 2 1886 addx6304 add 12 1 -> 13 1887 addx6305 add 98 1 -> 99 1888 addx6306 add 99 1 -> 100 1889 addx6307 add 100 1 -> 101 1890 addx6308 add 101 1 -> 102 1891 addx6309 add -1 -1 -> -2 1892 addx6310 add 0 -1 -> -1 1893 addx6311 add 1 -1 -> 0 1894 addx6312 add 12 -1 -> 11 1895 addx6313 add 98 -1 -> 97 1896 addx6314 add 99 -1 -> 98 1897 addx6315 add 100 -1 -> 99 1898 addx6316 add 101 -1 -> 100 1899 1900 addx6321 add -0.01 0.01 -> 0.00 1901 addx6322 add 0.00 0.01 -> 0.01 1902 addx6323 add 0.01 0.01 -> 0.02 1903 addx6324 add 0.12 0.01 -> 0.13 1904 addx6325 add 0.98 0.01 -> 0.99 1905 addx6326 add 0.99 0.01 -> 1.00 1906 addx6327 add 1.00 0.01 -> 1.01 1907 addx6328 add 1.01 0.01 -> 1.02 1908 addx6329 add -0.01 -0.01 -> -0.02 1909 addx6330 add 0.00 -0.01 -> -0.01 1910 addx6331 add 0.01 -0.01 -> 0.00 1911 addx6332 add 0.12 -0.01 -> 0.11 1912 addx6333 add 0.98 -0.01 -> 0.97 1913 addx6334 add 0.99 -0.01 -> 0.98 1914 addx6335 add 1.00 -0.01 -> 0.99 1915 addx6336 add 1.01 -0.01 -> 1.00 1916 1917 -- some more cases where adding 0 affects the coefficient 1918 addx6340 add 1E+3 0 -> 1000 1919 addx6341 add 1E+15 0 -> 1000000000000000 1920 addx6342 add 1E+16 0 -> 1.000000000000000E+16 Rounded 1921 addx6343 add 1E+17 0 -> 1.000000000000000E+17 Rounded 1922 -- which simply follow from these cases ... 1923 addx6344 add 1E+3 1 -> 1001 1924 addx6345 add 1E+15 1 -> 1000000000000001 1925 addx6346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded 1926 addx6347 add 1E+17 1 -> 1.000000000000000E+17 Inexact Rounded 1927 addx6348 add 1E+3 7 -> 1007 1928 addx6349 add 1E+15 7 -> 1000000000000007 1929 addx6350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded 1930 addx6351 add 1E+17 7 -> 1.000000000000000E+17 Inexact Rounded 1931 1932 -- tryzeros cases 1933 addx6361 add 0E+50 10000E+1 -> 1.0000E+5 1934 addx6362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded 1935 addx6363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact 1936 addx6364 add 12.34 0e-398 -> 12.34000000000000 Rounded 1937 1938 -- ulp replacement tests 1939 addx6400 add 1 77e-14 -> 1.00000000000077 1940 addx6401 add 1 77e-15 -> 1.000000000000077 1941 addx6402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded 1942 addx6403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded 1943 addx6404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded 1944 addx6405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded 1945 addx6406 add 1 77e-99 -> 1.000000000000000 Inexact Rounded 1946 1947 addx6410 add 10 77e-14 -> 10.00000000000077 1948 addx6411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded 1949 addx6412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded 1950 addx6413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded 1951 addx6414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded 1952 addx6415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded 1953 addx6416 add 10 77e-99 -> 10.00000000000000 Inexact Rounded 1954 1955 addx6420 add 77e-14 1 -> 1.00000000000077 1956 addx6421 add 77e-15 1 -> 1.000000000000077 1957 addx6422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded 1958 addx6423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded 1959 addx6424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded 1960 addx6425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded 1961 addx6426 add 77e-99 1 -> 1.000000000000000 Inexact Rounded 1962 1963 addx6430 add 77e-14 10 -> 10.00000000000077 1964 addx6431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded 1965 addx6432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded 1966 addx6433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded 1967 addx6434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded 1968 addx6435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded 1969 addx6436 add 77e-99 10 -> 10.00000000000000 Inexact Rounded 1970 1971 -- negative ulps 1972 addx6440 add 1 -77e-14 -> 0.99999999999923 1973 addx6441 add 1 -77e-15 -> 0.999999999999923 1974 addx6442 add 1 -77e-16 -> 0.9999999999999923 1975 addx6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded 1976 addx6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded 1977 addx6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded 1978 addx6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded 1979 1980 addx6450 add 10 -77e-14 -> 9.99999999999923 1981 addx6451 add 10 -77e-15 -> 9.999999999999923 1982 addx6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded 1983 addx6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded 1984 addx6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded 1985 addx6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded 1986 addx6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded 1987 1988 addx6460 add -77e-14 1 -> 0.99999999999923 1989 addx6461 add -77e-15 1 -> 0.999999999999923 1990 addx6462 add -77e-16 1 -> 0.9999999999999923 1991 addx6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded 1992 addx6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded 1993 addx6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded 1994 addx6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded 1995 1996 addx6470 add -77e-14 10 -> 9.99999999999923 1997 addx6471 add -77e-15 10 -> 9.999999999999923 1998 addx6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded 1999 addx6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded 2000 addx6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded 2001 addx6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded 2002 addx6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded 2003 2004 -- negative ulps 2005 addx6480 add -1 77e-14 -> -0.99999999999923 2006 addx6481 add -1 77e-15 -> -0.999999999999923 2007 addx6482 add -1 77e-16 -> -0.9999999999999923 2008 addx6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded 2009 addx6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded 2010 addx6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded 2011 addx6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded 2012 2013 addx6490 add -10 77e-14 -> -9.99999999999923 2014 addx6491 add -10 77e-15 -> -9.999999999999923 2015 addx6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded 2016 addx6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded 2017 addx6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded 2018 addx6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded 2019 addx6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded 2020 2021 addx6500 add 77e-14 -1 -> -0.99999999999923 2022 addx6501 add 77e-15 -1 -> -0.999999999999923 2023 addx6502 add 77e-16 -1 -> -0.9999999999999923 2024 addx6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded 2025 addx6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded 2026 addx6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded 2027 addx6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded 2028 2029 addx6510 add 77e-14 -10 -> -9.99999999999923 2030 addx6511 add 77e-15 -10 -> -9.999999999999923 2031 addx6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded 2032 addx6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded 2033 addx6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded 2034 addx6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded 2035 addx6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded 2036 2037 2038 -- long operands 2039 addx6521 add 101234562345678000 0 -> 1.012345623456780E+17 Rounded 2040 addx6522 add 0 101234562345678000 -> 1.012345623456780E+17 Rounded 2041 addx6523 add 10123456234567800 0 -> 1.012345623456780E+16 Rounded 2042 addx6524 add 0 10123456234567800 -> 1.012345623456780E+16 Rounded 2043 addx6525 add 10123456234567890 0 -> 1.012345623456789E+16 Rounded 2044 addx6526 add 0 10123456234567890 -> 1.012345623456789E+16 Rounded 2045 addx6527 add 10123456234567891 0 -> 1.012345623456789E+16 Inexact Rounded 2046 addx6528 add 0 10123456234567891 -> 1.012345623456789E+16 Inexact Rounded 2047 addx6529 add 101234562345678901 0 -> 1.012345623456789E+17 Inexact Rounded 2048 addx6530 add 0 101234562345678901 -> 1.012345623456789E+17 Inexact Rounded 2049 addx6531 add 10123456234567896 0 -> 1.012345623456790E+16 Inexact Rounded 2050 addx6532 add 0 10123456234567896 -> 1.012345623456790E+16 Inexact Rounded 2051 2052 -- verify a query 2053 rounding: down 2054 addx6561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded 2055 addx6562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded 2056 -- and using decimal64 bounds... 2057 rounding: down 2058 addx6563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded 2059 addx6564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded 2060 2061 -- more zeros, etc. 2062 rounding: half_even 2063 2064 addx6701 add 5.00 1.00E-3 -> 5.00100 2065 addx6702 add 00.00 0.000 -> 0.000 2066 addx6703 add 00.00 0E-3 -> 0.000 2067 addx6704 add 0E-3 00.00 -> 0.000 2068 2069 addx6710 add 0E+3 00.00 -> 0.00 2070 addx6711 add 0E+3 00.0 -> 0.0 2071 addx6712 add 0E+3 00. -> 0 2072 addx6713 add 0E+3 00.E+1 -> 0E+1 2073 addx6714 add 0E+3 00.E+2 -> 0E+2 2074 addx6715 add 0E+3 00.E+3 -> 0E+3 2075 addx6716 add 0E+3 00.E+4 -> 0E+3 2076 addx6717 add 0E+3 00.E+5 -> 0E+3 2077 addx6718 add 0E+3 -00.0 -> 0.0 2078 addx6719 add 0E+3 -00. -> 0 2079 addx6731 add 0E+3 -00.E+1 -> 0E+1 2080 2081 addx6720 add 00.00 0E+3 -> 0.00 2082 addx6721 add 00.0 0E+3 -> 0.0 2083 addx6722 add 00. 0E+3 -> 0 2084 addx6723 add 00.E+1 0E+3 -> 0E+1 2085 addx6724 add 00.E+2 0E+3 -> 0E+2 2086 addx6725 add 00.E+3 0E+3 -> 0E+3 2087 addx6726 add 00.E+4 0E+3 -> 0E+3 2088 addx6727 add 00.E+5 0E+3 -> 0E+3 2089 addx6728 add -00.00 0E+3 -> 0.00 2090 addx6729 add -00.0 0E+3 -> 0.0 2091 addx6730 add -00. 0E+3 -> 0 2092 2093 addx6732 add 0 0 -> 0 2094 addx6733 add 0 -0 -> 0 2095 addx6734 add -0 0 -> 0 2096 addx6735 add -0 -0 -> -0 -- IEEE 854 special case 2097 2098 addx6736 add 1 -1 -> 0 2099 addx6737 add -1 -1 -> -2 2100 addx6738 add 1 1 -> 2 2101 addx6739 add -1 1 -> 0 2102 2103 addx6741 add 0 -1 -> -1 2104 addx6742 add -0 -1 -> -1 2105 addx6743 add 0 1 -> 1 2106 addx6744 add -0 1 -> 1 2107 addx6745 add -1 0 -> -1 2108 addx6746 add -1 -0 -> -1 2109 addx6747 add 1 0 -> 1 2110 addx6748 add 1 -0 -> 1 2111 2112 addx6751 add 0.0 -1 -> -1.0 2113 addx6752 add -0.0 -1 -> -1.0 2114 addx6753 add 0.0 1 -> 1.0 2115 addx6754 add -0.0 1 -> 1.0 2116 addx6755 add -1.0 0 -> -1.0 2117 addx6756 add -1.0 -0 -> -1.0 2118 addx6757 add 1.0 0 -> 1.0 2119 addx6758 add 1.0 -0 -> 1.0 2120 2121 addx6761 add 0 -1.0 -> -1.0 2122 addx6762 add -0 -1.0 -> -1.0 2123 addx6763 add 0 1.0 -> 1.0 2124 addx6764 add -0 1.0 -> 1.0 2125 addx6765 add -1 0.0 -> -1.0 2126 addx6766 add -1 -0.0 -> -1.0 2127 addx6767 add 1 0.0 -> 1.0 2128 addx6768 add 1 -0.0 -> 1.0 2129 2130 addx6771 add 0.0 -1.0 -> -1.0 2131 addx6772 add -0.0 -1.0 -> -1.0 2132 addx6773 add 0.0 1.0 -> 1.0 2133 addx6774 add -0.0 1.0 -> 1.0 2134 addx6775 add -1.0 0.0 -> -1.0 2135 addx6776 add -1.0 -0.0 -> -1.0 2136 addx6777 add 1.0 0.0 -> 1.0 2137 addx6778 add 1.0 -0.0 -> 1.0 2138 2139 -- Specials 2140 addx6780 add -Inf -Inf -> -Infinity 2141 addx6781 add -Inf -1000 -> -Infinity 2142 addx6782 add -Inf -1 -> -Infinity 2143 addx6783 add -Inf -0 -> -Infinity 2144 addx6784 add -Inf 0 -> -Infinity 2145 addx6785 add -Inf 1 -> -Infinity 2146 addx6786 add -Inf 1000 -> -Infinity 2147 addx6787 add -1000 -Inf -> -Infinity 2148 addx6788 add -Inf -Inf -> -Infinity 2149 addx6789 add -1 -Inf -> -Infinity 2150 addx6790 add -0 -Inf -> -Infinity 2151 addx6791 add 0 -Inf -> -Infinity 2152 addx6792 add 1 -Inf -> -Infinity 2153 addx6793 add 1000 -Inf -> -Infinity 2154 addx6794 add Inf -Inf -> NaN Invalid_operation 2155 2156 addx6800 add Inf -Inf -> NaN Invalid_operation 2157 addx6801 add Inf -1000 -> Infinity 2158 addx6802 add Inf -1 -> Infinity 2159 addx6803 add Inf -0 -> Infinity 2160 addx6804 add Inf 0 -> Infinity 2161 addx6805 add Inf 1 -> Infinity 2162 addx6806 add Inf 1000 -> Infinity 2163 addx6807 add Inf Inf -> Infinity 2164 addx6808 add -1000 Inf -> Infinity 2165 addx6809 add -Inf Inf -> NaN Invalid_operation 2166 addx6810 add -1 Inf -> Infinity 2167 addx6811 add -0 Inf -> Infinity 2168 addx6812 add 0 Inf -> Infinity 2169 addx6813 add 1 Inf -> Infinity 2170 addx6814 add 1000 Inf -> Infinity 2171 addx6815 add Inf Inf -> Infinity 2172 2173 addx6821 add NaN -Inf -> NaN 2174 addx6822 add NaN -1000 -> NaN 2175 addx6823 add NaN -1 -> NaN 2176 addx6824 add NaN -0 -> NaN 2177 addx6825 add NaN 0 -> NaN 2178 addx6826 add NaN 1 -> NaN 2179 addx6827 add NaN 1000 -> NaN 2180 addx6828 add NaN Inf -> NaN 2181 addx6829 add NaN NaN -> NaN 2182 addx6830 add -Inf NaN -> NaN 2183 addx6831 add -1000 NaN -> NaN 2184 addx6832 add -1 NaN -> NaN 2185 addx6833 add -0 NaN -> NaN 2186 addx6834 add 0 NaN -> NaN 2187 addx6835 add 1 NaN -> NaN 2188 addx6836 add 1000 NaN -> NaN 2189 addx6837 add Inf NaN -> NaN 2190 2191 addx6841 add sNaN -Inf -> NaN Invalid_operation 2192 addx6842 add sNaN -1000 -> NaN Invalid_operation 2193 addx6843 add sNaN -1 -> NaN Invalid_operation 2194 addx6844 add sNaN -0 -> NaN Invalid_operation 2195 addx6845 add sNaN 0 -> NaN Invalid_operation 2196 addx6846 add sNaN 1 -> NaN Invalid_operation 2197 addx6847 add sNaN 1000 -> NaN Invalid_operation 2198 addx6848 add sNaN NaN -> NaN Invalid_operation 2199 addx6849 add sNaN sNaN -> NaN Invalid_operation 2200 addx6850 add NaN sNaN -> NaN Invalid_operation 2201 addx6851 add -Inf sNaN -> NaN Invalid_operation 2202 addx6852 add -1000 sNaN -> NaN Invalid_operation 2203 addx6853 add -1 sNaN -> NaN Invalid_operation 2204 addx6854 add -0 sNaN -> NaN Invalid_operation 2205 addx6855 add 0 sNaN -> NaN Invalid_operation 2206 addx6856 add 1 sNaN -> NaN Invalid_operation 2207 addx6857 add 1000 sNaN -> NaN Invalid_operation 2208 addx6858 add Inf sNaN -> NaN Invalid_operation 2209 addx6859 add NaN sNaN -> NaN Invalid_operation 2210 2211 -- propagating NaNs 2212 addx6861 add NaN1 -Inf -> NaN1 2213 addx6862 add +NaN2 -1000 -> NaN2 2214 addx6863 add NaN3 1000 -> NaN3 2215 addx6864 add NaN4 Inf -> NaN4 2216 addx6865 add NaN5 +NaN6 -> NaN5 2217 addx6866 add -Inf NaN7 -> NaN7 2218 addx6867 add -1000 NaN8 -> NaN8 2219 addx6868 add 1000 NaN9 -> NaN9 2220 addx6869 add Inf +NaN10 -> NaN10 2221 addx6871 add sNaN11 -Inf -> NaN11 Invalid_operation 2222 addx6872 add sNaN12 -1000 -> NaN12 Invalid_operation 2223 addx6873 add sNaN13 1000 -> NaN13 Invalid_operation 2224 addx6874 add sNaN14 NaN17 -> NaN14 Invalid_operation 2225 addx6875 add sNaN15 sNaN18 -> NaN15 Invalid_operation 2226 addx6876 add NaN16 sNaN19 -> NaN19 Invalid_operation 2227 addx6877 add -Inf +sNaN20 -> NaN20 Invalid_operation 2228 addx6878 add -1000 sNaN21 -> NaN21 Invalid_operation 2229 addx6879 add 1000 sNaN22 -> NaN22 Invalid_operation 2230 addx6880 add Inf sNaN23 -> NaN23 Invalid_operation 2231 addx6881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation 2232 addx6882 add -NaN26 NaN28 -> -NaN26 2233 addx6883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation 2234 addx6884 add 1000 -NaN30 -> -NaN30 2235 addx6885 add 1000 -sNaN31 -> -NaN31 Invalid_operation 2236 2237 -- now the case where we can get underflow but the result is normal 2238 -- [note this can't happen if the operands are also bounded, as we 2239 -- cannot represent 1E-399, for example] 2240 2241 addx6571 add 1E-383 0 -> 1E-383 2242 addx6572 add 1E-384 0 -> 1E-384 Subnormal 2243 addx6573 add 1E-383 1E-384 -> 1.1E-383 2244 addx6574 subtract 1E-383 1E-384 -> 9E-384 Subnormal 2245 2246 -- Here we explore the boundary of rounding a subnormal to Nmin 2247 addx6575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal 2248 addx6576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal 2249 addx6577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 2250 addx6578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 2251 addx6579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 2252 addx6580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 2253 2254 -- check overflow edge case 2255 -- 1234567890123456 2256 addx6972 apply 9.999999999999999E+384 -> 9.999999999999999E+384 2257 addx6973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded 2258 addx6974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded 2259 addx6975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded 2260 addx6976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded 2261 addx6977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded 2262 addx6978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded 2263 addx6979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded 2264 addx6980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded 2265 addx6981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded 2266 addx6982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded 2267 addx6983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded 2268 addx6984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded 2269 2270 addx6985 apply -9.999999999999999E+384 -> -9.999999999999999E+384 2271 addx6986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded 2272 addx6987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded 2273 addx6988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded 2274 addx6989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded 2275 addx6990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded 2276 addx6991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded 2277 addx6992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded 2278 addx6993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded 2279 addx6994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded 2280 addx6995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded 2281 addx6996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded 2282 addx6997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded 2283 2284 -- And for round down full and subnormal results 2285 rounding: down 2286 addx61100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact 2287 addx61101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact 2288 addx61103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact 2289 addx61104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact 2290 addx61105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact 2291 addx61106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact 2292 addx61107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact 2293 addx61108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact 2294 addx61109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact 2295 2296 rounding: ceiling 2297 addx61110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact 2298 addx61111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact 2299 addx61113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact 2300 addx61114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact 2301 addx61115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact 2302 addx61116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact 2303 addx61117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact 2304 addx61118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact 2305 addx61119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact 2306 2307 -- tests based on Gunnar Degnbol's edge case 2308 rounding: half_even 2309 2310 addx61300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded 2311 addx61310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded 2312 addx61311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded 2313 addx61312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded 2314 addx61313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded 2315 addx61314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded 2316 addx61315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded 2317 addx61316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded 2318 addx61317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded 2319 addx61318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded 2320 addx61319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded 2321 addx61320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded 2322 addx61321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded 2323 addx61322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded 2324 addx61323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded 2325 addx61324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded 2326 addx61325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded 2327 addx61326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded 2328 addx61327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded 2329 addx61328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded 2330 addx61329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded 2331 addx61330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded 2332 addx61331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded 2333 addx61332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded 2334 addx61333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded 2335 addx61334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded 2336 addx61335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded 2337 addx61336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded 2338 addx61337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded 2339 addx61338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded 2340 addx61339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded 2341 2342 addx61340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded 2343 addx61341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded 2344 2345 addx61349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded 2346 addx61350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded 2347 addx61351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded 2348 addx61352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded 2349 addx61353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded 2350 addx61354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded 2351 addx61355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded 2352 addx61356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded 2353 addx61357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded 2354 addx61358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded 2355 addx61359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded 2356 addx61360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded 2357 addx61361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded 2358 addx61362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded 2359 addx61363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded 2360 addx61364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded 2361 addx61365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded 2362 addx61367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded 2363 addx61368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded 2364 addx61369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded 2365 addx61370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded 2366 addx61371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded 2367 addx61372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded 2368 addx61373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded 2369 addx61374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded 2370 addx61375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded 2371 addx61376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded 2372 addx61377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded 2373 addx61378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded 2374 addx61379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded 2375 addx61380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded 2376 addx61381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded 2377 addx61382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded 2378 addx61383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded 2379 addx61384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded 2380 addx61385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded 2381 addx61386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded 2382 addx61387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded 2383 addx61388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded 2384 addx61389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded 2385 addx61390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded 2386 addx61391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded 2387 addx61392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded 2388 addx61393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded 2389 addx61394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded 2390 addx61395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded 2391 addx61396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded 2392 2393 -- More GD edge cases, where difference between the unadjusted 2394 -- exponents is larger than the maximum precision and one side is 0 2395 addx61420 add 0 1.123456789012345 -> 1.123456789012345 2396 addx61421 add 0 1.123456789012345E-1 -> 0.1123456789012345 2397 addx61422 add 0 1.123456789012345E-2 -> 0.01123456789012345 2398 addx61423 add 0 1.123456789012345E-3 -> 0.001123456789012345 2399 addx61424 add 0 1.123456789012345E-4 -> 0.0001123456789012345 2400 addx61425 add 0 1.123456789012345E-5 -> 0.00001123456789012345 2401 addx61426 add 0 1.123456789012345E-6 -> 0.000001123456789012345 2402 addx61427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7 2403 addx61428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8 2404 addx61429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9 2405 addx61430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10 2406 addx61431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11 2407 addx61432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12 2408 addx61433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13 2409 addx61434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14 2410 addx61435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15 2411 addx61436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16 2412 addx61437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17 2413 addx61438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18 2414 addx61439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19 2415 2416 -- same, reversed 0 2417 addx61440 add 1.123456789012345 0 -> 1.123456789012345 2418 addx61441 add 1.123456789012345E-1 0 -> 0.1123456789012345 2419 addx61442 add 1.123456789012345E-2 0 -> 0.01123456789012345 2420 addx61443 add 1.123456789012345E-3 0 -> 0.001123456789012345 2421 addx61444 add 1.123456789012345E-4 0 -> 0.0001123456789012345 2422 addx61445 add 1.123456789012345E-5 0 -> 0.00001123456789012345 2423 addx61446 add 1.123456789012345E-6 0 -> 0.000001123456789012345 2424 addx61447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7 2425 addx61448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8 2426 addx61449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9 2427 addx61450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10 2428 addx61451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11 2429 addx61452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12 2430 addx61453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13 2431 addx61454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14 2432 addx61455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15 2433 addx61456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16 2434 addx61457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17 2435 addx61458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18 2436 addx61459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19 2437 2438 -- same, Es on the 0 2439 addx61460 add 1.123456789012345 0E-0 -> 1.123456789012345 2440 addx61461 add 1.123456789012345 0E-1 -> 1.123456789012345 2441 addx61462 add 1.123456789012345 0E-2 -> 1.123456789012345 2442 addx61463 add 1.123456789012345 0E-3 -> 1.123456789012345 2443 addx61464 add 1.123456789012345 0E-4 -> 1.123456789012345 2444 addx61465 add 1.123456789012345 0E-5 -> 1.123456789012345 2445 addx61466 add 1.123456789012345 0E-6 -> 1.123456789012345 2446 addx61467 add 1.123456789012345 0E-7 -> 1.123456789012345 2447 addx61468 add 1.123456789012345 0E-8 -> 1.123456789012345 2448 addx61469 add 1.123456789012345 0E-9 -> 1.123456789012345 2449 addx61470 add 1.123456789012345 0E-10 -> 1.123456789012345 2450 addx61471 add 1.123456789012345 0E-11 -> 1.123456789012345 2451 addx61472 add 1.123456789012345 0E-12 -> 1.123456789012345 2452 addx61473 add 1.123456789012345 0E-13 -> 1.123456789012345 2453 addx61474 add 1.123456789012345 0E-14 -> 1.123456789012345 2454 addx61475 add 1.123456789012345 0E-15 -> 1.123456789012345 2455 -- next four flag Rounded because the 0 extends the result 2456 addx61476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded 2457 addx61477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded 2458 addx61478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded 2459 addx61479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded 2460 2461 -- sum of two opposite-sign operands is exactly 0 and floor => -0 2462 rounding: half_up 2463 -- exact zeros from zeros 2464 addx61500 add 0 0E-19 -> 0E-19 2465 addx61501 add -0 0E-19 -> 0E-19 2466 addx61502 add 0 -0E-19 -> 0E-19 2467 addx61503 add -0 -0E-19 -> -0E-19 2468 addx61504 add 0E-400 0E-19 -> 0E-398 Clamped 2469 addx61505 add -0E-400 0E-19 -> 0E-398 Clamped 2470 addx61506 add 0E-400 -0E-19 -> 0E-398 Clamped 2471 addx61507 add -0E-400 -0E-19 -> -0E-398 Clamped 2472 -- inexact zeros 2473 addx61511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2474 addx61512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2475 addx61513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2476 addx61514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2477 -- some exact zeros from non-zeros 2478 addx61515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2479 addx61516 add -1E-401 1E-401 -> 0E-398 Clamped 2480 addx61517 add 1E-401 -1E-401 -> 0E-398 Clamped 2481 addx61518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2482 2483 rounding: half_down 2484 -- exact zeros from zeros 2485 addx61520 add 0 0E-19 -> 0E-19 2486 addx61521 add -0 0E-19 -> 0E-19 2487 addx61522 add 0 -0E-19 -> 0E-19 2488 addx61523 add -0 -0E-19 -> -0E-19 2489 addx61524 add 0E-400 0E-19 -> 0E-398 Clamped 2490 addx61525 add -0E-400 0E-19 -> 0E-398 Clamped 2491 addx61526 add 0E-400 -0E-19 -> 0E-398 Clamped 2492 addx61527 add -0E-400 -0E-19 -> -0E-398 Clamped 2493 -- inexact zeros 2494 addx61531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2495 addx61532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2496 addx61533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2497 addx61534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2498 -- some exact zeros from non-zeros 2499 addx61535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2500 addx61536 add -1E-401 1E-401 -> 0E-398 Clamped 2501 addx61537 add 1E-401 -1E-401 -> 0E-398 Clamped 2502 addx61538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2503 2504 rounding: half_even 2505 -- exact zeros from zeros 2506 addx61540 add 0 0E-19 -> 0E-19 2507 addx61541 add -0 0E-19 -> 0E-19 2508 addx61542 add 0 -0E-19 -> 0E-19 2509 addx61543 add -0 -0E-19 -> -0E-19 2510 addx61544 add 0E-400 0E-19 -> 0E-398 Clamped 2511 addx61545 add -0E-400 0E-19 -> 0E-398 Clamped 2512 addx61546 add 0E-400 -0E-19 -> 0E-398 Clamped 2513 addx61547 add -0E-400 -0E-19 -> -0E-398 Clamped 2514 -- inexact zeros 2515 addx61551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2516 addx61552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2517 addx61553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2518 addx61554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2519 -- some exact zeros from non-zeros 2520 addx61555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2521 addx61556 add -1E-401 1E-401 -> 0E-398 Clamped 2522 addx61557 add 1E-401 -1E-401 -> 0E-398 Clamped 2523 addx61558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2524 2525 rounding: up 2526 -- exact zeros from zeros 2527 addx61560 add 0 0E-19 -> 0E-19 2528 addx61561 add -0 0E-19 -> 0E-19 2529 addx61562 add 0 -0E-19 -> 0E-19 2530 addx61563 add -0 -0E-19 -> -0E-19 2531 addx61564 add 0E-400 0E-19 -> 0E-398 Clamped 2532 addx61565 add -0E-400 0E-19 -> 0E-398 Clamped 2533 addx61566 add 0E-400 -0E-19 -> 0E-398 Clamped 2534 addx61567 add -0E-400 -0E-19 -> -0E-398 Clamped 2535 -- inexact zeros 2536 addx61571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 2537 addx61572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 2538 addx61573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 2539 addx61574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 2540 -- some exact zeros from non-zeros 2541 addx61575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow 2542 addx61576 add -1E-401 1E-401 -> 0E-398 Clamped 2543 addx61577 add 1E-401 -1E-401 -> 0E-398 Clamped 2544 addx61578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow 2545 2546 rounding: down 2547 -- exact zeros from zeros 2548 addx61580 add 0 0E-19 -> 0E-19 2549 addx61581 add -0 0E-19 -> 0E-19 2550 addx61582 add 0 -0E-19 -> 0E-19 2551 addx61583 add -0 -0E-19 -> -0E-19 2552 addx61584 add 0E-400 0E-19 -> 0E-398 Clamped 2553 addx61585 add -0E-400 0E-19 -> 0E-398 Clamped 2554 addx61586 add 0E-400 -0E-19 -> 0E-398 Clamped 2555 addx61587 add -0E-400 -0E-19 -> -0E-398 Clamped 2556 -- inexact zeros 2557 addx61591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2558 addx61592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2559 addx61593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2560 addx61594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2561 -- some exact zeros from non-zeros 2562 addx61595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2563 addx61596 add -1E-401 1E-401 -> 0E-398 Clamped 2564 addx61597 add 1E-401 -1E-401 -> 0E-398 Clamped 2565 addx61598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2566 2567 rounding: ceiling 2568 -- exact zeros from zeros 2569 addx61600 add 0 0E-19 -> 0E-19 2570 addx61601 add -0 0E-19 -> 0E-19 2571 addx61602 add 0 -0E-19 -> 0E-19 2572 addx61603 add -0 -0E-19 -> -0E-19 2573 addx61604 add 0E-400 0E-19 -> 0E-398 Clamped 2574 addx61605 add -0E-400 0E-19 -> 0E-398 Clamped 2575 addx61606 add 0E-400 -0E-19 -> 0E-398 Clamped 2576 addx61607 add -0E-400 -0E-19 -> -0E-398 Clamped 2577 -- inexact zeros 2578 addx61611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 2579 addx61612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow 2580 addx61613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2581 addx61614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2582 -- some exact zeros from non-zeros 2583 addx61615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow 2584 addx61616 add -1E-401 1E-401 -> 0E-398 Clamped 2585 addx61617 add 1E-401 -1E-401 -> 0E-398 Clamped 2586 addx61618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped 2587 2588 -- and the extra-special ugly case; unusual minuses marked by -- * 2589 rounding: floor 2590 -- exact zeros from zeros 2591 addx61620 add 0 0E-19 -> 0E-19 2592 addx61621 add -0 0E-19 -> -0E-19 -- * 2593 addx61622 add 0 -0E-19 -> -0E-19 -- * 2594 addx61623 add -0 -0E-19 -> -0E-19 2595 addx61624 add 0E-400 0E-19 -> 0E-398 Clamped 2596 addx61625 add -0E-400 0E-19 -> -0E-398 Clamped -- * 2597 addx61626 add 0E-400 -0E-19 -> -0E-398 Clamped -- * 2598 addx61627 add -0E-400 -0E-19 -> -0E-398 Clamped 2599 -- inexact zeros 2600 addx61631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2601 addx61632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2602 addx61633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 2603 addx61634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow 2604 -- some exact zeros from non-zeros 2605 addx61635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped 2606 addx61636 add -1E-401 1E-401 -> -0E-398 Clamped -- * 2607 addx61637 add 1E-401 -1E-401 -> -0E-398 Clamped -- * 2608 addx61638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow 2609 2610 -- Examples from SQL proposal (Krishna Kulkarni) 2611 addx61701 add 130E-2 120E-2 -> 2.50 2612 addx61702 add 130E-2 12E-1 -> 2.50 2613 addx61703 add 130E-2 1E0 -> 2.30 2614 addx61704 add 1E2 1E4 -> 1.01E+4 2615 addx61705 subtract 130E-2 120E-2 -> 0.10 2616 addx61706 subtract 130E-2 12E-1 -> 0.10 2617 addx61707 subtract 130E-2 1E0 -> 0.30 2618 addx61708 subtract 1E2 1E4 -> -9.9E+3 2619 2620 -- Gappy coefficients; check residue handling even with full coefficient gap 2621 rounding: half_even 2622 2623 addx62001 add 1234567890123456 1 -> 1234567890123457 2624 addx62002 add 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded 2625 addx62003 add 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded 2626 addx62004 add 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded 2627 addx62005 add 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded 2628 addx62006 add 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded 2629 addx62007 add 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded 2630 addx62008 add 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded 2631 addx62009 add 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded 2632 addx62010 add 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded 2633 addx62011 add 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded 2634 addx62012 add 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded 2635 addx62013 add 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded 2636 addx62014 add 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded 2637 addx62015 add 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded 2638 addx62016 add 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded 2639 addx62017 add 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded 2640 addx62018 add 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded 2641 addx62019 add 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded 2642 addx62020 add 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded 2643 addx62021 add 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded 2644 2645 -- widening second argument at gap 2646 addx62030 add 12345678 1 -> 12345679 2647 addx62031 add 12345678 0.1 -> 12345678.1 2648 addx62032 add 12345678 0.12 -> 12345678.12 2649 addx62033 add 12345678 0.123 -> 12345678.123 2650 addx62034 add 12345678 0.1234 -> 12345678.1234 2651 addx62035 add 12345678 0.12345 -> 12345678.12345 2652 addx62036 add 12345678 0.123456 -> 12345678.123456 2653 addx62037 add 12345678 0.1234567 -> 12345678.1234567 2654 addx62038 add 12345678 0.12345678 -> 12345678.12345678 2655 addx62039 add 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded 2656 addx62040 add 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded 2657 addx62041 add 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded 2658 addx62042 add 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded 2659 addx62043 add 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded 2660 addx62044 add 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded 2661 addx62045 add 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded 2662 addx62046 add 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded 2663 addx62047 add 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded 2664 addx62048 add 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded 2665 addx62049 add 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded 2666 -- 90123456 2667 rounding: half_even 2668 addx62050 add 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded 2669 addx62051 add 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded 2670 addx62052 add 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded 2671 addx62053 add 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded 2672 addx62054 add 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded 2673 addx62055 add 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded 2674 addx62056 add 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded 2675 addx62057 add 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded 2676 addx62060 add 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded 2677 addx62061 add 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded 2678 addx62062 add 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded 2679 addx62063 add 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded 2680 addx62064 add 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded 2681 addx62065 add 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded 2682 addx62066 add 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded 2683 addx62067 add 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded 2684 -- far-out residues (full coefficient gap is 16+15 digits) 2685 rounding: up 2686 addx62070 add 12345678 1E-8 -> 12345678.00000001 2687 addx62071 add 12345678 1E-9 -> 12345678.00000001 Inexact Rounded 2688 addx62072 add 12345678 1E-10 -> 12345678.00000001 Inexact Rounded 2689 addx62073 add 12345678 1E-11 -> 12345678.00000001 Inexact Rounded 2690 addx62074 add 12345678 1E-12 -> 12345678.00000001 Inexact Rounded 2691 addx62075 add 12345678 1E-13 -> 12345678.00000001 Inexact Rounded 2692 addx62076 add 12345678 1E-14 -> 12345678.00000001 Inexact Rounded 2693 addx62077 add 12345678 1E-15 -> 12345678.00000001 Inexact Rounded 2694 addx62078 add 12345678 1E-16 -> 12345678.00000001 Inexact Rounded 2695 addx62079 add 12345678 1E-17 -> 12345678.00000001 Inexact Rounded 2696 addx62080 add 12345678 1E-18 -> 12345678.00000001 Inexact Rounded 2697 addx62081 add 12345678 1E-19 -> 12345678.00000001 Inexact Rounded 2698 addx62082 add 12345678 1E-20 -> 12345678.00000001 Inexact Rounded 2699 addx62083 add 12345678 1E-25 -> 12345678.00000001 Inexact Rounded 2700 addx62084 add 12345678 1E-30 -> 12345678.00000001 Inexact Rounded 2701 addx62085 add 12345678 1E-31 -> 12345678.00000001 Inexact Rounded 2702 addx62086 add 12345678 1E-32 -> 12345678.00000001 Inexact Rounded 2703 addx62087 add 12345678 1E-33 -> 12345678.00000001 Inexact Rounded 2704 addx62088 add 12345678 1E-34 -> 12345678.00000001 Inexact Rounded 2705 addx62089 add 12345678 1E-35 -> 12345678.00000001 Inexact Rounded 2706 2707 -- payload decapitate 2708 precision: 5 2709 addx62100 add 11 sNaN123456789 -> NaN56789 Invalid_operation 2710 addx62101 add -11 -sNaN123456789 -> -NaN56789 Invalid_operation 2711 addx62102 add 11 NaN123456789 -> NaN56789 2712 addx62103 add -11 -NaN123456789 -> -NaN56789 2713 2714 -- Null tests 2715 addx9990 add 10 # -> NaN Invalid_operation 2716 addx9991 add # 10 -> NaN Invalid_operation 2717
