2004-07-01 08:01:35 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- rounding.decTest -- decimal rounding modes testcases --
|
2008-07-27 03:39:07 -03:00
|
|
|
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
2004-07-01 08:01:35 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- 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 --
|
|
|
|
|
------------------------------------------------------------------------
|
2009-10-08 13:28:39 -03:00
|
|
|
version: 2.59
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
-- 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).]
|
|
|
|
|
--
|
2007-09-13 15:13:15 -03:00
|
|
|
-- 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.
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
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
|
2007-09-13 15:13:15 -03:00
|
|
|
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
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
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
|
2007-09-13 15:13:15 -03:00
|
|
|
rovx124 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
rounding: floor
|
|
|
|
|
rovx130 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded
|
|
|
|
|
rovx131 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded
|
2007-09-13 15:13:15 -03:00
|
|
|
rovx132 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
|
2004-07-01 08:01:35 -03:00
|
|
|
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
|
2007-09-13 15:13:15 -03:00
|
|
|
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
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
rounding: half_even
|
|
|
|
|
rovx150 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded
|
|
|
|
|
rovx151 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded
|
2007-09-13 15:13:15 -03:00
|
|
|
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
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
rounding: half_down
|
|
|
|
|
rovx160 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded
|
|
|
|
|
rovx161 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded
|
2007-09-13 15:13:15 -03:00
|
|
|
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
|
2004-07-01 08:01:35 -03:00
|
|
|
|
|
|
|
|
-- 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
|
|
|
|
|
|
2007-09-13 15:13:15 -03:00
|
|
|
----- 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
|
|
|
|
|
|
