Home | History | Annotate | Download | only in ppc32 
      1 Test VSX load/store instructions
      2 lxsdx: 01234567 89abcdef => 01234567 89abcdef
      3 lxsdx: 8899aabb 91929394 => 8899aabb 91929394
      4 
      5 lxsdx: 01234567 89abcdef => 01234567 89abcdef
      6 lxsdx: 89abcdef 00112233 => 89abcdef 00112233
      7 lxsdx: 8899aabb 91929394 => 8899aabb 91929394
      8 lxsdx: 91929394 a1a2a3a4 => 91929394 a1a2a3a4
      9 
     10 lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     11 lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4
     12 
     13 lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     14 lxvd2x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb
     15 lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4
     16 lxvd2x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4
     17 
     18 lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef
     19 lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394
     20 
     21 lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef
     22 lxvdsx: 89abcdef 00112233 89abcdef 00112233 => 89abcdef 00112233 89abcdef 00112233
     23 lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394
     24 lxvdsx: 91929394 a1a2a3a4 91929394 a1a2a3a4 => 91929394 a1a2a3a4 91929394 a1a2a3a4
     25 
     26 lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     27 lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4
     28 
     29 lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     30 lxvw4x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb
     31 lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4
     32 lxvw4x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4
     33 
     34 stxsdx: 01234567 89abcdef => 01234567 89abcdef
     35 
     36 stxsdx: 01234567 89abcdef => 01234567 89abcdef
     37 
     38 stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     39 
     40 stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     41 
     42 stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     43 
     44 stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677
     45 
     46 Test VSX logic instructions
     47 xxlxor: 01234567 89abcdef 00112233 44556677 xxlxor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89baefdc 18395e7b a1b38197 f5e7d5c3
     48 xxlxor: 89abcdef 00112233 44556677 8899aabb xxlxor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 18395e7b a1b38197 f5e7d5c3 495b697f
     49 xxlxor: 00112233 44556677 8899aabb 91929394 xxlxor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b38197 f5e7d5c3 495b697f 40404040
     50 xxlxor: 44556677 8899aabb 91929394 a1a2a3a4 xxlxor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5e7d5c3 495b697f 40404040 dbc9fe9a
     51 xxlor: 01234567 89abcdef 00112233 44556677 xxlor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89bbefff 99bbdfff a1b3a3b7 f5f7f7f7
     52 xxlor: 89abcdef 00112233 44556677 8899aabb xxlor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 99bbdfff a1b3a3b7 f5f7f7f7 c9dbebff
     53 xxlor: 00112233 44556677 8899aabb 91929394 xxlor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b3a3b7 f5f7f7f7 c9dbebff d1d2d3d4
     54 xxlor: 44556677 8899aabb 91929394 a1a2a3a4 xxlor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5f7f7f7 c9dbebff d1d2d3d4 fbebffbe
     55 xxlnor: 01234567 89abcdef 00112233 44556677 xxlnor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 76441000 66442000 5e4c5c48 0a080808
     56 xxlnor: 89abcdef 00112233 44556677 8899aabb xxlnor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 66442000 5e4c5c48 0a080808 36241400
     57 xxlnor: 00112233 44556677 8899aabb 91929394 xxlnor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 5e4c5c48 0a080808 36241400 2e2d2c2b
     58 xxlnor: 44556677 8899aabb 91929394 a1a2a3a4 xxlnor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 0a080808 36241400 2e2d2c2b 04140041
     59 xxland: 01234567 89abcdef 00112233 44556677 xxland 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 00010023 81828184 00002220 00102234
     60 xxland: 89abcdef 00112233 44556677 8899aabb xxland 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 81828184 00002220 00102234 80808280
     61 xxland: 00112233 44556677 8899aabb 91929394 xxland a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00002220 00102234 80808280 91929394
     62 xxland: 44556677 8899aabb 91929394 a1a2a3a4 xxland b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 00102234 80808280 91929394 20220124
     63 xxlandc: 01234567 89abcdef 00112233 44556677 xxlandc 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 01224544 08294c6b 00110013 44454443
     64 xxlandc: 89abcdef 00112233 44556677 8899aabb xxlandc 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 08294c6b 00110013 44454443 0819283b
     65 xxlandc: 00112233 44556677 8899aabb 91929394 xxlandc a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00110013 44454443 0819283b 00000000
     66 xxlandc: 44556677 8899aabb 91929394 a1a2a3a4 xxlandc b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 44454443 0819283b 00000000 8180a280
     67 
     68 Test lfiwzx instruction
     69 lfiwzx: 19088743 => 19088743.00
     70 lfiwzx: 2309737967 => 2309737967.00
     71 lfiwzx: 1122867 => 1122867.00
     72 
     73 Test P7 floating point convert instructions
     74 fcfids 0010000000000001 => (raw sp) 59800000)
     75 fcfids 00100094e0000359 => (raw sp) 598004a7)
     76 fcfids 3fe0000000000001 => (raw sp) 5e7f8000)
     77 fcfids 3fe00094e0000359 => (raw sp) 5e7f8002)
     78 fcfids 8010000000000001 => (raw sp) deffe000)
     79 fcfids 80100094e0000359 => (raw sp) deffdfff)
     80 fcfids bfe0000000000001 => (raw sp) de804000)
     81 fcfids bfe00094e0000359 => (raw sp) de803fff)
     82 fcfids 0020000000000b01 => (raw sp) 5a000000)
     83 fcfids 00000000203f0b3d => (raw sp) 4e00fc2d)
     84 fcfids 00000000005a203d => (raw sp) 4ab4407a)
     85 fcfids 8020000000000b01 => (raw sp) deffc000)
     86 fcfids 80000000203f0b3d => (raw sp) df000000)
     87 
     88 fcfidus 0010000000000001 => (raw sp) 59800000)
     89 fcfidus 00100094e0000359 => (raw sp) 598004a7)
     90 fcfidus 3fe0000000000001 => (raw sp) 5e7f8000)
     91 fcfidus 3fe00094e0000359 => (raw sp) 5e7f8002)
     92 fcfidus 8010000000000001 => (raw sp) 5f001000)
     93 fcfidus 80100094e0000359 => (raw sp) 5f001001)
     94 fcfidus bfe0000000000001 => (raw sp) 5f3fe000)
     95 fcfidus bfe00094e0000359 => (raw sp) 5f3fe001)
     96 fcfidus 0020000000000b01 => (raw sp) 5a000000)
     97 fcfidus 00000000203f0b3d => (raw sp) 4e00fc2d)
     98 fcfidus 00000000005a203d => (raw sp) 4ab4407a)
     99 fcfidus 8020000000000b01 => (raw sp) 5f002000)
    100 fcfidus 80000000203f0b3d => (raw sp) 5f000000)
    101 
    102 fcfidu 0010000000000001 => (raw sp) 4330000000000001)
    103 fcfidu 00100094e0000359 => (raw sp) 43300094e0000359)
    104 fcfidu 3fe0000000000001 => (raw sp) 43cff00000000000)
    105 fcfidu 3fe00094e0000359 => (raw sp) 43cff0004a700002)
    106 fcfidu 8010000000000001 => (raw sp) 43e0020000000000)
    107 fcfidu 80100094e0000359 => (raw sp) 43e00200129c0000)
    108 fcfidu bfe0000000000001 => (raw sp) 43e7fc0000000000)
    109 fcfidu bfe00094e0000359 => (raw sp) 43e7fc00129c0000)
    110 fcfidu 0020000000000b01 => (raw sp) 4340000000000580)
    111 fcfidu 00000000203f0b3d => (raw sp) 41c01f859e800000)
    112 fcfidu 00000000005a203d => (raw sp) 4156880f40000000)
    113 fcfidu 8020000000000b01 => (raw sp) 43e0040000000001)
    114 fcfidu 80000000203f0b3d => (raw sp) 43e00000000407e1)
    115 
    116 Test ftdiv instruction
    117 ftdiv: 3fd8000000000000 <=> 404f000000000000 ? 8 (CRx)
    118 ftdiv: 7ff7ffffffffffff <=> 404f000000000000 ? a (CRx)
    119 ftdiv: 404f000000000000 <=> fff8000000000000 ? a (CRx)
    120 ftdiv: 3fd8000000000000 <=> 0018000000b77501 ? a (CRx)
    121 ftdiv: 404f000000000000 <=> 7fe800000000051b ? a (CRx)
    122 ftdiv: 7fe800000000051b <=> 3fd8000000000000 ? a (CRx)
    123 ftdiv: 3fd8000000000000 <=> 7fe800000000051b ? a (CRx)
    124 ftdiv: 0123214569900000 <=> 3fd8000000000000 ? a (CRx)
    125 ftdiv: 7ff0000000000000 <=> 404f000000000000 ? e (CRx)
    126 ftdiv: fff0000000000000 <=> 404f000000000000 ? e (CRx)
    127 ftdiv: 404f000000000000 <=> 7ff0000000000000 ? e (CRx)
    128 ftdiv: 3fd8000000000000 <=> 8008340000078000 ? e (CRx)
    129 ftdiv: 0000000000000000 <=> 0000000000000000 ? e (CRx)
    130 ftdiv: 0000000000000000 <=> 8000000000000000 ? e (CRx)
    131 
    132 Test VSX move instructions
    133 xsabsdp: X[B]: 0123456789abcdef => 0123456789abcdef
    134 xsabsdp: X[B]: 8899aabb19293942 => 0899aabb19293942
    135 xsabsdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
    136 
    137 xscpsgndp: X[A]: 0123456789abcdef  X[B]: 0123456789abcdef => 0123456789abcdef
    138 xscpsgndp: X[A]: 8899aabb19293942  X[B]: 0123456789abcdef => 8123456789abcdef
    139 xscpsgndp: X[A]: c1c2c3c4d1d2d3d4  X[B]: 0123456789abcdef => 8123456789abcdef
    140 xscpsgndp: X[A]: 0123456789abcdef  X[B]: 8899aabb19293942 => 0899aabb19293942
    141 xscpsgndp: X[A]: 8899aabb19293942  X[B]: 8899aabb19293942 => 8899aabb19293942
    142 xscpsgndp: X[A]: c1c2c3c4d1d2d3d4  X[B]: 8899aabb19293942 => 8899aabb19293942
    143 xscpsgndp: X[A]: 0123456789abcdef  X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
    144 xscpsgndp: X[A]: 8899aabb19293942  X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
    145 xscpsgndp: X[A]: c1c2c3c4d1d2d3d4  X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
    146 
    147 xsnabsdp: X[B]: 0123456789abcdef => 8123456789abcdef
    148 xsnabsdp: X[B]: 8899aabb19293942 => 8899aabb19293942
    149 xsnabsdp: X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
    150 
    151 xsnegdp: X[B]: 0123456789abcdef => 8123456789abcdef
    152 xsnegdp: X[B]: 8899aabb19293942 => 0899aabb19293942
    153 xsnegdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
    154 
    155 Test VSX permute instructions
    156 xxmrghw:
    157         XA[11111111,22222222,33333333,44444444]
    158         XB[55555555,66666666,77777777,88888888]
    159    =>   XT[11111111,55555555,22222222,66666666]
    160 xxmrghw:
    161         XA[00112233,44556677,8899aabb,ccddeeff]
    162         XB[11111111,22222222,33333333,44444444]
    163    =>   XT[00112233,11111111,44556677,22222222]
    164 xxmrglw:
    165         XA[11111111,22222222,33333333,44444444]
    166         XB[55555555,66666666,77777777,88888888]
    167    =>   XT[33333333,77777777,44444444,88888888]
    168 xxmrglw:
    169         XA[00112233,44556677,8899aabb,ccddeeff]
    170         XB[11111111,22222222,33333333,44444444]
    171    =>   XT[8899aabb,33333333,ccddeeff,44444444]
    172 xxpermdi DM=00:
    173         XA[11111111,22222222,33333333,44444444]
    174         XB[55555555,66666666,77777777,88888888]
    175    =>   XT[11111111,22222222,55555555,66666666]
    176 xxpermdi DM=01:
    177         XA[11111111,22222222,33333333,44444444]
    178         XB[55555555,66666666,77777777,88888888]
    179    =>   XT[11111111,22222222,77777777,88888888]
    180 xxpermdi DM=10:
    181         XA[11111111,22222222,33333333,44444444]
    182         XB[55555555,66666666,77777777,88888888]
    183    =>   XT[33333333,44444444,55555555,66666666]
    184 xxpermdi DM=11:
    185         XA[11111111,22222222,33333333,44444444]
    186         XB[55555555,66666666,77777777,88888888]
    187    =>   XT[33333333,44444444,77777777,88888888]
    188 xxsldwi SHW=0:
    189         XA[11111111,22222222,33333333,44444444]
    190         XB[55555555,66666666,77777777,88888888]
    191    =>   XT[11111111,22222222,33333333,44444444]
    192 xxsldwi SHW=1:
    193         XA[11111111,22222222,33333333,44444444]
    194         XB[55555555,66666666,77777777,88888888]
    195    =>   XT[22222222,33333333,44444444,55555555]
    196 xxsldwi SHW=2:
    197         XA[11111111,22222222,33333333,44444444]
    198         XB[55555555,66666666,77777777,88888888]
    199    =>   XT[33333333,44444444,55555555,66666666]
    200 xxsldwi SHW=3:
    201         XA[11111111,22222222,33333333,44444444]
    202         XB[55555555,66666666,77777777,88888888]
    203    =>   XT[44444444,55555555,66666666,77777777]
    204 
    205 Test VSX floating point instructions
    206 #0: xscmpudp fff0000000000000 <=> fff0000000000000 ? 2 (CRx)
    207 #1: xscmpudp fff0000000000000 <=> c0d0650f5a07b353 ? 8 (CRx)
    208 #2: xscmpudp fff0000000000000 <=> 8000000000000000 ? 8 (CRx)
    209 #3: xscmpudp fff0000000000000 <=> 0000000000000000 ? 8 (CRx)
    210 #4: xscmpudp fff0000000000000 <=> 0123214569900000 ? 8 (CRx)
    211 #5: xscmpudp fff0000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    212 #6: xscmpudp fff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    213 #7: xscmpudp fff0000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    214 #8: xscmpudp c0d0650f5a07b353 <=> fff0000000000000 ? 4 (CRx)
    215 #9: xscmpudp c0d0650f5a07b353 <=> c0d0650f5a07b353 ? 2 (CRx)
    216 #10: xscmpudp c0d0650f5a07b353 <=> 8000000000000000 ? 8 (CRx)
    217 #11: xscmpudp c0d0650f5a07b353 <=> 0000000000000000 ? 8 (CRx)
    218 #12: xscmpudp c0d0650f5a07b353 <=> 0123214569900000 ? 8 (CRx)
    219 #13: xscmpudp c0d0650f5a07b353 <=> 7ff0000000000000 ? 8 (CRx)
    220 #14: xscmpudp c0d0650f5a07b353 <=> 7ff7ffffffffffff ? 1 (CRx)
    221 #15: xscmpudp c0d0650f5a07b353 <=> 7ff8000000000000 ? 1 (CRx)
    222 #16: xscmpudp 8000000000000000 <=> fff0000000000000 ? 4 (CRx)
    223 #17: xscmpudp 8000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    224 #18: xscmpudp 8000000000000000 <=> 8000000000000000 ? 2 (CRx)
    225 #19: xscmpudp 8000000000000000 <=> 0000000000000000 ? 2 (CRx)
    226 #20: xscmpudp 8000000000000000 <=> 0123214569900000 ? 8 (CRx)
    227 #21: xscmpudp 8000000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    228 #22: xscmpudp 8000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    229 #23: xscmpudp 8000000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    230 #24: xscmpudp 0000000000000000 <=> fff0000000000000 ? 4 (CRx)
    231 #25: xscmpudp 0000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    232 #26: xscmpudp 0000000000000000 <=> 8000000000000000 ? 2 (CRx)
    233 #27: xscmpudp 0000000000000000 <=> 0000000000000000 ? 2 (CRx)
    234 #28: xscmpudp 0000000000000000 <=> 0123214569900000 ? 8 (CRx)
    235 #29: xscmpudp 0000000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    236 #30: xscmpudp 0000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    237 #31: xscmpudp 0000000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    238 #32: xscmpudp 0123214569900000 <=> fff0000000000000 ? 4 (CRx)
    239 #33: xscmpudp 0123214569900000 <=> c0d0650f5a07b353 ? 4 (CRx)
    240 #34: xscmpudp 0123214569900000 <=> 8000000000000000 ? 4 (CRx)
    241 #35: xscmpudp 0123214569900000 <=> 0000000000000000 ? 4 (CRx)
    242 #36: xscmpudp 0123214569900000 <=> 404f000000000000 ? 8 (CRx)
    243 #37: xscmpudp 0123214569900000 <=> 7ff0000000000000 ? 8 (CRx)
    244 #38: xscmpudp 0123214569900000 <=> 7ff7ffffffffffff ? 1 (CRx)
    245 #39: xscmpudp 0123214569900000 <=> 7ff8000000000000 ? 1 (CRx)
    246 #40: xscmpudp 7ff0000000000000 <=> fff0000000000000 ? 4 (CRx)
    247 #41: xscmpudp 7ff0000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    248 #42: xscmpudp 7ff0000000000000 <=> 8000000000000000 ? 4 (CRx)
    249 #43: xscmpudp 7ff0000000000000 <=> 0000000000000000 ? 4 (CRx)
    250 #44: xscmpudp 7ff0000000000000 <=> 0123214569900000 ? 4 (CRx)
    251 #45: xscmpudp 7ff0000000000000 <=> 7ff0000000000000 ? 2 (CRx)
    252 #46: xscmpudp 7ff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    253 #47: xscmpudp 7ff0000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    254 #48: xscmpudp fff7ffffffffffff <=> fff0000000000000 ? 1 (CRx)
    255 #49: xscmpudp fff7ffffffffffff <=> c0d0650f5a07b353 ? 1 (CRx)
    256 #50: xscmpudp fff7ffffffffffff <=> 8000000000000000 ? 1 (CRx)
    257 #51: xscmpudp fff7ffffffffffff <=> 0000000000000000 ? 1 (CRx)
    258 #52: xscmpudp fff7ffffffffffff <=> 0123214569900000 ? 1 (CRx)
    259 #53: xscmpudp fff7ffffffffffff <=> 7ff0000000000000 ? 1 (CRx)
    260 #54: xscmpudp fff7ffffffffffff <=> 7ff7ffffffffffff ? 1 (CRx)
    261 #55: xscmpudp fff7ffffffffffff <=> 7ff8000000000000 ? 1 (CRx)
    262 #56: xscmpudp fff8000000000000 <=> fff0000000000000 ? 1 (CRx)
    263 #57: xscmpudp fff8000000000000 <=> c0d0650f5a07b353 ? 1 (CRx)
    264 #58: xscmpudp fff8000000000000 <=> 8000000000000000 ? 1 (CRx)
    265 #59: xscmpudp fff8000000000000 <=> 0000000000000000 ? 1 (CRx)
    266 #60: xscmpudp fff8000000000000 <=> 0123214569900000 ? 1 (CRx)
    267 #61: xscmpudp fff8000000000000 <=> 7ff0000000000000 ? 1 (CRx)
    268 #62: xscmpudp fff8000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    269 #63: xscmpudp fff8000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    270 
    271 #0: xscmpodp fff0000000000000 <=> fff0000000000000 ? 2 (CRx)
    272 #1: xscmpodp fff0000000000000 <=> c0d0650f5a07b353 ? 8 (CRx)
    273 #2: xscmpodp fff0000000000000 <=> 8000000000000000 ? 8 (CRx)
    274 #3: xscmpodp fff0000000000000 <=> 0000000000000000 ? 8 (CRx)
    275 #4: xscmpodp fff0000000000000 <=> 0123214569900000 ? 8 (CRx)
    276 #5: xscmpodp fff0000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    277 #6: xscmpodp fff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    278 #7: xscmpodp fff0000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    279 #8: xscmpodp c0d0650f5a07b353 <=> fff0000000000000 ? 4 (CRx)
    280 #9: xscmpodp c0d0650f5a07b353 <=> c0d0650f5a07b353 ? 2 (CRx)
    281 #10: xscmpodp c0d0650f5a07b353 <=> 8000000000000000 ? 8 (CRx)
    282 #11: xscmpodp c0d0650f5a07b353 <=> 0000000000000000 ? 8 (CRx)
    283 #12: xscmpodp c0d0650f5a07b353 <=> 0123214569900000 ? 8 (CRx)
    284 #13: xscmpodp c0d0650f5a07b353 <=> 7ff0000000000000 ? 8 (CRx)
    285 #14: xscmpodp c0d0650f5a07b353 <=> 7ff7ffffffffffff ? 1 (CRx)
    286 #15: xscmpodp c0d0650f5a07b353 <=> 7ff8000000000000 ? 1 (CRx)
    287 #16: xscmpodp 8000000000000000 <=> fff0000000000000 ? 4 (CRx)
    288 #17: xscmpodp 8000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    289 #18: xscmpodp 8000000000000000 <=> 8000000000000000 ? 2 (CRx)
    290 #19: xscmpodp 8000000000000000 <=> 0000000000000000 ? 2 (CRx)
    291 #20: xscmpodp 8000000000000000 <=> 0123214569900000 ? 8 (CRx)
    292 #21: xscmpodp 8000000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    293 #22: xscmpodp 8000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    294 #23: xscmpodp 8000000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    295 #24: xscmpodp 0000000000000000 <=> fff0000000000000 ? 4 (CRx)
    296 #25: xscmpodp 0000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    297 #26: xscmpodp 0000000000000000 <=> 8000000000000000 ? 2 (CRx)
    298 #27: xscmpodp 0000000000000000 <=> 0000000000000000 ? 2 (CRx)
    299 #28: xscmpodp 0000000000000000 <=> 0123214569900000 ? 8 (CRx)
    300 #29: xscmpodp 0000000000000000 <=> 7ff0000000000000 ? 8 (CRx)
    301 #30: xscmpodp 0000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    302 #31: xscmpodp 0000000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    303 #32: xscmpodp 0123214569900000 <=> fff0000000000000 ? 4 (CRx)
    304 #33: xscmpodp 0123214569900000 <=> c0d0650f5a07b353 ? 4 (CRx)
    305 #34: xscmpodp 0123214569900000 <=> 8000000000000000 ? 4 (CRx)
    306 #35: xscmpodp 0123214569900000 <=> 0000000000000000 ? 4 (CRx)
    307 #36: xscmpodp 0123214569900000 <=> 404f000000000000 ? 8 (CRx)
    308 #37: xscmpodp 0123214569900000 <=> 7ff0000000000000 ? 8 (CRx)
    309 #38: xscmpodp 0123214569900000 <=> 7ff7ffffffffffff ? 1 (CRx)
    310 #39: xscmpodp 0123214569900000 <=> 7ff8000000000000 ? 1 (CRx)
    311 #40: xscmpodp 7ff0000000000000 <=> fff0000000000000 ? 4 (CRx)
    312 #41: xscmpodp 7ff0000000000000 <=> c0d0650f5a07b353 ? 4 (CRx)
    313 #42: xscmpodp 7ff0000000000000 <=> 8000000000000000 ? 4 (CRx)
    314 #43: xscmpodp 7ff0000000000000 <=> 0000000000000000 ? 4 (CRx)
    315 #44: xscmpodp 7ff0000000000000 <=> 0123214569900000 ? 4 (CRx)
    316 #45: xscmpodp 7ff0000000000000 <=> 7ff0000000000000 ? 2 (CRx)
    317 #46: xscmpodp 7ff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    318 #47: xscmpodp 7ff0000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    319 #48: xscmpodp fff7ffffffffffff <=> fff0000000000000 ? 1 (CRx)
    320 #49: xscmpodp fff7ffffffffffff <=> c0d0650f5a07b353 ? 1 (CRx)
    321 #50: xscmpodp fff7ffffffffffff <=> 8000000000000000 ? 1 (CRx)
    322 #51: xscmpodp fff7ffffffffffff <=> 0000000000000000 ? 1 (CRx)
    323 #52: xscmpodp fff7ffffffffffff <=> 0123214569900000 ? 1 (CRx)
    324 #53: xscmpodp fff7ffffffffffff <=> 7ff0000000000000 ? 1 (CRx)
    325 #54: xscmpodp fff7ffffffffffff <=> 7ff7ffffffffffff ? 1 (CRx)
    326 #55: xscmpodp fff7ffffffffffff <=> 7ff8000000000000 ? 1 (CRx)
    327 #56: xscmpodp fff8000000000000 <=> fff0000000000000 ? 1 (CRx)
    328 #57: xscmpodp fff8000000000000 <=> c0d0650f5a07b353 ? 1 (CRx)
    329 #58: xscmpodp fff8000000000000 <=> 8000000000000000 ? 1 (CRx)
    330 #59: xscmpodp fff8000000000000 <=> 0000000000000000 ? 1 (CRx)
    331 #60: xscmpodp fff8000000000000 <=> 0123214569900000 ? 1 (CRx)
    332 #61: xscmpodp fff8000000000000 <=> 7ff0000000000000 ? 1 (CRx)
    333 #62: xscmpodp fff8000000000000 <=> 7ff7ffffffffffff ? 1 (CRx)
    334 #63: xscmpodp fff8000000000000 <=> 7ff8000000000000 ? 1 (CRx)
    335 
    336 #0: xsadddp fff0000000000000 fff0000000000000 = fff0000000000000
    337 #1: xsadddp fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    338 #2: xsadddp fff0000000000000 8000000000000000 = fff0000000000000
    339 #3: xsadddp fff0000000000000 0000000000000000 = fff0000000000000
    340 #4: xsadddp fff0000000000000 0123214569900000 = fff0000000000000
    341 #5: xsadddp fff0000000000000 7ff0000000000000 = 7ff8000000000000
    342 #6: xsadddp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    343 #7: xsadddp fff0000000000000 7ff8000000000000 = 7ff8000000000000
    344 #8: xsadddp c0d0650f5a07b353 fff0000000000000 = fff0000000000000
    345 #9: xsadddp c0d0650f5a07b353 c0d0650f5a07b353 = c0e0650f5a07b353
    346 #10: xsadddp c0d0650f5a07b353 8000000000000000 = c0d0650f5a07b353
    347 #11: xsadddp c0d0650f5a07b353 0000000000000000 = c0d0650f5a07b353
    348 #12: xsadddp c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353
    349 #13: xsadddp c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000
    350 #14: xsadddp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    351 #15: xsadddp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    352 #16: xsadddp 8000000000000000 fff0000000000000 = fff0000000000000
    353 #17: xsadddp 8000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353
    354 #18: xsadddp 8000000000000000 8000000000000000 = 8000000000000000
    355 #19: xsadddp 8000000000000000 0000000000000000 = 0000000000000000
    356 #20: xsadddp 8000000000000000 0123214569900000 = 0123214569900000
    357 #21: xsadddp 8000000000000000 7ff0000000000000 = 7ff0000000000000
    358 #22: xsadddp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    359 #23: xsadddp 8000000000000000 7ff8000000000000 = 7ff8000000000000
    360 #24: xsadddp 0000000000000000 fff0000000000000 = fff0000000000000
    361 #25: xsadddp 0000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353
    362 #26: xsadddp 0000000000000000 8000000000000000 = 0000000000000000
    363 #27: xsadddp 0000000000000000 0000000000000000 = 0000000000000000
    364 #28: xsadddp 0000000000000000 0123214569900000 = 0123214569900000
    365 #29: xsadddp 0000000000000000 7ff0000000000000 = 7ff0000000000000
    366 #30: xsadddp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    367 #31: xsadddp 0000000000000000 7ff8000000000000 = 7ff8000000000000
    368 #32: xsadddp 0123214569900000 fff0000000000000 = fff0000000000000
    369 #33: xsadddp 0123214569900000 c0d0650f5a07b353 = c0d0650f5a07b353
    370 #34: xsadddp 0123214569900000 8000000000000000 = 0123214569900000
    371 #35: xsadddp 0123214569900000 0000000000000000 = 0123214569900000
    372 #36: xsadddp 0123214569900000 404f000000000000 = 404f000000000000
    373 #37: xsadddp 0123214569900000 7ff0000000000000 = 7ff0000000000000
    374 #38: xsadddp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    375 #39: xsadddp 0123214569900000 7ff8000000000000 = 7ff8000000000000
    376 #40: xsadddp 7ff0000000000000 fff0000000000000 = 7ff8000000000000
    377 #41: xsadddp 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    378 #42: xsadddp 7ff0000000000000 8000000000000000 = 7ff0000000000000
    379 #43: xsadddp 7ff0000000000000 0000000000000000 = 7ff0000000000000
    380 #44: xsadddp 7ff0000000000000 0123214569900000 = 7ff0000000000000
    381 #45: xsadddp 7ff0000000000000 7ff0000000000000 = 7ff0000000000000
    382 #46: xsadddp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    383 #47: xsadddp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    384 #48: xsadddp fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    385 #49: xsadddp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    386 #50: xsadddp fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    387 #51: xsadddp fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    388 #52: xsadddp fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    389 #53: xsadddp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    390 #54: xsadddp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    391 #55: xsadddp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    392 #56: xsadddp fff8000000000000 fff0000000000000 = fff8000000000000
    393 #57: xsadddp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    394 #58: xsadddp fff8000000000000 8000000000000000 = fff8000000000000
    395 #59: xsadddp fff8000000000000 0000000000000000 = fff8000000000000
    396 #60: xsadddp fff8000000000000 0123214569900000 = fff8000000000000
    397 #61: xsadddp fff8000000000000 7ff0000000000000 = fff8000000000000
    398 #62: xsadddp fff8000000000000 7ff7ffffffffffff = fff8000000000000
    399 #63: xsadddp fff8000000000000 7ff8000000000000 = fff8000000000000
    400 
    401 #0: xsdivdp fff0000000000000 fff0000000000000 = 7ff8000000000000
    402 #1: xsdivdp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    403 #2: xsdivdp fff0000000000000 8000000000000000 = 7ff0000000000000
    404 #3: xsdivdp fff0000000000000 0000000000000000 = fff0000000000000
    405 #4: xsdivdp fff0000000000000 0123214569900000 = fff0000000000000
    406 #5: xsdivdp fff0000000000000 7ff0000000000000 = 7ff8000000000000
    407 #6: xsdivdp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    408 #7: xsdivdp fff0000000000000 7ff8000000000000 = 7ff8000000000000
    409 #8: xsdivdp c0d0650f5a07b353 fff0000000000000 = 0000000000000000
    410 #9: xsdivdp c0d0650f5a07b353 c0d0650f5a07b353 = 3ff0000000000000
    411 #10: xsdivdp c0d0650f5a07b353 8000000000000000 = 7ff0000000000000
    412 #11: xsdivdp c0d0650f5a07b353 0000000000000000 = fff0000000000000
    413 #12: xsdivdp c0d0650f5a07b353 0123214569900000 = ff9b6cb57ca13c00
    414 #13: xsdivdp c0d0650f5a07b353 7ff0000000000000 = 8000000000000000
    415 #14: xsdivdp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    416 #15: xsdivdp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    417 #16: xsdivdp 8000000000000000 fff0000000000000 = 0000000000000000
    418 #17: xsdivdp 8000000000000000 c0d0650f5a07b353 = 0000000000000000
    419 #18: xsdivdp 8000000000000000 8000000000000000 = 7ff8000000000000
    420 #19: xsdivdp 8000000000000000 0000000000000000 = 7ff8000000000000
    421 #20: xsdivdp 8000000000000000 0123214569900000 = 8000000000000000
    422 #21: xsdivdp 8000000000000000 7ff0000000000000 = 8000000000000000
    423 #22: xsdivdp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    424 #23: xsdivdp 8000000000000000 7ff8000000000000 = 7ff8000000000000
    425 #24: xsdivdp 0000000000000000 fff0000000000000 = 8000000000000000
    426 #25: xsdivdp 0000000000000000 c0d0650f5a07b353 = 8000000000000000
    427 #26: xsdivdp 0000000000000000 8000000000000000 = 7ff8000000000000
    428 #27: xsdivdp 0000000000000000 0000000000000000 = 7ff8000000000000
    429 #28: xsdivdp 0000000000000000 0123214569900000 = 0000000000000000
    430 #29: xsdivdp 0000000000000000 7ff0000000000000 = 0000000000000000
    431 #30: xsdivdp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    432 #31: xsdivdp 0000000000000000 7ff8000000000000 = 7ff8000000000000
    433 #32: xsdivdp 0123214569900000 fff0000000000000 = 8000000000000000
    434 #33: xsdivdp 0123214569900000 c0d0650f5a07b353 = 8042ab59d8b6ec87
    435 #34: xsdivdp 0123214569900000 8000000000000000 = fff0000000000000
    436 #35: xsdivdp 0123214569900000 0000000000000000 = 7ff0000000000000
    437 #36: xsdivdp 0123214569900000 404f000000000000 = 00c3bf3f64b5ad6b
    438 #37: xsdivdp 0123214569900000 7ff0000000000000 = 0000000000000000
    439 #38: xsdivdp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    440 #39: xsdivdp 0123214569900000 7ff8000000000000 = 7ff8000000000000
    441 #40: xsdivdp 7ff0000000000000 fff0000000000000 = 7ff8000000000000
    442 #41: xsdivdp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    443 #42: xsdivdp 7ff0000000000000 8000000000000000 = fff0000000000000
    444 #43: xsdivdp 7ff0000000000000 0000000000000000 = 7ff0000000000000
    445 #44: xsdivdp 7ff0000000000000 0123214569900000 = 7ff0000000000000
    446 #45: xsdivdp 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
    447 #46: xsdivdp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    448 #47: xsdivdp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    449 #48: xsdivdp fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    450 #49: xsdivdp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    451 #50: xsdivdp fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    452 #51: xsdivdp fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    453 #52: xsdivdp fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    454 #53: xsdivdp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    455 #54: xsdivdp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    456 #55: xsdivdp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    457 #56: xsdivdp fff8000000000000 fff0000000000000 = fff8000000000000
    458 #57: xsdivdp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    459 #58: xsdivdp fff8000000000000 8000000000000000 = fff8000000000000
    460 #59: xsdivdp fff8000000000000 0000000000000000 = fff8000000000000
    461 #60: xsdivdp fff8000000000000 0123214569900000 = fff8000000000000
    462 #61: xsdivdp fff8000000000000 7ff0000000000000 = fff8000000000000
    463 #62: xsdivdp fff8000000000000 7ff7ffffffffffff = fff8000000000000
    464 #63: xsdivdp fff8000000000000 7ff8000000000000 = fff8000000000000
    465 
    466 #0: xsmaddadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
    467 #1: xsmaddadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
    468 #2: xsmaddadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    469 #3: xsmaddadp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000
    470 #4: xsmaddadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    471 #5: xsmaddadp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
    472 #6: xsmaddadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    473 #7: xsmaddadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
    474 #8: xsmaddadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = fff0000000000000
    475 #9: xsmaddadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353
    476 #10: xsmaddadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7
    477 #11: xsmaddadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f
    478 #12: xsmaddadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7
    479 #13: xsmaddadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = 7ff0000000000000
    480 #14: xsmaddadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff
    481 #15: xsmaddadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
    482 #16: xsmaddadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = fff0000000000000
    483 #17: xsmaddadp c0d0650f5a07b353 8000000000000000 0123214569900000 = c0d0650f5a07b353
    484 #18: xsmaddadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
    485 #19: xsmaddadp 0000000000000000 8000000000000000 0123214569900000 = 0000000000000000
    486 #20: xsmaddadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 0123214569900000
    487 #21: xsmaddadp 7ff0000000000000 8000000000000000 0123214569900000 = 7ff0000000000000
    488 #22: xsmaddadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    489 #23: xsmaddadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
    490 #24: xsmaddadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = fff0000000000000
    491 #25: xsmaddadp c0d0650f5a07b353 0000000000000000 0123214569900000 = c0d0650f5a07b353
    492 #26: xsmaddadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 8000000000000000
    493 #27: xsmaddadp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
    494 #28: xsmaddadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 0123214569900000
    495 #29: xsmaddadp 7ff0000000000000 0000000000000000 0123214569900000 = 7ff0000000000000
    496 #30: xsmaddadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    497 #31: xsmaddadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
    498 #32: xsmaddadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = fff0000000000000
    499 #33: xsmaddadp c0d0650f5a07b353 0123214569900000 0123214569900000 = c0d0650f5a07b353
    500 #34: xsmaddadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f
    501 #35: xsmaddadp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
    502 #36: xsmaddadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = 404f000000000000
    503 #37: xsmaddadp 7ff0000000000000 0123214569900000 0123214569900000 = 7ff0000000000000
    504 #38: xsmaddadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff
    505 #39: xsmaddadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
    506 #40: xsmaddadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    507 #41: xsmaddadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
    508 #42: xsmaddadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    509 #43: xsmaddadp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
    510 #44: xsmaddadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    511 #45: xsmaddadp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
    512 #46: xsmaddadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    513 #47: xsmaddadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
    514 #48: xsmaddadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    515 #49: xsmaddadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    516 #50: xsmaddadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    517 #51: xsmaddadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    518 #52: xsmaddadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    519 #53: xsmaddadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    520 #54: xsmaddadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    521 #55: xsmaddadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    522 #56: xsmaddadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    523 #57: xsmaddadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    524 #58: xsmaddadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    525 #59: xsmaddadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    526 #60: xsmaddadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    527 #61: xsmaddadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    528 #62: xsmaddadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    529 #63: xsmaddadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    530 
    531 #0: xsmaddmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000
    532 #1: xsmaddmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    533 #2: xsmaddmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000
    534 #3: xsmaddmdp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000
    535 #4: xsmaddmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
    536 #5: xsmaddmdp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000
    537 #6: xsmaddmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    538 #7: xsmaddmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
    539 #8: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = fff0000000000000
    540 #9: xsmaddmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c0d0650f5a07b353
    541 #10: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d05eec2a7
    542 #11: xsmaddmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 82039a19ca8fcb5f
    543 #12: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d05eec2a7
    544 #13: xsmaddmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000
    545 #14: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    546 #15: xsmaddmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    547 #16: xsmaddmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = fff0000000000000
    548 #17: xsmaddmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353
    549 #18: xsmaddmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000
    550 #19: xsmaddmdp 0123214569900000 8000000000000000 0000000000000000 = 0000000000000000
    551 #20: xsmaddmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 0123214569900000
    552 #21: xsmaddmdp 0123214569900000 8000000000000000 7ff0000000000000 = 7ff0000000000000
    553 #22: xsmaddmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    554 #23: xsmaddmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
    555 #24: xsmaddmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = fff0000000000000
    556 #25: xsmaddmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353
    557 #26: xsmaddmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 8000000000000000
    558 #27: xsmaddmdp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
    559 #28: xsmaddmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 0123214569900000
    560 #29: xsmaddmdp 0123214569900000 0000000000000000 7ff0000000000000 = 7ff0000000000000
    561 #30: xsmaddmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    562 #31: xsmaddmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
    563 #32: xsmaddmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = fff0000000000000
    564 #33: xsmaddmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = c0d0650f5a07b353
    565 #34: xsmaddmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 82039a19ca8fcb5f
    566 #35: xsmaddmdp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
    567 #36: xsmaddmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = 404f000000000000
    568 #37: xsmaddmdp 0123214569900000 0123214569900000 7ff0000000000000 = 7ff0000000000000
    569 #38: xsmaddmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    570 #39: xsmaddmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
    571 #40: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = fff0000000000000
    572 #41: xsmaddmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    573 #42: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000
    574 #43: xsmaddmdp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000
    575 #44: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
    576 #45: xsmaddmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff0000000000000
    577 #46: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    578 #47: xsmaddmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    579 #48: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    580 #49: xsmaddmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    581 #50: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    582 #51: xsmaddmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    583 #52: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    584 #53: xsmaddmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    585 #54: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    586 #55: xsmaddmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    587 #56: xsmaddmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
    588 #57: xsmaddmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    589 #58: xsmaddmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
    590 #59: xsmaddmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
    591 #60: xsmaddmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    592 #61: xsmaddmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
    593 #62: xsmaddmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
    594 #63: xsmaddmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000
    595 
    596 #0: xsmsubadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    597 #1: xsmsubadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
    598 #2: xsmsubadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    599 #3: xsmsubadp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000
    600 #4: xsmsubadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    601 #5: xsmsubadp 7ff0000000000000 fff0000000000000 0123214569900000 = fff0000000000000
    602 #6: xsmsubadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    603 #7: xsmsubadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
    604 #8: xsmsubadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000
    605 #9: xsmsubadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f5a07b353
    606 #10: xsmsubadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7
    607 #11: xsmsubadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f
    608 #12: xsmsubadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7
    609 #13: xsmsubadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000
    610 #14: xsmsubadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff
    611 #15: xsmsubadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
    612 #16: xsmsubadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000
    613 #17: xsmsubadp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f5a07b353
    614 #18: xsmsubadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
    615 #19: xsmsubadp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
    616 #20: xsmsubadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8123214569900000
    617 #21: xsmsubadp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000
    618 #22: xsmsubadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    619 #23: xsmsubadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
    620 #24: xsmsubadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000
    621 #25: xsmsubadp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f5a07b353
    622 #26: xsmsubadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
    623 #27: xsmsubadp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
    624 #28: xsmsubadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8123214569900000
    625 #29: xsmsubadp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000
    626 #30: xsmsubadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    627 #31: xsmsubadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
    628 #32: xsmsubadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000
    629 #33: xsmsubadp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f5a07b353
    630 #34: xsmsubadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f
    631 #35: xsmsubadp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
    632 #36: xsmsubadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000
    633 #37: xsmsubadp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000
    634 #38: xsmsubadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff
    635 #39: xsmsubadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
    636 #40: xsmsubadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
    637 #41: xsmsubadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
    638 #42: xsmsubadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    639 #43: xsmsubadp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
    640 #44: xsmsubadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    641 #45: xsmsubadp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
    642 #46: xsmsubadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    643 #47: xsmsubadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
    644 #48: xsmsubadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    645 #49: xsmsubadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    646 #50: xsmsubadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    647 #51: xsmsubadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    648 #52: xsmsubadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    649 #53: xsmsubadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    650 #54: xsmsubadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    651 #55: xsmsubadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    652 #56: xsmsubadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    653 #57: xsmsubadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    654 #58: xsmsubadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    655 #59: xsmsubadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    656 #60: xsmsubadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    657 #61: xsmsubadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    658 #62: xsmsubadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    659 #63: xsmsubadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    660 
    661 #0: xsmsubmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff0000000000000
    662 #1: xsmsubmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    663 #2: xsmsubmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000
    664 #3: xsmsubmdp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000
    665 #4: xsmsubmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
    666 #5: xsmsubmdp 0123214569900000 fff0000000000000 7ff0000000000000 = fff0000000000000
    667 #6: xsmsubmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    668 #7: xsmsubmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
    669 #8: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
    670 #9: xsmsubmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f5a07b353
    671 #10: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d05eec2a7
    672 #11: xsmsubmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 82039a19ca8fcb5f
    673 #12: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d05eec2a7
    674 #13: xsmsubmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
    675 #14: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    676 #15: xsmsubmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    677 #16: xsmsubmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000
    678 #17: xsmsubmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    679 #18: xsmsubmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000
    680 #19: xsmsubmdp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
    681 #20: xsmsubmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8123214569900000
    682 #21: xsmsubmdp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000
    683 #22: xsmsubmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    684 #23: xsmsubmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
    685 #24: xsmsubmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000
    686 #25: xsmsubmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    687 #26: xsmsubmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000
    688 #27: xsmsubmdp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
    689 #28: xsmsubmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8123214569900000
    690 #29: xsmsubmdp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000
    691 #30: xsmsubmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    692 #31: xsmsubmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
    693 #32: xsmsubmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000
    694 #33: xsmsubmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353
    695 #34: xsmsubmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 82039a19ca8fcb5f
    696 #35: xsmsubmdp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
    697 #36: xsmsubmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000
    698 #37: xsmsubmdp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000
    699 #38: xsmsubmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    700 #39: xsmsubmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
    701 #40: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff8000000000000
    702 #41: xsmsubmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    703 #42: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000
    704 #43: xsmsubmdp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000
    705 #44: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
    706 #45: xsmsubmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
    707 #46: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    708 #47: xsmsubmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    709 #48: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    710 #49: xsmsubmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    711 #50: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    712 #51: xsmsubmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    713 #52: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    714 #53: xsmsubmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    715 #54: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    716 #55: xsmsubmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    717 #56: xsmsubmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
    718 #57: xsmsubmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    719 #58: xsmsubmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
    720 #59: xsmsubmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
    721 #60: xsmsubmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    722 #61: xsmsubmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
    723 #62: xsmsubmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
    724 #63: xsmsubmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000
    725 
    726 #0: xsnmaddadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
    727 #1: xsnmaddadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
    728 #2: xsnmaddadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    729 #3: xsnmaddadp 0000000000000000 fff0000000000000 0123214569900000 = 7ff0000000000000
    730 #4: xsnmaddadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    731 #5: xsnmaddadp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
    732 #6: xsnmaddadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    733 #7: xsnmaddadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
    734 #8: xsnmaddadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000
    735 #9: xsnmaddadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f5a07b353
    736 #10: xsnmaddadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d05eec2a7
    737 #11: xsnmaddadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 02039a19ca8fcb5f
    738 #12: xsnmaddadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d05eec2a7
    739 #13: xsnmaddadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000
    740 #14: xsnmaddadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff
    741 #15: xsnmaddadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
    742 #16: xsnmaddadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000
    743 #17: xsnmaddadp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f5a07b353
    744 #18: xsnmaddadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 8000000000000000
    745 #19: xsnmaddadp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
    746 #20: xsnmaddadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8123214569900000
    747 #21: xsnmaddadp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000
    748 #22: xsnmaddadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    749 #23: xsnmaddadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
    750 #24: xsnmaddadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000
    751 #25: xsnmaddadp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f5a07b353
    752 #26: xsnmaddadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
    753 #27: xsnmaddadp 0000000000000000 0000000000000000 0123214569900000 = 8000000000000000
    754 #28: xsnmaddadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8123214569900000
    755 #29: xsnmaddadp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000
    756 #30: xsnmaddadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    757 #31: xsnmaddadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
    758 #32: xsnmaddadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000
    759 #33: xsnmaddadp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f5a07b353
    760 #34: xsnmaddadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 02039a19ca8fcb5f
    761 #35: xsnmaddadp 0000000000000000 0123214569900000 0123214569900000 = 8000000000000000
    762 #36: xsnmaddadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000
    763 #37: xsnmaddadp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000
    764 #38: xsnmaddadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff
    765 #39: xsnmaddadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
    766 #40: xsnmaddadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    767 #41: xsnmaddadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
    768 #42: xsnmaddadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    769 #43: xsnmaddadp 0000000000000000 7ff0000000000000 0123214569900000 = fff0000000000000
    770 #44: xsnmaddadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    771 #45: xsnmaddadp 7ff0000000000000 7ff0000000000000 0123214569900000 = fff0000000000000
    772 #46: xsnmaddadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff
    773 #47: xsnmaddadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
    774 #48: xsnmaddadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    775 #49: xsnmaddadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    776 #50: xsnmaddadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    777 #51: xsnmaddadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    778 #52: xsnmaddadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    779 #53: xsnmaddadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    780 #54: xsnmaddadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    781 #55: xsnmaddadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    782 #56: xsnmaddadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    783 #57: xsnmaddadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    784 #58: xsnmaddadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    785 #59: xsnmaddadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    786 #60: xsnmaddadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    787 #61: xsnmaddadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    788 #62: xsnmaddadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    789 #63: xsnmaddadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000
    790 
    791 #0: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000
    792 #1: xsnmaddmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    793 #2: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = fff0000000000000
    794 #3: xsnmaddmdp 0123214569900000 fff0000000000000 0000000000000000 = 7ff0000000000000
    795 #4: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
    796 #5: xsnmaddmdp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000
    797 #6: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    798 #7: xsnmaddmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
    799 #8: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
    800 #9: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f5a07b353
    801 #10: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = c1b0cc9d05eec2a7
    802 #11: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 02039a19ca8fcb5f
    803 #12: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c1b0cc9d05eec2a7
    804 #13: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
    805 #14: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    806 #15: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    807 #16: xsnmaddmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000
    808 #17: xsnmaddmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    809 #18: xsnmaddmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 8000000000000000
    810 #19: xsnmaddmdp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
    811 #20: xsnmaddmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8123214569900000
    812 #21: xsnmaddmdp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000
    813 #22: xsnmaddmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    814 #23: xsnmaddmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
    815 #24: xsnmaddmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000
    816 #25: xsnmaddmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    817 #26: xsnmaddmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000
    818 #27: xsnmaddmdp 0123214569900000 0000000000000000 0000000000000000 = 8000000000000000
    819 #28: xsnmaddmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8123214569900000
    820 #29: xsnmaddmdp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000
    821 #30: xsnmaddmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    822 #31: xsnmaddmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
    823 #32: xsnmaddmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000
    824 #33: xsnmaddmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353
    825 #34: xsnmaddmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 02039a19ca8fcb5f
    826 #35: xsnmaddmdp 0123214569900000 0123214569900000 0000000000000000 = 8000000000000000
    827 #36: xsnmaddmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000
    828 #37: xsnmaddmdp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000
    829 #38: xsnmaddmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    830 #39: xsnmaddmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
    831 #40: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff0000000000000
    832 #41: xsnmaddmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    833 #42: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = 7ff0000000000000
    834 #43: xsnmaddmdp 0123214569900000 7ff0000000000000 0000000000000000 = fff0000000000000
    835 #44: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
    836 #45: xsnmaddmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = fff0000000000000
    837 #46: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    838 #47: xsnmaddmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    839 #48: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    840 #49: xsnmaddmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    841 #50: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    842 #51: xsnmaddmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    843 #52: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    844 #53: xsnmaddmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    845 #54: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    846 #55: xsnmaddmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    847 #56: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
    848 #57: xsnmaddmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    849 #58: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
    850 #59: xsnmaddmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
    851 #60: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
    852 #61: xsnmaddmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
    853 #62: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
    854 #63: xsnmaddmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000
    855 
    856 #0: xsmuldp fff0000000000000 fff0000000000000 = 7ff0000000000000
    857 #1: xsmuldp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    858 #2: xsmuldp fff0000000000000 8000000000000000 = 7ff8000000000000
    859 #3: xsmuldp fff0000000000000 0000000000000000 = 7ff8000000000000
    860 #4: xsmuldp fff0000000000000 0123214569900000 = fff0000000000000
    861 #5: xsmuldp fff0000000000000 7ff0000000000000 = fff0000000000000
    862 #6: xsmuldp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    863 #7: xsmuldp fff0000000000000 7ff8000000000000 = 7ff8000000000000
    864 #8: xsmuldp c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
    865 #9: xsmuldp c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7
    866 #10: xsmuldp c0d0650f5a07b353 8000000000000000 = 0000000000000000
    867 #11: xsmuldp c0d0650f5a07b353 0000000000000000 = 8000000000000000
    868 #12: xsmuldp c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f
    869 #13: xsmuldp c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
    870 #14: xsmuldp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    871 #15: xsmuldp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    872 #16: xsmuldp 8000000000000000 fff0000000000000 = 7ff8000000000000
    873 #17: xsmuldp 8000000000000000 c0d0650f5a07b353 = 0000000000000000
    874 #18: xsmuldp 8000000000000000 8000000000000000 = 0000000000000000
    875 #19: xsmuldp 8000000000000000 0000000000000000 = 8000000000000000
    876 #20: xsmuldp 8000000000000000 0123214569900000 = 8000000000000000
    877 #21: xsmuldp 8000000000000000 7ff0000000000000 = 7ff8000000000000
    878 #22: xsmuldp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    879 #23: xsmuldp 8000000000000000 7ff8000000000000 = 7ff8000000000000
    880 #24: xsmuldp 0000000000000000 fff0000000000000 = 7ff8000000000000
    881 #25: xsmuldp 0000000000000000 c0d0650f5a07b353 = 8000000000000000
    882 #26: xsmuldp 0000000000000000 8000000000000000 = 8000000000000000
    883 #27: xsmuldp 0000000000000000 0000000000000000 = 0000000000000000
    884 #28: xsmuldp 0000000000000000 0123214569900000 = 0000000000000000
    885 #29: xsmuldp 0000000000000000 7ff0000000000000 = 7ff8000000000000
    886 #30: xsmuldp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    887 #31: xsmuldp 0000000000000000 7ff8000000000000 = 7ff8000000000000
    888 #32: xsmuldp 0123214569900000 fff0000000000000 = fff0000000000000
    889 #33: xsmuldp 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f
    890 #34: xsmuldp 0123214569900000 8000000000000000 = 8000000000000000
    891 #35: xsmuldp 0123214569900000 0000000000000000 = 0000000000000000
    892 #36: xsmuldp 0123214569900000 404f000000000000 = 0182883b3e438000
    893 #37: xsmuldp 0123214569900000 7ff0000000000000 = 7ff0000000000000
    894 #38: xsmuldp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    895 #39: xsmuldp 0123214569900000 7ff8000000000000 = 7ff8000000000000
    896 #40: xsmuldp 7ff0000000000000 fff0000000000000 = fff0000000000000
    897 #41: xsmuldp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
    898 #42: xsmuldp 7ff0000000000000 8000000000000000 = 7ff8000000000000
    899 #43: xsmuldp 7ff0000000000000 0000000000000000 = 7ff8000000000000
    900 #44: xsmuldp 7ff0000000000000 0123214569900000 = 7ff0000000000000
    901 #45: xsmuldp 7ff0000000000000 7ff0000000000000 = 7ff0000000000000
    902 #46: xsmuldp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    903 #47: xsmuldp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    904 #48: xsmuldp fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    905 #49: xsmuldp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    906 #50: xsmuldp fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    907 #51: xsmuldp fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    908 #52: xsmuldp fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    909 #53: xsmuldp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    910 #54: xsmuldp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    911 #55: xsmuldp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    912 #56: xsmuldp fff8000000000000 fff0000000000000 = fff8000000000000
    913 #57: xsmuldp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    914 #58: xsmuldp fff8000000000000 8000000000000000 = fff8000000000000
    915 #59: xsmuldp fff8000000000000 0000000000000000 = fff8000000000000
    916 #60: xsmuldp fff8000000000000 0123214569900000 = fff8000000000000
    917 #61: xsmuldp fff8000000000000 7ff0000000000000 = fff8000000000000
    918 #62: xsmuldp fff8000000000000 7ff7ffffffffffff = fff8000000000000
    919 #63: xsmuldp fff8000000000000 7ff8000000000000 = fff8000000000000
    920 
    921 #0: xssubdp fff0000000000000 fff0000000000000 = 7ff8000000000000
    922 #1: xssubdp fff0000000000000 c0d0650f5a07b353 = fff0000000000000
    923 #2: xssubdp fff0000000000000 8000000000000000 = fff0000000000000
    924 #3: xssubdp fff0000000000000 0000000000000000 = fff0000000000000
    925 #4: xssubdp fff0000000000000 0123214569900000 = fff0000000000000
    926 #5: xssubdp fff0000000000000 7ff0000000000000 = fff0000000000000
    927 #6: xssubdp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    928 #7: xssubdp fff0000000000000 7ff8000000000000 = 7ff8000000000000
    929 #8: xssubdp c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
    930 #9: xssubdp c0d0650f5a07b353 c0d0650f5a07b353 = 0000000000000000
    931 #10: xssubdp c0d0650f5a07b353 8000000000000000 = c0d0650f5a07b353
    932 #11: xssubdp c0d0650f5a07b353 0000000000000000 = c0d0650f5a07b353
    933 #12: xssubdp c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353
    934 #13: xssubdp c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
    935 #14: xssubdp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff
    936 #15: xssubdp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
    937 #16: xssubdp 8000000000000000 fff0000000000000 = 7ff0000000000000
    938 #17: xssubdp 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    939 #18: xssubdp 8000000000000000 8000000000000000 = 0000000000000000
    940 #19: xssubdp 8000000000000000 0000000000000000 = 8000000000000000
    941 #20: xssubdp 8000000000000000 0123214569900000 = 8123214569900000
    942 #21: xssubdp 8000000000000000 7ff0000000000000 = fff0000000000000
    943 #22: xssubdp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    944 #23: xssubdp 8000000000000000 7ff8000000000000 = 7ff8000000000000
    945 #24: xssubdp 0000000000000000 fff0000000000000 = 7ff0000000000000
    946 #25: xssubdp 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353
    947 #26: xssubdp 0000000000000000 8000000000000000 = 0000000000000000
    948 #27: xssubdp 0000000000000000 0000000000000000 = 0000000000000000
    949 #28: xssubdp 0000000000000000 0123214569900000 = 8123214569900000
    950 #29: xssubdp 0000000000000000 7ff0000000000000 = fff0000000000000
    951 #30: xssubdp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff
    952 #31: xssubdp 0000000000000000 7ff8000000000000 = 7ff8000000000000
    953 #32: xssubdp 0123214569900000 fff0000000000000 = 7ff0000000000000
    954 #33: xssubdp 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353
    955 #34: xssubdp 0123214569900000 8000000000000000 = 0123214569900000
    956 #35: xssubdp 0123214569900000 0000000000000000 = 0123214569900000
    957 #36: xssubdp 0123214569900000 404f000000000000 = c04f000000000000
    958 #37: xssubdp 0123214569900000 7ff0000000000000 = fff0000000000000
    959 #38: xssubdp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff
    960 #39: xssubdp 0123214569900000 7ff8000000000000 = 7ff8000000000000
    961 #40: xssubdp 7ff0000000000000 fff0000000000000 = 7ff0000000000000
    962 #41: xssubdp 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
    963 #42: xssubdp 7ff0000000000000 8000000000000000 = 7ff0000000000000
    964 #43: xssubdp 7ff0000000000000 0000000000000000 = 7ff0000000000000
    965 #44: xssubdp 7ff0000000000000 0123214569900000 = 7ff0000000000000
    966 #45: xssubdp 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
    967 #46: xssubdp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff
    968 #47: xssubdp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
    969 #48: xssubdp fff7ffffffffffff fff0000000000000 = ffffffffffffffff
    970 #49: xssubdp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff
    971 #50: xssubdp fff7ffffffffffff 8000000000000000 = ffffffffffffffff
    972 #51: xssubdp fff7ffffffffffff 0000000000000000 = ffffffffffffffff
    973 #52: xssubdp fff7ffffffffffff 0123214569900000 = ffffffffffffffff
    974 #53: xssubdp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff
    975 #54: xssubdp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff
    976 #55: xssubdp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff
    977 #56: xssubdp fff8000000000000 fff0000000000000 = fff8000000000000
    978 #57: xssubdp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
    979 #58: xssubdp fff8000000000000 8000000000000000 = fff8000000000000
    980 #59: xssubdp fff8000000000000 0000000000000000 = fff8000000000000
    981 #60: xssubdp fff8000000000000 0123214569900000 = fff8000000000000
    982 #61: xssubdp fff8000000000000 7ff0000000000000 = fff8000000000000
    983 #62: xssubdp fff8000000000000 7ff7ffffffffffff = fff8000000000000
    984 #63: xssubdp fff8000000000000 7ff8000000000000 = fff8000000000000
    985 
    986 
    987 Test VSX scalar integer conversion instructions
    988 #0: xscvdpsxds 3fd8000000000000 => 0000000000000000
    989 #1: xscvdpsxds 404f000000000000 => 000000000000003e
    990 #2: xscvdpsxds 0018000000b77501 => 0000000000000000
    991 #3: xscvdpsxds 7fe800000000051b => 7fffffffffffffff
    992 #4: xscvdpsxds 0123214569900000 => 0000000000000000
    993 #5: xscvdpsxds 0000000000000000 => 0000000000000000
    994 #6: xscvdpsxds 8000000000000000 => 0000000000000000
    995 #7: xscvdpsxds 7ff0000000000000 => 7fffffffffffffff
    996 #8: xscvdpsxds fff0000000000000 => 8000000000000000
    997 #9: xscvdpsxds 7ff7ffffffffffff => 8000000000000000
    998 #10: xscvdpsxds fff7ffffffffffff => 8000000000000000
    999 #11: xscvdpsxds 7ff8000000000000 => 8000000000000000
   1000 #12: xscvdpsxds fff8000000000000 => 8000000000000000
   1001 #13: xscvdpsxds 8008340000078000 => 0000000000000000
   1002 #14: xscvdpsxds c0d0650f5a07b353 => ffffffffffffbe6c
   1003 
   1004 #0: xscvsxddp 3fd8000000000000 => 43cfec0000000000
   1005 #1: xscvsxddp 404f000000000000 => 43d013c000000000
   1006 #2: xscvsxddp 0018000000b77501 => 4338000000b77501
   1007 #3: xscvsxddp 7fe800000000051b => 43dffa0000000001
   1008 #4: xscvsxddp 0123214569900000 => 4372321456990000
   1009 #5: xscvsxddp 0000000000000000 => 0000000000000000
   1010 #6: xscvsxddp 8000000000000000 => c3e0000000000000
   1011 #7: xscvsxddp 7ff0000000000000 => 43dffc0000000000
   1012 #8: xscvsxddp fff0000000000000 => c330000000000000
   1013 #9: xscvsxddp 7ff7ffffffffffff => 43dffe0000000000
   1014 #10: xscvsxddp fff7ffffffffffff => c320000000000002
   1015 #11: xscvsxddp 7ff8000000000000 => 43dffe0000000000
   1016 #12: xscvsxddp fff8000000000000 => c320000000000000
   1017 #13: xscvsxddp 8008340000078000 => c3dffdf2fffffe20
   1018 #14: xscvsxddp c0d0650f5a07b353 => c3cf97cd7852fc26
   1019 
   1020 #0: xscvuxddp 3fd8000000000000 => 43cfec0000000000
   1021 #1: xscvuxddp 404f000000000000 => 43d013c000000000
   1022 #2: xscvuxddp 0018000000b77501 => 4338000000b77501
   1023 #3: xscvuxddp 7fe800000000051b => 43dffa0000000001
   1024 #4: xscvuxddp 0123214569900000 => 4372321456990000
   1025 #5: xscvuxddp 0000000000000000 => 0000000000000000
   1026 #6: xscvuxddp 8000000000000000 => 43e0000000000000
   1027 #7: xscvuxddp 7ff0000000000000 => 43dffc0000000000
   1028 #8: xscvuxddp fff0000000000000 => 43effe0000000000
   1029 #9: xscvuxddp 7ff7ffffffffffff => 43dffe0000000000
   1030 #10: xscvuxddp fff7ffffffffffff => 43efff0000000000
   1031 #11: xscvuxddp 7ff8000000000000 => 43dffe0000000000
   1032 #12: xscvuxddp fff8000000000000 => 43efff0000000000
   1033 #13: xscvuxddp 8008340000078000 => 43e00106800000f0
   1034 #14: xscvuxddp c0d0650f5a07b353 => 43e81a0ca1eb40f6
   1035 
   1036 
   1037