l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/ppc64/test_isa_2_06_part1.stdout.exp

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