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