1Test 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
66
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
131
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
196
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
261
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
326
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
391
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
456
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
521
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
586
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
651
652
653Test 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
674
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
695
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)
716
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
737
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)
758
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
779
780Test 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
784
785Test 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
790
791#0: xscvuxdsp 0102030405060708 => 4370203040000000
792#1: xscvuxdsp 090a0b0c0e0d0e0f => 43a2141620000000
793#2: xscvuxdsp f1f2f3f4f5f6f7f8 => 43ee3e5e80000000
794#3: xscvuxdsp f9fafbfcfefdfeff => 43ef3f5f80000000
795
796
797Test VSX load/store dp to sp instructions
798stxsspx: 3fd8000000000000 ==> 3ec00000
799stxsspx: 7ff0000000000000 ==> 7f800000
800stxsspx: 8000000000000000 ==> 80000000
801stxsspx: 7ff7ffffe0000000 ==> 7fbfffff
802stxsspx: fff8000000000000 ==> ffc00000
803stxsspx: 41232585a0000000 ==> 49192c2d
804stxsspx: 40514bf5e0000000 ==> 428a5faf
805
806
807stxsiwx: 3ec00000 ==> 3ec00000
808stxsiwx: 7f800000 ==> 7f800000
809stxsiwx: 80000000 ==> 80000000
810stxsiwx: 7fbfffff ==> 7fbfffff
811stxsiwx: ffc00000 ==> ffc00000
812stxsiwx: 49192c2d ==> 49192c2d
813stxsiwx: 428a5faf ==> 428a5faf
814
815
816lxsiwax: 80000001 ==> ffffffff80000001
817lxsiwax: 89abcdef ==> ffffffff89abcdef
818lxsiwax: 00112233 ==> 0000000000112233
819lxsiwax: 74556677 ==> 0000000074556677
820lxsiwax: 00001abb ==> 0000000000001abb
821lxsiwax: 00000001 ==> 0000000000000001
822lxsiwax: 31929394 ==> 0000000031929394
823lxsiwax: a1a2a3a4 ==> ffffffffa1a2a3a4
824
825
826lxsiwzx: 89abcdef ==> 0000000089abcdef
827lxsiwzx: 00112233 ==> 0000000000112233
828lxsiwzx: 74556677 ==> 0000000074556677
829lxsiwzx: 00001abb ==> 0000000000001abb
830lxsiwzx: 00000001 ==> 0000000000000001
831lxsiwzx: 31929394 ==> 0000000031929394
832lxsiwzx: a1a2a3a4 ==> 00000000a1a2a3a4
833
834
835lxsspx: 3ec00000 ==> 3fd8000000000000
836lxsspx: 7f800000 ==> 7ff0000000000000
837lxsspx: 80000000 ==> 8000000000000000
838lxsspx: 7fbfffff ==> 7ff7ffffe0000000
839lxsspx: ffc00000 ==> fff8000000000000
840lxsspx: 49192c2d ==> 41232585a0000000
841lxsspx: 428a5faf ==> 40514bf5e0000000
842
843
844Test 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
909
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
974
975