1 Test VSX floating point instructions
2 #
0: xsmaddasp fff0000000000000 fff0000000000000 c0d0650f5a07b353
= 7ff8000000000000
3 #
1: xsmaddasp c0d0650f5a07b353 fff0000000000000
0123214569900000 = fff0000000000000
4 #
2: xsmaddasp
8000000000000000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
5 #
3: xsmaddasp
0000000000000000 fff0000000000000
0123214569900000 = fff0000000000000
6 #
4: xsmaddasp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
7 #
5: xsmaddasp
7ff0000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
8 #
6: xsmaddasp
7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
9 #
7: xsmaddasp
7ff8000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
10 #
8: xsmaddasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= fff0000000000000
11 #
9: xsmaddasp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = c0d0650f60000000
12 #
10: xsmaddasp
8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= 41b0cc9d00000000
13 #
11: xsmaddasp
0000000000000000 c0d0650f5a07b353
0123214569900000 = 8000000000000000
14 #
12: xsmaddasp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= 41b0cc9d00000000
15 #
13: xsmaddasp
7ff0000000000000 c0d0650f5a07b353
0123214569900000 = 7ff0000000000000
16 #
14: xsmaddasp
7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353
= 7fffffffe0000000
17 #
15: xsmaddasp
7ff8000000000000 c0d0650f5a07b353
0123214569900000 = 7ff8000000000000
18 #
16: xsmaddasp fff0000000000000
8000000000000000 c0d0650f5a07b353
= fff0000000000000
19 #
17: xsmaddasp c0d0650f5a07b353
8000000000000000 0123214569900000 = c0d0650f60000000
20 #
18: xsmaddasp
8000000000000000 8000000000000000 c0d0650f5a07b353
= 0000000000000000
21 #
19: xsmaddasp
0000000000000000 8000000000000000 0123214569900000 = 0000000000000000
22 #
20: xsmaddasp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 0000000000000000
23 #
21: xsmaddasp
7ff0000000000000
8000000000000000 0123214569900000 = 7ff0000000000000
24 #
22: xsmaddasp
7ff7ffffffffffff
8000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
25 #
23: xsmaddasp
7ff8000000000000
8000000000000000 0123214569900000 = 7ff8000000000000
26 #
24: xsmaddasp fff0000000000000
0000000000000000 c0d0650f5a07b353
= fff0000000000000
27 #
25: xsmaddasp c0d0650f5a07b353
0000000000000000 0123214569900000 = c0d0650f60000000
28 #
26: xsmaddasp
8000000000000000 0000000000000000 c0d0650f5a07b353
= 8000000000000000
29 #
27: xsmaddasp
0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
30 #
28: xsmaddasp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 0000000000000000
31 #
29: xsmaddasp
7ff0000000000000
0000000000000000 0123214569900000 = 7ff0000000000000
32 #
30: xsmaddasp
7ff7ffffffffffff
0000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
33 #
31: xsmaddasp
7ff8000000000000
0000000000000000 0123214569900000 = 7ff8000000000000
34 #
32: xsmaddasp fff0000000000000
0123214569900000 c0d0650f5a07b353
= fff0000000000000
35 #
33: xsmaddasp c0d0650f5a07b353
0123214569900000 0123214569900000 = c0d0650f60000000
36 #
34: xsmaddasp
8000000000000000 0123214569900000 c0d0650f5a07b353
= 8000000000000000
37 #
35: xsmaddasp
0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
38 #
36: xsmaddasp
404f000000000000
0123214569900000 c0d0650f5a07b353
= 404f000000000000
39 #
37: xsmaddasp
7ff0000000000000
0123214569900000 0123214569900000 = 7ff0000000000000
40 #
38: xsmaddasp
7ff7ffffffffffff
0123214569900000 c0d0650f5a07b353
= 7fffffffe0000000
41 #
39: xsmaddasp
7ff8000000000000
0123214569900000 0123214569900000 = 7ff8000000000000
42 #
40: xsmaddasp fff0000000000000
7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
43 #
41: xsmaddasp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = 7ff0000000000000
44 #
42: xsmaddasp
8000000000000000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
45 #
43: xsmaddasp
0000000000000000 7ff0000000000000
0123214569900000 = 7ff0000000000000
46 #
44: xsmaddasp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
47 #
45: xsmaddasp
7ff0000000000000
7ff0000000000000
0123214569900000 = 7ff0000000000000
48 #
46: xsmaddasp
7ff7ffffffffffff
7ff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
49 #
47: xsmaddasp
7ff8000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
50 #
48: xsmaddasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
51 #
49: xsmaddasp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
52 #
50: xsmaddasp
8000000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
53 #
51: xsmaddasp
0000000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
54 #
52: xsmaddasp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
55 #
53: xsmaddasp
7ff0000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
56 #
54: xsmaddasp
7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
57 #
55: xsmaddasp
7ff8000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
58 #
56: xsmaddasp fff0000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
59 #
57: xsmaddasp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
60 #
58: xsmaddasp
8000000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
61 #
59: xsmaddasp
0000000000000000 fff8000000000000
0123214569900000 = fff8000000000000
62 #
60: xsmaddasp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
63 #
61: xsmaddasp
7ff0000000000000 fff8000000000000
0123214569900000 = fff8000000000000
64 #
62: xsmaddasp
7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353
= fff8000000000000
65 #
63: xsmaddasp
7ff8000000000000 fff8000000000000
0123214569900000 = fff8000000000000
67 #
0: xsmaddmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000
= 7ff8000000000000
68 #
1: xsmaddmsp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
69 #
2: xsmaddmsp c0d0650f5a07b353 fff0000000000000
8000000000000000 = 7ff0000000000000
70 #
3: xsmaddmsp
0123214569900000 fff0000000000000
0000000000000000 = fff0000000000000
71 #
4: xsmaddmsp c0d0650f5a07b353 fff0000000000000
0123214569900000 = 7ff0000000000000
72 #
5: xsmaddmsp
0123214569900000 fff0000000000000
7ff0000000000000
= 7ff8000000000000
73 #
6: xsmaddmsp c0d0650f5a07b353 fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
74 #
7: xsmaddmsp
0123214569900000 fff0000000000000
7ff8000000000000
= 7ff8000000000000
75 #
8: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000
= fff0000000000000
76 #
9: xsmaddmsp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= c0d0650f60000000
77 #
10: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
8000000000000000 = 41b0cc9d00000000
78 #
11: xsmaddmsp
0123214569900000 c0d0650f5a07b353
0000000000000000 = 8000000000000000
79 #
12: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = 41b0cc9d00000000
80 #
13: xsmaddmsp
0123214569900000 c0d0650f5a07b353
7ff0000000000000
= 7ff0000000000000
81 #
14: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
82 #
15: xsmaddmsp
0123214569900000 c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
83 #
16: xsmaddmsp c0d0650f5a07b353
8000000000000000 fff0000000000000
= fff0000000000000
84 #
17: xsmaddmsp
0123214569900000 8000000000000000 c0d0650f5a07b353
= c0d0650f60000000
85 #
18: xsmaddmsp c0d0650f5a07b353
8000000000000000 8000000000000000 = 0000000000000000
86 #
19: xsmaddmsp
0123214569900000 8000000000000000 0000000000000000 = 0000000000000000
87 #
20: xsmaddmsp c0d0650f5a07b353
8000000000000000 0123214569900000 = 0000000000000000
88 #
21: xsmaddmsp
0123214569900000 8000000000000000 7ff0000000000000
= 7ff0000000000000
89 #
22: xsmaddmsp c0d0650f5a07b353
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
90 #
23: xsmaddmsp
0123214569900000 8000000000000000 7ff8000000000000
= 7ff8000000000000
91 #
24: xsmaddmsp c0d0650f5a07b353
0000000000000000 fff0000000000000
= fff0000000000000
92 #
25: xsmaddmsp
0123214569900000 0000000000000000 c0d0650f5a07b353
= c0d0650f60000000
93 #
26: xsmaddmsp c0d0650f5a07b353
0000000000000000 8000000000000000 = 8000000000000000
94 #
27: xsmaddmsp
0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
95 #
28: xsmaddmsp c0d0650f5a07b353
0000000000000000 0123214569900000 = 0000000000000000
96 #
29: xsmaddmsp
0123214569900000 0000000000000000 7ff0000000000000
= 7ff0000000000000
97 #
30: xsmaddmsp c0d0650f5a07b353
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
98 #
31: xsmaddmsp
0123214569900000 0000000000000000 7ff8000000000000
= 7ff8000000000000
99 #
32: xsmaddmsp c0d0650f5a07b353
0123214569900000 fff0000000000000
= fff0000000000000
100 #
33: xsmaddmsp
0123214569900000 0123214569900000 c0d0650f5a07b353
= c0d0650f60000000
101 #
34: xsmaddmsp c0d0650f5a07b353
0123214569900000 8000000000000000 = 8000000000000000
102 #
35: xsmaddmsp
0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
103 #
36: xsmaddmsp c0d0650f5a07b353
0123214569900000 404f000000000000
= 404f000000000000
104 #
37: xsmaddmsp
0123214569900000 0123214569900000 7ff0000000000000
= 7ff0000000000000
105 #
38: xsmaddmsp c0d0650f5a07b353
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
106 #
39: xsmaddmsp
0123214569900000 0123214569900000 7ff8000000000000
= 7ff8000000000000
107 #
40: xsmaddmsp c0d0650f5a07b353
7ff0000000000000 fff0000000000000
= fff0000000000000
108 #
41: xsmaddmsp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
109 #
42: xsmaddmsp c0d0650f5a07b353
7ff0000000000000
8000000000000000 = fff0000000000000
110 #
43: xsmaddmsp
0123214569900000 7ff0000000000000
0000000000000000 = 7ff0000000000000
111 #
44: xsmaddmsp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = fff0000000000000
112 #
45: xsmaddmsp
0123214569900000 7ff0000000000000
7ff0000000000000
= 7ff0000000000000
113 #
46: xsmaddmsp c0d0650f5a07b353
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
114 #
47: xsmaddmsp
0123214569900000 7ff0000000000000
7ff8000000000000
= 7ff8000000000000
115 #
48: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000
= ffffffffe0000000
116 #
49: xsmaddmsp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
117 #
50: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff
8000000000000000 = ffffffffe0000000
118 #
51: xsmaddmsp
0123214569900000 fff7ffffffffffff
0000000000000000 = ffffffffe0000000
119 #
52: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
120 #
53: xsmaddmsp
0123214569900000 fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
121 #
54: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
122 #
55: xsmaddmsp
0123214569900000 fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
123 #
56: xsmaddmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000
= fff8000000000000
124 #
57: xsmaddmsp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
125 #
58: xsmaddmsp c0d0650f5a07b353 fff8000000000000
8000000000000000 = fff8000000000000
126 #
59: xsmaddmsp
0123214569900000 fff8000000000000
0000000000000000 = fff8000000000000
127 #
60: xsmaddmsp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
128 #
61: xsmaddmsp
0123214569900000 fff8000000000000
7ff0000000000000
= fff8000000000000
129 #
62: xsmaddmsp c0d0650f5a07b353 fff8000000000000
7ff7ffffffffffff
= fff8000000000000
130 #
63: xsmaddmsp
0123214569900000 fff8000000000000
7ff8000000000000
= fff8000000000000
132 #
0: xsmsubasp fff0000000000000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
133 #
1: xsmsubasp c0d0650f5a07b353 fff0000000000000
0123214569900000 = fff0000000000000
134 #
2: xsmsubasp
8000000000000000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
135 #
3: xsmsubasp
0000000000000000 fff0000000000000
0123214569900000 = fff0000000000000
136 #
4: xsmsubasp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
137 #
5: xsmsubasp
7ff0000000000000 fff0000000000000
0123214569900000 = fff0000000000000
138 #
6: xsmsubasp
7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
139 #
7: xsmsubasp
7ff8000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
140 #
8: xsmsubasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= 7ff0000000000000
141 #
9: xsmsubasp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = 40d0650f60000000
142 #
10: xsmsubasp
8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= 41b0cc9d00000000
143 #
11: xsmsubasp
0000000000000000 c0d0650f5a07b353
0123214569900000 = 8000000000000000
144 #
12: xsmsubasp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= 41b0cc9d00000000
145 #
13: xsmsubasp
7ff0000000000000 c0d0650f5a07b353
0123214569900000 = fff0000000000000
146 #
14: xsmsubasp
7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353
= 7fffffffe0000000
147 #
15: xsmsubasp
7ff8000000000000 c0d0650f5a07b353
0123214569900000 = 7ff8000000000000
148 #
16: xsmsubasp fff0000000000000
8000000000000000 c0d0650f5a07b353
= 7ff0000000000000
149 #
17: xsmsubasp c0d0650f5a07b353
8000000000000000 0123214569900000 = 40d0650f60000000
150 #
18: xsmsubasp
8000000000000000 8000000000000000 c0d0650f5a07b353
= 0000000000000000
151 #
19: xsmsubasp
0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
152 #
20: xsmsubasp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 8000000000000000
153 #
21: xsmsubasp
7ff0000000000000
8000000000000000 0123214569900000 = fff0000000000000
154 #
22: xsmsubasp
7ff7ffffffffffff
8000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
155 #
23: xsmsubasp
7ff8000000000000
8000000000000000 0123214569900000 = 7ff8000000000000
156 #
24: xsmsubasp fff0000000000000
0000000000000000 c0d0650f5a07b353
= 7ff0000000000000
157 #
25: xsmsubasp c0d0650f5a07b353
0000000000000000 0123214569900000 = 40d0650f60000000
158 #
26: xsmsubasp
8000000000000000 0000000000000000 c0d0650f5a07b353
= 0000000000000000
159 #
27: xsmsubasp
0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
160 #
28: xsmsubasp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 8000000000000000
161 #
29: xsmsubasp
7ff0000000000000
0000000000000000 0123214569900000 = fff0000000000000
162 #
30: xsmsubasp
7ff7ffffffffffff
0000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
163 #
31: xsmsubasp
7ff8000000000000
0000000000000000 0123214569900000 = 7ff8000000000000
164 #
32: xsmsubasp fff0000000000000
0123214569900000 c0d0650f5a07b353
= 7ff0000000000000
165 #
33: xsmsubasp c0d0650f5a07b353
0123214569900000 0123214569900000 = 40d0650f60000000
166 #
34: xsmsubasp
8000000000000000 0123214569900000 c0d0650f5a07b353
= 8000000000000000
167 #
35: xsmsubasp
0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
168 #
36: xsmsubasp
404f000000000000
0123214569900000 c0d0650f5a07b353
= c04f000000000000
169 #
37: xsmsubasp
7ff0000000000000
0123214569900000 0123214569900000 = fff0000000000000
170 #
38: xsmsubasp
7ff7ffffffffffff
0123214569900000 c0d0650f5a07b353
= 7fffffffe0000000
171 #
39: xsmsubasp
7ff8000000000000
0123214569900000 0123214569900000 = 7ff8000000000000
172 #
40: xsmsubasp fff0000000000000
7ff0000000000000 c0d0650f5a07b353
= 7ff8000000000000
173 #
41: xsmsubasp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = 7ff0000000000000
174 #
42: xsmsubasp
8000000000000000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
175 #
43: xsmsubasp
0000000000000000 7ff0000000000000
0123214569900000 = 7ff0000000000000
176 #
44: xsmsubasp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
177 #
45: xsmsubasp
7ff0000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
178 #
46: xsmsubasp
7ff7ffffffffffff
7ff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
179 #
47: xsmsubasp
7ff8000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
180 #
48: xsmsubasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
181 #
49: xsmsubasp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
182 #
50: xsmsubasp
8000000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
183 #
51: xsmsubasp
0000000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
184 #
52: xsmsubasp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
185 #
53: xsmsubasp
7ff0000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
186 #
54: xsmsubasp
7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
187 #
55: xsmsubasp
7ff8000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
188 #
56: xsmsubasp fff0000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
189 #
57: xsmsubasp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
190 #
58: xsmsubasp
8000000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
191 #
59: xsmsubasp
0000000000000000 fff8000000000000
0123214569900000 = fff8000000000000
192 #
60: xsmsubasp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
193 #
61: xsmsubasp
7ff0000000000000 fff8000000000000
0123214569900000 = fff8000000000000
194 #
62: xsmsubasp
7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353
= fff8000000000000
195 #
63: xsmsubasp
7ff8000000000000 fff8000000000000
0123214569900000 = fff8000000000000
197 #
0: xsmsubmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000
= 7ff0000000000000
198 #
1: xsmsubmsp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
199 #
2: xsmsubmsp c0d0650f5a07b353 fff0000000000000
8000000000000000 = 7ff0000000000000
200 #
3: xsmsubmsp
0123214569900000 fff0000000000000
0000000000000000 = fff0000000000000
201 #
4: xsmsubmsp c0d0650f5a07b353 fff0000000000000
0123214569900000 = 7ff0000000000000
202 #
5: xsmsubmsp
0123214569900000 fff0000000000000
7ff0000000000000
= fff0000000000000
203 #
6: xsmsubmsp c0d0650f5a07b353 fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
204 #
7: xsmsubmsp
0123214569900000 fff0000000000000
7ff8000000000000
= 7ff8000000000000
205 #
8: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000
= 7ff0000000000000
206 #
9: xsmsubmsp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= 40d0650f60000000
207 #
10: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
8000000000000000 = 41b0cc9d00000000
208 #
11: xsmsubmsp
0123214569900000 c0d0650f5a07b353
0000000000000000 = 8000000000000000
209 #
12: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = 41b0cc9d00000000
210 #
13: xsmsubmsp
0123214569900000 c0d0650f5a07b353
7ff0000000000000
= fff0000000000000
211 #
14: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
212 #
15: xsmsubmsp
0123214569900000 c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
213 #
16: xsmsubmsp c0d0650f5a07b353
8000000000000000 fff0000000000000
= 7ff0000000000000
214 #
17: xsmsubmsp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 40d0650f60000000
215 #
18: xsmsubmsp c0d0650f5a07b353
8000000000000000 8000000000000000 = 0000000000000000
216 #
19: xsmsubmsp
0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
217 #
20: xsmsubmsp c0d0650f5a07b353
8000000000000000 0123214569900000 = 8000000000000000
218 #
21: xsmsubmsp
0123214569900000 8000000000000000 7ff0000000000000
= fff0000000000000
219 #
22: xsmsubmsp c0d0650f5a07b353
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
220 #
23: xsmsubmsp
0123214569900000 8000000000000000 7ff8000000000000
= 7ff8000000000000
221 #
24: xsmsubmsp c0d0650f5a07b353
0000000000000000 fff0000000000000
= 7ff0000000000000
222 #
25: xsmsubmsp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 40d0650f60000000
223 #
26: xsmsubmsp c0d0650f5a07b353
0000000000000000 8000000000000000 = 0000000000000000
224 #
27: xsmsubmsp
0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
225 #
28: xsmsubmsp c0d0650f5a07b353
0000000000000000 0123214569900000 = 8000000000000000
226 #
29: xsmsubmsp
0123214569900000 0000000000000000 7ff0000000000000
= fff0000000000000
227 #
30: xsmsubmsp c0d0650f5a07b353
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
228 #
31: xsmsubmsp
0123214569900000 0000000000000000 7ff8000000000000
= 7ff8000000000000
229 #
32: xsmsubmsp c0d0650f5a07b353
0123214569900000 fff0000000000000
= 7ff0000000000000
230 #
33: xsmsubmsp
0123214569900000 0123214569900000 c0d0650f5a07b353
= 40d0650f60000000
231 #
34: xsmsubmsp c0d0650f5a07b353
0123214569900000 8000000000000000 = 8000000000000000
232 #
35: xsmsubmsp
0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
233 #
36: xsmsubmsp c0d0650f5a07b353
0123214569900000 404f000000000000
= c04f000000000000
234 #
37: xsmsubmsp
0123214569900000 0123214569900000 7ff0000000000000
= fff0000000000000
235 #
38: xsmsubmsp c0d0650f5a07b353
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
236 #
39: xsmsubmsp
0123214569900000 0123214569900000 7ff8000000000000
= 7ff8000000000000
237 #
40: xsmsubmsp c0d0650f5a07b353
7ff0000000000000 fff0000000000000
= 7ff8000000000000
238 #
41: xsmsubmsp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
239 #
42: xsmsubmsp c0d0650f5a07b353
7ff0000000000000
8000000000000000 = fff0000000000000
240 #
43: xsmsubmsp
0123214569900000 7ff0000000000000
0000000000000000 = 7ff0000000000000
241 #
44: xsmsubmsp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = fff0000000000000
242 #
45: xsmsubmsp
0123214569900000 7ff0000000000000
7ff0000000000000
= 7ff8000000000000
243 #
46: xsmsubmsp c0d0650f5a07b353
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
244 #
47: xsmsubmsp
0123214569900000 7ff0000000000000
7ff8000000000000
= 7ff8000000000000
245 #
48: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000
= ffffffffe0000000
246 #
49: xsmsubmsp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
247 #
50: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff
8000000000000000 = ffffffffe0000000
248 #
51: xsmsubmsp
0123214569900000 fff7ffffffffffff
0000000000000000 = ffffffffe0000000
249 #
52: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
250 #
53: xsmsubmsp
0123214569900000 fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
251 #
54: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
252 #
55: xsmsubmsp
0123214569900000 fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
253 #
56: xsmsubmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000
= fff8000000000000
254 #
57: xsmsubmsp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
255 #
58: xsmsubmsp c0d0650f5a07b353 fff8000000000000
8000000000000000 = fff8000000000000
256 #
59: xsmsubmsp
0123214569900000 fff8000000000000
0000000000000000 = fff8000000000000
257 #
60: xsmsubmsp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
258 #
61: xsmsubmsp
0123214569900000 fff8000000000000
7ff0000000000000
= fff8000000000000
259 #
62: xsmsubmsp c0d0650f5a07b353 fff8000000000000
7ff7ffffffffffff
= fff8000000000000
260 #
63: xsmsubmsp
0123214569900000 fff8000000000000
7ff8000000000000
= fff8000000000000
262 #
0: xsmulsp fff0000000000000 fff0000000000000
= 7ff0000000000000
263 #
1: xsmulsp fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
264 #
2: xsmulsp fff0000000000000
8000000000000000 = 7ff8000000000000
265 #
3: xsmulsp fff0000000000000
0000000000000000 = 7ff8000000000000
266 #
4: xsmulsp fff0000000000000
0123214569900000 = fff0000000000000
267 #
5: xsmulsp fff0000000000000
7ff0000000000000
= fff0000000000000
268 #
6: xsmulsp fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
269 #
7: xsmulsp fff0000000000000
7ff8000000000000
= 7ff8000000000000
270 #
8: xsmulsp c0d0650f5a07b353 fff0000000000000
= 7ff0000000000000
271 #
9: xsmulsp c0d0650f5a07b353 c0d0650f5a07b353
= 41b0cc9d00000000
272 #
10: xsmulsp c0d0650f5a07b353
8000000000000000 = 0000000000000000
273 #
11: xsmulsp c0d0650f5a07b353
0000000000000000 = 8000000000000000
274 #
12: xsmulsp c0d0650f5a07b353
0123214569900000 = 8000000000000000
275 #
13: xsmulsp c0d0650f5a07b353
7ff0000000000000
= fff0000000000000
276 #
14: xsmulsp c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
277 #
15: xsmulsp c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
278 #
16: xsmulsp
8000000000000000 fff0000000000000
= 7ff8000000000000
279 #
17: xsmulsp
8000000000000000 c0d0650f5a07b353
= 0000000000000000
280 #
18: xsmulsp
8000000000000000 8000000000000000 = 0000000000000000
281 #
19: xsmulsp
8000000000000000 0000000000000000 = 8000000000000000
282 #
20: xsmulsp
8000000000000000 0123214569900000 = 8000000000000000
283 #
21: xsmulsp
8000000000000000 7ff0000000000000
= 7ff8000000000000
284 #
22: xsmulsp
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
285 #
23: xsmulsp
8000000000000000 7ff8000000000000
= 7ff8000000000000
286 #
24: xsmulsp
0000000000000000 fff0000000000000
= 7ff8000000000000
287 #
25: xsmulsp
0000000000000000 c0d0650f5a07b353
= 8000000000000000
288 #
26: xsmulsp
0000000000000000 8000000000000000 = 8000000000000000
289 #
27: xsmulsp
0000000000000000 0000000000000000 = 0000000000000000
290 #
28: xsmulsp
0000000000000000 0123214569900000 = 0000000000000000
291 #
29: xsmulsp
0000000000000000 7ff0000000000000
= 7ff8000000000000
292 #
30: xsmulsp
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
293 #
31: xsmulsp
0000000000000000 7ff8000000000000
= 7ff8000000000000
294 #
32: xsmulsp
0123214569900000 fff0000000000000
= fff0000000000000
295 #
33: xsmulsp
0123214569900000 c0d0650f5a07b353
= 8000000000000000
296 #
34: xsmulsp
0123214569900000 8000000000000000 = 8000000000000000
297 #
35: xsmulsp
0123214569900000 0000000000000000 = 0000000000000000
298 #
36: xsmulsp
0123214569900000 404f000000000000
= 0000000000000000
299 #
37: xsmulsp
0123214569900000 7ff0000000000000
= 7ff0000000000000
300 #
38: xsmulsp
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
301 #
39: xsmulsp
0123214569900000 7ff8000000000000
= 7ff8000000000000
302 #
40: xsmulsp
7ff0000000000000 fff0000000000000
= fff0000000000000
303 #
41: xsmulsp
7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
304 #
42: xsmulsp
7ff0000000000000
8000000000000000 = 7ff8000000000000
305 #
43: xsmulsp
7ff0000000000000
0000000000000000 = 7ff8000000000000
306 #
44: xsmulsp
7ff0000000000000
0123214569900000 = 7ff0000000000000
307 #
45: xsmulsp
7ff0000000000000
7ff0000000000000
= 7ff0000000000000
308 #
46: xsmulsp
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
309 #
47: xsmulsp
7ff0000000000000
7ff8000000000000
= 7ff8000000000000
310 #
48: xsmulsp fff7ffffffffffff fff0000000000000
= ffffffffe0000000
311 #
49: xsmulsp fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
312 #
50: xsmulsp fff7ffffffffffff
8000000000000000 = ffffffffe0000000
313 #
51: xsmulsp fff7ffffffffffff
0000000000000000 = ffffffffe0000000
314 #
52: xsmulsp fff7ffffffffffff
0123214569900000 = ffffffffe0000000
315 #
53: xsmulsp fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
316 #
54: xsmulsp fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
317 #
55: xsmulsp fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
318 #
56: xsmulsp fff8000000000000 fff0000000000000
= fff8000000000000
319 #
57: xsmulsp fff8000000000000 c0d0650f5a07b353
= fff8000000000000
320 #
58: xsmulsp fff8000000000000
8000000000000000 = fff8000000000000
321 #
59: xsmulsp fff8000000000000
0000000000000000 = fff8000000000000
322 #
60: xsmulsp fff8000000000000
0123214569900000 = fff8000000000000
323 #
61: xsmulsp fff8000000000000
7ff0000000000000
= fff8000000000000
324 #
62: xsmulsp fff8000000000000
7ff7ffffffffffff
= fff8000000000000
325 #
63: xsmulsp fff8000000000000
7ff8000000000000
= fff8000000000000
327 #
0: xsdivsp fff0000000000000 fff0000000000000
= 7ff8000000000000
328 #
1: xsdivsp fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
329 #
2: xsdivsp fff0000000000000
8000000000000000 = 7ff0000000000000
330 #
3: xsdivsp fff0000000000000
0000000000000000 = fff0000000000000
331 #
4: xsdivsp fff0000000000000
0123214569900000 = fff0000000000000
332 #
5: xsdivsp fff0000000000000
7ff0000000000000
= 7ff8000000000000
333 #
6: xsdivsp fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
334 #
7: xsdivsp fff0000000000000
7ff8000000000000
= 7ff8000000000000
335 #
8: xsdivsp c0d0650f5a07b353 fff0000000000000
= 0000000000000000
336 #
9: xsdivsp c0d0650f5a07b353 c0d0650f5a07b353
= 3ff0000000000000
337 #
10: xsdivsp c0d0650f5a07b353
8000000000000000 = 7ff0000000000000
338 #
11: xsdivsp c0d0650f5a07b353
0000000000000000 = fff0000000000000
339 #
12: xsdivsp c0d0650f5a07b353
0123214569900000 = fff0000000000000
340 #
13: xsdivsp c0d0650f5a07b353
7ff0000000000000
= 8000000000000000
341 #
14: xsdivsp c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
342 #
15: xsdivsp c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
343 #
16: xsdivsp
8000000000000000 fff0000000000000
= 0000000000000000
344 #
17: xsdivsp
8000000000000000 c0d0650f5a07b353
= 0000000000000000
345 #
18: xsdivsp
8000000000000000 8000000000000000 = 7ff8000000000000
346 #
19: xsdivsp
8000000000000000 0000000000000000 = 7ff8000000000000
347 #
20: xsdivsp
8000000000000000 0123214569900000 = 8000000000000000
348 #
21: xsdivsp
8000000000000000 7ff0000000000000
= 8000000000000000
349 #
22: xsdivsp
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
350 #
23: xsdivsp
8000000000000000 7ff8000000000000
= 7ff8000000000000
351 #
24: xsdivsp
0000000000000000 fff0000000000000
= 8000000000000000
352 #
25: xsdivsp
0000000000000000 c0d0650f5a07b353
= 8000000000000000
353 #
26: xsdivsp
0000000000000000 8000000000000000 = 7ff8000000000000
354 #
27: xsdivsp
0000000000000000 0000000000000000 = 7ff8000000000000
355 #
28: xsdivsp
0000000000000000 0123214569900000 = 0000000000000000
356 #
29: xsdivsp
0000000000000000 7ff0000000000000
= 0000000000000000
357 #
30: xsdivsp
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
358 #
31: xsdivsp
0000000000000000 7ff8000000000000
= 7ff8000000000000
359 #
32: xsdivsp
0123214569900000 fff0000000000000
= 8000000000000000
360 #
33: xsdivsp
0123214569900000 c0d0650f5a07b353
= 8000000000000000
361 #
34: xsdivsp
0123214569900000 8000000000000000 = fff0000000000000
362 #
35: xsdivsp
0123214569900000 0000000000000000 = 7ff0000000000000
363 #
36: xsdivsp
0123214569900000 404f000000000000
= 0000000000000000
364 #
37: xsdivsp
0123214569900000 7ff0000000000000
= 0000000000000000
365 #
38: xsdivsp
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
366 #
39: xsdivsp
0123214569900000 7ff8000000000000
= 7ff8000000000000
367 #
40: xsdivsp
7ff0000000000000 fff0000000000000
= 7ff8000000000000
368 #
41: xsdivsp
7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
369 #
42: xsdivsp
7ff0000000000000
8000000000000000 = fff0000000000000
370 #
43: xsdivsp
7ff0000000000000
0000000000000000 = 7ff0000000000000
371 #
44: xsdivsp
7ff0000000000000
0123214569900000 = 7ff0000000000000
372 #
45: xsdivsp
7ff0000000000000
7ff0000000000000
= 7ff8000000000000
373 #
46: xsdivsp
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
374 #
47: xsdivsp
7ff0000000000000
7ff8000000000000
= 7ff8000000000000
375 #
48: xsdivsp fff7ffffffffffff fff0000000000000
= ffffffffe0000000
376 #
49: xsdivsp fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
377 #
50: xsdivsp fff7ffffffffffff
8000000000000000 = ffffffffe0000000
378 #
51: xsdivsp fff7ffffffffffff
0000000000000000 = ffffffffe0000000
379 #
52: xsdivsp fff7ffffffffffff
0123214569900000 = ffffffffe0000000
380 #
53: xsdivsp fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
381 #
54: xsdivsp fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
382 #
55: xsdivsp fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
383 #
56: xsdivsp fff8000000000000 fff0000000000000
= fff8000000000000
384 #
57: xsdivsp fff8000000000000 c0d0650f5a07b353
= fff8000000000000
385 #
58: xsdivsp fff8000000000000
8000000000000000 = fff8000000000000
386 #
59: xsdivsp fff8000000000000
0000000000000000 = fff8000000000000
387 #
60: xsdivsp fff8000000000000
0123214569900000 = fff8000000000000
388 #
61: xsdivsp fff8000000000000
7ff0000000000000
= fff8000000000000
389 #
62: xsdivsp fff8000000000000
7ff7ffffffffffff
= fff8000000000000
390 #
63: xsdivsp fff8000000000000
7ff8000000000000
= fff8000000000000
392 #
0: xsnmaddasp fff0000000000000 fff0000000000000 c0d0650f5a07b353
= 7ff8000000000000
393 #
1: xsnmaddasp c0d0650f5a07b353 fff0000000000000
0123214569900000 = 7ff0000000000000
394 #
2: xsnmaddasp
8000000000000000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
395 #
3: xsnmaddasp
0000000000000000 fff0000000000000
0123214569900000 = 7ff0000000000000
396 #
4: xsnmaddasp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
397 #
5: xsnmaddasp
7ff0000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
398 #
6: xsnmaddasp
7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
399 #
7: xsnmaddasp
7ff8000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
400 #
8: xsnmaddasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= 7ff0000000000000
401 #
9: xsnmaddasp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = 40d0650f60000000
402 #
10: xsnmaddasp
8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= c1b0cc9d00000000
403 #
11: xsnmaddasp
0000000000000000 c0d0650f5a07b353
0123214569900000 = 0000000000000000
404 #
12: xsnmaddasp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= c1b0cc9d00000000
405 #
13: xsnmaddasp
7ff0000000000000 c0d0650f5a07b353
0123214569900000 = fff0000000000000
406 #
14: xsnmaddasp
7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353
= 7fffffffe0000000
407 #
15: xsnmaddasp
7ff8000000000000 c0d0650f5a07b353
0123214569900000 = 7ff8000000000000
408 #
16: xsnmaddasp fff0000000000000
8000000000000000 c0d0650f5a07b353
= 7ff0000000000000
409 #
17: xsnmaddasp c0d0650f5a07b353
8000000000000000 0123214569900000 = 40d0650f60000000
410 #
18: xsnmaddasp
8000000000000000 8000000000000000 c0d0650f5a07b353
= 8000000000000000
411 #
19: xsnmaddasp
0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
412 #
20: xsnmaddasp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 8000000000000000
413 #
21: xsnmaddasp
7ff0000000000000
8000000000000000 0123214569900000 = fff0000000000000
414 #
22: xsnmaddasp
7ff7ffffffffffff
8000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
415 #
23: xsnmaddasp
7ff8000000000000
8000000000000000 0123214569900000 = 7ff8000000000000
416 #
24: xsnmaddasp fff0000000000000
0000000000000000 c0d0650f5a07b353
= 7ff0000000000000
417 #
25: xsnmaddasp c0d0650f5a07b353
0000000000000000 0123214569900000 = 40d0650f60000000
418 #
26: xsnmaddasp
8000000000000000 0000000000000000 c0d0650f5a07b353
= 0000000000000000
419 #
27: xsnmaddasp
0000000000000000 0000000000000000 0123214569900000 = 8000000000000000
420 #
28: xsnmaddasp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 8000000000000000
421 #
29: xsnmaddasp
7ff0000000000000
0000000000000000 0123214569900000 = fff0000000000000
422 #
30: xsnmaddasp
7ff7ffffffffffff
0000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
423 #
31: xsnmaddasp
7ff8000000000000
0000000000000000 0123214569900000 = 7ff8000000000000
424 #
32: xsnmaddasp fff0000000000000
0123214569900000 c0d0650f5a07b353
= 7ff0000000000000
425 #
33: xsnmaddasp c0d0650f5a07b353
0123214569900000 0123214569900000 = 40d0650f60000000
426 #
34: xsnmaddasp
8000000000000000 0123214569900000 c0d0650f5a07b353
= 0000000000000000
427 #
35: xsnmaddasp
0000000000000000 0123214569900000 0123214569900000 = 8000000000000000
428 #
36: xsnmaddasp
404f000000000000
0123214569900000 c0d0650f5a07b353
= c04f000000000000
429 #
37: xsnmaddasp
7ff0000000000000
0123214569900000 0123214569900000 = fff0000000000000
430 #
38: xsnmaddasp
7ff7ffffffffffff
0123214569900000 c0d0650f5a07b353
= 7fffffffe0000000
431 #
39: xsnmaddasp
7ff8000000000000
0123214569900000 0123214569900000 = 7ff8000000000000
432 #
40: xsnmaddasp fff0000000000000
7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
433 #
41: xsnmaddasp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = fff0000000000000
434 #
42: xsnmaddasp
8000000000000000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
435 #
43: xsnmaddasp
0000000000000000 7ff0000000000000
0123214569900000 = fff0000000000000
436 #
44: xsnmaddasp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
437 #
45: xsnmaddasp
7ff0000000000000
7ff0000000000000
0123214569900000 = fff0000000000000
438 #
46: xsnmaddasp
7ff7ffffffffffff
7ff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
439 #
47: xsnmaddasp
7ff8000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
440 #
48: xsnmaddasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
441 #
49: xsnmaddasp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
442 #
50: xsnmaddasp
8000000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
443 #
51: xsnmaddasp
0000000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
444 #
52: xsnmaddasp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
445 #
53: xsnmaddasp
7ff0000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
446 #
54: xsnmaddasp
7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
447 #
55: xsnmaddasp
7ff8000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
448 #
56: xsnmaddasp fff0000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
449 #
57: xsnmaddasp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
450 #
58: xsnmaddasp
8000000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
451 #
59: xsnmaddasp
0000000000000000 fff8000000000000
0123214569900000 = fff8000000000000
452 #
60: xsnmaddasp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
453 #
61: xsnmaddasp
7ff0000000000000 fff8000000000000
0123214569900000 = fff8000000000000
454 #
62: xsnmaddasp
7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353
= fff8000000000000
455 #
63: xsnmaddasp
7ff8000000000000 fff8000000000000
0123214569900000 = fff8000000000000
457 #
0: xsnmaddmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000
= 7ff8000000000000
458 #
1: xsnmaddmsp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
459 #
2: xsnmaddmsp c0d0650f5a07b353 fff0000000000000
8000000000000000 = fff0000000000000
460 #
3: xsnmaddmsp
0123214569900000 fff0000000000000
0000000000000000 = 7ff0000000000000
461 #
4: xsnmaddmsp c0d0650f5a07b353 fff0000000000000
0123214569900000 = fff0000000000000
462 #
5: xsnmaddmsp
0123214569900000 fff0000000000000
7ff0000000000000
= 7ff8000000000000
463 #
6: xsnmaddmsp c0d0650f5a07b353 fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
464 #
7: xsnmaddmsp
0123214569900000 fff0000000000000
7ff8000000000000
= 7ff8000000000000
465 #
8: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000
= 7ff0000000000000
466 #
9: xsnmaddmsp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= 40d0650f60000000
467 #
10: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
8000000000000000 = c1b0cc9d00000000
468 #
11: xsnmaddmsp
0123214569900000 c0d0650f5a07b353
0000000000000000 = 0000000000000000
469 #
12: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = c1b0cc9d00000000
470 #
13: xsnmaddmsp
0123214569900000 c0d0650f5a07b353
7ff0000000000000
= fff0000000000000
471 #
14: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
472 #
15: xsnmaddmsp
0123214569900000 c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
473 #
16: xsnmaddmsp c0d0650f5a07b353
8000000000000000 fff0000000000000
= 7ff0000000000000
474 #
17: xsnmaddmsp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 40d0650f60000000
475 #
18: xsnmaddmsp c0d0650f5a07b353
8000000000000000 8000000000000000 = 8000000000000000
476 #
19: xsnmaddmsp
0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
477 #
20: xsnmaddmsp c0d0650f5a07b353
8000000000000000 0123214569900000 = 8000000000000000
478 #
21: xsnmaddmsp
0123214569900000 8000000000000000 7ff0000000000000
= fff0000000000000
479 #
22: xsnmaddmsp c0d0650f5a07b353
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
480 #
23: xsnmaddmsp
0123214569900000 8000000000000000 7ff8000000000000
= 7ff8000000000000
481 #
24: xsnmaddmsp c0d0650f5a07b353
0000000000000000 fff0000000000000
= 7ff0000000000000
482 #
25: xsnmaddmsp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 40d0650f60000000
483 #
26: xsnmaddmsp c0d0650f5a07b353
0000000000000000 8000000000000000 = 0000000000000000
484 #
27: xsnmaddmsp
0123214569900000 0000000000000000 0000000000000000 = 8000000000000000
485 #
28: xsnmaddmsp c0d0650f5a07b353
0000000000000000 0123214569900000 = 8000000000000000
486 #
29: xsnmaddmsp
0123214569900000 0000000000000000 7ff0000000000000
= fff0000000000000
487 #
30: xsnmaddmsp c0d0650f5a07b353
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
488 #
31: xsnmaddmsp
0123214569900000 0000000000000000 7ff8000000000000
= 7ff8000000000000
489 #
32: xsnmaddmsp c0d0650f5a07b353
0123214569900000 fff0000000000000
= 7ff0000000000000
490 #
33: xsnmaddmsp
0123214569900000 0123214569900000 c0d0650f5a07b353
= 40d0650f60000000
491 #
34: xsnmaddmsp c0d0650f5a07b353
0123214569900000 8000000000000000 = 0000000000000000
492 #
35: xsnmaddmsp
0123214569900000 0123214569900000 0000000000000000 = 8000000000000000
493 #
36: xsnmaddmsp c0d0650f5a07b353
0123214569900000 404f000000000000
= c04f000000000000
494 #
37: xsnmaddmsp
0123214569900000 0123214569900000 7ff0000000000000
= fff0000000000000
495 #
38: xsnmaddmsp c0d0650f5a07b353
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
496 #
39: xsnmaddmsp
0123214569900000 0123214569900000 7ff8000000000000
= 7ff8000000000000
497 #
40: xsnmaddmsp c0d0650f5a07b353
7ff0000000000000 fff0000000000000
= 7ff0000000000000
498 #
41: xsnmaddmsp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
499 #
42: xsnmaddmsp c0d0650f5a07b353
7ff0000000000000
8000000000000000 = 7ff0000000000000
500 #
43: xsnmaddmsp
0123214569900000 7ff0000000000000
0000000000000000 = fff0000000000000
501 #
44: xsnmaddmsp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = 7ff0000000000000
502 #
45: xsnmaddmsp
0123214569900000 7ff0000000000000
7ff0000000000000
= fff0000000000000
503 #
46: xsnmaddmsp c0d0650f5a07b353
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
504 #
47: xsnmaddmsp
0123214569900000 7ff0000000000000
7ff8000000000000
= 7ff8000000000000
505 #
48: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000
= ffffffffe0000000
506 #
49: xsnmaddmsp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
507 #
50: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff
8000000000000000 = ffffffffe0000000
508 #
51: xsnmaddmsp
0123214569900000 fff7ffffffffffff
0000000000000000 = ffffffffe0000000
509 #
52: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
510 #
53: xsnmaddmsp
0123214569900000 fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
511 #
54: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
512 #
55: xsnmaddmsp
0123214569900000 fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
513 #
56: xsnmaddmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000
= fff8000000000000
514 #
57: xsnmaddmsp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
515 #
58: xsnmaddmsp c0d0650f5a07b353 fff8000000000000
8000000000000000 = fff8000000000000
516 #
59: xsnmaddmsp
0123214569900000 fff8000000000000
0000000000000000 = fff8000000000000
517 #
60: xsnmaddmsp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
518 #
61: xsnmaddmsp
0123214569900000 fff8000000000000
7ff0000000000000
= fff8000000000000
519 #
62: xsnmaddmsp c0d0650f5a07b353 fff8000000000000
7ff7ffffffffffff
= fff8000000000000
520 #
63: xsnmaddmsp
0123214569900000 fff8000000000000
7ff8000000000000
= fff8000000000000
522 #
0: xsnmsubasp fff0000000000000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
523 #
1: xsnmsubasp c0d0650f5a07b353 fff0000000000000
0123214569900000 = 7ff0000000000000
524 #
2: xsnmsubasp
8000000000000000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
525 #
3: xsnmsubasp
0000000000000000 fff0000000000000
0123214569900000 = 7ff0000000000000
526 #
4: xsnmsubasp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= fff0000000000000
527 #
5: xsnmsubasp
7ff0000000000000 fff0000000000000
0123214569900000 = 7ff0000000000000
528 #
6: xsnmsubasp
7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
529 #
7: xsnmsubasp
7ff8000000000000 fff0000000000000
0123214569900000 = 7ff8000000000000
530 #
8: xsnmsubasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= fff0000000000000
531 #
9: xsnmsubasp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = c0d0650f60000000
532 #
10: xsnmsubasp
8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353
= c1b0cc9d00000000
533 #
11: xsnmsubasp
0000000000000000 c0d0650f5a07b353
0123214569900000 = 0000000000000000
534 #
12: xsnmsubasp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= c1b0cc9d00000000
535 #
13: xsnmsubasp
7ff0000000000000 c0d0650f5a07b353
0123214569900000 = 7ff0000000000000
536 #
14: xsnmsubasp
7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353
= 7fffffffe0000000
537 #
15: xsnmsubasp
7ff8000000000000 c0d0650f5a07b353
0123214569900000 = 7ff8000000000000
538 #
16: xsnmsubasp fff0000000000000
8000000000000000 c0d0650f5a07b353
= fff0000000000000
539 #
17: xsnmsubasp c0d0650f5a07b353
8000000000000000 0123214569900000 = c0d0650f60000000
540 #
18: xsnmsubasp
8000000000000000 8000000000000000 c0d0650f5a07b353
= 8000000000000000
541 #
19: xsnmsubasp
0000000000000000 8000000000000000 0123214569900000 = 0000000000000000
542 #
20: xsnmsubasp
0123214569900000 8000000000000000 c0d0650f5a07b353
= 0000000000000000
543 #
21: xsnmsubasp
7ff0000000000000
8000000000000000 0123214569900000 = 7ff0000000000000
544 #
22: xsnmsubasp
7ff7ffffffffffff
8000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
545 #
23: xsnmsubasp
7ff8000000000000
8000000000000000 0123214569900000 = 7ff8000000000000
546 #
24: xsnmsubasp fff0000000000000
0000000000000000 c0d0650f5a07b353
= fff0000000000000
547 #
25: xsnmsubasp c0d0650f5a07b353
0000000000000000 0123214569900000 = c0d0650f60000000
548 #
26: xsnmsubasp
8000000000000000 0000000000000000 c0d0650f5a07b353
= 8000000000000000
549 #
27: xsnmsubasp
0000000000000000 0000000000000000 0123214569900000 = 8000000000000000
550 #
28: xsnmsubasp
0123214569900000 0000000000000000 c0d0650f5a07b353
= 0000000000000000
551 #
29: xsnmsubasp
7ff0000000000000
0000000000000000 0123214569900000 = 7ff0000000000000
552 #
30: xsnmsubasp
7ff7ffffffffffff
0000000000000000 c0d0650f5a07b353
= 7fffffffe0000000
553 #
31: xsnmsubasp
7ff8000000000000
0000000000000000 0123214569900000 = 7ff8000000000000
554 #
32: xsnmsubasp fff0000000000000
0123214569900000 c0d0650f5a07b353
= fff0000000000000
555 #
33: xsnmsubasp c0d0650f5a07b353
0123214569900000 0123214569900000 = c0d0650f60000000
556 #
34: xsnmsubasp
8000000000000000 0123214569900000 c0d0650f5a07b353
= 0000000000000000
557 #
35: xsnmsubasp
0000000000000000 0123214569900000 0123214569900000 = 8000000000000000
558 #
36: xsnmsubasp
404f000000000000
0123214569900000 c0d0650f5a07b353
= 404f000000000000
559 #
37: xsnmsubasp
7ff0000000000000
0123214569900000 0123214569900000 = 7ff0000000000000
560 #
38: xsnmsubasp
7ff7ffffffffffff
0123214569900000 c0d0650f5a07b353
= 7fffffffe0000000
561 #
39: xsnmsubasp
7ff8000000000000
0123214569900000 0123214569900000 = 7ff8000000000000
562 #
40: xsnmsubasp fff0000000000000
7ff0000000000000 c0d0650f5a07b353
= 7ff8000000000000
563 #
41: xsnmsubasp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = fff0000000000000
564 #
42: xsnmsubasp
8000000000000000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
565 #
43: xsnmsubasp
0000000000000000 7ff0000000000000
0123214569900000 = fff0000000000000
566 #
44: xsnmsubasp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
567 #
45: xsnmsubasp
7ff0000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
568 #
46: xsnmsubasp
7ff7ffffffffffff
7ff0000000000000 c0d0650f5a07b353
= 7fffffffe0000000
569 #
47: xsnmsubasp
7ff8000000000000
7ff0000000000000
0123214569900000 = 7ff8000000000000
570 #
48: xsnmsubasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
571 #
49: xsnmsubasp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
572 #
50: xsnmsubasp
8000000000000000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
573 #
51: xsnmsubasp
0000000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
574 #
52: xsnmsubasp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
575 #
53: xsnmsubasp
7ff0000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
576 #
54: xsnmsubasp
7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
577 #
55: xsnmsubasp
7ff8000000000000 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
578 #
56: xsnmsubasp fff0000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
579 #
57: xsnmsubasp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
580 #
58: xsnmsubasp
8000000000000000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
581 #
59: xsnmsubasp
0000000000000000 fff8000000000000
0123214569900000 = fff8000000000000
582 #
60: xsnmsubasp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
583 #
61: xsnmsubasp
7ff0000000000000 fff8000000000000
0123214569900000 = fff8000000000000
584 #
62: xsnmsubasp
7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353
= fff8000000000000
585 #
63: xsnmsubasp
7ff8000000000000 fff8000000000000
0123214569900000 = fff8000000000000
587 #
0: xsnmsubmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000
= fff0000000000000
588 #
1: xsnmsubmsp
0123214569900000 fff0000000000000 c0d0650f5a07b353
= 7ff0000000000000
589 #
2: xsnmsubmsp c0d0650f5a07b353 fff0000000000000
8000000000000000 = fff0000000000000
590 #
3: xsnmsubmsp
0123214569900000 fff0000000000000
0000000000000000 = 7ff0000000000000
591 #
4: xsnmsubmsp c0d0650f5a07b353 fff0000000000000
0123214569900000 = fff0000000000000
592 #
5: xsnmsubmsp
0123214569900000 fff0000000000000
7ff0000000000000
= 7ff0000000000000
593 #
6: xsnmsubmsp c0d0650f5a07b353 fff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
594 #
7: xsnmsubmsp
0123214569900000 fff0000000000000
7ff8000000000000
= 7ff8000000000000
595 #
8: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000
= fff0000000000000
596 #
9: xsnmsubmsp
0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353
= c0d0650f60000000
597 #
10: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
8000000000000000 = c1b0cc9d00000000
598 #
11: xsnmsubmsp
0123214569900000 c0d0650f5a07b353
0000000000000000 = 0000000000000000
599 #
12: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
0123214569900000 = c1b0cc9d00000000
600 #
13: xsnmsubmsp
0123214569900000 c0d0650f5a07b353
7ff0000000000000
= 7ff0000000000000
601 #
14: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353
7ff7ffffffffffff
= 7fffffffe0000000
602 #
15: xsnmsubmsp
0123214569900000 c0d0650f5a07b353
7ff8000000000000
= 7ff8000000000000
603 #
16: xsnmsubmsp c0d0650f5a07b353
8000000000000000 fff0000000000000
= fff0000000000000
604 #
17: xsnmsubmsp
0123214569900000 8000000000000000 c0d0650f5a07b353
= c0d0650f60000000
605 #
18: xsnmsubmsp c0d0650f5a07b353
8000000000000000 8000000000000000 = 8000000000000000
606 #
19: xsnmsubmsp
0123214569900000 8000000000000000 0000000000000000 = 0000000000000000
607 #
20: xsnmsubmsp c0d0650f5a07b353
8000000000000000 0123214569900000 = 0000000000000000
608 #
21: xsnmsubmsp
0123214569900000 8000000000000000 7ff0000000000000
= 7ff0000000000000
609 #
22: xsnmsubmsp c0d0650f5a07b353
8000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
610 #
23: xsnmsubmsp
0123214569900000 8000000000000000 7ff8000000000000
= 7ff8000000000000
611 #
24: xsnmsubmsp c0d0650f5a07b353
0000000000000000 fff0000000000000
= fff0000000000000
612 #
25: xsnmsubmsp
0123214569900000 0000000000000000 c0d0650f5a07b353
= c0d0650f60000000
613 #
26: xsnmsubmsp c0d0650f5a07b353
0000000000000000 8000000000000000 = 8000000000000000
614 #
27: xsnmsubmsp
0123214569900000 0000000000000000 0000000000000000 = 8000000000000000
615 #
28: xsnmsubmsp c0d0650f5a07b353
0000000000000000 0123214569900000 = 0000000000000000
616 #
29: xsnmsubmsp
0123214569900000 0000000000000000 7ff0000000000000
= 7ff0000000000000
617 #
30: xsnmsubmsp c0d0650f5a07b353
0000000000000000 7ff7ffffffffffff
= 7fffffffe0000000
618 #
31: xsnmsubmsp
0123214569900000 0000000000000000 7ff8000000000000
= 7ff8000000000000
619 #
32: xsnmsubmsp c0d0650f5a07b353
0123214569900000 fff0000000000000
= fff0000000000000
620 #
33: xsnmsubmsp
0123214569900000 0123214569900000 c0d0650f5a07b353
= c0d0650f60000000
621 #
34: xsnmsubmsp c0d0650f5a07b353
0123214569900000 8000000000000000 = 0000000000000000
622 #
35: xsnmsubmsp
0123214569900000 0123214569900000 0000000000000000 = 8000000000000000
623 #
36: xsnmsubmsp c0d0650f5a07b353
0123214569900000 404f000000000000
= 404f000000000000
624 #
37: xsnmsubmsp
0123214569900000 0123214569900000 7ff0000000000000
= 7ff0000000000000
625 #
38: xsnmsubmsp c0d0650f5a07b353
0123214569900000 7ff7ffffffffffff
= 7fffffffe0000000
626 #
39: xsnmsubmsp
0123214569900000 0123214569900000 7ff8000000000000
= 7ff8000000000000
627 #
40: xsnmsubmsp c0d0650f5a07b353
7ff0000000000000 fff0000000000000
= 7ff8000000000000
628 #
41: xsnmsubmsp
0123214569900000 7ff0000000000000 c0d0650f5a07b353
= fff0000000000000
629 #
42: xsnmsubmsp c0d0650f5a07b353
7ff0000000000000
8000000000000000 = 7ff0000000000000
630 #
43: xsnmsubmsp
0123214569900000 7ff0000000000000
0000000000000000 = fff0000000000000
631 #
44: xsnmsubmsp c0d0650f5a07b353
7ff0000000000000
0123214569900000 = 7ff0000000000000
632 #
45: xsnmsubmsp
0123214569900000 7ff0000000000000
7ff0000000000000
= 7ff8000000000000
633 #
46: xsnmsubmsp c0d0650f5a07b353
7ff0000000000000
7ff7ffffffffffff
= 7fffffffe0000000
634 #
47: xsnmsubmsp
0123214569900000 7ff0000000000000
7ff8000000000000
= 7ff8000000000000
635 #
48: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000
= ffffffffe0000000
636 #
49: xsnmsubmsp
0123214569900000 fff7ffffffffffff c0d0650f5a07b353
= ffffffffe0000000
637 #
50: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff
8000000000000000 = ffffffffe0000000
638 #
51: xsnmsubmsp
0123214569900000 fff7ffffffffffff
0000000000000000 = ffffffffe0000000
639 #
52: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff
0123214569900000 = ffffffffe0000000
640 #
53: xsnmsubmsp
0123214569900000 fff7ffffffffffff
7ff0000000000000
= ffffffffe0000000
641 #
54: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff
7ff7ffffffffffff
= ffffffffe0000000
642 #
55: xsnmsubmsp
0123214569900000 fff7ffffffffffff
7ff8000000000000
= ffffffffe0000000
643 #
56: xsnmsubmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000
= fff8000000000000
644 #
57: xsnmsubmsp
0123214569900000 fff8000000000000 c0d0650f5a07b353
= fff8000000000000
645 #
58: xsnmsubmsp c0d0650f5a07b353 fff8000000000000
8000000000000000 = fff8000000000000
646 #
59: xsnmsubmsp
0123214569900000 fff8000000000000
0000000000000000 = fff8000000000000
647 #
60: xsnmsubmsp c0d0650f5a07b353 fff8000000000000
0123214569900000 = fff8000000000000
648 #
61: xsnmsubmsp
0123214569900000 fff8000000000000
7ff0000000000000
= fff8000000000000
649 #
62: xsnmsubmsp c0d0650f5a07b353 fff8000000000000
7ff7ffffffffffff
= fff8000000000000
650 #
63: xsnmsubmsp
0123214569900000 fff8000000000000
7ff8000000000000
= fff8000000000000
653 Test VSX vector and scalar single
argument instructions
654 #
0: xscvdpspn conv
(3fd8000000000000
) = 3ec00000
655 #
1: xscvdpspn conv
(404f000000000000
) = 42780000
656 #
2: xscvdpspn conv
(0018000000b77501
) = 00000000
657 #
3: xscvdpspn conv
(7fe800000000051b
) = 7f800000
658 #
4: xscvdpspn conv
(0123214569900000) = 00000000
659 #
5: xscvdpspn conv
(0000000000000000) = 00000000
660 #
6: xscvdpspn conv
(8000000000000000) = 80000000
661 #
7: xscvdpspn conv
(7ff0000000000000
) = 7f800000
662 #
8: xscvdpspn conv
(fff0000000000000
) = ff800000
663 #
9: xscvdpspn conv
(7ff7ffffffffffff
) = 7fbfffff
664 #
10: xscvdpspn conv
(fff7ffffffffffff
) = ffbfffff
665 #
11: xscvdpspn conv
(7ff8000000000000
) = 7fc00000
666 #
12: xscvdpspn conv
(fff8000000000000
) = ffc00000
667 #
13: xscvdpspn conv
(8008340000078000) = 80000000
668 #
14: xscvdpspn conv
(c0d0650f5a07b353
) = c683287b
669 #
15: xscvdpspn conv
(41232585a9900000
) = 49192c2d
670 #
16: xscvdpspn conv
(41382511a2000000
) = 49c1288d
671 #
17: xscvdpspn conv
(40312ef5a9300000
) = 418977ad
672 #
18: xscvdpspn conv
(40514bf5d2300000
) = 428a5faf
673 #
19: xscvdpspn conv
(40976bf982440000
) = 44bb5fcc
675 #
0: xscvspdpn conv
(3ec00000
) = 3fd8000000000000
676 #
1: xscvspdpn conv
(42780000) = 404f000000000000
677 #
2: xscvspdpn conv
(00000000) = 0000000000000000
678 #
3: xscvspdpn conv
(7f800000
) = 7ff0000000000000
679 #
4: xscvspdpn conv
(00000000) = 0000000000000000
680 #
5: xscvspdpn conv
(00000000) = 0000000000000000
681 #
6: xscvspdpn conv
(80000000) = 8000000000000000
682 #
7: xscvspdpn conv
(7f800000
) = 7ff0000000000000
683 #
8: xscvspdpn conv
(ff800000
) = fff0000000000000
684 #
9: xscvspdpn conv
(7fbfffff
) = 7ff7ffffe0000000
685 #
10: xscvspdpn conv
(ffbfffff
) = fff7ffffe0000000
686 #
11: xscvspdpn conv
(7fc00000
) = 7ff8000000000000
687 #
12: xscvspdpn conv
(ffc00000
) = fff8000000000000
688 #
13: xscvspdpn conv
(80000000) = 8000000000000000
689 #
14: xscvspdpn conv
(c683287b
) = c0d0650f60000000
690 #
15: xscvspdpn conv
(49192c2d
) = 41232585a0000000
691 #
16: xscvspdpn conv
(49c1288d
) = 41382511a0000000
692 #
17: xscvspdpn conv
(418977ad
) = 40312ef5a0000000
693 #
18: xscvspdpn conv
(428a5faf
) = 40514bf5e0000000
694 #
19: xscvspdpn conv
(44bb5fcc
) = 40976bf980000000
696 #
0: xsresp
1/x
(3fd8000000000000
) ==> PASS
)
697 #
1: xsresp
1/x
(404f000000000000
) ==> PASS
)
698 #
2: xsresp
1/x
(0018000000b77501
) ==> PASS
)
699 #
3: xsresp
1/x
(7fe800000000051b
) ==> PASS
)
700 #
4: xsresp
1/x
(0123214569900000) ==> PASS
)
701 #
5: xsresp
1/x
(0000000000000000) ==> PASS
)
702 #
6: xsresp
1/x
(8000000000000000) ==> PASS
)
703 #
7: xsresp
1/x
(7ff0000000000000
) ==> PASS
)
704 #
8: xsresp
1/x
(fff0000000000000
) ==> PASS
)
705 #
9: xsresp
1/x
(7ff7ffffffffffff
) ==> PASS
)
706 #
10: xsresp
1/x
(fff7ffffffffffff
) ==> PASS
)
707 #
11: xsresp
1/x
(7ff8000000000000
) ==> PASS
)
708 #
12: xsresp
1/x
(fff8000000000000
) ==> PASS
)
709 #
13: xsresp
1/x
(8008340000078000) ==> PASS
)
710 #
14: xsresp
1/x
(c0d0650f5a07b353
) ==> PASS
)
711 #
15: xsresp
1/x
(41232585a9900000
) ==> PASS
)
712 #
16: xsresp
1/x
(41382511a2000000
) ==> PASS
)
713 #
17: xsresp
1/x
(40312ef5a9300000
) ==> PASS
)
714 #
18: xsresp
1/x
(40514bf5d2300000
) ==> PASS
)
715 #
19: xsresp
1/x
(40976bf982440000
) ==> PASS
)
717 #
0: xsrsp
round(3fd8000000000000
) = 3fd8000000000000
718 #
1: xsrsp
round(404f000000000000
) = 404f000000000000
719 #
2: xsrsp
round(0018000000b77501
) = 0000000000000000
720 #
3: xsrsp
round(7fe800000000051b
) = 7ff0000000000000
721 #
4: xsrsp
round(0123214569900000) = 0000000000000000
722 #
5: xsrsp
round(0000000000000000) = 0000000000000000
723 #
6: xsrsp
round(8000000000000000) = 8000000000000000
724 #
7: xsrsp
round(7ff0000000000000
) = 7ff0000000000000
725 #
8: xsrsp
round(fff0000000000000
) = fff0000000000000
726 #
9: xsrsp
round(7ff7ffffffffffff
) = 7fffffffe0000000
727 #
10: xsrsp
round(fff7ffffffffffff
) = ffffffffe0000000
728 #
11: xsrsp
round(7ff8000000000000
) = 7ff8000000000000
729 #
12: xsrsp
round(fff8000000000000
) = fff8000000000000
730 #
13: xsrsp
round(8008340000078000) = 8000000000000000
731 #
14: xsrsp
round(c0d0650f5a07b353
) = c0d0650f60000000
732 #
15: xsrsp
round(41232585a9900000
) = 41232585a0000000
733 #
16: xsrsp
round(41382511a2000000
) = 41382511a0000000
734 #
17: xsrsp
round(40312ef5a9300000
) = 40312ef5a0000000
735 #
18: xsrsp
round(40514bf5d2300000
) = 40514bf5e0000000
736 #
19: xsrsp
round(40976bf982440000
) = 40976bf980000000
738 #
0: xsrsqrtesp
1/sqrt(3fd8000000000000
) ==> PASS
)
739 #
1: xsrsqrtesp
1/sqrt(404f000000000000
) ==> PASS
)
740 #
2: xsrsqrtesp
1/sqrt(0018000000b77501
) ==> PASS
)
741 #
3: xsrsqrtesp
1/sqrt(7fe800000000051b
) ==> PASS
)
742 #
4: xsrsqrtesp
1/sqrt(0123214569900000) ==> PASS
)
743 #
5: xsrsqrtesp
1/sqrt(0000000000000000) ==> PASS
)
744 #
6: xsrsqrtesp
1/sqrt(8000000000000000) ==> PASS
)
745 #
7: xsrsqrtesp
1/sqrt(7ff0000000000000
) ==> PASS
)
746 #
8: xsrsqrtesp
1/sqrt(fff0000000000000
) ==> PASS
)
747 #
9: xsrsqrtesp
1/sqrt(7ff7ffffffffffff
) ==> PASS
)
748 #
10: xsrsqrtesp
1/sqrt(fff7ffffffffffff
) ==> PASS
)
749 #
11: xsrsqrtesp
1/sqrt(7ff8000000000000
) ==> PASS
)
750 #
12: xsrsqrtesp
1/sqrt(fff8000000000000
) ==> PASS
)
751 #
13: xsrsqrtesp
1/sqrt(8008340000078000) ==> PASS
)
752 #
14: xsrsqrtesp
1/sqrt(c0d0650f5a07b353
) ==> PASS
)
753 #
15: xsrsqrtesp
1/sqrt(41232585a9900000
) ==> PASS
)
754 #
16: xsrsqrtesp
1/sqrt(41382511a2000000
) ==> PASS
)
755 #
17: xsrsqrtesp
1/sqrt(40312ef5a9300000
) ==> PASS
)
756 #
18: xsrsqrtesp
1/sqrt(40514bf5d2300000
) ==> PASS
)
757 #
19: xsrsqrtesp
1/sqrt(40976bf982440000
) ==> PASS
)
759 #
0: xssqrtsp
sqrt(3fd8000000000000
) = 3fe3988e20000000
760 #
1: xssqrtsp
sqrt(404f000000000000
) = 401f7efbe0000000
761 #
2: xssqrtsp
sqrt(0018000000b77501
) = 0000000000000000
762 #
3: xssqrtsp
sqrt(7fe800000000051b
) = 7ff0000000000000
763 #
4: xssqrtsp
sqrt(0123214569900000) = 0000000000000000
764 #
5: xssqrtsp
sqrt(0000000000000000) = 0000000000000000
765 #
6: xssqrtsp
sqrt(8000000000000000) = 8000000000000000
766 #
7: xssqrtsp
sqrt(7ff0000000000000
) = 7ff0000000000000
767 #
8: xssqrtsp
sqrt(fff0000000000000
) = 7ff8000000000000
768 #
9: xssqrtsp
sqrt(7ff7ffffffffffff
) = 7fffffffe0000000
769 #
10: xssqrtsp
sqrt(fff7ffffffffffff
) = ffffffffe0000000
770 #
11: xssqrtsp
sqrt(7ff8000000000000
) = 7ff8000000000000
771 #
12: xssqrtsp
sqrt(fff8000000000000
) = fff8000000000000
772 #
13: xssqrtsp
sqrt(8008340000078000) = 7ff8000000000000
773 #
14: xssqrtsp
sqrt(c0d0650f5a07b353
) = 7ff8000000000000
774 #
15: xssqrtsp
sqrt(41232585a9900000
) = 4088c0a920000000
775 #
16: xssqrtsp
sqrt(41382511a2000000
) = 4093a7aa60000000
776 #
17: xssqrtsp
sqrt(40312ef5a9300000
) = 401094c720000000
777 #
18: xssqrtsp
sqrt(40514bf5d2300000
) = 4020a2bf40000000
778 #
19: xssqrtsp
sqrt(40976bf982440000
) = 40435bc160000000
780 Test VSX logic instructions
781 #
0: xxleqv
(80000001 89abcdef
00112233 74556677, 80000001 89abcdef
00112233 74556677) ==> ffffffff ffffffff ffffffff ffffffff
782 #
1: xxlorc
(80000001 89abcdef
00112233 74556677, 80000001 89abcdef
00112233 74556677) ==> ffffffff ffffffff ffffffff ffffffff
783 #
2: xxlnand
(80000001 89abcdef
00112233 74556677, 80000001 89abcdef
00112233 74556677) ==> 7ffffffe
76543210 ffeeddcc
8baa9988
785 Test VSX scalar
integer conversion instructions
786 #
0: xscvsxdsp
0102030405060708 => 4370203040000000
787 #
1: xscvsxdsp
090a0b0c0e0d0e0f
=> 43a2141620000000
788 #
2: xscvsxdsp f1f2f3f4f5f6f7f8
=> c3ac1a1820000000
789 #
3: xscvsxdsp f9fafbfcfefdfeff
=> c398141000000000
791 #
0: xscvuxdsp
0102030405060708 => 4370203040000000
792 #
1: xscvuxdsp
090a0b0c0e0d0e0f
=> 43a2141620000000
793 #
2: xscvuxdsp f1f2f3f4f5f6f7f8
=> 43ee3e5e80000000
794 #
3: xscvuxdsp f9fafbfcfefdfeff
=> 43ef3f5f80000000
797 Test VSX
load/store dp to sp instructions
798 stxsspx
: 3fd8000000000000
==> 3ec00000
799 stxsspx
: 7ff0000000000000
==> 7f800000
800 stxsspx
: 8000000000000000 ==> 80000000
801 stxsspx
: 7ff7ffffe0000000
==> 7fbfffff
802 stxsspx
: fff8000000000000
==> ffc00000
803 stxsspx
: 41232585a0000000
==> 49192c2d
804 stxsspx
: 40514bf5e0000000
==> 428a5faf
807 stxsiwx
: 3ec00000
==> 3ec00000
808 stxsiwx
: 7f800000
==> 7f800000
809 stxsiwx
: 80000000 ==> 80000000
810 stxsiwx
: 7fbfffff
==> 7fbfffff
811 stxsiwx
: ffc00000
==> ffc00000
812 stxsiwx
: 49192c2d
==> 49192c2d
813 stxsiwx
: 428a5faf
==> 428a5faf
816 lxsiwax
: 80000001 ==> ffffffff80000001
817 lxsiwax
: 89abcdef
==> ffffffff89abcdef
818 lxsiwax
: 00112233 ==> 0000000000112233
819 lxsiwax
: 74556677 ==> 0000000074556677
820 lxsiwax
: 00001abb
==> 0000000000001abb
821 lxsiwax
: 00000001 ==> 0000000000000001
822 lxsiwax
: 31929394 ==> 0000000031929394
823 lxsiwax
: a1a2a3a4
==> ffffffffa1a2a3a4
826 lxsiwzx
: 89abcdef
==> 0000000089abcdef
827 lxsiwzx
: 00112233 ==> 0000000000112233
828 lxsiwzx
: 74556677 ==> 0000000074556677
829 lxsiwzx
: 00001abb
==> 0000000000001abb
830 lxsiwzx
: 00000001 ==> 0000000000000001
831 lxsiwzx
: 31929394 ==> 0000000031929394
832 lxsiwzx
: a1a2a3a4
==> 00000000a1a2a3a4
835 lxsspx
: 3ec00000
==> 3fd8000000000000
836 lxsspx
: 7f800000
==> 7ff0000000000000
837 lxsspx
: 80000000 ==> 8000000000000000
838 lxsspx
: 7fbfffff
==> 7ff7ffffe0000000
839 lxsspx
: ffc00000
==> fff8000000000000
840 lxsspx
: 49192c2d
==> 41232585a0000000
841 lxsspx
: 428a5faf
==> 40514bf5e0000000
844 Test VSX vector and scalar two
argument instructions
845 #
0: xssubsp fff0000000000000
,fff0000000000000
=> 7ff8000000000000
846 #
1: xssubsp fff0000000000000
,c0d0650f5a07b353
=> fff0000000000000
847 #
2: xssubsp fff0000000000000
,8000000000000000 => fff0000000000000
848 #
3: xssubsp fff0000000000000
,0000000000000000 => fff0000000000000
849 #
4: xssubsp fff0000000000000
,0123214569900000 => fff0000000000000
850 #
5: xssubsp fff0000000000000
,7ff0000000000000
=> fff0000000000000
851 #
6: xssubsp fff0000000000000
,7ff7ffffffffffff
=> 7fffffffe0000000
852 #
7: xssubsp fff0000000000000
,7ff8000000000000
=> 7ff8000000000000
853 #
8: xssubsp c0d0650f5a07b353
,fff0000000000000
=> 7ff0000000000000
854 #
9: xssubsp c0d0650f5a07b353
,c0d0650f5a07b353
=> 0000000000000000
855 #
10: xssubsp c0d0650f5a07b353
,8000000000000000 => c0d0650f60000000
856 #
11: xssubsp c0d0650f5a07b353
,0000000000000000 => c0d0650f60000000
857 #
12: xssubsp c0d0650f5a07b353
,0123214569900000 => c0d0650f60000000
858 #
13: xssubsp c0d0650f5a07b353
,7ff0000000000000
=> fff0000000000000
859 #
14: xssubsp c0d0650f5a07b353
,7ff7ffffffffffff
=> 7fffffffe0000000
860 #
15: xssubsp c0d0650f5a07b353
,7ff8000000000000
=> 7ff8000000000000
861 #
16: xssubsp
8000000000000000,fff0000000000000
=> 7ff0000000000000
862 #
17: xssubsp
8000000000000000,c0d0650f5a07b353
=> 40d0650f60000000
863 #
18: xssubsp
8000000000000000,8000000000000000 => 0000000000000000
864 #
19: xssubsp
8000000000000000,0000000000000000 => 8000000000000000
865 #
20: xssubsp
8000000000000000,0123214569900000 => 8000000000000000
866 #
21: xssubsp
8000000000000000,7ff0000000000000
=> fff0000000000000
867 #
22: xssubsp
8000000000000000,7ff7ffffffffffff
=> 7fffffffe0000000
868 #
23: xssubsp
8000000000000000,7ff8000000000000
=> 7ff8000000000000
869 #
24: xssubsp
0000000000000000,fff0000000000000
=> 7ff0000000000000
870 #
25: xssubsp
0000000000000000,c0d0650f5a07b353
=> 40d0650f60000000
871 #
26: xssubsp
0000000000000000,8000000000000000 => 0000000000000000
872 #
27: xssubsp
0000000000000000,0000000000000000 => 0000000000000000
873 #
28: xssubsp
0000000000000000,0123214569900000 => 8000000000000000
874 #
29: xssubsp
0000000000000000,7ff0000000000000
=> fff0000000000000
875 #
30: xssubsp
0000000000000000,7ff7ffffffffffff
=> 7fffffffe0000000
876 #
31: xssubsp
0000000000000000,7ff8000000000000
=> 7ff8000000000000
877 #
32: xssubsp
0123214569900000,fff0000000000000
=> 7ff0000000000000
878 #
33: xssubsp
0123214569900000,c0d0650f5a07b353
=> 40d0650f60000000
879 #
34: xssubsp
0123214569900000,8000000000000000 => 0000000000000000
880 #
35: xssubsp
0123214569900000,0000000000000000 => 0000000000000000
881 #
36: xssubsp
0123214569900000,404f000000000000
=> c04f000000000000
882 #
37: xssubsp
0123214569900000,7ff0000000000000
=> fff0000000000000
883 #
38: xssubsp
0123214569900000,7ff7ffffffffffff
=> 7fffffffe0000000
884 #
39: xssubsp
0123214569900000,7ff8000000000000
=> 7ff8000000000000
885 #
40: xssubsp
7ff0000000000000
,fff0000000000000
=> 7ff0000000000000
886 #
41: xssubsp
7ff0000000000000
,c0d0650f5a07b353
=> 7ff0000000000000
887 #
42: xssubsp
7ff0000000000000
,8000000000000000 => 7ff0000000000000
888 #
43: xssubsp
7ff0000000000000
,0000000000000000 => 7ff0000000000000
889 #
44: xssubsp
7ff0000000000000
,0123214569900000 => 7ff0000000000000
890 #
45: xssubsp
7ff0000000000000
,7ff0000000000000
=> 7ff8000000000000
891 #
46: xssubsp
7ff0000000000000
,7ff7ffffffffffff
=> 7fffffffe0000000
892 #
47: xssubsp
7ff0000000000000
,7ff8000000000000
=> 7ff8000000000000
893 #
48: xssubsp fff7ffffffffffff
,fff0000000000000
=> ffffffffe0000000
894 #
49: xssubsp fff7ffffffffffff
,c0d0650f5a07b353
=> ffffffffe0000000
895 #
50: xssubsp fff7ffffffffffff
,8000000000000000 => ffffffffe0000000
896 #
51: xssubsp fff7ffffffffffff
,0000000000000000 => ffffffffe0000000
897 #
52: xssubsp fff7ffffffffffff
,0123214569900000 => ffffffffe0000000
898 #
53: xssubsp fff7ffffffffffff
,7ff0000000000000
=> ffffffffe0000000
899 #
54: xssubsp fff7ffffffffffff
,7ff7ffffffffffff
=> ffffffffe0000000
900 #
55: xssubsp fff7ffffffffffff
,7ff8000000000000
=> ffffffffe0000000
901 #
56: xssubsp fff8000000000000
,fff0000000000000
=> fff8000000000000
902 #
57: xssubsp fff8000000000000
,c0d0650f5a07b353
=> fff8000000000000
903 #
58: xssubsp fff8000000000000
,8000000000000000 => fff8000000000000
904 #
59: xssubsp fff8000000000000
,0000000000000000 => fff8000000000000
905 #
60: xssubsp fff8000000000000
,0123214569900000 => fff8000000000000
906 #
61: xssubsp fff8000000000000
,7ff0000000000000
=> fff8000000000000
907 #
62: xssubsp fff8000000000000
,7ff7ffffffffffff
=> fff8000000000000
908 #
63: xssubsp fff8000000000000
,7ff8000000000000
=> fff8000000000000
910 #
0: xsaddsp fff0000000000000
,fff0000000000000
=> fff0000000000000
911 #
1: xsaddsp fff0000000000000
,c0d0650f5a07b353
=> fff0000000000000
912 #
2: xsaddsp fff0000000000000
,8000000000000000 => fff0000000000000
913 #
3: xsaddsp fff0000000000000
,0000000000000000 => fff0000000000000
914 #
4: xsaddsp fff0000000000000
,0123214569900000 => fff0000000000000
915 #
5: xsaddsp fff0000000000000
,7ff0000000000000
=> 7ff8000000000000
916 #
6: xsaddsp fff0000000000000
,7ff7ffffffffffff
=> 7fffffffe0000000
917 #
7: xsaddsp fff0000000000000
,7ff8000000000000
=> 7ff8000000000000
918 #
8: xsaddsp c0d0650f5a07b353
,fff0000000000000
=> fff0000000000000
919 #
9: xsaddsp c0d0650f5a07b353
,c0d0650f5a07b353
=> c0e0650f60000000
920 #
10: xsaddsp c0d0650f5a07b353
,8000000000000000 => c0d0650f60000000
921 #
11: xsaddsp c0d0650f5a07b353
,0000000000000000 => c0d0650f60000000
922 #
12: xsaddsp c0d0650f5a07b353
,0123214569900000 => c0d0650f60000000
923 #
13: xsaddsp c0d0650f5a07b353
,7ff0000000000000
=> 7ff0000000000000
924 #
14: xsaddsp c0d0650f5a07b353
,7ff7ffffffffffff
=> 7fffffffe0000000
925 #
15: xsaddsp c0d0650f5a07b353
,7ff8000000000000
=> 7ff8000000000000
926 #
16: xsaddsp
8000000000000000,fff0000000000000
=> fff0000000000000
927 #
17: xsaddsp
8000000000000000,c0d0650f5a07b353
=> c0d0650f60000000
928 #
18: xsaddsp
8000000000000000,8000000000000000 => 8000000000000000
929 #
19: xsaddsp
8000000000000000,0000000000000000 => 0000000000000000
930 #
20: xsaddsp
8000000000000000,0123214569900000 => 0000000000000000
931 #
21: xsaddsp
8000000000000000,7ff0000000000000
=> 7ff0000000000000
932 #
22: xsaddsp
8000000000000000,7ff7ffffffffffff
=> 7fffffffe0000000
933 #
23: xsaddsp
8000000000000000,7ff8000000000000
=> 7ff8000000000000
934 #
24: xsaddsp
0000000000000000,fff0000000000000
=> fff0000000000000
935 #
25: xsaddsp
0000000000000000,c0d0650f5a07b353
=> c0d0650f60000000
936 #
26: xsaddsp
0000000000000000,8000000000000000 => 0000000000000000
937 #
27: xsaddsp
0000000000000000,0000000000000000 => 0000000000000000
938 #
28: xsaddsp
0000000000000000,0123214569900000 => 0000000000000000
939 #
29: xsaddsp
0000000000000000,7ff0000000000000
=> 7ff0000000000000
940 #
30: xsaddsp
0000000000000000,7ff7ffffffffffff
=> 7fffffffe0000000
941 #
31: xsaddsp
0000000000000000,7ff8000000000000
=> 7ff8000000000000
942 #
32: xsaddsp
0123214569900000,fff0000000000000
=> fff0000000000000
943 #
33: xsaddsp
0123214569900000,c0d0650f5a07b353
=> c0d0650f60000000
944 #
34: xsaddsp
0123214569900000,8000000000000000 => 0000000000000000
945 #
35: xsaddsp
0123214569900000,0000000000000000 => 0000000000000000
946 #
36: xsaddsp
0123214569900000,404f000000000000
=> 404f000000000000
947 #
37: xsaddsp
0123214569900000,7ff0000000000000
=> 7ff0000000000000
948 #
38: xsaddsp
0123214569900000,7ff7ffffffffffff
=> 7fffffffe0000000
949 #
39: xsaddsp
0123214569900000,7ff8000000000000
=> 7ff8000000000000
950 #
40: xsaddsp
7ff0000000000000
,fff0000000000000
=> 7ff8000000000000
951 #
41: xsaddsp
7ff0000000000000
,c0d0650f5a07b353
=> 7ff0000000000000
952 #
42: xsaddsp
7ff0000000000000
,8000000000000000 => 7ff0000000000000
953 #
43: xsaddsp
7ff0000000000000
,0000000000000000 => 7ff0000000000000
954 #
44: xsaddsp
7ff0000000000000
,0123214569900000 => 7ff0000000000000
955 #
45: xsaddsp
7ff0000000000000
,7ff0000000000000
=> 7ff0000000000000
956 #
46: xsaddsp
7ff0000000000000
,7ff7ffffffffffff
=> 7fffffffe0000000
957 #
47: xsaddsp
7ff0000000000000
,7ff8000000000000
=> 7ff8000000000000
958 #
48: xsaddsp fff7ffffffffffff
,fff0000000000000
=> ffffffffe0000000
959 #
49: xsaddsp fff7ffffffffffff
,c0d0650f5a07b353
=> ffffffffe0000000
960 #
50: xsaddsp fff7ffffffffffff
,8000000000000000 => ffffffffe0000000
961 #
51: xsaddsp fff7ffffffffffff
,0000000000000000 => ffffffffe0000000
962 #
52: xsaddsp fff7ffffffffffff
,0123214569900000 => ffffffffe0000000
963 #
53: xsaddsp fff7ffffffffffff
,7ff0000000000000
=> ffffffffe0000000
964 #
54: xsaddsp fff7ffffffffffff
,7ff7ffffffffffff
=> ffffffffe0000000
965 #
55: xsaddsp fff7ffffffffffff
,7ff8000000000000
=> ffffffffe0000000
966 #
56: xsaddsp fff8000000000000
,fff0000000000000
=> fff8000000000000
967 #
57: xsaddsp fff8000000000000
,c0d0650f5a07b353
=> fff8000000000000
968 #
58: xsaddsp fff8000000000000
,8000000000000000 => fff8000000000000
969 #
59: xsaddsp fff8000000000000
,0000000000000000 => fff8000000000000
970 #
60: xsaddsp fff8000000000000
,0123214569900000 => fff8000000000000
971 #
61: xsaddsp fff8000000000000
,7ff0000000000000
=> fff8000000000000
972 #
62: xsaddsp fff8000000000000
,7ff7ffffffffffff
=> fff8000000000000
973 #
63: xsaddsp fff8000000000000
,7ff8000000000000
=> fff8000000000000
