test_dfp2.stdout.exp revision 436e89c602e787e7a27dd6624b09beed41a0da8a 
1Test DFP fomat conversion instructions
2
3test with rounding mode 0
4dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
5dctdp 223400000014c000 D32->D64  => 20a800000004c000
6dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
7dctdp 22240000000000cf D32->D64  => 20a40000000000cf
8dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
9dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
10dctdp 000400000089b000 D32->D64  => 20c400000009b000
11dctdp 2238000000000000 D32->D64  => 20a4000000000000
12dctdp a238000000000000 D32->D64  => 20a4000000000000
13dctdp 4248000000000000 D32->D64  => 20a4000000000000
14dctdp 7e34000000000111 D32->D64  => 20a4000000000111
15dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
16dctdp fc00000000000000 D32->D64  => 20a4000000000000
17dctdp 7800000000000000 D32->D64  => 20a4000000000000
18dctdp f800000000000000 D32->D64  => 20a4000000000000
19
20test with rounding mode 1
21dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
22dctdp 223400000014c000 D32->D64  => 20a800000004c000
23dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
24dctdp 22240000000000cf D32->D64  => 20a40000000000cf
25dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
26dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
27dctdp 000400000089b000 D32->D64  => 20c400000009b000
28dctdp 2238000000000000 D32->D64  => 20a4000000000000
29dctdp a238000000000000 D32->D64  => 20a4000000000000
30dctdp 4248000000000000 D32->D64  => 20a4000000000000
31dctdp 7e34000000000111 D32->D64  => 20a4000000000111
32dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
33dctdp fc00000000000000 D32->D64  => 20a4000000000000
34dctdp 7800000000000000 D32->D64  => 20a4000000000000
35dctdp f800000000000000 D32->D64  => 20a4000000000000
36
37test with rounding mode 2
38dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
39dctdp 223400000014c000 D32->D64  => 20a800000004c000
40dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
41dctdp 22240000000000cf D32->D64  => 20a40000000000cf
42dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
43dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
44dctdp 000400000089b000 D32->D64  => 20c400000009b000
45dctdp 2238000000000000 D32->D64  => 20a4000000000000
46dctdp a238000000000000 D32->D64  => 20a4000000000000
47dctdp 4248000000000000 D32->D64  => 20a4000000000000
48dctdp 7e34000000000111 D32->D64  => 20a4000000000111
49dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
50dctdp fc00000000000000 D32->D64  => 20a4000000000000
51dctdp 7800000000000000 D32->D64  => 20a4000000000000
52dctdp f800000000000000 D32->D64  => 20a4000000000000
53
54test with rounding mode 3
55dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
56dctdp 223400000014c000 D32->D64  => 20a800000004c000
57dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
58dctdp 22240000000000cf D32->D64  => 20a40000000000cf
59dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
60dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
61dctdp 000400000089b000 D32->D64  => 20c400000009b000
62dctdp 2238000000000000 D32->D64  => 20a4000000000000
63dctdp a238000000000000 D32->D64  => 20a4000000000000
64dctdp 4248000000000000 D32->D64  => 20a4000000000000
65dctdp 7e34000000000111 D32->D64  => 20a4000000000111
66dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
67dctdp fc00000000000000 D32->D64  => 20a4000000000000
68dctdp 7800000000000000 D32->D64  => 20a4000000000000
69dctdp f800000000000000 D32->D64  => 20a4000000000000
70
71test with rounding mode 4
72dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
73dctdp 223400000014c000 D32->D64  => 20a800000004c000
74dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
75dctdp 22240000000000cf D32->D64  => 20a40000000000cf
76dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
77dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
78dctdp 000400000089b000 D32->D64  => 20c400000009b000
79dctdp 2238000000000000 D32->D64  => 20a4000000000000
80dctdp a238000000000000 D32->D64  => 20a4000000000000
81dctdp 4248000000000000 D32->D64  => 20a4000000000000
82dctdp 7e34000000000111 D32->D64  => 20a4000000000111
83dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
84dctdp fc00000000000000 D32->D64  => 20a4000000000000
85dctdp 7800000000000000 D32->D64  => 20a4000000000000
86dctdp f800000000000000 D32->D64  => 20a4000000000000
87
88test with rounding mode 5
89dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
90dctdp 223400000014c000 D32->D64  => 20a800000004c000
91dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
92dctdp 22240000000000cf D32->D64  => 20a40000000000cf
93dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
94dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
95dctdp 000400000089b000 D32->D64  => 20c400000009b000
96dctdp 2238000000000000 D32->D64  => 20a4000000000000
97dctdp a238000000000000 D32->D64  => 20a4000000000000
98dctdp 4248000000000000 D32->D64  => 20a4000000000000
99dctdp 7e34000000000111 D32->D64  => 20a4000000000111
100dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
101dctdp fc00000000000000 D32->D64  => 20a4000000000000
102dctdp 7800000000000000 D32->D64  => 20a4000000000000
103dctdp f800000000000000 D32->D64  => 20a4000000000000
104
105test with rounding mode 6
106dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
107dctdp 223400000014c000 D32->D64  => 20a800000004c000
108dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
109dctdp 22240000000000cf D32->D64  => 20a40000000000cf
110dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
111dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
112dctdp 000400000089b000 D32->D64  => 20c400000009b000
113dctdp 2238000000000000 D32->D64  => 20a4000000000000
114dctdp a238000000000000 D32->D64  => 20a4000000000000
115dctdp 4248000000000000 D32->D64  => 20a4000000000000
116dctdp 7e34000000000111 D32->D64  => 20a4000000000111
117dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
118dctdp fc00000000000000 D32->D64  => 20a4000000000000
119dctdp 7800000000000000 D32->D64  => 20a4000000000000
120dctdp f800000000000000 D32->D64  => 20a4000000000000
121
122test with rounding mode 7
123dctdp 2234000000000e50 D32->D64  => 20a4000000000e50
124dctdp 223400000014c000 D32->D64  => 20a800000004c000
125dctdp a2340000000000e0 D32->D64  => 20a40000000000e0
126dctdp 22240000000000cf D32->D64  => 20a40000000000cf
127dctdp a21400010a395bcf D32->D64  => 2130000000295bcf
128dctdp 6e4d3f1f534acdd4 D32->D64  => 23740000004acdd4
129dctdp 000400000089b000 D32->D64  => 20c400000009b000
130dctdp 2238000000000000 D32->D64  => 20a4000000000000
131dctdp a238000000000000 D32->D64  => 20a4000000000000
132dctdp 4248000000000000 D32->D64  => 20a4000000000000
133dctdp 7e34000000000111 D32->D64  => 20a4000000000111
134dctdp fe000000d0e0a0d0 D32->D64  => a2dc00000040a0d0
135dctdp fc00000000000000 D32->D64  => 20a4000000000000
136dctdp 7800000000000000 D32->D64  => 20a4000000000000
137dctdp f800000000000000 D32->D64  => 20a4000000000000
138
139
140test with rounding mode 0
141drsp 2234000000000e50 D64->D32  => 0000000022400e50
142drsp 223400000014c000 D64->D32  => 000000002644c000
143drsp a2340000000000e0 D64->D32  => 00000000a24000e0
144drsp 22240000000000cf D64->D32  => 00000000220000cf
145drsp a21400010a395bcf D64->D32  => 00000000b1f28e57
146drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
147drsp 000400000089b000 D64->D32  => 0000000000000000
148drsp 2238000000000000 D64->D32  => 0000000022500000
149drsp a238000000000000 D64->D32  => 00000000a2500000
150drsp 4248000000000000 D64->D32  => 0000000043f00000
151drsp 7e34000000000111 D64->D32  => 000000007e000111
152drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
153drsp fc00000000000000 D64->D32  => 00000000fc000000
154drsp 7800000000000000 D64->D32  => 0000000078000000
155drsp f800000000000000 D64->D32  => 00000000f8000000
156
157test with rounding mode 1
158drsp 2234000000000e50 D64->D32  => 0000000022400e50
159drsp 223400000014c000 D64->D32  => 000000002644c000
160drsp a2340000000000e0 D64->D32  => 00000000a24000e0
161drsp 22240000000000cf D64->D32  => 00000000220000cf
162drsp a21400010a395bcf D64->D32  => 00000000b1f28e56
163drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
164drsp 000400000089b000 D64->D32  => 0000000000000000
165drsp 2238000000000000 D64->D32  => 0000000022500000
166drsp a238000000000000 D64->D32  => 00000000a2500000
167drsp 4248000000000000 D64->D32  => 0000000043f00000
168drsp 7e34000000000111 D64->D32  => 000000007e000111
169drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
170drsp fc00000000000000 D64->D32  => 00000000fc000000
171drsp 7800000000000000 D64->D32  => 0000000078000000
172drsp f800000000000000 D64->D32  => 00000000f8000000
173
174test with rounding mode 2
175drsp 2234000000000e50 D64->D32  => 0000000022400e50
176drsp 223400000014c000 D64->D32  => 000000002644c000
177drsp a2340000000000e0 D64->D32  => 00000000a24000e0
178drsp 22240000000000cf D64->D32  => 00000000220000cf
179drsp a21400010a395bcf D64->D32  => 00000000b1f28e56
180drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fd7c
181drsp 000400000089b000 D64->D32  => 0000000000000001
182drsp 2238000000000000 D64->D32  => 0000000022500000
183drsp a238000000000000 D64->D32  => 00000000a2500000
184drsp 4248000000000000 D64->D32  => 0000000043f00000
185drsp 7e34000000000111 D64->D32  => 000000007e000111
186drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
187drsp fc00000000000000 D64->D32  => 00000000fc000000
188drsp 7800000000000000 D64->D32  => 0000000078000000
189drsp f800000000000000 D64->D32  => 00000000f8000000
190
191test with rounding mode 3
192drsp 2234000000000e50 D64->D32  => 0000000022400e50
193drsp 223400000014c000 D64->D32  => 000000002644c000
194drsp a2340000000000e0 D64->D32  => 00000000a24000e0
195drsp 22240000000000cf D64->D32  => 00000000220000cf
196drsp a21400010a395bcf D64->D32  => 00000000b1f28e57
197drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
198drsp 000400000089b000 D64->D32  => 0000000000000000
199drsp 2238000000000000 D64->D32  => 0000000022500000
200drsp a238000000000000 D64->D32  => 00000000a2500000
201drsp 4248000000000000 D64->D32  => 0000000043f00000
202drsp 7e34000000000111 D64->D32  => 000000007e000111
203drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
204drsp fc00000000000000 D64->D32  => 00000000fc000000
205drsp 7800000000000000 D64->D32  => 0000000078000000
206drsp f800000000000000 D64->D32  => 00000000f8000000
207
208test with rounding mode 4
209drsp 2234000000000e50 D64->D32  => 0000000022400e50
210drsp 223400000014c000 D64->D32  => 000000002644c000
211drsp a2340000000000e0 D64->D32  => 00000000a24000e0
212drsp 22240000000000cf D64->D32  => 00000000220000cf
213drsp a21400010a395bcf D64->D32  => 00000000b1f28e57
214drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
215drsp 000400000089b000 D64->D32  => 0000000000000000
216drsp 2238000000000000 D64->D32  => 0000000022500000
217drsp a238000000000000 D64->D32  => 00000000a2500000
218drsp 4248000000000000 D64->D32  => 0000000043f00000
219drsp 7e34000000000111 D64->D32  => 000000007e000111
220drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
221drsp fc00000000000000 D64->D32  => 00000000fc000000
222drsp 7800000000000000 D64->D32  => 0000000078000000
223drsp f800000000000000 D64->D32  => 00000000f8000000
224
225test with rounding mode 5
226drsp 2234000000000e50 D64->D32  => 0000000022400e50
227drsp 223400000014c000 D64->D32  => 000000002644c000
228drsp a2340000000000e0 D64->D32  => 00000000a24000e0
229drsp 22240000000000cf D64->D32  => 00000000220000cf
230drsp a21400010a395bcf D64->D32  => 00000000b1f28e57
231drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
232drsp 000400000089b000 D64->D32  => 0000000000000000
233drsp 2238000000000000 D64->D32  => 0000000022500000
234drsp a238000000000000 D64->D32  => 00000000a2500000
235drsp 4248000000000000 D64->D32  => 0000000043f00000
236drsp 7e34000000000111 D64->D32  => 000000007e000111
237drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
238drsp fc00000000000000 D64->D32  => 00000000fc000000
239drsp 7800000000000000 D64->D32  => 0000000078000000
240drsp f800000000000000 D64->D32  => 00000000f8000000
241
242test with rounding mode 6
243drsp 2234000000000e50 D64->D32  => 0000000022400e50
244drsp 223400000014c000 D64->D32  => 000000002644c000
245drsp a2340000000000e0 D64->D32  => 00000000a24000e0
246drsp 22240000000000cf D64->D32  => 00000000220000cf
247drsp a21400010a395bcf D64->D32  => 00000000b1f28e57
248drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fd7c
249drsp 000400000089b000 D64->D32  => 0000000000000001
250drsp 2238000000000000 D64->D32  => 0000000022500000
251drsp a238000000000000 D64->D32  => 00000000a2500000
252drsp 4248000000000000 D64->D32  => 0000000043f00000
253drsp 7e34000000000111 D64->D32  => 000000007e000111
254drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
255drsp fc00000000000000 D64->D32  => 00000000fc000000
256drsp 7800000000000000 D64->D32  => 0000000078000000
257drsp f800000000000000 D64->D32  => 00000000f8000000
258
259test with rounding mode 7
260drsp 2234000000000e50 D64->D32  => 0000000022400e50
261drsp 223400000014c000 D64->D32  => 000000002644c000
262drsp a2340000000000e0 D64->D32  => 00000000a24000e0
263drsp 22240000000000cf D64->D32  => 00000000220000cf
264drsp a21400010a395bcf D64->D32  => 00000000b1f28e56
265drsp 6e4d3f1f534acdd4 D64->D32  => 000000006f34fc7d
266drsp 000400000089b000 D64->D32  => 0000000000000001
267drsp 2238000000000000 D64->D32  => 0000000022500000
268drsp a238000000000000 D64->D32  => 00000000a2500000
269drsp 4248000000000000 D64->D32  => 0000000043f00000
270drsp 7e34000000000111 D64->D32  => 000000007e000111
271drsp fe000000d0e0a0d0 D64->D32  => 00000000fe00a0d0
272drsp fc00000000000000 D64->D32  => 00000000fc000000
273drsp 7800000000000000 D64->D32  => 0000000078000000
274drsp f800000000000000 D64->D32  => 00000000f8000000
275
276
277test with rounding mode 0
278dctfix 2234000000000e50 D64->I64S  => 0000000000000159
279dctfix 223400000014c000 D64->I64S  => 000000000001e078
280dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
281dctfix 22240000000000cf D64->I64S  => 0000000000000000
282dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
283dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
284dctfix 000400000089b000 D64->I64S  => 0000000000000000
285dctfix 2238000000000000 D64->I64S  => 0000000000000000
286dctfix a238000000000000 D64->I64S  => 0000000000000000
287dctfix 4248000000000000 D64->I64S  => 0000000000000000
288dctfix 7e34000000000111 D64->I64S  => 8000000000000000
289dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
290dctfix fc00000000000000 D64->I64S  => 8000000000000000
291dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
292dctfix f800000000000000 D64->I64S  => 8000000000000000
293
294test with rounding mode 1
295dctfix 2234000000000e50 D64->I64S  => 0000000000000159
296dctfix 223400000014c000 D64->I64S  => 000000000001e078
297dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
298dctfix 22240000000000cf D64->I64S  => 0000000000000000
299dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
300dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
301dctfix 000400000089b000 D64->I64S  => 0000000000000000
302dctfix 2238000000000000 D64->I64S  => 0000000000000000
303dctfix a238000000000000 D64->I64S  => 0000000000000000
304dctfix 4248000000000000 D64->I64S  => 0000000000000000
305dctfix 7e34000000000111 D64->I64S  => 8000000000000000
306dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
307dctfix fc00000000000000 D64->I64S  => 8000000000000000
308dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
309dctfix f800000000000000 D64->I64S  => 8000000000000000
310
311test with rounding mode 2
312dctfix 2234000000000e50 D64->I64S  => 0000000000000159
313dctfix 223400000014c000 D64->I64S  => 000000000001e078
314dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
315dctfix 22240000000000cf D64->I64S  => 0000000000000001
316dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
317dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
318dctfix 000400000089b000 D64->I64S  => 0000000000000001
319dctfix 2238000000000000 D64->I64S  => 0000000000000000
320dctfix a238000000000000 D64->I64S  => 0000000000000000
321dctfix 4248000000000000 D64->I64S  => 0000000000000000
322dctfix 7e34000000000111 D64->I64S  => 8000000000000000
323dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
324dctfix fc00000000000000 D64->I64S  => 8000000000000000
325dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
326dctfix f800000000000000 D64->I64S  => 8000000000000000
327
328test with rounding mode 3
329dctfix 2234000000000e50 D64->I64S  => 0000000000000159
330dctfix 223400000014c000 D64->I64S  => 000000000001e078
331dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
332dctfix 22240000000000cf D64->I64S  => 0000000000000000
333dctfix a21400010a395bcf D64->I64S  => fffffffffffffffb
334dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
335dctfix 000400000089b000 D64->I64S  => 0000000000000000
336dctfix 2238000000000000 D64->I64S  => 0000000000000000
337dctfix a238000000000000 D64->I64S  => 0000000000000000
338dctfix 4248000000000000 D64->I64S  => 0000000000000000
339dctfix 7e34000000000111 D64->I64S  => 8000000000000000
340dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
341dctfix fc00000000000000 D64->I64S  => 8000000000000000
342dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
343dctfix f800000000000000 D64->I64S  => 8000000000000000
344
345test with rounding mode 4
346dctfix 2234000000000e50 D64->I64S  => 0000000000000159
347dctfix 223400000014c000 D64->I64S  => 000000000001e078
348dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
349dctfix 22240000000000cf D64->I64S  => 0000000000000000
350dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
351dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
352dctfix 000400000089b000 D64->I64S  => 0000000000000000
353dctfix 2238000000000000 D64->I64S  => 0000000000000000
354dctfix a238000000000000 D64->I64S  => 0000000000000000
355dctfix 4248000000000000 D64->I64S  => 0000000000000000
356dctfix 7e34000000000111 D64->I64S  => 8000000000000000
357dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
358dctfix fc00000000000000 D64->I64S  => 8000000000000000
359dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
360dctfix f800000000000000 D64->I64S  => 8000000000000000
361
362test with rounding mode 5
363dctfix 2234000000000e50 D64->I64S  => 0000000000000159
364dctfix 223400000014c000 D64->I64S  => 000000000001e078
365dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
366dctfix 22240000000000cf D64->I64S  => 0000000000000000
367dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
368dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
369dctfix 000400000089b000 D64->I64S  => 0000000000000000
370dctfix 2238000000000000 D64->I64S  => 0000000000000000
371dctfix a238000000000000 D64->I64S  => 0000000000000000
372dctfix 4248000000000000 D64->I64S  => 0000000000000000
373dctfix 7e34000000000111 D64->I64S  => 8000000000000000
374dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
375dctfix fc00000000000000 D64->I64S  => 8000000000000000
376dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
377dctfix f800000000000000 D64->I64S  => 8000000000000000
378
379test with rounding mode 6
380dctfix 2234000000000e50 D64->I64S  => 0000000000000159
381dctfix 223400000014c000 D64->I64S  => 000000000001e078
382dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
383dctfix 22240000000000cf D64->I64S  => 0000000000000001
384dctfix a21400010a395bcf D64->I64S  => fffffffffffffffb
385dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
386dctfix 000400000089b000 D64->I64S  => 0000000000000001
387dctfix 2238000000000000 D64->I64S  => 0000000000000000
388dctfix a238000000000000 D64->I64S  => 0000000000000000
389dctfix 4248000000000000 D64->I64S  => 0000000000000000
390dctfix 7e34000000000111 D64->I64S  => 8000000000000000
391dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
392dctfix fc00000000000000 D64->I64S  => 8000000000000000
393dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
394dctfix f800000000000000 D64->I64S  => 8000000000000000
395
396test with rounding mode 7
397dctfix 2234000000000e50 D64->I64S  => 0000000000000159
398dctfix 223400000014c000 D64->I64S  => 000000000001e078
399dctfix a2340000000000e0 D64->I64S  => fffffffffffffff0
400dctfix 22240000000000cf D64->I64S  => 0000000000000001
401dctfix a21400010a395bcf D64->I64S  => fffffffffffffffc
402dctfix 6e4d3f1f534acdd4 D64->I64S  => 7fffffffffffffff
403dctfix 000400000089b000 D64->I64S  => 0000000000000001
404dctfix 2238000000000000 D64->I64S  => 0000000000000000
405dctfix a238000000000000 D64->I64S  => 0000000000000000
406dctfix 4248000000000000 D64->I64S  => 0000000000000000
407dctfix 7e34000000000111 D64->I64S  => 8000000000000000
408dctfix fe000000d0e0a0d0 D64->I64S  => 8000000000000000
409dctfix fc00000000000000 D64->I64S  => 8000000000000000
410dctfix 7800000000000000 D64->I64S  => 7fffffffffffffff
411dctfix f800000000000000 D64->I64S  => 8000000000000000
412
413
414test with rounding mode 0
415dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
416dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
417dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
418dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
419dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
420dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
421dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
422dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
423dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
424dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
425dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
426dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
427dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
428dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
429dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
430
431test with rounding mode 1
432dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
433dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
434dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
435dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
436dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
437dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
438dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
439dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
440dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
441dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
442dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
443dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
444dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
445dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
446dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
447
448test with rounding mode 2
449dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
450dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
451dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
452dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
453dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
454dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
455dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
456dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
457dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
458dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
459dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
460dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
461dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
462dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
463dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
464
465test with rounding mode 3
466dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
467dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
468dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
469dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
470dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
471dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
472dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
473dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
474dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
475dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
476dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
477dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
478dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
479dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
480dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
481
482test with rounding mode 4
483dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
484dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
485dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
486dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
487dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
488dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
489dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
490dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
491dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
492dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
493dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
494dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
495dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
496dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
497dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
498
499test with rounding mode 5
500dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
501dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
502dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
503dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
504dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
505dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
506dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
507dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
508dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
509dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
510dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
511dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
512dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
513dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
514dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
515
516test with rounding mode 6
517dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
518dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
519dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
520dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
521dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
522dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
523dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
524dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
525dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
526dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
527dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
528dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
529dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
530dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
531dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
532
533test with rounding mode 7
534dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
535dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
536dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
537dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
538dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
539dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
540dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
541dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
542dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
543dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
544dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
545dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
546dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
547dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
548dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
549
550
551test with rounding mode 0
552dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
553dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
554dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
555dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
556dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
557dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
558dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
559dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
560dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
561dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
562dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
563dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
564dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
565dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
566dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
567
568test with rounding mode 1
569dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
570dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
571dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
572dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
573dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
574dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
575dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
576dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
577dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
578dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
579dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
580dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
581dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
582dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
583dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
584
585test with rounding mode 2
586dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
587dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
588dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
589dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
590dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
591dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
592dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
593dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
594dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
595dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
596dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
597dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
598dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
599dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
600dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
601
602test with rounding mode 3
603dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
604dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
605dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
606dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
607dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffb 0000000000000000
608dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
609dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
610dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
611dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
612dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
613dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
614dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
615dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
616dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
617dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
618
619test with rounding mode 4
620dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
621dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
622dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
623dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
624dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
625dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
626dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
627dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
628dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
629dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
630dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
631dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
632dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
633dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
634dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
635
636test with rounding mode 5
637dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
638dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
639dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
640dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
641dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
642dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
643dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
644dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
645dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
646dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
647dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
648dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
649dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
650dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
651dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
652
653test with rounding mode 6
654dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
655dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
656dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
657dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
658dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffb 0000000000000000
659dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
660dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
661dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
662dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
663dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
664dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
665dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
666dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
667dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
668dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
669
670test with rounding mode 7
671dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
672dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
673dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
674dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
675dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
676dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
677dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
678dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
679dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
680dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
681dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
682dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
683dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
684dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
685dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
686
687
688test with rounding mode 0
689drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
690drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
691drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
692drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
693drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
694drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
695drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
696drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
697drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
698drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
699drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
700drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
701drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
702drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
703drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
704
705test with rounding mode 1
706drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
707drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
708drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
709drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
710drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
711drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
712drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
713drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
714drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
715drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
716drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
717drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
718drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
719drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
720drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
721
722test with rounding mode 2
723drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
724drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
725drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
726drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
727drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
728drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
729drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
730drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
731drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
732drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
733drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
734drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
735drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
736drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
737drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
738
739test with rounding mode 3
740drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
741drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
742drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
743drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
744drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
745drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
746drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
747drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
748drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
749drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
750drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
751drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
752drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
753drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
754drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
755
756test with rounding mode 4
757drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
758drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
759drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
760drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
761drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
762drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
763drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
764drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
765drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
766drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
767drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
768drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
769drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
770drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
771drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
772
773test with rounding mode 5
774drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
775drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
776drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
777drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
778drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
779drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
780drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
781drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
782drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
783drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
784drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
785drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
786drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
787drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
788drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
789
790test with rounding mode 6
791drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
792drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
793drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
794drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
795drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
796drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
797drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
798drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
799drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
800drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
801drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
802drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
803drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
804drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
805drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
806
807test with rounding mode 7
808drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
809drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
810drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
811drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
812drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
813drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
814drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
815drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
816drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
817drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
818drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
819drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
820drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
821drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
822drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
823
824Test DFP shift instructions
825
826test with rounding mode 0
827dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
828dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
829dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
830dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
831dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
832dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
833dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
834dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
835dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
836dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
837dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
838dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
839dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
840dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
841dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
842dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
843dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
844dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
845dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
846dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
847
848test with rounding mode 1
849dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
850dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
851dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
852dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
853dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
854dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
855dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
856dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
857dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
858dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
859dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
860dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
861dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
862dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
863dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
864dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
865dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
866dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
867dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
868dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
869
870test with rounding mode 2
871dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
872dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
873dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
874dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
875dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
876dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
877dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
878dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
879dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
880dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
881dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
882dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
883dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
884dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
885dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
886dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
887dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
888dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
889dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
890dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
891
892test with rounding mode 3
893dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
894dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
895dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
896dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
897dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
898dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
899dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
900dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
901dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
902dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
903dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
904dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
905dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
906dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
907dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
908dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
909dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
910dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
911dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
912dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
913
914test with rounding mode 4
915dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
916dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
917dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
918dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
919dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
920dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
921dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
922dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
923dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
924dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
925dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
926dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
927dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
928dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
929dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
930dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
931dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
932dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
933dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
934dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
935
936test with rounding mode 5
937dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
938dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
939dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
940dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
941dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
942dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
943dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
944dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
945dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
946dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
947dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
948dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
949dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
950dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
951dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
952dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
953dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
954dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
955dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
956dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
957
958test with rounding mode 6
959dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
960dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
961dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
962dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
963dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
964dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
965dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
966dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
967dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
968dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
969dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
970dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
971dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
972dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
973dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
974dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
975dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
976dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
977dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
978dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
979
980test with rounding mode 7
981dscri 2234000000000e50 0000000000000000 >> 0    ==> 2234000000000e50 0000000000000000
982dscri 2234000000000e50 0000000000000000 >> 1    ==> 22340000000001c5 0000000000000000
983dscri 2234000000000e50 0000000000000000 >> 15   ==> 2234000000000000 0000000000000000
984dscri 2234000000000e50 0000000000000000 >> 63   ==> 2234000000000000 0000000000000000
985dscri 6e4d3f1f534acdd4 0000000000000000 >> 0    ==> 6e4d3f1f534acdd4 0000000000000000
986dscri 6e4d3f1f534acdd4 0000000000000000 >> 1    ==> 224d8fe3ca394db5 0000000000000000
987dscri 6e4d3f1f534acdd4 0000000000000000 >> 15   ==> 224c000000000009 0000000000000000
988dscri 6e4d3f1f534acdd4 0000000000000000 >> 63   ==> 224c000000000000 0000000000000000
989dscri 000400000089b000 0000000000000000 >> 0    ==> 000400000089b000 0000000000000000
990dscri 000400000089b000 0000000000000000 >> 1    ==> 00040000000c3a00 0000000000000000
991dscri 000400000089b000 0000000000000000 >> 15   ==> 0004000000000000 0000000000000000
992dscri 000400000089b000 0000000000000000 >> 63   ==> 0004000000000000 0000000000000000
993dscri 2238000000000000 0000000000000000 >> 0    ==> 2238000000000000 0000000000000000
994dscri 2238000000000000 0000000000000000 >> 1    ==> 2238000000000000 0000000000000000
995dscri 2238000000000000 0000000000000000 >> 15   ==> 2238000000000000 0000000000000000
996dscri 2238000000000000 0000000000000000 >> 63   ==> 2238000000000000 0000000000000000
997dscri 7e34000000000111 0000000000000000 >> 0    ==> 7e00000000000111 0000000000000000
998dscri 7e34000000000111 0000000000000000 >> 1    ==> 7e00000000000021 0000000000000000
999dscri 7e34000000000111 0000000000000000 >> 15   ==> 7e00000000000000 0000000000000000
1000dscri 7e34000000000111 0000000000000000 >> 63   ==> 7e00000000000000 0000000000000000
1001
1002
1003test with rounding mode 0
1004dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1005dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1006dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1007dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1008dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1009dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1010dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1011dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1012dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1013dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1014dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1015dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1016dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1017dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1018dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1019dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1020dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1021dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1022dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1023dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1024
1025test with rounding mode 1
1026dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1027dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1028dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1029dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1030dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1031dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1032dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1033dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1034dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1035dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1036dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1037dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1038dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1039dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1040dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1041dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1042dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1043dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1044dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1045dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1046
1047test with rounding mode 2
1048dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1049dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1050dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1051dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1052dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1053dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1054dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1055dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1056dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1057dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1058dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1059dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1060dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1061dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1062dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1063dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1064dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1065dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1066dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1067dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1068
1069test with rounding mode 3
1070dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1071dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1072dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1073dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1074dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1075dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1076dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1077dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1078dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1079dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1080dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1081dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1082dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1083dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1084dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1085dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1086dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1087dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1088dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1089dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1090
1091test with rounding mode 4
1092dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1093dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1094dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1095dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1096dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1097dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1098dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1099dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1100dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1101dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1102dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1103dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1104dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1105dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1106dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1107dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1108dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1109dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1110dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1111dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1112
1113test with rounding mode 5
1114dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1115dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1116dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1117dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1118dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1119dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1120dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1121dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1122dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1123dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1124dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1125dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1126dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1127dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1128dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1129dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1130dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1131dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1132dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1133dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1134
1135test with rounding mode 6
1136dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1137dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1138dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1139dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1140dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1141dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1142dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1143dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1144dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1145dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1146dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1147dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1148dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1149dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1150dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1151dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1152dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1153dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1154dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1155dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1156
1157test with rounding mode 7
1158dscli 2234000000000e50 0000000000000000 << 0    ==> 2234000000000e50 0000000000000000
1159dscli 2234000000000e50 0000000000000000 << 1    ==> 223400000000d280 0000000000000000
1160dscli 2234000000000e50 0000000000000000 << 15   ==> 2234000000000000 0000000000000000
1161dscli 2234000000000e50 0000000000000000 << 63   ==> 2234000000000000 0000000000000000
1162dscli 6e4d3f1f534acdd4 0000000000000000 << 0    ==> 6e4d3f1f534acdd4 0000000000000000
1163dscli 6e4d3f1f534acdd4 0000000000000000 << 1    ==> 6a4ddee49c56cec0 0000000000000000
1164dscli 6e4d3f1f534acdd4 0000000000000000 << 15   ==> 324c000000000000 0000000000000000
1165dscli 6e4d3f1f534acdd4 0000000000000000 << 63   ==> 224c000000000000 0000000000000000
1166dscli 000400000089b000 0000000000000000 << 0    ==> 000400000089b000 0000000000000000
1167dscli 000400000089b000 0000000000000000 << 1    ==> 0004000004ed0000 0000000000000000
1168dscli 000400000089b000 0000000000000000 << 15   ==> 0004000000000000 0000000000000000
1169dscli 000400000089b000 0000000000000000 << 63   ==> 0004000000000000 0000000000000000
1170dscli 2238000000000000 0000000000000000 << 0    ==> 2238000000000000 0000000000000000
1171dscli 2238000000000000 0000000000000000 << 1    ==> 2238000000000000 0000000000000000
1172dscli 2238000000000000 0000000000000000 << 15   ==> 2238000000000000 0000000000000000
1173dscli 2238000000000000 0000000000000000 << 63   ==> 2238000000000000 0000000000000000
1174dscli 7e34000000000111 0000000000000000 << 0    ==> 7e00000000000111 0000000000000000
1175dscli 7e34000000000111 0000000000000000 << 1    ==> 7e00000000000890 0000000000000000
1176dscli 7e34000000000111 0000000000000000 << 15   ==> 7e00000000000000 0000000000000000
1177dscli 7e34000000000111 0000000000000000 << 63   ==> 7e00000000000000 0000000000000000
1178
1179
1180test with rounding mode 0
1181dscriq 2207c00000000000 >> 0   => 2207c00000000000
1182dscriq 2207c00000000000 >> 1   => 2207c00000000000
1183dscriq 2207c00000000000 >> 15  => 2207c00000000000
1184dscriq 2207c00000000000 >> 63  => 2207c00000000000
1185dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1186dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1187dscriq 6209400000fd0000 >> 15  => 0209400000000000
1188dscriq 6209400000fd0000 >> 63  => 0209400000000000
1189dscriq 000400000089b000 >> 0   => 000400000089b000
1190dscriq 000400000089b000 >> 1   => 000400000010b700
1191dscriq 000400000089b000 >> 15  => 0004000000000000
1192dscriq 000400000089b000 >> 63  => 0004000000000000
1193dscriq 2208000000000000 >> 0   => 2208000000000000
1194dscriq 2208000000000000 >> 1   => 2208000000000000
1195dscriq 2208000000000000 >> 15  => 2208000000000000
1196dscriq 2208000000000000 >> 63  => 2208000000000000
1197dscriq 7c00000000000000 >> 0   => 7c00000000000000
1198dscriq 7c00000000000000 >> 1   => 7c00000000000000
1199dscriq 7c00000000000000 >> 15  => 7c00000000000000
1200dscriq 7c00000000000000 >> 63  => 7c00000000000000
1201
1202test with rounding mode 1
1203dscriq 2207c00000000000 >> 0   => 2207c00000000000
1204dscriq 2207c00000000000 >> 1   => 2207c00000000000
1205dscriq 2207c00000000000 >> 15  => 2207c00000000000
1206dscriq 2207c00000000000 >> 63  => 2207c00000000000
1207dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1208dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1209dscriq 6209400000fd0000 >> 15  => 0209400000000000
1210dscriq 6209400000fd0000 >> 63  => 0209400000000000
1211dscriq 000400000089b000 >> 0   => 000400000089b000
1212dscriq 000400000089b000 >> 1   => 000400000010b700
1213dscriq 000400000089b000 >> 15  => 0004000000000000
1214dscriq 000400000089b000 >> 63  => 0004000000000000
1215dscriq 2208000000000000 >> 0   => 2208000000000000
1216dscriq 2208000000000000 >> 1   => 2208000000000000
1217dscriq 2208000000000000 >> 15  => 2208000000000000
1218dscriq 2208000000000000 >> 63  => 2208000000000000
1219dscriq 7c00000000000000 >> 0   => 7c00000000000000
1220dscriq 7c00000000000000 >> 1   => 7c00000000000000
1221dscriq 7c00000000000000 >> 15  => 7c00000000000000
1222dscriq 7c00000000000000 >> 63  => 7c00000000000000
1223
1224test with rounding mode 2
1225dscriq 2207c00000000000 >> 0   => 2207c00000000000
1226dscriq 2207c00000000000 >> 1   => 2207c00000000000
1227dscriq 2207c00000000000 >> 15  => 2207c00000000000
1228dscriq 2207c00000000000 >> 63  => 2207c00000000000
1229dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1230dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1231dscriq 6209400000fd0000 >> 15  => 0209400000000000
1232dscriq 6209400000fd0000 >> 63  => 0209400000000000
1233dscriq 000400000089b000 >> 0   => 000400000089b000
1234dscriq 000400000089b000 >> 1   => 000400000010b700
1235dscriq 000400000089b000 >> 15  => 0004000000000000
1236dscriq 000400000089b000 >> 63  => 0004000000000000
1237dscriq 2208000000000000 >> 0   => 2208000000000000
1238dscriq 2208000000000000 >> 1   => 2208000000000000
1239dscriq 2208000000000000 >> 15  => 2208000000000000
1240dscriq 2208000000000000 >> 63  => 2208000000000000
1241dscriq 7c00000000000000 >> 0   => 7c00000000000000
1242dscriq 7c00000000000000 >> 1   => 7c00000000000000
1243dscriq 7c00000000000000 >> 15  => 7c00000000000000
1244dscriq 7c00000000000000 >> 63  => 7c00000000000000
1245
1246test with rounding mode 3
1247dscriq 2207c00000000000 >> 0   => 2207c00000000000
1248dscriq 2207c00000000000 >> 1   => 2207c00000000000
1249dscriq 2207c00000000000 >> 15  => 2207c00000000000
1250dscriq 2207c00000000000 >> 63  => 2207c00000000000
1251dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1252dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1253dscriq 6209400000fd0000 >> 15  => 0209400000000000
1254dscriq 6209400000fd0000 >> 63  => 0209400000000000
1255dscriq 000400000089b000 >> 0   => 000400000089b000
1256dscriq 000400000089b000 >> 1   => 000400000010b700
1257dscriq 000400000089b000 >> 15  => 0004000000000000
1258dscriq 000400000089b000 >> 63  => 0004000000000000
1259dscriq 2208000000000000 >> 0   => 2208000000000000
1260dscriq 2208000000000000 >> 1   => 2208000000000000
1261dscriq 2208000000000000 >> 15  => 2208000000000000
1262dscriq 2208000000000000 >> 63  => 2208000000000000
1263dscriq 7c00000000000000 >> 0   => 7c00000000000000
1264dscriq 7c00000000000000 >> 1   => 7c00000000000000
1265dscriq 7c00000000000000 >> 15  => 7c00000000000000
1266dscriq 7c00000000000000 >> 63  => 7c00000000000000
1267
1268test with rounding mode 4
1269dscriq 2207c00000000000 >> 0   => 2207c00000000000
1270dscriq 2207c00000000000 >> 1   => 2207c00000000000
1271dscriq 2207c00000000000 >> 15  => 2207c00000000000
1272dscriq 2207c00000000000 >> 63  => 2207c00000000000
1273dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1274dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1275dscriq 6209400000fd0000 >> 15  => 0209400000000000
1276dscriq 6209400000fd0000 >> 63  => 0209400000000000
1277dscriq 000400000089b000 >> 0   => 000400000089b000
1278dscriq 000400000089b000 >> 1   => 000400000010b700
1279dscriq 000400000089b000 >> 15  => 0004000000000000
1280dscriq 000400000089b000 >> 63  => 0004000000000000
1281dscriq 2208000000000000 >> 0   => 2208000000000000
1282dscriq 2208000000000000 >> 1   => 2208000000000000
1283dscriq 2208000000000000 >> 15  => 2208000000000000
1284dscriq 2208000000000000 >> 63  => 2208000000000000
1285dscriq 7c00000000000000 >> 0   => 7c00000000000000
1286dscriq 7c00000000000000 >> 1   => 7c00000000000000
1287dscriq 7c00000000000000 >> 15  => 7c00000000000000
1288dscriq 7c00000000000000 >> 63  => 7c00000000000000
1289
1290test with rounding mode 5
1291dscriq 2207c00000000000 >> 0   => 2207c00000000000
1292dscriq 2207c00000000000 >> 1   => 2207c00000000000
1293dscriq 2207c00000000000 >> 15  => 2207c00000000000
1294dscriq 2207c00000000000 >> 63  => 2207c00000000000
1295dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1296dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1297dscriq 6209400000fd0000 >> 15  => 0209400000000000
1298dscriq 6209400000fd0000 >> 63  => 0209400000000000
1299dscriq 000400000089b000 >> 0   => 000400000089b000
1300dscriq 000400000089b000 >> 1   => 000400000010b700
1301dscriq 000400000089b000 >> 15  => 0004000000000000
1302dscriq 000400000089b000 >> 63  => 0004000000000000
1303dscriq 2208000000000000 >> 0   => 2208000000000000
1304dscriq 2208000000000000 >> 1   => 2208000000000000
1305dscriq 2208000000000000 >> 15  => 2208000000000000
1306dscriq 2208000000000000 >> 63  => 2208000000000000
1307dscriq 7c00000000000000 >> 0   => 7c00000000000000
1308dscriq 7c00000000000000 >> 1   => 7c00000000000000
1309dscriq 7c00000000000000 >> 15  => 7c00000000000000
1310dscriq 7c00000000000000 >> 63  => 7c00000000000000
1311
1312test with rounding mode 6
1313dscriq 2207c00000000000 >> 0   => 2207c00000000000
1314dscriq 2207c00000000000 >> 1   => 2207c00000000000
1315dscriq 2207c00000000000 >> 15  => 2207c00000000000
1316dscriq 2207c00000000000 >> 63  => 2207c00000000000
1317dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1318dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1319dscriq 6209400000fd0000 >> 15  => 0209400000000000
1320dscriq 6209400000fd0000 >> 63  => 0209400000000000
1321dscriq 000400000089b000 >> 0   => 000400000089b000
1322dscriq 000400000089b000 >> 1   => 000400000010b700
1323dscriq 000400000089b000 >> 15  => 0004000000000000
1324dscriq 000400000089b000 >> 63  => 0004000000000000
1325dscriq 2208000000000000 >> 0   => 2208000000000000
1326dscriq 2208000000000000 >> 1   => 2208000000000000
1327dscriq 2208000000000000 >> 15  => 2208000000000000
1328dscriq 2208000000000000 >> 63  => 2208000000000000
1329dscriq 7c00000000000000 >> 0   => 7c00000000000000
1330dscriq 7c00000000000000 >> 1   => 7c00000000000000
1331dscriq 7c00000000000000 >> 15  => 7c00000000000000
1332dscriq 7c00000000000000 >> 63  => 7c00000000000000
1333
1334test with rounding mode 7
1335dscriq 2207c00000000000 >> 0   => 2207c00000000000
1336dscriq 2207c00000000000 >> 1   => 2207c00000000000
1337dscriq 2207c00000000000 >> 15  => 2207c00000000000
1338dscriq 2207c00000000000 >> 63  => 2207c00000000000
1339dscriq 6209400000fd0000 >> 0   => 6209400000fd0000
1340dscriq 6209400000fd0000 >> 1   => 020940c0007b2000
1341dscriq 6209400000fd0000 >> 15  => 0209400000000000
1342dscriq 6209400000fd0000 >> 63  => 0209400000000000
1343dscriq 000400000089b000 >> 0   => 000400000089b000
1344dscriq 000400000089b000 >> 1   => 000400000010b700
1345dscriq 000400000089b000 >> 15  => 0004000000000000
1346dscriq 000400000089b000 >> 63  => 0004000000000000
1347dscriq 2208000000000000 >> 0   => 2208000000000000
1348dscriq 2208000000000000 >> 1   => 2208000000000000
1349dscriq 2208000000000000 >> 15  => 2208000000000000
1350dscriq 2208000000000000 >> 63  => 2208000000000000
1351dscriq 7c00000000000000 >> 0   => 7c00000000000000
1352dscriq 7c00000000000000 >> 1   => 7c00000000000000
1353dscriq 7c00000000000000 >> 15  => 7c00000000000000
1354dscriq 7c00000000000000 >> 63  => 7c00000000000000
1355
1356
1357test with rounding mode 0
1358dscliq 2207c00000000000 << 0   => 2207c00000000000
1359dscliq 2207c00000000000 << 1   => 2207c00000000000
1360dscliq 2207c00000000000 << 15  => 2207c00000000000
1361dscliq 2207c00000000000 << 63  => 2207c00000000000
1362dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1363dscliq 6209400000fd0000 << 1   => 0209400027900000
1364dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1365dscliq 6209400000fd0000 << 63  => 0209400000000000
1366dscliq 000400000089b000 << 0   => 000400000089b000
1367dscliq 000400000089b000 << 1   => 00040000045b8000
1368dscliq 000400000089b000 << 15  => 0004298003400000
1369dscliq 000400000089b000 << 63  => 0004000000000000
1370dscliq 2208000000000000 << 0   => 2208000000000000
1371dscliq 2208000000000000 << 1   => 2208000000000000
1372dscliq 2208000000000000 << 15  => 2208000000000000
1373dscliq 2208000000000000 << 63  => 2208000000000000
1374dscliq 7c00000000000000 << 0   => 7c00000000000000
1375dscliq 7c00000000000000 << 1   => 7c00000000000000
1376dscliq 7c00000000000000 << 15  => 7c00000000000000
1377dscliq 7c00000000000000 << 63  => 7c00000000000000
1378
1379test with rounding mode 1
1380dscliq 2207c00000000000 << 0   => 2207c00000000000
1381dscliq 2207c00000000000 << 1   => 2207c00000000000
1382dscliq 2207c00000000000 << 15  => 2207c00000000000
1383dscliq 2207c00000000000 << 63  => 2207c00000000000
1384dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1385dscliq 6209400000fd0000 << 1   => 0209400027900000
1386dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1387dscliq 6209400000fd0000 << 63  => 0209400000000000
1388dscliq 000400000089b000 << 0   => 000400000089b000
1389dscliq 000400000089b000 << 1   => 00040000045b8000
1390dscliq 000400000089b000 << 15  => 0004298003400000
1391dscliq 000400000089b000 << 63  => 0004000000000000
1392dscliq 2208000000000000 << 0   => 2208000000000000
1393dscliq 2208000000000000 << 1   => 2208000000000000
1394dscliq 2208000000000000 << 15  => 2208000000000000
1395dscliq 2208000000000000 << 63  => 2208000000000000
1396dscliq 7c00000000000000 << 0   => 7c00000000000000
1397dscliq 7c00000000000000 << 1   => 7c00000000000000
1398dscliq 7c00000000000000 << 15  => 7c00000000000000
1399dscliq 7c00000000000000 << 63  => 7c00000000000000
1400
1401test with rounding mode 2
1402dscliq 2207c00000000000 << 0   => 2207c00000000000
1403dscliq 2207c00000000000 << 1   => 2207c00000000000
1404dscliq 2207c00000000000 << 15  => 2207c00000000000
1405dscliq 2207c00000000000 << 63  => 2207c00000000000
1406dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1407dscliq 6209400000fd0000 << 1   => 0209400027900000
1408dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1409dscliq 6209400000fd0000 << 63  => 0209400000000000
1410dscliq 000400000089b000 << 0   => 000400000089b000
1411dscliq 000400000089b000 << 1   => 00040000045b8000
1412dscliq 000400000089b000 << 15  => 0004298003400000
1413dscliq 000400000089b000 << 63  => 0004000000000000
1414dscliq 2208000000000000 << 0   => 2208000000000000
1415dscliq 2208000000000000 << 1   => 2208000000000000
1416dscliq 2208000000000000 << 15  => 2208000000000000
1417dscliq 2208000000000000 << 63  => 2208000000000000
1418dscliq 7c00000000000000 << 0   => 7c00000000000000
1419dscliq 7c00000000000000 << 1   => 7c00000000000000
1420dscliq 7c00000000000000 << 15  => 7c00000000000000
1421dscliq 7c00000000000000 << 63  => 7c00000000000000
1422
1423test with rounding mode 3
1424dscliq 2207c00000000000 << 0   => 2207c00000000000
1425dscliq 2207c00000000000 << 1   => 2207c00000000000
1426dscliq 2207c00000000000 << 15  => 2207c00000000000
1427dscliq 2207c00000000000 << 63  => 2207c00000000000
1428dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1429dscliq 6209400000fd0000 << 1   => 0209400027900000
1430dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1431dscliq 6209400000fd0000 << 63  => 0209400000000000
1432dscliq 000400000089b000 << 0   => 000400000089b000
1433dscliq 000400000089b000 << 1   => 00040000045b8000
1434dscliq 000400000089b000 << 15  => 0004298003400000
1435dscliq 000400000089b000 << 63  => 0004000000000000
1436dscliq 2208000000000000 << 0   => 2208000000000000
1437dscliq 2208000000000000 << 1   => 2208000000000000
1438dscliq 2208000000000000 << 15  => 2208000000000000
1439dscliq 2208000000000000 << 63  => 2208000000000000
1440dscliq 7c00000000000000 << 0   => 7c00000000000000
1441dscliq 7c00000000000000 << 1   => 7c00000000000000
1442dscliq 7c00000000000000 << 15  => 7c00000000000000
1443dscliq 7c00000000000000 << 63  => 7c00000000000000
1444
1445test with rounding mode 4
1446dscliq 2207c00000000000 << 0   => 2207c00000000000
1447dscliq 2207c00000000000 << 1   => 2207c00000000000
1448dscliq 2207c00000000000 << 15  => 2207c00000000000
1449dscliq 2207c00000000000 << 63  => 2207c00000000000
1450dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1451dscliq 6209400000fd0000 << 1   => 0209400027900000
1452dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1453dscliq 6209400000fd0000 << 63  => 0209400000000000
1454dscliq 000400000089b000 << 0   => 000400000089b000
1455dscliq 000400000089b000 << 1   => 00040000045b8000
1456dscliq 000400000089b000 << 15  => 0004298003400000
1457dscliq 000400000089b000 << 63  => 0004000000000000
1458dscliq 2208000000000000 << 0   => 2208000000000000
1459dscliq 2208000000000000 << 1   => 2208000000000000
1460dscliq 2208000000000000 << 15  => 2208000000000000
1461dscliq 2208000000000000 << 63  => 2208000000000000
1462dscliq 7c00000000000000 << 0   => 7c00000000000000
1463dscliq 7c00000000000000 << 1   => 7c00000000000000
1464dscliq 7c00000000000000 << 15  => 7c00000000000000
1465dscliq 7c00000000000000 << 63  => 7c00000000000000
1466
1467test with rounding mode 5
1468dscliq 2207c00000000000 << 0   => 2207c00000000000
1469dscliq 2207c00000000000 << 1   => 2207c00000000000
1470dscliq 2207c00000000000 << 15  => 2207c00000000000
1471dscliq 2207c00000000000 << 63  => 2207c00000000000
1472dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1473dscliq 6209400000fd0000 << 1   => 0209400027900000
1474dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1475dscliq 6209400000fd0000 << 63  => 0209400000000000
1476dscliq 000400000089b000 << 0   => 000400000089b000
1477dscliq 000400000089b000 << 1   => 00040000045b8000
1478dscliq 000400000089b000 << 15  => 0004298003400000
1479dscliq 000400000089b000 << 63  => 0004000000000000
1480dscliq 2208000000000000 << 0   => 2208000000000000
1481dscliq 2208000000000000 << 1   => 2208000000000000
1482dscliq 2208000000000000 << 15  => 2208000000000000
1483dscliq 2208000000000000 << 63  => 2208000000000000
1484dscliq 7c00000000000000 << 0   => 7c00000000000000
1485dscliq 7c00000000000000 << 1   => 7c00000000000000
1486dscliq 7c00000000000000 << 15  => 7c00000000000000
1487dscliq 7c00000000000000 << 63  => 7c00000000000000
1488
1489test with rounding mode 6
1490dscliq 2207c00000000000 << 0   => 2207c00000000000
1491dscliq 2207c00000000000 << 1   => 2207c00000000000
1492dscliq 2207c00000000000 << 15  => 2207c00000000000
1493dscliq 2207c00000000000 << 63  => 2207c00000000000
1494dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1495dscliq 6209400000fd0000 << 1   => 0209400027900000
1496dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1497dscliq 6209400000fd0000 << 63  => 0209400000000000
1498dscliq 000400000089b000 << 0   => 000400000089b000
1499dscliq 000400000089b000 << 1   => 00040000045b8000
1500dscliq 000400000089b000 << 15  => 0004298003400000
1501dscliq 000400000089b000 << 63  => 0004000000000000
1502dscliq 2208000000000000 << 0   => 2208000000000000
1503dscliq 2208000000000000 << 1   => 2208000000000000
1504dscliq 2208000000000000 << 15  => 2208000000000000
1505dscliq 2208000000000000 << 63  => 2208000000000000
1506dscliq 7c00000000000000 << 0   => 7c00000000000000
1507dscliq 7c00000000000000 << 1   => 7c00000000000000
1508dscliq 7c00000000000000 << 15  => 7c00000000000000
1509dscliq 7c00000000000000 << 63  => 7c00000000000000
1510
1511test with rounding mode 7
1512dscliq 2207c00000000000 << 0   => 2207c00000000000
1513dscliq 2207c00000000000 << 1   => 2207c00000000000
1514dscliq 2207c00000000000 << 15  => 2207c00000000000
1515dscliq 2207c00000000000 << 63  => 2207c00000000000
1516dscliq 6209400000fd0000 << 0   => 6209400000fd0000
1517dscliq 6209400000fd0000 << 1   => 0209400027900000
1518dscliq 6209400000fd0000 << 15  => 02094094fc7d4d2b
1519dscliq 6209400000fd0000 << 63  => 0209400000000000
1520dscliq 000400000089b000 << 0   => 000400000089b000
1521dscliq 000400000089b000 << 1   => 00040000045b8000
1522dscliq 000400000089b000 << 15  => 0004298003400000
1523dscliq 000400000089b000 << 63  => 0004000000000000
1524dscliq 2208000000000000 << 0   => 2208000000000000
1525dscliq 2208000000000000 << 1   => 2208000000000000
1526dscliq 2208000000000000 << 15  => 2208000000000000
1527dscliq 2208000000000000 << 63  => 2208000000000000
1528dscliq 7c00000000000000 << 0   => 7c00000000000000
1529dscliq 7c00000000000000 << 1   => 7c00000000000000
1530dscliq 7c00000000000000 << 15  => 7c00000000000000
1531dscliq 7c00000000000000 << 63  => 7c00000000000000
1532
1533Test DCFFIX and DCFFIXQ instructions
1534
1535test with rounding mode 0
1536dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1537dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1538dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1539dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1540dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1541dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1542dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1543
1544test with rounding mode 1
1545dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1546dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1547dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1548dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1549dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1550dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1551dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1552
1553test with rounding mode 2
1554dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1555dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1556dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1557dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1558dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1559dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1560dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1561
1562test with rounding mode 3
1563dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1564dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1565dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1566dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1567dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1568dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1569dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1570
1571test with rounding mode 4
1572dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1573dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1574dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1575dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1576dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1577dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1578dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1579
1580test with rounding mode 5
1581dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1582dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1583dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1584dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1585dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1586dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1587dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1588
1589test with rounding mode 6
1590dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1591dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1592dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1593dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1594dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1595dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1596dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1597
1598test with rounding mode 7
1599dcffixq 0000000000000000 I64S->D128  => 2208000000000000
1600dcffixq 0000000000000001 I64S->D128  => 2208000000000000
1601dcffixq ffffffffffffffff I64S->D128  => a208000000000000
1602dcffixq 002386f26fc0ffff I64S->D128  => 2208000000000000
1603dcffixq ffdc790d903f0001 I64S->D128  => a208000000000000
1604dcffixq 000462d53c8abac0 I64S->D128  => 2208000000000000
1605dcffixq fffb9d2ac3754540 I64S->D128  => a208000000000000
1606
1607
1608test with rounding mode 0
1609dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1610dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1611dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1612dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1613dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1614dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1615dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1616
1617test with rounding mode 1
1618dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1619dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1620dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1621dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1622dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1623dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1624dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1625
1626test with rounding mode 2
1627dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1628dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1629dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1630dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1631dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1632dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1633dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1634
1635test with rounding mode 3
1636dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1637dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1638dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1639dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1640dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1641dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1642dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1643
1644test with rounding mode 4
1645dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1646dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1647dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1648dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1649dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1650dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1651dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1652
1653test with rounding mode 5
1654dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1655dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1656dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1657dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1658dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1659dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1660dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1661
1662test with rounding mode 6
1663dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1664dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1665dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1666dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1667dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1668dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1669dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1670
1671test with rounding mode 7
1672dcffix 0000000000000000 I64S->D64 ==> 2238000000000000 000534b9c1e28e56
1673dcffix 0000000000000001 I64S->D64 ==> 2238000000000001 000534b9c1e28e56
1674dcffix ffffffffffffffff I64S->D64 ==> a238000000000001 000534b9c1e28e56
1675dcffix 002386f26fc0ffff I64S->D64 ==> 6e38ff3fcff3fcff 000534b9c1e28e56
1676dcffix ffdc790d903f0001 I64S->D64 ==> ee38ff3fcff3fcff 000534b9c1e28e56
1677dcffix 000462d53c8abac0 I64S->D64 ==> 263934b9c1e28e56 000534b9c1e28e56
1678dcffix fffb9d2ac3754540 I64S->D64 ==> a63934b9c1e28e56 000534b9c1e28e56
1679
1680