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