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