| 1 | ------------------------------------------------------------------------
|
|---|
| 2 | -- divide.decTest -- decimal division --
|
|---|
| 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
|---|
| 4 | ------------------------------------------------------------------------
|
|---|
| 5 | -- Please see the document "General Decimal Arithmetic Testcases" --
|
|---|
| 6 | -- at http://www2.hursley.ibm.com/decimal for the description of --
|
|---|
| 7 | -- these testcases. --
|
|---|
| 8 | -- --
|
|---|
| 9 | -- These testcases are experimental ('beta' versions), and they --
|
|---|
| 10 | -- may contain errors. They are offered on an as-is basis. In --
|
|---|
| 11 | -- particular, achieving the same results as the tests here is not --
|
|---|
| 12 | -- a guarantee that an implementation complies with any Standard --
|
|---|
| 13 | -- or specification. The tests are not exhaustive. --
|
|---|
| 14 | -- --
|
|---|
| 15 | -- Please send comments, suggestions, and corrections to the author: --
|
|---|
| 16 | -- Mike Cowlishaw, IBM Fellow --
|
|---|
| 17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
|
|---|
| 18 | -- mfc@uk.ibm.com --
|
|---|
| 19 | ------------------------------------------------------------------------
|
|---|
| 20 | version: 2.59
|
|---|
| 21 |
|
|---|
| 22 | extended: 1
|
|---|
| 23 | precision: 9
|
|---|
| 24 | rounding: half_up
|
|---|
| 25 | maxExponent: 384
|
|---|
| 26 | minexponent: -383
|
|---|
| 27 |
|
|---|
| 28 | -- sanity checks
|
|---|
| 29 | divx001 divide 1 1 -> 1
|
|---|
| 30 | divx002 divide 2 1 -> 2
|
|---|
| 31 | divx003 divide 1 2 -> 0.5
|
|---|
| 32 | divx004 divide 2 2 -> 1
|
|---|
| 33 | divx005 divide 0 1 -> 0
|
|---|
| 34 | divx006 divide 0 2 -> 0
|
|---|
| 35 | divx007 divide 1 3 -> 0.333333333 Inexact Rounded
|
|---|
| 36 | divx008 divide 2 3 -> 0.666666667 Inexact Rounded
|
|---|
| 37 | divx009 divide 3 3 -> 1
|
|---|
| 38 |
|
|---|
| 39 | divx010 divide 2.4 1 -> 2.4
|
|---|
| 40 | divx011 divide 2.4 -1 -> -2.4
|
|---|
| 41 | divx012 divide -2.4 1 -> -2.4
|
|---|
| 42 | divx013 divide -2.4 -1 -> 2.4
|
|---|
| 43 | divx014 divide 2.40 1 -> 2.40
|
|---|
| 44 | divx015 divide 2.400 1 -> 2.400
|
|---|
| 45 | divx016 divide 2.4 2 -> 1.2
|
|---|
| 46 | divx017 divide 2.400 2 -> 1.200
|
|---|
| 47 | divx018 divide 2. 2 -> 1
|
|---|
| 48 | divx019 divide 20 20 -> 1
|
|---|
| 49 |
|
|---|
| 50 | divx020 divide 187 187 -> 1
|
|---|
| 51 | divx021 divide 5 2 -> 2.5
|
|---|
| 52 | divx022 divide 50 20 -> 2.5
|
|---|
| 53 | divx023 divide 500 200 -> 2.5
|
|---|
| 54 | divx024 divide 50.0 20.0 -> 2.5
|
|---|
| 55 | divx025 divide 5.00 2.00 -> 2.5
|
|---|
| 56 | divx026 divide 5 2.0 -> 2.5
|
|---|
| 57 | divx027 divide 5 2.000 -> 2.5
|
|---|
| 58 | divx028 divide 5 0.20 -> 25
|
|---|
| 59 | divx029 divide 5 0.200 -> 25
|
|---|
| 60 | divx030 divide 10 1 -> 10
|
|---|
| 61 | divx031 divide 100 1 -> 100
|
|---|
| 62 | divx032 divide 1000 1 -> 1000
|
|---|
| 63 | divx033 divide 1000 100 -> 10
|
|---|
| 64 |
|
|---|
| 65 | divx035 divide 1 2 -> 0.5
|
|---|
| 66 | divx036 divide 1 4 -> 0.25
|
|---|
| 67 | divx037 divide 1 8 -> 0.125
|
|---|
| 68 | divx038 divide 1 16 -> 0.0625
|
|---|
| 69 | divx039 divide 1 32 -> 0.03125
|
|---|
| 70 | divx040 divide 1 64 -> 0.015625
|
|---|
| 71 | divx041 divide 1 -2 -> -0.5
|
|---|
| 72 | divx042 divide 1 -4 -> -0.25
|
|---|
| 73 | divx043 divide 1 -8 -> -0.125
|
|---|
| 74 | divx044 divide 1 -16 -> -0.0625
|
|---|
| 75 | divx045 divide 1 -32 -> -0.03125
|
|---|
| 76 | divx046 divide 1 -64 -> -0.015625
|
|---|
| 77 | divx047 divide -1 2 -> -0.5
|
|---|
| 78 | divx048 divide -1 4 -> -0.25
|
|---|
| 79 | divx049 divide -1 8 -> -0.125
|
|---|
| 80 | divx050 divide -1 16 -> -0.0625
|
|---|
| 81 | divx051 divide -1 32 -> -0.03125
|
|---|
| 82 | divx052 divide -1 64 -> -0.015625
|
|---|
| 83 | divx053 divide -1 -2 -> 0.5
|
|---|
| 84 | divx054 divide -1 -4 -> 0.25
|
|---|
| 85 | divx055 divide -1 -8 -> 0.125
|
|---|
| 86 | divx056 divide -1 -16 -> 0.0625
|
|---|
| 87 | divx057 divide -1 -32 -> 0.03125
|
|---|
| 88 | divx058 divide -1 -64 -> 0.015625
|
|---|
| 89 |
|
|---|
| 90 | divx070 divide 999999999 1 -> 999999999
|
|---|
| 91 | divx071 divide 999999999.4 1 -> 999999999 Inexact Rounded
|
|---|
| 92 | divx072 divide 999999999.5 1 -> 1.00000000E+9 Inexact Rounded
|
|---|
| 93 | divx073 divide 999999999.9 1 -> 1.00000000E+9 Inexact Rounded
|
|---|
| 94 | divx074 divide 999999999.999 1 -> 1.00000000E+9 Inexact Rounded
|
|---|
| 95 | precision: 6
|
|---|
| 96 | divx080 divide 999999999 1 -> 1.00000E+9 Inexact Rounded
|
|---|
| 97 | divx081 divide 99999999 1 -> 1.00000E+8 Inexact Rounded
|
|---|
| 98 | divx082 divide 9999999 1 -> 1.00000E+7 Inexact Rounded
|
|---|
| 99 | divx083 divide 999999 1 -> 999999
|
|---|
| 100 | divx084 divide 99999 1 -> 99999
|
|---|
| 101 | divx085 divide 9999 1 -> 9999
|
|---|
| 102 | divx086 divide 999 1 -> 999
|
|---|
| 103 | divx087 divide 99 1 -> 99
|
|---|
| 104 | divx088 divide 9 1 -> 9
|
|---|
| 105 |
|
|---|
| 106 | precision: 9
|
|---|
| 107 | divx090 divide 0. 1 -> 0
|
|---|
| 108 | divx091 divide .0 1 -> 0.0
|
|---|
| 109 | divx092 divide 0.00 1 -> 0.00
|
|---|
| 110 | divx093 divide 0.00E+9 1 -> 0E+7
|
|---|
| 111 | divx094 divide 0.0000E-50 1 -> 0E-54
|
|---|
| 112 |
|
|---|
| 113 | divx095 divide 1 1E-8 -> 1E+8
|
|---|
| 114 | divx096 divide 1 1E-9 -> 1E+9
|
|---|
| 115 | divx097 divide 1 1E-10 -> 1E+10
|
|---|
| 116 | divx098 divide 1 1E-11 -> 1E+11
|
|---|
| 117 | divx099 divide 1 1E-12 -> 1E+12
|
|---|
| 118 |
|
|---|
| 119 | divx100 divide 1 1 -> 1
|
|---|
| 120 | divx101 divide 1 2 -> 0.5
|
|---|
| 121 | divx102 divide 1 3 -> 0.333333333 Inexact Rounded
|
|---|
| 122 | divx103 divide 1 4 -> 0.25
|
|---|
| 123 | divx104 divide 1 5 -> 0.2
|
|---|
| 124 | divx105 divide 1 6 -> 0.166666667 Inexact Rounded
|
|---|
| 125 | divx106 divide 1 7 -> 0.142857143 Inexact Rounded
|
|---|
| 126 | divx107 divide 1 8 -> 0.125
|
|---|
| 127 | divx108 divide 1 9 -> 0.111111111 Inexact Rounded
|
|---|
| 128 | divx109 divide 1 10 -> 0.1
|
|---|
| 129 | divx110 divide 1 1 -> 1
|
|---|
| 130 | divx111 divide 2 1 -> 2
|
|---|
| 131 | divx112 divide 3 1 -> 3
|
|---|
| 132 | divx113 divide 4 1 -> 4
|
|---|
| 133 | divx114 divide 5 1 -> 5
|
|---|
| 134 | divx115 divide 6 1 -> 6
|
|---|
| 135 | divx116 divide 7 1 -> 7
|
|---|
| 136 | divx117 divide 8 1 -> 8
|
|---|
| 137 | divx118 divide 9 1 -> 9
|
|---|
| 138 | divx119 divide 10 1 -> 10
|
|---|
| 139 |
|
|---|
| 140 | divx120 divide 3E+1 0.001 -> 3E+4
|
|---|
| 141 | divx121 divide 2.200 2 -> 1.100
|
|---|
| 142 |
|
|---|
| 143 | divx130 divide 12345 4.999 -> 2469.49390 Inexact Rounded
|
|---|
| 144 | divx131 divide 12345 4.99 -> 2473.94790 Inexact Rounded
|
|---|
| 145 | divx132 divide 12345 4.9 -> 2519.38776 Inexact Rounded
|
|---|
| 146 | divx133 divide 12345 5 -> 2469
|
|---|
| 147 | divx134 divide 12345 5.1 -> 2420.58824 Inexact Rounded
|
|---|
| 148 | divx135 divide 12345 5.01 -> 2464.07186 Inexact Rounded
|
|---|
| 149 | divx136 divide 12345 5.001 -> 2468.50630 Inexact Rounded
|
|---|
| 150 |
|
|---|
| 151 | precision: 9
|
|---|
| 152 | maxexponent: 999999999
|
|---|
| 153 | minexponent: -999999999
|
|---|
| 154 |
|
|---|
| 155 | -- test possibly imprecise results
|
|---|
| 156 | divx220 divide 391 597 -> 0.654941374 Inexact Rounded
|
|---|
| 157 | divx221 divide 391 -597 -> -0.654941374 Inexact Rounded
|
|---|
| 158 | divx222 divide -391 597 -> -0.654941374 Inexact Rounded
|
|---|
| 159 | divx223 divide -391 -597 -> 0.654941374 Inexact Rounded
|
|---|
| 160 |
|
|---|
| 161 | -- test some cases that are close to exponent overflow
|
|---|
| 162 | maxexponent: 999999999
|
|---|
| 163 | minexponent: -999999999
|
|---|
| 164 | divx270 divide 1 1e999999999 -> 1E-999999999
|
|---|
| 165 | divx271 divide 1 0.9e999999999 -> 1.11111111E-999999999 Inexact Rounded
|
|---|
| 166 | divx272 divide 1 0.99e999999999 -> 1.01010101E-999999999 Inexact Rounded
|
|---|
| 167 | divx273 divide 1 0.999999999e999999999 -> 1.00000000E-999999999 Inexact Rounded
|
|---|
| 168 | divx274 divide 9e999999999 1 -> 9E+999999999
|
|---|
| 169 | divx275 divide 9.9e999999999 1 -> 9.9E+999999999
|
|---|
| 170 | divx276 divide 9.99e999999999 1 -> 9.99E+999999999
|
|---|
| 171 | divx277 divide 9.99999999e999999999 1 -> 9.99999999E+999999999
|
|---|
| 172 |
|
|---|
| 173 | divx280 divide 0.1 9e-999999999 -> 1.11111111E+999999997 Inexact Rounded
|
|---|
| 174 | divx281 divide 0.1 99e-999999999 -> 1.01010101E+999999996 Inexact Rounded
|
|---|
| 175 | divx282 divide 0.1 999e-999999999 -> 1.00100100E+999999995 Inexact Rounded
|
|---|
| 176 |
|
|---|
| 177 | divx283 divide 0.1 9e-999999998 -> 1.11111111E+999999996 Inexact Rounded
|
|---|
| 178 | divx284 divide 0.1 99e-999999998 -> 1.01010101E+999999995 Inexact Rounded
|
|---|
| 179 | divx285 divide 0.1 999e-999999998 -> 1.00100100E+999999994 Inexact Rounded
|
|---|
| 180 | divx286 divide 0.1 999e-999999997 -> 1.00100100E+999999993 Inexact Rounded
|
|---|
| 181 | divx287 divide 0.1 9999e-999999997 -> 1.00010001E+999999992 Inexact Rounded
|
|---|
| 182 | divx288 divide 0.1 99999e-999999997 -> 1.00001000E+999999991 Inexact Rounded
|
|---|
| 183 |
|
|---|
| 184 | -- Divide into 0 tests
|
|---|
| 185 |
|
|---|
| 186 | divx301 divide 0 7 -> 0
|
|---|
| 187 | divx302 divide 0 7E-5 -> 0E+5
|
|---|
| 188 | divx303 divide 0 7E-1 -> 0E+1
|
|---|
| 189 | divx304 divide 0 7E+1 -> 0.0
|
|---|
| 190 | divx305 divide 0 7E+5 -> 0.00000
|
|---|
| 191 | divx306 divide 0 7E+6 -> 0.000000
|
|---|
| 192 | divx307 divide 0 7E+7 -> 0E-7
|
|---|
| 193 | divx308 divide 0 70E-5 -> 0E+5
|
|---|
| 194 | divx309 divide 0 70E-1 -> 0E+1
|
|---|
| 195 | divx310 divide 0 70E+0 -> 0
|
|---|
| 196 | divx311 divide 0 70E+1 -> 0.0
|
|---|
| 197 | divx312 divide 0 70E+5 -> 0.00000
|
|---|
| 198 | divx313 divide 0 70E+6 -> 0.000000
|
|---|
| 199 | divx314 divide 0 70E+7 -> 0E-7
|
|---|
| 200 | divx315 divide 0 700E-5 -> 0E+5
|
|---|
| 201 | divx316 divide 0 700E-1 -> 0E+1
|
|---|
| 202 | divx317 divide 0 700E+0 -> 0
|
|---|
| 203 | divx318 divide 0 700E+1 -> 0.0
|
|---|
| 204 | divx319 divide 0 700E+5 -> 0.00000
|
|---|
| 205 | divx320 divide 0 700E+6 -> 0.000000
|
|---|
| 206 | divx321 divide 0 700E+7 -> 0E-7
|
|---|
| 207 | divx322 divide 0 700E+77 -> 0E-77
|
|---|
| 208 |
|
|---|
| 209 | divx331 divide 0E-3 7E-5 -> 0E+2
|
|---|
| 210 | divx332 divide 0E-3 7E-1 -> 0.00
|
|---|
| 211 | divx333 divide 0E-3 7E+1 -> 0.0000
|
|---|
| 212 | divx334 divide 0E-3 7E+5 -> 0E-8
|
|---|
| 213 | divx335 divide 0E-1 7E-5 -> 0E+4
|
|---|
| 214 | divx336 divide 0E-1 7E-1 -> 0
|
|---|
| 215 | divx337 divide 0E-1 7E+1 -> 0.00
|
|---|
| 216 | divx338 divide 0E-1 7E+5 -> 0.000000
|
|---|
| 217 | divx339 divide 0E+1 7E-5 -> 0E+6
|
|---|
| 218 | divx340 divide 0E+1 7E-1 -> 0E+2
|
|---|
| 219 | divx341 divide 0E+1 7E+1 -> 0
|
|---|
| 220 | divx342 divide 0E+1 7E+5 -> 0.0000
|
|---|
| 221 | divx343 divide 0E+3 7E-5 -> 0E+8
|
|---|
| 222 | divx344 divide 0E+3 7E-1 -> 0E+4
|
|---|
| 223 | divx345 divide 0E+3 7E+1 -> 0E+2
|
|---|
| 224 | divx346 divide 0E+3 7E+5 -> 0.00
|
|---|
| 225 |
|
|---|
| 226 | maxexponent: 92
|
|---|
| 227 | minexponent: -92
|
|---|
| 228 | precision: 7
|
|---|
| 229 | divx351 divide 0E-92 7E-1 -> 0E-91
|
|---|
| 230 | divx352 divide 0E-92 7E+1 -> 0E-93
|
|---|
| 231 | divx353 divide 0E-92 7E+5 -> 0E-97
|
|---|
| 232 | divx354 divide 0E-92 7E+6 -> 0E-98
|
|---|
| 233 | divx355 divide 0E-92 7E+7 -> 0E-98 Clamped
|
|---|
| 234 | divx356 divide 0E-92 777E-1 -> 0E-91
|
|---|
| 235 | divx357 divide 0E-92 777E+1 -> 0E-93
|
|---|
| 236 | divx358 divide 0E-92 777E+3 -> 0E-95
|
|---|
| 237 | divx359 divide 0E-92 777E+4 -> 0E-96
|
|---|
| 238 | divx360 divide 0E-92 777E+5 -> 0E-97
|
|---|
| 239 | divx361 divide 0E-92 777E+6 -> 0E-98
|
|---|
| 240 | divx362 divide 0E-92 777E+7 -> 0E-98 Clamped
|
|---|
| 241 | divx363 divide 0E-92 7E+92 -> 0E-98 Clamped
|
|---|
| 242 |
|
|---|
| 243 | divx371 divide 0E-92 700E-1 -> 0E-91
|
|---|
| 244 | divx372 divide 0E-92 700E+1 -> 0E-93
|
|---|
| 245 | divx373 divide 0E-92 700E+3 -> 0E-95
|
|---|
| 246 | divx374 divide 0E-92 700E+4 -> 0E-96
|
|---|
| 247 | divx375 divide 0E-92 700E+5 -> 0E-97
|
|---|
| 248 | divx376 divide 0E-92 700E+6 -> 0E-98
|
|---|
| 249 | divx377 divide 0E-92 700E+7 -> 0E-98 Clamped
|
|---|
| 250 |
|
|---|
| 251 | divx381 divide 0E+92 7E+1 -> 0E+91
|
|---|
| 252 | divx382 divide 0E+92 7E+0 -> 0E+92
|
|---|
| 253 | divx383 divide 0E+92 7E-1 -> 0E+92 Clamped
|
|---|
| 254 | divx384 divide 0E+90 777E+1 -> 0E+89
|
|---|
| 255 | divx385 divide 0E+90 777E-1 -> 0E+91
|
|---|
| 256 | divx386 divide 0E+90 777E-2 -> 0E+92
|
|---|
| 257 | divx387 divide 0E+90 777E-3 -> 0E+92 Clamped
|
|---|
| 258 | divx388 divide 0E+90 777E-4 -> 0E+92 Clamped
|
|---|
| 259 |
|
|---|
| 260 | divx391 divide 0E+90 700E+1 -> 0E+89
|
|---|
| 261 | divx392 divide 0E+90 700E-1 -> 0E+91
|
|---|
| 262 | divx393 divide 0E+90 700E-2 -> 0E+92
|
|---|
| 263 | divx394 divide 0E+90 700E-3 -> 0E+92 Clamped
|
|---|
| 264 | divx395 divide 0E+90 700E-4 -> 0E+92 Clamped
|
|---|
| 265 |
|
|---|
| 266 | -- input rounding checks
|
|---|
| 267 | maxexponent: 999
|
|---|
| 268 | minexponent: -999
|
|---|
| 269 | precision: 9
|
|---|
| 270 | divx401 divide 12345678000 1 -> 1.23456780E+10 Rounded
|
|---|
| 271 | divx402 divide 1 12345678000 -> 8.10000066E-11 Inexact Rounded
|
|---|
| 272 | divx403 divide 1234567800 1 -> 1.23456780E+9 Rounded
|
|---|
| 273 | divx404 divide 1 1234567800 -> 8.10000066E-10 Inexact Rounded
|
|---|
| 274 | divx405 divide 1234567890 1 -> 1.23456789E+9 Rounded
|
|---|
| 275 | divx406 divide 1 1234567890 -> 8.10000007E-10 Inexact Rounded
|
|---|
| 276 | divx407 divide 1234567891 1 -> 1.23456789E+9 Inexact Rounded
|
|---|
| 277 | divx408 divide 1 1234567891 -> 8.10000007E-10 Inexact Rounded
|
|---|
| 278 | divx409 divide 12345678901 1 -> 1.23456789E+10 Inexact Rounded
|
|---|
| 279 | divx410 divide 1 12345678901 -> 8.10000007E-11 Inexact Rounded
|
|---|
| 280 | divx411 divide 1234567896 1 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 281 | divx412 divide 1 1234567896 -> 8.10000003E-10 Inexact Rounded
|
|---|
| 282 | divx413 divide 1 1234567897 -> 8.10000003E-10 Inexact Rounded
|
|---|
| 283 | divx414 divide 1 1234567898 -> 8.10000002E-10 Inexact Rounded
|
|---|
| 284 | divx415 divide 1 1234567899 -> 8.10000001E-10 Inexact Rounded
|
|---|
| 285 | divx416 divide 1 1234567900 -> 8.10000001E-10 Inexact Rounded
|
|---|
| 286 | divx417 divide 1 1234567901 -> 8.10000000E-10 Inexact Rounded
|
|---|
| 287 | divx418 divide 1 1234567902 -> 8.09999999E-10 Inexact Rounded
|
|---|
| 288 | -- some longies
|
|---|
| 289 | divx421 divide 1234567896.000000000000 1 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 290 | divx422 divide 1 1234567896.000000000000 -> 8.10000003E-10 Inexact Rounded
|
|---|
| 291 | divx423 divide 1234567896.000000000001 1 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 292 | divx424 divide 1 1234567896.000000000001 -> 8.10000003E-10 Inexact Rounded
|
|---|
| 293 | divx425 divide 1234567896.000000000000000000000000000000000000000009 1 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 294 | divx426 divide 1 1234567896.000000000000000000000000000000000000000009 -> 8.10000003E-10 Inexact Rounded
|
|---|
| 295 | divx427 divide 1234567897.900010000000000000000000000000000000000009 1 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 296 | divx428 divide 1 1234567897.900010000000000000000000000000000000000009 -> 8.10000002E-10 Inexact Rounded
|
|---|
| 297 |
|
|---|
| 298 | precision: 15
|
|---|
| 299 | -- still checking...
|
|---|
| 300 | divx441 divide 12345678000 1 -> 12345678000
|
|---|
| 301 | divx442 divide 1 12345678000 -> 8.10000066420005E-11 Inexact Rounded
|
|---|
| 302 | divx443 divide 1234567800 1 -> 1234567800
|
|---|
| 303 | divx444 divide 1 1234567800 -> 8.10000066420005E-10 Inexact Rounded
|
|---|
| 304 | divx445 divide 1234567890 1 -> 1234567890
|
|---|
| 305 | divx446 divide 1 1234567890 -> 8.10000007371000E-10 Inexact Rounded
|
|---|
| 306 | divx447 divide 1234567891 1 -> 1234567891
|
|---|
| 307 | divx448 divide 1 1234567891 -> 8.10000006714900E-10 Inexact Rounded
|
|---|
| 308 | divx449 divide 12345678901 1 -> 12345678901
|
|---|
| 309 | divx450 divide 1 12345678901 -> 8.10000007305390E-11 Inexact Rounded
|
|---|
| 310 | divx451 divide 1234567896 1 -> 1234567896
|
|---|
| 311 | divx452 divide 1 1234567896 -> 8.10000003434400E-10 Inexact Rounded
|
|---|
| 312 |
|
|---|
| 313 | -- high-lows
|
|---|
| 314 | divx453 divide 1e+1 1 -> 1E+1
|
|---|
| 315 | divx454 divide 1e+1 1.0 -> 1E+1
|
|---|
| 316 | divx455 divide 1e+1 1.00 -> 1E+1
|
|---|
| 317 | divx456 divide 1e+2 2 -> 5E+1
|
|---|
| 318 | divx457 divide 1e+2 2.0 -> 5E+1
|
|---|
| 319 | divx458 divide 1e+2 2.00 -> 5E+1
|
|---|
| 320 |
|
|---|
| 321 | -- some from IEEE discussions
|
|---|
| 322 | divx460 divide 3e0 2e0 -> 1.5
|
|---|
| 323 | divx461 divide 30e-1 2e0 -> 1.5
|
|---|
| 324 | divx462 divide 300e-2 2e0 -> 1.50
|
|---|
| 325 | divx464 divide 3000e-3 2e0 -> 1.500
|
|---|
| 326 | divx465 divide 3e0 20e-1 -> 1.5
|
|---|
| 327 | divx466 divide 30e-1 20e-1 -> 1.5
|
|---|
| 328 | divx467 divide 300e-2 20e-1 -> 1.5
|
|---|
| 329 | divx468 divide 3000e-3 20e-1 -> 1.50
|
|---|
| 330 | divx469 divide 3e0 200e-2 -> 1.5
|
|---|
| 331 | divx470 divide 30e-1 200e-2 -> 1.5
|
|---|
| 332 | divx471 divide 300e-2 200e-2 -> 1.5
|
|---|
| 333 | divx472 divide 3000e-3 200e-2 -> 1.5
|
|---|
| 334 | divx473 divide 3e0 2000e-3 -> 1.5
|
|---|
| 335 | divx474 divide 30e-1 2000e-3 -> 1.5
|
|---|
| 336 | divx475 divide 300e-2 2000e-3 -> 1.5
|
|---|
| 337 | divx476 divide 3000e-3 2000e-3 -> 1.5
|
|---|
| 338 |
|
|---|
| 339 | -- some reciprocals
|
|---|
| 340 | divx480 divide 1 1.0E+33 -> 1E-33
|
|---|
| 341 | divx481 divide 1 10E+33 -> 1E-34
|
|---|
| 342 | divx482 divide 1 1.0E-33 -> 1E+33
|
|---|
| 343 | divx483 divide 1 10E-33 -> 1E+32
|
|---|
| 344 |
|
|---|
| 345 | -- RMS discussion table
|
|---|
| 346 | maxexponent: 96
|
|---|
| 347 | minexponent: -95
|
|---|
| 348 | precision: 7
|
|---|
| 349 |
|
|---|
| 350 | divx484 divide 0e5 1e3 -> 0E+2
|
|---|
| 351 | divx485 divide 0e5 2e3 -> 0E+2
|
|---|
| 352 | divx486 divide 0e5 10e2 -> 0E+3
|
|---|
| 353 | divx487 divide 0e5 20e2 -> 0E+3
|
|---|
| 354 | divx488 divide 0e5 100e1 -> 0E+4
|
|---|
| 355 | divx489 divide 0e5 200e1 -> 0E+4
|
|---|
| 356 |
|
|---|
| 357 | divx491 divide 1e5 1e3 -> 1E+2
|
|---|
| 358 | divx492 divide 1e5 2e3 -> 5E+1
|
|---|
| 359 | divx493 divide 1e5 10e2 -> 1E+2
|
|---|
| 360 | divx494 divide 1e5 20e2 -> 5E+1
|
|---|
| 361 | divx495 divide 1e5 100e1 -> 1E+2
|
|---|
| 362 | divx496 divide 1e5 200e1 -> 5E+1
|
|---|
| 363 |
|
|---|
| 364 | -- tryzeros cases
|
|---|
| 365 | precision: 7
|
|---|
| 366 | rounding: half_up
|
|---|
| 367 | maxExponent: 92
|
|---|
| 368 | minexponent: -92
|
|---|
| 369 | divx497 divide 0E+86 1000E-13 -> 0E+92 Clamped
|
|---|
| 370 | divx498 divide 0E-98 1000E+13 -> 0E-98 Clamped
|
|---|
| 371 |
|
|---|
| 372 | precision: 9
|
|---|
| 373 | rounding: half_up
|
|---|
| 374 | maxExponent: 999
|
|---|
| 375 | minexponent: -999
|
|---|
| 376 |
|
|---|
| 377 | -- focus on trailing zeros issues
|
|---|
| 378 | precision: 9
|
|---|
| 379 | divx500 divide 1 9.9 -> 0.101010101 Inexact Rounded
|
|---|
| 380 | precision: 8
|
|---|
| 381 | divx501 divide 1 9.9 -> 0.10101010 Inexact Rounded
|
|---|
| 382 | precision: 7
|
|---|
| 383 | divx502 divide 1 9.9 -> 0.1010101 Inexact Rounded
|
|---|
| 384 | precision: 6
|
|---|
| 385 | divx503 divide 1 9.9 -> 0.101010 Inexact Rounded
|
|---|
| 386 | precision: 9
|
|---|
| 387 |
|
|---|
| 388 | divx511 divide 1 2 -> 0.5
|
|---|
| 389 | divx512 divide 1.0 2 -> 0.5
|
|---|
| 390 | divx513 divide 1.00 2 -> 0.50
|
|---|
| 391 | divx514 divide 1.000 2 -> 0.500
|
|---|
| 392 | divx515 divide 1.0000 2 -> 0.5000
|
|---|
| 393 | divx516 divide 1.00000 2 -> 0.50000
|
|---|
| 394 | divx517 divide 1.000000 2 -> 0.500000
|
|---|
| 395 | divx518 divide 1.0000000 2 -> 0.5000000
|
|---|
| 396 | divx519 divide 1.00 2.00 -> 0.5
|
|---|
| 397 |
|
|---|
| 398 | divx521 divide 2 1 -> 2
|
|---|
| 399 | divx522 divide 2 1.0 -> 2
|
|---|
| 400 | divx523 divide 2 1.00 -> 2
|
|---|
| 401 | divx524 divide 2 1.000 -> 2
|
|---|
| 402 | divx525 divide 2 1.0000 -> 2
|
|---|
| 403 | divx526 divide 2 1.00000 -> 2
|
|---|
| 404 | divx527 divide 2 1.000000 -> 2
|
|---|
| 405 | divx528 divide 2 1.0000000 -> 2
|
|---|
| 406 | divx529 divide 2.00 1.00 -> 2
|
|---|
| 407 |
|
|---|
| 408 | divx530 divide 2.40 2 -> 1.20
|
|---|
| 409 | divx531 divide 2.40 4 -> 0.60
|
|---|
| 410 | divx532 divide 2.40 10 -> 0.24
|
|---|
| 411 | divx533 divide 2.40 2.0 -> 1.2
|
|---|
| 412 | divx534 divide 2.40 4.0 -> 0.6
|
|---|
| 413 | divx535 divide 2.40 10.0 -> 0.24
|
|---|
| 414 | divx536 divide 2.40 2.00 -> 1.2
|
|---|
| 415 | divx537 divide 2.40 4.00 -> 0.6
|
|---|
| 416 | divx538 divide 2.40 10.00 -> 0.24
|
|---|
| 417 | divx539 divide 0.9 0.1 -> 9
|
|---|
| 418 | divx540 divide 0.9 0.01 -> 9E+1
|
|---|
| 419 | divx541 divide 0.9 0.001 -> 9E+2
|
|---|
| 420 | divx542 divide 5 2 -> 2.5
|
|---|
| 421 | divx543 divide 5 2.0 -> 2.5
|
|---|
| 422 | divx544 divide 5 2.00 -> 2.5
|
|---|
| 423 | divx545 divide 5 20 -> 0.25
|
|---|
| 424 | divx546 divide 5 20.0 -> 0.25
|
|---|
| 425 | divx547 divide 2.400 2 -> 1.200
|
|---|
| 426 | divx548 divide 2.400 2.0 -> 1.20
|
|---|
| 427 | divx549 divide 2.400 2.400 -> 1
|
|---|
| 428 |
|
|---|
| 429 | divx550 divide 240 1 -> 240
|
|---|
| 430 | divx551 divide 240 10 -> 24
|
|---|
| 431 | divx552 divide 240 100 -> 2.4
|
|---|
| 432 | divx553 divide 240 1000 -> 0.24
|
|---|
| 433 | divx554 divide 2400 1 -> 2400
|
|---|
| 434 | divx555 divide 2400 10 -> 240
|
|---|
| 435 | divx556 divide 2400 100 -> 24
|
|---|
| 436 | divx557 divide 2400 1000 -> 2.4
|
|---|
| 437 |
|
|---|
| 438 | -- +ve exponent
|
|---|
| 439 | precision: 5
|
|---|
| 440 | divx570 divide 2.4E+6 2 -> 1.2E+6
|
|---|
| 441 | divx571 divide 2.40E+6 2 -> 1.20E+6
|
|---|
| 442 | divx572 divide 2.400E+6 2 -> 1.200E+6
|
|---|
| 443 | divx573 divide 2.4000E+6 2 -> 1.2000E+6
|
|---|
| 444 | divx574 divide 24E+5 2 -> 1.2E+6
|
|---|
| 445 | divx575 divide 240E+4 2 -> 1.20E+6
|
|---|
| 446 | divx576 divide 2400E+3 2 -> 1.200E+6
|
|---|
| 447 | divx577 divide 24000E+2 2 -> 1.2000E+6
|
|---|
| 448 | precision: 6
|
|---|
| 449 | divx580 divide 2.4E+6 2 -> 1.2E+6
|
|---|
| 450 | divx581 divide 2.40E+6 2 -> 1.20E+6
|
|---|
| 451 | divx582 divide 2.400E+6 2 -> 1.200E+6
|
|---|
| 452 | divx583 divide 2.4000E+6 2 -> 1.2000E+6
|
|---|
| 453 | divx584 divide 24E+5 2 -> 1.2E+6
|
|---|
| 454 | divx585 divide 240E+4 2 -> 1.20E+6
|
|---|
| 455 | divx586 divide 2400E+3 2 -> 1.200E+6
|
|---|
| 456 | divx587 divide 24000E+2 2 -> 1.2000E+6
|
|---|
| 457 | precision: 7
|
|---|
| 458 | divx590 divide 2.4E+6 2 -> 1.2E+6
|
|---|
| 459 | divx591 divide 2.40E+6 2 -> 1.20E+6
|
|---|
| 460 | divx592 divide 2.400E+6 2 -> 1.200E+6
|
|---|
| 461 | divx593 divide 2.4000E+6 2 -> 1.2000E+6
|
|---|
| 462 | divx594 divide 24E+5 2 -> 1.2E+6
|
|---|
| 463 | divx595 divide 240E+4 2 -> 1.20E+6
|
|---|
| 464 | divx596 divide 2400E+3 2 -> 1.200E+6
|
|---|
| 465 | divx597 divide 24000E+2 2 -> 1.2000E+6
|
|---|
| 466 | precision: 9
|
|---|
| 467 | divx600 divide 2.4E+9 2 -> 1.2E+9
|
|---|
| 468 | divx601 divide 2.40E+9 2 -> 1.20E+9
|
|---|
| 469 | divx602 divide 2.400E+9 2 -> 1.200E+9
|
|---|
| 470 | divx603 divide 2.4000E+9 2 -> 1.2000E+9
|
|---|
| 471 | divx604 divide 24E+8 2 -> 1.2E+9
|
|---|
| 472 | divx605 divide 240E+7 2 -> 1.20E+9
|
|---|
| 473 | divx606 divide 2400E+6 2 -> 1.200E+9
|
|---|
| 474 | divx607 divide 24000E+5 2 -> 1.2000E+9
|
|---|
| 475 |
|
|---|
| 476 | -- long operand triangle
|
|---|
| 477 | precision: 33
|
|---|
| 478 | divx610 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.8131097703792 Inexact Rounded
|
|---|
| 479 | precision: 32
|
|---|
| 480 | divx611 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.813109770379 Inexact Rounded
|
|---|
| 481 | precision: 31
|
|---|
| 482 | divx612 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.81310977038 Inexact Rounded
|
|---|
| 483 | precision: 30
|
|---|
| 484 | divx613 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.8131097704 Inexact Rounded
|
|---|
| 485 | precision: 29
|
|---|
| 486 | divx614 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.813109770 Inexact Rounded
|
|---|
| 487 | precision: 28
|
|---|
| 488 | divx615 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.81310977 Inexact Rounded
|
|---|
| 489 | precision: 27
|
|---|
| 490 | divx616 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.8131098 Inexact Rounded
|
|---|
| 491 | precision: 26
|
|---|
| 492 | divx617 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.813110 Inexact Rounded
|
|---|
| 493 | precision: 25
|
|---|
| 494 | divx618 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.81311 Inexact Rounded
|
|---|
| 495 | precision: 24
|
|---|
| 496 | divx619 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.8131 Inexact Rounded
|
|---|
| 497 | precision: 23
|
|---|
| 498 | divx620 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.813 Inexact Rounded
|
|---|
| 499 | precision: 22
|
|---|
| 500 | divx621 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.81 Inexact Rounded
|
|---|
| 501 | precision: 21
|
|---|
| 502 | divx622 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817797.8 Inexact Rounded
|
|---|
| 503 | precision: 20
|
|---|
| 504 | divx623 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -41011408883796817798 Inexact Rounded
|
|---|
| 505 | precision: 19
|
|---|
| 506 | divx624 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101140888379681780E+19 Inexact Rounded
|
|---|
| 507 | precision: 18
|
|---|
| 508 | divx625 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10114088837968178E+19 Inexact Rounded
|
|---|
| 509 | precision: 17
|
|---|
| 510 | divx626 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1011408883796818E+19 Inexact Rounded
|
|---|
| 511 | precision: 16
|
|---|
| 512 | divx627 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101140888379682E+19 Inexact Rounded
|
|---|
| 513 | precision: 15
|
|---|
| 514 | divx628 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10114088837968E+19 Inexact Rounded
|
|---|
| 515 | precision: 14
|
|---|
| 516 | divx629 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1011408883797E+19 Inexact Rounded
|
|---|
| 517 | precision: 13
|
|---|
| 518 | divx630 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101140888380E+19 Inexact Rounded
|
|---|
| 519 | precision: 12
|
|---|
| 520 | divx631 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10114088838E+19 Inexact Rounded
|
|---|
| 521 | precision: 11
|
|---|
| 522 | divx632 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1011408884E+19 Inexact Rounded
|
|---|
| 523 | precision: 10
|
|---|
| 524 | divx633 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101140888E+19 Inexact Rounded
|
|---|
| 525 | precision: 9
|
|---|
| 526 | divx634 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10114089E+19 Inexact Rounded
|
|---|
| 527 | precision: 8
|
|---|
| 528 | divx635 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1011409E+19 Inexact Rounded
|
|---|
| 529 | precision: 7
|
|---|
| 530 | divx636 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101141E+19 Inexact Rounded
|
|---|
| 531 | precision: 6
|
|---|
| 532 | divx637 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10114E+19 Inexact Rounded
|
|---|
| 533 | precision: 5
|
|---|
| 534 | divx638 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1011E+19 Inexact Rounded
|
|---|
| 535 | precision: 4
|
|---|
| 536 | divx639 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.101E+19 Inexact Rounded
|
|---|
| 537 | precision: 3
|
|---|
| 538 | divx640 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.10E+19 Inexact Rounded
|
|---|
| 539 | precision: 2
|
|---|
| 540 | divx641 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4.1E+19 Inexact Rounded
|
|---|
| 541 | precision: 1
|
|---|
| 542 | divx642 divide -3374988581607586061255542201048 82293895124.90045271504836568681 -> -4E+19 Inexact Rounded
|
|---|
| 543 |
|
|---|
| 544 | -- more zeros, etc.
|
|---|
| 545 | precision: 16
|
|---|
| 546 | rounding: half_up
|
|---|
| 547 | maxExponent: 384
|
|---|
| 548 | minExponent: -383
|
|---|
| 549 |
|
|---|
| 550 | divx731 divide 5.00 1E-3 -> 5.00E+3
|
|---|
| 551 | divx732 divide 00.00 0.000 -> NaN Division_undefined
|
|---|
| 552 | divx733 divide 00.00 0E-3 -> NaN Division_undefined
|
|---|
| 553 | divx734 divide 0 -0 -> NaN Division_undefined
|
|---|
| 554 | divx735 divide -0 0 -> NaN Division_undefined
|
|---|
| 555 | divx736 divide -0 -0 -> NaN Division_undefined
|
|---|
| 556 |
|
|---|
| 557 | divx741 divide 0 -1 -> -0
|
|---|
| 558 | divx742 divide -0 -1 -> 0
|
|---|
| 559 | divx743 divide 0 1 -> 0
|
|---|
| 560 | divx744 divide -0 1 -> -0
|
|---|
| 561 | divx745 divide -1 0 -> -Infinity Division_by_zero
|
|---|
| 562 | divx746 divide -1 -0 -> Infinity Division_by_zero
|
|---|
| 563 | divx747 divide 1 0 -> Infinity Division_by_zero
|
|---|
| 564 | divx748 divide 1 -0 -> -Infinity Division_by_zero
|
|---|
| 565 |
|
|---|
| 566 | divx751 divide 0.0 -1 -> -0.0
|
|---|
| 567 | divx752 divide -0.0 -1 -> 0.0
|
|---|
| 568 | divx753 divide 0.0 1 -> 0.0
|
|---|
| 569 | divx754 divide -0.0 1 -> -0.0
|
|---|
| 570 | divx755 divide -1.0 0 -> -Infinity Division_by_zero
|
|---|
| 571 | divx756 divide -1.0 -0 -> Infinity Division_by_zero
|
|---|
| 572 | divx757 divide 1.0 0 -> Infinity Division_by_zero
|
|---|
| 573 | divx758 divide 1.0 -0 -> -Infinity Division_by_zero
|
|---|
| 574 |
|
|---|
| 575 | divx761 divide 0 -1.0 -> -0E+1
|
|---|
| 576 | divx762 divide -0 -1.0 -> 0E+1
|
|---|
| 577 | divx763 divide 0 1.0 -> 0E+1
|
|---|
| 578 | divx764 divide -0 1.0 -> -0E+1
|
|---|
| 579 | divx765 divide -1 0.0 -> -Infinity Division_by_zero
|
|---|
| 580 | divx766 divide -1 -0.0 -> Infinity Division_by_zero
|
|---|
| 581 | divx767 divide 1 0.0 -> Infinity Division_by_zero
|
|---|
| 582 | divx768 divide 1 -0.0 -> -Infinity Division_by_zero
|
|---|
| 583 |
|
|---|
| 584 | divx771 divide 0.0 -1.0 -> -0
|
|---|
| 585 | divx772 divide -0.0 -1.0 -> 0
|
|---|
| 586 | divx773 divide 0.0 1.0 -> 0
|
|---|
| 587 | divx774 divide -0.0 1.0 -> -0
|
|---|
| 588 | divx775 divide -1.0 0.0 -> -Infinity Division_by_zero
|
|---|
| 589 | divx776 divide -1.0 -0.0 -> Infinity Division_by_zero
|
|---|
| 590 | divx777 divide 1.0 0.0 -> Infinity Division_by_zero
|
|---|
| 591 | divx778 divide 1.0 -0.0 -> -Infinity Division_by_zero
|
|---|
| 592 |
|
|---|
| 593 | -- Specials
|
|---|
| 594 | divx780 divide Inf -Inf -> NaN Invalid_operation
|
|---|
| 595 | divx781 divide Inf -1000 -> -Infinity
|
|---|
| 596 | divx782 divide Inf -1 -> -Infinity
|
|---|
| 597 | divx783 divide Inf -0 -> -Infinity
|
|---|
| 598 | divx784 divide Inf 0 -> Infinity
|
|---|
| 599 | divx785 divide Inf 1 -> Infinity
|
|---|
| 600 | divx786 divide Inf 1000 -> Infinity
|
|---|
| 601 | divx787 divide Inf Inf -> NaN Invalid_operation
|
|---|
| 602 | divx788 divide -1000 Inf -> -0E-398 Clamped
|
|---|
| 603 | divx789 divide -Inf Inf -> NaN Invalid_operation
|
|---|
| 604 | divx790 divide -1 Inf -> -0E-398 Clamped
|
|---|
| 605 | divx791 divide -0 Inf -> -0E-398 Clamped
|
|---|
| 606 | divx792 divide 0 Inf -> 0E-398 Clamped
|
|---|
| 607 | divx793 divide 1 Inf -> 0E-398 Clamped
|
|---|
| 608 | divx794 divide 1000 Inf -> 0E-398 Clamped
|
|---|
| 609 | divx795 divide Inf Inf -> NaN Invalid_operation
|
|---|
| 610 |
|
|---|
| 611 | divx800 divide -Inf -Inf -> NaN Invalid_operation
|
|---|
| 612 | divx801 divide -Inf -1000 -> Infinity
|
|---|
| 613 | divx802 divide -Inf -1 -> Infinity
|
|---|
| 614 | divx803 divide -Inf -0 -> Infinity
|
|---|
| 615 | divx804 divide -Inf 0 -> -Infinity
|
|---|
| 616 | divx805 divide -Inf 1 -> -Infinity
|
|---|
| 617 | divx806 divide -Inf 1000 -> -Infinity
|
|---|
| 618 | divx807 divide -Inf Inf -> NaN Invalid_operation
|
|---|
| 619 | divx808 divide -1000 Inf -> -0E-398 Clamped
|
|---|
| 620 | divx809 divide -Inf -Inf -> NaN Invalid_operation
|
|---|
| 621 | divx810 divide -1 -Inf -> 0E-398 Clamped
|
|---|
| 622 | divx811 divide -0 -Inf -> 0E-398 Clamped
|
|---|
| 623 | divx812 divide 0 -Inf -> -0E-398 Clamped
|
|---|
| 624 | divx813 divide 1 -Inf -> -0E-398 Clamped
|
|---|
| 625 | divx814 divide 1000 -Inf -> -0E-398 Clamped
|
|---|
| 626 | divx815 divide Inf -Inf -> NaN Invalid_operation
|
|---|
| 627 |
|
|---|
| 628 | divx821 divide NaN -Inf -> NaN
|
|---|
| 629 | divx822 divide NaN -1000 -> NaN
|
|---|
| 630 | divx823 divide NaN -1 -> NaN
|
|---|
| 631 | divx824 divide NaN -0 -> NaN
|
|---|
| 632 | divx825 divide NaN 0 -> NaN
|
|---|
| 633 | divx826 divide NaN 1 -> NaN
|
|---|
| 634 | divx827 divide NaN 1000 -> NaN
|
|---|
| 635 | divx828 divide NaN Inf -> NaN
|
|---|
| 636 | divx829 divide NaN NaN -> NaN
|
|---|
| 637 | divx830 divide -Inf NaN -> NaN
|
|---|
| 638 | divx831 divide -1000 NaN -> NaN
|
|---|
| 639 | divx832 divide -1 NaN -> NaN
|
|---|
| 640 | divx833 divide -0 NaN -> NaN
|
|---|
| 641 | divx834 divide 0 NaN -> NaN
|
|---|
| 642 | divx835 divide 1 NaN -> NaN
|
|---|
| 643 | divx836 divide 1000 NaN -> NaN
|
|---|
| 644 | divx837 divide Inf NaN -> NaN
|
|---|
| 645 |
|
|---|
| 646 | divx841 divide sNaN -Inf -> NaN Invalid_operation
|
|---|
| 647 | divx842 divide sNaN -1000 -> NaN Invalid_operation
|
|---|
| 648 | divx843 divide sNaN -1 -> NaN Invalid_operation
|
|---|
| 649 | divx844 divide sNaN -0 -> NaN Invalid_operation
|
|---|
| 650 | divx845 divide sNaN 0 -> NaN Invalid_operation
|
|---|
| 651 | divx846 divide sNaN 1 -> NaN Invalid_operation
|
|---|
| 652 | divx847 divide sNaN 1000 -> NaN Invalid_operation
|
|---|
| 653 | divx848 divide sNaN NaN -> NaN Invalid_operation
|
|---|
| 654 | divx849 divide sNaN sNaN -> NaN Invalid_operation
|
|---|
| 655 | divx850 divide NaN sNaN -> NaN Invalid_operation
|
|---|
| 656 | divx851 divide -Inf sNaN -> NaN Invalid_operation
|
|---|
| 657 | divx852 divide -1000 sNaN -> NaN Invalid_operation
|
|---|
| 658 | divx853 divide -1 sNaN -> NaN Invalid_operation
|
|---|
| 659 | divx854 divide -0 sNaN -> NaN Invalid_operation
|
|---|
| 660 | divx855 divide 0 sNaN -> NaN Invalid_operation
|
|---|
| 661 | divx856 divide 1 sNaN -> NaN Invalid_operation
|
|---|
| 662 | divx857 divide 1000 sNaN -> NaN Invalid_operation
|
|---|
| 663 | divx858 divide Inf sNaN -> NaN Invalid_operation
|
|---|
| 664 | divx859 divide NaN sNaN -> NaN Invalid_operation
|
|---|
| 665 |
|
|---|
| 666 | -- propagating NaNs
|
|---|
| 667 | divx861 divide NaN9 -Inf -> NaN9
|
|---|
| 668 | divx862 divide NaN8 1000 -> NaN8
|
|---|
| 669 | divx863 divide NaN7 Inf -> NaN7
|
|---|
| 670 | divx864 divide NaN6 NaN5 -> NaN6
|
|---|
| 671 | divx865 divide -Inf NaN4 -> NaN4
|
|---|
| 672 | divx866 divide -1000 NaN3 -> NaN3
|
|---|
| 673 | divx867 divide Inf NaN2 -> NaN2
|
|---|
| 674 |
|
|---|
| 675 | divx871 divide sNaN99 -Inf -> NaN99 Invalid_operation
|
|---|
| 676 | divx872 divide sNaN98 -1 -> NaN98 Invalid_operation
|
|---|
| 677 | divx873 divide sNaN97 NaN -> NaN97 Invalid_operation
|
|---|
| 678 | divx874 divide sNaN96 sNaN94 -> NaN96 Invalid_operation
|
|---|
| 679 | divx875 divide NaN95 sNaN93 -> NaN93 Invalid_operation
|
|---|
| 680 | divx876 divide -Inf sNaN92 -> NaN92 Invalid_operation
|
|---|
| 681 | divx877 divide 0 sNaN91 -> NaN91 Invalid_operation
|
|---|
| 682 | divx878 divide Inf sNaN90 -> NaN90 Invalid_operation
|
|---|
| 683 | divx879 divide NaN sNaN89 -> NaN89 Invalid_operation
|
|---|
| 684 |
|
|---|
| 685 | divx881 divide -NaN9 -Inf -> -NaN9
|
|---|
| 686 | divx882 divide -NaN8 1000 -> -NaN8
|
|---|
| 687 | divx883 divide -NaN7 Inf -> -NaN7
|
|---|
| 688 | divx884 divide -NaN6 -NaN5 -> -NaN6
|
|---|
| 689 | divx885 divide -Inf -NaN4 -> -NaN4
|
|---|
| 690 | divx886 divide -1000 -NaN3 -> -NaN3
|
|---|
| 691 | divx887 divide Inf -NaN2 -> -NaN2
|
|---|
| 692 |
|
|---|
| 693 | divx891 divide -sNaN99 -Inf -> -NaN99 Invalid_operation
|
|---|
| 694 | divx892 divide -sNaN98 -1 -> -NaN98 Invalid_operation
|
|---|
| 695 | divx893 divide -sNaN97 NaN -> -NaN97 Invalid_operation
|
|---|
| 696 | divx894 divide -sNaN96 -sNaN94 -> -NaN96 Invalid_operation
|
|---|
| 697 | divx895 divide -NaN95 -sNaN93 -> -NaN93 Invalid_operation
|
|---|
| 698 | divx896 divide -Inf -sNaN92 -> -NaN92 Invalid_operation
|
|---|
| 699 | divx897 divide 0 -sNaN91 -> -NaN91 Invalid_operation
|
|---|
| 700 | divx898 divide Inf -sNaN90 -> -NaN90 Invalid_operation
|
|---|
| 701 | divx899 divide -NaN -sNaN89 -> -NaN89 Invalid_operation
|
|---|
| 702 |
|
|---|
| 703 | maxexponent: 999999999
|
|---|
| 704 | minexponent: -999999999
|
|---|
| 705 |
|
|---|
| 706 | -- Various flavours of divide by 0
|
|---|
| 707 | divx901 divide 0 0 -> NaN Division_undefined
|
|---|
| 708 | divx902 divide 0.0E5 0 -> NaN Division_undefined
|
|---|
| 709 | divx903 divide 0.000 0 -> NaN Division_undefined
|
|---|
| 710 | divx904 divide 0.0001 0 -> Infinity Division_by_zero
|
|---|
| 711 | divx905 divide 0.01 0 -> Infinity Division_by_zero
|
|---|
| 712 | divx906 divide 0.1 0 -> Infinity Division_by_zero
|
|---|
| 713 | divx907 divide 1 0 -> Infinity Division_by_zero
|
|---|
| 714 | divx908 divide 1 0.0 -> Infinity Division_by_zero
|
|---|
| 715 | divx909 divide 10 0.0 -> Infinity Division_by_zero
|
|---|
| 716 | divx910 divide 1E+100 0.0 -> Infinity Division_by_zero
|
|---|
| 717 | divx911 divide 1E+1000 0 -> Infinity Division_by_zero
|
|---|
| 718 |
|
|---|
| 719 | divx921 divide -0.0001 0 -> -Infinity Division_by_zero
|
|---|
| 720 | divx922 divide -0.01 0 -> -Infinity Division_by_zero
|
|---|
| 721 | divx923 divide -0.1 0 -> -Infinity Division_by_zero
|
|---|
| 722 | divx924 divide -1 0 -> -Infinity Division_by_zero
|
|---|
| 723 | divx925 divide -1 0.0 -> -Infinity Division_by_zero
|
|---|
| 724 | divx926 divide -10 0.0 -> -Infinity Division_by_zero
|
|---|
| 725 | divx927 divide -1E+100 0.0 -> -Infinity Division_by_zero
|
|---|
| 726 | divx928 divide -1E+1000 0 -> -Infinity Division_by_zero
|
|---|
| 727 |
|
|---|
| 728 | divx931 divide 0.0001 -0 -> -Infinity Division_by_zero
|
|---|
| 729 | divx932 divide 0.01 -0 -> -Infinity Division_by_zero
|
|---|
| 730 | divx933 divide 0.1 -0 -> -Infinity Division_by_zero
|
|---|
| 731 | divx934 divide 1 -0 -> -Infinity Division_by_zero
|
|---|
| 732 | divx935 divide 1 -0.0 -> -Infinity Division_by_zero
|
|---|
| 733 | divx936 divide 10 -0.0 -> -Infinity Division_by_zero
|
|---|
| 734 | divx937 divide 1E+100 -0.0 -> -Infinity Division_by_zero
|
|---|
| 735 | divx938 divide 1E+1000 -0 -> -Infinity Division_by_zero
|
|---|
| 736 |
|
|---|
| 737 | divx941 divide -0.0001 -0 -> Infinity Division_by_zero
|
|---|
| 738 | divx942 divide -0.01 -0 -> Infinity Division_by_zero
|
|---|
| 739 | divx943 divide -0.1 -0 -> Infinity Division_by_zero
|
|---|
| 740 | divx944 divide -1 -0 -> Infinity Division_by_zero
|
|---|
| 741 | divx945 divide -1 -0.0 -> Infinity Division_by_zero
|
|---|
| 742 | divx946 divide -10 -0.0 -> Infinity Division_by_zero
|
|---|
| 743 | divx947 divide -1E+100 -0.0 -> Infinity Division_by_zero
|
|---|
| 744 | divx948 divide -1E+1000 -0 -> Infinity Division_by_zero
|
|---|
| 745 |
|
|---|
| 746 | -- overflow and underflow tests
|
|---|
| 747 | precision: 9
|
|---|
| 748 | maxexponent: 999999999
|
|---|
| 749 | minexponent: -999999999
|
|---|
| 750 | divx951 divide 9E+999999999 +0.23456789012345E-0 -> Infinity Inexact Overflow Rounded
|
|---|
| 751 | divx952 divide +0.100 9E+999999999 -> 1.111111E-1000000001 Inexact Rounded Underflow Subnormal
|
|---|
| 752 | divx953 divide 9E-999999999 +9.100 -> 9.8901099E-1000000000 Inexact Rounded Underflow Subnormal
|
|---|
| 753 | divx954 divide -1.23456789 9E+999999999 -> -1.3717421E-1000000000 Subnormal
|
|---|
| 754 | divx955 divide -1.23456789012345E-0 9E+999999999 -> -1.3717421E-1000000000 Underflow Subnormal Rounded Inexact
|
|---|
| 755 | divx956 divide -1.23456789012345E-0 7E+999999999 -> -1.7636684E-1000000000 Inexact Rounded Underflow Subnormal
|
|---|
| 756 | divx957 divide 9E+999999999 -0.83456789012345E-0 -> -Infinity Inexact Overflow Rounded
|
|---|
| 757 | divx958 divide -0.100 9E+999999999 -> -1.111111E-1000000001 Subnormal Inexact Rounded Underflow
|
|---|
| 758 | divx959 divide 9E-999999999 -9.100 -> -9.8901099E-1000000000 Inexact Rounded Underflow Subnormal
|
|---|
| 759 |
|
|---|
| 760 | -- overflow and underflow (additional edge tests in multiply.decTest)
|
|---|
| 761 | -- 'subnormal' results now possible (all hard underflow or overflow in
|
|---|
| 762 | -- base arithemtic)
|
|---|
| 763 | divx960 divide 1e-600000000 1e+400000001 -> 1E-1000000001 Subnormal
|
|---|
| 764 | divx961 divide 1e-600000000 1e+400000002 -> 1E-1000000002 Subnormal
|
|---|
| 765 | divx962 divide 1e-600000000 1e+400000003 -> 1E-1000000003 Subnormal
|
|---|
| 766 | divx963 divide 1e-600000000 1e+400000004 -> 1E-1000000004 Subnormal
|
|---|
| 767 | divx964 divide 1e-600000000 1e+400000005 -> 1E-1000000005 Subnormal
|
|---|
| 768 | divx965 divide 1e-600000000 1e+400000006 -> 1E-1000000006 Subnormal
|
|---|
| 769 | divx966 divide 1e-600000000 1e+400000007 -> 1E-1000000007 Subnormal
|
|---|
| 770 | divx967 divide 1e-600000000 1e+400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 771 | divx968 divide 1e-600000000 1e+400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 772 | divx969 divide 1e-600000000 1e+400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 773 | -- [no equivalent of 'subnormal' for overflow]
|
|---|
| 774 | divx970 divide 1e+600000000 1e-400000001 -> Infinity Overflow Inexact Rounded
|
|---|
| 775 | divx971 divide 1e+600000000 1e-400000002 -> Infinity Overflow Inexact Rounded
|
|---|
| 776 | divx972 divide 1e+600000000 1e-400000003 -> Infinity Overflow Inexact Rounded
|
|---|
| 777 | divx973 divide 1e+600000000 1e-400000004 -> Infinity Overflow Inexact Rounded
|
|---|
| 778 | divx974 divide 1e+600000000 1e-400000005 -> Infinity Overflow Inexact Rounded
|
|---|
| 779 | divx975 divide 1e+600000000 1e-400000006 -> Infinity Overflow Inexact Rounded
|
|---|
| 780 | divx976 divide 1e+600000000 1e-400000007 -> Infinity Overflow Inexact Rounded
|
|---|
| 781 | divx977 divide 1e+600000000 1e-400000008 -> Infinity Overflow Inexact Rounded
|
|---|
| 782 | divx978 divide 1e+600000000 1e-400000009 -> Infinity Overflow Inexact Rounded
|
|---|
| 783 | divx979 divide 1e+600000000 1e-400000010 -> Infinity Overflow Inexact Rounded
|
|---|
| 784 |
|
|---|
| 785 | -- Sign after overflow and underflow
|
|---|
| 786 | divx980 divide 1e-600000000 1e+400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 787 | divx981 divide 1e-600000000 -1e+400000009 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 788 | divx982 divide -1e-600000000 1e+400000009 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 789 | divx983 divide -1e-600000000 -1e+400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped
|
|---|
| 790 | divx984 divide 1e+600000000 1e-400000009 -> Infinity Overflow Inexact Rounded
|
|---|
| 791 | divx985 divide 1e+600000000 -1e-400000009 -> -Infinity Overflow Inexact Rounded
|
|---|
| 792 | divx986 divide -1e+600000000 1e-400000009 -> -Infinity Overflow Inexact Rounded
|
|---|
| 793 | divx987 divide -1e+600000000 -1e-400000009 -> Infinity Overflow Inexact Rounded
|
|---|
| 794 |
|
|---|
| 795 | -- Long operand overflow may be a different path
|
|---|
| 796 | precision: 3
|
|---|
| 797 | divx990 divide 1000 9.999E-999999999 -> Infinity Inexact Overflow Rounded
|
|---|
| 798 | divx991 divide 1000 -9.999E-999999999 -> -Infinity Inexact Overflow Rounded
|
|---|
| 799 | divx992 divide 9.999E+999999999 0.01 -> Infinity Inexact Overflow Rounded
|
|---|
| 800 | divx993 divide -9.999E+999999999 0.01 -> -Infinity Inexact Overflow Rounded
|
|---|
| 801 |
|
|---|
| 802 | -- check for double-rounded subnormals
|
|---|
| 803 | precision: 5
|
|---|
| 804 | maxexponent: 79
|
|---|
| 805 | minexponent: -79
|
|---|
| 806 | divx1001 divide 1.52444E-80 1 -> 1.524E-80 Inexact Rounded Subnormal Underflow
|
|---|
| 807 | divx1002 divide 1.52445E-80 1 -> 1.524E-80 Inexact Rounded Subnormal Underflow
|
|---|
| 808 | divx1003 divide 1.52446E-80 1 -> 1.524E-80 Inexact Rounded Subnormal Underflow
|
|---|
| 809 |
|
|---|
| 810 | -- a rounding problem in one implementation
|
|---|
| 811 | precision: 34
|
|---|
| 812 | rounding: half_up
|
|---|
| 813 | maxExponent: 6144
|
|---|
| 814 | minExponent: -6143
|
|---|
| 815 | -- Unbounded answer to 40 digits:
|
|---|
| 816 | -- 1.465811965811965811965811965811965811966E+7000
|
|---|
| 817 | divx1010 divide 343E6000 234E-1000 -> Infinity Overflow Inexact Rounded
|
|---|
| 818 |
|
|---|
| 819 | precision: 34
|
|---|
| 820 | rounding: half_up
|
|---|
| 821 | maxExponent: 6144
|
|---|
| 822 | minExponent: -6143
|
|---|
| 823 |
|
|---|
| 824 | -- Examples from SQL proposal (Krishna Kulkarni)
|
|---|
| 825 | precision: 7
|
|---|
| 826 | divx1021 divide 1E0 1E0 -> 1
|
|---|
| 827 | divx1022 divide 1E0 2E0 -> 0.5
|
|---|
| 828 | divx1023 divide 1E0 3E0 -> 0.3333333 Inexact Rounded
|
|---|
| 829 | divx1024 divide 100E-2 1000E-3 -> 1
|
|---|
| 830 | divx1025 divide 24E-1 2E0 -> 1.2
|
|---|
| 831 | divx1026 divide 2400E-3 2E0 -> 1.200
|
|---|
| 832 | divx1027 divide 5E0 2E0 -> 2.5
|
|---|
| 833 | divx1028 divide 5E0 20E-1 -> 2.5
|
|---|
| 834 | divx1029 divide 5E0 2000E-3 -> 2.5
|
|---|
| 835 | divx1030 divide 5E0 2E-1 -> 25
|
|---|
| 836 | divx1031 divide 5E0 20E-2 -> 25
|
|---|
| 837 | divx1032 divide 480E-2 3E0 -> 1.60
|
|---|
| 838 | divx1033 divide 47E-1 2E0 -> 2.35
|
|---|
| 839 |
|
|---|
| 840 | -- ECMAScript bad examples
|
|---|
| 841 | rounding: half_down
|
|---|
| 842 | precision: 7
|
|---|
| 843 | divx1050 divide 5 9 -> 0.5555556 Inexact Rounded
|
|---|
| 844 | rounding: half_even
|
|---|
| 845 | divx1051 divide 5 11 -> 0.4545455 Inexact Rounded
|
|---|
| 846 |
|
|---|
| 847 | -- payload decapitate
|
|---|
| 848 | precision: 5
|
|---|
| 849 | divx1055 divide sNaN987654321 1 -> NaN54321 Invalid_operation
|
|---|
| 850 |
|
|---|
| 851 | -- Null tests
|
|---|
| 852 | divx9998 divide 10 # -> NaN Invalid_operation
|
|---|
| 853 | divx9999 divide # 10 -> NaN Invalid_operation
|
|---|
| 854 |
|
|---|
