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
165 XA
[11111111,22222222,33333333,44444444]
166 XB
[55555555,66666666,77777777,88888888]
167 => XT
[11111111,55555555,22222222,66666666]
169 XA
[00112233,44556677,8899aabb
,ccddeeff
]
170 XB
[11111111,22222222,33333333,44444444]
171 => XT
[00112233,11111111,44556677,22222222]
173 XA
[11111111,22222222,33333333,44444444]
174 XB
[55555555,66666666,77777777,88888888]
175 => XT
[33333333,77777777,44444444,88888888]
177 XA
[00112233,44556677,8899aabb
,ccddeeff
]
178 XB
[11111111,22222222,33333333,44444444]
179 => XT
[8899aabb
,33333333,ccddeeff
,44444444]
181 XA
[11111111,22222222,33333333,44444444]
182 XB
[55555555,66666666,77777777,88888888]
183 => XT
[11111111,22222222,55555555,66666666]
185 XA
[11111111,22222222,33333333,44444444]
186 XB
[55555555,66666666,77777777,88888888]
187 => XT
[11111111,22222222,77777777,88888888]
189 XA
[11111111,22222222,33333333,44444444]
190 XB
[55555555,66666666,77777777,88888888]
191 => XT
[33333333,44444444,55555555,66666666]
193 XA
[11111111,22222222,33333333,44444444]
194 XB
[55555555,66666666,77777777,88888888]
195 => XT
[33333333,44444444,77777777,88888888]
197 XA
[11111111,22222222,33333333,44444444]
198 XB
[55555555,66666666,77777777,88888888]
199 => XT
[11111111,22222222,33333333,44444444]
201 XA
[11111111,22222222,33333333,44444444]
202 XB
[55555555,66666666,77777777,88888888]
203 => XT
[22222222,33333333,44444444,55555555]
205 XA
[11111111,22222222,33333333,44444444]
206 XB
[55555555,66666666,77777777,88888888]
207 => XT
[33333333,44444444,55555555,66666666]
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
