service plugin and qdecimal library has been added
This commit is contained in:
@@ -0,0 +1,522 @@
|
||||
------------------------------------------------------------------------
|
||||
-- add0.decTest -- decimal addition (simplified) --
|
||||
-- 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.58
|
||||
|
||||
extended: 0
|
||||
precision: 9
|
||||
rounding: half_up
|
||||
maxExponent: 999
|
||||
minexponent: -999
|
||||
|
||||
-- [first group are 'quick confidence check']
|
||||
add001 add 1 1 -> 2
|
||||
add002 add 2 3 -> 5
|
||||
add003 add '5.75' '3.3' -> 9.05
|
||||
add004 add '5' '-3' -> 2
|
||||
add005 add '-5' '-3' -> -8
|
||||
add006 add '-7' '2.5' -> -4.5
|
||||
add007 add '0.7' '0.3' -> 1.0
|
||||
add008 add '1.25' '1.25' -> 2.50
|
||||
add009 add '1.23456789' '1.00000000' -> '2.23456789'
|
||||
add010 add '1.23456789' '1.00000011' -> '2.23456800'
|
||||
|
||||
add011 add '0.4444444444' '0.5555555555' -> '1.00000000' Inexact Lost_digits Rounded
|
||||
add012 add '0.4444444440' '0.5555555555' -> '1.00000000' Inexact Lost_digits Rounded
|
||||
add013 add '0.4444444444' '0.5555555550' -> '0.999999999' Inexact Lost_digits Rounded
|
||||
add014 add '0.44444444449' '0' -> '0.444444444' Inexact Lost_digits Rounded
|
||||
add015 add '0.444444444499' '0' -> '0.444444444' Inexact Lost_digits Rounded
|
||||
add016 add '0.4444444444999' '0' -> '0.444444444' Inexact Lost_digits Rounded
|
||||
add017 add '0.4444444445000' '0' -> '0.444444445' Inexact Lost_digits Rounded
|
||||
add018 add '0.4444444445001' '0' -> '0.444444445' Inexact Lost_digits Rounded
|
||||
add019 add '0.444444444501' '0' -> '0.444444445' Inexact Lost_digits Rounded
|
||||
add020 add '0.44444444451' '0' -> '0.444444445' Inexact Lost_digits Rounded
|
||||
|
||||
add021 add 0 1 -> 1
|
||||
add022 add 1 1 -> 2
|
||||
add023 add 2 1 -> 3
|
||||
add024 add 3 1 -> 4
|
||||
add025 add 4 1 -> 5
|
||||
add026 add 5 1 -> 6
|
||||
add027 add 6 1 -> 7
|
||||
add028 add 7 1 -> 8
|
||||
add029 add 8 1 -> 9
|
||||
add030 add 9 1 -> 10
|
||||
|
||||
-- some carrying effects
|
||||
add031 add '0.9998' '0.0000' -> '0.9998'
|
||||
add032 add '0.9998' '0.0001' -> '0.9999'
|
||||
add033 add '0.9998' '0.0002' -> '1.0000'
|
||||
add034 add '0.9998' '0.0003' -> '1.0001'
|
||||
|
||||
add035 add '70' '10000e+9' -> '1.00000000E+13' Inexact Rounded
|
||||
add036 add '700' '10000e+9' -> '1.00000000E+13' Inexact Rounded
|
||||
add037 add '7000' '10000e+9' -> '1.00000000E+13' Inexact Rounded
|
||||
add038 add '70000' '10000e+9' -> '1.00000001E+13' Inexact Rounded
|
||||
add039 add '700000' '10000e+9' -> '1.00000007E+13' Rounded
|
||||
|
||||
-- symmetry:
|
||||
add040 add '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded
|
||||
add041 add '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded
|
||||
add042 add '10000e+9' '7000' -> '1.00000000E+13' Inexact Rounded
|
||||
add044 add '10000e+9' '70000' -> '1.00000001E+13' Inexact Rounded
|
||||
add045 add '10000e+9' '700000' -> '1.00000007E+13' Rounded
|
||||
|
||||
-- same, higher precision
|
||||
precision: 15
|
||||
add046 add '10000e+9' '7' -> '10000000000007'
|
||||
add047 add '10000e+9' '70' -> '10000000000070'
|
||||
add048 add '10000e+9' '700' -> '10000000000700'
|
||||
add049 add '10000e+9' '7000' -> '10000000007000'
|
||||
add050 add '10000e+9' '70000' -> '10000000070000'
|
||||
add051 add '10000e+9' '700000' -> '10000000700000'
|
||||
|
||||
-- zero preservation
|
||||
precision: 6
|
||||
add060 add '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded
|
||||
add061 add 1 '0.0001' -> '1.0001'
|
||||
add062 add 1 '0.00001' -> '1.00001'
|
||||
add063 add 1 '0.000001' -> '1.00000' Inexact Rounded
|
||||
add064 add 1 '0.0000001' -> '1.00000' Inexact Rounded
|
||||
add065 add 1 '0.00000001' -> '1.00000' Inexact Rounded
|
||||
|
||||
-- some funny zeros [in case of bad signum]
|
||||
add070 add 1 0 -> 1
|
||||
add071 add 1 0. -> 1
|
||||
add072 add 1 .0 -> 1
|
||||
add073 add 1 0.0 -> 1
|
||||
add074 add 0 1 -> 1
|
||||
add075 add 0. 1 -> 1
|
||||
add076 add .0 1 -> 1
|
||||
add077 add 0.0 1 -> 1
|
||||
|
||||
precision: 9
|
||||
|
||||
-- some carries
|
||||
add080 add 999999998 1 -> 999999999
|
||||
add081 add 999999999 1 -> 1.00000000E+9 Rounded
|
||||
add082 add 99999999 1 -> 100000000
|
||||
add083 add 9999999 1 -> 10000000
|
||||
add084 add 999999 1 -> 1000000
|
||||
add085 add 99999 1 -> 100000
|
||||
add086 add 9999 1 -> 10000
|
||||
add087 add 999 1 -> 1000
|
||||
add088 add 99 1 -> 100
|
||||
add089 add 9 1 -> 10
|
||||
|
||||
|
||||
-- more LHS swaps [were fixed]
|
||||
add090 add '-56267E-10' 0 -> '-0.0000056267'
|
||||
add091 add '-56267E-6' 0 -> '-0.056267'
|
||||
add092 add '-56267E-5' 0 -> '-0.56267'
|
||||
add093 add '-56267E-4' 0 -> '-5.6267'
|
||||
add094 add '-56267E-3' 0 -> '-56.267'
|
||||
add095 add '-56267E-2' 0 -> '-562.67'
|
||||
add096 add '-56267E-1' 0 -> '-5626.7'
|
||||
add097 add '-56267E-0' 0 -> '-56267'
|
||||
add098 add '-5E-10' 0 -> '-5E-10'
|
||||
add099 add '-5E-7' 0 -> '-5E-7'
|
||||
add100 add '-5E-6' 0 -> '-0.000005'
|
||||
add101 add '-5E-5' 0 -> '-0.00005'
|
||||
add102 add '-5E-4' 0 -> '-0.0005'
|
||||
add103 add '-5E-1' 0 -> '-0.5'
|
||||
add104 add '-5E0' 0 -> '-5'
|
||||
add105 add '-5E1' 0 -> '-50'
|
||||
add106 add '-5E5' 0 -> '-500000'
|
||||
add107 add '-5E8' 0 -> '-500000000'
|
||||
add108 add '-5E9' 0 -> '-5E+9'
|
||||
add109 add '-5E10' 0 -> '-5E+10'
|
||||
add110 add '-5E11' 0 -> '-5E+11'
|
||||
add111 add '-5E100' 0 -> '-5E+100'
|
||||
|
||||
-- more RHS swaps [were fixed]
|
||||
add113 add 0 '-56267E-10' -> '-0.0000056267'
|
||||
add114 add 0 '-56267E-6' -> '-0.056267'
|
||||
add116 add 0 '-56267E-5' -> '-0.56267'
|
||||
add117 add 0 '-56267E-4' -> '-5.6267'
|
||||
add119 add 0 '-56267E-3' -> '-56.267'
|
||||
add120 add 0 '-56267E-2' -> '-562.67'
|
||||
add121 add 0 '-56267E-1' -> '-5626.7'
|
||||
add122 add 0 '-56267E-0' -> '-56267'
|
||||
add123 add 0 '-5E-10' -> '-5E-10'
|
||||
add124 add 0 '-5E-7' -> '-5E-7'
|
||||
add125 add 0 '-5E-6' -> '-0.000005'
|
||||
add126 add 0 '-5E-5' -> '-0.00005'
|
||||
add127 add 0 '-5E-4' -> '-0.0005'
|
||||
add128 add 0 '-5E-1' -> '-0.5'
|
||||
add129 add 0 '-5E0' -> '-5'
|
||||
add130 add 0 '-5E1' -> '-50'
|
||||
add131 add 0 '-5E5' -> '-500000'
|
||||
add132 add 0 '-5E8' -> '-500000000'
|
||||
add133 add 0 '-5E9' -> '-5E+9'
|
||||
add134 add 0 '-5E10' -> '-5E+10'
|
||||
add135 add 0 '-5E11' -> '-5E+11'
|
||||
add136 add 0 '-5E100' -> '-5E+100'
|
||||
|
||||
-- [some of the next group are really constructor tests]
|
||||
add140 add '00.0' 0 -> '0'
|
||||
add141 add '0.00' 0 -> '0'
|
||||
add142 add 0 '0.00' -> '0'
|
||||
add143 add 0 '00.0' -> '0'
|
||||
|
||||
add150 add '00.0' '0.00' -> '0'
|
||||
add151 add '0.00' '00.0' -> '0'
|
||||
add152 add '3' '.3' -> '3.3'
|
||||
add153 add '3.' '.3' -> '3.3'
|
||||
add154 add '3.0' '.3' -> '3.3'
|
||||
add155 add '3.00' '.3' -> '3.30'
|
||||
add156 add '3' '3' -> '6'
|
||||
add157 add '3' '+3' -> '6'
|
||||
add158 add '3' '-3' -> '0'
|
||||
add159 add '0.3' '-0.3' -> '0'
|
||||
add160 add '0.03' '-0.03' -> '0'
|
||||
|
||||
-- try borderline precision, with carries, etc.
|
||||
precision: 15
|
||||
add161 add '1E+12' '-1' -> '999999999999'
|
||||
add162 add '1E+12' '1.11' -> '1000000000001.11'
|
||||
add163 add '1.11' '1E+12' -> '1000000000001.11'
|
||||
add164 add '-1' '1E+12' -> '999999999999'
|
||||
add165 add '7E+12' '-1' -> '6999999999999'
|
||||
add166 add '7E+12' '1.11' -> '7000000000001.11'
|
||||
add167 add '1.11' '7E+12' -> '7000000000001.11'
|
||||
add168 add '-1' '7E+12' -> '6999999999999'
|
||||
|
||||
-- 123456789012345 123456789012345 1 23456789012345
|
||||
add170 add '0.444444444444444' '0.555555555555563' -> '1.00000000000001' Inexact Rounded
|
||||
add171 add '0.444444444444444' '0.555555555555562' -> '1.00000000000001' Inexact Rounded
|
||||
add172 add '0.444444444444444' '0.555555555555561' -> '1.00000000000001' Inexact Rounded
|
||||
add173 add '0.444444444444444' '0.555555555555560' -> '1.00000000000000' Inexact Rounded
|
||||
add174 add '0.444444444444444' '0.555555555555559' -> '1.00000000000000' Inexact Rounded
|
||||
add175 add '0.444444444444444' '0.555555555555558' -> '1.00000000000000' Inexact Rounded
|
||||
add176 add '0.444444444444444' '0.555555555555557' -> '1.00000000000000' Inexact Rounded
|
||||
add177 add '0.444444444444444' '0.555555555555556' -> '1.00000000000000' Rounded
|
||||
add178 add '0.444444444444444' '0.555555555555555' -> '0.999999999999999'
|
||||
add179 add '0.444444444444444' '0.555555555555554' -> '0.999999999999998'
|
||||
add180 add '0.444444444444444' '0.555555555555553' -> '0.999999999999997'
|
||||
add181 add '0.444444444444444' '0.555555555555552' -> '0.999999999999996'
|
||||
add182 add '0.444444444444444' '0.555555555555551' -> '0.999999999999995'
|
||||
add183 add '0.444444444444444' '0.555555555555550' -> '0.999999999999994'
|
||||
|
||||
-- and some more, including residue effects and different roundings
|
||||
precision: 9
|
||||
rounding: half_up
|
||||
add200 add '123456789' 0 -> '123456789'
|
||||
add201 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
|
||||
add202 add '123456789' 0.000001 -> '123456789' Inexact Rounded
|
||||
add203 add '123456789' 0.1 -> '123456789' Inexact Rounded
|
||||
add204 add '123456789' 0.4 -> '123456789' Inexact Rounded
|
||||
add205 add '123456789' 0.49 -> '123456789' Inexact Rounded
|
||||
add206 add '123456789' 0.499999 -> '123456789' Inexact Rounded
|
||||
add207 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
|
||||
add208 add '123456789' 0.5 -> '123456790' Inexact Rounded
|
||||
add209 add '123456789' 0.500000001 -> '123456790' Inexact Rounded
|
||||
add210 add '123456789' 0.500001 -> '123456790' Inexact Rounded
|
||||
add211 add '123456789' 0.51 -> '123456790' Inexact Rounded
|
||||
add212 add '123456789' 0.6 -> '123456790' Inexact Rounded
|
||||
add213 add '123456789' 0.9 -> '123456790' Inexact Rounded
|
||||
add214 add '123456789' 0.99999 -> '123456790' Inexact Rounded
|
||||
add215 add '123456789' 0.999999999 -> '123456790' Inexact Rounded
|
||||
add216 add '123456789' 1 -> '123456790'
|
||||
add217 add '123456789' 1.000000001 -> '123456790' Inexact Lost_digits Rounded
|
||||
add218 add '123456789' 1.00001 -> '123456790' Inexact Rounded
|
||||
add219 add '123456789' 1.1 -> '123456790' Inexact Rounded
|
||||
|
||||
rounding: half_even
|
||||
add220 add '123456789' 0 -> '123456789'
|
||||
add221 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
|
||||
add222 add '123456789' 0.000001 -> '123456789' Inexact Rounded
|
||||
add223 add '123456789' 0.1 -> '123456789' Inexact Rounded
|
||||
add224 add '123456789' 0.4 -> '123456789' Inexact Rounded
|
||||
add225 add '123456789' 0.49 -> '123456789' Inexact Rounded
|
||||
add226 add '123456789' 0.499999 -> '123456789' Inexact Rounded
|
||||
add227 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
|
||||
add228 add '123456789' 0.5 -> '123456790' Inexact Rounded
|
||||
add229 add '123456789' 0.500000001 -> '123456790' Inexact Rounded
|
||||
add230 add '123456789' 0.500001 -> '123456790' Inexact Rounded
|
||||
add231 add '123456789' 0.51 -> '123456790' Inexact Rounded
|
||||
add232 add '123456789' 0.6 -> '123456790' Inexact Rounded
|
||||
add233 add '123456789' 0.9 -> '123456790' Inexact Rounded
|
||||
add234 add '123456789' 0.99999 -> '123456790' Inexact Rounded
|
||||
add235 add '123456789' 0.999999999 -> '123456790' Inexact Rounded
|
||||
add236 add '123456789' 1 -> '123456790'
|
||||
add237 add '123456789' 1.00000001 -> '123456790' Inexact Rounded
|
||||
add238 add '123456789' 1.00001 -> '123456790' Inexact Rounded
|
||||
add239 add '123456789' 1.1 -> '123456790' Inexact Rounded
|
||||
-- critical few with even bottom digit...
|
||||
add240 add '123456788' 0.499999999 -> '123456788' Inexact Rounded
|
||||
add241 add '123456788' 0.5 -> '123456788' Inexact Rounded
|
||||
add242 add '123456788' 0.500000001 -> '123456789' Inexact Rounded
|
||||
|
||||
rounding: down
|
||||
add250 add '123456789' 0 -> '123456789'
|
||||
add251 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
|
||||
add252 add '123456789' 0.000001 -> '123456789' Inexact Rounded
|
||||
add253 add '123456789' 0.1 -> '123456789' Inexact Rounded
|
||||
add254 add '123456789' 0.4 -> '123456789' Inexact Rounded
|
||||
add255 add '123456789' 0.49 -> '123456789' Inexact Rounded
|
||||
add256 add '123456789' 0.499999 -> '123456789' Inexact Rounded
|
||||
add257 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
|
||||
add258 add '123456789' 0.5 -> '123456789' Inexact Rounded
|
||||
add259 add '123456789' 0.500000001 -> '123456789' Inexact Rounded
|
||||
add260 add '123456789' 0.500001 -> '123456789' Inexact Rounded
|
||||
add261 add '123456789' 0.51 -> '123456789' Inexact Rounded
|
||||
add262 add '123456789' 0.6 -> '123456789' Inexact Rounded
|
||||
add263 add '123456789' 0.9 -> '123456789' Inexact Rounded
|
||||
add264 add '123456789' 0.99999 -> '123456789' Inexact Rounded
|
||||
add265 add '123456789' 0.999999999 -> '123456789' Inexact Rounded
|
||||
add266 add '123456789' 1 -> '123456790'
|
||||
add267 add '123456789' 1.00000001 -> '123456790' Inexact Rounded
|
||||
add268 add '123456789' 1.00001 -> '123456790' Inexact Rounded
|
||||
add269 add '123456789' 1.1 -> '123456790' Inexact Rounded
|
||||
|
||||
rounding: half_up
|
||||
|
||||
-- input preparation tests
|
||||
precision: 3
|
||||
|
||||
add300 add '12345678900000' 9999999999999 -> '2.23E+13' Inexact Lost_digits Rounded
|
||||
add301 add '9999999999999' 12345678900000 -> '2.23E+13' Inexact Lost_digits Rounded
|
||||
add302 add '12E+3' '3456' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
-- next was 1.54E+4 under old [truncate to digits+1] rules
|
||||
add303 add '12E+3' '3446' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
add304 add '12E+3' '3454' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
add305 add '12E+3' '3444' -> '1.54E+4' Inexact Lost_digits Rounded
|
||||
|
||||
add306 add '3456' '12E+3' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
-- next was 1.54E+4 under old [truncate to digits+1] rules
|
||||
add307 add '3446' '12E+3' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
add308 add '3454' '12E+3' -> '1.55E+4' Inexact Lost_digits Rounded
|
||||
add309 add '3444' '12E+3' -> '1.54E+4' Inexact Lost_digits Rounded
|
||||
|
||||
-- 1 in last place tests
|
||||
add501 add -1 1 -> 0
|
||||
add502 add 0 1 -> 1
|
||||
add503 add 1 1 -> 2
|
||||
add504 add 12 1 -> 13
|
||||
add505 add 98 1 -> 99
|
||||
add506 add 99 1 -> 100
|
||||
add507 add 100 1 -> 101
|
||||
add508 add 101 1 -> 102
|
||||
add509 add -1 -1 -> -2
|
||||
add510 add 0 -1 -> -1
|
||||
add511 add 1 -1 -> 0
|
||||
add512 add 12 -1 -> 11
|
||||
add513 add 98 -1 -> 97
|
||||
add514 add 99 -1 -> 98
|
||||
add515 add 100 -1 -> 99
|
||||
add516 add 101 -1 -> 100
|
||||
|
||||
add521 add -0.01 0.01 -> 0
|
||||
add522 add 0.00 0.01 -> 0.01
|
||||
add523 add 0.01 0.01 -> 0.02
|
||||
add524 add 0.12 0.01 -> 0.13
|
||||
add525 add 0.98 0.01 -> 0.99
|
||||
add526 add 0.99 0.01 -> 1.00
|
||||
add527 add 1.00 0.01 -> 1.01
|
||||
add528 add 1.01 0.01 -> 1.02
|
||||
add529 add -0.01 -0.01 -> -0.02
|
||||
add530 add 0.00 -0.01 -> -0.01
|
||||
add531 add 0.01 -0.01 -> 0
|
||||
add532 add 0.12 -0.01 -> 0.11
|
||||
add533 add 0.98 -0.01 -> 0.97
|
||||
add534 add 0.99 -0.01 -> 0.98
|
||||
add535 add 1.00 -0.01 -> 0.99
|
||||
add536 add 1.01 -0.01 -> 1.00
|
||||
|
||||
-- ulp replacement tests
|
||||
precision: 9
|
||||
maxexponent: 999999999
|
||||
minexponent: -999999999
|
||||
add600 add 1 77e-7 -> 1.0000077
|
||||
add601 add 1 77e-8 -> 1.00000077
|
||||
add602 add 1 77e-9 -> 1.00000008 Inexact Rounded
|
||||
add603 add 1 77e-10 -> 1.00000001 Inexact Rounded
|
||||
add604 add 1 77e-11 -> 1.00000000 Inexact Rounded
|
||||
add605 add 1 77e-12 -> 1.00000000 Inexact Rounded
|
||||
add606 add 1 77e-999 -> 1.00000000 Inexact Rounded
|
||||
add607 add 1 77e-9999999 -> 1.00000000 Inexact Rounded
|
||||
|
||||
add610 add 10 77e-7 -> 10.0000077
|
||||
add611 add 10 77e-8 -> 10.0000008 Inexact Rounded
|
||||
add612 add 10 77e-9 -> 10.0000001 Inexact Rounded
|
||||
add613 add 10 77e-10 -> 10.0000000 Inexact Rounded
|
||||
add614 add 10 77e-11 -> 10.0000000 Inexact Rounded
|
||||
add615 add 10 77e-12 -> 10.0000000 Inexact Rounded
|
||||
add616 add 10 77e-999 -> 10.0000000 Inexact Rounded
|
||||
add617 add 10 77e-9999999 -> 10.0000000 Inexact Rounded
|
||||
|
||||
add620 add 77e-7 1 -> 1.0000077
|
||||
add621 add 77e-8 1 -> 1.00000077
|
||||
add622 add 77e-9 1 -> 1.00000008 Inexact Rounded
|
||||
add623 add 77e-10 1 -> 1.00000001 Inexact Rounded
|
||||
add624 add 77e-11 1 -> 1.00000000 Inexact Rounded
|
||||
add625 add 77e-12 1 -> 1.00000000 Inexact Rounded
|
||||
add626 add 77e-999 1 -> 1.00000000 Inexact Rounded
|
||||
add627 add 77e-9999999 1 -> 1.00000000 Inexact Rounded
|
||||
|
||||
add630 add 77e-7 10 -> 10.0000077
|
||||
add631 add 77e-8 10 -> 10.0000008 Inexact Rounded
|
||||
add632 add 77e-9 10 -> 10.0000001 Inexact Rounded
|
||||
add633 add 77e-10 10 -> 10.0000000 Inexact Rounded
|
||||
add634 add 77e-11 10 -> 10.0000000 Inexact Rounded
|
||||
add635 add 77e-12 10 -> 10.0000000 Inexact Rounded
|
||||
add636 add 77e-999 10 -> 10.0000000 Inexact Rounded
|
||||
add637 add 77e-9999999 10 -> 10.0000000 Inexact Rounded
|
||||
|
||||
-- negative ulps
|
||||
|
||||
-- Note that since we are under X3.274 rules, the rounding here after
|
||||
-- subtraction is from the leftmost digit of the operands, not the
|
||||
-- result. Hence, for example: 'add642 add 1 -77e-9' becomes:
|
||||
--
|
||||
-- 1000000000 E-9
|
||||
-- - 0000000077 E-9
|
||||
-- ----------
|
||||
-- 0999999923 E-9
|
||||
--
|
||||
-- which is rounded to 9 digits from the left (and including the leading
|
||||
-- 0 in this case).
|
||||
|
||||
add640 add 1 -77e-7 -> 0.9999923
|
||||
add641 add 1 -77e-8 -> 0.99999923
|
||||
add642 add 1 -77e-9 -> 0.99999992 Inexact Rounded
|
||||
add643 add 1 -77e-10 -> 0.99999999 Inexact Rounded
|
||||
add644 add 1 -77e-11 -> 1.00000000 Inexact Rounded
|
||||
add645 add 1 -77e-12 -> 1.00000000 Inexact Rounded
|
||||
add646 add 1 -77e-999 -> 1.00000000 Inexact Rounded
|
||||
add647 add 1 -77e-9999999 -> 1.00000000 Inexact Rounded
|
||||
|
||||
add650 add 10 -77e-7 -> 9.9999923
|
||||
add651 add 10 -77e-8 -> 9.9999992 Inexact Rounded
|
||||
add652 add 10 -77e-9 -> 9.9999999 Inexact Rounded
|
||||
add653 add 10 -77e-10 -> 10.0000000 Inexact Rounded
|
||||
add654 add 10 -77e-11 -> 10.0000000 Inexact Rounded
|
||||
add655 add 10 -77e-12 -> 10.0000000 Inexact Rounded
|
||||
add656 add 10 -77e-999 -> 10.0000000 Inexact Rounded
|
||||
add657 add 10 -77e-9999999 -> 10.0000000 Inexact Rounded
|
||||
|
||||
add660 add -77e-7 1 -> 0.9999923
|
||||
add661 add -77e-8 1 -> 0.99999923
|
||||
add662 add -77e-9 1 -> 0.99999992 Inexact Rounded
|
||||
add663 add -77e-10 1 -> 0.99999999 Inexact Rounded
|
||||
add664 add -77e-11 1 -> 1.00000000 Inexact Rounded
|
||||
add665 add -77e-12 1 -> 1.00000000 Inexact Rounded
|
||||
add666 add -77e-999 1 -> 1.00000000 Inexact Rounded
|
||||
add667 add -77e-9999999 1 -> 1.00000000 Inexact Rounded
|
||||
|
||||
add670 add -77e-7 10 -> 9.9999923
|
||||
add671 add -77e-8 10 -> 9.9999992 Inexact Rounded
|
||||
add672 add -77e-9 10 -> 9.9999999 Inexact Rounded
|
||||
add673 add -77e-10 10 -> 10.0000000 Inexact Rounded
|
||||
add674 add -77e-11 10 -> 10.0000000 Inexact Rounded
|
||||
add675 add -77e-12 10 -> 10.0000000 Inexact Rounded
|
||||
add676 add -77e-999 10 -> 10.0000000 Inexact Rounded
|
||||
add677 add -77e-9999999 10 -> 10.0000000 Inexact Rounded
|
||||
|
||||
-- negative negative ulps
|
||||
add680 add -1 77e-7 -> -0.9999923
|
||||
add681 add -1 77e-8 -> -0.99999923
|
||||
add682 add -1 77e-9 -> -0.99999992 Inexact Rounded
|
||||
add683 add -1 77e-10 -> -0.99999999 Inexact Rounded
|
||||
add684 add -1 77e-11 -> -1.00000000 Inexact Rounded
|
||||
add685 add -1 77e-12 -> -1.00000000 Inexact Rounded
|
||||
add686 add -1 77e-999 -> -1.00000000 Inexact Rounded
|
||||
add687 add -1 77e-9999999 -> -1.00000000 Inexact Rounded
|
||||
|
||||
add690 add -10 77e-7 -> -9.9999923
|
||||
add691 add -10 77e-8 -> -9.9999992 Inexact Rounded
|
||||
add692 add -10 77e-9 -> -9.9999999 Inexact Rounded
|
||||
add693 add -10 77e-10 -> -10.0000000 Inexact Rounded
|
||||
add694 add -10 77e-11 -> -10.0000000 Inexact Rounded
|
||||
add695 add -10 77e-12 -> -10.0000000 Inexact Rounded
|
||||
add696 add -10 77e-999 -> -10.0000000 Inexact Rounded
|
||||
add697 add -10 77e-9999999 -> -10.0000000 Inexact Rounded
|
||||
|
||||
add700 add 77e-7 -1 -> -0.9999923
|
||||
add701 add 77e-8 -1 -> -0.99999923
|
||||
add702 add 77e-9 -1 -> -0.99999992 Inexact Rounded
|
||||
add703 add 77e-10 -1 -> -0.99999999 Inexact Rounded
|
||||
add704 add 77e-11 -1 -> -1.00000000 Inexact Rounded
|
||||
add705 add 77e-12 -1 -> -1.00000000 Inexact Rounded
|
||||
add706 add 77e-999 -1 -> -1.00000000 Inexact Rounded
|
||||
add707 add 77e-9999999 -1 -> -1.00000000 Inexact Rounded
|
||||
|
||||
add710 add 77e-7 -10 -> -9.9999923
|
||||
add711 add 77e-8 -10 -> -9.9999992 Inexact Rounded
|
||||
add712 add 77e-9 -10 -> -9.9999999 Inexact Rounded
|
||||
add713 add 77e-10 -10 -> -10.0000000 Inexact Rounded
|
||||
add714 add 77e-11 -10 -> -10.0000000 Inexact Rounded
|
||||
add715 add 77e-12 -10 -> -10.0000000 Inexact Rounded
|
||||
add716 add 77e-999 -10 -> -10.0000000 Inexact Rounded
|
||||
add717 add 77e-9999999 -10 -> -10.0000000 Inexact Rounded
|
||||
|
||||
|
||||
-- overflow and underflow tests
|
||||
maxexponent: 999999999
|
||||
minexponent: -999999999
|
||||
precision: 9
|
||||
add330 add 1E+999999999 9E+999999999 -> ? Overflow Inexact Rounded
|
||||
add331 add 9E+999999999 1E+999999999 -> ? Overflow Inexact Rounded
|
||||
add332 add -1.1E-999999999 1E-999999999 -> ? Underflow Subnormal Inexact Rounded
|
||||
add333 add 1E-999999999 -1.1e-999999999 -> ? Underflow Subnormal Inexact Rounded
|
||||
add334 add -1E+999999999 -9E+999999999 -> ? Overflow Inexact Rounded
|
||||
add335 add -9E+999999999 -1E+999999999 -> ? Overflow Inexact Rounded
|
||||
add336 add +1.1E-999999999 -1E-999999999 -> ? Underflow Subnormal Inexact Rounded
|
||||
add337 add -1E-999999999 +1.1e-999999999 -> ? Underflow Subnormal Inexact Rounded
|
||||
precision: 3
|
||||
add338 add 9.999E+999999999 0 -> ? Inexact Lost_digits Overflow Rounded
|
||||
add339 add 0 9.999E+999999999 -> ? Inexact Lost_digits Overflow Rounded
|
||||
|
||||
-- lostDigits checks
|
||||
maxexponent: 999
|
||||
minexponent: -999
|
||||
precision: 9
|
||||
add401 add 12345678000 0 -> 1.23456780E+10 Rounded
|
||||
add402 add 0 12345678000 -> 1.23456780E+10 Rounded
|
||||
add403 add 1234567800 0 -> 1.23456780E+9 Rounded
|
||||
add404 add 0 1234567800 -> 1.23456780E+9 Rounded
|
||||
add405 add 1234567890 0 -> 1.23456789E+9 Rounded
|
||||
add406 add 0 1234567890 -> 1.23456789E+9 Rounded
|
||||
add407 add 1234567891 0 -> 1.23456789E+9 Inexact Lost_digits Rounded
|
||||
add408 add 0 1234567891 -> 1.23456789E+9 Inexact Lost_digits Rounded
|
||||
add409 add 12345678901 0 -> 1.23456789E+10 Inexact Lost_digits Rounded
|
||||
add410 add 0 12345678901 -> 1.23456789E+10 Inexact Lost_digits Rounded
|
||||
add411 add 1234567896 0 -> 1.23456790E+9 Inexact Lost_digits Rounded
|
||||
add412 add 0 1234567896 -> 1.23456790E+9 Inexact Lost_digits Rounded
|
||||
|
||||
precision: 15
|
||||
-- still checking for lostDigits
|
||||
add441 add 12345678000 0 -> 12345678000
|
||||
add442 add 0 12345678000 -> 12345678000
|
||||
add443 add 1234567800 0 -> 1234567800
|
||||
add444 add 0 1234567800 -> 1234567800
|
||||
add445 add 1234567890 0 -> 1234567890
|
||||
add446 add 0 1234567890 -> 1234567890
|
||||
add447 add 1234567891 0 -> 1234567891
|
||||
add448 add 0 1234567891 -> 1234567891
|
||||
add449 add 12345678901 0 -> 12345678901
|
||||
add450 add 0 12345678901 -> 12345678901
|
||||
add451 add 1234567896 0 -> 1234567896
|
||||
add452 add 0 1234567896 -> 1234567896
|
||||
|
||||
-- Null tests
|
||||
add900 add 10 # -> ? Invalid_operation
|
||||
add901 add # 10 -> ? Invalid_operation
|
||||
|
||||
Reference in New Issue
Block a user