| ------------------------------------------------------------------------ |
| -- abs.decTest -- decimal absolute value -- |
| -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
| ------------------------------------------------------------------------ |
| -- Please see the document "General Decimal Arithmetic Testcases" -- |
| -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| -- these testcases. -- |
| -- -- |
| -- These testcases are experimental ('beta' versions), and they -- |
| -- may contain errors. They are offered on an as-is basis. In -- |
| -- particular, achieving the same results as the tests here is not -- |
| -- a guarantee that an implementation complies with any Standard -- |
| -- or specification. The tests are not exhaustive. -- |
| -- -- |
| -- Please send comments, suggestions, and corrections to the author: -- |
| -- Mike Cowlishaw, IBM Fellow -- |
| -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| -- mfc@uk.ibm.com -- |
| ------------------------------------------------------------------------ |
| version: 2.59 |
| |
| -- This set of tests primarily tests the existence of the operator. |
| -- Additon, subtraction, rounding, and more overflows are tested |
| -- elsewhere. |
| |
| precision: 9 |
| rounding: half_up |
| maxExponent: 384 |
| minexponent: -383 |
| extended: 1 |
| |
| absx001 abs '1' -> '1' |
| absx002 abs '-1' -> '1' |
| absx003 abs '1.00' -> '1.00' |
| absx004 abs '-1.00' -> '1.00' |
| absx005 abs '0' -> '0' |
| absx006 abs '0.00' -> '0.00' |
| absx007 abs '00.0' -> '0.0' |
| absx008 abs '00.00' -> '0.00' |
| absx009 abs '00' -> '0' |
| |
| absx010 abs '-2' -> '2' |
| absx011 abs '2' -> '2' |
| absx012 abs '-2.00' -> '2.00' |
| absx013 abs '2.00' -> '2.00' |
| absx014 abs '-0' -> '0' |
| absx015 abs '-0.00' -> '0.00' |
| absx016 abs '-00.0' -> '0.0' |
| absx017 abs '-00.00' -> '0.00' |
| absx018 abs '-00' -> '0' |
| |
| absx020 abs '-2000000' -> '2000000' |
| absx021 abs '2000000' -> '2000000' |
| precision: 7 |
| absx022 abs '-2000000' -> '2000000' |
| absx023 abs '2000000' -> '2000000' |
| precision: 6 |
| absx024 abs '-2000000' -> '2.00000E+6' Rounded |
| absx025 abs '2000000' -> '2.00000E+6' Rounded |
| precision: 3 |
| absx026 abs '-2000000' -> '2.00E+6' Rounded |
| absx027 abs '2000000' -> '2.00E+6' Rounded |
| |
| absx030 abs '+0.1' -> '0.1' |
| absx031 abs '-0.1' -> '0.1' |
| absx032 abs '+0.01' -> '0.01' |
| absx033 abs '-0.01' -> '0.01' |
| absx034 abs '+0.001' -> '0.001' |
| absx035 abs '-0.001' -> '0.001' |
| absx036 abs '+0.000001' -> '0.000001' |
| absx037 abs '-0.000001' -> '0.000001' |
| absx038 abs '+0.000000000001' -> '1E-12' |
| absx039 abs '-0.000000000001' -> '1E-12' |
| |
| -- examples from decArith |
| precision: 9 |
| absx040 abs '2.1' -> '2.1' |
| absx041 abs '-100' -> '100' |
| absx042 abs '101.5' -> '101.5' |
| absx043 abs '-101.5' -> '101.5' |
| |
| -- more fixed, potential LHS swaps/overlays if done by subtract 0 |
| precision: 9 |
| absx060 abs '-56267E-10' -> '0.0000056267' |
| absx061 abs '-56267E-5' -> '0.56267' |
| absx062 abs '-56267E-2' -> '562.67' |
| absx063 abs '-56267E-1' -> '5626.7' |
| absx065 abs '-56267E-0' -> '56267' |
| |
| -- overflow tests |
| maxexponent: 999999999 |
| minexponent: -999999999 |
| precision: 3 |
| absx120 abs 9.999E+999999999 -> Infinity Inexact Overflow Rounded |
| |
| -- subnormals and underflow |
| precision: 3 |
| maxexponent: 999 |
| minexponent: -999 |
| absx210 abs 1.00E-999 -> 1.00E-999 |
| absx211 abs 0.1E-999 -> 1E-1000 Subnormal |
| absx212 abs 0.10E-999 -> 1.0E-1000 Subnormal |
| absx213 abs 0.100E-999 -> 1.0E-1000 Subnormal Rounded |
| absx214 abs 0.01E-999 -> 1E-1001 Subnormal |
| -- next is rounded to Emin |
| absx215 abs 0.999E-999 -> 1.00E-999 Inexact Rounded Subnormal Underflow |
| absx216 abs 0.099E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow |
| absx217 abs 0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow |
| absx218 abs 0.001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| absx219 abs 0.0009E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| absx220 abs 0.0001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| |
| absx230 abs -1.00E-999 -> 1.00E-999 |
| absx231 abs -0.1E-999 -> 1E-1000 Subnormal |
| absx232 abs -0.10E-999 -> 1.0E-1000 Subnormal |
| absx233 abs -0.100E-999 -> 1.0E-1000 Subnormal Rounded |
| absx234 abs -0.01E-999 -> 1E-1001 Subnormal |
| -- next is rounded to Emin |
| absx235 abs -0.999E-999 -> 1.00E-999 Inexact Rounded Subnormal Underflow |
| absx236 abs -0.099E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow |
| absx237 abs -0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow |
| absx238 abs -0.001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| absx239 abs -0.0009E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| absx240 abs -0.0001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
| |
| -- long operand tests |
| maxexponent: 999 |
| minexponent: -999 |
| precision: 9 |
| absx301 abs 12345678000 -> 1.23456780E+10 Rounded |
| absx302 abs 1234567800 -> 1.23456780E+9 Rounded |
| absx303 abs 1234567890 -> 1.23456789E+9 Rounded |
| absx304 abs 1234567891 -> 1.23456789E+9 Inexact Rounded |
| absx305 abs 12345678901 -> 1.23456789E+10 Inexact Rounded |
| absx306 abs 1234567896 -> 1.23456790E+9 Inexact Rounded |
| |
| precision: 15 |
| absx321 abs 12345678000 -> 12345678000 |
| absx322 abs 1234567800 -> 1234567800 |
| absx323 abs 1234567890 -> 1234567890 |
| absx324 abs 1234567891 -> 1234567891 |
| absx325 abs 12345678901 -> 12345678901 |
| absx326 abs 1234567896 -> 1234567896 |
| |
| |
| -- Specials |
| precision: 9 |
| |
| -- specials |
| absx520 abs 'Inf' -> 'Infinity' |
| absx521 abs '-Inf' -> 'Infinity' |
| absx522 abs NaN -> NaN |
| absx523 abs sNaN -> NaN Invalid_operation |
| absx524 abs NaN22 -> NaN22 |
| absx525 abs sNaN33 -> NaN33 Invalid_operation |
| absx526 abs -NaN22 -> -NaN22 |
| absx527 abs -sNaN33 -> -NaN33 Invalid_operation |
| |
| -- Null tests |
| absx900 abs # -> NaN Invalid_operation |
| |