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