------------------------------------------------------------------------ | |
-- 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 | |