blob: 045dc58d82b775819eac3cd3f3e9661a2345d3cb [file] [log] [blame]
Georg Brandlfaa9ad22011-03-05 15:06:13 +01001------------------------------------------------------------------------
2-- dqScalebB.decTest -- scale a decQuad by powers of 10 --
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------------------------------------------------------------------------
20version: 2.59
21
22extended: 1
23clamp: 1
24precision: 34
25maxExponent: 6144
26minExponent: -6143
27rounding: half_even
28
29-- Max |rhs| is 2*(6144+34) = 12356
30
31-- Sanity checks
32dqscb001 scaleb 7.50 10 -> 7.50E+10
33dqscb002 scaleb 7.50 3 -> 7.50E+3
34dqscb003 scaleb 7.50 2 -> 750
35dqscb004 scaleb 7.50 1 -> 75.0
36dqscb005 scaleb 7.50 0 -> 7.50
37dqscb006 scaleb 7.50 -1 -> 0.750
38dqscb007 scaleb 7.50 -2 -> 0.0750
39dqscb008 scaleb 7.50 -10 -> 7.50E-10
40dqscb009 scaleb -7.50 3 -> -7.50E+3
41dqscb010 scaleb -7.50 2 -> -750
42dqscb011 scaleb -7.50 1 -> -75.0
43dqscb012 scaleb -7.50 0 -> -7.50
44dqscb013 scaleb -7.50 -1 -> -0.750
45
46-- Infinities
47dqscb014 scaleb Infinity 1 -> Infinity
48dqscb015 scaleb -Infinity 2 -> -Infinity
49dqscb016 scaleb Infinity -1 -> Infinity
50dqscb017 scaleb -Infinity -2 -> -Infinity
51
52-- Next two are somewhat undefined in 754r; treat as non-integer
53dqscb018 scaleb 10 Infinity -> NaN Invalid_operation
54dqscb019 scaleb 10 -Infinity -> NaN Invalid_operation
55
56-- NaNs are undefined in 754r; assume usual processing
57-- NaNs, 0 payload
58dqscb021 scaleb NaN 1 -> NaN
59dqscb022 scaleb -NaN -1 -> -NaN
60dqscb023 scaleb sNaN 1 -> NaN Invalid_operation
61dqscb024 scaleb -sNaN 1 -> -NaN Invalid_operation
62dqscb025 scaleb 4 NaN -> NaN
63dqscb026 scaleb -Inf -NaN -> -NaN
64dqscb027 scaleb 4 sNaN -> NaN Invalid_operation
65dqscb028 scaleb Inf -sNaN -> -NaN Invalid_operation
66
67-- non-integer RHS
68dqscb030 scaleb 1.23 1 -> 12.3
69dqscb031 scaleb 1.23 1.00 -> NaN Invalid_operation
70dqscb032 scaleb 1.23 1.1 -> NaN Invalid_operation
71dqscb033 scaleb 1.23 1.01 -> NaN Invalid_operation
72dqscb034 scaleb 1.23 0.01 -> NaN Invalid_operation
73dqscb035 scaleb 1.23 0.11 -> NaN Invalid_operation
74dqscb036 scaleb 1.23 0.999999999 -> NaN Invalid_operation
75dqscb037 scaleb 1.23 -1 -> 0.123
76dqscb0614 scaleb 1.23 -1.00 -> NaN Invalid_operation
77dqscb039 scaleb 1.23 -1.1 -> NaN Invalid_operation
78dqscb040 scaleb 1.23 -1.01 -> NaN Invalid_operation
79dqscb041 scaleb 1.23 -0.01 -> NaN Invalid_operation
80dqscb042 scaleb 1.23 -0.11 -> NaN Invalid_operation
81dqscb043 scaleb 1.23 -0.999999999 -> NaN Invalid_operation
82dqscb044 scaleb 1.23 0.1 -> NaN Invalid_operation
83dqscb045 scaleb 1.23 1E+1 -> NaN Invalid_operation
84dqscb046 scaleb 1.23 1.1234E+6 -> NaN Invalid_operation
85dqscb047 scaleb 1.23 1.123E+4 -> NaN Invalid_operation
86
87-- out-of range RHS
88dqscb120 scaleb 1.23 12355 -> Infinity Overflow Inexact Rounded
89dqscb121 scaleb 1.23 12356 -> Infinity Overflow Inexact Rounded
90dqscb122 scaleb 1.23 12357 -> NaN Invalid_operation
91dqscb123 scaleb 1.23 12358 -> NaN Invalid_operation
92dqscb124 scaleb 1.23 -12355 -> 0E-6176 Underflow Subnormal Inexact Rounded Clamped
93dqscb125 scaleb 1.23 -12356 -> 0E-6176 Underflow Subnormal Inexact Rounded Clamped
94dqscb126 scaleb 1.23 -12357 -> NaN Invalid_operation
95dqscb127 scaleb 1.23 -12358 -> NaN Invalid_operation
96
97-- NaNs, non-0 payload
98-- propagating NaNs
99dqscb861 scaleb NaN01 -Inf -> NaN1
100dqscb862 scaleb -NaN02 -1000 -> -NaN2
101dqscb863 scaleb NaN03 1000 -> NaN3
102dqscb864 scaleb NaN04 Inf -> NaN4
103dqscb865 scaleb NaN05 NaN61 -> NaN5
104dqscb866 scaleb -Inf -NaN71 -> -NaN71
105dqscb867 scaleb -1000 NaN81 -> NaN81
106dqscb868 scaleb 1000 NaN91 -> NaN91
107dqscb869 scaleb Inf NaN101 -> NaN101
108dqscb871 scaleb sNaN011 -Inf -> NaN11 Invalid_operation
109dqscb872 scaleb sNaN012 -1000 -> NaN12 Invalid_operation
110dqscb873 scaleb -sNaN013 1000 -> -NaN13 Invalid_operation
111dqscb874 scaleb sNaN014 NaN171 -> NaN14 Invalid_operation
112dqscb875 scaleb sNaN015 sNaN181 -> NaN15 Invalid_operation
113dqscb876 scaleb NaN016 sNaN191 -> NaN191 Invalid_operation
114dqscb877 scaleb -Inf sNaN201 -> NaN201 Invalid_operation
115dqscb878 scaleb -1000 sNaN211 -> NaN211 Invalid_operation
116dqscb879 scaleb 1000 -sNaN221 -> -NaN221 Invalid_operation
117dqscb880 scaleb Inf sNaN231 -> NaN231 Invalid_operation
118dqscb881 scaleb NaN025 sNaN241 -> NaN241 Invalid_operation
119
120-- finites
121dqscb051 scaleb 7 -2 -> 0.07
122dqscb052 scaleb -7 -2 -> -0.07
123dqscb053 scaleb 75 -2 -> 0.75
124dqscb054 scaleb -75 -2 -> -0.75
125dqscb055 scaleb 7.50 -2 -> 0.0750
126dqscb056 scaleb -7.50 -2 -> -0.0750
127dqscb057 scaleb 7.500 -2 -> 0.07500
128dqscb058 scaleb -7.500 -2 -> -0.07500
129dqscb061 scaleb 7 -1 -> 0.7
130dqscb062 scaleb -7 -1 -> -0.7
131dqscb063 scaleb 75 -1 -> 7.5
132dqscb064 scaleb -75 -1 -> -7.5
133dqscb065 scaleb 7.50 -1 -> 0.750
134dqscb066 scaleb -7.50 -1 -> -0.750
135dqscb067 scaleb 7.500 -1 -> 0.7500
136dqscb068 scaleb -7.500 -1 -> -0.7500
137dqscb071 scaleb 7 0 -> 7
138dqscb072 scaleb -7 0 -> -7
139dqscb073 scaleb 75 0 -> 75
140dqscb074 scaleb -75 0 -> -75
141dqscb075 scaleb 7.50 0 -> 7.50
142dqscb076 scaleb -7.50 0 -> -7.50
143dqscb077 scaleb 7.500 0 -> 7.500
144dqscb078 scaleb -7.500 0 -> -7.500
145dqscb081 scaleb 7 1 -> 7E+1
146dqscb082 scaleb -7 1 -> -7E+1
147dqscb083 scaleb 75 1 -> 7.5E+2
148dqscb084 scaleb -75 1 -> -7.5E+2
149dqscb085 scaleb 7.50 1 -> 75.0
150dqscb086 scaleb -7.50 1 -> -75.0
151dqscb087 scaleb 7.500 1 -> 75.00
152dqscb088 scaleb -7.500 1 -> -75.00
153dqscb091 scaleb 7 2 -> 7E+2
154dqscb092 scaleb -7 2 -> -7E+2
155dqscb093 scaleb 75 2 -> 7.5E+3
156dqscb094 scaleb -75 2 -> -7.5E+3
157dqscb095 scaleb 7.50 2 -> 750
158dqscb096 scaleb -7.50 2 -> -750
159dqscb097 scaleb 7.500 2 -> 750.0
160dqscb098 scaleb -7.500 2 -> -750.0
161
162-- zeros
163dqscb111 scaleb 0 1 -> 0E+1
164dqscb112 scaleb -0 2 -> -0E+2
165dqscb113 scaleb 0E+4 3 -> 0E+7
166dqscb114 scaleb -0E+4 4 -> -0E+8
167dqscb115 scaleb 0.0000 5 -> 0E+1
168dqscb116 scaleb -0.0000 6 -> -0E+2
169dqscb117 scaleb 0E-141 7 -> 0E-134
170dqscb118 scaleb -0E-141 8 -> -0E-133
171
172-- Nmax, Nmin, Ntiny
173dqscb132 scaleb 9.999999999999999999999999999999999E+6144 +6144 -> Infinity Overflow Inexact Rounded
174dqscb133 scaleb 9.999999999999999999999999999999999E+6144 +10 -> Infinity Overflow Inexact Rounded
175dqscb134 scaleb 9.999999999999999999999999999999999E+6144 +1 -> Infinity Overflow Inexact Rounded
176dqscb135 scaleb 9.999999999999999999999999999999999E+6144 0 -> 9.999999999999999999999999999999999E+6144
177dqscb136 scaleb 9.999999999999999999999999999999999E+6144 -1 -> 9.999999999999999999999999999999999E+6143
178dqscb137 scaleb 1E-6143 +1 -> 1E-6142
179dqscb1614 scaleb 1E-6143 -0 -> 1E-6143
180dqscb139 scaleb 1E-6143 -1 -> 1E-6144 Subnormal
181dqscb140 scaleb 1.000000000000000000000000000000000E-6143 +1 -> 1.000000000000000000000000000000000E-6142
182dqscb141 scaleb 1.000000000000000000000000000000000E-6143 0 -> 1.000000000000000000000000000000000E-6143
183dqscb142 scaleb 1.000000000000000000000000000000000E-6143 -1 -> 1.00000000000000000000000000000000E-6144 Subnormal Rounded
184dqscb143 scaleb 1E-6176 +1 -> 1E-6175 Subnormal
185dqscb144 scaleb 1E-6176 -0 -> 1E-6176 Subnormal
186dqscb145 scaleb 1E-6176 -1 -> 0E-6176 Underflow Subnormal Inexact Rounded Clamped
187
188dqscb150 scaleb -1E-6176 +1 -> -1E-6175 Subnormal
189dqscb151 scaleb -1E-6176 -0 -> -1E-6176 Subnormal
190dqscb152 scaleb -1E-6176 -1 -> -0E-6176 Underflow Subnormal Inexact Rounded Clamped
191dqscb153 scaleb -1.000000000000000000000000000000000E-6143 +1 -> -1.000000000000000000000000000000000E-6142
192dqscb154 scaleb -1.000000000000000000000000000000000E-6143 +0 -> -1.000000000000000000000000000000000E-6143
193dqscb155 scaleb -1.000000000000000000000000000000000E-6143 -1 -> -1.00000000000000000000000000000000E-6144 Subnormal Rounded
194dqscb156 scaleb -1E-6143 +1 -> -1E-6142
195dqscb157 scaleb -1E-6143 -0 -> -1E-6143
196dqscb158 scaleb -1E-6143 -1 -> -1E-6144 Subnormal
197dqscb159 scaleb -9.999999999999999999999999999999999E+6144 +1 -> -Infinity Overflow Inexact Rounded
198dqscb160 scaleb -9.999999999999999999999999999999999E+6144 +0 -> -9.999999999999999999999999999999999E+6144
199dqscb161 scaleb -9.999999999999999999999999999999999E+6144 -1 -> -9.999999999999999999999999999999999E+6143
200dqscb162 scaleb -9E+6144 +1 -> -Infinity Overflow Inexact Rounded
201dqscb163 scaleb -1E+6144 +1 -> -Infinity Overflow Inexact Rounded
202
203-- some Origami
204-- (these check that overflow is being done correctly)
205dqscb171 scaleb 1000E+6109 +1 -> 1.000E+6113
206dqscb172 scaleb 1000E+6110 +1 -> 1.000E+6114
207dqscb173 scaleb 1000E+6111 +1 -> 1.0000E+6115 Clamped
208dqscb174 scaleb 1000E+6112 +1 -> 1.00000E+6116 Clamped
209dqscb175 scaleb 1000E+6113 +1 -> 1.000000E+6117 Clamped
210dqscb176 scaleb 1000E+6114 +1 -> 1.0000000E+6118 Clamped
211dqscb177 scaleb 1000E+6131 +1 -> 1.000000000000000000000000E+6135 Clamped
212dqscb178 scaleb 1000E+6132 +1 -> 1.0000000000000000000000000E+6136 Clamped
213dqscb179 scaleb 1000E+6133 +1 -> 1.00000000000000000000000000E+6137 Clamped
214dqscb180 scaleb 1000E+6134 +1 -> 1.000000000000000000000000000E+6138 Clamped
215dqscb181 scaleb 1000E+6135 +1 -> 1.0000000000000000000000000000E+6139 Clamped
216dqscb182 scaleb 1000E+6136 +1 -> 1.00000000000000000000000000000E+6140 Clamped
217dqscb183 scaleb 1000E+6137 +1 -> 1.000000000000000000000000000000E+6141 Clamped
218dqscb184 scaleb 1000E+6138 +1 -> 1.0000000000000000000000000000000E+6142 Clamped
219dqscb185 scaleb 1000E+6139 +1 -> 1.00000000000000000000000000000000E+6143 Clamped
220dqscb186 scaleb 1000E+6140 +1 -> 1.000000000000000000000000000000000E+6144 Clamped
221dqscb187 scaleb 1000E+6141 +1 -> Infinity Overflow Inexact Rounded
222
223-- and a few more subnormal truncations
224-- (these check that underflow is being done correctly)
225dqscb221 scaleb 1.000000000000000000000000000000000E-6143 0 -> 1.000000000000000000000000000000000E-6143
226dqscb222 scaleb 1.000000000000000000000000000000000E-6143 -1 -> 1.00000000000000000000000000000000E-6144 Subnormal Rounded
227dqscb223 scaleb 1.000000000000000000000000000000000E-6143 -2 -> 1.0000000000000000000000000000000E-6145 Subnormal Rounded
228dqscb224 scaleb 1.000000000000000000000000000000000E-6143 -3 -> 1.000000000000000000000000000000E-6146 Subnormal Rounded
229dqscb225 scaleb 1.000000000000000000000000000000000E-6143 -4 -> 1.00000000000000000000000000000E-6147 Subnormal Rounded
230dqscb226 scaleb 1.000000000000000000000000000000000E-6143 -5 -> 1.0000000000000000000000000000E-6148 Subnormal Rounded
231dqscb227 scaleb 1.000000000000000000000000000000000E-6143 -6 -> 1.000000000000000000000000000E-6149 Subnormal Rounded
232dqscb228 scaleb 1.000000000000000000000000000000000E-6143 -7 -> 1.00000000000000000000000000E-6150 Subnormal Rounded
233dqscb229 scaleb 1.000000000000000000000000000000000E-6143 -8 -> 1.0000000000000000000000000E-6151 Subnormal Rounded
234dqscb230 scaleb 1.000000000000000000000000000000000E-6143 -9 -> 1.000000000000000000000000E-6152 Subnormal Rounded
235dqscb231 scaleb 1.000000000000000000000000000000000E-6143 -10 -> 1.00000000000000000000000E-6153 Subnormal Rounded
236dqscb232 scaleb 1.000000000000000000000000000000000E-6143 -11 -> 1.0000000000000000000000E-6154 Subnormal Rounded
237dqscb233 scaleb 1.000000000000000000000000000000000E-6143 -12 -> 1.000000000000000000000E-6155 Subnormal Rounded
238dqscb234 scaleb 1.000000000000000000000000000000000E-6143 -13 -> 1.00000000000000000000E-6156 Subnormal Rounded
239dqscb235 scaleb 1.000000000000000000000000000000000E-6143 -14 -> 1.0000000000000000000E-6157 Subnormal Rounded
240dqscb236 scaleb 1.000000000000000000000000000000000E-6143 -15 -> 1.000000000000000000E-6158 Subnormal Rounded
241dqscb237 scaleb 1.000000000000000000000000000000000E-6143 -16 -> 1.00000000000000000E-6159 Subnormal Rounded
242dqscb238 scaleb 1.000000000000000000000000000000000E-6143 -17 -> 1.0000000000000000E-6160 Subnormal Rounded
243dqscb239 scaleb 1.000000000000000000000000000000000E-6143 -18 -> 1.000000000000000E-6161 Subnormal Rounded
244dqscb202 scaleb 1.000000000000000000000000000000000E-6143 -19 -> 1.00000000000000E-6162 Subnormal Rounded
245dqscb203 scaleb 1.000000000000000000000000000000000E-6143 -20 -> 1.0000000000000E-6163 Subnormal Rounded
246dqscb204 scaleb 1.000000000000000000000000000000000E-6143 -21 -> 1.000000000000E-6164 Subnormal Rounded
247dqscb205 scaleb 1.000000000000000000000000000000000E-6143 -22 -> 1.00000000000E-6165 Subnormal Rounded
248dqscb206 scaleb 1.000000000000000000000000000000000E-6143 -23 -> 1.0000000000E-6166 Subnormal Rounded
249dqscb207 scaleb 1.000000000000000000000000000000000E-6143 -24 -> 1.000000000E-6167 Subnormal Rounded
250dqscb208 scaleb 1.000000000000000000000000000000000E-6143 -25 -> 1.00000000E-6168 Subnormal Rounded
251dqscb209 scaleb 1.000000000000000000000000000000000E-6143 -26 -> 1.0000000E-6169 Subnormal Rounded
252dqscb210 scaleb 1.000000000000000000000000000000000E-6143 -27 -> 1.000000E-6170 Subnormal Rounded
253dqscb211 scaleb 1.000000000000000000000000000000000E-6143 -28 -> 1.00000E-6171 Subnormal Rounded
254dqscb212 scaleb 1.000000000000000000000000000000000E-6143 -29 -> 1.0000E-6172 Subnormal Rounded
255dqscb213 scaleb 1.000000000000000000000000000000000E-6143 -30 -> 1.000E-6173 Subnormal Rounded
256dqscb214 scaleb 1.000000000000000000000000000000000E-6143 -31 -> 1.00E-6174 Subnormal Rounded
257dqscb215 scaleb 1.000000000000000000000000000000000E-6143 -32 -> 1.0E-6175 Subnormal Rounded
258dqscb216 scaleb 1.000000000000000000000000000000000E-6143 -33 -> 1E-6176 Subnormal Rounded
259dqscb217 scaleb 1.000000000000000000000000000000000E-6143 -34 -> 0E-6176 Underflow Subnormal Inexact Rounded Clamped
260dqscb218 scaleb 1.000000000000000000000000000000000E-6143 -35 -> 0E-6176 Underflow Subnormal Inexact Rounded Clamped