------------------------------------------------------------------------

-- 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.58

-- 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