1Test VSX load/store instructions 2lxsdx: 01234567 89abcdef => 01234567 89abcdef 3lxsdx: 8899aabb 91929394 => 8899aabb 91929394 4 5lxsdx: 01234567 89abcdef => 01234567 89abcdef 6lxsdx: 89abcdef 00112233 => 89abcdef 00112233 7lxsdx: 8899aabb 91929394 => 8899aabb 91929394 8lxsdx: 91929394 a1a2a3a4 => 91929394 a1a2a3a4 9 10lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 11lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 12 13lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 14lxvd2x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb 15lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 16lxvd2x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 17 18lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef 19lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394 20 21lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef 22lxvdsx: 89abcdef 00112233 89abcdef 00112233 => 89abcdef 00112233 89abcdef 00112233 23lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394 24lxvdsx: 91929394 a1a2a3a4 91929394 a1a2a3a4 => 91929394 a1a2a3a4 91929394 a1a2a3a4 25 26lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 27lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 28 29lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 30lxvw4x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb 31lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 32lxvw4x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 33 34stxsdx: 01234567 89abcdef => 01234567 89abcdef 35 36stxsdx: 01234567 89abcdef => 01234567 89abcdef 37 38stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 39 40stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 41 42stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 43 44stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 45 46Test VSX logic instructions 47xxlxor: 01234567 89abcdef 00112233 44556677 xxlxor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89baefdc 18395e7b a1b38197 f5e7d5c3 48xxlxor: 89abcdef 00112233 44556677 8899aabb xxlxor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 18395e7b a1b38197 f5e7d5c3 495b697f 49xxlxor: 00112233 44556677 8899aabb 91929394 xxlxor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b38197 f5e7d5c3 495b697f 40404040 50xxlxor: 44556677 8899aabb 91929394 a1a2a3a4 xxlxor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5e7d5c3 495b697f 40404040 dbc9fe9a 51xxlor: 01234567 89abcdef 00112233 44556677 xxlor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89bbefff 99bbdfff a1b3a3b7 f5f7f7f7 52xxlor: 89abcdef 00112233 44556677 8899aabb xxlor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 99bbdfff a1b3a3b7 f5f7f7f7 c9dbebff 53xxlor: 00112233 44556677 8899aabb 91929394 xxlor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b3a3b7 f5f7f7f7 c9dbebff d1d2d3d4 54xxlor: 44556677 8899aabb 91929394 a1a2a3a4 xxlor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5f7f7f7 c9dbebff d1d2d3d4 fbebffbe 55xxlnor: 01234567 89abcdef 00112233 44556677 xxlnor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 76441000 66442000 5e4c5c48 0a080808 56xxlnor: 89abcdef 00112233 44556677 8899aabb xxlnor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 66442000 5e4c5c48 0a080808 36241400 57xxlnor: 00112233 44556677 8899aabb 91929394 xxlnor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 5e4c5c48 0a080808 36241400 2e2d2c2b 58xxlnor: 44556677 8899aabb 91929394 a1a2a3a4 xxlnor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 0a080808 36241400 2e2d2c2b 04140041 59xxland: 01234567 89abcdef 00112233 44556677 xxland 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 00010023 81828184 00002220 00102234 60xxland: 89abcdef 00112233 44556677 8899aabb xxland 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 81828184 00002220 00102234 80808280 61xxland: 00112233 44556677 8899aabb 91929394 xxland a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00002220 00102234 80808280 91929394 62xxland: 44556677 8899aabb 91929394 a1a2a3a4 xxland b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 00102234 80808280 91929394 20220124 63xxlandc: 01234567 89abcdef 00112233 44556677 xxlandc 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 01224544 08294c6b 00110013 44454443 64xxlandc: 89abcdef 00112233 44556677 8899aabb xxlandc 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 08294c6b 00110013 44454443 0819283b 65xxlandc: 00112233 44556677 8899aabb 91929394 xxlandc a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00110013 44454443 0819283b 00000000 66xxlandc: 44556677 8899aabb 91929394 a1a2a3a4 xxlandc b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 44454443 0819283b 00000000 8180a280 67 68Test ldbrx instruction 69ldbrx: 01 23 45 67 89 ab cd ef (reverse) => ef cd ab 89 67 45 23 01 70ldbrx: 89 ab cd ef 00 11 22 33 (reverse) => 33 22 11 00 ef cd ab 89 71ldbrx: 00 11 22 33 44 55 66 77 (reverse) => 77 66 55 44 33 22 11 00 72 73Test popcntd instruction 74popcntd: 0x9182736405504536 => 24 75 76Test lfiwzx instruction 77lfiwzx: 19088743 => 19088743.00 78lfiwzx: 2309737967 => 2309737967.00 79lfiwzx: 1122867 => 1122867.00 80 81Test P7 floating point convert instructions 82fcfids 0010000000000001 => (raw sp) 59800000) 83fcfids 00100094e0000359 => (raw sp) 598004a7) 84fcfids 3fe0000000000001 => (raw sp) 5e7f8000) 85fcfids 3fe00094e0000359 => (raw sp) 5e7f8002) 86fcfids 8010000000000001 => (raw sp) deffe000) 87fcfids 80100094e0000359 => (raw sp) deffdfff) 88fcfids bfe0000000000001 => (raw sp) de804000) 89fcfids bfe00094e0000359 => (raw sp) de803fff) 90fcfids 0020000000000b01 => (raw sp) 5a000000) 91fcfids 00000000203f0b3d => (raw sp) 4e00fc2d) 92fcfids 00000000005a203d => (raw sp) 4ab4407a) 93fcfids 8020000000000b01 => (raw sp) deffc000) 94fcfids 80000000203f0b3d => (raw sp) df000000) 95 96fcfidus 0010000000000001 => (raw sp) 59800000) 97fcfidus 00100094e0000359 => (raw sp) 598004a7) 98fcfidus 3fe0000000000001 => (raw sp) 5e7f8000) 99fcfidus 3fe00094e0000359 => (raw sp) 5e7f8002) 100fcfidus 8010000000000001 => (raw sp) 5f001000) 101fcfidus 80100094e0000359 => (raw sp) 5f001001) 102fcfidus bfe0000000000001 => (raw sp) 5f3fe000) 103fcfidus bfe00094e0000359 => (raw sp) 5f3fe001) 104fcfidus 0020000000000b01 => (raw sp) 5a000000) 105fcfidus 00000000203f0b3d => (raw sp) 4e00fc2d) 106fcfidus 00000000005a203d => (raw sp) 4ab4407a) 107fcfidus 8020000000000b01 => (raw sp) 5f002000) 108fcfidus 80000000203f0b3d => (raw sp) 5f000000) 109 110fcfidu 0010000000000001 => (raw sp) 4330000000000001) 111fcfidu 00100094e0000359 => (raw sp) 43300094e0000359) 112fcfidu 3fe0000000000001 => (raw sp) 43cff00000000000) 113fcfidu 3fe00094e0000359 => (raw sp) 43cff0004a700002) 114fcfidu 8010000000000001 => (raw sp) 43e0020000000000) 115fcfidu 80100094e0000359 => (raw sp) 43e00200129c0000) 116fcfidu bfe0000000000001 => (raw sp) 43e7fc0000000000) 117fcfidu bfe00094e0000359 => (raw sp) 43e7fc00129c0000) 118fcfidu 0020000000000b01 => (raw sp) 4340000000000580) 119fcfidu 00000000203f0b3d => (raw sp) 41c01f859e800000) 120fcfidu 00000000005a203d => (raw sp) 4156880f40000000) 121fcfidu 8020000000000b01 => (raw sp) 43e0040000000001) 122fcfidu 80000000203f0b3d => (raw sp) 43e00000000407e1) 123 124Test ftdiv instruction 125ftdiv: 3fd8000000000000 <=> 404f000000000000 ? 8 (CRx) 126ftdiv: 7ff7ffffffffffff <=> 404f000000000000 ? a (CRx) 127ftdiv: 404f000000000000 <=> fff8000000000000 ? a (CRx) 128ftdiv: 3fd8000000000000 <=> 0018000000b77501 ? a (CRx) 129ftdiv: 404f000000000000 <=> 7fe800000000051b ? a (CRx) 130ftdiv: 7fe800000000051b <=> 3fd8000000000000 ? a (CRx) 131ftdiv: 3fd8000000000000 <=> 7fe800000000051b ? a (CRx) 132ftdiv: 0123214569900000 <=> 3fd8000000000000 ? a (CRx) 133ftdiv: 7ff0000000000000 <=> 404f000000000000 ? e (CRx) 134ftdiv: fff0000000000000 <=> 404f000000000000 ? e (CRx) 135ftdiv: 404f000000000000 <=> 7ff0000000000000 ? e (CRx) 136ftdiv: 3fd8000000000000 <=> 8008340000078000 ? e (CRx) 137ftdiv: 0000000000000000 <=> 0000000000000000 ? e (CRx) 138ftdiv: 0000000000000000 <=> 8000000000000000 ? e (CRx) 139 140Test VSX move instructions 141xsabsdp: X[B]: 0123456789abcdef => 0123456789abcdef 142xsabsdp: X[B]: 8899aabb19293942 => 0899aabb19293942 143xsabsdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4 144 145xscpsgndp: X[A]: 0123456789abcdef X[B]: 0123456789abcdef => 0123456789abcdef 146xscpsgndp: X[A]: 8899aabb19293942 X[B]: 0123456789abcdef => 8123456789abcdef 147xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: 0123456789abcdef => 8123456789abcdef 148xscpsgndp: X[A]: 0123456789abcdef X[B]: 8899aabb19293942 => 0899aabb19293942 149xscpsgndp: X[A]: 8899aabb19293942 X[B]: 8899aabb19293942 => 8899aabb19293942 150xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: 8899aabb19293942 => 8899aabb19293942 151xscpsgndp: X[A]: 0123456789abcdef X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4 152xscpsgndp: X[A]: 8899aabb19293942 X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4 153xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4 154 155xsnabsdp: X[B]: 0123456789abcdef => 8123456789abcdef 156xsnabsdp: X[B]: 8899aabb19293942 => 8899aabb19293942 157xsnabsdp: X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4 158 159xsnegdp: X[B]: 0123456789abcdef => 8123456789abcdef 160xsnegdp: X[B]: 8899aabb19293942 => 0899aabb19293942 161xsnegdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4 162 163Test VSX permute instructions 164xxmrghw: 165 XA[11111111,22222222,33333333,44444444] 166 XB[55555555,66666666,77777777,88888888] 167 => XT[11111111,55555555,22222222,66666666] 168xxmrghw: 169 XA[00112233,44556677,8899aabb,ccddeeff] 170 XB[11111111,22222222,33333333,44444444] 171 => XT[00112233,11111111,44556677,22222222] 172xxmrglw: 173 XA[11111111,22222222,33333333,44444444] 174 XB[55555555,66666666,77777777,88888888] 175 => XT[33333333,77777777,44444444,88888888] 176xxmrglw: 177 XA[00112233,44556677,8899aabb,ccddeeff] 178 XB[11111111,22222222,33333333,44444444] 179 => XT[8899aabb,33333333,ccddeeff,44444444] 180xxpermdi DM=00: 181 XA[11111111,22222222,33333333,44444444] 182 XB[55555555,66666666,77777777,88888888] 183 => XT[11111111,22222222,55555555,66666666] 184xxpermdi DM=01: 185 XA[11111111,22222222,33333333,44444444] 186 XB[55555555,66666666,77777777,88888888] 187 => XT[11111111,22222222,77777777,88888888] 188xxpermdi DM=10: 189 XA[11111111,22222222,33333333,44444444] 190 XB[55555555,66666666,77777777,88888888] 191 => XT[33333333,44444444,55555555,66666666] 192xxpermdi DM=11: 193 XA[11111111,22222222,33333333,44444444] 194 XB[55555555,66666666,77777777,88888888] 195 => XT[33333333,44444444,77777777,88888888] 196xxsldwi SHW=0: 197 XA[11111111,22222222,33333333,44444444] 198 XB[55555555,66666666,77777777,88888888] 199 => XT[11111111,22222222,33333333,44444444] 200xxsldwi SHW=1: 201 XA[11111111,22222222,33333333,44444444] 202 XB[55555555,66666666,77777777,88888888] 203 => XT[22222222,33333333,44444444,55555555] 204xxsldwi SHW=2: 205 XA[11111111,22222222,33333333,44444444] 206 XB[55555555,66666666,77777777,88888888] 207 => XT[33333333,44444444,55555555,66666666] 208xxsldwi SHW=3: 209 XA[11111111,22222222,33333333,44444444] 210 XB[55555555,66666666,77777777,88888888] 211 => XT[44444444,55555555,66666666,77777777] 212 213Test 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 995Test 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