2007-09-13 15:13:15 -03:00
|
|
|
------------------------------------------------------------------------
|
|
|
|
|
-- nextminus.decTest -- decimal next that is less [754r nextdown] --
|
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 --
|
|
|
|
|
------------------------------------------------------------------------
|
2008-07-27 03:39:07 -03:00
|
|
|
version: 2.58
|
2007-09-13 15:13:15 -03:00
|
|
|
|
|
|
|
|
extended: 1
|
|
|
|
|
precision: 9
|
|
|
|
|
rounding: half_up
|
|
|
|
|
maxExponent: 384
|
|
|
|
|
minexponent: -383
|
|
|
|
|
|
|
|
|
|
nextm001 nextminus 0.999999995 -> 0.999999994
|
|
|
|
|
nextm002 nextminus 0.999999996 -> 0.999999995
|
|
|
|
|
nextm003 nextminus 0.999999997 -> 0.999999996
|
|
|
|
|
nextm004 nextminus 0.999999998 -> 0.999999997
|
|
|
|
|
nextm005 nextminus 0.999999999 -> 0.999999998
|
|
|
|
|
nextm006 nextminus 1.00000000 -> 0.999999999
|
|
|
|
|
nextm007 nextminus 1.0 -> 0.999999999
|
|
|
|
|
nextm008 nextminus 1 -> 0.999999999
|
|
|
|
|
nextm009 nextminus 1.00000001 -> 1.00000000
|
|
|
|
|
nextm010 nextminus 1.00000002 -> 1.00000001
|
|
|
|
|
nextm011 nextminus 1.00000003 -> 1.00000002
|
|
|
|
|
nextm012 nextminus 1.00000004 -> 1.00000003
|
|
|
|
|
nextm013 nextminus 1.00000005 -> 1.00000004
|
|
|
|
|
nextm014 nextminus 1.00000006 -> 1.00000005
|
|
|
|
|
nextm015 nextminus 1.00000007 -> 1.00000006
|
|
|
|
|
nextm016 nextminus 1.00000008 -> 1.00000007
|
|
|
|
|
nextm017 nextminus 1.00000009 -> 1.00000008
|
|
|
|
|
nextm018 nextminus 1.00000010 -> 1.00000009
|
|
|
|
|
nextm019 nextminus 1.00000011 -> 1.00000010
|
|
|
|
|
nextm020 nextminus 1.00000012 -> 1.00000011
|
|
|
|
|
|
|
|
|
|
nextm021 nextminus -0.999999995 -> -0.999999996
|
|
|
|
|
nextm022 nextminus -0.999999996 -> -0.999999997
|
|
|
|
|
nextm023 nextminus -0.999999997 -> -0.999999998
|
|
|
|
|
nextm024 nextminus -0.999999998 -> -0.999999999
|
|
|
|
|
nextm025 nextminus -0.999999999 -> -1.00000000
|
|
|
|
|
nextm026 nextminus -1.00000000 -> -1.00000001
|
|
|
|
|
nextm027 nextminus -1.0 -> -1.00000001
|
|
|
|
|
nextm028 nextminus -1 -> -1.00000001
|
|
|
|
|
nextm029 nextminus -1.00000001 -> -1.00000002
|
|
|
|
|
nextm030 nextminus -1.00000002 -> -1.00000003
|
|
|
|
|
nextm031 nextminus -1.00000003 -> -1.00000004
|
|
|
|
|
nextm032 nextminus -1.00000004 -> -1.00000005
|
|
|
|
|
nextm033 nextminus -1.00000005 -> -1.00000006
|
|
|
|
|
nextm034 nextminus -1.00000006 -> -1.00000007
|
|
|
|
|
nextm035 nextminus -1.00000007 -> -1.00000008
|
|
|
|
|
nextm036 nextminus -1.00000008 -> -1.00000009
|
|
|
|
|
nextm037 nextminus -1.00000009 -> -1.00000010
|
|
|
|
|
nextm038 nextminus -1.00000010 -> -1.00000011
|
|
|
|
|
nextm039 nextminus -1.00000011 -> -1.00000012
|
|
|
|
|
|
|
|
|
|
-- input operand is >precision
|
|
|
|
|
nextm041 nextminus 1.00000010998 -> 1.00000010
|
|
|
|
|
nextm042 nextminus 1.00000010999 -> 1.00000010
|
|
|
|
|
nextm043 nextminus 1.00000011000 -> 1.00000010
|
|
|
|
|
nextm044 nextminus 1.00000011001 -> 1.00000011
|
|
|
|
|
nextm045 nextminus 1.00000011002 -> 1.00000011
|
|
|
|
|
nextm046 nextminus 1.00000011002 -> 1.00000011
|
|
|
|
|
nextm047 nextminus 1.00000011052 -> 1.00000011
|
|
|
|
|
nextm048 nextminus 1.00000011552 -> 1.00000011
|
|
|
|
|
nextm049 nextminus -1.00000010998 -> -1.00000011
|
|
|
|
|
nextm050 nextminus -1.00000010999 -> -1.00000011
|
|
|
|
|
nextm051 nextminus -1.00000011000 -> -1.00000012
|
|
|
|
|
nextm052 nextminus -1.00000011001 -> -1.00000012
|
|
|
|
|
nextm053 nextminus -1.00000011002 -> -1.00000012
|
|
|
|
|
nextm054 nextminus -1.00000011002 -> -1.00000012
|
|
|
|
|
nextm055 nextminus -1.00000011052 -> -1.00000012
|
|
|
|
|
nextm056 nextminus -1.00000011552 -> -1.00000012
|
|
|
|
|
-- ultra-tiny inputs
|
|
|
|
|
nextm060 nextminus 1E-99999 -> 0E-391
|
|
|
|
|
nextm061 nextminus 1E-999999999 -> 0E-391
|
|
|
|
|
nextm062 nextminus 1E-391 -> 0E-391
|
|
|
|
|
nextm063 nextminus -1E-99999 -> -1E-391
|
|
|
|
|
nextm064 nextminus -1E-999999999 -> -1E-391
|
|
|
|
|
nextm065 nextminus -1E-391 -> -2E-391
|
|
|
|
|
|
|
|
|
|
-- Zeros
|
|
|
|
|
nextm100 nextminus -0 -> -1E-391
|
|
|
|
|
nextm101 nextminus 0 -> -1E-391
|
|
|
|
|
nextm102 nextminus 0.00 -> -1E-391
|
|
|
|
|
nextm103 nextminus -0.00 -> -1E-391
|
|
|
|
|
nextm104 nextminus 0E-300 -> -1E-391
|
|
|
|
|
nextm105 nextminus 0E+300 -> -1E-391
|
|
|
|
|
nextm106 nextminus 0E+30000 -> -1E-391
|
|
|
|
|
nextm107 nextminus -0E+30000 -> -1E-391
|
|
|
|
|
|
|
|
|
|
precision: 9
|
|
|
|
|
maxExponent: 999
|
|
|
|
|
minexponent: -999
|
|
|
|
|
-- specials
|
|
|
|
|
nextm150 nextminus Inf -> 9.99999999E+999
|
|
|
|
|
nextm151 nextminus -Inf -> -Infinity
|
|
|
|
|
nextm152 nextminus NaN -> NaN
|
|
|
|
|
nextm153 nextminus sNaN -> NaN Invalid_operation
|
|
|
|
|
nextm154 nextminus NaN77 -> NaN77
|
|
|
|
|
nextm155 nextminus sNaN88 -> NaN88 Invalid_operation
|
|
|
|
|
nextm156 nextminus -NaN -> -NaN
|
|
|
|
|
nextm157 nextminus -sNaN -> -NaN Invalid_operation
|
|
|
|
|
nextm158 nextminus -NaN77 -> -NaN77
|
|
|
|
|
nextm159 nextminus -sNaN88 -> -NaN88 Invalid_operation
|
|
|
|
|
|
|
|
|
|
-- Nmax, Nmin, Ntiny, subnormals
|
|
|
|
|
nextm170 nextminus 9.99999999E+999 -> 9.99999998E+999
|
|
|
|
|
nextm171 nextminus 9.99999998E+999 -> 9.99999997E+999
|
|
|
|
|
nextm172 nextminus 1E-999 -> 9.9999999E-1000
|
|
|
|
|
nextm173 nextminus 1.00000000E-999 -> 9.9999999E-1000
|
|
|
|
|
nextm174 nextminus 9E-1007 -> 8E-1007
|
|
|
|
|
nextm175 nextminus 9.9E-1006 -> 9.8E-1006
|
|
|
|
|
nextm176 nextminus 9.9999E-1003 -> 9.9998E-1003
|
|
|
|
|
nextm177 nextminus 9.9999999E-1000 -> 9.9999998E-1000
|
|
|
|
|
nextm178 nextminus 9.9999998E-1000 -> 9.9999997E-1000
|
|
|
|
|
nextm179 nextminus 9.9999997E-1000 -> 9.9999996E-1000
|
|
|
|
|
nextm180 nextminus 0E-1007 -> -1E-1007
|
|
|
|
|
nextm181 nextminus 1E-1007 -> 0E-1007
|
|
|
|
|
nextm182 nextminus 2E-1007 -> 1E-1007
|
|
|
|
|
|
|
|
|
|
nextm183 nextminus -0E-1007 -> -1E-1007
|
|
|
|
|
nextm184 nextminus -1E-1007 -> -2E-1007
|
|
|
|
|
nextm185 nextminus -2E-1007 -> -3E-1007
|
|
|
|
|
nextm186 nextminus -10E-1007 -> -1.1E-1006
|
|
|
|
|
nextm187 nextminus -100E-1007 -> -1.01E-1005
|
|
|
|
|
nextm188 nextminus -100000E-1007 -> -1.00001E-1002
|
|
|
|
|
nextm189 nextminus -1.0000E-999 -> -1.00000001E-999
|
|
|
|
|
nextm190 nextminus -1.00000000E-999 -> -1.00000001E-999
|
|
|
|
|
nextm191 nextminus -1E-999 -> -1.00000001E-999
|
|
|
|
|
nextm192 nextminus -9.99999998E+999 -> -9.99999999E+999
|
|
|
|
|
nextm193 nextminus -9.99999999E+999 -> -Infinity
|
|
|
|
|
|
|
|
|
|
-- Null tests
|
|
|
|
|
nextm900 nextminus # -> NaN Invalid_operation
|
|
|
|
|
|
