2007-09-13 15:13:15 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
-- dqAdd.decTest -- decQuad addition --
|
2008-07-27 03:39:07 -03:00
|
|
|
-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
2007-09-13 15:13:15 -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-27 14:02:46 -03:00
|
|
|
version: 2.59
|
2007-09-13 15:13:15 -03:00
|
|
|
|
|
|
|
-- This set of tests are for decQuads only; all arguments are
|
|
|
|
-- representable in a decQuad
|
|
|
|
extended: 1
|
|
|
|
clamp: 1
|
|
|
|
precision: 34
|
|
|
|
maxExponent: 6144
|
|
|
|
minExponent: -6143
|
|
|
|
rounding: half_even
|
|
|
|
|
|
|
|
-- [first group are 'quick confidence check']
|
|
|
|
dqadd001 add 1 1 -> 2
|
|
|
|
dqadd002 add 2 3 -> 5
|
|
|
|
dqadd003 add '5.75' '3.3' -> 9.05
|
|
|
|
dqadd004 add '5' '-3' -> 2
|
|
|
|
dqadd005 add '-5' '-3' -> -8
|
|
|
|
dqadd006 add '-7' '2.5' -> -4.5
|
|
|
|
dqadd007 add '0.7' '0.3' -> 1.0
|
|
|
|
dqadd008 add '1.25' '1.25' -> 2.50
|
|
|
|
dqadd009 add '1.23456789' '1.00000000' -> '2.23456789'
|
|
|
|
dqadd010 add '1.23456789' '1.00000011' -> '2.23456800'
|
|
|
|
|
|
|
|
-- 1234567890123456 1234567890123456
|
|
|
|
dqadd011 add '0.4444444444444444444444444444444446' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Inexact Rounded
|
|
|
|
dqadd012 add '0.4444444444444444444444444444444445' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Rounded
|
|
|
|
dqadd013 add '0.4444444444444444444444444444444444' '0.5555555555555555555555555555555555' -> '0.9999999999999999999999999999999999'
|
|
|
|
dqadd014 add '4444444444444444444444444444444444' '0.49' -> '4444444444444444444444444444444444' Inexact Rounded
|
|
|
|
dqadd015 add '4444444444444444444444444444444444' '0.499' -> '4444444444444444444444444444444444' Inexact Rounded
|
|
|
|
dqadd016 add '4444444444444444444444444444444444' '0.4999' -> '4444444444444444444444444444444444' Inexact Rounded
|
|
|
|
dqadd017 add '4444444444444444444444444444444444' '0.5000' -> '4444444444444444444444444444444444' Inexact Rounded
|
|
|
|
dqadd018 add '4444444444444444444444444444444444' '0.5001' -> '4444444444444444444444444444444445' Inexact Rounded
|
|
|
|
dqadd019 add '4444444444444444444444444444444444' '0.501' -> '4444444444444444444444444444444445' Inexact Rounded
|
|
|
|
dqadd020 add '4444444444444444444444444444444444' '0.51' -> '4444444444444444444444444444444445' Inexact Rounded
|
|
|
|
|
|
|
|
dqadd021 add 0 1 -> 1
|
|
|
|
dqadd022 add 1 1 -> 2
|
|
|
|
dqadd023 add 2 1 -> 3
|
|
|
|
dqadd024 add 3 1 -> 4
|
|
|
|
dqadd025 add 4 1 -> 5
|
|
|
|
dqadd026 add 5 1 -> 6
|
|
|
|
dqadd027 add 6 1 -> 7
|
|
|
|
dqadd028 add 7 1 -> 8
|
|
|
|
dqadd029 add 8 1 -> 9
|
|
|
|
dqadd030 add 9 1 -> 10
|
|
|
|
|
|
|
|
-- some carrying effects
|
|
|
|
dqadd031 add '0.9998' '0.0000' -> '0.9998'
|
|
|
|
dqadd032 add '0.9998' '0.0001' -> '0.9999'
|
|
|
|
dqadd033 add '0.9998' '0.0002' -> '1.0000'
|
|
|
|
dqadd034 add '0.9998' '0.0003' -> '1.0001'
|
|
|
|
|
|
|
|
dqadd035 add '70' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd036 add '700' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd037 add '7000' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd038 add '70000' '10000e+34' -> '1.000000000000000000000000000000001E+38' Inexact Rounded
|
|
|
|
dqadd039 add '700000' '10000e+34' -> '1.000000000000000000000000000000007E+38' Rounded
|
|
|
|
|
|
|
|
-- symmetry:
|
|
|
|
dqadd040 add '10000e+34' '70' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd041 add '10000e+34' '700' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd042 add '10000e+34' '7000' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
|
|
|
|
dqadd044 add '10000e+34' '70000' -> '1.000000000000000000000000000000001E+38' Inexact Rounded
|
|
|
|
dqadd045 add '10000e+34' '700000' -> '1.000000000000000000000000000000007E+38' Rounded
|
|
|
|
|
|
|
|
-- same, without rounding
|
|
|
|
dqadd046 add '10000e+9' '7' -> '10000000000007'
|
|
|
|
dqadd047 add '10000e+9' '70' -> '10000000000070'
|
|
|
|
dqadd048 add '10000e+9' '700' -> '10000000000700'
|
|
|
|
dqadd049 add '10000e+9' '7000' -> '10000000007000'
|
|
|
|
dqadd050 add '10000e+9' '70000' -> '10000000070000'
|
|
|
|
dqadd051 add '10000e+9' '700000' -> '10000000700000'
|
|
|
|
dqadd052 add '10000e+9' '7000000' -> '10000007000000'
|
|
|
|
|
|
|
|
-- examples from decarith
|
|
|
|
dqadd053 add '12' '7.00' -> '19.00'
|
|
|
|
dqadd054 add '1.3' '-1.07' -> '0.23'
|
|
|
|
dqadd055 add '1.3' '-1.30' -> '0.00'
|
|
|
|
dqadd056 add '1.3' '-2.07' -> '-0.77'
|
|
|
|
dqadd057 add '1E+2' '1E+4' -> '1.01E+4'
|
|
|
|
|
|
|
|
-- leading zero preservation
|
|
|
|
dqadd061 add 1 '0.0001' -> '1.0001'
|
|
|
|
dqadd062 add 1 '0.00001' -> '1.00001'
|
|
|
|
dqadd063 add 1 '0.000001' -> '1.000001'
|
|
|
|
dqadd064 add 1 '0.0000001' -> '1.0000001'
|
|
|
|
dqadd065 add 1 '0.00000001' -> '1.00000001'
|
|
|
|
|
|
|
|
-- some funny zeros [in case of bad signum]
|
|
|
|
dqadd070 add 1 0 -> 1
|
|
|
|
dqadd071 add 1 0. -> 1
|
|
|
|
dqadd072 add 1 .0 -> 1.0
|
|
|
|
dqadd073 add 1 0.0 -> 1.0
|
|
|
|
dqadd074 add 1 0.00 -> 1.00
|
|
|
|
dqadd075 add 0 1 -> 1
|
|
|
|
dqadd076 add 0. 1 -> 1
|
|
|
|
dqadd077 add .0 1 -> 1.0
|
|
|
|
dqadd078 add 0.0 1 -> 1.0
|
|
|
|
dqadd079 add 0.00 1 -> 1.00
|
|
|
|
|
|
|
|
-- some carries
|
|
|
|
dqadd080 add 999999998 1 -> 999999999
|
|
|
|
dqadd081 add 999999999 1 -> 1000000000
|
|
|
|
dqadd082 add 99999999 1 -> 100000000
|
|
|
|
dqadd083 add 9999999 1 -> 10000000
|
|
|
|
dqadd084 add 999999 1 -> 1000000
|
|
|
|
dqadd085 add 99999 1 -> 100000
|
|
|
|
dqadd086 add 9999 1 -> 10000
|
|
|
|
dqadd087 add 999 1 -> 1000
|
|
|
|
dqadd088 add 99 1 -> 100
|
|
|
|
dqadd089 add 9 1 -> 10
|
|
|
|
|
|
|
|
|
|
|
|
-- more LHS swaps
|
|
|
|
dqadd090 add '-56267E-10' 0 -> '-0.0000056267'
|
|
|
|
dqadd091 add '-56267E-6' 0 -> '-0.056267'
|
|
|
|
dqadd092 add '-56267E-5' 0 -> '-0.56267'
|
|
|
|
dqadd093 add '-56267E-4' 0 -> '-5.6267'
|
|
|
|
dqadd094 add '-56267E-3' 0 -> '-56.267'
|
|
|
|
dqadd095 add '-56267E-2' 0 -> '-562.67'
|
|
|
|
dqadd096 add '-56267E-1' 0 -> '-5626.7'
|
|
|
|
dqadd097 add '-56267E-0' 0 -> '-56267'
|
|
|
|
dqadd098 add '-5E-10' 0 -> '-5E-10'
|
|
|
|
dqadd099 add '-5E-7' 0 -> '-5E-7'
|
|
|
|
dqadd100 add '-5E-6' 0 -> '-0.000005'
|
|
|
|
dqadd101 add '-5E-5' 0 -> '-0.00005'
|
|
|
|
dqadd102 add '-5E-4' 0 -> '-0.0005'
|
|
|
|
dqadd103 add '-5E-1' 0 -> '-0.5'
|
|
|
|
dqadd104 add '-5E0' 0 -> '-5'
|
|
|
|
dqadd105 add '-5E1' 0 -> '-50'
|
|
|
|
dqadd106 add '-5E5' 0 -> '-500000'
|
|
|
|
dqadd107 add '-5E33' 0 -> '-5000000000000000000000000000000000'
|
|
|
|
dqadd108 add '-5E34' 0 -> '-5.000000000000000000000000000000000E+34' Rounded
|
|
|
|
dqadd109 add '-5E35' 0 -> '-5.000000000000000000000000000000000E+35' Rounded
|
|
|
|
dqadd110 add '-5E36' 0 -> '-5.000000000000000000000000000000000E+36' Rounded
|
|
|
|
dqadd111 add '-5E100' 0 -> '-5.000000000000000000000000000000000E+100' Rounded
|
|
|
|
|
|
|
|
-- more RHS swaps
|
|
|
|
dqadd113 add 0 '-56267E-10' -> '-0.0000056267'
|
|
|
|
dqadd114 add 0 '-56267E-6' -> '-0.056267'
|
|
|
|
dqadd116 add 0 '-56267E-5' -> '-0.56267'
|
|
|
|
dqadd117 add 0 '-56267E-4' -> '-5.6267'
|
|
|
|
dqadd119 add 0 '-56267E-3' -> '-56.267'
|
|
|
|
dqadd120 add 0 '-56267E-2' -> '-562.67'
|
|
|
|
dqadd121 add 0 '-56267E-1' -> '-5626.7'
|
|
|
|
dqadd122 add 0 '-56267E-0' -> '-56267'
|
|
|
|
dqadd123 add 0 '-5E-10' -> '-5E-10'
|
|
|
|
dqadd124 add 0 '-5E-7' -> '-5E-7'
|
|
|
|
dqadd125 add 0 '-5E-6' -> '-0.000005'
|
|
|
|
dqadd126 add 0 '-5E-5' -> '-0.00005'
|
|
|
|
dqadd127 add 0 '-5E-4' -> '-0.0005'
|
|
|
|
dqadd128 add 0 '-5E-1' -> '-0.5'
|
|
|
|
dqadd129 add 0 '-5E0' -> '-5'
|
|
|
|
dqadd130 add 0 '-5E1' -> '-50'
|
|
|
|
dqadd131 add 0 '-5E5' -> '-500000'
|
|
|
|
dqadd132 add 0 '-5E33' -> '-5000000000000000000000000000000000'
|
|
|
|
dqadd133 add 0 '-5E34' -> '-5.000000000000000000000000000000000E+34' Rounded
|
|
|
|
dqadd134 add 0 '-5E35' -> '-5.000000000000000000000000000000000E+35' Rounded
|
|
|
|
dqadd135 add 0 '-5E36' -> '-5.000000000000000000000000000000000E+36' Rounded
|
|
|
|
dqadd136 add 0 '-5E100' -> '-5.000000000000000000000000000000000E+100' Rounded
|
|
|
|
|
|
|
|
-- related
|
|
|
|
dqadd137 add 1 '0E-39' -> '1.000000000000000000000000000000000' Rounded
|
|
|
|
dqadd138 add -1 '0E-39' -> '-1.000000000000000000000000000000000' Rounded
|
|
|
|
dqadd139 add '0E-39' 1 -> '1.000000000000000000000000000000000' Rounded
|
|
|
|
dqadd140 add '0E-39' -1 -> '-1.000000000000000000000000000000000' Rounded
|
|
|
|
dqadd141 add 1E+29 0.0000 -> '100000000000000000000000000000.0000'
|
|
|
|
dqadd142 add 1E+29 0.00000 -> '100000000000000000000000000000.0000' Rounded
|
|
|
|
dqadd143 add 0.000 1E+30 -> '1000000000000000000000000000000.000'
|
|
|
|
dqadd144 add 0.0000 1E+30 -> '1000000000000000000000000000000.000' Rounded
|
|
|
|
|
|
|
|
-- [some of the next group are really constructor tests]
|
|
|
|
dqadd146 add '00.0' 0 -> '0.0'
|
|
|
|
dqadd147 add '0.00' 0 -> '0.00'
|
|
|
|
dqadd148 add 0 '0.00' -> '0.00'
|
|
|
|
dqadd149 add 0 '00.0' -> '0.0'
|
|
|
|
dqadd150 add '00.0' '0.00' -> '0.00'
|
|
|
|
dqadd151 add '0.00' '00.0' -> '0.00'
|
|
|
|
dqadd152 add '3' '.3' -> '3.3'
|
|
|
|
dqadd153 add '3.' '.3' -> '3.3'
|
|
|
|
dqadd154 add '3.0' '.3' -> '3.3'
|
|
|
|
dqadd155 add '3.00' '.3' -> '3.30'
|
|
|
|
dqadd156 add '3' '3' -> '6'
|
|
|
|
dqadd157 add '3' '+3' -> '6'
|
|
|
|
dqadd158 add '3' '-3' -> '0'
|
|
|
|
dqadd159 add '0.3' '-0.3' -> '0.0'
|
|
|
|
dqadd160 add '0.03' '-0.03' -> '0.00'
|
|
|
|
|
|
|
|
-- try borderline precision, with carries, etc.
|
|
|
|
dqadd161 add '1E+12' '-1' -> '999999999999'
|
|
|
|
dqadd162 add '1E+12' '1.11' -> '1000000000001.11'
|
|
|
|
dqadd163 add '1.11' '1E+12' -> '1000000000001.11'
|
|
|
|
dqadd164 add '-1' '1E+12' -> '999999999999'
|
|
|
|
dqadd165 add '7E+12' '-1' -> '6999999999999'
|
|
|
|
dqadd166 add '7E+12' '1.11' -> '7000000000001.11'
|
|
|
|
dqadd167 add '1.11' '7E+12' -> '7000000000001.11'
|
|
|
|
dqadd168 add '-1' '7E+12' -> '6999999999999'
|
|
|
|
|
|
|
|
rounding: half_up
|
|
|
|
dqadd170 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555567' -> '5.000000000000000000000000000000001' Inexact Rounded
|
|
|
|
dqadd171 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555566' -> '5.000000000000000000000000000000001' Inexact Rounded
|
|
|
|
dqadd172 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555565' -> '5.000000000000000000000000000000001' Inexact Rounded
|
|
|
|
dqadd173 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555564' -> '5.000000000000000000000000000000000' Inexact Rounded
|
|
|
|
dqadd174 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555553' -> '4.999999999999999999999999999999999' Inexact Rounded
|
|
|
|
dqadd175 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555552' -> '4.999999999999999999999999999999999' Inexact Rounded
|
|
|
|
dqadd176 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555551' -> '4.999999999999999999999999999999999' Inexact Rounded
|
|
|
|
dqadd177 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555550' -> '4.999999999999999999999999999999999' Rounded
|
|
|
|
dqadd178 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555545' -> '4.999999999999999999999999999999999' Inexact Rounded
|
|
|
|
dqadd179 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555544' -> '4.999999999999999999999999999999998' Inexact Rounded
|
|
|
|
dqadd180 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555543' -> '4.999999999999999999999999999999998' Inexact Rounded
|
|
|
|
dqadd181 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555542' -> '4.999999999999999999999999999999998' Inexact Rounded
|
|
|
|
dqadd182 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555541' -> '4.999999999999999999999999999999998' Inexact Rounded
|
|
|
|
dqadd183 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555540' -> '4.999999999999999999999999999999998' Rounded
|
|
|
|
|
|
|
|
-- and some more, including residue effects and different roundings
|
|
|
|
rounding: half_up
|
|
|
|
dqadd200 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
|
|
|
|
dqadd201 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd202 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd203 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd204 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd205 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd206 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd207 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd208 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd209 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd210 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd211 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd212 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd213 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd214 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd215 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd216 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
|
|
|
|
dqadd217 add '1231234567890123456784560123456789' 1.000000001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd218 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd219 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
|
|
|
|
rounding: half_even
|
|
|
|
dqadd220 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
|
|
|
|
dqadd221 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd222 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd223 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd224 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd225 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd226 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd227 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd228 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd229 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd230 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd231 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd232 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd233 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd234 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd235 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd236 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
|
|
|
|
dqadd237 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd238 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd239 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
-- critical few with even bottom digit...
|
|
|
|
dqadd240 add '1231234567890123456784560123456788' 0.499999999 -> '1231234567890123456784560123456788' Inexact Rounded
|
|
|
|
dqadd241 add '1231234567890123456784560123456788' 0.5 -> '1231234567890123456784560123456788' Inexact Rounded
|
|
|
|
dqadd242 add '1231234567890123456784560123456788' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
|
|
|
|
rounding: down
|
|
|
|
dqadd250 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
|
|
|
|
dqadd251 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd252 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd253 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd254 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd255 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd256 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd257 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd258 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd259 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd260 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd261 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd262 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd263 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd264 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd265 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456789' Inexact Rounded
|
|
|
|
dqadd266 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
|
|
|
|
dqadd267 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd268 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
dqadd269 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
|
|
|
|
|
|
|
|
-- 1 in last place tests
|
|
|
|
rounding: half_up
|
|
|
|
dqadd301 add -1 1 -> 0
|
|
|
|
dqadd302 add 0 1 -> 1
|
|
|
|
dqadd303 add 1 1 -> 2
|
|
|
|
dqadd304 add 12 1 -> 13
|
|
|
|
dqadd305 add 98 1 -> 99
|
|
|
|
dqadd306 add 99 1 -> 100
|
|
|
|
dqadd307 add 100 1 -> 101
|
|
|
|
dqadd308 add 101 1 -> 102
|
|
|
|
dqadd309 add -1 -1 -> -2
|
|
|
|
dqadd310 add 0 -1 -> -1
|
|
|
|
dqadd311 add 1 -1 -> 0
|
|
|
|
dqadd312 add 12 -1 -> 11
|
|
|
|
dqadd313 add 98 -1 -> 97
|
|
|
|
dqadd314 add 99 -1 -> 98
|
|
|
|
dqadd315 add 100 -1 -> 99
|
|
|
|
dqadd316 add 101 -1 -> 100
|
|
|
|
|
|
|
|
dqadd321 add -0.01 0.01 -> 0.00
|
|
|
|
dqadd322 add 0.00 0.01 -> 0.01
|
|
|
|
dqadd323 add 0.01 0.01 -> 0.02
|
|
|
|
dqadd324 add 0.12 0.01 -> 0.13
|
|
|
|
dqadd325 add 0.98 0.01 -> 0.99
|
|
|
|
dqadd326 add 0.99 0.01 -> 1.00
|
|
|
|
dqadd327 add 1.00 0.01 -> 1.01
|
|
|
|
dqadd328 add 1.01 0.01 -> 1.02
|
|
|
|
dqadd329 add -0.01 -0.01 -> -0.02
|
|
|
|
dqadd330 add 0.00 -0.01 -> -0.01
|
|
|
|
dqadd331 add 0.01 -0.01 -> 0.00
|
|
|
|
dqadd332 add 0.12 -0.01 -> 0.11
|
|
|
|
dqadd333 add 0.98 -0.01 -> 0.97
|
|
|
|
dqadd334 add 0.99 -0.01 -> 0.98
|
|
|
|
dqadd335 add 1.00 -0.01 -> 0.99
|
|
|
|
dqadd336 add 1.01 -0.01 -> 1.00
|
|
|
|
|
|
|
|
-- some more cases where adding 0 affects the coefficient
|
|
|
|
dqadd340 add 1E+3 0 -> 1000
|
|
|
|
dqadd341 add 1E+33 0 -> 1000000000000000000000000000000000
|
|
|
|
dqadd342 add 1E+34 0 -> 1.000000000000000000000000000000000E+34 Rounded
|
|
|
|
dqadd343 add 1E+35 0 -> 1.000000000000000000000000000000000E+35 Rounded
|
|
|
|
-- which simply follow from these cases ...
|
|
|
|
dqadd344 add 1E+3 1 -> 1001
|
|
|
|
dqadd345 add 1E+33 1 -> 1000000000000000000000000000000001
|
|
|
|
dqadd346 add 1E+34 1 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd347 add 1E+35 1 -> 1.000000000000000000000000000000000E+35 Inexact Rounded
|
|
|
|
dqadd348 add 1E+3 7 -> 1007
|
|
|
|
dqadd349 add 1E+33 7 -> 1000000000000000000000000000000007
|
|
|
|
dqadd350 add 1E+34 7 -> 1.000000000000000000000000000000001E+34 Inexact Rounded
|
|
|
|
dqadd351 add 1E+35 7 -> 1.000000000000000000000000000000000E+35 Inexact Rounded
|
|
|
|
|
|
|
|
-- tryzeros cases
|
|
|
|
rounding: half_up
|
|
|
|
dqadd360 add 0E+50 10000E+1 -> 1.0000E+5
|
|
|
|
dqadd361 add 0E-50 10000E+1 -> 100000.0000000000000000000000000000 Rounded
|
|
|
|
dqadd362 add 10000E+1 0E-50 -> 100000.0000000000000000000000000000 Rounded
|
|
|
|
dqadd363 add 10000E+1 10000E-50 -> 100000.0000000000000000000000000000 Rounded Inexact
|
|
|
|
dqadd364 add 9.999999999999999999999999999999999E+6144 -9.999999999999999999999999999999999E+6144 -> 0E+6111
|
|
|
|
-- 1 234567890123456789012345678901234
|
|
|
|
|
|
|
|
-- a curiosity from JSR 13 testing
|
|
|
|
rounding: half_down
|
|
|
|
dqadd370 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814
|
|
|
|
dqadd371 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact
|
|
|
|
rounding: half_up
|
|
|
|
dqadd372 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814
|
|
|
|
dqadd373 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact
|
|
|
|
rounding: half_even
|
|
|
|
dqadd374 add 999999999999999999999999999999999 815 -> 1000000000000000000000000000000814
|
|
|
|
dqadd375 add 9999999999999999999999999999999999 815 -> 1.000000000000000000000000000000081E+34 Rounded Inexact
|
|
|
|
|
|
|
|
-- ulp replacement tests
|
|
|
|
dqadd400 add 1 77e-32 -> 1.00000000000000000000000000000077
|
|
|
|
dqadd401 add 1 77e-33 -> 1.000000000000000000000000000000077
|
|
|
|
dqadd402 add 1 77e-34 -> 1.000000000000000000000000000000008 Inexact Rounded
|
|
|
|
dqadd403 add 1 77e-35 -> 1.000000000000000000000000000000001 Inexact Rounded
|
|
|
|
dqadd404 add 1 77e-36 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd405 add 1 77e-37 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd406 add 1 77e-299 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd410 add 10 77e-32 -> 10.00000000000000000000000000000077
|
|
|
|
dqadd411 add 10 77e-33 -> 10.00000000000000000000000000000008 Inexact Rounded
|
|
|
|
dqadd412 add 10 77e-34 -> 10.00000000000000000000000000000001 Inexact Rounded
|
|
|
|
dqadd413 add 10 77e-35 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd414 add 10 77e-36 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd415 add 10 77e-37 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd416 add 10 77e-299 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd420 add 77e-32 1 -> 1.00000000000000000000000000000077
|
|
|
|
dqadd421 add 77e-33 1 -> 1.000000000000000000000000000000077
|
|
|
|
dqadd422 add 77e-34 1 -> 1.000000000000000000000000000000008 Inexact Rounded
|
|
|
|
dqadd423 add 77e-35 1 -> 1.000000000000000000000000000000001 Inexact Rounded
|
|
|
|
dqadd424 add 77e-36 1 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd425 add 77e-37 1 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd426 add 77e-299 1 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd430 add 77e-32 10 -> 10.00000000000000000000000000000077
|
|
|
|
dqadd431 add 77e-33 10 -> 10.00000000000000000000000000000008 Inexact Rounded
|
|
|
|
dqadd432 add 77e-34 10 -> 10.00000000000000000000000000000001 Inexact Rounded
|
|
|
|
dqadd433 add 77e-35 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd434 add 77e-36 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd435 add 77e-37 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd436 add 77e-299 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
2008-07-27 03:39:07 -03:00
|
|
|
-- fastpath boundaries
|
|
|
|
-- 1234567890123456789012345678901234
|
|
|
|
dqadd501 add '4444444444444444444444444444444444' '5555555555555555555555555555555555' -> '9999999999999999999999999999999999'
|
|
|
|
dqadd502 add '4444444444444444444444444444444444' '4555555555555555555555555555555555' -> '8999999999999999999999999999999999'
|
|
|
|
dqadd503 add '4444444444444444444444444444444444' '3555555555555555555055555555555555' -> '7999999999999999999499999999999999'
|
|
|
|
dqadd504 add '4444444444444444444444444444444444' '3955555555555555555555555555555555' -> '8399999999999999999999999999999999'
|
|
|
|
dqadd505 add '4444444444444444444444444444444444' '4955555555555555555555555555555555' -> '9399999999999999999999999999999999'
|
|
|
|
dqadd506 add '4444444444444444444444444444444444' '5955555555555555555555555555555555' -> 1.040000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd511 add '344444444444444444444444444444444' '555555555555555555555555555555555' -> '899999999999999999999999999999999'
|
|
|
|
dqadd512 add '34444444444444444444444444444444' '55555555555555555555555555555555' -> '89999999999999999999999999999999'
|
|
|
|
dqadd513 add '3444444444444444444444444444444' '5555555555555555555555555555555' -> '8999999999999999999999999999999'
|
|
|
|
dqadd514 add '344444444444444444444444444444' '555555555555555555555555555555' -> '899999999999999999999999999999'
|
|
|
|
dqadd515 add '34444444444444444444444444444' '55555555555555555555555555555' -> '89999999999999999999999999999'
|
|
|
|
dqadd516 add '3444444444444444444444444444' '5555555555555555555555555555' -> '8999999999999999999999999999'
|
|
|
|
dqadd517 add '344444444444444444444444444' '555555555555555555555555555' -> '899999999999999999999999999'
|
|
|
|
dqadd518 add '34444444444444444444444444' '55555555555555555555555555' -> '89999999999999999999999999'
|
|
|
|
dqadd519 add '3444444444444444444444444' '5555555555555555555555555' -> '8999999999999999999999999'
|
|
|
|
dqadd520 add '344444444444444444444444' '555555555555555555555555' -> '899999999999999999999999'
|
|
|
|
dqadd521 add '34444444444444444444444' '55555555555555555555555' -> '89999999999999999999999'
|
|
|
|
dqadd522 add '3444444444444444444444' '5555555555555555555555' -> '8999999999999999999999'
|
|
|
|
dqadd523 add '4444444444444444444444' '3333333333333333333333' -> '7777777777777777777777'
|
|
|
|
dqadd524 add '344444444444444444444' '555555555555555555555' -> '899999999999999999999'
|
|
|
|
dqadd525 add '34444444444444444444' '55555555555555555555' -> '89999999999999999999'
|
|
|
|
dqadd526 add '3444444444444444444' '5555555555555555555' -> '8999999999999999999'
|
|
|
|
dqadd527 add '344444444444444444' '555555555555555555' -> '899999999999999999'
|
|
|
|
dqadd528 add '34444444444444444' '55555555555555555' -> '89999999999999999'
|
|
|
|
dqadd529 add '3444444444444444' '5555555555555555' -> '8999999999999999'
|
|
|
|
dqadd530 add '344444444444444' '555555555555555' -> '899999999999999'
|
|
|
|
dqadd531 add '34444444444444' '55555555555555' -> '89999999999999'
|
|
|
|
dqadd532 add '3444444444444' '5555555555555' -> '8999999999999'
|
|
|
|
dqadd533 add '344444444444' '555555555555' -> '899999999999'
|
|
|
|
dqadd534 add '34444444444' '55555555555' -> '89999999999'
|
|
|
|
dqadd535 add '3444444444' '5555555555' -> '8999999999'
|
|
|
|
dqadd536 add '344444444' '555555555' -> '899999999'
|
|
|
|
dqadd537 add '34444444' '55555555' -> '89999999'
|
|
|
|
dqadd538 add '3444444' '5555555' -> '8999999'
|
|
|
|
dqadd539 add '344444' '555555' -> '899999'
|
|
|
|
dqadd540 add '34444' '55555' -> '89999'
|
|
|
|
dqadd541 add '3444' '5555' -> '8999'
|
|
|
|
dqadd542 add '344' '555' -> '899'
|
|
|
|
dqadd543 add '34' '55' -> '89'
|
|
|
|
dqadd544 add '3' '5' -> '8'
|
|
|
|
|
|
|
|
dqadd545 add '3000004000000000000000000000000000' '3000000000000040000000000000000000' -> '6000004000000040000000000000000000'
|
|
|
|
dqadd546 add '3000000400000000000000000000000000' '4000000000000400000000000000000000' -> '7000000400000400000000000000000000'
|
|
|
|
dqadd547 add '3000000040000000000000000000000000' '5000000000004000000000000000000000' -> '8000000040004000000000000000000000'
|
|
|
|
dqadd548 add '4000000004000000000000000000000000' '3000000000040000000000000000000000' -> '7000000004040000000000000000000000'
|
|
|
|
dqadd549 add '4000000000400000000000000000000000' '4000000000400000000000000000000000' -> '8000000000800000000000000000000000'
|
|
|
|
dqadd550 add '4000000000040000000000000000000000' '5000000004000000000000000000000000' -> '9000000004040000000000000000000000'
|
|
|
|
dqadd551 add '5000000000004000000000000000000000' '3000000040000000000000000000000000' -> '8000000040004000000000000000000000'
|
|
|
|
dqadd552 add '5000000000000400000000000000000000' '4000000400000000000000000000000000' -> '9000000400000400000000000000000000'
|
|
|
|
dqadd553 add '5000000000000040000000000000000000' '5000004000000000000000000000000000' -> 1.000000400000004000000000000000000E+34 Rounded
|
|
|
|
-- check propagation
|
|
|
|
dqadd554 add '8999999999999999999999999999999999' '0000000000000000000000000000000001' -> 9000000000000000000000000000000000
|
|
|
|
dqadd555 add '0000000000000000000000000000000001' '8999999999999999999999999999999999' -> 9000000000000000000000000000000000
|
|
|
|
dqadd556 add '4444444444444444444444444444444444' '4555555555555555555555555555555556' -> 9000000000000000000000000000000000
|
|
|
|
dqadd557 add '4555555555555555555555555555555556' '4444444444444444444444444444444444' -> 9000000000000000000000000000000000
|
|
|
|
|
2007-09-13 15:13:15 -03:00
|
|
|
-- negative ulps
|
|
|
|
dqadd6440 add 1 -77e-32 -> 0.99999999999999999999999999999923
|
|
|
|
dqadd6441 add 1 -77e-33 -> 0.999999999999999999999999999999923
|
|
|
|
dqadd6442 add 1 -77e-34 -> 0.9999999999999999999999999999999923
|
|
|
|
dqadd6443 add 1 -77e-35 -> 0.9999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6444 add 1 -77e-36 -> 0.9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6445 add 1 -77e-37 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6446 add 1 -77e-99 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6450 add 10 -77e-32 -> 9.99999999999999999999999999999923
|
|
|
|
dqadd6451 add 10 -77e-33 -> 9.999999999999999999999999999999923
|
|
|
|
dqadd6452 add 10 -77e-34 -> 9.999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6453 add 10 -77e-35 -> 9.999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6454 add 10 -77e-36 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6455 add 10 -77e-37 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6456 add 10 -77e-99 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6460 add -77e-32 1 -> 0.99999999999999999999999999999923
|
|
|
|
dqadd6461 add -77e-33 1 -> 0.999999999999999999999999999999923
|
|
|
|
dqadd6462 add -77e-34 1 -> 0.9999999999999999999999999999999923
|
|
|
|
dqadd6463 add -77e-35 1 -> 0.9999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6464 add -77e-36 1 -> 0.9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6465 add -77e-37 1 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6466 add -77e-99 1 -> 1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6470 add -77e-32 10 -> 9.99999999999999999999999999999923
|
|
|
|
dqadd6471 add -77e-33 10 -> 9.999999999999999999999999999999923
|
|
|
|
dqadd6472 add -77e-34 10 -> 9.999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6473 add -77e-35 10 -> 9.999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6474 add -77e-36 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6475 add -77e-37 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6476 add -77e-99 10 -> 10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
-- negative ulps
|
|
|
|
dqadd6480 add -1 77e-32 -> -0.99999999999999999999999999999923
|
|
|
|
dqadd6481 add -1 77e-33 -> -0.999999999999999999999999999999923
|
|
|
|
dqadd6482 add -1 77e-34 -> -0.9999999999999999999999999999999923
|
|
|
|
dqadd6483 add -1 77e-35 -> -0.9999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6484 add -1 77e-36 -> -0.9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6485 add -1 77e-37 -> -1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6486 add -1 77e-99 -> -1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6490 add -10 77e-32 -> -9.99999999999999999999999999999923
|
|
|
|
dqadd6491 add -10 77e-33 -> -9.999999999999999999999999999999923
|
|
|
|
dqadd6492 add -10 77e-34 -> -9.999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6493 add -10 77e-35 -> -9.999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6494 add -10 77e-36 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6495 add -10 77e-37 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6496 add -10 77e-99 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6500 add 77e-32 -1 -> -0.99999999999999999999999999999923
|
|
|
|
dqadd6501 add 77e-33 -1 -> -0.999999999999999999999999999999923
|
|
|
|
dqadd6502 add 77e-34 -1 -> -0.9999999999999999999999999999999923
|
|
|
|
dqadd6503 add 77e-35 -1 -> -0.9999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6504 add 77e-36 -1 -> -0.9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6505 add 77e-37 -1 -> -1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6506 add 77e-99 -1 -> -1.000000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd6510 add 77e-32 -10 -> -9.99999999999999999999999999999923
|
|
|
|
dqadd6511 add 77e-33 -10 -> -9.999999999999999999999999999999923
|
|
|
|
dqadd6512 add 77e-34 -10 -> -9.999999999999999999999999999999992 Inexact Rounded
|
|
|
|
dqadd6513 add 77e-35 -10 -> -9.999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd6514 add 77e-36 -10 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6515 add 77e-37 -10 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
dqadd6516 add 77e-99 -10 -> -10.00000000000000000000000000000000 Inexact Rounded
|
|
|
|
|
|
|
|
-- and some more residue effects and different roundings
|
|
|
|
rounding: half_up
|
|
|
|
dqadd6540 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'
|
|
|
|
dqadd6541 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6542 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6543 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6544 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6545 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6546 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6547 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6548 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6549 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6550 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6551 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6552 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6553 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6554 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6555 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6556 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'
|
|
|
|
dqadd6557 add '9876543219876543216543210123456789' 1.000000001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6558 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6559 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
|
|
|
|
rounding: half_even
|
|
|
|
dqadd6560 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'
|
|
|
|
dqadd6561 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6562 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6563 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6564 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6565 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6566 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6567 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd6568 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6569 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6570 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6571 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6572 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6573 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6574 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6575 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6576 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'
|
|
|
|
dqadd6577 add '9876543219876543216543210123456789' 1.00000001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6578 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd6579 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
|
|
|
|
-- critical few with even bottom digit...
|
|
|
|
dqadd7540 add '9876543219876543216543210123456788' 0.499999999 -> '9876543219876543216543210123456788' Inexact Rounded
|
|
|
|
dqadd7541 add '9876543219876543216543210123456788' 0.5 -> '9876543219876543216543210123456788' Inexact Rounded
|
|
|
|
dqadd7542 add '9876543219876543216543210123456788' 0.500000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
|
|
|
|
rounding: down
|
|
|
|
dqadd7550 add '9876543219876543216543210123456789' 0 -> '9876543219876543216543210123456789'
|
|
|
|
dqadd7551 add '9876543219876543216543210123456789' 0.000000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7552 add '9876543219876543216543210123456789' 0.000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7553 add '9876543219876543216543210123456789' 0.1 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7554 add '9876543219876543216543210123456789' 0.4 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7555 add '9876543219876543216543210123456789' 0.49 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7556 add '9876543219876543216543210123456789' 0.499999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7557 add '9876543219876543216543210123456789' 0.499999999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7558 add '9876543219876543216543210123456789' 0.5 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7559 add '9876543219876543216543210123456789' 0.500000001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7560 add '9876543219876543216543210123456789' 0.500001 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7561 add '9876543219876543216543210123456789' 0.51 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7562 add '9876543219876543216543210123456789' 0.6 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7563 add '9876543219876543216543210123456789' 0.9 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7564 add '9876543219876543216543210123456789' 0.99999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7565 add '9876543219876543216543210123456789' 0.999999999 -> '9876543219876543216543210123456789' Inexact Rounded
|
|
|
|
dqadd7566 add '9876543219876543216543210123456789' 1 -> '9876543219876543216543210123456790'
|
|
|
|
dqadd7567 add '9876543219876543216543210123456789' 1.00000001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd7568 add '9876543219876543216543210123456789' 1.00001 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
dqadd7569 add '9876543219876543216543210123456789' 1.1 -> '9876543219876543216543210123456790' Inexact Rounded
|
|
|
|
|
|
|
|
-- more zeros, etc.
|
|
|
|
rounding: half_even
|
|
|
|
|
|
|
|
dqadd7701 add 5.00 1.00E-3 -> 5.00100
|
|
|
|
dqadd7702 add 00.00 0.000 -> 0.000
|
|
|
|
dqadd7703 add 00.00 0E-3 -> 0.000
|
|
|
|
dqadd7704 add 0E-3 00.00 -> 0.000
|
|
|
|
|
|
|
|
dqadd7710 add 0E+3 00.00 -> 0.00
|
|
|
|
dqadd7711 add 0E+3 00.0 -> 0.0
|
|
|
|
dqadd7712 add 0E+3 00. -> 0
|
|
|
|
dqadd7713 add 0E+3 00.E+1 -> 0E+1
|
|
|
|
dqadd7714 add 0E+3 00.E+2 -> 0E+2
|
|
|
|
dqadd7715 add 0E+3 00.E+3 -> 0E+3
|
|
|
|
dqadd7716 add 0E+3 00.E+4 -> 0E+3
|
|
|
|
dqadd7717 add 0E+3 00.E+5 -> 0E+3
|
|
|
|
dqadd7718 add 0E+3 -00.0 -> 0.0
|
|
|
|
dqadd7719 add 0E+3 -00. -> 0
|
|
|
|
dqadd7731 add 0E+3 -00.E+1 -> 0E+1
|
|
|
|
|
|
|
|
dqadd7720 add 00.00 0E+3 -> 0.00
|
|
|
|
dqadd7721 add 00.0 0E+3 -> 0.0
|
|
|
|
dqadd7722 add 00. 0E+3 -> 0
|
|
|
|
dqadd7723 add 00.E+1 0E+3 -> 0E+1
|
|
|
|
dqadd7724 add 00.E+2 0E+3 -> 0E+2
|
|
|
|
dqadd7725 add 00.E+3 0E+3 -> 0E+3
|
|
|
|
dqadd7726 add 00.E+4 0E+3 -> 0E+3
|
|
|
|
dqadd7727 add 00.E+5 0E+3 -> 0E+3
|
|
|
|
dqadd7728 add -00.00 0E+3 -> 0.00
|
|
|
|
dqadd7729 add -00.0 0E+3 -> 0.0
|
|
|
|
dqadd7730 add -00. 0E+3 -> 0
|
|
|
|
|
|
|
|
dqadd7732 add 0 0 -> 0
|
|
|
|
dqadd7733 add 0 -0 -> 0
|
|
|
|
dqadd7734 add -0 0 -> 0
|
2009-10-27 14:02:46 -03:00
|
|
|
dqadd7735 add -0 -0 -> -0 -- IEEE 754 special case
|
2007-09-13 15:13:15 -03:00
|
|
|
|
|
|
|
dqadd7736 add 1 -1 -> 0
|
|
|
|
dqadd7737 add -1 -1 -> -2
|
|
|
|
dqadd7738 add 1 1 -> 2
|
|
|
|
dqadd7739 add -1 1 -> 0
|
|
|
|
|
|
|
|
dqadd7741 add 0 -1 -> -1
|
|
|
|
dqadd7742 add -0 -1 -> -1
|
|
|
|
dqadd7743 add 0 1 -> 1
|
|
|
|
dqadd7744 add -0 1 -> 1
|
|
|
|
dqadd7745 add -1 0 -> -1
|
|
|
|
dqadd7746 add -1 -0 -> -1
|
|
|
|
dqadd7747 add 1 0 -> 1
|
|
|
|
dqadd7748 add 1 -0 -> 1
|
|
|
|
|
|
|
|
dqadd7751 add 0.0 -1 -> -1.0
|
|
|
|
dqadd7752 add -0.0 -1 -> -1.0
|
|
|
|
dqadd7753 add 0.0 1 -> 1.0
|
|
|
|
dqadd7754 add -0.0 1 -> 1.0
|
|
|
|
dqadd7755 add -1.0 0 -> -1.0
|
|
|
|
dqadd7756 add -1.0 -0 -> -1.0
|
|
|
|
dqadd7757 add 1.0 0 -> 1.0
|
|
|
|
dqadd7758 add 1.0 -0 -> 1.0
|
|
|
|
|
|
|
|
dqadd7761 add 0 -1.0 -> -1.0
|
|
|
|
dqadd7762 add -0 -1.0 -> -1.0
|
|
|
|
dqadd7763 add 0 1.0 -> 1.0
|
|
|
|
dqadd7764 add -0 1.0 -> 1.0
|
|
|
|
dqadd7765 add -1 0.0 -> -1.0
|
|
|
|
dqadd7766 add -1 -0.0 -> -1.0
|
|
|
|
dqadd7767 add 1 0.0 -> 1.0
|
|
|
|
dqadd7768 add 1 -0.0 -> 1.0
|
|
|
|
|
|
|
|
dqadd7771 add 0.0 -1.0 -> -1.0
|
|
|
|
dqadd7772 add -0.0 -1.0 -> -1.0
|
|
|
|
dqadd7773 add 0.0 1.0 -> 1.0
|
|
|
|
dqadd7774 add -0.0 1.0 -> 1.0
|
|
|
|
dqadd7775 add -1.0 0.0 -> -1.0
|
|
|
|
dqadd7776 add -1.0 -0.0 -> -1.0
|
|
|
|
dqadd7777 add 1.0 0.0 -> 1.0
|
|
|
|
dqadd7778 add 1.0 -0.0 -> 1.0
|
|
|
|
|
|
|
|
-- Specials
|
|
|
|
dqadd7780 add -Inf -Inf -> -Infinity
|
|
|
|
dqadd7781 add -Inf -1000 -> -Infinity
|
|
|
|
dqadd7782 add -Inf -1 -> -Infinity
|
|
|
|
dqadd7783 add -Inf -0 -> -Infinity
|
|
|
|
dqadd7784 add -Inf 0 -> -Infinity
|
|
|
|
dqadd7785 add -Inf 1 -> -Infinity
|
|
|
|
dqadd7786 add -Inf 1000 -> -Infinity
|
|
|
|
dqadd7787 add -1000 -Inf -> -Infinity
|
|
|
|
dqadd7788 add -Inf -Inf -> -Infinity
|
|
|
|
dqadd7789 add -1 -Inf -> -Infinity
|
|
|
|
dqadd7790 add -0 -Inf -> -Infinity
|
|
|
|
dqadd7791 add 0 -Inf -> -Infinity
|
|
|
|
dqadd7792 add 1 -Inf -> -Infinity
|
|
|
|
dqadd7793 add 1000 -Inf -> -Infinity
|
|
|
|
dqadd7794 add Inf -Inf -> NaN Invalid_operation
|
|
|
|
|
|
|
|
dqadd7800 add Inf -Inf -> NaN Invalid_operation
|
|
|
|
dqadd7801 add Inf -1000 -> Infinity
|
|
|
|
dqadd7802 add Inf -1 -> Infinity
|
|
|
|
dqadd7803 add Inf -0 -> Infinity
|
|
|
|
dqadd7804 add Inf 0 -> Infinity
|
|
|
|
dqadd7805 add Inf 1 -> Infinity
|
|
|
|
dqadd7806 add Inf 1000 -> Infinity
|
|
|
|
dqadd7807 add Inf Inf -> Infinity
|
|
|
|
dqadd7808 add -1000 Inf -> Infinity
|
|
|
|
dqadd7809 add -Inf Inf -> NaN Invalid_operation
|
|
|
|
dqadd7810 add -1 Inf -> Infinity
|
|
|
|
dqadd7811 add -0 Inf -> Infinity
|
|
|
|
dqadd7812 add 0 Inf -> Infinity
|
|
|
|
dqadd7813 add 1 Inf -> Infinity
|
|
|
|
dqadd7814 add 1000 Inf -> Infinity
|
|
|
|
dqadd7815 add Inf Inf -> Infinity
|
|
|
|
|
|
|
|
dqadd7821 add NaN -Inf -> NaN
|
|
|
|
dqadd7822 add NaN -1000 -> NaN
|
|
|
|
dqadd7823 add NaN -1 -> NaN
|
|
|
|
dqadd7824 add NaN -0 -> NaN
|
|
|
|
dqadd7825 add NaN 0 -> NaN
|
|
|
|
dqadd7826 add NaN 1 -> NaN
|
|
|
|
dqadd7827 add NaN 1000 -> NaN
|
|
|
|
dqadd7828 add NaN Inf -> NaN
|
|
|
|
dqadd7829 add NaN NaN -> NaN
|
|
|
|
dqadd7830 add -Inf NaN -> NaN
|
|
|
|
dqadd7831 add -1000 NaN -> NaN
|
|
|
|
dqadd7832 add -1 NaN -> NaN
|
|
|
|
dqadd7833 add -0 NaN -> NaN
|
|
|
|
dqadd7834 add 0 NaN -> NaN
|
|
|
|
dqadd7835 add 1 NaN -> NaN
|
|
|
|
dqadd7836 add 1000 NaN -> NaN
|
|
|
|
dqadd7837 add Inf NaN -> NaN
|
|
|
|
|
|
|
|
dqadd7841 add sNaN -Inf -> NaN Invalid_operation
|
|
|
|
dqadd7842 add sNaN -1000 -> NaN Invalid_operation
|
|
|
|
dqadd7843 add sNaN -1 -> NaN Invalid_operation
|
|
|
|
dqadd7844 add sNaN -0 -> NaN Invalid_operation
|
|
|
|
dqadd7845 add sNaN 0 -> NaN Invalid_operation
|
|
|
|
dqadd7846 add sNaN 1 -> NaN Invalid_operation
|
|
|
|
dqadd7847 add sNaN 1000 -> NaN Invalid_operation
|
|
|
|
dqadd7848 add sNaN NaN -> NaN Invalid_operation
|
|
|
|
dqadd7849 add sNaN sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7850 add NaN sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7851 add -Inf sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7852 add -1000 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7853 add -1 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7854 add -0 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7855 add 0 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7856 add 1 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7857 add 1000 sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7858 add Inf sNaN -> NaN Invalid_operation
|
|
|
|
dqadd7859 add NaN sNaN -> NaN Invalid_operation
|
|
|
|
|
|
|
|
-- propagating NaNs
|
|
|
|
dqadd7861 add NaN1 -Inf -> NaN1
|
|
|
|
dqadd7862 add +NaN2 -1000 -> NaN2
|
|
|
|
dqadd7863 add NaN3 1000 -> NaN3
|
|
|
|
dqadd7864 add NaN4 Inf -> NaN4
|
|
|
|
dqadd7865 add NaN5 +NaN6 -> NaN5
|
|
|
|
dqadd7866 add -Inf NaN7 -> NaN7
|
|
|
|
dqadd7867 add -1000 NaN8 -> NaN8
|
|
|
|
dqadd7868 add 1000 NaN9 -> NaN9
|
|
|
|
dqadd7869 add Inf +NaN10 -> NaN10
|
|
|
|
dqadd7871 add sNaN11 -Inf -> NaN11 Invalid_operation
|
|
|
|
dqadd7872 add sNaN12 -1000 -> NaN12 Invalid_operation
|
|
|
|
dqadd7873 add sNaN13 1000 -> NaN13 Invalid_operation
|
|
|
|
dqadd7874 add sNaN14 NaN17 -> NaN14 Invalid_operation
|
|
|
|
dqadd7875 add sNaN15 sNaN18 -> NaN15 Invalid_operation
|
|
|
|
dqadd7876 add NaN16 sNaN19 -> NaN19 Invalid_operation
|
|
|
|
dqadd7877 add -Inf +sNaN20 -> NaN20 Invalid_operation
|
|
|
|
dqadd7878 add -1000 sNaN21 -> NaN21 Invalid_operation
|
|
|
|
dqadd7879 add 1000 sNaN22 -> NaN22 Invalid_operation
|
|
|
|
dqadd7880 add Inf sNaN23 -> NaN23 Invalid_operation
|
|
|
|
dqadd7881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation
|
|
|
|
dqadd7882 add -NaN26 NaN28 -> -NaN26
|
|
|
|
dqadd7883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation
|
|
|
|
dqadd7884 add 1000 -NaN30 -> -NaN30
|
|
|
|
dqadd7885 add 1000 -sNaN31 -> -NaN31 Invalid_operation
|
|
|
|
|
|
|
|
-- Here we explore near the boundary of rounding a subnormal to Nmin
|
|
|
|
dqadd7575 add 1E-6143 -1E-6176 -> 9.99999999999999999999999999999999E-6144 Subnormal
|
|
|
|
dqadd7576 add -1E-6143 +1E-6176 -> -9.99999999999999999999999999999999E-6144 Subnormal
|
|
|
|
|
|
|
|
-- check overflow edge case
|
|
|
|
-- 1234567890123456
|
|
|
|
dqadd7972 apply 9.999999999999999999999999999999999E+6144 -> 9.999999999999999999999999999999999E+6144
|
|
|
|
dqadd7973 add 9.999999999999999999999999999999999E+6144 1 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7974 add 9999999999999999999999999999999999E+6111 1 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7975 add 9999999999999999999999999999999999E+6111 1E+6111 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7976 add 9999999999999999999999999999999999E+6111 9E+6110 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7977 add 9999999999999999999999999999999999E+6111 8E+6110 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7978 add 9999999999999999999999999999999999E+6111 7E+6110 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7979 add 9999999999999999999999999999999999E+6111 6E+6110 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7980 add 9999999999999999999999999999999999E+6111 5E+6110 -> Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7981 add 9999999999999999999999999999999999E+6111 4E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7982 add 9999999999999999999999999999999999E+6111 3E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7983 add 9999999999999999999999999999999999E+6111 2E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7984 add 9999999999999999999999999999999999E+6111 1E+6110 -> 9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd7985 apply -9.999999999999999999999999999999999E+6144 -> -9.999999999999999999999999999999999E+6144
|
|
|
|
dqadd7986 add -9.999999999999999999999999999999999E+6144 -1 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7987 add -9999999999999999999999999999999999E+6111 -1 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7988 add -9999999999999999999999999999999999E+6111 -1E+6111 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7989 add -9999999999999999999999999999999999E+6111 -9E+6110 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7990 add -9999999999999999999999999999999999E+6111 -8E+6110 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7991 add -9999999999999999999999999999999999E+6111 -7E+6110 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7992 add -9999999999999999999999999999999999E+6111 -6E+6110 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7993 add -9999999999999999999999999999999999E+6111 -5E+6110 -> -Infinity Overflow Inexact Rounded
|
|
|
|
dqadd7994 add -9999999999999999999999999999999999E+6111 -4E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7995 add -9999999999999999999999999999999999E+6111 -3E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7996 add -9999999999999999999999999999999999E+6111 -2E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
dqadd7997 add -9999999999999999999999999999999999E+6111 -1E+6110 -> -9.999999999999999999999999999999999E+6144 Inexact Rounded
|
|
|
|
|
|
|
|
-- And for round down full and subnormal results
|
|
|
|
rounding: down
|
|
|
|
dqadd71100 add 1e+2 -1e-6143 -> 99.99999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71101 add 1e+1 -1e-6143 -> 9.999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71103 add +1 -1e-6143 -> 0.9999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71104 add 1e-1 -1e-6143 -> 0.09999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71105 add 1e-2 -1e-6143 -> 0.009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71106 add 1e-3 -1e-6143 -> 0.0009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71107 add 1e-4 -1e-6143 -> 0.00009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71108 add 1e-5 -1e-6143 -> 0.000009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71109 add 1e-6 -1e-6143 -> 9.999999999999999999999999999999999E-7 Rounded Inexact
|
|
|
|
|
|
|
|
rounding: ceiling
|
|
|
|
dqadd71110 add -1e+2 +1e-6143 -> -99.99999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71111 add -1e+1 +1e-6143 -> -9.999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71113 add -1 +1e-6143 -> -0.9999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71114 add -1e-1 +1e-6143 -> -0.09999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71115 add -1e-2 +1e-6143 -> -0.009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71116 add -1e-3 +1e-6143 -> -0.0009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71117 add -1e-4 +1e-6143 -> -0.00009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71118 add -1e-5 +1e-6143 -> -0.000009999999999999999999999999999999999 Rounded Inexact
|
|
|
|
dqadd71119 add -1e-6 +1e-6143 -> -9.999999999999999999999999999999999E-7 Rounded Inexact
|
|
|
|
|
|
|
|
-- tests based on Gunnar Degnbol's edge case
|
|
|
|
rounding: half_even
|
|
|
|
|
|
|
|
dqadd71300 add 1E34 -0.5 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71310 add 1E34 -0.51 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71311 add 1E34 -0.501 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71312 add 1E34 -0.5001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71313 add 1E34 -0.50001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71314 add 1E34 -0.500001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71315 add 1E34 -0.5000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71316 add 1E34 -0.50000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71317 add 1E34 -0.500000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71318 add 1E34 -0.5000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71319 add 1E34 -0.50000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71320 add 1E34 -0.500000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71321 add 1E34 -0.5000000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71322 add 1E34 -0.50000000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71323 add 1E34 -0.500000000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71324 add 1E34 -0.5000000000000001 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71325 add 1E34 -0.5000000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71326 add 1E34 -0.500000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71327 add 1E34 -0.50000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71328 add 1E34 -0.5000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71329 add 1E34 -0.500000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71330 add 1E34 -0.50000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71331 add 1E34 -0.5000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71332 add 1E34 -0.500000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71333 add 1E34 -0.50000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71334 add 1E34 -0.5000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71335 add 1E34 -0.500000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71336 add 1E34 -0.50000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71337 add 1E34 -0.5000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71338 add 1E34 -0.500 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71339 add 1E34 -0.50 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd71340 add 1E34 -5000000.000010001 -> 9999999999999999999999999995000000 Inexact Rounded
|
|
|
|
dqadd71341 add 1E34 -5000000.000000001 -> 9999999999999999999999999995000000 Inexact Rounded
|
|
|
|
|
|
|
|
dqadd71349 add 9999999999999999999999999999999999 0.4 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71350 add 9999999999999999999999999999999999 0.49 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71351 add 9999999999999999999999999999999999 0.499 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71352 add 9999999999999999999999999999999999 0.4999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71353 add 9999999999999999999999999999999999 0.49999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71354 add 9999999999999999999999999999999999 0.499999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71355 add 9999999999999999999999999999999999 0.4999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71356 add 9999999999999999999999999999999999 0.49999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71357 add 9999999999999999999999999999999999 0.499999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71358 add 9999999999999999999999999999999999 0.4999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71359 add 9999999999999999999999999999999999 0.49999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71360 add 9999999999999999999999999999999999 0.499999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71361 add 9999999999999999999999999999999999 0.4999999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71362 add 9999999999999999999999999999999999 0.49999999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71363 add 9999999999999999999999999999999999 0.499999999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71364 add 9999999999999999999999999999999999 0.4999999999999999 -> 9999999999999999999999999999999999 Inexact Rounded
|
|
|
|
dqadd71365 add 9999999999999999999999999999999999 0.5000000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71367 add 9999999999999999999999999999999999 0.500000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71368 add 9999999999999999999999999999999999 0.50000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71369 add 9999999999999999999999999999999999 0.5000000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71370 add 9999999999999999999999999999999999 0.500000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71371 add 9999999999999999999999999999999999 0.50000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71372 add 9999999999999999999999999999999999 0.5000000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71373 add 9999999999999999999999999999999999 0.500000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71374 add 9999999999999999999999999999999999 0.50000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71375 add 9999999999999999999999999999999999 0.5000000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71376 add 9999999999999999999999999999999999 0.500000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71377 add 9999999999999999999999999999999999 0.50000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71378 add 9999999999999999999999999999999999 0.5000 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71379 add 9999999999999999999999999999999999 0.500 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71380 add 9999999999999999999999999999999999 0.50 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71381 add 9999999999999999999999999999999999 0.5 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71382 add 9999999999999999999999999999999999 0.5000000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71383 add 9999999999999999999999999999999999 0.500000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71384 add 9999999999999999999999999999999999 0.50000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71385 add 9999999999999999999999999999999999 0.5000000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71386 add 9999999999999999999999999999999999 0.500000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71387 add 9999999999999999999999999999999999 0.50000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71388 add 9999999999999999999999999999999999 0.5000000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71389 add 9999999999999999999999999999999999 0.500000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71390 add 9999999999999999999999999999999999 0.50000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71391 add 9999999999999999999999999999999999 0.5000001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71392 add 9999999999999999999999999999999999 0.500001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71393 add 9999999999999999999999999999999999 0.50001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71394 add 9999999999999999999999999999999999 0.5001 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71395 add 9999999999999999999999999999999999 0.501 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
dqadd71396 add 9999999999999999999999999999999999 0.51 -> 1.000000000000000000000000000000000E+34 Inexact Rounded
|
|
|
|
|
|
|
|
-- More GD edge cases, where difference between the unadjusted
|
|
|
|
-- exponents is larger than the maximum precision and one side is 0
|
|
|
|
dqadd71420 add 0 1.123456789987654321123456789012345 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71421 add 0 1.123456789987654321123456789012345E-1 -> 0.1123456789987654321123456789012345
|
|
|
|
dqadd71422 add 0 1.123456789987654321123456789012345E-2 -> 0.01123456789987654321123456789012345
|
|
|
|
dqadd71423 add 0 1.123456789987654321123456789012345E-3 -> 0.001123456789987654321123456789012345
|
|
|
|
dqadd71424 add 0 1.123456789987654321123456789012345E-4 -> 0.0001123456789987654321123456789012345
|
|
|
|
dqadd71425 add 0 1.123456789987654321123456789012345E-5 -> 0.00001123456789987654321123456789012345
|
|
|
|
dqadd71426 add 0 1.123456789987654321123456789012345E-6 -> 0.000001123456789987654321123456789012345
|
|
|
|
dqadd71427 add 0 1.123456789987654321123456789012345E-7 -> 1.123456789987654321123456789012345E-7
|
|
|
|
dqadd71428 add 0 1.123456789987654321123456789012345E-8 -> 1.123456789987654321123456789012345E-8
|
|
|
|
dqadd71429 add 0 1.123456789987654321123456789012345E-9 -> 1.123456789987654321123456789012345E-9
|
|
|
|
dqadd71430 add 0 1.123456789987654321123456789012345E-10 -> 1.123456789987654321123456789012345E-10
|
|
|
|
dqadd71431 add 0 1.123456789987654321123456789012345E-11 -> 1.123456789987654321123456789012345E-11
|
|
|
|
dqadd71432 add 0 1.123456789987654321123456789012345E-12 -> 1.123456789987654321123456789012345E-12
|
|
|
|
dqadd71433 add 0 1.123456789987654321123456789012345E-13 -> 1.123456789987654321123456789012345E-13
|
|
|
|
dqadd71434 add 0 1.123456789987654321123456789012345E-14 -> 1.123456789987654321123456789012345E-14
|
|
|
|
dqadd71435 add 0 1.123456789987654321123456789012345E-15 -> 1.123456789987654321123456789012345E-15
|
|
|
|
dqadd71436 add 0 1.123456789987654321123456789012345E-16 -> 1.123456789987654321123456789012345E-16
|
|
|
|
dqadd71437 add 0 1.123456789987654321123456789012345E-17 -> 1.123456789987654321123456789012345E-17
|
|
|
|
dqadd71438 add 0 1.123456789987654321123456789012345E-18 -> 1.123456789987654321123456789012345E-18
|
|
|
|
dqadd71439 add 0 1.123456789987654321123456789012345E-19 -> 1.123456789987654321123456789012345E-19
|
|
|
|
dqadd71440 add 0 1.123456789987654321123456789012345E-20 -> 1.123456789987654321123456789012345E-20
|
|
|
|
dqadd71441 add 0 1.123456789987654321123456789012345E-21 -> 1.123456789987654321123456789012345E-21
|
|
|
|
dqadd71442 add 0 1.123456789987654321123456789012345E-22 -> 1.123456789987654321123456789012345E-22
|
|
|
|
dqadd71443 add 0 1.123456789987654321123456789012345E-23 -> 1.123456789987654321123456789012345E-23
|
|
|
|
dqadd71444 add 0 1.123456789987654321123456789012345E-24 -> 1.123456789987654321123456789012345E-24
|
|
|
|
dqadd71445 add 0 1.123456789987654321123456789012345E-25 -> 1.123456789987654321123456789012345E-25
|
|
|
|
dqadd71446 add 0 1.123456789987654321123456789012345E-26 -> 1.123456789987654321123456789012345E-26
|
|
|
|
dqadd71447 add 0 1.123456789987654321123456789012345E-27 -> 1.123456789987654321123456789012345E-27
|
|
|
|
dqadd71448 add 0 1.123456789987654321123456789012345E-28 -> 1.123456789987654321123456789012345E-28
|
|
|
|
dqadd71449 add 0 1.123456789987654321123456789012345E-29 -> 1.123456789987654321123456789012345E-29
|
|
|
|
dqadd71450 add 0 1.123456789987654321123456789012345E-30 -> 1.123456789987654321123456789012345E-30
|
|
|
|
dqadd71451 add 0 1.123456789987654321123456789012345E-31 -> 1.123456789987654321123456789012345E-31
|
|
|
|
dqadd71452 add 0 1.123456789987654321123456789012345E-32 -> 1.123456789987654321123456789012345E-32
|
|
|
|
dqadd71453 add 0 1.123456789987654321123456789012345E-33 -> 1.123456789987654321123456789012345E-33
|
|
|
|
dqadd71454 add 0 1.123456789987654321123456789012345E-34 -> 1.123456789987654321123456789012345E-34
|
|
|
|
dqadd71455 add 0 1.123456789987654321123456789012345E-35 -> 1.123456789987654321123456789012345E-35
|
|
|
|
dqadd71456 add 0 1.123456789987654321123456789012345E-36 -> 1.123456789987654321123456789012345E-36
|
|
|
|
|
|
|
|
-- same, reversed 0
|
|
|
|
dqadd71460 add 1.123456789987654321123456789012345 0 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71461 add 1.123456789987654321123456789012345E-1 0 -> 0.1123456789987654321123456789012345
|
|
|
|
dqadd71462 add 1.123456789987654321123456789012345E-2 0 -> 0.01123456789987654321123456789012345
|
|
|
|
dqadd71463 add 1.123456789987654321123456789012345E-3 0 -> 0.001123456789987654321123456789012345
|
|
|
|
dqadd71464 add 1.123456789987654321123456789012345E-4 0 -> 0.0001123456789987654321123456789012345
|
|
|
|
dqadd71465 add 1.123456789987654321123456789012345E-5 0 -> 0.00001123456789987654321123456789012345
|
|
|
|
dqadd71466 add 1.123456789987654321123456789012345E-6 0 -> 0.000001123456789987654321123456789012345
|
|
|
|
dqadd71467 add 1.123456789987654321123456789012345E-7 0 -> 1.123456789987654321123456789012345E-7
|
|
|
|
dqadd71468 add 1.123456789987654321123456789012345E-8 0 -> 1.123456789987654321123456789012345E-8
|
|
|
|
dqadd71469 add 1.123456789987654321123456789012345E-9 0 -> 1.123456789987654321123456789012345E-9
|
|
|
|
dqadd71470 add 1.123456789987654321123456789012345E-10 0 -> 1.123456789987654321123456789012345E-10
|
|
|
|
dqadd71471 add 1.123456789987654321123456789012345E-11 0 -> 1.123456789987654321123456789012345E-11
|
|
|
|
dqadd71472 add 1.123456789987654321123456789012345E-12 0 -> 1.123456789987654321123456789012345E-12
|
|
|
|
dqadd71473 add 1.123456789987654321123456789012345E-13 0 -> 1.123456789987654321123456789012345E-13
|
|
|
|
dqadd71474 add 1.123456789987654321123456789012345E-14 0 -> 1.123456789987654321123456789012345E-14
|
|
|
|
dqadd71475 add 1.123456789987654321123456789012345E-15 0 -> 1.123456789987654321123456789012345E-15
|
|
|
|
dqadd71476 add 1.123456789987654321123456789012345E-16 0 -> 1.123456789987654321123456789012345E-16
|
|
|
|
dqadd71477 add 1.123456789987654321123456789012345E-17 0 -> 1.123456789987654321123456789012345E-17
|
|
|
|
dqadd71478 add 1.123456789987654321123456789012345E-18 0 -> 1.123456789987654321123456789012345E-18
|
|
|
|
dqadd71479 add 1.123456789987654321123456789012345E-19 0 -> 1.123456789987654321123456789012345E-19
|
|
|
|
dqadd71480 add 1.123456789987654321123456789012345E-20 0 -> 1.123456789987654321123456789012345E-20
|
|
|
|
dqadd71481 add 1.123456789987654321123456789012345E-21 0 -> 1.123456789987654321123456789012345E-21
|
|
|
|
dqadd71482 add 1.123456789987654321123456789012345E-22 0 -> 1.123456789987654321123456789012345E-22
|
|
|
|
dqadd71483 add 1.123456789987654321123456789012345E-23 0 -> 1.123456789987654321123456789012345E-23
|
|
|
|
dqadd71484 add 1.123456789987654321123456789012345E-24 0 -> 1.123456789987654321123456789012345E-24
|
|
|
|
dqadd71485 add 1.123456789987654321123456789012345E-25 0 -> 1.123456789987654321123456789012345E-25
|
|
|
|
dqadd71486 add 1.123456789987654321123456789012345E-26 0 -> 1.123456789987654321123456789012345E-26
|
|
|
|
dqadd71487 add 1.123456789987654321123456789012345E-27 0 -> 1.123456789987654321123456789012345E-27
|
|
|
|
dqadd71488 add 1.123456789987654321123456789012345E-28 0 -> 1.123456789987654321123456789012345E-28
|
|
|
|
dqadd71489 add 1.123456789987654321123456789012345E-29 0 -> 1.123456789987654321123456789012345E-29
|
|
|
|
dqadd71490 add 1.123456789987654321123456789012345E-30 0 -> 1.123456789987654321123456789012345E-30
|
|
|
|
dqadd71491 add 1.123456789987654321123456789012345E-31 0 -> 1.123456789987654321123456789012345E-31
|
|
|
|
dqadd71492 add 1.123456789987654321123456789012345E-32 0 -> 1.123456789987654321123456789012345E-32
|
|
|
|
dqadd71493 add 1.123456789987654321123456789012345E-33 0 -> 1.123456789987654321123456789012345E-33
|
|
|
|
dqadd71494 add 1.123456789987654321123456789012345E-34 0 -> 1.123456789987654321123456789012345E-34
|
|
|
|
dqadd71495 add 1.123456789987654321123456789012345E-35 0 -> 1.123456789987654321123456789012345E-35
|
|
|
|
dqadd71496 add 1.123456789987654321123456789012345E-36 0 -> 1.123456789987654321123456789012345E-36
|
|
|
|
|
|
|
|
-- same, Es on the 0
|
|
|
|
dqadd71500 add 1.123456789987654321123456789012345 0E-0 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71501 add 1.123456789987654321123456789012345 0E-1 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71502 add 1.123456789987654321123456789012345 0E-2 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71503 add 1.123456789987654321123456789012345 0E-3 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71504 add 1.123456789987654321123456789012345 0E-4 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71505 add 1.123456789987654321123456789012345 0E-5 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71506 add 1.123456789987654321123456789012345 0E-6 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71507 add 1.123456789987654321123456789012345 0E-7 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71508 add 1.123456789987654321123456789012345 0E-8 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71509 add 1.123456789987654321123456789012345 0E-9 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71510 add 1.123456789987654321123456789012345 0E-10 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71511 add 1.123456789987654321123456789012345 0E-11 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71512 add 1.123456789987654321123456789012345 0E-12 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71513 add 1.123456789987654321123456789012345 0E-13 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71514 add 1.123456789987654321123456789012345 0E-14 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71515 add 1.123456789987654321123456789012345 0E-15 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71516 add 1.123456789987654321123456789012345 0E-16 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71517 add 1.123456789987654321123456789012345 0E-17 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71518 add 1.123456789987654321123456789012345 0E-18 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71519 add 1.123456789987654321123456789012345 0E-19 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71520 add 1.123456789987654321123456789012345 0E-20 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71521 add 1.123456789987654321123456789012345 0E-21 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71522 add 1.123456789987654321123456789012345 0E-22 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71523 add 1.123456789987654321123456789012345 0E-23 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71524 add 1.123456789987654321123456789012345 0E-24 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71525 add 1.123456789987654321123456789012345 0E-25 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71526 add 1.123456789987654321123456789012345 0E-26 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71527 add 1.123456789987654321123456789012345 0E-27 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71528 add 1.123456789987654321123456789012345 0E-28 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71529 add 1.123456789987654321123456789012345 0E-29 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71530 add 1.123456789987654321123456789012345 0E-30 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71531 add 1.123456789987654321123456789012345 0E-31 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71532 add 1.123456789987654321123456789012345 0E-32 -> 1.123456789987654321123456789012345
|
|
|
|
dqadd71533 add 1.123456789987654321123456789012345 0E-33 -> 1.123456789987654321123456789012345
|
|
|
|
-- next four flag Rounded because the 0 extends the result
|
|
|
|
dqadd71534 add 1.123456789987654321123456789012345 0E-34 -> 1.123456789987654321123456789012345 Rounded
|
|
|
|
dqadd71535 add 1.123456789987654321123456789012345 0E-35 -> 1.123456789987654321123456789012345 Rounded
|
|
|
|
dqadd71536 add 1.123456789987654321123456789012345 0E-36 -> 1.123456789987654321123456789012345 Rounded
|
|
|
|
dqadd71537 add 1.123456789987654321123456789012345 0E-37 -> 1.123456789987654321123456789012345 Rounded
|
|
|
|
|
|
|
|
-- sum of two opposite-sign operands is exactly 0 and floor => -0
|
|
|
|
rounding: half_up
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71600 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71601 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71602 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71603 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71611 add -11 11 -> 0
|
|
|
|
dqadd71612 add 11 -11 -> 0
|
|
|
|
|
|
|
|
rounding: half_down
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71620 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71621 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71622 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71623 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71631 add -11 11 -> 0
|
|
|
|
dqadd71632 add 11 -11 -> 0
|
|
|
|
|
|
|
|
rounding: half_even
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71640 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71641 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71642 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71643 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71651 add -11 11 -> 0
|
|
|
|
dqadd71652 add 11 -11 -> 0
|
|
|
|
|
|
|
|
rounding: up
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71660 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71661 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71662 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71663 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71671 add -11 11 -> 0
|
|
|
|
dqadd71672 add 11 -11 -> 0
|
|
|
|
|
|
|
|
rounding: down
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71680 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71681 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71682 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71683 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71691 add -11 11 -> 0
|
|
|
|
dqadd71692 add 11 -11 -> 0
|
|
|
|
|
|
|
|
rounding: ceiling
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71700 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71701 add -0 0E-19 -> 0E-19
|
|
|
|
dqadd71702 add 0 -0E-19 -> 0E-19
|
|
|
|
dqadd71703 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71711 add -11 11 -> 0
|
|
|
|
dqadd71712 add 11 -11 -> 0
|
|
|
|
|
|
|
|
-- and the extra-special ugly case; unusual minuses marked by -- *
|
|
|
|
rounding: floor
|
|
|
|
-- exact zeros from zeros
|
|
|
|
dqadd71720 add 0 0E-19 -> 0E-19
|
|
|
|
dqadd71721 add -0 0E-19 -> -0E-19 -- *
|
|
|
|
dqadd71722 add 0 -0E-19 -> -0E-19 -- *
|
|
|
|
dqadd71723 add -0 -0E-19 -> -0E-19
|
|
|
|
-- exact zeros from non-zeros
|
|
|
|
dqadd71731 add -11 11 -> -0 -- *
|
|
|
|
dqadd71732 add 11 -11 -> -0 -- *
|
|
|
|
|
|
|
|
-- Examples from SQL proposal (Krishna Kulkarni)
|
|
|
|
dqadd71741 add 130E-2 120E-2 -> 2.50
|
|
|
|
dqadd71742 add 130E-2 12E-1 -> 2.50
|
|
|
|
dqadd71743 add 130E-2 1E0 -> 2.30
|
|
|
|
dqadd71744 add 1E2 1E4 -> 1.01E+4
|
|
|
|
dqadd71745 add 130E-2 -120E-2 -> 0.10
|
|
|
|
dqadd71746 add 130E-2 -12E-1 -> 0.10
|
|
|
|
dqadd71747 add 130E-2 -1E0 -> 0.30
|
|
|
|
dqadd71748 add 1E2 -1E4 -> -9.9E+3
|
|
|
|
|
|
|
|
-- Gappy coefficients; check residue handling even with full coefficient gap
|
|
|
|
rounding: half_even
|
|
|
|
|
|
|
|
dqadd75001 add 1239876543211234567894567890123456 1 -> 1239876543211234567894567890123457
|
|
|
|
dqadd75002 add 1239876543211234567894567890123456 0.6 -> 1239876543211234567894567890123457 Inexact Rounded
|
|
|
|
dqadd75003 add 1239876543211234567894567890123456 0.06 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75004 add 1239876543211234567894567890123456 6E-3 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75005 add 1239876543211234567894567890123456 6E-4 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75006 add 1239876543211234567894567890123456 6E-5 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75007 add 1239876543211234567894567890123456 6E-6 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75008 add 1239876543211234567894567890123456 6E-7 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75009 add 1239876543211234567894567890123456 6E-8 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75010 add 1239876543211234567894567890123456 6E-9 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75011 add 1239876543211234567894567890123456 6E-10 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75012 add 1239876543211234567894567890123456 6E-11 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75013 add 1239876543211234567894567890123456 6E-12 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75014 add 1239876543211234567894567890123456 6E-13 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75015 add 1239876543211234567894567890123456 6E-14 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75016 add 1239876543211234567894567890123456 6E-15 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75017 add 1239876543211234567894567890123456 6E-16 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75018 add 1239876543211234567894567890123456 6E-17 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75019 add 1239876543211234567894567890123456 6E-18 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75020 add 1239876543211234567894567890123456 6E-19 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
dqadd75021 add 1239876543211234567894567890123456 6E-20 -> 1239876543211234567894567890123456 Inexact Rounded
|
|
|
|
|
|
|
|
-- widening second argument at gap
|
|
|
|
dqadd75030 add 12398765432112345678945678 1 -> 12398765432112345678945679
|
|
|
|
dqadd75031 add 12398765432112345678945678 0.1 -> 12398765432112345678945678.1
|
|
|
|
dqadd75032 add 12398765432112345678945678 0.12 -> 12398765432112345678945678.12
|
|
|
|
dqadd75033 add 12398765432112345678945678 0.123 -> 12398765432112345678945678.123
|
|
|
|
dqadd75034 add 12398765432112345678945678 0.1234 -> 12398765432112345678945678.1234
|
|
|
|
dqadd75035 add 12398765432112345678945678 0.12345 -> 12398765432112345678945678.12345
|
|
|
|
dqadd75036 add 12398765432112345678945678 0.123456 -> 12398765432112345678945678.123456
|
|
|
|
dqadd75037 add 12398765432112345678945678 0.1234567 -> 12398765432112345678945678.1234567
|
|
|
|
dqadd75038 add 12398765432112345678945678 0.12345678 -> 12398765432112345678945678.12345678
|
|
|
|
dqadd75039 add 12398765432112345678945678 0.123456789 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75040 add 12398765432112345678945678 0.123456785 -> 12398765432112345678945678.12345678 Inexact Rounded
|
|
|
|
dqadd75041 add 12398765432112345678945678 0.1234567850 -> 12398765432112345678945678.12345678 Inexact Rounded
|
|
|
|
dqadd75042 add 12398765432112345678945678 0.1234567851 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75043 add 12398765432112345678945678 0.12345678501 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75044 add 12398765432112345678945678 0.123456785001 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75045 add 12398765432112345678945678 0.1234567850001 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75046 add 12398765432112345678945678 0.12345678500001 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75047 add 12398765432112345678945678 0.123456785000001 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75048 add 12398765432112345678945678 0.1234567850000001 -> 12398765432112345678945678.12345679 Inexact Rounded
|
|
|
|
dqadd75049 add 12398765432112345678945678 0.1234567850000000 -> 12398765432112345678945678.12345678 Inexact Rounded
|
|
|
|
-- 90123456
|
|
|
|
rounding: half_even
|
|
|
|
dqadd75050 add 12398765432112345678945678 0.0234567750000000 -> 12398765432112345678945678.02345678 Inexact Rounded
|
|
|
|
dqadd75051 add 12398765432112345678945678 0.0034567750000000 -> 12398765432112345678945678.00345678 Inexact Rounded
|
|
|
|
dqadd75052 add 12398765432112345678945678 0.0004567750000000 -> 12398765432112345678945678.00045678 Inexact Rounded
|
|
|
|
dqadd75053 add 12398765432112345678945678 0.0000567750000000 -> 12398765432112345678945678.00005678 Inexact Rounded
|
|
|
|
dqadd75054 add 12398765432112345678945678 0.0000067750000000 -> 12398765432112345678945678.00000678 Inexact Rounded
|
|
|
|
dqadd75055 add 12398765432112345678945678 0.0000007750000000 -> 12398765432112345678945678.00000078 Inexact Rounded
|
|
|
|
dqadd75056 add 12398765432112345678945678 0.0000000750000000 -> 12398765432112345678945678.00000008 Inexact Rounded
|
|
|
|
dqadd75057 add 12398765432112345678945678 0.0000000050000000 -> 12398765432112345678945678.00000000 Inexact Rounded
|
|
|
|
dqadd75060 add 12398765432112345678945678 0.0234567750000001 -> 12398765432112345678945678.02345678 Inexact Rounded
|
|
|
|
dqadd75061 add 12398765432112345678945678 0.0034567750000001 -> 12398765432112345678945678.00345678 Inexact Rounded
|
|
|
|
dqadd75062 add 12398765432112345678945678 0.0004567750000001 -> 12398765432112345678945678.00045678 Inexact Rounded
|
|
|
|
dqadd75063 add 12398765432112345678945678 0.0000567750000001 -> 12398765432112345678945678.00005678 Inexact Rounded
|
|
|
|
dqadd75064 add 12398765432112345678945678 0.0000067750000001 -> 12398765432112345678945678.00000678 Inexact Rounded
|
|
|
|
dqadd75065 add 12398765432112345678945678 0.0000007750000001 -> 12398765432112345678945678.00000078 Inexact Rounded
|
|
|
|
dqadd75066 add 12398765432112345678945678 0.0000000750000001 -> 12398765432112345678945678.00000008 Inexact Rounded
|
|
|
|
dqadd75067 add 12398765432112345678945678 0.0000000050000001 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
-- far-out residues (full coefficient gap is 16+15 digits)
|
|
|
|
rounding: up
|
|
|
|
dqadd75070 add 12398765432112345678945678 1E-8 -> 12398765432112345678945678.00000001
|
|
|
|
dqadd75071 add 12398765432112345678945678 1E-9 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75072 add 12398765432112345678945678 1E-10 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75073 add 12398765432112345678945678 1E-11 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75074 add 12398765432112345678945678 1E-12 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75075 add 12398765432112345678945678 1E-13 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75076 add 12398765432112345678945678 1E-14 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75077 add 12398765432112345678945678 1E-15 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75078 add 12398765432112345678945678 1E-16 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75079 add 12398765432112345678945678 1E-17 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75080 add 12398765432112345678945678 1E-18 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75081 add 12398765432112345678945678 1E-19 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75082 add 12398765432112345678945678 1E-20 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75083 add 12398765432112345678945678 1E-25 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75084 add 12398765432112345678945678 1E-30 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75085 add 12398765432112345678945678 1E-31 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75086 add 12398765432112345678945678 1E-32 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75087 add 12398765432112345678945678 1E-33 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75088 add 12398765432112345678945678 1E-34 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
dqadd75089 add 12398765432112345678945678 1E-35 -> 12398765432112345678945678.00000001 Inexact Rounded
|
|
|
|
|
|
|
|
-- Null tests
|
|
|
|
dqadd9990 add 10 # -> NaN Invalid_operation
|
|
|
|
dqadd9991 add # 10 -> NaN Invalid_operation
|