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