blob: ec472403e6be6b4ef4485de04768d57d4bb396db [file] [log] [blame]
Thomas Wouters1b7f8912007-09-19 03:06:30 +00001------------------------------------------------------------------------
2-- ddShift.decTest -- shift decDouble coefficient left or right --
Benjamin Petersonf17ff4e2008-07-31 16:32:12 +00003-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
Thomas Wouters1b7f8912007-09-19 03:06:30 +00004------------------------------------------------------------------------
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------------------------------------------------------------------------
Mark Dickinson8a546532009-10-08 16:30:38 +000020version: 2.59
Thomas Wouters1b7f8912007-09-19 03:06:30 +000021
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