| Test VSX load/store instructions |
| lxsdx: 01234567 89abcdef => 01234567 89abcdef |
| lxsdx: 8899aabb 91929394 => 8899aabb 91929394 |
| |
| lxsdx: 01234567 89abcdef => 01234567 89abcdef |
| lxsdx: 89abcdef 00112233 => 89abcdef 00112233 |
| lxsdx: 8899aabb 91929394 => 8899aabb 91929394 |
| lxsdx: 91929394 a1a2a3a4 => 91929394 a1a2a3a4 |
| |
| lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 |
| |
| lxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| lxvd2x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb |
| lxvd2x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 |
| lxvd2x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 |
| |
| lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef |
| lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394 |
| |
| lxvdsx: 01234567 89abcdef 01234567 89abcdef => 01234567 89abcdef 01234567 89abcdef |
| lxvdsx: 89abcdef 00112233 89abcdef 00112233 => 89abcdef 00112233 89abcdef 00112233 |
| lxvdsx: 8899aabb 91929394 8899aabb 91929394 => 8899aabb 91929394 8899aabb 91929394 |
| lxvdsx: 91929394 a1a2a3a4 91929394 a1a2a3a4 => 91929394 a1a2a3a4 91929394 a1a2a3a4 |
| |
| lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 |
| |
| lxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| lxvw4x: 89abcdef 00112233 44556677 8899aabb => 89abcdef 00112233 44556677 8899aabb |
| lxvw4x: 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 8899aabb 91929394 a1a2a3a4 b1b2b3b4 |
| lxvw4x: 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 |
| |
| stxsdx: 01234567 89abcdef => 01234567 89abcdef |
| |
| stxsdx: 01234567 89abcdef => 01234567 89abcdef |
| |
| stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| |
| stxvd2x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| |
| stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| |
| stxvw4x: 01234567 89abcdef 00112233 44556677 => 01234567 89abcdef 00112233 44556677 |
| |
| Test VSX logic instructions |
| xxlxor: 01234567 89abcdef 00112233 44556677 xxlxor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89baefdc 18395e7b a1b38197 f5e7d5c3 |
| xxlxor: 89abcdef 00112233 44556677 8899aabb xxlxor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 18395e7b a1b38197 f5e7d5c3 495b697f |
| xxlxor: 00112233 44556677 8899aabb 91929394 xxlxor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b38197 f5e7d5c3 495b697f 40404040 |
| xxlxor: 44556677 8899aabb 91929394 a1a2a3a4 xxlxor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5e7d5c3 495b697f 40404040 dbc9fe9a |
| xxlor: 01234567 89abcdef 00112233 44556677 xxlor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 89bbefff 99bbdfff a1b3a3b7 f5f7f7f7 |
| xxlor: 89abcdef 00112233 44556677 8899aabb xxlor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 99bbdfff a1b3a3b7 f5f7f7f7 c9dbebff |
| xxlor: 00112233 44556677 8899aabb 91929394 xxlor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => a1b3a3b7 f5f7f7f7 c9dbebff d1d2d3d4 |
| xxlor: 44556677 8899aabb 91929394 a1a2a3a4 xxlor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => f5f7f7f7 c9dbebff d1d2d3d4 fbebffbe |
| xxlnor: 01234567 89abcdef 00112233 44556677 xxlnor 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 76441000 66442000 5e4c5c48 0a080808 |
| xxlnor: 89abcdef 00112233 44556677 8899aabb xxlnor 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 66442000 5e4c5c48 0a080808 36241400 |
| xxlnor: 00112233 44556677 8899aabb 91929394 xxlnor a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 5e4c5c48 0a080808 36241400 2e2d2c2b |
| xxlnor: 44556677 8899aabb 91929394 a1a2a3a4 xxlnor b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 0a080808 36241400 2e2d2c2b 04140041 |
| xxland: 01234567 89abcdef 00112233 44556677 xxland 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 00010023 81828184 00002220 00102234 |
| xxland: 89abcdef 00112233 44556677 8899aabb xxland 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 81828184 00002220 00102234 80808280 |
| xxland: 00112233 44556677 8899aabb 91929394 xxland a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00002220 00102234 80808280 91929394 |
| xxland: 44556677 8899aabb 91929394 a1a2a3a4 xxland b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 00102234 80808280 91929394 20220124 |
| xxlandc: 01234567 89abcdef 00112233 44556677 xxlandc 8899aabb 91929394 a1a2a3a4 b1b2b3b4 => 01224544 08294c6b 00110013 44454443 |
| xxlandc: 89abcdef 00112233 44556677 8899aabb xxlandc 91929394 a1a2a3a4 b1b2b3b4 c1c2c3c4 => 08294c6b 00110013 44454443 0819283b |
| xxlandc: 00112233 44556677 8899aabb 91929394 xxlandc a1a2a3a4 b1b2b3b4 c1c2c3c4 d1d2d3d4 => 00110013 44454443 0819283b 00000000 |
| xxlandc: 44556677 8899aabb 91929394 a1a2a3a4 xxlandc b1b2b3b4 c1c2c3c4 d1d2d3d4 7a6b5d3e => 44454443 0819283b 00000000 8180a280 |
| |
| Test ldbrx instruction |
| ldbrx: 01 23 45 67 89 ab cd (reverse) => ef cd ab 89 67 45 23 01 |
| ldbrx: 89 ab cd ef 00 11 22 (reverse) => 33 22 11 00 ef cd ab 89 |
| ldbrx: 00 11 22 33 44 55 66 (reverse) => 77 66 55 44 33 22 11 00 |
| |
| Test popcntd instruction |
| popcntd: 0x9182736405504536 => 24 |
| |
| Test lfiwzx instruction |
| lfiwzx: 19088743 => 19088743.00 |
| lfiwzx: 2309737967 => 2309737967.00 |
| lfiwzx: 1122867 => 1122867.00 |
| |
| Test P7 floating point convert instructions |
| fcfids 0010000000000001 => (raw sp) 59800000) |
| fcfids 00100094e0000359 => (raw sp) 598004a7) |
| fcfids 3fe0000000000001 => (raw sp) 5e7f8000) |
| fcfids 3fe00094e0000359 => (raw sp) 5e7f8002) |
| fcfids 8010000000000001 => (raw sp) deffe000) |
| fcfids 80100094e0000359 => (raw sp) deffdfff) |
| fcfids bfe0000000000001 => (raw sp) de804000) |
| fcfids bfe00094e0000359 => (raw sp) de803fff) |
| fcfids 0020000000000b01 => (raw sp) 5a000000) |
| fcfids 00000000203f0b3d => (raw sp) 4e00fc2d) |
| fcfids 00000000005a203d => (raw sp) 4ab4407a) |
| fcfids 8020000000000b01 => (raw sp) deffc000) |
| fcfids 80000000203f0b3d => (raw sp) df000000) |
| |
| fcfidus 0010000000000001 => (raw sp) 59800000) |
| fcfidus 00100094e0000359 => (raw sp) 598004a7) |
| fcfidus 3fe0000000000001 => (raw sp) 5e7f8000) |
| fcfidus 3fe00094e0000359 => (raw sp) 5e7f8002) |
| fcfidus 8010000000000001 => (raw sp) 5f001000) |
| fcfidus 80100094e0000359 => (raw sp) 5f001001) |
| fcfidus bfe0000000000001 => (raw sp) 5f3fe000) |
| fcfidus bfe00094e0000359 => (raw sp) 5f3fe001) |
| fcfidus 0020000000000b01 => (raw sp) 5a000000) |
| fcfidus 00000000203f0b3d => (raw sp) 4e00fc2d) |
| fcfidus 00000000005a203d => (raw sp) 4ab4407a) |
| fcfidus 8020000000000b01 => (raw sp) 5f002000) |
| fcfidus 80000000203f0b3d => (raw sp) 5f000000) |
| |
| fcfidu 0010000000000001 => (raw sp) 4330000000000001) |
| fcfidu 00100094e0000359 => (raw sp) 43300094e0000359) |
| fcfidu 3fe0000000000001 => (raw sp) 43cff00000000000) |
| fcfidu 3fe00094e0000359 => (raw sp) 43cff0004a700002) |
| fcfidu 8010000000000001 => (raw sp) 43e0020000000000) |
| fcfidu 80100094e0000359 => (raw sp) 43e00200129c0000) |
| fcfidu bfe0000000000001 => (raw sp) 43e7fc0000000000) |
| fcfidu bfe00094e0000359 => (raw sp) 43e7fc00129c0000) |
| fcfidu 0020000000000b01 => (raw sp) 4340000000000580) |
| fcfidu 00000000203f0b3d => (raw sp) 41c01f859e800000) |
| fcfidu 00000000005a203d => (raw sp) 4156880f40000000) |
| fcfidu 8020000000000b01 => (raw sp) 43e0040000000001) |
| fcfidu 80000000203f0b3d => (raw sp) 43e00000000407e1) |
| |
| Test ftdiv instruction |
| ftdiv: 3fd8000000000000 <=> 404f000000000000 ? 8 (CRx) |
| ftdiv: 7ff7ffffffffffff <=> 404f000000000000 ? a (CRx) |
| ftdiv: 404f000000000000 <=> fff8000000000000 ? a (CRx) |
| ftdiv: 3fd8000000000000 <=> 0018000000b77501 ? a (CRx) |
| ftdiv: 404f000000000000 <=> 7fe800000000051b ? a (CRx) |
| ftdiv: 7fe800000000051b <=> 3fd8000000000000 ? a (CRx) |
| ftdiv: 3fd8000000000000 <=> 7fe800000000051b ? a (CRx) |
| ftdiv: 0123214569900000 <=> 3fd8000000000000 ? a (CRx) |
| ftdiv: 7ff0000000000000 <=> 404f000000000000 ? e (CRx) |
| ftdiv: fff0000000000000 <=> 404f000000000000 ? e (CRx) |
| ftdiv: 404f000000000000 <=> 7ff0000000000000 ? e (CRx) |
| ftdiv: 3fd8000000000000 <=> 8008340000078000 ? e (CRx) |
| ftdiv: 0000000000000000 <=> 0000000000000000 ? e (CRx) |
| ftdiv: 0000000000000000 <=> 8000000000000000 ? e (CRx) |
| |
| Test VSX move instructions |
| xsabsdp: 01234567 89abcdef xsabsdp 8899aabb 91929394x => 0899aabb 91929394 |
| |
| xscpsgndp: 8899aabb 91929394 xscpsgndp 01234567 89abcdefx => 81234567 89abcdef |
| |
| xsnabsdp: b1b2b3b4 c1c2c3c4 xsnabsdp 44556677 8899aabbx => c4556677 8899aabb |
| |
| xsnegdp: 01234567 89abcdef xsnegdp b1b2b3b4 c1c2c3c4x => 31b2b3b4 c1c2c3c4 |
| |
| Test VSX permute instructions |
| xxmrghw: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[11111111,55555555,22222222,66666666] |
| xxmrghw: |
| XA[00112233,44556677,8899aabb,ccddeeff] |
| XB[11111111,22222222,33333333,44444444] |
| => XT[00112233,11111111,44556677,22222222] |
| xxmrglw: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[33333333,77777777,44444444,88888888] |
| xxmrglw: |
| XA[00112233,44556677,8899aabb,ccddeeff] |
| XB[11111111,22222222,33333333,44444444] |
| => XT[8899aabb,33333333,ccddeeff,44444444] |
| xxpermdi DM=00: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[11111111,22222222,55555555,66666666] |
| xxpermdi DM=01: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[11111111,22222222,77777777,88888888] |
| xxpermdi DM=10: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[33333333,44444444,55555555,66666666] |
| xxpermdi DM=11: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[33333333,44444444,77777777,88888888] |
| xxsldwi SHW=0: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[11111111,22222222,33333333,44444444] |
| xxsldwi SHW=1: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[22222222,33333333,44444444,55555555] |
| xxsldwi SHW=2: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[33333333,44444444,55555555,66666666] |
| xxsldwi SHW=3: |
| XA[11111111,22222222,33333333,44444444] |
| XB[55555555,66666666,77777777,88888888] |
| => XT[44444444,55555555,66666666,77777777] |
| |
| Test VSX floating point instructions |
| #0: xscmpudp fff0000000000000 <=> fff0000000000000 ? 2 (CRx) |
| #1: xscmpudp fff0000000000000 <=> c0d0650f5a07b353 ? 8 (CRx) |
| #2: xscmpudp fff0000000000000 <=> 8000000000000000 ? 8 (CRx) |
| #3: xscmpudp fff0000000000000 <=> 0000000000000000 ? 8 (CRx) |
| #4: xscmpudp fff0000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #5: xscmpudp fff0000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #6: xscmpudp fff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #7: xscmpudp fff0000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #8: xscmpudp c0d0650f5a07b353 <=> fff0000000000000 ? 4 (CRx) |
| #9: xscmpudp c0d0650f5a07b353 <=> c0d0650f5a07b353 ? 2 (CRx) |
| #10: xscmpudp c0d0650f5a07b353 <=> 8000000000000000 ? 8 (CRx) |
| #11: xscmpudp c0d0650f5a07b353 <=> 0000000000000000 ? 8 (CRx) |
| #12: xscmpudp c0d0650f5a07b353 <=> 0123214569900000 ? 8 (CRx) |
| #13: xscmpudp c0d0650f5a07b353 <=> 7ff0000000000000 ? 8 (CRx) |
| #14: xscmpudp c0d0650f5a07b353 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #15: xscmpudp c0d0650f5a07b353 <=> 7ff8000000000000 ? 1 (CRx) |
| #16: xscmpudp 8000000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #17: xscmpudp 8000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #18: xscmpudp 8000000000000000 <=> 8000000000000000 ? 2 (CRx) |
| #19: xscmpudp 8000000000000000 <=> 0000000000000000 ? 2 (CRx) |
| #20: xscmpudp 8000000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #21: xscmpudp 8000000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #22: xscmpudp 8000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #23: xscmpudp 8000000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #24: xscmpudp 0000000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #25: xscmpudp 0000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #26: xscmpudp 0000000000000000 <=> 8000000000000000 ? 2 (CRx) |
| #27: xscmpudp 0000000000000000 <=> 0000000000000000 ? 2 (CRx) |
| #28: xscmpudp 0000000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #29: xscmpudp 0000000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #30: xscmpudp 0000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #31: xscmpudp 0000000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #32: xscmpudp 0123214569900000 <=> fff0000000000000 ? 4 (CRx) |
| #33: xscmpudp 0123214569900000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #34: xscmpudp 0123214569900000 <=> 8000000000000000 ? 4 (CRx) |
| #35: xscmpudp 0123214569900000 <=> 0000000000000000 ? 4 (CRx) |
| #36: xscmpudp 0123214569900000 <=> 404f000000000000 ? 8 (CRx) |
| #37: xscmpudp 0123214569900000 <=> 7ff0000000000000 ? 8 (CRx) |
| #38: xscmpudp 0123214569900000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #39: xscmpudp 0123214569900000 <=> 7ff8000000000000 ? 1 (CRx) |
| #40: xscmpudp 7ff0000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #41: xscmpudp 7ff0000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #42: xscmpudp 7ff0000000000000 <=> 8000000000000000 ? 4 (CRx) |
| #43: xscmpudp 7ff0000000000000 <=> 0000000000000000 ? 4 (CRx) |
| #44: xscmpudp 7ff0000000000000 <=> 0123214569900000 ? 4 (CRx) |
| #45: xscmpudp 7ff0000000000000 <=> 7ff0000000000000 ? 2 (CRx) |
| #46: xscmpudp 7ff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #47: xscmpudp 7ff0000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #48: xscmpudp fff7ffffffffffff <=> fff0000000000000 ? 1 (CRx) |
| #49: xscmpudp fff7ffffffffffff <=> c0d0650f5a07b353 ? 1 (CRx) |
| #50: xscmpudp fff7ffffffffffff <=> 8000000000000000 ? 1 (CRx) |
| #51: xscmpudp fff7ffffffffffff <=> 0000000000000000 ? 1 (CRx) |
| #52: xscmpudp fff7ffffffffffff <=> 0123214569900000 ? 1 (CRx) |
| #53: xscmpudp fff7ffffffffffff <=> 7ff0000000000000 ? 1 (CRx) |
| #54: xscmpudp fff7ffffffffffff <=> 7ff7ffffffffffff ? 1 (CRx) |
| #55: xscmpudp fff7ffffffffffff <=> 7ff8000000000000 ? 1 (CRx) |
| #56: xscmpudp fff8000000000000 <=> fff0000000000000 ? 1 (CRx) |
| #57: xscmpudp fff8000000000000 <=> c0d0650f5a07b353 ? 1 (CRx) |
| #58: xscmpudp fff8000000000000 <=> 8000000000000000 ? 1 (CRx) |
| #59: xscmpudp fff8000000000000 <=> 0000000000000000 ? 1 (CRx) |
| #60: xscmpudp fff8000000000000 <=> 0123214569900000 ? 1 (CRx) |
| #61: xscmpudp fff8000000000000 <=> 7ff0000000000000 ? 1 (CRx) |
| #62: xscmpudp fff8000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #63: xscmpudp fff8000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| |
| #0: xscmpodp fff0000000000000 <=> fff0000000000000 ? 2 (CRx) |
| #1: xscmpodp fff0000000000000 <=> c0d0650f5a07b353 ? 8 (CRx) |
| #2: xscmpodp fff0000000000000 <=> 8000000000000000 ? 8 (CRx) |
| #3: xscmpodp fff0000000000000 <=> 0000000000000000 ? 8 (CRx) |
| #4: xscmpodp fff0000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #5: xscmpodp fff0000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #6: xscmpodp fff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #7: xscmpodp fff0000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #8: xscmpodp c0d0650f5a07b353 <=> fff0000000000000 ? 4 (CRx) |
| #9: xscmpodp c0d0650f5a07b353 <=> c0d0650f5a07b353 ? 2 (CRx) |
| #10: xscmpodp c0d0650f5a07b353 <=> 8000000000000000 ? 8 (CRx) |
| #11: xscmpodp c0d0650f5a07b353 <=> 0000000000000000 ? 8 (CRx) |
| #12: xscmpodp c0d0650f5a07b353 <=> 0123214569900000 ? 8 (CRx) |
| #13: xscmpodp c0d0650f5a07b353 <=> 7ff0000000000000 ? 8 (CRx) |
| #14: xscmpodp c0d0650f5a07b353 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #15: xscmpodp c0d0650f5a07b353 <=> 7ff8000000000000 ? 1 (CRx) |
| #16: xscmpodp 8000000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #17: xscmpodp 8000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #18: xscmpodp 8000000000000000 <=> 8000000000000000 ? 2 (CRx) |
| #19: xscmpodp 8000000000000000 <=> 0000000000000000 ? 2 (CRx) |
| #20: xscmpodp 8000000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #21: xscmpodp 8000000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #22: xscmpodp 8000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #23: xscmpodp 8000000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #24: xscmpodp 0000000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #25: xscmpodp 0000000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #26: xscmpodp 0000000000000000 <=> 8000000000000000 ? 2 (CRx) |
| #27: xscmpodp 0000000000000000 <=> 0000000000000000 ? 2 (CRx) |
| #28: xscmpodp 0000000000000000 <=> 0123214569900000 ? 8 (CRx) |
| #29: xscmpodp 0000000000000000 <=> 7ff0000000000000 ? 8 (CRx) |
| #30: xscmpodp 0000000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #31: xscmpodp 0000000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #32: xscmpodp 0123214569900000 <=> fff0000000000000 ? 4 (CRx) |
| #33: xscmpodp 0123214569900000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #34: xscmpodp 0123214569900000 <=> 8000000000000000 ? 4 (CRx) |
| #35: xscmpodp 0123214569900000 <=> 0000000000000000 ? 4 (CRx) |
| #36: xscmpodp 0123214569900000 <=> 404f000000000000 ? 8 (CRx) |
| #37: xscmpodp 0123214569900000 <=> 7ff0000000000000 ? 8 (CRx) |
| #38: xscmpodp 0123214569900000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #39: xscmpodp 0123214569900000 <=> 7ff8000000000000 ? 1 (CRx) |
| #40: xscmpodp 7ff0000000000000 <=> fff0000000000000 ? 4 (CRx) |
| #41: xscmpodp 7ff0000000000000 <=> c0d0650f5a07b353 ? 4 (CRx) |
| #42: xscmpodp 7ff0000000000000 <=> 8000000000000000 ? 4 (CRx) |
| #43: xscmpodp 7ff0000000000000 <=> 0000000000000000 ? 4 (CRx) |
| #44: xscmpodp 7ff0000000000000 <=> 0123214569900000 ? 4 (CRx) |
| #45: xscmpodp 7ff0000000000000 <=> 7ff0000000000000 ? 2 (CRx) |
| #46: xscmpodp 7ff0000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #47: xscmpodp 7ff0000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| #48: xscmpodp fff7ffffffffffff <=> fff0000000000000 ? 1 (CRx) |
| #49: xscmpodp fff7ffffffffffff <=> c0d0650f5a07b353 ? 1 (CRx) |
| #50: xscmpodp fff7ffffffffffff <=> 8000000000000000 ? 1 (CRx) |
| #51: xscmpodp fff7ffffffffffff <=> 0000000000000000 ? 1 (CRx) |
| #52: xscmpodp fff7ffffffffffff <=> 0123214569900000 ? 1 (CRx) |
| #53: xscmpodp fff7ffffffffffff <=> 7ff0000000000000 ? 1 (CRx) |
| #54: xscmpodp fff7ffffffffffff <=> 7ff7ffffffffffff ? 1 (CRx) |
| #55: xscmpodp fff7ffffffffffff <=> 7ff8000000000000 ? 1 (CRx) |
| #56: xscmpodp fff8000000000000 <=> fff0000000000000 ? 1 (CRx) |
| #57: xscmpodp fff8000000000000 <=> c0d0650f5a07b353 ? 1 (CRx) |
| #58: xscmpodp fff8000000000000 <=> 8000000000000000 ? 1 (CRx) |
| #59: xscmpodp fff8000000000000 <=> 0000000000000000 ? 1 (CRx) |
| #60: xscmpodp fff8000000000000 <=> 0123214569900000 ? 1 (CRx) |
| #61: xscmpodp fff8000000000000 <=> 7ff0000000000000 ? 1 (CRx) |
| #62: xscmpodp fff8000000000000 <=> 7ff7ffffffffffff ? 1 (CRx) |
| #63: xscmpodp fff8000000000000 <=> 7ff8000000000000 ? 1 (CRx) |
| |
| #0: xsadddp fff0000000000000 fff0000000000000 = fff0000000000000 |
| #1: xsadddp fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #2: xsadddp fff0000000000000 8000000000000000 = fff0000000000000 |
| #3: xsadddp fff0000000000000 0000000000000000 = fff0000000000000 |
| #4: xsadddp fff0000000000000 0123214569900000 = fff0000000000000 |
| #5: xsadddp fff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #6: xsadddp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsadddp fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsadddp c0d0650f5a07b353 fff0000000000000 = fff0000000000000 |
| #9: xsadddp c0d0650f5a07b353 c0d0650f5a07b353 = c0e0650f5a07b353 |
| #10: xsadddp c0d0650f5a07b353 8000000000000000 = c0d0650f5a07b353 |
| #11: xsadddp c0d0650f5a07b353 0000000000000000 = c0d0650f5a07b353 |
| #12: xsadddp c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353 |
| #13: xsadddp c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000 |
| #14: xsadddp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsadddp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsadddp 8000000000000000 fff0000000000000 = fff0000000000000 |
| #17: xsadddp 8000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #18: xsadddp 8000000000000000 8000000000000000 = 8000000000000000 |
| #19: xsadddp 8000000000000000 0000000000000000 = 0000000000000000 |
| #20: xsadddp 8000000000000000 0123214569900000 = 0123214569900000 |
| #21: xsadddp 8000000000000000 7ff0000000000000 = 7ff0000000000000 |
| #22: xsadddp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsadddp 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsadddp 0000000000000000 fff0000000000000 = fff0000000000000 |
| #25: xsadddp 0000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #26: xsadddp 0000000000000000 8000000000000000 = 0000000000000000 |
| #27: xsadddp 0000000000000000 0000000000000000 = 0000000000000000 |
| #28: xsadddp 0000000000000000 0123214569900000 = 0123214569900000 |
| #29: xsadddp 0000000000000000 7ff0000000000000 = 7ff0000000000000 |
| #30: xsadddp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsadddp 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsadddp 0123214569900000 fff0000000000000 = fff0000000000000 |
| #33: xsadddp 0123214569900000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #34: xsadddp 0123214569900000 8000000000000000 = 0123214569900000 |
| #35: xsadddp 0123214569900000 0000000000000000 = 0123214569900000 |
| #36: xsadddp 0123214569900000 404f000000000000 = 404f000000000000 |
| #37: xsadddp 0123214569900000 7ff0000000000000 = 7ff0000000000000 |
| #38: xsadddp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsadddp 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsadddp 7ff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #41: xsadddp 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #42: xsadddp 7ff0000000000000 8000000000000000 = 7ff0000000000000 |
| #43: xsadddp 7ff0000000000000 0000000000000000 = 7ff0000000000000 |
| #44: xsadddp 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #45: xsadddp 7ff0000000000000 7ff0000000000000 = 7ff0000000000000 |
| #46: xsadddp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsadddp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsadddp fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsadddp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsadddp fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsadddp fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsadddp fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsadddp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsadddp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsadddp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsadddp fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsadddp fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsadddp fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsadddp fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsadddp fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsadddp fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsadddp fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsadddp fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xsdivdp fff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #1: xsdivdp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #2: xsdivdp fff0000000000000 8000000000000000 = 7ff0000000000000 |
| #3: xsdivdp fff0000000000000 0000000000000000 = fff0000000000000 |
| #4: xsdivdp fff0000000000000 0123214569900000 = fff0000000000000 |
| #5: xsdivdp fff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #6: xsdivdp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsdivdp fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsdivdp c0d0650f5a07b353 fff0000000000000 = 0000000000000000 |
| #9: xsdivdp c0d0650f5a07b353 c0d0650f5a07b353 = 3ff0000000000000 |
| #10: xsdivdp c0d0650f5a07b353 8000000000000000 = 7ff0000000000000 |
| #11: xsdivdp c0d0650f5a07b353 0000000000000000 = fff0000000000000 |
| #12: xsdivdp c0d0650f5a07b353 0123214569900000 = ff9b6cb57ca13c00 |
| #13: xsdivdp c0d0650f5a07b353 7ff0000000000000 = 8000000000000000 |
| #14: xsdivdp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsdivdp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsdivdp 8000000000000000 fff0000000000000 = 0000000000000000 |
| #17: xsdivdp 8000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #18: xsdivdp 8000000000000000 8000000000000000 = 7ff8000000000000 |
| #19: xsdivdp 8000000000000000 0000000000000000 = 7ff8000000000000 |
| #20: xsdivdp 8000000000000000 0123214569900000 = 8000000000000000 |
| #21: xsdivdp 8000000000000000 7ff0000000000000 = 8000000000000000 |
| #22: xsdivdp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsdivdp 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsdivdp 0000000000000000 fff0000000000000 = 8000000000000000 |
| #25: xsdivdp 0000000000000000 c0d0650f5a07b353 = 8000000000000000 |
| #26: xsdivdp 0000000000000000 8000000000000000 = 7ff8000000000000 |
| #27: xsdivdp 0000000000000000 0000000000000000 = 7ff8000000000000 |
| #28: xsdivdp 0000000000000000 0123214569900000 = 0000000000000000 |
| #29: xsdivdp 0000000000000000 7ff0000000000000 = 0000000000000000 |
| #30: xsdivdp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsdivdp 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsdivdp 0123214569900000 fff0000000000000 = 8000000000000000 |
| #33: xsdivdp 0123214569900000 c0d0650f5a07b353 = 8042ab59d8b6ec87 |
| #34: xsdivdp 0123214569900000 8000000000000000 = fff0000000000000 |
| #35: xsdivdp 0123214569900000 0000000000000000 = 7ff0000000000000 |
| #36: xsdivdp 0123214569900000 404f000000000000 = 00c3bf3f64b5ad6b |
| #37: xsdivdp 0123214569900000 7ff0000000000000 = 0000000000000000 |
| #38: xsdivdp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsdivdp 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsdivdp 7ff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #41: xsdivdp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #42: xsdivdp 7ff0000000000000 8000000000000000 = fff0000000000000 |
| #43: xsdivdp 7ff0000000000000 0000000000000000 = 7ff0000000000000 |
| #44: xsdivdp 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #45: xsdivdp 7ff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #46: xsdivdp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsdivdp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsdivdp fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsdivdp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsdivdp fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsdivdp fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsdivdp fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsdivdp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsdivdp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsdivdp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsdivdp fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsdivdp fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsdivdp fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsdivdp fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsdivdp fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsdivdp fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsdivdp fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsdivdp fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xsmaddadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000 |
| #1: xsmaddadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000 |
| #2: xsmaddadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #3: xsmaddadp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000 |
| #4: xsmaddadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #5: xsmaddadp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000 |
| #6: xsmaddadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #7: xsmaddadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000 |
| #8: xsmaddadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = fff0000000000000 |
| #9: xsmaddadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353 |
| #10: xsmaddadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7 |
| #11: xsmaddadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f |
| #12: xsmaddadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7 |
| #13: xsmaddadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = 7ff0000000000000 |
| #14: xsmaddadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff |
| #15: xsmaddadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000 |
| #16: xsmaddadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #17: xsmaddadp c0d0650f5a07b353 8000000000000000 0123214569900000 = c0d0650f5a07b353 |
| #18: xsmaddadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #19: xsmaddadp 0000000000000000 8000000000000000 0123214569900000 = 0000000000000000 |
| #20: xsmaddadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 0123214569900000 |
| #21: xsmaddadp 7ff0000000000000 8000000000000000 0123214569900000 = 7ff0000000000000 |
| #22: xsmaddadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #23: xsmaddadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000 |
| #24: xsmaddadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #25: xsmaddadp c0d0650f5a07b353 0000000000000000 0123214569900000 = c0d0650f5a07b353 |
| #26: xsmaddadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 8000000000000000 |
| #27: xsmaddadp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000 |
| #28: xsmaddadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 0123214569900000 |
| #29: xsmaddadp 7ff0000000000000 0000000000000000 0123214569900000 = 7ff0000000000000 |
| #30: xsmaddadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #31: xsmaddadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000 |
| #32: xsmaddadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = fff0000000000000 |
| #33: xsmaddadp c0d0650f5a07b353 0123214569900000 0123214569900000 = c0d0650f5a07b353 |
| #34: xsmaddadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f |
| #35: xsmaddadp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000 |
| #36: xsmaddadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = 404f000000000000 |
| #37: xsmaddadp 7ff0000000000000 0123214569900000 0123214569900000 = 7ff0000000000000 |
| #38: xsmaddadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff |
| #39: xsmaddadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000 |
| #40: xsmaddadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #41: xsmaddadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #42: xsmaddadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #43: xsmaddadp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #44: xsmaddadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #45: xsmaddadp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #46: xsmaddadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #47: xsmaddadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000 |
| #48: xsmaddadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #49: xsmaddadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #50: xsmaddadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #51: xsmaddadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #52: xsmaddadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #53: xsmaddadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #54: xsmaddadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #55: xsmaddadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #56: xsmaddadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #57: xsmaddadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #58: xsmaddadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #59: xsmaddadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #60: xsmaddadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #61: xsmaddadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #62: xsmaddadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #63: xsmaddadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| |
| #0: xsmaddmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #1: xsmaddmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #2: xsmaddmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000 |
| #3: xsmaddmdp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000 |
| #4: xsmaddmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000 |
| #5: xsmaddmdp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #6: xsmaddmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsmaddmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = fff0000000000000 |
| #9: xsmaddmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #10: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d05eec2a7 |
| #11: xsmaddmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 82039a19ca8fcb5f |
| #12: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d05eec2a7 |
| #13: xsmaddmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000 |
| #14: xsmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsmaddmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsmaddmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = fff0000000000000 |
| #17: xsmaddmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #18: xsmaddmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000 |
| #19: xsmaddmdp 0123214569900000 8000000000000000 0000000000000000 = 0000000000000000 |
| #20: xsmaddmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 0123214569900000 |
| #21: xsmaddmdp 0123214569900000 8000000000000000 7ff0000000000000 = 7ff0000000000000 |
| #22: xsmaddmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsmaddmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsmaddmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = fff0000000000000 |
| #25: xsmaddmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #26: xsmaddmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 8000000000000000 |
| #27: xsmaddmdp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000 |
| #28: xsmaddmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 0123214569900000 |
| #29: xsmaddmdp 0123214569900000 0000000000000000 7ff0000000000000 = 7ff0000000000000 |
| #30: xsmaddmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsmaddmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsmaddmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = fff0000000000000 |
| #33: xsmaddmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = c0d0650f5a07b353 |
| #34: xsmaddmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 82039a19ca8fcb5f |
| #35: xsmaddmdp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000 |
| #36: xsmaddmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = 404f000000000000 |
| #37: xsmaddmdp 0123214569900000 0123214569900000 7ff0000000000000 = 7ff0000000000000 |
| #38: xsmaddmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsmaddmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = fff0000000000000 |
| #41: xsmaddmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #42: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000 |
| #43: xsmaddmdp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000 |
| #44: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000 |
| #45: xsmaddmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff0000000000000 |
| #46: xsmaddmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsmaddmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsmaddmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsmaddmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsmaddmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsmaddmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsmaddmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsmaddmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsmaddmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsmaddmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsmaddmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsmaddmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsmaddmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsmaddmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsmaddmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xsmsubadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #1: xsmsubadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000 |
| #2: xsmsubadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #3: xsmsubadp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000 |
| #4: xsmsubadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #5: xsmsubadp 7ff0000000000000 fff0000000000000 0123214569900000 = fff0000000000000 |
| #6: xsmsubadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #7: xsmsubadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000 |
| #8: xsmsubadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000 |
| #9: xsmsubadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f5a07b353 |
| #10: xsmsubadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7 |
| #11: xsmsubadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f |
| #12: xsmsubadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7 |
| #13: xsmsubadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000 |
| #14: xsmsubadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff |
| #15: xsmsubadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000 |
| #16: xsmsubadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #17: xsmsubadp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f5a07b353 |
| #18: xsmsubadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #19: xsmsubadp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000 |
| #20: xsmsubadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8123214569900000 |
| #21: xsmsubadp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000 |
| #22: xsmsubadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #23: xsmsubadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000 |
| #24: xsmsubadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #25: xsmsubadp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f5a07b353 |
| #26: xsmsubadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #27: xsmsubadp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000 |
| #28: xsmsubadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8123214569900000 |
| #29: xsmsubadp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000 |
| #30: xsmsubadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #31: xsmsubadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000 |
| #32: xsmsubadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000 |
| #33: xsmsubadp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f5a07b353 |
| #34: xsmsubadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f |
| #35: xsmsubadp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000 |
| #36: xsmsubadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000 |
| #37: xsmsubadp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000 |
| #38: xsmsubadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff |
| #39: xsmsubadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000 |
| #40: xsmsubadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff8000000000000 |
| #41: xsmsubadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #42: xsmsubadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #43: xsmsubadp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #44: xsmsubadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #45: xsmsubadp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000 |
| #46: xsmsubadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #47: xsmsubadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000 |
| #48: xsmsubadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #49: xsmsubadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #50: xsmsubadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #51: xsmsubadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #52: xsmsubadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #53: xsmsubadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #54: xsmsubadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #55: xsmsubadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #56: xsmsubadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #57: xsmsubadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #58: xsmsubadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #59: xsmsubadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #60: xsmsubadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #61: xsmsubadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #62: xsmsubadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #63: xsmsubadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| |
| #0: xsmsubmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff0000000000000 |
| #1: xsmsubmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #2: xsmsubmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000 |
| #3: xsmsubmdp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000 |
| #4: xsmsubmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000 |
| #5: xsmsubmdp 0123214569900000 fff0000000000000 7ff0000000000000 = fff0000000000000 |
| #6: xsmsubmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsmsubmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000 |
| #9: xsmsubmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #10: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d05eec2a7 |
| #11: xsmsubmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 82039a19ca8fcb5f |
| #12: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d05eec2a7 |
| #13: xsmsubmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000 |
| #14: xsmsubmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsmsubmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsmsubmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000 |
| #17: xsmsubmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #18: xsmsubmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000 |
| #19: xsmsubmdp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000 |
| #20: xsmsubmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8123214569900000 |
| #21: xsmsubmdp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000 |
| #22: xsmsubmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsmsubmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsmsubmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000 |
| #25: xsmsubmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #26: xsmsubmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000 |
| #27: xsmsubmdp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000 |
| #28: xsmsubmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8123214569900000 |
| #29: xsmsubmdp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000 |
| #30: xsmsubmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsmsubmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsmsubmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000 |
| #33: xsmsubmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #34: xsmsubmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 82039a19ca8fcb5f |
| #35: xsmsubmdp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000 |
| #36: xsmsubmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000 |
| #37: xsmsubmdp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000 |
| #38: xsmsubmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsmsubmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #41: xsmsubmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #42: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000 |
| #43: xsmsubmdp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000 |
| #44: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000 |
| #45: xsmsubmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #46: xsmsubmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsmsubmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsmsubmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsmsubmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsmsubmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsmsubmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsmsubmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsmsubmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsmsubmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsmsubmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsmsubmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsmsubmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsmsubmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsmsubmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsmsubmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xsnmaddadp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000 |
| #1: xsnmaddadp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000 |
| #2: xsnmaddadp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #3: xsnmaddadp 0000000000000000 fff0000000000000 0123214569900000 = 7ff0000000000000 |
| #4: xsnmaddadp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #5: xsnmaddadp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000 |
| #6: xsnmaddadp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #7: xsnmaddadp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000 |
| #8: xsnmaddadp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000 |
| #9: xsnmaddadp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f5a07b353 |
| #10: xsnmaddadp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d05eec2a7 |
| #11: xsnmaddadp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 02039a19ca8fcb5f |
| #12: xsnmaddadp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d05eec2a7 |
| #13: xsnmaddadp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000 |
| #14: xsnmaddadp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffffffffff |
| #15: xsnmaddadp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000 |
| #16: xsnmaddadp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #17: xsnmaddadp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f5a07b353 |
| #18: xsnmaddadp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 8000000000000000 |
| #19: xsnmaddadp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000 |
| #20: xsnmaddadp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8123214569900000 |
| #21: xsnmaddadp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000 |
| #22: xsnmaddadp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #23: xsnmaddadp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000 |
| #24: xsnmaddadp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #25: xsnmaddadp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f5a07b353 |
| #26: xsnmaddadp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #27: xsnmaddadp 0000000000000000 0000000000000000 0123214569900000 = 8000000000000000 |
| #28: xsnmaddadp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8123214569900000 |
| #29: xsnmaddadp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000 |
| #30: xsnmaddadp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #31: xsnmaddadp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000 |
| #32: xsnmaddadp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000 |
| #33: xsnmaddadp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f5a07b353 |
| #34: xsnmaddadp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 02039a19ca8fcb5f |
| #35: xsnmaddadp 0000000000000000 0123214569900000 0123214569900000 = 8000000000000000 |
| #36: xsnmaddadp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000 |
| #37: xsnmaddadp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000 |
| #38: xsnmaddadp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffffffffff |
| #39: xsnmaddadp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000 |
| #40: xsnmaddadp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #41: xsnmaddadp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000 |
| #42: xsnmaddadp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #43: xsnmaddadp 0000000000000000 7ff0000000000000 0123214569900000 = fff0000000000000 |
| #44: xsnmaddadp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #45: xsnmaddadp 7ff0000000000000 7ff0000000000000 0123214569900000 = fff0000000000000 |
| #46: xsnmaddadp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffffffffff |
| #47: xsnmaddadp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000 |
| #48: xsnmaddadp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #49: xsnmaddadp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #50: xsnmaddadp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #51: xsnmaddadp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #52: xsnmaddadp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #53: xsnmaddadp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #54: xsnmaddadp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #55: xsnmaddadp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #56: xsnmaddadp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #57: xsnmaddadp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #58: xsnmaddadp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #59: xsnmaddadp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #60: xsnmaddadp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #61: xsnmaddadp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| #62: xsnmaddadp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #63: xsnmaddadp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000 |
| |
| #0: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #1: xsnmaddmdp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #2: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 8000000000000000 = fff0000000000000 |
| #3: xsnmaddmdp 0123214569900000 fff0000000000000 0000000000000000 = 7ff0000000000000 |
| #4: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000 |
| #5: xsnmaddmdp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #6: xsnmaddmdp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsnmaddmdp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000 |
| #9: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #10: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = c1b0cc9d05eec2a7 |
| #11: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 02039a19ca8fcb5f |
| #12: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c1b0cc9d05eec2a7 |
| #13: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000 |
| #14: xsnmaddmdp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsnmaddmdp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsnmaddmdp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000 |
| #17: xsnmaddmdp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #18: xsnmaddmdp c0d0650f5a07b353 8000000000000000 8000000000000000 = 8000000000000000 |
| #19: xsnmaddmdp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000 |
| #20: xsnmaddmdp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8123214569900000 |
| #21: xsnmaddmdp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000 |
| #22: xsnmaddmdp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsnmaddmdp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsnmaddmdp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000 |
| #25: xsnmaddmdp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #26: xsnmaddmdp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000 |
| #27: xsnmaddmdp 0123214569900000 0000000000000000 0000000000000000 = 8000000000000000 |
| #28: xsnmaddmdp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8123214569900000 |
| #29: xsnmaddmdp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000 |
| #30: xsnmaddmdp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsnmaddmdp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsnmaddmdp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000 |
| #33: xsnmaddmdp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #34: xsnmaddmdp c0d0650f5a07b353 0123214569900000 8000000000000000 = 02039a19ca8fcb5f |
| #35: xsnmaddmdp 0123214569900000 0123214569900000 0000000000000000 = 8000000000000000 |
| #36: xsnmaddmdp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000 |
| #37: xsnmaddmdp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000 |
| #38: xsnmaddmdp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsnmaddmdp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff0000000000000 |
| #41: xsnmaddmdp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #42: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = 7ff0000000000000 |
| #43: xsnmaddmdp 0123214569900000 7ff0000000000000 0000000000000000 = fff0000000000000 |
| #44: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #45: xsnmaddmdp 0123214569900000 7ff0000000000000 7ff0000000000000 = fff0000000000000 |
| #46: xsnmaddmdp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsnmaddmdp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsnmaddmdp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsnmaddmdp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsnmaddmdp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsnmaddmdp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsnmaddmdp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsnmaddmdp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsnmaddmdp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsnmaddmdp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsnmaddmdp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsnmaddmdp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xsmuldp fff0000000000000 fff0000000000000 = 7ff0000000000000 |
| #1: xsmuldp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #2: xsmuldp fff0000000000000 8000000000000000 = 7ff8000000000000 |
| #3: xsmuldp fff0000000000000 0000000000000000 = 7ff8000000000000 |
| #4: xsmuldp fff0000000000000 0123214569900000 = fff0000000000000 |
| #5: xsmuldp fff0000000000000 7ff0000000000000 = fff0000000000000 |
| #6: xsmuldp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xsmuldp fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xsmuldp c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000 |
| #9: xsmuldp c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d05eec2a7 |
| #10: xsmuldp c0d0650f5a07b353 8000000000000000 = 0000000000000000 |
| #11: xsmuldp c0d0650f5a07b353 0000000000000000 = 8000000000000000 |
| #12: xsmuldp c0d0650f5a07b353 0123214569900000 = 82039a19ca8fcb5f |
| #13: xsmuldp c0d0650f5a07b353 7ff0000000000000 = fff0000000000000 |
| #14: xsmuldp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xsmuldp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xsmuldp 8000000000000000 fff0000000000000 = 7ff8000000000000 |
| #17: xsmuldp 8000000000000000 c0d0650f5a07b353 = 0000000000000000 |
| #18: xsmuldp 8000000000000000 8000000000000000 = 0000000000000000 |
| #19: xsmuldp 8000000000000000 0000000000000000 = 8000000000000000 |
| #20: xsmuldp 8000000000000000 0123214569900000 = 8000000000000000 |
| #21: xsmuldp 8000000000000000 7ff0000000000000 = 7ff8000000000000 |
| #22: xsmuldp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xsmuldp 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xsmuldp 0000000000000000 fff0000000000000 = 7ff8000000000000 |
| #25: xsmuldp 0000000000000000 c0d0650f5a07b353 = 8000000000000000 |
| #26: xsmuldp 0000000000000000 8000000000000000 = 8000000000000000 |
| #27: xsmuldp 0000000000000000 0000000000000000 = 0000000000000000 |
| #28: xsmuldp 0000000000000000 0123214569900000 = 0000000000000000 |
| #29: xsmuldp 0000000000000000 7ff0000000000000 = 7ff8000000000000 |
| #30: xsmuldp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xsmuldp 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xsmuldp 0123214569900000 fff0000000000000 = fff0000000000000 |
| #33: xsmuldp 0123214569900000 c0d0650f5a07b353 = 82039a19ca8fcb5f |
| #34: xsmuldp 0123214569900000 8000000000000000 = 8000000000000000 |
| #35: xsmuldp 0123214569900000 0000000000000000 = 0000000000000000 |
| #36: xsmuldp 0123214569900000 404f000000000000 = 0182883b3e438000 |
| #37: xsmuldp 0123214569900000 7ff0000000000000 = 7ff0000000000000 |
| #38: xsmuldp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xsmuldp 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xsmuldp 7ff0000000000000 fff0000000000000 = fff0000000000000 |
| #41: xsmuldp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #42: xsmuldp 7ff0000000000000 8000000000000000 = 7ff8000000000000 |
| #43: xsmuldp 7ff0000000000000 0000000000000000 = 7ff8000000000000 |
| #44: xsmuldp 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #45: xsmuldp 7ff0000000000000 7ff0000000000000 = 7ff0000000000000 |
| #46: xsmuldp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xsmuldp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xsmuldp fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xsmuldp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xsmuldp fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xsmuldp fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xsmuldp fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xsmuldp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xsmuldp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xsmuldp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xsmuldp fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xsmuldp fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xsmuldp fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xsmuldp fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xsmuldp fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xsmuldp fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xsmuldp fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xsmuldp fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| #0: xssubdp fff0000000000000 fff0000000000000 = 7ff8000000000000 |
| #1: xssubdp fff0000000000000 c0d0650f5a07b353 = fff0000000000000 |
| #2: xssubdp fff0000000000000 8000000000000000 = fff0000000000000 |
| #3: xssubdp fff0000000000000 0000000000000000 = fff0000000000000 |
| #4: xssubdp fff0000000000000 0123214569900000 = fff0000000000000 |
| #5: xssubdp fff0000000000000 7ff0000000000000 = fff0000000000000 |
| #6: xssubdp fff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #7: xssubdp fff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #8: xssubdp c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000 |
| #9: xssubdp c0d0650f5a07b353 c0d0650f5a07b353 = 0000000000000000 |
| #10: xssubdp c0d0650f5a07b353 8000000000000000 = c0d0650f5a07b353 |
| #11: xssubdp c0d0650f5a07b353 0000000000000000 = c0d0650f5a07b353 |
| #12: xssubdp c0d0650f5a07b353 0123214569900000 = c0d0650f5a07b353 |
| #13: xssubdp c0d0650f5a07b353 7ff0000000000000 = fff0000000000000 |
| #14: xssubdp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffffffffff |
| #15: xssubdp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000 |
| #16: xssubdp 8000000000000000 fff0000000000000 = 7ff0000000000000 |
| #17: xssubdp 8000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #18: xssubdp 8000000000000000 8000000000000000 = 0000000000000000 |
| #19: xssubdp 8000000000000000 0000000000000000 = 8000000000000000 |
| #20: xssubdp 8000000000000000 0123214569900000 = 8123214569900000 |
| #21: xssubdp 8000000000000000 7ff0000000000000 = fff0000000000000 |
| #22: xssubdp 8000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #23: xssubdp 8000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #24: xssubdp 0000000000000000 fff0000000000000 = 7ff0000000000000 |
| #25: xssubdp 0000000000000000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #26: xssubdp 0000000000000000 8000000000000000 = 0000000000000000 |
| #27: xssubdp 0000000000000000 0000000000000000 = 0000000000000000 |
| #28: xssubdp 0000000000000000 0123214569900000 = 8123214569900000 |
| #29: xssubdp 0000000000000000 7ff0000000000000 = fff0000000000000 |
| #30: xssubdp 0000000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #31: xssubdp 0000000000000000 7ff8000000000000 = 7ff8000000000000 |
| #32: xssubdp 0123214569900000 fff0000000000000 = 7ff0000000000000 |
| #33: xssubdp 0123214569900000 c0d0650f5a07b353 = 40d0650f5a07b353 |
| #34: xssubdp 0123214569900000 8000000000000000 = 0123214569900000 |
| #35: xssubdp 0123214569900000 0000000000000000 = 0123214569900000 |
| #36: xssubdp 0123214569900000 404f000000000000 = c04f000000000000 |
| #37: xssubdp 0123214569900000 7ff0000000000000 = fff0000000000000 |
| #38: xssubdp 0123214569900000 7ff7ffffffffffff = 7fffffffffffffff |
| #39: xssubdp 0123214569900000 7ff8000000000000 = 7ff8000000000000 |
| #40: xssubdp 7ff0000000000000 fff0000000000000 = 7ff0000000000000 |
| #41: xssubdp 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000 |
| #42: xssubdp 7ff0000000000000 8000000000000000 = 7ff0000000000000 |
| #43: xssubdp 7ff0000000000000 0000000000000000 = 7ff0000000000000 |
| #44: xssubdp 7ff0000000000000 0123214569900000 = 7ff0000000000000 |
| #45: xssubdp 7ff0000000000000 7ff0000000000000 = 7ff8000000000000 |
| #46: xssubdp 7ff0000000000000 7ff7ffffffffffff = 7fffffffffffffff |
| #47: xssubdp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000 |
| #48: xssubdp fff7ffffffffffff fff0000000000000 = ffffffffffffffff |
| #49: xssubdp fff7ffffffffffff c0d0650f5a07b353 = ffffffffffffffff |
| #50: xssubdp fff7ffffffffffff 8000000000000000 = ffffffffffffffff |
| #51: xssubdp fff7ffffffffffff 0000000000000000 = ffffffffffffffff |
| #52: xssubdp fff7ffffffffffff 0123214569900000 = ffffffffffffffff |
| #53: xssubdp fff7ffffffffffff 7ff0000000000000 = ffffffffffffffff |
| #54: xssubdp fff7ffffffffffff 7ff7ffffffffffff = ffffffffffffffff |
| #55: xssubdp fff7ffffffffffff 7ff8000000000000 = ffffffffffffffff |
| #56: xssubdp fff8000000000000 fff0000000000000 = fff8000000000000 |
| #57: xssubdp fff8000000000000 c0d0650f5a07b353 = fff8000000000000 |
| #58: xssubdp fff8000000000000 8000000000000000 = fff8000000000000 |
| #59: xssubdp fff8000000000000 0000000000000000 = fff8000000000000 |
| #60: xssubdp fff8000000000000 0123214569900000 = fff8000000000000 |
| #61: xssubdp fff8000000000000 7ff0000000000000 = fff8000000000000 |
| #62: xssubdp fff8000000000000 7ff7ffffffffffff = fff8000000000000 |
| #63: xssubdp fff8000000000000 7ff8000000000000 = fff8000000000000 |
| |
| |
| Test VSX scalar integer conversion instructions |
| #0: xscvdpsxds 3fd8000000000000 => 0000000000000000 |
| #1: xscvdpsxds 404f000000000000 => 000000000000003e |
| #2: xscvdpsxds 0018000000b77501 => 0000000000000000 |
| #3: xscvdpsxds 7fe800000000051b => 7fffffffffffffff |
| #4: xscvdpsxds 0123214569900000 => 0000000000000000 |
| #5: xscvdpsxds 0000000000000000 => 0000000000000000 |
| #6: xscvdpsxds 8000000000000000 => 0000000000000000 |
| #7: xscvdpsxds 7ff0000000000000 => 7fffffffffffffff |
| #8: xscvdpsxds fff0000000000000 => 8000000000000000 |
| #9: xscvdpsxds 7ff7ffffffffffff => 8000000000000000 |
| #10: xscvdpsxds fff7ffffffffffff => 8000000000000000 |
| #11: xscvdpsxds 7ff8000000000000 => 8000000000000000 |
| #12: xscvdpsxds fff8000000000000 => 8000000000000000 |
| #13: xscvdpsxds 8008340000078000 => 0000000000000000 |
| #14: xscvdpsxds c0d0650f5a07b353 => ffffffffffffbe6c |
| |
| #0: xscvsxddp 3fd8000000000000 => 43cfec0000000000 |
| #1: xscvsxddp 404f000000000000 => 43d013c000000000 |
| #2: xscvsxddp 0018000000b77501 => 4338000000b77501 |
| #3: xscvsxddp 7fe800000000051b => 43dffa0000000001 |
| #4: xscvsxddp 0123214569900000 => 4372321456990000 |
| #5: xscvsxddp 0000000000000000 => 0000000000000000 |
| #6: xscvsxddp 8000000000000000 => c3e0000000000000 |
| #7: xscvsxddp 7ff0000000000000 => 43dffc0000000000 |
| #8: xscvsxddp fff0000000000000 => c330000000000000 |
| #9: xscvsxddp 7ff7ffffffffffff => 43dffe0000000000 |
| #10: xscvsxddp fff7ffffffffffff => c320000000000002 |
| #11: xscvsxddp 7ff8000000000000 => 43dffe0000000000 |
| #12: xscvsxddp fff8000000000000 => c320000000000000 |
| #13: xscvsxddp 8008340000078000 => c3dffdf2fffffe20 |
| #14: xscvsxddp c0d0650f5a07b353 => c3cf97cd7852fc26 |
| |
| #0: xscvuxddp 3fd8000000000000 => 43cfec0000000000 |
| #1: xscvuxddp 404f000000000000 => 43d013c000000000 |
| #2: xscvuxddp 0018000000b77501 => 4338000000b77501 |
| #3: xscvuxddp 7fe800000000051b => 43dffa0000000001 |
| #4: xscvuxddp 0123214569900000 => 4372321456990000 |
| #5: xscvuxddp 0000000000000000 => 0000000000000000 |
| #6: xscvuxddp 8000000000000000 => 43e0000000000000 |
| #7: xscvuxddp 7ff0000000000000 => 43dffc0000000000 |
| #8: xscvuxddp fff0000000000000 => 43effe0000000000 |
| #9: xscvuxddp 7ff7ffffffffffff => 43dffe0000000000 |
| #10: xscvuxddp fff7ffffffffffff => 43efff0000000000 |
| #11: xscvuxddp 7ff8000000000000 => 43dffe0000000000 |
| #12: xscvuxddp fff8000000000000 => 43efff0000000000 |
| #13: xscvuxddp 8008340000078000 => 43e00106800000f0 |
| #14: xscvuxddp c0d0650f5a07b353 => 43e81a0ca1eb40f6 |
| |
| |
| Testcase PASSED |