1------------------------------------------------------------------------
2-- ddShift.decTest -- shift decDouble coefficient left or right       --
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
22precision:   16
23maxExponent: 384
24minExponent: -383
25extended:    1
26clamp:       1
27rounding:    half_even
28
29-- Sanity check
30ddshi001 shift                 0    0  ->  0
31ddshi002 shift                 0    2  ->  0
32ddshi003 shift                 1    2  ->  100
33ddshi004 shift                 1   15  ->  1000000000000000
34ddshi005 shift                 1   16  ->  0
35ddshi006 shift                 1   -1  ->  0
36ddshi007 shift                 0   -2  ->  0
37ddshi008 shift  1234567890123456   -1  ->  123456789012345
38ddshi009 shift  1234567890123456   -15 ->  1
39ddshi010 shift  1234567890123456   -16 ->  0
40ddshi011 shift  9934567890123456   -15 ->  9
41ddshi012 shift  9934567890123456   -16 ->  0
42
43-- rhs must be an integer
44ddshi015 shift        1    1.5    -> NaN Invalid_operation
45ddshi016 shift        1    1.0    -> NaN Invalid_operation
46ddshi017 shift        1    0.1    -> NaN Invalid_operation
47ddshi018 shift        1    0.0    -> NaN Invalid_operation
48ddshi019 shift        1    1E+1   -> NaN Invalid_operation
49ddshi020 shift        1    1E+99  -> NaN Invalid_operation
50ddshi021 shift        1    Inf    -> NaN Invalid_operation
51ddshi022 shift        1    -Inf   -> NaN Invalid_operation
52-- and |rhs| <= precision
53ddshi025 shift        1    -1000  -> NaN Invalid_operation
54ddshi026 shift        1    -17    -> NaN Invalid_operation
55ddshi027 shift        1     17    -> NaN Invalid_operation
56ddshi028 shift        1     1000  -> NaN Invalid_operation
57
58-- full shifting pattern
59ddshi030 shift  1234567890123456         -16  -> 0
60ddshi031 shift  1234567890123456         -15  -> 1
61ddshi032 shift  1234567890123456         -14  -> 12
62ddshi033 shift  1234567890123456         -13  -> 123
63ddshi034 shift  1234567890123456         -12  -> 1234
64ddshi035 shift  1234567890123456         -11  -> 12345
65ddshi036 shift  1234567890123456         -10  -> 123456
66ddshi037 shift  1234567890123456         -9   -> 1234567
67ddshi038 shift  1234567890123456         -8   -> 12345678
68ddshi039 shift  1234567890123456         -7   -> 123456789
69ddshi040 shift  1234567890123456         -6   -> 1234567890
70ddshi041 shift  1234567890123456         -5   -> 12345678901
71ddshi042 shift  1234567890123456         -4   -> 123456789012
72ddshi043 shift  1234567890123456         -3   -> 1234567890123
73ddshi044 shift  1234567890123456         -2   -> 12345678901234
74ddshi045 shift  1234567890123456         -1   -> 123456789012345
75ddshi046 shift  1234567890123456         -0   -> 1234567890123456
76
77ddshi047 shift  1234567890123456         +0   -> 1234567890123456
78ddshi048 shift  1234567890123456         +1   -> 2345678901234560
79ddshi049 shift  1234567890123456         +2   -> 3456789012345600
80ddshi050 shift  1234567890123456         +3   -> 4567890123456000
81ddshi051 shift  1234567890123456         +4   -> 5678901234560000
82ddshi052 shift  1234567890123456         +5   -> 6789012345600000
83ddshi053 shift  1234567890123456         +6   -> 7890123456000000
84ddshi054 shift  1234567890123456         +7   -> 8901234560000000
85ddshi055 shift  1234567890123456         +8   -> 9012345600000000
86ddshi056 shift  1234567890123456         +9   ->  123456000000000
87ddshi057 shift  1234567890123456         +10  -> 1234560000000000
88ddshi058 shift  1234567890123456         +11  -> 2345600000000000
89ddshi059 shift  1234567890123456         +12  -> 3456000000000000
90ddshi060 shift  1234567890123456         +13  -> 4560000000000000
91ddshi061 shift  1234567890123456         +14  -> 5600000000000000
92ddshi062 shift  1234567890123456         +15  -> 6000000000000000
93ddshi063 shift  1234567890123456         +16  -> 0
94
95-- zeros
96ddshi070 shift  0E-10              +9   ->   0E-10
97ddshi071 shift  0E-10              -9   ->   0E-10
98ddshi072 shift  0.000              +9   ->   0.000
99ddshi073 shift  0.000              -9   ->   0.000
100ddshi074 shift  0E+10              +9   ->   0E+10
101ddshi075 shift  0E+10              -9   ->   0E+10
102ddshi076 shift -0E-10              +9   ->  -0E-10
103ddshi077 shift -0E-10              -9   ->  -0E-10
104ddshi078 shift -0.000              +9   ->  -0.000
105ddshi079 shift -0.000              -9   ->  -0.000
106ddshi080 shift -0E+10              +9   ->  -0E+10
107ddshi081 shift -0E+10              -9   ->  -0E+10
108
109-- Nmax, Nmin, Ntiny
110ddshi141 shift  9.999999999999999E+384     -1  -> 9.99999999999999E+383
111ddshi142 shift  9.999999999999999E+384     -15 -> 9E+369
112ddshi143 shift  9.999999999999999E+384      1  -> 9.999999999999990E+384
113ddshi144 shift  9.999999999999999E+384      15 -> 9.000000000000000E+384
114ddshi145 shift  1E-383                     -1  -> 0E-383
115ddshi146 shift  1E-383                     -15 -> 0E-383
116ddshi147 shift  1E-383                      1  -> 1.0E-382
117ddshi148 shift  1E-383                      15 -> 1.000000000000000E-368
118ddshi151 shift  1.000000000000000E-383     -1  -> 1.00000000000000E-384
119ddshi152 shift  1.000000000000000E-383     -15 -> 1E-398
120ddshi153 shift  1.000000000000000E-383      1  -> 0E-398
121ddshi154 shift  1.000000000000000E-383      15 -> 0E-398
122ddshi155 shift  9.000000000000000E-383     -1  -> 9.00000000000000E-384
123ddshi156 shift  9.000000000000000E-383     -15 -> 9E-398
124ddshi157 shift  9.000000000000000E-383      1  -> 0E-398
125ddshi158 shift  9.000000000000000E-383      15 -> 0E-398
126ddshi160 shift  1E-398                     -1  -> 0E-398
127ddshi161 shift  1E-398                     -15 -> 0E-398
128ddshi162 shift  1E-398                      1  -> 1.0E-397
129ddshi163 shift  1E-398                      15 -> 1.000000000000000E-383
130--  negatives
131ddshi171 shift -9.999999999999999E+384     -1  -> -9.99999999999999E+383
132ddshi172 shift -9.999999999999999E+384     -15 -> -9E+369
133ddshi173 shift -9.999999999999999E+384      1  -> -9.999999999999990E+384
134ddshi174 shift -9.999999999999999E+384      15 -> -9.000000000000000E+384
135ddshi175 shift -1E-383                     -1  -> -0E-383
136ddshi176 shift -1E-383                     -15 -> -0E-383
137ddshi177 shift -1E-383                      1  -> -1.0E-382
138ddshi178 shift -1E-383                      15 -> -1.000000000000000E-368
139ddshi181 shift -1.000000000000000E-383     -1  -> -1.00000000000000E-384
140ddshi182 shift -1.000000000000000E-383     -15 -> -1E-398
141ddshi183 shift -1.000000000000000E-383      1  -> -0E-398
142ddshi184 shift -1.000000000000000E-383      15 -> -0E-398
143ddshi185 shift -9.000000000000000E-383     -1  -> -9.00000000000000E-384
144ddshi186 shift -9.000000000000000E-383     -15 -> -9E-398
145ddshi187 shift -9.000000000000000E-383      1  -> -0E-398
146ddshi188 shift -9.000000000000000E-383      15 -> -0E-398
147ddshi190 shift -1E-398                     -1  -> -0E-398
148ddshi191 shift -1E-398                     -15 -> -0E-398
149ddshi192 shift -1E-398                      1  -> -1.0E-397
150ddshi193 shift -1E-398                      15 -> -1.000000000000000E-383
151
152-- more negatives (of sanities)
153ddshi201 shift                -0    0  -> -0
154ddshi202 shift                -0    2  -> -0
155ddshi203 shift                -1    2  -> -100
156ddshi204 shift                -1   15  -> -1000000000000000
157ddshi205 shift                -1   16  -> -0
158ddshi206 shift                -1   -1  -> -0
159ddshi207 shift                -0   -2  -> -0
160ddshi208 shift -1234567890123456   -1  -> -123456789012345
161ddshi209 shift -1234567890123456   -15 -> -1
162ddshi210 shift -1234567890123456   -16 -> -0
163ddshi211 shift -9934567890123456   -15 -> -9
164ddshi212 shift -9934567890123456   -16 -> -0
165
166
167-- Specials; NaNs are handled as usual
168ddshi781 shift -Inf  -8     -> -Infinity
169ddshi782 shift -Inf  -1     -> -Infinity
170ddshi783 shift -Inf  -0     -> -Infinity
171ddshi784 shift -Inf   0     -> -Infinity
172ddshi785 shift -Inf   1     -> -Infinity
173ddshi786 shift -Inf   8     -> -Infinity
174ddshi787 shift -1000 -Inf   -> NaN Invalid_operation
175ddshi788 shift -Inf  -Inf   -> NaN Invalid_operation
176ddshi789 shift -1    -Inf   -> NaN Invalid_operation
177ddshi790 shift -0    -Inf   -> NaN Invalid_operation
178ddshi791 shift  0    -Inf   -> NaN Invalid_operation
179ddshi792 shift  1    -Inf   -> NaN Invalid_operation
180ddshi793 shift  1000 -Inf   -> NaN Invalid_operation
181ddshi794 shift  Inf  -Inf   -> NaN Invalid_operation
182
183ddshi800 shift  Inf  -Inf   -> NaN Invalid_operation
184ddshi801 shift  Inf  -8     -> Infinity
185ddshi802 shift  Inf  -1     -> Infinity
186ddshi803 shift  Inf  -0     -> Infinity
187ddshi804 shift  Inf   0     -> Infinity
188ddshi805 shift  Inf   1     -> Infinity
189ddshi806 shift  Inf   8     -> Infinity
190ddshi807 shift  Inf   Inf   -> NaN Invalid_operation
191ddshi808 shift -1000  Inf   -> NaN Invalid_operation
192ddshi809 shift -Inf   Inf   -> NaN Invalid_operation
193ddshi810 shift -1     Inf   -> NaN Invalid_operation
194ddshi811 shift -0     Inf   -> NaN Invalid_operation
195ddshi812 shift  0     Inf   -> NaN Invalid_operation
196ddshi813 shift  1     Inf   -> NaN Invalid_operation
197ddshi814 shift  1000  Inf   -> NaN Invalid_operation
198ddshi815 shift  Inf   Inf   -> NaN Invalid_operation
199
200ddshi821 shift  NaN -Inf    ->  NaN
201ddshi822 shift  NaN -1000   ->  NaN
202ddshi823 shift  NaN -1      ->  NaN
203ddshi824 shift  NaN -0      ->  NaN
204ddshi825 shift  NaN  0      ->  NaN
205ddshi826 shift  NaN  1      ->  NaN
206ddshi827 shift  NaN  1000   ->  NaN
207ddshi828 shift  NaN  Inf    ->  NaN
208ddshi829 shift  NaN  NaN    ->  NaN
209ddshi830 shift -Inf  NaN    ->  NaN
210ddshi831 shift -1000 NaN    ->  NaN
211ddshi832 shift -1    NaN    ->  NaN
212ddshi833 shift -0    NaN    ->  NaN
213ddshi834 shift  0    NaN    ->  NaN
214ddshi835 shift  1    NaN    ->  NaN
215ddshi836 shift  1000 NaN    ->  NaN
216ddshi837 shift  Inf  NaN    ->  NaN
217
218ddshi841 shift  sNaN -Inf   ->  NaN  Invalid_operation
219ddshi842 shift  sNaN -1000  ->  NaN  Invalid_operation
220ddshi843 shift  sNaN -1     ->  NaN  Invalid_operation
221ddshi844 shift  sNaN -0     ->  NaN  Invalid_operation
222ddshi845 shift  sNaN  0     ->  NaN  Invalid_operation
223ddshi846 shift  sNaN  1     ->  NaN  Invalid_operation
224ddshi847 shift  sNaN  1000  ->  NaN  Invalid_operation
225ddshi848 shift  sNaN  NaN   ->  NaN  Invalid_operation
226ddshi849 shift  sNaN sNaN   ->  NaN  Invalid_operation
227ddshi850 shift  NaN  sNaN   ->  NaN  Invalid_operation
228ddshi851 shift -Inf  sNaN   ->  NaN  Invalid_operation
229ddshi852 shift -1000 sNaN   ->  NaN  Invalid_operation
230ddshi853 shift -1    sNaN   ->  NaN  Invalid_operation
231ddshi854 shift -0    sNaN   ->  NaN  Invalid_operation
232ddshi855 shift  0    sNaN   ->  NaN  Invalid_operation
233ddshi856 shift  1    sNaN   ->  NaN  Invalid_operation
234ddshi857 shift  1000 sNaN   ->  NaN  Invalid_operation
235ddshi858 shift  Inf  sNaN   ->  NaN  Invalid_operation
236ddshi859 shift  NaN  sNaN   ->  NaN  Invalid_operation
237
238-- propagating NaNs
239ddshi861 shift  NaN1   -Inf    ->  NaN1
240ddshi862 shift +NaN2   -1000   ->  NaN2
241ddshi863 shift  NaN3    1000   ->  NaN3
242ddshi864 shift  NaN4    Inf    ->  NaN4
243ddshi865 shift  NaN5   +NaN6   ->  NaN5
244ddshi866 shift -Inf     NaN7   ->  NaN7
245ddshi867 shift -1000    NaN8   ->  NaN8
246ddshi868 shift  1000    NaN9   ->  NaN9
247ddshi869 shift  Inf    +NaN10  ->  NaN10
248ddshi871 shift  sNaN11  -Inf   ->  NaN11  Invalid_operation
249ddshi872 shift  sNaN12  -1000  ->  NaN12  Invalid_operation
250ddshi873 shift  sNaN13   1000  ->  NaN13  Invalid_operation
251ddshi874 shift  sNaN14   NaN17 ->  NaN14  Invalid_operation
252ddshi875 shift  sNaN15  sNaN18 ->  NaN15  Invalid_operation
253ddshi876 shift  NaN16   sNaN19 ->  NaN19  Invalid_operation
254ddshi877 shift -Inf    +sNaN20 ->  NaN20  Invalid_operation
255ddshi878 shift -1000    sNaN21 ->  NaN21  Invalid_operation
256ddshi879 shift  1000    sNaN22 ->  NaN22  Invalid_operation
257ddshi880 shift  Inf     sNaN23 ->  NaN23  Invalid_operation
258ddshi881 shift +NaN25  +sNaN24 ->  NaN24  Invalid_operation
259ddshi882 shift -NaN26    NaN28 -> -NaN26
260ddshi883 shift -sNaN27  sNaN29 -> -NaN27  Invalid_operation
261ddshi884 shift  1000    -NaN30 -> -NaN30
262ddshi885 shift  1000   -sNaN31 -> -NaN31  Invalid_operation
263