Commit | Line | Data |
---|---|---|
920dae64 AT |
1 | ------------------------------------------------------------------------ |
2 | -- normalize.decTest -- remove trailing zeros -- | |
3 | -- Copyright (c) IBM Corporation, 2003. 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.39 | |
21 | ||
22 | extended: 1 | |
23 | precision: 9 | |
24 | rounding: half_up | |
25 | maxExponent: 999 | |
26 | minexponent: -999 | |
27 | ||
28 | nrmx001 normalize '1' -> '1' | |
29 | nrmx002 normalize '-1' -> '-1' | |
30 | nrmx003 normalize '1.00' -> '1' | |
31 | nrmx004 normalize '-1.00' -> '-1' | |
32 | nrmx005 normalize '0' -> '0' | |
33 | nrmx006 normalize '0.00' -> '0' | |
34 | nrmx007 normalize '00.0' -> '0' | |
35 | nrmx008 normalize '00.00' -> '0' | |
36 | nrmx009 normalize '00' -> '0' | |
37 | nrmx010 normalize '0E+1' -> '0' | |
38 | nrmx011 normalize '0E+5' -> '0' | |
39 | ||
40 | nrmx012 normalize '-2' -> '-2' | |
41 | nrmx013 normalize '2' -> '2' | |
42 | nrmx014 normalize '-2.00' -> '-2' | |
43 | nrmx015 normalize '2.00' -> '2' | |
44 | nrmx016 normalize '-0' -> '-0' | |
45 | nrmx017 normalize '-0.00' -> '-0' | |
46 | nrmx018 normalize '-00.0' -> '-0' | |
47 | nrmx019 normalize '-00.00' -> '-0' | |
48 | nrmx020 normalize '-00' -> '-0' | |
49 | nrmx021 normalize '-0E+5' -> '-0' | |
50 | nrmx022 normalize '-0E+1' -> '-0' | |
51 | ||
52 | nrmx030 normalize '+0.1' -> '0.1' | |
53 | nrmx031 normalize '-0.1' -> '-0.1' | |
54 | nrmx032 normalize '+0.01' -> '0.01' | |
55 | nrmx033 normalize '-0.01' -> '-0.01' | |
56 | nrmx034 normalize '+0.001' -> '0.001' | |
57 | nrmx035 normalize '-0.001' -> '-0.001' | |
58 | nrmx036 normalize '+0.000001' -> '0.000001' | |
59 | nrmx037 normalize '-0.000001' -> '-0.000001' | |
60 | nrmx038 normalize '+0.000000000001' -> '1E-12' | |
61 | nrmx039 normalize '-0.000000000001' -> '-1E-12' | |
62 | ||
63 | nrmx041 normalize 1.1 -> 1.1 | |
64 | nrmx042 normalize 1.10 -> 1.1 | |
65 | nrmx043 normalize 1.100 -> 1.1 | |
66 | nrmx044 normalize 1.110 -> 1.11 | |
67 | nrmx045 normalize -1.1 -> -1.1 | |
68 | nrmx046 normalize -1.10 -> -1.1 | |
69 | nrmx047 normalize -1.100 -> -1.1 | |
70 | nrmx048 normalize -1.110 -> -1.11 | |
71 | nrmx049 normalize 9.9 -> 9.9 | |
72 | nrmx050 normalize 9.90 -> 9.9 | |
73 | nrmx051 normalize 9.900 -> 9.9 | |
74 | nrmx052 normalize 9.990 -> 9.99 | |
75 | nrmx053 normalize -9.9 -> -9.9 | |
76 | nrmx054 normalize -9.90 -> -9.9 | |
77 | nrmx055 normalize -9.900 -> -9.9 | |
78 | nrmx056 normalize -9.990 -> -9.99 | |
79 | ||
80 | -- some trailing fractional zeros with zeros in units | |
81 | nrmx060 normalize 10.0 -> 1E+1 | |
82 | nrmx061 normalize 10.00 -> 1E+1 | |
83 | nrmx062 normalize 100.0 -> 1E+2 | |
84 | nrmx063 normalize 100.00 -> 1E+2 | |
85 | nrmx064 normalize 1.1000E+3 -> 1.1E+3 | |
86 | nrmx065 normalize 1.10000E+3 -> 1.1E+3 | |
87 | nrmx066 normalize -10.0 -> -1E+1 | |
88 | nrmx067 normalize -10.00 -> -1E+1 | |
89 | nrmx068 normalize -100.0 -> -1E+2 | |
90 | nrmx069 normalize -100.00 -> -1E+2 | |
91 | nrmx070 normalize -1.1000E+3 -> -1.1E+3 | |
92 | nrmx071 normalize -1.10000E+3 -> -1.1E+3 | |
93 | ||
94 | -- some insignificant trailing zeros with positive exponent | |
95 | nrmx080 normalize 10E+1 -> 1E+2 | |
96 | nrmx081 normalize 100E+1 -> 1E+3 | |
97 | nrmx082 normalize 1.0E+2 -> 1E+2 | |
98 | nrmx083 normalize 1.0E+3 -> 1E+3 | |
99 | nrmx084 normalize 1.1E+3 -> 1.1E+3 | |
100 | nrmx085 normalize 1.00E+3 -> 1E+3 | |
101 | nrmx086 normalize 1.10E+3 -> 1.1E+3 | |
102 | nrmx087 normalize -10E+1 -> -1E+2 | |
103 | nrmx088 normalize -100E+1 -> -1E+3 | |
104 | nrmx089 normalize -1.0E+2 -> -1E+2 | |
105 | nrmx090 normalize -1.0E+3 -> -1E+3 | |
106 | nrmx091 normalize -1.1E+3 -> -1.1E+3 | |
107 | nrmx092 normalize -1.00E+3 -> -1E+3 | |
108 | nrmx093 normalize -1.10E+3 -> -1.1E+3 | |
109 | ||
110 | -- some significant trailing zeros, were we to be trimming | |
111 | nrmx100 normalize 11 -> 11 | |
112 | nrmx101 normalize 10 -> 1E+1 | |
113 | nrmx102 normalize 10. -> 1E+1 | |
114 | nrmx103 normalize 1.1E+1 -> 11 | |
115 | nrmx104 normalize 1.0E+1 -> 1E+1 | |
116 | nrmx105 normalize 1.10E+2 -> 1.1E+2 | |
117 | nrmx106 normalize 1.00E+2 -> 1E+2 | |
118 | nrmx107 normalize 1.100E+3 -> 1.1E+3 | |
119 | nrmx108 normalize 1.000E+3 -> 1E+3 | |
120 | nrmx109 normalize 1.000000E+6 -> 1E+6 | |
121 | nrmx110 normalize -11 -> -11 | |
122 | nrmx111 normalize -10 -> -1E+1 | |
123 | nrmx112 normalize -10. -> -1E+1 | |
124 | nrmx113 normalize -1.1E+1 -> -11 | |
125 | nrmx114 normalize -1.0E+1 -> -1E+1 | |
126 | nrmx115 normalize -1.10E+2 -> -1.1E+2 | |
127 | nrmx116 normalize -1.00E+2 -> -1E+2 | |
128 | nrmx117 normalize -1.100E+3 -> -1.1E+3 | |
129 | nrmx118 normalize -1.000E+3 -> -1E+3 | |
130 | nrmx119 normalize -1.00000E+5 -> -1E+5 | |
131 | nrmx120 normalize -1.000000E+6 -> -1E+6 | |
132 | nrmx121 normalize -10.00000E+6 -> -1E+7 | |
133 | nrmx122 normalize -100.0000E+6 -> -1E+8 | |
134 | nrmx123 normalize -1000.000E+6 -> -1E+9 | |
135 | nrmx124 normalize -10000.00E+6 -> -1E+10 | |
136 | nrmx125 normalize -100000.0E+6 -> -1E+11 | |
137 | nrmx126 normalize -1000000.E+6 -> -1E+12 | |
138 | ||
139 | -- examples from decArith | |
140 | nrmx140 normalize '2.1' -> '2.1' | |
141 | nrmx141 normalize '-2.0' -> '-2' | |
142 | nrmx142 normalize '1.200' -> '1.2' | |
143 | nrmx143 normalize '-120' -> '-1.2E+2' | |
144 | nrmx144 normalize '120.00' -> '1.2E+2' | |
145 | nrmx145 normalize '0.00' -> '0' | |
146 | ||
147 | -- overflow tests | |
148 | maxexponent: 999999999 | |
149 | minexponent: -999999999 | |
150 | precision: 3 | |
151 | nrmx160 normalize 9.999E+999999999 -> Infinity Inexact Overflow Rounded | |
152 | nrmx161 normalize -9.999E+999999999 -> -Infinity Inexact Overflow Rounded | |
153 | ||
154 | -- subnormals and underflow | |
155 | precision: 3 | |
156 | maxexponent: 999 | |
157 | minexponent: -999 | |
158 | nrmx210 normalize 1.00E-999 -> 1E-999 | |
159 | nrmx211 normalize 0.1E-999 -> 1E-1000 Subnormal | |
160 | nrmx212 normalize 0.10E-999 -> 1E-1000 Subnormal | |
161 | nrmx213 normalize 0.100E-999 -> 1E-1000 Subnormal Rounded | |
162 | nrmx214 normalize 0.01E-999 -> 1E-1001 Subnormal | |
163 | -- next is rounded to Emin | |
164 | nrmx215 normalize 0.999E-999 -> 1E-999 Inexact Rounded Subnormal Underflow | |
165 | nrmx216 normalize 0.099E-999 -> 1E-1000 Inexact Rounded Subnormal Underflow | |
166 | nrmx217 normalize 0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow | |
167 | nrmx218 normalize 0.001E-999 -> 0 Inexact Rounded Subnormal Underflow | |
168 | nrmx219 normalize 0.0009E-999 -> 0 Inexact Rounded Subnormal Underflow | |
169 | nrmx220 normalize 0.0001E-999 -> 0 Inexact Rounded Subnormal Underflow | |
170 | ||
171 | nrmx230 normalize -1.00E-999 -> -1E-999 | |
172 | nrmx231 normalize -0.1E-999 -> -1E-1000 Subnormal | |
173 | nrmx232 normalize -0.10E-999 -> -1E-1000 Subnormal | |
174 | nrmx233 normalize -0.100E-999 -> -1E-1000 Subnormal Rounded | |
175 | nrmx234 normalize -0.01E-999 -> -1E-1001 Subnormal | |
176 | -- next is rounded to Emin | |
177 | nrmx235 normalize -0.999E-999 -> -1E-999 Inexact Rounded Subnormal Underflow | |
178 | nrmx236 normalize -0.099E-999 -> -1E-1000 Inexact Rounded Subnormal Underflow | |
179 | nrmx237 normalize -0.009E-999 -> -1E-1001 Inexact Rounded Subnormal Underflow | |
180 | nrmx238 normalize -0.001E-999 -> -0 Inexact Rounded Subnormal Underflow | |
181 | nrmx239 normalize -0.0009E-999 -> -0 Inexact Rounded Subnormal Underflow | |
182 | nrmx240 normalize -0.0001E-999 -> -0 Inexact Rounded Subnormal Underflow | |
183 | ||
184 | -- more reshaping | |
185 | precision: 9 | |
186 | nrmx260 normalize '56260E-10' -> '0.000005626' | |
187 | nrmx261 normalize '56260E-5' -> '0.5626' | |
188 | nrmx262 normalize '56260E-2' -> '562.6' | |
189 | nrmx263 normalize '56260E-1' -> '5626' | |
190 | nrmx265 normalize '56260E-0' -> '5.626E+4' | |
191 | nrmx266 normalize '56260E+0' -> '5.626E+4' | |
192 | nrmx267 normalize '56260E+1' -> '5.626E+5' | |
193 | nrmx268 normalize '56260E+2' -> '5.626E+6' | |
194 | nrmx269 normalize '56260E+3' -> '5.626E+7' | |
195 | nrmx270 normalize '56260E+4' -> '5.626E+8' | |
196 | nrmx271 normalize '56260E+5' -> '5.626E+9' | |
197 | nrmx272 normalize '56260E+6' -> '5.626E+10' | |
198 | nrmx280 normalize '-56260E-10' -> '-0.000005626' | |
199 | nrmx281 normalize '-56260E-5' -> '-0.5626' | |
200 | nrmx282 normalize '-56260E-2' -> '-562.6' | |
201 | nrmx283 normalize '-56260E-1' -> '-5626' | |
202 | nrmx285 normalize '-56260E-0' -> '-5.626E+4' | |
203 | nrmx286 normalize '-56260E+0' -> '-5.626E+4' | |
204 | nrmx287 normalize '-56260E+1' -> '-5.626E+5' | |
205 | nrmx288 normalize '-56260E+2' -> '-5.626E+6' | |
206 | nrmx289 normalize '-56260E+3' -> '-5.626E+7' | |
207 | nrmx290 normalize '-56260E+4' -> '-5.626E+8' | |
208 | nrmx291 normalize '-56260E+5' -> '-5.626E+9' | |
209 | nrmx292 normalize '-56260E+6' -> '-5.626E+10' | |
210 | ||
211 | ||
212 | -- specials | |
213 | nrmx820 normalize 'Inf' -> 'Infinity' | |
214 | nrmx821 normalize '-Inf' -> '-Infinity' | |
215 | nrmx822 normalize NaN -> NaN | |
216 | nrmx823 normalize sNaN -> NaN Invalid_operation | |
217 | nrmx824 normalize NaN101 -> NaN101 | |
218 | nrmx825 normalize sNaN010 -> NaN10 Invalid_operation | |
219 | nrmx827 normalize -NaN -> -NaN | |
220 | nrmx828 normalize -sNaN -> -NaN Invalid_operation | |
221 | nrmx829 normalize -NaN101 -> -NaN101 | |
222 | nrmx830 normalize -sNaN010 -> -NaN10 Invalid_operation | |
223 | ||
224 | -- Null test | |
225 | nrmx900 normalize # -> NaN Invalid_operation |