| 1 | ------------------------------------------------------------------------
|
|---|
| 2 | -- abs.decTest -- decimal absolute value --
|
|---|
| 3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
|
|---|
| 4 | ------------------------------------------------------------------------
|
|---|
| 5 | -- Please see the document "General Decimal Arithmetic Testcases" --
|
|---|
| 6 | -- at http://www2.hursley.ibm.com/decimal for the description of --
|
|---|
| 7 | -- these testcases. --
|
|---|
| 8 | -- --
|
|---|
| 9 | -- These testcases are experimental ('beta' versions), and they --
|
|---|
| 10 | -- may contain errors. They are offered on an as-is basis. In --
|
|---|
| 11 | -- particular, achieving the same results as the tests here is not --
|
|---|
| 12 | -- a guarantee that an implementation complies with any Standard --
|
|---|
| 13 | -- or specification. The tests are not exhaustive. --
|
|---|
| 14 | -- --
|
|---|
| 15 | -- Please send comments, suggestions, and corrections to the author: --
|
|---|
| 16 | -- Mike Cowlishaw, IBM Fellow --
|
|---|
| 17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
|
|---|
| 18 | -- mfc@uk.ibm.com --
|
|---|
| 19 | ------------------------------------------------------------------------
|
|---|
| 20 | version: 2.59
|
|---|
| 21 |
|
|---|
| 22 | -- This set of tests primarily tests the existence of the operator.
|
|---|
| 23 | -- Additon, subtraction, rounding, and more overflows are tested
|
|---|
| 24 | -- elsewhere.
|
|---|
| 25 |
|
|---|
| 26 | precision: 9
|
|---|
| 27 | rounding: half_up
|
|---|
| 28 | maxExponent: 384
|
|---|
| 29 | minexponent: -383
|
|---|
| 30 | extended: 1
|
|---|
| 31 |
|
|---|
| 32 | absx001 abs '1' -> '1'
|
|---|
| 33 | absx002 abs '-1' -> '1'
|
|---|
| 34 | absx003 abs '1.00' -> '1.00'
|
|---|
| 35 | absx004 abs '-1.00' -> '1.00'
|
|---|
| 36 | absx005 abs '0' -> '0'
|
|---|
| 37 | absx006 abs '0.00' -> '0.00'
|
|---|
| 38 | absx007 abs '00.0' -> '0.0'
|
|---|
| 39 | absx008 abs '00.00' -> '0.00'
|
|---|
| 40 | absx009 abs '00' -> '0'
|
|---|
| 41 |
|
|---|
| 42 | absx010 abs '-2' -> '2'
|
|---|
| 43 | absx011 abs '2' -> '2'
|
|---|
| 44 | absx012 abs '-2.00' -> '2.00'
|
|---|
| 45 | absx013 abs '2.00' -> '2.00'
|
|---|
| 46 | absx014 abs '-0' -> '0'
|
|---|
| 47 | absx015 abs '-0.00' -> '0.00'
|
|---|
| 48 | absx016 abs '-00.0' -> '0.0'
|
|---|
| 49 | absx017 abs '-00.00' -> '0.00'
|
|---|
| 50 | absx018 abs '-00' -> '0'
|
|---|
| 51 |
|
|---|
| 52 | absx020 abs '-2000000' -> '2000000'
|
|---|
| 53 | absx021 abs '2000000' -> '2000000'
|
|---|
| 54 | precision: 7
|
|---|
| 55 | absx022 abs '-2000000' -> '2000000'
|
|---|
| 56 | absx023 abs '2000000' -> '2000000'
|
|---|
| 57 | precision: 6
|
|---|
| 58 | absx024 abs '-2000000' -> '2.00000E+6' Rounded
|
|---|
| 59 | absx025 abs '2000000' -> '2.00000E+6' Rounded
|
|---|
| 60 | precision: 3
|
|---|
| 61 | absx026 abs '-2000000' -> '2.00E+6' Rounded
|
|---|
| 62 | absx027 abs '2000000' -> '2.00E+6' Rounded
|
|---|
| 63 |
|
|---|
| 64 | absx030 abs '+0.1' -> '0.1'
|
|---|
| 65 | absx031 abs '-0.1' -> '0.1'
|
|---|
| 66 | absx032 abs '+0.01' -> '0.01'
|
|---|
| 67 | absx033 abs '-0.01' -> '0.01'
|
|---|
| 68 | absx034 abs '+0.001' -> '0.001'
|
|---|
| 69 | absx035 abs '-0.001' -> '0.001'
|
|---|
| 70 | absx036 abs '+0.000001' -> '0.000001'
|
|---|
| 71 | absx037 abs '-0.000001' -> '0.000001'
|
|---|
| 72 | absx038 abs '+0.000000000001' -> '1E-12'
|
|---|
| 73 | absx039 abs '-0.000000000001' -> '1E-12'
|
|---|
| 74 |
|
|---|
| 75 | -- examples from decArith
|
|---|
| 76 | precision: 9
|
|---|
| 77 | absx040 abs '2.1' -> '2.1'
|
|---|
| 78 | absx041 abs '-100' -> '100'
|
|---|
| 79 | absx042 abs '101.5' -> '101.5'
|
|---|
| 80 | absx043 abs '-101.5' -> '101.5'
|
|---|
| 81 |
|
|---|
| 82 | -- more fixed, potential LHS swaps/overlays if done by subtract 0
|
|---|
| 83 | precision: 9
|
|---|
| 84 | absx060 abs '-56267E-10' -> '0.0000056267'
|
|---|
| 85 | absx061 abs '-56267E-5' -> '0.56267'
|
|---|
| 86 | absx062 abs '-56267E-2' -> '562.67'
|
|---|
| 87 | absx063 abs '-56267E-1' -> '5626.7'
|
|---|
| 88 | absx065 abs '-56267E-0' -> '56267'
|
|---|
| 89 |
|
|---|
| 90 | -- overflow tests
|
|---|
| 91 | maxexponent: 999999999
|
|---|
| 92 | minexponent: -999999999
|
|---|
| 93 | precision: 3
|
|---|
| 94 | absx120 abs 9.999E+999999999 -> Infinity Inexact Overflow Rounded
|
|---|
| 95 |
|
|---|
| 96 | -- subnormals and underflow
|
|---|
| 97 | precision: 3
|
|---|
| 98 | maxexponent: 999
|
|---|
| 99 | minexponent: -999
|
|---|
| 100 | absx210 abs 1.00E-999 -> 1.00E-999
|
|---|
| 101 | absx211 abs 0.1E-999 -> 1E-1000 Subnormal
|
|---|
| 102 | absx212 abs 0.10E-999 -> 1.0E-1000 Subnormal
|
|---|
| 103 | absx213 abs 0.100E-999 -> 1.0E-1000 Subnormal Rounded
|
|---|
| 104 | absx214 abs 0.01E-999 -> 1E-1001 Subnormal
|
|---|
| 105 | -- next is rounded to Emin
|
|---|
| 106 | absx215 abs 0.999E-999 -> 1.00E-999 Inexact Rounded Subnormal Underflow
|
|---|
| 107 | absx216 abs 0.099E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
|
|---|
| 108 | absx217 abs 0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow
|
|---|
| 109 | absx218 abs 0.001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 110 | absx219 abs 0.0009E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 111 | absx220 abs 0.0001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 112 |
|
|---|
| 113 | absx230 abs -1.00E-999 -> 1.00E-999
|
|---|
| 114 | absx231 abs -0.1E-999 -> 1E-1000 Subnormal
|
|---|
| 115 | absx232 abs -0.10E-999 -> 1.0E-1000 Subnormal
|
|---|
| 116 | absx233 abs -0.100E-999 -> 1.0E-1000 Subnormal Rounded
|
|---|
| 117 | absx234 abs -0.01E-999 -> 1E-1001 Subnormal
|
|---|
| 118 | -- next is rounded to Emin
|
|---|
| 119 | absx235 abs -0.999E-999 -> 1.00E-999 Inexact Rounded Subnormal Underflow
|
|---|
| 120 | absx236 abs -0.099E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
|
|---|
| 121 | absx237 abs -0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow
|
|---|
| 122 | absx238 abs -0.001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 123 | absx239 abs -0.0009E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 124 | absx240 abs -0.0001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
|
|---|
| 125 |
|
|---|
| 126 | -- long operand tests
|
|---|
| 127 | maxexponent: 999
|
|---|
| 128 | minexponent: -999
|
|---|
| 129 | precision: 9
|
|---|
| 130 | absx301 abs 12345678000 -> 1.23456780E+10 Rounded
|
|---|
| 131 | absx302 abs 1234567800 -> 1.23456780E+9 Rounded
|
|---|
| 132 | absx303 abs 1234567890 -> 1.23456789E+9 Rounded
|
|---|
| 133 | absx304 abs 1234567891 -> 1.23456789E+9 Inexact Rounded
|
|---|
| 134 | absx305 abs 12345678901 -> 1.23456789E+10 Inexact Rounded
|
|---|
| 135 | absx306 abs 1234567896 -> 1.23456790E+9 Inexact Rounded
|
|---|
| 136 |
|
|---|
| 137 | precision: 15
|
|---|
| 138 | absx321 abs 12345678000 -> 12345678000
|
|---|
| 139 | absx322 abs 1234567800 -> 1234567800
|
|---|
| 140 | absx323 abs 1234567890 -> 1234567890
|
|---|
| 141 | absx324 abs 1234567891 -> 1234567891
|
|---|
| 142 | absx325 abs 12345678901 -> 12345678901
|
|---|
| 143 | absx326 abs 1234567896 -> 1234567896
|
|---|
| 144 |
|
|---|
| 145 |
|
|---|
| 146 | -- Specials
|
|---|
| 147 | precision: 9
|
|---|
| 148 |
|
|---|
| 149 | -- specials
|
|---|
| 150 | absx520 abs 'Inf' -> 'Infinity'
|
|---|
| 151 | absx521 abs '-Inf' -> 'Infinity'
|
|---|
| 152 | absx522 abs NaN -> NaN
|
|---|
| 153 | absx523 abs sNaN -> NaN Invalid_operation
|
|---|
| 154 | absx524 abs NaN22 -> NaN22
|
|---|
| 155 | absx525 abs sNaN33 -> NaN33 Invalid_operation
|
|---|
| 156 | absx526 abs -NaN22 -> -NaN22
|
|---|
| 157 | absx527 abs -sNaN33 -> -NaN33 Invalid_operation
|
|---|
| 158 |
|
|---|
| 159 | -- Null tests
|
|---|
| 160 | absx900 abs # -> NaN Invalid_operation
|
|---|
| 161 |
|
|---|
