|
From: <sv...@va...> - 2012-04-12 17:29:11
|
sewardj 2012-04-12 18:28:57 +0100 (Thu, 12 Apr 2012)
New Revision: 12500
Log:
POWER Processor decimal floating point instruction support: part 2
(bug #297497) (Carl Love, ca...@us...) (Valgrind side, mostly
tests)
Added files:
trunk/none/tests/ppc32/test_dfp2.c
trunk/none/tests/ppc32/test_dfp2.stderr.exp
trunk/none/tests/ppc32/test_dfp2.stdout.exp
trunk/none/tests/ppc32/test_dfp2.stdout.exp_Without_dcffix
trunk/none/tests/ppc32/test_dfp2.vgtest
trunk/none/tests/ppc64/test_dfp2.c
trunk/none/tests/ppc64/test_dfp2.stderr.exp
trunk/none/tests/ppc64/test_dfp2.vgtest
Modified files:
trunk/memcheck/mc_translate.c
trunk/none/tests/ppc32/Makefile.am
trunk/none/tests/ppc64/Makefile.am
Added: trunk/none/tests/ppc64/test_dfp2.vgtest (+2 -0)
===================================================================
--- trunk/none/tests/ppc64/test_dfp2.vgtest 2012-04-11 22:25:37 +01:00 (rev 12499)
+++ trunk/none/tests/ppc64/test_dfp2.vgtest 2012-04-12 18:28:57 +01:00 (rev 12500)
@@ -0,0 +1,2 @@
+prereq: ../../../tests/check_dfp_cap
+prog: test_dfp2
Added: trunk/none/tests/ppc32/test_dfp2.stderr.exp (+2 -0)
===================================================================
--- trunk/none/tests/ppc32/test_dfp2.stderr.exp 2012-04-11 22:25:37 +01:00 (rev 12499)
+++ trunk/none/tests/ppc32/test_dfp2.stderr.exp 2012-04-12 18:28:57 +01:00 (rev 12500)
@@ -0,0 +1,2 @@
+
+
Added: trunk/none/tests/ppc32/test_dfp2.stdout.exp (+1679 -0)
===================================================================
--- trunk/none/tests/ppc32/test_dfp2.stdout.exp 2012-04-11 22:25:37 +01:00 (rev 12499)
+++ trunk/none/tests/ppc32/test_dfp2.stdout.exp 2012-04-12 18:28:57 +01:00 (rev 12500)
@@ -0,0 +1,1679 @@
+Test DFP fomat conversion instructions
+
+test with rounding mode 0
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 1
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 2
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 3
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 4
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 5
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 6
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+test with rounding mode 7
+dctdp 2234000000000e50 D32->D64 => 20a4000000000e50
+dctdp 223400000014c000 D32->D64 => 20a800000004c000
+dctdp a2340000000000e0 D32->D64 => 20a40000000000e0
+dctdp 22240000000000cf D32->D64 => 20a40000000000cf
+dctdp a21400010a395bcf D32->D64 => 2130000000295bcf
+dctdp 6e4d3f1f534acdd4 D32->D64 => 23740000004acdd4
+dctdp 000400000089b000 D32->D64 => 20c400000009b000
+dctdp 2238000000000000 D32->D64 => 20a4000000000000
+dctdp a238000000000000 D32->D64 => 20a4000000000000
+dctdp 4248000000000000 D32->D64 => 20a4000000000000
+dctdp 7e34000000000111 D32->D64 => 20a4000000000111
+dctdp fe000000d0e0a0d0 D32->D64 => a2dc00000040a0d0
+dctdp fc00000000000000 D32->D64 => 20a4000000000000
+dctdp 7800000000000000 D32->D64 => 20a4000000000000
+dctdp f800000000000000 D32->D64 => 20a4000000000000
+
+
+test with rounding mode 0
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e57
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000000
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 1
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e56
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000000
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 2
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e56
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fd7c
+drsp 000400000089b000 D64->D32 => 0000000000000001
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 3
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e57
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000000
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 4
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e57
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000000
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 5
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e57
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000000
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 6
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e57
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fd7c
+drsp 000400000089b000 D64->D32 => 0000000000000001
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+test with rounding mode 7
+drsp 2234000000000e50 D64->D32 => 0000000022400e50
+drsp 223400000014c000 D64->D32 => 000000002644c000
+drsp a2340000000000e0 D64->D32 => 00000000a24000e0
+drsp 22240000000000cf D64->D32 => 00000000220000cf
+drsp a21400010a395bcf D64->D32 => 00000000b1f28e56
+drsp 6e4d3f1f534acdd4 D64->D32 => 000000006f34fc7d
+drsp 000400000089b000 D64->D32 => 0000000000000001
+drsp 2238000000000000 D64->D32 => 0000000022500000
+drsp a238000000000000 D64->D32 => 00000000a2500000
+drsp 4248000000000000 D64->D32 => 0000000043f00000
+drsp 7e34000000000111 D64->D32 => 000000007e000111
+drsp fe000000d0e0a0d0 D64->D32 => 00000000fe00a0d0
+drsp fc00000000000000 D64->D32 => 00000000fc000000
+drsp 7800000000000000 D64->D32 => 0000000078000000
+drsp f800000000000000 D64->D32 => 00000000f8000000
+
+
+test with rounding mode 0
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000000
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000000
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 1
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000000
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000000
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 2
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000001
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000001
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 3
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000000
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffb
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000000
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 4
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000000
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000000
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 5
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000000
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000000
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 6
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000001
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffb
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000001
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+test with rounding mode 7
+dctfix 2234000000000e50 D64->I64S => 0000000000000159
+dctfix 223400000014c000 D64->I64S => 000000000001e078
+dctfix a2340000000000e0 D64->I64S => fffffffffffffff0
+dctfix 22240000000000cf D64->I64S => 0000000000000001
+dctfix a21400010a395bcf D64->I64S => fffffffffffffffc
+dctfix 6e4d3f1f534acdd4 D64->I64S => 7fffffffffffffff
+dctfix 000400000089b000 D64->I64S => 0000000000000001
+dctfix 2238000000000000 D64->I64S => 0000000000000000
+dctfix a238000000000000 D64->I64S => 0000000000000000
+dctfix 4248000000000000 D64->I64S => 0000000000000000
+dctfix 7e34000000000111 D64->I64S => 8000000000000000
+dctfix fe000000d0e0a0d0 D64->I64S => 8000000000000000
+dctfix fc00000000000000 D64->I64S => 8000000000000000
+dctfix 7800000000000000 D64->I64S => 7fffffffffffffff
+dctfix f800000000000000 D64->I64S => 8000000000000000
+
+
+test with rounding mode 0
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 1
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 2
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 3
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 4
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 5
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 6
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+test with rounding mode 7
+dctqpq 2207c00000000000 0000000000000e50 D64->D128 ==> 2204c00000000000 0003c00000000000
+dctqpq 2f07c00000000000 000000000014c000 D64->D128 ==> 2214c00000000000 000fc00000000000
+dctqpq a207c00000000000 00000000000000e0 D64->D128 ==> a204c00000000000 0003c00000000000
+dctqpq 2206c00000000000 00000000000000cf D64->D128 ==> 2204c00000000000 0002c00000000000
+dctqpq a205c00000000000 000000010a395bcf D64->D128 ==> a204c00000000000 0001c00000000000
+dctqpq 6209400000fd0000 00253f1f534acdd4 D64->D128 ==> 21c5000000000000 0021400000fd0000
+dctqpq 000400000089b000 0a6000d000000049 D64->D128 ==> 21a4c00000000000 000000000089b000
+dctqpq 2208000000000000 0000000000000000 D64->D128 ==> 2205000000000000 0000000000000000
+dctqpq a208000000000000 0000000000000000 D64->D128 ==> a205000000000000 0000000000000000
+dctqpq a248000000000000 0000000000000000 D64->D128 ==> a209000000000000 0000000000000000
+dctqpq 7c00000000000000 0000000000000000 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq fc00000000000000 c00100035b007700 D64->D128 ==> fc00000000000000 0000000000000000
+dctqpq 7e00000000000000 fe000000d0e0a0d0 D64->D128 ==> 7c00000000000000 0000000000000000
+dctqpq 7800000000000000 0000000000000000 D64->D128 ==> 7800000000000000 0000000000000000
+dctqpq f800000000000000 0000000000000000 D64->D128 ==> f800000000000000 0000000000000000
+
+
+test with rounding mode 0
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 1
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 2
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 3
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffb 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 4
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 5
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 6
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffb 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+test with rounding mode 7
+dctfixq 2207c00000000000 0000000000000e50 D128->I64S ==> 0000000000000159 0000000000000000
+dctfixq 2f07c00000000000 000000000014c000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq a207c00000000000 00000000000000e0 D128->I64S ==> fffffffffffffff0 0000000000000000
+dctfixq 2206c00000000000 00000000000000cf D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq a205c00000000000 000000010a395bcf D128->I64S ==> fffffffffffffffc 0000000000000000
+dctfixq 6209400000fd0000 00253f1f534acdd4 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 000400000089b000 0a6000d000000049 D128->I64S ==> 0000000000000001 0000000000000000
+dctfixq 2208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a208000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq a248000000000000 0000000000000000 D128->I64S ==> 0000000000000000 0000000000000000
+dctfixq 7c00000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq fc00000000000000 c00100035b007700 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7e00000000000000 fe000000d0e0a0d0 D128->I64S ==> 8000000000000000 0000000000000000
+dctfixq 7800000000000000 0000000000000000 D128->I64S ==> 7fffffffffffffff 0000000000000000
+dctfixq f800000000000000 0000000000000000 D128->I64S ==> 8000000000000000 0000000000000000
+
+
+test with rounding mode 0
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 1
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 2
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 3
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 4
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 5
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000000 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 6
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+test with rounding mode 7
+drdpq 2207c00000000000 0000000000000e50 D128->D64 ==> 2234000000000e50 0000000000000000
+drdpq 2f07c00000000000 000000000014c000 D128->D64 ==> 77fcff3fcff3fcff 0000000000000000
+drdpq a207c00000000000 00000000000000e0 D128->D64 ==> a2340000000000e0 0000000000000000
+drdpq 2206c00000000000 00000000000000cf D128->D64 ==> 22240000000000cf 0000000000000000
+drdpq a205c00000000000 000000010a395bcf D128->D64 ==> a21400010a395bcf 0000000000000000
+drdpq 6209400000fd0000 00253f1f534acdd4 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 000400000089b000 0a6000d000000049 D128->D64 ==> 0000000000000001 0000000000000000
+drdpq 2208000000000000 0000000000000000 D128->D64 ==> 2238000000000000 0000000000000000
+drdpq a208000000000000 0000000000000000 D128->D64 ==> a238000000000000 0000000000000000
+drdpq a248000000000000 0000000000000000 D128->D64 ==> c238000000000000 0000000000000000
+drdpq 7c00000000000000 0000000000000000 D128->D64 ==> 7c00000000000000 0000000000000000
+drdpq fc00000000000000 c00100035b007700 D128->D64 ==> fc0100035b007700 0000000000000000
+drdpq 7e00000000000000 fe000000d0e0a0d0 D128->D64 ==> 7c000000d0e0a0d0 0000000000000000
+drdpq 7800000000000000 0000000000000000 D128->D64 ==> 7800000000000000 0000000000000000
+drdpq f800000000000000 0000000000000000 D128->D64 ==> f800000000000000 0000000000000000
+
+Test DFP shift instructions
+
+test with rounding mode 0
+dscri 2234000000000e50 0000000000000000 >> 0 ==> 2234000000000e50 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 1 ==> 22340000000001c5 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 15 ==> 2234000000000000 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 63 ==> 2234000000000000 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 0 ==> 6e4d3f1f534acdd4 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 1 ==> 224d8fe3ca394db5 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 15 ==> 224c000000000009 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 63 ==> 224c000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 0 ==> 000400000089b000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 1 ==> 00040000000c3a00 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 15 ==> 0004000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 63 ==> 0004000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 0 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 1 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 15 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 63 ==> 2238000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 0 ==> 7e00000000000111 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 1 ==> 7e00000000000021 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 15 ==> 7e00000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 63 ==> 7e00000000000000 0000000000000000
+
+test with rounding mode 1
+dscri 2234000000000e50 0000000000000000 >> 0 ==> 2234000000000e50 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 1 ==> 22340000000001c5 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 15 ==> 2234000000000000 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 63 ==> 2234000000000000 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 0 ==> 6e4d3f1f534acdd4 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 1 ==> 224d8fe3ca394db5 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 15 ==> 224c000000000009 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 63 ==> 224c000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 0 ==> 000400000089b000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 1 ==> 00040000000c3a00 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 15 ==> 0004000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 63 ==> 0004000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 0 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 1 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 15 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 63 ==> 2238000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 0 ==> 7e00000000000111 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 1 ==> 7e00000000000021 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 15 ==> 7e00000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 63 ==> 7e00000000000000 0000000000000000
+
+test with rounding mode 2
+dscri 2234000000000e50 0000000000000000 >> 0 ==> 2234000000000e50 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 1 ==> 22340000000001c5 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 15 ==> 2234000000000000 0000000000000000
+dscri 2234000000000e50 0000000000000000 >> 63 ==> 2234000000000000 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 0 ==> 6e4d3f1f534acdd4 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 1 ==> 224d8fe3ca394db5 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 15 ==> 224c000000000009 0000000000000000
+dscri 6e4d3f1f534acdd4 0000000000000000 >> 63 ==> 224c000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 0 ==> 000400000089b000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 1 ==> 00040000000c3a00 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 15 ==> 0004000000000000 0000000000000000
+dscri 000400000089b000 0000000000000000 >> 63 ==> 0004000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 0 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 1 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 15 ==> 2238000000000000 0000000000000000
+dscri 2238000000000000 0000000000000000 >> 63 ==> 2238000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 0 ==> 7e00000000000111 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 1 ==> 7e00000000000021 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 15 ==> 7e00000000000000 0000000000000000
+dscri 7e34000000000111 0000000000000000 >> 63 ==> 7e00000000000000 0000000000000000
+
+test with rounding mode 3
+dscri 22...
[truncated message content] |