| ------------------------------------------------------------------------ |
| -- rounding.decTest -- decimal rounding modes testcases -- |
| -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
| ------------------------------------------------------------------------ |
| -- Please see the document "General Decimal Arithmetic Testcases" -- |
| -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| -- these testcases. -- |
| -- -- |
| -- These testcases are experimental ('beta' versions), and they -- |
| -- may contain errors. They are offered on an as-is basis. In -- |
| -- particular, achieving the same results as the tests here is not -- |
| -- a guarantee that an implementation complies with any Standard -- |
| -- or specification. The tests are not exhaustive. -- |
| -- -- |
| -- Please send comments, suggestions, and corrections to the author: -- |
| -- Mike Cowlishaw, IBM Fellow -- |
| -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| -- mfc@uk.ibm.com -- |
| ------------------------------------------------------------------------ |
| version: 2.59 |
| |
| -- These tests require that implementations take account of residues in |
| -- order to get correct results for some rounding modes. Rather than |
| -- single rounding tests we therefore need tests for most operators. |
| -- [We do assume add/minus/plus/subtract are common paths, however, as |
| -- is rounding of negatives (if the latter works for addition, assume it |
| -- works for the others, too).] |
| -- |
| -- Round-for-reround (05UP) is tested as a separate block, mostly for |
| -- 'historical' reasons. |
| -- |
| -- Underflow Subnormal and overflow behaviours are tested under the |
| -- individual operators. |
| |
| extended: 1 |
| precision: 5 -- for easier visual inspection |
| maxExponent: 999 |
| minexponent: -999 |
| |
| -- Addition operators ------------------------------------------------- |
| rounding: down |
| |
| radx100 add 12345 -0.1 -> 12344 Inexact Rounded |
| radx101 add 12345 -0.01 -> 12344 Inexact Rounded |
| radx102 add 12345 -0.001 -> 12344 Inexact Rounded |
| radx103 add 12345 -0.00001 -> 12344 Inexact Rounded |
| radx104 add 12345 -0.000001 -> 12344 Inexact Rounded |
| radx105 add 12345 -0.0000001 -> 12344 Inexact Rounded |
| radx106 add 12345 0 -> 12345 |
| radx107 add 12345 0.0000001 -> 12345 Inexact Rounded |
| radx108 add 12345 0.000001 -> 12345 Inexact Rounded |
| radx109 add 12345 0.00001 -> 12345 Inexact Rounded |
| radx110 add 12345 0.0001 -> 12345 Inexact Rounded |
| radx111 add 12345 0.001 -> 12345 Inexact Rounded |
| radx112 add 12345 0.01 -> 12345 Inexact Rounded |
| radx113 add 12345 0.1 -> 12345 Inexact Rounded |
| |
| radx115 add 12346 0.49999 -> 12346 Inexact Rounded |
| radx116 add 12346 0.5 -> 12346 Inexact Rounded |
| radx117 add 12346 0.50001 -> 12346 Inexact Rounded |
| |
| radx120 add 12345 0.4 -> 12345 Inexact Rounded |
| radx121 add 12345 0.49 -> 12345 Inexact Rounded |
| radx122 add 12345 0.499 -> 12345 Inexact Rounded |
| radx123 add 12345 0.49999 -> 12345 Inexact Rounded |
| radx124 add 12345 0.5 -> 12345 Inexact Rounded |
| radx125 add 12345 0.50001 -> 12345 Inexact Rounded |
| radx126 add 12345 0.5001 -> 12345 Inexact Rounded |
| radx127 add 12345 0.501 -> 12345 Inexact Rounded |
| radx128 add 12345 0.51 -> 12345 Inexact Rounded |
| radx129 add 12345 0.6 -> 12345 Inexact Rounded |
| |
| rounding: half_down |
| |
| radx140 add 12345 -0.1 -> 12345 Inexact Rounded |
| radx141 add 12345 -0.01 -> 12345 Inexact Rounded |
| radx142 add 12345 -0.001 -> 12345 Inexact Rounded |
| radx143 add 12345 -0.00001 -> 12345 Inexact Rounded |
| radx144 add 12345 -0.000001 -> 12345 Inexact Rounded |
| radx145 add 12345 -0.0000001 -> 12345 Inexact Rounded |
| radx146 add 12345 0 -> 12345 |
| radx147 add 12345 0.0000001 -> 12345 Inexact Rounded |
| radx148 add 12345 0.000001 -> 12345 Inexact Rounded |
| radx149 add 12345 0.00001 -> 12345 Inexact Rounded |
| radx150 add 12345 0.0001 -> 12345 Inexact Rounded |
| radx151 add 12345 0.001 -> 12345 Inexact Rounded |
| radx152 add 12345 0.01 -> 12345 Inexact Rounded |
| radx153 add 12345 0.1 -> 12345 Inexact Rounded |
| |
| radx155 add 12346 0.49999 -> 12346 Inexact Rounded |
| radx156 add 12346 0.5 -> 12346 Inexact Rounded |
| radx157 add 12346 0.50001 -> 12347 Inexact Rounded |
| |
| radx160 add 12345 0.4 -> 12345 Inexact Rounded |
| radx161 add 12345 0.49 -> 12345 Inexact Rounded |
| radx162 add 12345 0.499 -> 12345 Inexact Rounded |
| radx163 add 12345 0.49999 -> 12345 Inexact Rounded |
| radx164 add 12345 0.5 -> 12345 Inexact Rounded |
| radx165 add 12345 0.50001 -> 12346 Inexact Rounded |
| radx166 add 12345 0.5001 -> 12346 Inexact Rounded |
| radx167 add 12345 0.501 -> 12346 Inexact Rounded |
| radx168 add 12345 0.51 -> 12346 Inexact Rounded |
| radx169 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| rounding: half_even |
| |
| radx170 add 12345 -0.1 -> 12345 Inexact Rounded |
| radx171 add 12345 -0.01 -> 12345 Inexact Rounded |
| radx172 add 12345 -0.001 -> 12345 Inexact Rounded |
| radx173 add 12345 -0.00001 -> 12345 Inexact Rounded |
| radx174 add 12345 -0.000001 -> 12345 Inexact Rounded |
| radx175 add 12345 -0.0000001 -> 12345 Inexact Rounded |
| radx176 add 12345 0 -> 12345 |
| radx177 add 12345 0.0000001 -> 12345 Inexact Rounded |
| radx178 add 12345 0.000001 -> 12345 Inexact Rounded |
| radx179 add 12345 0.00001 -> 12345 Inexact Rounded |
| radx180 add 12345 0.0001 -> 12345 Inexact Rounded |
| radx181 add 12345 0.001 -> 12345 Inexact Rounded |
| radx182 add 12345 0.01 -> 12345 Inexact Rounded |
| radx183 add 12345 0.1 -> 12345 Inexact Rounded |
| |
| radx185 add 12346 0.49999 -> 12346 Inexact Rounded |
| radx186 add 12346 0.5 -> 12346 Inexact Rounded |
| radx187 add 12346 0.50001 -> 12347 Inexact Rounded |
| |
| radx190 add 12345 0.4 -> 12345 Inexact Rounded |
| radx191 add 12345 0.49 -> 12345 Inexact Rounded |
| radx192 add 12345 0.499 -> 12345 Inexact Rounded |
| radx193 add 12345 0.49999 -> 12345 Inexact Rounded |
| radx194 add 12345 0.5 -> 12346 Inexact Rounded |
| radx195 add 12345 0.50001 -> 12346 Inexact Rounded |
| radx196 add 12345 0.5001 -> 12346 Inexact Rounded |
| radx197 add 12345 0.501 -> 12346 Inexact Rounded |
| radx198 add 12345 0.51 -> 12346 Inexact Rounded |
| radx199 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| rounding: half_up |
| |
| radx200 add 12345 -0.1 -> 12345 Inexact Rounded |
| radx201 add 12345 -0.01 -> 12345 Inexact Rounded |
| radx202 add 12345 -0.001 -> 12345 Inexact Rounded |
| radx203 add 12345 -0.00001 -> 12345 Inexact Rounded |
| radx204 add 12345 -0.000001 -> 12345 Inexact Rounded |
| radx205 add 12345 -0.0000001 -> 12345 Inexact Rounded |
| radx206 add 12345 0 -> 12345 |
| radx207 add 12345 0.0000001 -> 12345 Inexact Rounded |
| radx208 add 12345 0.000001 -> 12345 Inexact Rounded |
| radx209 add 12345 0.00001 -> 12345 Inexact Rounded |
| radx210 add 12345 0.0001 -> 12345 Inexact Rounded |
| radx211 add 12345 0.001 -> 12345 Inexact Rounded |
| radx212 add 12345 0.01 -> 12345 Inexact Rounded |
| radx213 add 12345 0.1 -> 12345 Inexact Rounded |
| |
| radx215 add 12346 0.49999 -> 12346 Inexact Rounded |
| radx216 add 12346 0.5 -> 12347 Inexact Rounded |
| radx217 add 12346 0.50001 -> 12347 Inexact Rounded |
| |
| radx220 add 12345 0.4 -> 12345 Inexact Rounded |
| radx221 add 12345 0.49 -> 12345 Inexact Rounded |
| radx222 add 12345 0.499 -> 12345 Inexact Rounded |
| radx223 add 12345 0.49999 -> 12345 Inexact Rounded |
| radx224 add 12345 0.5 -> 12346 Inexact Rounded |
| radx225 add 12345 0.50001 -> 12346 Inexact Rounded |
| radx226 add 12345 0.5001 -> 12346 Inexact Rounded |
| radx227 add 12345 0.501 -> 12346 Inexact Rounded |
| radx228 add 12345 0.51 -> 12346 Inexact Rounded |
| radx229 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| rounding: up |
| |
| radx230 add 12345 -0.1 -> 12345 Inexact Rounded |
| radx231 add 12345 -0.01 -> 12345 Inexact Rounded |
| radx232 add 12345 -0.001 -> 12345 Inexact Rounded |
| radx233 add 12345 -0.00001 -> 12345 Inexact Rounded |
| radx234 add 12345 -0.000001 -> 12345 Inexact Rounded |
| radx235 add 12345 -0.0000001 -> 12345 Inexact Rounded |
| radx236 add 12345 0 -> 12345 |
| radx237 add 12345 0.0000001 -> 12346 Inexact Rounded |
| radx238 add 12345 0.000001 -> 12346 Inexact Rounded |
| radx239 add 12345 0.00001 -> 12346 Inexact Rounded |
| radx240 add 12345 0.0001 -> 12346 Inexact Rounded |
| radx241 add 12345 0.001 -> 12346 Inexact Rounded |
| radx242 add 12345 0.01 -> 12346 Inexact Rounded |
| radx243 add 12345 0.1 -> 12346 Inexact Rounded |
| |
| radx245 add 12346 0.49999 -> 12347 Inexact Rounded |
| radx246 add 12346 0.5 -> 12347 Inexact Rounded |
| radx247 add 12346 0.50001 -> 12347 Inexact Rounded |
| |
| radx250 add 12345 0.4 -> 12346 Inexact Rounded |
| radx251 add 12345 0.49 -> 12346 Inexact Rounded |
| radx252 add 12345 0.499 -> 12346 Inexact Rounded |
| radx253 add 12345 0.49999 -> 12346 Inexact Rounded |
| radx254 add 12345 0.5 -> 12346 Inexact Rounded |
| radx255 add 12345 0.50001 -> 12346 Inexact Rounded |
| radx256 add 12345 0.5001 -> 12346 Inexact Rounded |
| radx257 add 12345 0.501 -> 12346 Inexact Rounded |
| radx258 add 12345 0.51 -> 12346 Inexact Rounded |
| radx259 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| rounding: floor |
| |
| radx300 add 12345 -0.1 -> 12344 Inexact Rounded |
| radx301 add 12345 -0.01 -> 12344 Inexact Rounded |
| radx302 add 12345 -0.001 -> 12344 Inexact Rounded |
| radx303 add 12345 -0.00001 -> 12344 Inexact Rounded |
| radx304 add 12345 -0.000001 -> 12344 Inexact Rounded |
| radx305 add 12345 -0.0000001 -> 12344 Inexact Rounded |
| radx306 add 12345 0 -> 12345 |
| radx307 add 12345 0.0000001 -> 12345 Inexact Rounded |
| radx308 add 12345 0.000001 -> 12345 Inexact Rounded |
| radx309 add 12345 0.00001 -> 12345 Inexact Rounded |
| radx310 add 12345 0.0001 -> 12345 Inexact Rounded |
| radx311 add 12345 0.001 -> 12345 Inexact Rounded |
| radx312 add 12345 0.01 -> 12345 Inexact Rounded |
| radx313 add 12345 0.1 -> 12345 Inexact Rounded |
| |
| radx315 add 12346 0.49999 -> 12346 Inexact Rounded |
| radx316 add 12346 0.5 -> 12346 Inexact Rounded |
| radx317 add 12346 0.50001 -> 12346 Inexact Rounded |
| |
| radx320 add 12345 0.4 -> 12345 Inexact Rounded |
| radx321 add 12345 0.49 -> 12345 Inexact Rounded |
| radx322 add 12345 0.499 -> 12345 Inexact Rounded |
| radx323 add 12345 0.49999 -> 12345 Inexact Rounded |
| radx324 add 12345 0.5 -> 12345 Inexact Rounded |
| radx325 add 12345 0.50001 -> 12345 Inexact Rounded |
| radx326 add 12345 0.5001 -> 12345 Inexact Rounded |
| radx327 add 12345 0.501 -> 12345 Inexact Rounded |
| radx328 add 12345 0.51 -> 12345 Inexact Rounded |
| radx329 add 12345 0.6 -> 12345 Inexact Rounded |
| |
| rounding: ceiling |
| |
| radx330 add 12345 -0.1 -> 12345 Inexact Rounded |
| radx331 add 12345 -0.01 -> 12345 Inexact Rounded |
| radx332 add 12345 -0.001 -> 12345 Inexact Rounded |
| radx333 add 12345 -0.00001 -> 12345 Inexact Rounded |
| radx334 add 12345 -0.000001 -> 12345 Inexact Rounded |
| radx335 add 12345 -0.0000001 -> 12345 Inexact Rounded |
| radx336 add 12345 0 -> 12345 |
| radx337 add 12345 0.0000001 -> 12346 Inexact Rounded |
| radx338 add 12345 0.000001 -> 12346 Inexact Rounded |
| radx339 add 12345 0.00001 -> 12346 Inexact Rounded |
| radx340 add 12345 0.0001 -> 12346 Inexact Rounded |
| radx341 add 12345 0.001 -> 12346 Inexact Rounded |
| radx342 add 12345 0.01 -> 12346 Inexact Rounded |
| radx343 add 12345 0.1 -> 12346 Inexact Rounded |
| |
| radx345 add 12346 0.49999 -> 12347 Inexact Rounded |
| radx346 add 12346 0.5 -> 12347 Inexact Rounded |
| radx347 add 12346 0.50001 -> 12347 Inexact Rounded |
| |
| radx350 add 12345 0.4 -> 12346 Inexact Rounded |
| radx351 add 12345 0.49 -> 12346 Inexact Rounded |
| radx352 add 12345 0.499 -> 12346 Inexact Rounded |
| radx353 add 12345 0.49999 -> 12346 Inexact Rounded |
| radx354 add 12345 0.5 -> 12346 Inexact Rounded |
| radx355 add 12345 0.50001 -> 12346 Inexact Rounded |
| radx356 add 12345 0.5001 -> 12346 Inexact Rounded |
| radx357 add 12345 0.501 -> 12346 Inexact Rounded |
| radx358 add 12345 0.51 -> 12346 Inexact Rounded |
| radx359 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| -- negatives... |
| |
| rounding: down |
| |
| rsux100 add -12345 -0.1 -> -12345 Inexact Rounded |
| rsux101 add -12345 -0.01 -> -12345 Inexact Rounded |
| rsux102 add -12345 -0.001 -> -12345 Inexact Rounded |
| rsux103 add -12345 -0.00001 -> -12345 Inexact Rounded |
| rsux104 add -12345 -0.000001 -> -12345 Inexact Rounded |
| rsux105 add -12345 -0.0000001 -> -12345 Inexact Rounded |
| rsux106 add -12345 0 -> -12345 |
| rsux107 add -12345 0.0000001 -> -12344 Inexact Rounded |
| rsux108 add -12345 0.000001 -> -12344 Inexact Rounded |
| rsux109 add -12345 0.00001 -> -12344 Inexact Rounded |
| rsux110 add -12345 0.0001 -> -12344 Inexact Rounded |
| rsux111 add -12345 0.001 -> -12344 Inexact Rounded |
| rsux112 add -12345 0.01 -> -12344 Inexact Rounded |
| rsux113 add -12345 0.1 -> -12344 Inexact Rounded |
| |
| rsux115 add -12346 0.49999 -> -12345 Inexact Rounded |
| rsux116 add -12346 0.5 -> -12345 Inexact Rounded |
| rsux117 add -12346 0.50001 -> -12345 Inexact Rounded |
| |
| rsux120 add -12345 0.4 -> -12344 Inexact Rounded |
| rsux121 add -12345 0.49 -> -12344 Inexact Rounded |
| rsux122 add -12345 0.499 -> -12344 Inexact Rounded |
| rsux123 add -12345 0.49999 -> -12344 Inexact Rounded |
| rsux124 add -12345 0.5 -> -12344 Inexact Rounded |
| rsux125 add -12345 0.50001 -> -12344 Inexact Rounded |
| rsux126 add -12345 0.5001 -> -12344 Inexact Rounded |
| rsux127 add -12345 0.501 -> -12344 Inexact Rounded |
| rsux128 add -12345 0.51 -> -12344 Inexact Rounded |
| rsux129 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| rounding: half_down |
| |
| rsux140 add -12345 -0.1 -> -12345 Inexact Rounded |
| rsux141 add -12345 -0.01 -> -12345 Inexact Rounded |
| rsux142 add -12345 -0.001 -> -12345 Inexact Rounded |
| rsux143 add -12345 -0.00001 -> -12345 Inexact Rounded |
| rsux144 add -12345 -0.000001 -> -12345 Inexact Rounded |
| rsux145 add -12345 -0.0000001 -> -12345 Inexact Rounded |
| rsux146 add -12345 0 -> -12345 |
| rsux147 add -12345 0.0000001 -> -12345 Inexact Rounded |
| rsux148 add -12345 0.000001 -> -12345 Inexact Rounded |
| rsux149 add -12345 0.00001 -> -12345 Inexact Rounded |
| rsux150 add -12345 0.0001 -> -12345 Inexact Rounded |
| rsux151 add -12345 0.001 -> -12345 Inexact Rounded |
| rsux152 add -12345 0.01 -> -12345 Inexact Rounded |
| rsux153 add -12345 0.1 -> -12345 Inexact Rounded |
| |
| rsux155 add -12346 0.49999 -> -12346 Inexact Rounded |
| rsux156 add -12346 0.5 -> -12345 Inexact Rounded |
| rsux157 add -12346 0.50001 -> -12345 Inexact Rounded |
| |
| rsux160 add -12345 0.4 -> -12345 Inexact Rounded |
| rsux161 add -12345 0.49 -> -12345 Inexact Rounded |
| rsux162 add -12345 0.499 -> -12345 Inexact Rounded |
| rsux163 add -12345 0.49999 -> -12345 Inexact Rounded |
| rsux164 add -12345 0.5 -> -12344 Inexact Rounded |
| rsux165 add -12345 0.50001 -> -12344 Inexact Rounded |
| rsux166 add -12345 0.5001 -> -12344 Inexact Rounded |
| rsux167 add -12345 0.501 -> -12344 Inexact Rounded |
| rsux168 add -12345 0.51 -> -12344 Inexact Rounded |
| rsux169 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| rounding: half_even |
| |
| rsux170 add -12345 -0.1 -> -12345 Inexact Rounded |
| rsux171 add -12345 -0.01 -> -12345 Inexact Rounded |
| rsux172 add -12345 -0.001 -> -12345 Inexact Rounded |
| rsux173 add -12345 -0.00001 -> -12345 Inexact Rounded |
| rsux174 add -12345 -0.000001 -> -12345 Inexact Rounded |
| rsux175 add -12345 -0.0000001 -> -12345 Inexact Rounded |
| rsux176 add -12345 0 -> -12345 |
| rsux177 add -12345 0.0000001 -> -12345 Inexact Rounded |
| rsux178 add -12345 0.000001 -> -12345 Inexact Rounded |
| rsux179 add -12345 0.00001 -> -12345 Inexact Rounded |
| rsux180 add -12345 0.0001 -> -12345 Inexact Rounded |
| rsux181 add -12345 0.001 -> -12345 Inexact Rounded |
| rsux182 add -12345 0.01 -> -12345 Inexact Rounded |
| rsux183 add -12345 0.1 -> -12345 Inexact Rounded |
| |
| rsux185 add -12346 0.49999 -> -12346 Inexact Rounded |
| rsux186 add -12346 0.5 -> -12346 Inexact Rounded |
| rsux187 add -12346 0.50001 -> -12345 Inexact Rounded |
| |
| rsux190 add -12345 0.4 -> -12345 Inexact Rounded |
| rsux191 add -12345 0.49 -> -12345 Inexact Rounded |
| rsux192 add -12345 0.499 -> -12345 Inexact Rounded |
| rsux193 add -12345 0.49999 -> -12345 Inexact Rounded |
| rsux194 add -12345 0.5 -> -12344 Inexact Rounded |
| rsux195 add -12345 0.50001 -> -12344 Inexact Rounded |
| rsux196 add -12345 0.5001 -> -12344 Inexact Rounded |
| rsux197 add -12345 0.501 -> -12344 Inexact Rounded |
| rsux198 add -12345 0.51 -> -12344 Inexact Rounded |
| rsux199 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| rounding: half_up |
| |
| rsux200 add -12345 -0.1 -> -12345 Inexact Rounded |
| rsux201 add -12345 -0.01 -> -12345 Inexact Rounded |
| rsux202 add -12345 -0.001 -> -12345 Inexact Rounded |
| rsux203 add -12345 -0.00001 -> -12345 Inexact Rounded |
| rsux204 add -12345 -0.000001 -> -12345 Inexact Rounded |
| rsux205 add -12345 -0.0000001 -> -12345 Inexact Rounded |
| rsux206 add -12345 0 -> -12345 |
| rsux207 add -12345 0.0000001 -> -12345 Inexact Rounded |
| rsux208 add -12345 0.000001 -> -12345 Inexact Rounded |
| rsux209 add -12345 0.00001 -> -12345 Inexact Rounded |
| rsux210 add -12345 0.0001 -> -12345 Inexact Rounded |
| rsux211 add -12345 0.001 -> -12345 Inexact Rounded |
| rsux212 add -12345 0.01 -> -12345 Inexact Rounded |
| rsux213 add -12345 0.1 -> -12345 Inexact Rounded |
| |
| rsux215 add -12346 0.49999 -> -12346 Inexact Rounded |
| rsux216 add -12346 0.5 -> -12346 Inexact Rounded |
| rsux217 add -12346 0.50001 -> -12345 Inexact Rounded |
| |
| rsux220 add -12345 0.4 -> -12345 Inexact Rounded |
| rsux221 add -12345 0.49 -> -12345 Inexact Rounded |
| rsux222 add -12345 0.499 -> -12345 Inexact Rounded |
| rsux223 add -12345 0.49999 -> -12345 Inexact Rounded |
| rsux224 add -12345 0.5 -> -12345 Inexact Rounded |
| rsux225 add -12345 0.50001 -> -12344 Inexact Rounded |
| rsux226 add -12345 0.5001 -> -12344 Inexact Rounded |
| rsux227 add -12345 0.501 -> -12344 Inexact Rounded |
| rsux228 add -12345 0.51 -> -12344 Inexact Rounded |
| rsux229 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| rounding: up |
| |
| rsux230 add -12345 -0.1 -> -12346 Inexact Rounded |
| rsux231 add -12345 -0.01 -> -12346 Inexact Rounded |
| rsux232 add -12345 -0.001 -> -12346 Inexact Rounded |
| rsux233 add -12345 -0.00001 -> -12346 Inexact Rounded |
| rsux234 add -12345 -0.000001 -> -12346 Inexact Rounded |
| rsux235 add -12345 -0.0000001 -> -12346 Inexact Rounded |
| rsux236 add -12345 0 -> -12345 |
| rsux237 add -12345 0.0000001 -> -12345 Inexact Rounded |
| rsux238 add -12345 0.000001 -> -12345 Inexact Rounded |
| rsux239 add -12345 0.00001 -> -12345 Inexact Rounded |
| rsux240 add -12345 0.0001 -> -12345 Inexact Rounded |
| rsux241 add -12345 0.001 -> -12345 Inexact Rounded |
| rsux242 add -12345 0.01 -> -12345 Inexact Rounded |
| rsux243 add -12345 0.1 -> -12345 Inexact Rounded |
| |
| rsux245 add -12346 0.49999 -> -12346 Inexact Rounded |
| rsux246 add -12346 0.5 -> -12346 Inexact Rounded |
| rsux247 add -12346 0.50001 -> -12346 Inexact Rounded |
| |
| rsux250 add -12345 0.4 -> -12345 Inexact Rounded |
| rsux251 add -12345 0.49 -> -12345 Inexact Rounded |
| rsux252 add -12345 0.499 -> -12345 Inexact Rounded |
| rsux253 add -12345 0.49999 -> -12345 Inexact Rounded |
| rsux254 add -12345 0.5 -> -12345 Inexact Rounded |
| rsux255 add -12345 0.50001 -> -12345 Inexact Rounded |
| rsux256 add -12345 0.5001 -> -12345 Inexact Rounded |
| rsux257 add -12345 0.501 -> -12345 Inexact Rounded |
| rsux258 add -12345 0.51 -> -12345 Inexact Rounded |
| rsux259 add -12345 0.6 -> -12345 Inexact Rounded |
| |
| rounding: floor |
| |
| rsux300 add -12345 -0.1 -> -12346 Inexact Rounded |
| rsux301 add -12345 -0.01 -> -12346 Inexact Rounded |
| rsux302 add -12345 -0.001 -> -12346 Inexact Rounded |
| rsux303 add -12345 -0.00001 -> -12346 Inexact Rounded |
| rsux304 add -12345 -0.000001 -> -12346 Inexact Rounded |
| rsux305 add -12345 -0.0000001 -> -12346 Inexact Rounded |
| rsux306 add -12345 0 -> -12345 |
| rsux307 add -12345 0.0000001 -> -12345 Inexact Rounded |
| rsux308 add -12345 0.000001 -> -12345 Inexact Rounded |
| rsux309 add -12345 0.00001 -> -12345 Inexact Rounded |
| rsux310 add -12345 0.0001 -> -12345 Inexact Rounded |
| rsux311 add -12345 0.001 -> -12345 Inexact Rounded |
| rsux312 add -12345 0.01 -> -12345 Inexact Rounded |
| rsux313 add -12345 0.1 -> -12345 Inexact Rounded |
| |
| rsux315 add -12346 0.49999 -> -12346 Inexact Rounded |
| rsux316 add -12346 0.5 -> -12346 Inexact Rounded |
| rsux317 add -12346 0.50001 -> -12346 Inexact Rounded |
| |
| rsux320 add -12345 0.4 -> -12345 Inexact Rounded |
| rsux321 add -12345 0.49 -> -12345 Inexact Rounded |
| rsux322 add -12345 0.499 -> -12345 Inexact Rounded |
| rsux323 add -12345 0.49999 -> -12345 Inexact Rounded |
| rsux324 add -12345 0.5 -> -12345 Inexact Rounded |
| rsux325 add -12345 0.50001 -> -12345 Inexact Rounded |
| rsux326 add -12345 0.5001 -> -12345 Inexact Rounded |
| rsux327 add -12345 0.501 -> -12345 Inexact Rounded |
| rsux328 add -12345 0.51 -> -12345 Inexact Rounded |
| rsux329 add -12345 0.6 -> -12345 Inexact Rounded |
| |
| rounding: ceiling |
| |
| rsux330 add -12345 -0.1 -> -12345 Inexact Rounded |
| rsux331 add -12345 -0.01 -> -12345 Inexact Rounded |
| rsux332 add -12345 -0.001 -> -12345 Inexact Rounded |
| rsux333 add -12345 -0.00001 -> -12345 Inexact Rounded |
| rsux334 add -12345 -0.000001 -> -12345 Inexact Rounded |
| rsux335 add -12345 -0.0000001 -> -12345 Inexact Rounded |
| rsux336 add -12345 0 -> -12345 |
| rsux337 add -12345 0.0000001 -> -12344 Inexact Rounded |
| rsux338 add -12345 0.000001 -> -12344 Inexact Rounded |
| rsux339 add -12345 0.00001 -> -12344 Inexact Rounded |
| rsux340 add -12345 0.0001 -> -12344 Inexact Rounded |
| rsux341 add -12345 0.001 -> -12344 Inexact Rounded |
| rsux342 add -12345 0.01 -> -12344 Inexact Rounded |
| rsux343 add -12345 0.1 -> -12344 Inexact Rounded |
| |
| rsux345 add -12346 0.49999 -> -12345 Inexact Rounded |
| rsux346 add -12346 0.5 -> -12345 Inexact Rounded |
| rsux347 add -12346 0.50001 -> -12345 Inexact Rounded |
| |
| rsux350 add -12345 0.4 -> -12344 Inexact Rounded |
| rsux351 add -12345 0.49 -> -12344 Inexact Rounded |
| rsux352 add -12345 0.499 -> -12344 Inexact Rounded |
| rsux353 add -12345 0.49999 -> -12344 Inexact Rounded |
| rsux354 add -12345 0.5 -> -12344 Inexact Rounded |
| rsux355 add -12345 0.50001 -> -12344 Inexact Rounded |
| rsux356 add -12345 0.5001 -> -12344 Inexact Rounded |
| rsux357 add -12345 0.501 -> -12344 Inexact Rounded |
| rsux358 add -12345 0.51 -> -12344 Inexact Rounded |
| rsux359 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| -- Check cancellation subtractions |
| -- (The IEEE 854 'curious rule' in $6.3) |
| |
| rounding: down |
| rzex001 add 0 0 -> 0 |
| rzex002 add 0 -0 -> 0 |
| rzex003 add -0 0 -> 0 |
| rzex004 add -0 -0 -> -0 |
| rzex005 add 1 -1 -> 0 |
| rzex006 add -1 1 -> 0 |
| rzex007 add 1.5 -1.5 -> 0.0 |
| rzex008 add -1.5 1.5 -> 0.0 |
| rzex009 add 2 -2 -> 0 |
| rzex010 add -2 2 -> 0 |
| |
| rounding: up |
| rzex011 add 0 0 -> 0 |
| rzex012 add 0 -0 -> 0 |
| rzex013 add -0 0 -> 0 |
| rzex014 add -0 -0 -> -0 |
| rzex015 add 1 -1 -> 0 |
| rzex016 add -1 1 -> 0 |
| rzex017 add 1.5 -1.5 -> 0.0 |
| rzex018 add -1.5 1.5 -> 0.0 |
| rzex019 add 2 -2 -> 0 |
| rzex020 add -2 2 -> 0 |
| |
| rounding: half_up |
| rzex021 add 0 0 -> 0 |
| rzex022 add 0 -0 -> 0 |
| rzex023 add -0 0 -> 0 |
| rzex024 add -0 -0 -> -0 |
| rzex025 add 1 -1 -> 0 |
| rzex026 add -1 1 -> 0 |
| rzex027 add 1.5 -1.5 -> 0.0 |
| rzex028 add -1.5 1.5 -> 0.0 |
| rzex029 add 2 -2 -> 0 |
| rzex030 add -2 2 -> 0 |
| |
| rounding: half_down |
| rzex031 add 0 0 -> 0 |
| rzex032 add 0 -0 -> 0 |
| rzex033 add -0 0 -> 0 |
| rzex034 add -0 -0 -> -0 |
| rzex035 add 1 -1 -> 0 |
| rzex036 add -1 1 -> 0 |
| rzex037 add 1.5 -1.5 -> 0.0 |
| rzex038 add -1.5 1.5 -> 0.0 |
| rzex039 add 2 -2 -> 0 |
| rzex040 add -2 2 -> 0 |
| |
| rounding: half_even |
| rzex041 add 0 0 -> 0 |
| rzex042 add 0 -0 -> 0 |
| rzex043 add -0 0 -> 0 |
| rzex044 add -0 -0 -> -0 |
| rzex045 add 1 -1 -> 0 |
| rzex046 add -1 1 -> 0 |
| rzex047 add 1.5 -1.5 -> 0.0 |
| rzex048 add -1.5 1.5 -> 0.0 |
| rzex049 add 2 -2 -> 0 |
| rzex050 add -2 2 -> 0 |
| |
| rounding: floor |
| rzex051 add 0 0 -> 0 |
| rzex052 add 0 -0 -> -0 -- here are two 'curious' |
| rzex053 add -0 0 -> -0 -- |
| rzex054 add -0 -0 -> -0 |
| rzex055 add 1 -1 -> -0 -- here are the rest |
| rzex056 add -1 1 -> -0 -- .. |
| rzex057 add 1.5 -1.5 -> -0.0 -- .. |
| rzex058 add -1.5 1.5 -> -0.0 -- .. |
| rzex059 add 2 -2 -> -0 -- .. |
| rzex060 add -2 2 -> -0 -- .. |
| |
| rounding: ceiling |
| rzex061 add 0 0 -> 0 |
| rzex062 add 0 -0 -> 0 |
| rzex063 add -0 0 -> 0 |
| rzex064 add -0 -0 -> -0 |
| rzex065 add 1 -1 -> 0 |
| rzex066 add -1 1 -> 0 |
| rzex067 add 1.5 -1.5 -> 0.0 |
| rzex068 add -1.5 1.5 -> 0.0 |
| rzex069 add 2 -2 -> 0 |
| rzex070 add -2 2 -> 0 |
| |
| |
| -- Division operators ------------------------------------------------- |
| |
| rounding: down |
| rdvx101 divide 12345 1 -> 12345 |
| rdvx102 divide 12345 1.0001 -> 12343 Inexact Rounded |
| rdvx103 divide 12345 1.001 -> 12332 Inexact Rounded |
| rdvx104 divide 12345 1.01 -> 12222 Inexact Rounded |
| rdvx105 divide 12345 1.1 -> 11222 Inexact Rounded |
| rdvx106 divide 12355 4 -> 3088.7 Inexact Rounded |
| rdvx107 divide 12345 4 -> 3086.2 Inexact Rounded |
| rdvx108 divide 12355 4.0001 -> 3088.6 Inexact Rounded |
| rdvx109 divide 12345 4.0001 -> 3086.1 Inexact Rounded |
| rdvx110 divide 12345 4.9 -> 2519.3 Inexact Rounded |
| rdvx111 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| rdvx112 divide 12345 4.999 -> 2469.4 Inexact Rounded |
| rdvx113 divide 12345 4.9999 -> 2469.0 Inexact Rounded |
| rdvx114 divide 12345 5 -> 2469 |
| rdvx115 divide 12345 5.0001 -> 2468.9 Inexact Rounded |
| rdvx116 divide 12345 5.001 -> 2468.5 Inexact Rounded |
| rdvx117 divide 12345 5.01 -> 2464.0 Inexact Rounded |
| rdvx118 divide 12345 5.1 -> 2420.5 Inexact Rounded |
| |
| rounding: half_down |
| rdvx201 divide 12345 1 -> 12345 |
| rdvx202 divide 12345 1.0001 -> 12344 Inexact Rounded |
| rdvx203 divide 12345 1.001 -> 12333 Inexact Rounded |
| rdvx204 divide 12345 1.01 -> 12223 Inexact Rounded |
| rdvx205 divide 12345 1.1 -> 11223 Inexact Rounded |
| rdvx206 divide 12355 4 -> 3088.7 Inexact Rounded |
| rdvx207 divide 12345 4 -> 3086.2 Inexact Rounded |
| rdvx208 divide 12355 4.0001 -> 3088.7 Inexact Rounded |
| rdvx209 divide 12345 4.0001 -> 3086.2 Inexact Rounded |
| rdvx210 divide 12345 4.9 -> 2519.4 Inexact Rounded |
| rdvx211 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| rdvx212 divide 12345 4.999 -> 2469.5 Inexact Rounded |
| rdvx213 divide 12345 4.9999 -> 2469.0 Inexact Rounded |
| rdvx214 divide 12345 5 -> 2469 |
| rdvx215 divide 12345 5.0001 -> 2469.0 Inexact Rounded |
| rdvx216 divide 12345 5.001 -> 2468.5 Inexact Rounded |
| rdvx217 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| rdvx218 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| rounding: half_even |
| rdvx301 divide 12345 1 -> 12345 |
| rdvx302 divide 12345 1.0001 -> 12344 Inexact Rounded |
| rdvx303 divide 12345 1.001 -> 12333 Inexact Rounded |
| rdvx304 divide 12345 1.01 -> 12223 Inexact Rounded |
| rdvx305 divide 12345 1.1 -> 11223 Inexact Rounded |
| rdvx306 divide 12355 4 -> 3088.8 Inexact Rounded |
| rdvx307 divide 12345 4 -> 3086.2 Inexact Rounded |
| rdvx308 divide 12355 4.0001 -> 3088.7 Inexact Rounded |
| rdvx309 divide 12345 4.0001 -> 3086.2 Inexact Rounded |
| rdvx310 divide 12345 4.9 -> 2519.4 Inexact Rounded |
| rdvx311 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| rdvx312 divide 12345 4.999 -> 2469.5 Inexact Rounded |
| rdvx313 divide 12345 4.9999 -> 2469.0 Inexact Rounded |
| rdvx314 divide 12345 5 -> 2469 |
| rdvx315 divide 12345 5.0001 -> 2469.0 Inexact Rounded |
| rdvx316 divide 12345 5.001 -> 2468.5 Inexact Rounded |
| rdvx317 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| rdvx318 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| rounding: half_up |
| rdvx401 divide 12345 1 -> 12345 |
| rdvx402 divide 12345 1.0001 -> 12344 Inexact Rounded |
| rdvx403 divide 12345 1.001 -> 12333 Inexact Rounded |
| rdvx404 divide 12345 1.01 -> 12223 Inexact Rounded |
| rdvx405 divide 12345 1.1 -> 11223 Inexact Rounded |
| rdvx406 divide 12355 4 -> 3088.8 Inexact Rounded |
| rdvx407 divide 12345 4 -> 3086.3 Inexact Rounded |
| rdvx408 divide 12355 4.0001 -> 3088.7 Inexact Rounded |
| rdvx409 divide 12345 4.0001 -> 3086.2 Inexact Rounded |
| rdvx410 divide 12345 4.9 -> 2519.4 Inexact Rounded |
| rdvx411 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| rdvx412 divide 12345 4.999 -> 2469.5 Inexact Rounded |
| rdvx413 divide 12345 4.9999 -> 2469.0 Inexact Rounded |
| rdvx414 divide 12345 5 -> 2469 |
| rdvx415 divide 12345 5.0001 -> 2469.0 Inexact Rounded |
| rdvx416 divide 12345 5.001 -> 2468.5 Inexact Rounded |
| rdvx417 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| rdvx418 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| rounding: up |
| rdvx501 divide 12345 1 -> 12345 |
| rdvx502 divide 12345 1.0001 -> 12344 Inexact Rounded |
| rdvx503 divide 12345 1.001 -> 12333 Inexact Rounded |
| rdvx504 divide 12345 1.01 -> 12223 Inexact Rounded |
| rdvx505 divide 12345 1.1 -> 11223 Inexact Rounded |
| rdvx506 divide 12355 4 -> 3088.8 Inexact Rounded |
| rdvx507 divide 12345 4 -> 3086.3 Inexact Rounded |
| rdvx508 divide 12355 4.0001 -> 3088.7 Inexact Rounded |
| rdvx509 divide 12345 4.0001 -> 3086.2 Inexact Rounded |
| rdvx510 divide 12345 4.9 -> 2519.4 Inexact Rounded |
| rdvx511 divide 12345 4.99 -> 2474.0 Inexact Rounded |
| rdvx512 divide 12345 4.999 -> 2469.5 Inexact Rounded |
| rdvx513 divide 12345 4.9999 -> 2469.1 Inexact Rounded |
| rdvx514 divide 12345 5 -> 2469 |
| rdvx515 divide 12345 5.0001 -> 2469.0 Inexact Rounded |
| rdvx516 divide 12345 5.001 -> 2468.6 Inexact Rounded |
| rdvx517 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| rdvx518 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| rounding: floor |
| rdvx601 divide 12345 1 -> 12345 |
| rdvx602 divide 12345 1.0001 -> 12343 Inexact Rounded |
| rdvx603 divide 12345 1.001 -> 12332 Inexact Rounded |
| rdvx604 divide 12345 1.01 -> 12222 Inexact Rounded |
| rdvx605 divide 12345 1.1 -> 11222 Inexact Rounded |
| rdvx606 divide 12355 4 -> 3088.7 Inexact Rounded |
| rdvx607 divide 12345 4 -> 3086.2 Inexact Rounded |
| rdvx608 divide 12355 4.0001 -> 3088.6 Inexact Rounded |
| rdvx609 divide 12345 4.0001 -> 3086.1 Inexact Rounded |
| rdvx610 divide 12345 4.9 -> 2519.3 Inexact Rounded |
| rdvx611 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| rdvx612 divide 12345 4.999 -> 2469.4 Inexact Rounded |
| rdvx613 divide 12345 4.9999 -> 2469.0 Inexact Rounded |
| rdvx614 divide 12345 5 -> 2469 |
| rdvx615 divide 12345 5.0001 -> 2468.9 Inexact Rounded |
| rdvx616 divide 12345 5.001 -> 2468.5 Inexact Rounded |
| rdvx617 divide 12345 5.01 -> 2464.0 Inexact Rounded |
| rdvx618 divide 12345 5.1 -> 2420.5 Inexact Rounded |
| |
| rounding: ceiling |
| rdvx701 divide 12345 1 -> 12345 |
| rdvx702 divide 12345 1.0001 -> 12344 Inexact Rounded |
| rdvx703 divide 12345 1.001 -> 12333 Inexact Rounded |
| rdvx704 divide 12345 1.01 -> 12223 Inexact Rounded |
| rdvx705 divide 12345 1.1 -> 11223 Inexact Rounded |
| rdvx706 divide 12355 4 -> 3088.8 Inexact Rounded |
| rdvx707 divide 12345 4 -> 3086.3 Inexact Rounded |
| rdvx708 divide 12355 4.0001 -> 3088.7 Inexact Rounded |
| rdvx709 divide 12345 4.0001 -> 3086.2 Inexact Rounded |
| rdvx710 divide 12345 4.9 -> 2519.4 Inexact Rounded |
| rdvx711 divide 12345 4.99 -> 2474.0 Inexact Rounded |
| rdvx712 divide 12345 4.999 -> 2469.5 Inexact Rounded |
| rdvx713 divide 12345 4.9999 -> 2469.1 Inexact Rounded |
| rdvx714 divide 12345 5 -> 2469 |
| rdvx715 divide 12345 5.0001 -> 2469.0 Inexact Rounded |
| rdvx716 divide 12345 5.001 -> 2468.6 Inexact Rounded |
| rdvx717 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| rdvx718 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| -- [divideInteger and remainder unaffected] |
| |
| -- Multiplication operator -------------------------------------------- |
| |
| rounding: down |
| rmux101 multiply 12345 1 -> 12345 |
| rmux102 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| rmux103 multiply 12345 1.001 -> 12357 Inexact Rounded |
| rmux104 multiply 12345 1.01 -> 12468 Inexact Rounded |
| rmux105 multiply 12345 1.1 -> 13579 Inexact Rounded |
| rmux106 multiply 12345 4 -> 49380 |
| rmux107 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| rmux108 multiply 12345 4.9 -> 60490 Inexact Rounded |
| rmux109 multiply 12345 4.99 -> 61601 Inexact Rounded |
| rmux110 multiply 12345 4.999 -> 61712 Inexact Rounded |
| rmux111 multiply 12345 4.9999 -> 61723 Inexact Rounded |
| rmux112 multiply 12345 5 -> 61725 |
| rmux113 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| rmux114 multiply 12345 5.001 -> 61737 Inexact Rounded |
| rmux115 multiply 12345 5.01 -> 61848 Inexact Rounded |
| rmux116 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux117 multiply 12345 13 -> 1.6048E+5 Inexact Rounded |
| rmux118 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux119 multiply 12355 13 -> 1.6061E+5 Inexact Rounded |
| |
| rounding: half_down |
| rmux201 multiply 12345 1 -> 12345 |
| rmux202 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| rmux203 multiply 12345 1.001 -> 12357 Inexact Rounded |
| rmux204 multiply 12345 1.01 -> 12468 Inexact Rounded |
| rmux205 multiply 12345 1.1 -> 13579 Inexact Rounded |
| rmux206 multiply 12345 4 -> 49380 |
| rmux207 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| rmux208 multiply 12345 4.9 -> 60490 Inexact Rounded |
| rmux209 multiply 12345 4.99 -> 61602 Inexact Rounded |
| rmux210 multiply 12345 4.999 -> 61713 Inexact Rounded |
| rmux211 multiply 12345 4.9999 -> 61724 Inexact Rounded |
| rmux212 multiply 12345 5 -> 61725 |
| rmux213 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| rmux214 multiply 12345 5.001 -> 61737 Inexact Rounded |
| rmux215 multiply 12345 5.01 -> 61848 Inexact Rounded |
| rmux216 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux217 multiply 12345 13 -> 1.6048E+5 Inexact Rounded |
| rmux218 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux219 multiply 12355 13 -> 1.6061E+5 Inexact Rounded |
| |
| rounding: half_even |
| rmux301 multiply 12345 1 -> 12345 |
| rmux302 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| rmux303 multiply 12345 1.001 -> 12357 Inexact Rounded |
| rmux304 multiply 12345 1.01 -> 12468 Inexact Rounded |
| rmux305 multiply 12345 1.1 -> 13580 Inexact Rounded |
| rmux306 multiply 12345 4 -> 49380 |
| rmux307 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| rmux308 multiply 12345 4.9 -> 60490 Inexact Rounded |
| rmux309 multiply 12345 4.99 -> 61602 Inexact Rounded |
| rmux310 multiply 12345 4.999 -> 61713 Inexact Rounded |
| rmux311 multiply 12345 4.9999 -> 61724 Inexact Rounded |
| rmux312 multiply 12345 5 -> 61725 |
| rmux313 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| rmux314 multiply 12345 5.001 -> 61737 Inexact Rounded |
| rmux315 multiply 12345 5.01 -> 61848 Inexact Rounded |
| rmux316 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux317 multiply 12345 13 -> 1.6048E+5 Inexact Rounded |
| rmux318 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux319 multiply 12355 13 -> 1.6062E+5 Inexact Rounded |
| |
| rounding: half_up |
| rmux401 multiply 12345 1 -> 12345 |
| rmux402 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| rmux403 multiply 12345 1.001 -> 12357 Inexact Rounded |
| rmux404 multiply 12345 1.01 -> 12468 Inexact Rounded |
| rmux405 multiply 12345 1.1 -> 13580 Inexact Rounded |
| rmux406 multiply 12345 4 -> 49380 |
| rmux407 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| rmux408 multiply 12345 4.9 -> 60491 Inexact Rounded |
| rmux409 multiply 12345 4.99 -> 61602 Inexact Rounded |
| rmux410 multiply 12345 4.999 -> 61713 Inexact Rounded |
| rmux411 multiply 12345 4.9999 -> 61724 Inexact Rounded |
| rmux412 multiply 12345 5 -> 61725 |
| rmux413 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| rmux414 multiply 12345 5.001 -> 61737 Inexact Rounded |
| rmux415 multiply 12345 5.01 -> 61848 Inexact Rounded |
| rmux416 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux417 multiply 12345 13 -> 1.6049E+5 Inexact Rounded |
| rmux418 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux419 multiply 12355 13 -> 1.6062E+5 Inexact Rounded |
| |
| rounding: up |
| rmux501 multiply 12345 1 -> 12345 |
| rmux502 multiply 12345 1.0001 -> 12347 Inexact Rounded |
| rmux503 multiply 12345 1.001 -> 12358 Inexact Rounded |
| rmux504 multiply 12345 1.01 -> 12469 Inexact Rounded |
| rmux505 multiply 12345 1.1 -> 13580 Inexact Rounded |
| rmux506 multiply 12345 4 -> 49380 |
| rmux507 multiply 12345 4.0001 -> 49382 Inexact Rounded |
| rmux508 multiply 12345 4.9 -> 60491 Inexact Rounded |
| rmux509 multiply 12345 4.99 -> 61602 Inexact Rounded |
| rmux510 multiply 12345 4.999 -> 61713 Inexact Rounded |
| rmux511 multiply 12345 4.9999 -> 61724 Inexact Rounded |
| rmux512 multiply 12345 5 -> 61725 |
| rmux513 multiply 12345 5.0001 -> 61727 Inexact Rounded |
| rmux514 multiply 12345 5.001 -> 61738 Inexact Rounded |
| rmux515 multiply 12345 5.01 -> 61849 Inexact Rounded |
| rmux516 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux517 multiply 12345 13 -> 1.6049E+5 Inexact Rounded |
| rmux518 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux519 multiply 12355 13 -> 1.6062E+5 Inexact Rounded |
| -- [rmux516 & rmux518] can surprise |
| |
| rounding: floor |
| rmux601 multiply 12345 1 -> 12345 |
| rmux602 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| rmux603 multiply 12345 1.001 -> 12357 Inexact Rounded |
| rmux604 multiply 12345 1.01 -> 12468 Inexact Rounded |
| rmux605 multiply 12345 1.1 -> 13579 Inexact Rounded |
| rmux606 multiply 12345 4 -> 49380 |
| rmux607 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| rmux608 multiply 12345 4.9 -> 60490 Inexact Rounded |
| rmux609 multiply 12345 4.99 -> 61601 Inexact Rounded |
| rmux610 multiply 12345 4.999 -> 61712 Inexact Rounded |
| rmux611 multiply 12345 4.9999 -> 61723 Inexact Rounded |
| rmux612 multiply 12345 5 -> 61725 |
| rmux613 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| rmux614 multiply 12345 5.001 -> 61737 Inexact Rounded |
| rmux615 multiply 12345 5.01 -> 61848 Inexact Rounded |
| rmux616 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux617 multiply 12345 13 -> 1.6048E+5 Inexact Rounded |
| rmux618 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux619 multiply 12355 13 -> 1.6061E+5 Inexact Rounded |
| |
| rounding: ceiling |
| rmux701 multiply 12345 1 -> 12345 |
| rmux702 multiply 12345 1.0001 -> 12347 Inexact Rounded |
| rmux703 multiply 12345 1.001 -> 12358 Inexact Rounded |
| rmux704 multiply 12345 1.01 -> 12469 Inexact Rounded |
| rmux705 multiply 12345 1.1 -> 13580 Inexact Rounded |
| rmux706 multiply 12345 4 -> 49380 |
| rmux707 multiply 12345 4.0001 -> 49382 Inexact Rounded |
| rmux708 multiply 12345 4.9 -> 60491 Inexact Rounded |
| rmux709 multiply 12345 4.99 -> 61602 Inexact Rounded |
| rmux710 multiply 12345 4.999 -> 61713 Inexact Rounded |
| rmux711 multiply 12345 4.9999 -> 61724 Inexact Rounded |
| rmux712 multiply 12345 5 -> 61725 |
| rmux713 multiply 12345 5.0001 -> 61727 Inexact Rounded |
| rmux714 multiply 12345 5.001 -> 61738 Inexact Rounded |
| rmux715 multiply 12345 5.01 -> 61849 Inexact Rounded |
| rmux716 multiply 12345 12 -> 1.4814E+5 Rounded |
| rmux717 multiply 12345 13 -> 1.6049E+5 Inexact Rounded |
| rmux718 multiply 12355 12 -> 1.4826E+5 Rounded |
| rmux719 multiply 12355 13 -> 1.6062E+5 Inexact Rounded |
| |
| -- Power operator ----------------------------------------------------- |
| |
| rounding: down |
| rpox101 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| rpox102 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| rpox103 power 12345 -3 -> 5.3152E-13 Inexact Rounded |
| rpox104 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| rpox105 power 12345 -1 -> 0.000081004 Inexact Rounded |
| rpox106 power 12345 0 -> 1 |
| rpox107 power 12345 1 -> 12345 |
| rpox108 power 12345 2 -> 1.5239E+8 Inexact Rounded |
| rpox109 power 12345 3 -> 1.8813E+12 Inexact Rounded |
| rpox110 power 12345 4 -> 2.3225E+16 Inexact Rounded |
| rpox111 power 12345 5 -> 2.8671E+20 Inexact Rounded |
| rpox112 power 415 2 -> 1.7222E+5 Inexact Rounded |
| rpox113 power 75 3 -> 4.2187E+5 Inexact Rounded |
| |
| rounding: half_down |
| rpox201 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| rpox202 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| rpox203 power 12345 -3 -> 5.3153E-13 Inexact Rounded |
| rpox204 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| rpox205 power 12345 -1 -> 0.000081004 Inexact Rounded |
| rpox206 power 12345 0 -> 1 |
| rpox207 power 12345 1 -> 12345 |
| rpox208 power 12345 2 -> 1.5240E+8 Inexact Rounded |
| rpox209 power 12345 3 -> 1.8814E+12 Inexact Rounded |
| rpox210 power 12345 4 -> 2.3225E+16 Inexact Rounded |
| rpox211 power 12345 5 -> 2.8672E+20 Inexact Rounded |
| rpox212 power 415 2 -> 1.7222E+5 Inexact Rounded |
| rpox213 power 75 3 -> 4.2187E+5 Inexact Rounded |
| |
| rounding: half_even |
| rpox301 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| rpox302 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| rpox303 power 12345 -3 -> 5.3153E-13 Inexact Rounded |
| rpox304 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| rpox305 power 12345 -1 -> 0.000081004 Inexact Rounded |
| rpox306 power 12345 0 -> 1 |
| rpox307 power 12345 1 -> 12345 |
| rpox308 power 12345 2 -> 1.5240E+8 Inexact Rounded |
| rpox309 power 12345 3 -> 1.8814E+12 Inexact Rounded |
| rpox310 power 12345 4 -> 2.3225E+16 Inexact Rounded |
| rpox311 power 12345 5 -> 2.8672E+20 Inexact Rounded |
| rpox312 power 415 2 -> 1.7222E+5 Inexact Rounded |
| rpox313 power 75 3 -> 4.2188E+5 Inexact Rounded |
| |
| rounding: half_up |
| rpox401 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| rpox402 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| rpox403 power 12345 -3 -> 5.3153E-13 Inexact Rounded |
| rpox404 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| rpox405 power 12345 -1 -> 0.000081004 Inexact Rounded |
| rpox406 power 12345 0 -> 1 |
| rpox407 power 12345 1 -> 12345 |
| rpox408 power 12345 2 -> 1.5240E+8 Inexact Rounded |
| rpox409 power 12345 3 -> 1.8814E+12 Inexact Rounded |
| rpox410 power 12345 4 -> 2.3225E+16 Inexact Rounded |
| rpox411 power 12345 5 -> 2.8672E+20 Inexact Rounded |
| rpox412 power 415 2 -> 1.7223E+5 Inexact Rounded |
| rpox413 power 75 3 -> 4.2188E+5 Inexact Rounded |
| |
| rounding: up |
| rpox501 power 12345 -5 -> 3.4878E-21 Inexact Rounded |
| rpox502 power 12345 -4 -> 4.3057E-17 Inexact Rounded |
| rpox503 power 12345 -3 -> 5.3153E-13 Inexact Rounded |
| rpox504 power 12345 -2 -> 6.5618E-9 Inexact Rounded |
| rpox505 power 12345 -1 -> 0.000081005 Inexact Rounded |
| rpox506 power 12345 0 -> 1 |
| rpox507 power 12345 1 -> 12345 |
| rpox508 power 12345 2 -> 1.5240E+8 Inexact Rounded |
| rpox509 power 12345 3 -> 1.8814E+12 Inexact Rounded |
| rpox510 power 12345 4 -> 2.3226E+16 Inexact Rounded |
| rpox511 power 12345 5 -> 2.8672E+20 Inexact Rounded |
| rpox512 power 415 2 -> 1.7223E+5 Inexact Rounded |
| rpox513 power 75 3 -> 4.2188E+5 Inexact Rounded |
| |
| rounding: floor |
| rpox601 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| rpox602 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| rpox603 power 12345 -3 -> 5.3152E-13 Inexact Rounded |
| rpox604 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| rpox605 power 12345 -1 -> 0.000081004 Inexact Rounded |
| rpox606 power 12345 0 -> 1 |
| rpox607 power 12345 1 -> 12345 |
| rpox608 power 12345 2 -> 1.5239E+8 Inexact Rounded |
| rpox609 power 12345 3 -> 1.8813E+12 Inexact Rounded |
| rpox610 power 12345 4 -> 2.3225E+16 Inexact Rounded |
| rpox611 power 12345 5 -> 2.8671E+20 Inexact Rounded |
| rpox612 power 415 2 -> 1.7222E+5 Inexact Rounded |
| rpox613 power 75 3 -> 4.2187E+5 Inexact Rounded |
| |
| rounding: ceiling |
| rpox701 power 12345 -5 -> 3.4878E-21 Inexact Rounded |
| rpox702 power 12345 -4 -> 4.3057E-17 Inexact Rounded |
| rpox703 power 12345 -3 -> 5.3153E-13 Inexact Rounded |
| rpox704 power 12345 -2 -> 6.5618E-9 Inexact Rounded |
| rpox705 power 12345 -1 -> 0.000081005 Inexact Rounded |
| rpox706 power 12345 0 -> 1 |
| rpox707 power 12345 1 -> 12345 |
| rpox708 power 12345 2 -> 1.5240E+8 Inexact Rounded |
| rpox709 power 12345 3 -> 1.8814E+12 Inexact Rounded |
| rpox710 power 12345 4 -> 2.3226E+16 Inexact Rounded |
| rpox711 power 12345 5 -> 2.8672E+20 Inexact Rounded |
| rpox712 power 415 2 -> 1.7223E+5 Inexact Rounded |
| rpox713 power 75 3 -> 4.2188E+5 Inexact Rounded |
| |
| -- Underflow Subnormal and overflow values vary with rounding mode and sign |
| maxexponent: 999999999 |
| minexponent: -999999999 |
| rounding: down |
| rovx100 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded |
| rovx101 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded |
| rovx102 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| rovx104 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| |
| rounding: up |
| rovx110 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded |
| rovx111 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded |
| rovx112 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded |
| rovx114 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded |
| |
| rounding: ceiling |
| rovx120 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded |
| rovx121 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded |
| rovx122 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded |
| rovx124 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| |
| rounding: floor |
| rovx130 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded |
| rovx131 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded |
| rovx132 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| rovx134 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded |
| |
| rounding: half_up |
| rovx140 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded |
| rovx141 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded |
| rovx142 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| rovx144 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| |
| rounding: half_even |
| rovx150 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded |
| rovx151 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded |
| rovx152 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| rovx154 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| |
| rounding: half_down |
| rovx160 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded |
| rovx161 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded |
| rovx162 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| rovx164 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped |
| |
| -- check maximum finite value over a range of precisions |
| rounding: down |
| precision: 1 |
| rovx200 multiply 10 9E+999999999 -> 9E+999999999 Overflow Inexact Rounded |
| rovx201 multiply -10 9E+999999999 -> -9E+999999999 Overflow Inexact Rounded |
| precision: 2 |
| rovx210 multiply 10 9E+999999999 -> 9.9E+999999999 Overflow Inexact Rounded |
| rovx211 multiply -10 9E+999999999 -> -9.9E+999999999 Overflow Inexact Rounded |
| precision: 3 |
| rovx220 multiply 10 9E+999999999 -> 9.99E+999999999 Overflow Inexact Rounded |
| rovx221 multiply -10 9E+999999999 -> -9.99E+999999999 Overflow Inexact Rounded |
| precision: 4 |
| rovx230 multiply 10 9E+999999999 -> 9.999E+999999999 Overflow Inexact Rounded |
| rovx231 multiply -10 9E+999999999 -> -9.999E+999999999 Overflow Inexact Rounded |
| precision: 5 |
| rovx240 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded |
| rovx241 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded |
| precision: 6 |
| rovx250 multiply 10 9E+999999999 -> 9.99999E+999999999 Overflow Inexact Rounded |
| rovx251 multiply -10 9E+999999999 -> -9.99999E+999999999 Overflow Inexact Rounded |
| precision: 7 |
| rovx260 multiply 10 9E+999999999 -> 9.999999E+999999999 Overflow Inexact Rounded |
| rovx261 multiply -10 9E+999999999 -> -9.999999E+999999999 Overflow Inexact Rounded |
| precision: 8 |
| rovx270 multiply 10 9E+999999999 -> 9.9999999E+999999999 Overflow Inexact Rounded |
| rovx271 multiply -10 9E+999999999 -> -9.9999999E+999999999 Overflow Inexact Rounded |
| precision: 9 |
| rovx280 multiply 10 9E+999999999 -> 9.99999999E+999999999 Overflow Inexact Rounded |
| rovx281 multiply -10 9E+999999999 -> -9.99999999E+999999999 Overflow Inexact Rounded |
| precision: 10 |
| rovx290 multiply 10 9E+999999999 -> 9.999999999E+999999999 Overflow Inexact Rounded |
| rovx291 multiply -10 9E+999999999 -> -9.999999999E+999999999 Overflow Inexact Rounded |
| |
| -- reprise rounding mode effect (using multiplies so precision directive used) |
| precision: 9 |
| maxexponent: 999999999 |
| rounding: half_up |
| rmex400 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded |
| rmex401 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded |
| rounding: half_down |
| rmex402 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded |
| rmex403 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded |
| rounding: half_even |
| rmex404 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded |
| rmex405 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded |
| rounding: floor |
| rmex406 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded |
| rmex407 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded |
| rounding: ceiling |
| rmex408 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded |
| rmex409 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded |
| rounding: up |
| rmex410 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded |
| rmex411 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded |
| rounding: down |
| rmex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded |
| rmex413 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded |
| |
| ----- Round-for-reround ----- |
| rounding: 05up |
| precision: 5 -- for easier visual inspection |
| maxExponent: 999 |
| minexponent: -999 |
| |
| -- basic rounding; really is just 0 and 5 up |
| r05up001 add 12340 0.001 -> 12341 Inexact Rounded |
| r05up002 add 12341 0.001 -> 12341 Inexact Rounded |
| r05up003 add 12342 0.001 -> 12342 Inexact Rounded |
| r05up004 add 12343 0.001 -> 12343 Inexact Rounded |
| r05up005 add 12344 0.001 -> 12344 Inexact Rounded |
| r05up006 add 12345 0.001 -> 12346 Inexact Rounded |
| r05up007 add 12346 0.001 -> 12346 Inexact Rounded |
| r05up008 add 12347 0.001 -> 12347 Inexact Rounded |
| r05up009 add 12348 0.001 -> 12348 Inexact Rounded |
| r05up010 add 12349 0.001 -> 12349 Inexact Rounded |
| |
| r05up011 add 12340 0.000 -> 12340 Rounded |
| r05up012 add 12341 0.000 -> 12341 Rounded |
| r05up013 add 12342 0.000 -> 12342 Rounded |
| r05up014 add 12343 0.000 -> 12343 Rounded |
| r05up015 add 12344 0.000 -> 12344 Rounded |
| r05up016 add 12345 0.000 -> 12345 Rounded |
| r05up017 add 12346 0.000 -> 12346 Rounded |
| r05up018 add 12347 0.000 -> 12347 Rounded |
| r05up019 add 12348 0.000 -> 12348 Rounded |
| r05up020 add 12349 0.000 -> 12349 Rounded |
| |
| r05up021 add 12340 0.901 -> 12341 Inexact Rounded |
| r05up022 add 12341 0.901 -> 12341 Inexact Rounded |
| r05up023 add 12342 0.901 -> 12342 Inexact Rounded |
| r05up024 add 12343 0.901 -> 12343 Inexact Rounded |
| r05up025 add 12344 0.901 -> 12344 Inexact Rounded |
| r05up026 add 12345 0.901 -> 12346 Inexact Rounded |
| r05up027 add 12346 0.901 -> 12346 Inexact Rounded |
| r05up028 add 12347 0.901 -> 12347 Inexact Rounded |
| r05up029 add 12348 0.901 -> 12348 Inexact Rounded |
| r05up030 add 12349 0.901 -> 12349 Inexact Rounded |
| |
| r05up031 add -12340 -0.001 -> -12341 Inexact Rounded |
| r05up032 add -12341 -0.001 -> -12341 Inexact Rounded |
| r05up033 add -12342 -0.001 -> -12342 Inexact Rounded |
| r05up034 add -12343 -0.001 -> -12343 Inexact Rounded |
| r05up035 add -12344 -0.001 -> -12344 Inexact Rounded |
| r05up036 add -12345 -0.001 -> -12346 Inexact Rounded |
| r05up037 add -12346 -0.001 -> -12346 Inexact Rounded |
| r05up038 add -12347 -0.001 -> -12347 Inexact Rounded |
| r05up039 add -12348 -0.001 -> -12348 Inexact Rounded |
| r05up040 add -12349 -0.001 -> -12349 Inexact Rounded |
| |
| r05up041 add -12340 0.001 -> -12339 Inexact Rounded |
| r05up042 add -12341 0.001 -> -12341 Inexact Rounded |
| r05up043 add -12342 0.001 -> -12341 Inexact Rounded |
| r05up044 add -12343 0.001 -> -12342 Inexact Rounded |
| r05up045 add -12344 0.001 -> -12343 Inexact Rounded |
| r05up046 add -12345 0.001 -> -12344 Inexact Rounded |
| r05up047 add -12346 0.001 -> -12346 Inexact Rounded |
| r05up048 add -12347 0.001 -> -12346 Inexact Rounded |
| r05up049 add -12348 0.001 -> -12347 Inexact Rounded |
| r05up050 add -12349 0.001 -> -12348 Inexact Rounded |
| |
| -- Addition operators ------------------------------------------------- |
| -- [The first few of these check negative residue possibilities; these |
| -- cases may be implemented as a negative residue in fastpaths] |
| |
| r0adx100 add 12345 -0.1 -> 12344 Inexact Rounded |
| r0adx101 add 12345 -0.01 -> 12344 Inexact Rounded |
| r0adx102 add 12345 -0.001 -> 12344 Inexact Rounded |
| r0adx103 add 12345 -0.00001 -> 12344 Inexact Rounded |
| r0adx104 add 12345 -0.000001 -> 12344 Inexact Rounded |
| r0adx105 add 12345 -0.0000001 -> 12344 Inexact Rounded |
| r0adx106 add 12345 0 -> 12345 |
| r0adx107 add 12345 0.0000001 -> 12346 Inexact Rounded |
| r0adx108 add 12345 0.000001 -> 12346 Inexact Rounded |
| r0adx109 add 12345 0.00001 -> 12346 Inexact Rounded |
| r0adx110 add 12345 0.0001 -> 12346 Inexact Rounded |
| r0adx111 add 12345 0.001 -> 12346 Inexact Rounded |
| r0adx112 add 12345 0.01 -> 12346 Inexact Rounded |
| r0adx113 add 12345 0.1 -> 12346 Inexact Rounded |
| |
| r0adx115 add 12346 0.49999 -> 12346 Inexact Rounded |
| r0adx116 add 12346 0.5 -> 12346 Inexact Rounded |
| r0adx117 add 12346 0.50001 -> 12346 Inexact Rounded |
| |
| r0adx120 add 12345 0.4 -> 12346 Inexact Rounded |
| r0adx121 add 12345 0.49 -> 12346 Inexact Rounded |
| r0adx122 add 12345 0.499 -> 12346 Inexact Rounded |
| r0adx123 add 12345 0.49999 -> 12346 Inexact Rounded |
| r0adx124 add 12345 0.5 -> 12346 Inexact Rounded |
| r0adx125 add 12345 0.50001 -> 12346 Inexact Rounded |
| r0adx126 add 12345 0.5001 -> 12346 Inexact Rounded |
| r0adx127 add 12345 0.501 -> 12346 Inexact Rounded |
| r0adx128 add 12345 0.51 -> 12346 Inexact Rounded |
| r0adx129 add 12345 0.6 -> 12346 Inexact Rounded |
| |
| -- negatives... |
| |
| r0sux100 add -12345 -0.1 -> -12346 Inexact Rounded |
| r0sux101 add -12345 -0.01 -> -12346 Inexact Rounded |
| r0sux102 add -12345 -0.001 -> -12346 Inexact Rounded |
| r0sux103 add -12345 -0.00001 -> -12346 Inexact Rounded |
| r0sux104 add -12345 -0.000001 -> -12346 Inexact Rounded |
| r0sux105 add -12345 -0.0000001 -> -12346 Inexact Rounded |
| r0sux106 add -12345 0 -> -12345 |
| r0sux107 add -12345 0.0000001 -> -12344 Inexact Rounded |
| r0sux108 add -12345 0.000001 -> -12344 Inexact Rounded |
| r0sux109 add -12345 0.00001 -> -12344 Inexact Rounded |
| r0sux110 add -12345 0.0001 -> -12344 Inexact Rounded |
| r0sux111 add -12345 0.001 -> -12344 Inexact Rounded |
| r0sux112 add -12345 0.01 -> -12344 Inexact Rounded |
| r0sux113 add -12345 0.1 -> -12344 Inexact Rounded |
| |
| r0sux115 add -12346 0.49999 -> -12346 Inexact Rounded |
| r0sux116 add -12346 0.5 -> -12346 Inexact Rounded |
| r0sux117 add -12346 0.50001 -> -12346 Inexact Rounded |
| |
| r0sux120 add -12345 0.4 -> -12344 Inexact Rounded |
| r0sux121 add -12345 0.49 -> -12344 Inexact Rounded |
| r0sux122 add -12345 0.499 -> -12344 Inexact Rounded |
| r0sux123 add -12345 0.49999 -> -12344 Inexact Rounded |
| r0sux124 add -12345 0.5 -> -12344 Inexact Rounded |
| r0sux125 add -12345 0.50001 -> -12344 Inexact Rounded |
| r0sux126 add -12345 0.5001 -> -12344 Inexact Rounded |
| r0sux127 add -12345 0.501 -> -12344 Inexact Rounded |
| r0sux128 add -12345 0.51 -> -12344 Inexact Rounded |
| r0sux129 add -12345 0.6 -> -12344 Inexact Rounded |
| |
| -- Check cancellation subtractions |
| -- (The IEEE 854 'curious rule' in $6.3) |
| |
| r0zex001 add 0 0 -> 0 |
| r0zex002 add 0 -0 -> 0 |
| r0zex003 add -0 0 -> 0 |
| r0zex004 add -0 -0 -> -0 |
| r0zex005 add 1 -1 -> 0 |
| r0zex006 add -1 1 -> 0 |
| r0zex007 add 1.5 -1.5 -> 0.0 |
| r0zex008 add -1.5 1.5 -> 0.0 |
| r0zex009 add 2 -2 -> 0 |
| r0zex010 add -2 2 -> 0 |
| |
| |
| -- Division operators ------------------------------------------------- |
| |
| r0dvx101 divide 12345 1 -> 12345 |
| r0dvx102 divide 12345 1.0001 -> 12343 Inexact Rounded |
| r0dvx103 divide 12345 1.001 -> 12332 Inexact Rounded |
| r0dvx104 divide 12345 1.01 -> 12222 Inexact Rounded |
| r0dvx105 divide 12345 1.1 -> 11222 Inexact Rounded |
| r0dvx106 divide 12355 4 -> 3088.7 Inexact Rounded |
| r0dvx107 divide 12345 4 -> 3086.2 Inexact Rounded |
| r0dvx108 divide 12355 4.0001 -> 3088.6 Inexact Rounded |
| r0dvx109 divide 12345 4.0001 -> 3086.1 Inexact Rounded |
| r0dvx110 divide 12345 4.9 -> 2519.3 Inexact Rounded |
| r0dvx111 divide 12345 4.99 -> 2473.9 Inexact Rounded |
| r0dvx112 divide 12345 4.999 -> 2469.4 Inexact Rounded |
| r0dvx113 divide 12345 4.9999 -> 2469.1 Inexact Rounded |
| r0dvx114 divide 12345 5 -> 2469 |
| r0dvx115 divide 12345 5.0001 -> 2468.9 Inexact Rounded |
| r0dvx116 divide 12345 5.001 -> 2468.6 Inexact Rounded |
| r0dvx117 divide 12345 5.01 -> 2464.1 Inexact Rounded |
| r0dvx118 divide 12345 5.1 -> 2420.6 Inexact Rounded |
| |
| -- [divideInteger and remainder unaffected] |
| |
| -- Multiplication operator -------------------------------------------- |
| |
| r0mux101 multiply 12345 1 -> 12345 |
| r0mux102 multiply 12345 1.0001 -> 12346 Inexact Rounded |
| r0mux103 multiply 12345 1.001 -> 12357 Inexact Rounded |
| r0mux104 multiply 12345 1.01 -> 12468 Inexact Rounded |
| r0mux105 multiply 12345 1.1 -> 13579 Inexact Rounded |
| r0mux106 multiply 12345 4 -> 49380 |
| r0mux107 multiply 12345 4.0001 -> 49381 Inexact Rounded |
| r0mux108 multiply 12345 4.9 -> 60491 Inexact Rounded |
| r0mux109 multiply 12345 4.99 -> 61601 Inexact Rounded |
| r0mux110 multiply 12345 4.999 -> 61712 Inexact Rounded |
| r0mux111 multiply 12345 4.9999 -> 61723 Inexact Rounded |
| r0mux112 multiply 12345 5 -> 61725 |
| r0mux113 multiply 12345 5.0001 -> 61726 Inexact Rounded |
| r0mux114 multiply 12345 5.001 -> 61737 Inexact Rounded |
| r0mux115 multiply 12345 5.01 -> 61848 Inexact Rounded |
| r0mux116 multiply 12345 12 -> 1.4814E+5 Rounded |
| r0mux117 multiply 12345 13 -> 1.6048E+5 Inexact Rounded |
| r0mux118 multiply 12355 12 -> 1.4826E+5 Rounded |
| r0mux119 multiply 12355 13 -> 1.6061E+5 Inexact Rounded |
| |
| |
| -- Power operator ----------------------------------------------------- |
| |
| r0pox101 power 12345 -5 -> 3.4877E-21 Inexact Rounded |
| r0pox102 power 12345 -4 -> 4.3056E-17 Inexact Rounded |
| r0pox103 power 12345 -3 -> 5.3152E-13 Inexact Rounded |
| r0pox104 power 12345 -2 -> 6.5617E-9 Inexact Rounded |
| r0pox105 power 12345 -1 -> 0.000081004 Inexact Rounded |
| r0pox106 power 12345 0 -> 1 |
| r0pox107 power 12345 1 -> 12345 |
| r0pox108 power 12345 2 -> 1.5239E+8 Inexact Rounded |
| r0pox109 power 12345 3 -> 1.8813E+12 Inexact Rounded |
| r0pox110 power 12345 4 -> 2.3226E+16 Inexact Rounded |
| r0pox111 power 12345 5 -> 2.8671E+20 Inexact Rounded |
| r0pox112 power 415 2 -> 1.7222E+5 Inexact Rounded |
| r0pox113 power 75 3 -> 4.2187E+5 Inexact Rounded |
| |
| |
| -- Underflow Subnormal and overflow values vary with rounding mode and sign |
| maxexponent: 999999999 |
| minexponent: -999999999 |
| -- [round down gives Nmax on first two and .0E... on the next two] |
| r0ovx100 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded |
| r0ovx101 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded |
| r0ovx102 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded |
| r0ovx104 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded |
| |
| -- reprise rounding mode effect (using multiplies so precision directive used) |
| precision: 9 |
| maxexponent: 999999999 |
| r0mex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded |
| r0mex413 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded |
| |
