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