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