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