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