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 ef (reverse) => ef cd ab 89 67 45 23 01
ldbrx: 89 ab cd ef 00 11 22 33 (reverse) => 33 22 11 00 ef cd ab 89
ldbrx: 00 11 22 33 44 55 66 77 (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: X[B]: 0123456789abcdef => 0123456789abcdef
xsabsdp: X[B]: 8899aabb19293942 => 0899aabb19293942
xsabsdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
xscpsgndp: X[A]: 0123456789abcdef X[B]: 0123456789abcdef => 0123456789abcdef
xscpsgndp: X[A]: 8899aabb19293942 X[B]: 0123456789abcdef => 8123456789abcdef
xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: 0123456789abcdef => 8123456789abcdef
xscpsgndp: X[A]: 0123456789abcdef X[B]: 8899aabb19293942 => 0899aabb19293942
xscpsgndp: X[A]: 8899aabb19293942 X[B]: 8899aabb19293942 => 8899aabb19293942
xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: 8899aabb19293942 => 8899aabb19293942
xscpsgndp: X[A]: 0123456789abcdef X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
xscpsgndp: X[A]: 8899aabb19293942 X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
xscpsgndp: X[A]: c1c2c3c4d1d2d3d4 X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
xsnabsdp: X[B]: 0123456789abcdef => 8123456789abcdef
xsnabsdp: X[B]: 8899aabb19293942 => 8899aabb19293942
xsnabsdp: X[B]: c1c2c3c4d1d2d3d4 => c1c2c3c4d1d2d3d4
xsnegdp: X[B]: 0123456789abcdef => 8123456789abcdef
xsnegdp: X[B]: 8899aabb19293942 => 0899aabb19293942
xsnegdp: X[B]: c1c2c3c4d1d2d3d4 => 41c2c3c4d1d2d3d4
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