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