Test VSX floating point instructions
#0: xsmaddasp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
#1: xsmaddasp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
#2: xsmaddasp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#3: xsmaddasp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000
#4: xsmaddasp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#5: xsmaddasp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#6: xsmaddasp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#7: xsmaddasp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#8: xsmaddasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = fff0000000000000
#9: xsmaddasp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c0d0650f60000000
#10: xsmaddasp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d00000000
#11: xsmaddasp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 8000000000000000
#12: xsmaddasp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d00000000
#13: xsmaddasp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = 7ff0000000000000
#14: xsmaddasp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffe0000000
#15: xsmaddasp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
#16: xsmaddasp fff0000000000000 8000000000000000 c0d0650f5a07b353 = fff0000000000000
#17: xsmaddasp c0d0650f5a07b353 8000000000000000 0123214569900000 = c0d0650f60000000
#18: xsmaddasp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#19: xsmaddasp 0000000000000000 8000000000000000 0123214569900000 = 0000000000000000
#20: xsmaddasp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#21: xsmaddasp 7ff0000000000000 8000000000000000 0123214569900000 = 7ff0000000000000
#22: xsmaddasp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#23: xsmaddasp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
#24: xsmaddasp fff0000000000000 0000000000000000 c0d0650f5a07b353 = fff0000000000000
#25: xsmaddasp c0d0650f5a07b353 0000000000000000 0123214569900000 = c0d0650f60000000
#26: xsmaddasp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#27: xsmaddasp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
#28: xsmaddasp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
#29: xsmaddasp 7ff0000000000000 0000000000000000 0123214569900000 = 7ff0000000000000
#30: xsmaddasp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#31: xsmaddasp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
#32: xsmaddasp fff0000000000000 0123214569900000 c0d0650f5a07b353 = fff0000000000000
#33: xsmaddasp c0d0650f5a07b353 0123214569900000 0123214569900000 = c0d0650f60000000
#34: xsmaddasp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 8000000000000000
#35: xsmaddasp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
#36: xsmaddasp 404f000000000000 0123214569900000 c0d0650f5a07b353 = 404f000000000000
#37: xsmaddasp 7ff0000000000000 0123214569900000 0123214569900000 = 7ff0000000000000
#38: xsmaddasp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffe0000000
#39: xsmaddasp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
#40: xsmaddasp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#41: xsmaddasp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
#42: xsmaddasp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#43: xsmaddasp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
#44: xsmaddasp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#45: xsmaddasp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
#46: xsmaddasp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#47: xsmaddasp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#48: xsmaddasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#49: xsmaddasp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#50: xsmaddasp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#51: xsmaddasp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#52: xsmaddasp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#53: xsmaddasp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#54: xsmaddasp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#55: xsmaddasp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#56: xsmaddasp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#57: xsmaddasp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#58: xsmaddasp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#59: xsmaddasp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#60: xsmaddasp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#61: xsmaddasp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#62: xsmaddasp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#63: xsmaddasp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000

#0: xsmaddmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000
#1: xsmaddmsp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#2: xsmaddmsp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000
#3: xsmaddmsp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000
#4: xsmaddmsp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
#5: xsmaddmsp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000
#6: xsmaddmsp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsmaddmsp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = fff0000000000000
#9: xsmaddmsp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c0d0650f60000000
#10: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d00000000
#11: xsmaddmsp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 8000000000000000
#12: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d00000000
#13: xsmaddmsp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000
#14: xsmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsmaddmsp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsmaddmsp c0d0650f5a07b353 8000000000000000 fff0000000000000 = fff0000000000000
#17: xsmaddmsp 0123214569900000 8000000000000000 c0d0650f5a07b353 = c0d0650f60000000
#18: xsmaddmsp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000
#19: xsmaddmsp 0123214569900000 8000000000000000 0000000000000000 = 0000000000000000
#20: xsmaddmsp c0d0650f5a07b353 8000000000000000 0123214569900000 = 0000000000000000
#21: xsmaddmsp 0123214569900000 8000000000000000 7ff0000000000000 = 7ff0000000000000
#22: xsmaddmsp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsmaddmsp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsmaddmsp c0d0650f5a07b353 0000000000000000 fff0000000000000 = fff0000000000000
#25: xsmaddmsp 0123214569900000 0000000000000000 c0d0650f5a07b353 = c0d0650f60000000
#26: xsmaddmsp c0d0650f5a07b353 0000000000000000 8000000000000000 = 8000000000000000
#27: xsmaddmsp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
#28: xsmaddmsp c0d0650f5a07b353 0000000000000000 0123214569900000 = 0000000000000000
#29: xsmaddmsp 0123214569900000 0000000000000000 7ff0000000000000 = 7ff0000000000000
#30: xsmaddmsp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsmaddmsp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsmaddmsp c0d0650f5a07b353 0123214569900000 fff0000000000000 = fff0000000000000
#33: xsmaddmsp 0123214569900000 0123214569900000 c0d0650f5a07b353 = c0d0650f60000000
#34: xsmaddmsp c0d0650f5a07b353 0123214569900000 8000000000000000 = 8000000000000000
#35: xsmaddmsp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
#36: xsmaddmsp c0d0650f5a07b353 0123214569900000 404f000000000000 = 404f000000000000
#37: xsmaddmsp 0123214569900000 0123214569900000 7ff0000000000000 = 7ff0000000000000
#38: xsmaddmsp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsmaddmsp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsmaddmsp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = fff0000000000000
#41: xsmaddmsp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#42: xsmaddmsp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000
#43: xsmaddmsp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000
#44: xsmaddmsp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
#45: xsmaddmsp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff0000000000000
#46: xsmaddmsp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsmaddmsp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsmaddmsp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsmaddmsp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsmaddmsp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsmaddmsp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsmaddmsp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsmaddmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsmaddmsp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsmaddmsp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
#59: xsmaddmsp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
#60: xsmaddmsp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#61: xsmaddmsp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsmaddmsp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsmaddmsp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000

#0: xsmsubasp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#1: xsmsubasp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
#2: xsmsubasp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#3: xsmsubasp 0000000000000000 fff0000000000000 0123214569900000 = fff0000000000000
#4: xsmsubasp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#5: xsmsubasp 7ff0000000000000 fff0000000000000 0123214569900000 = fff0000000000000
#6: xsmsubasp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#7: xsmsubasp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#8: xsmsubasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000
#9: xsmsubasp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f60000000
#10: xsmsubasp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d00000000
#11: xsmsubasp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 8000000000000000
#12: xsmsubasp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d00000000
#13: xsmsubasp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000
#14: xsmsubasp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffe0000000
#15: xsmsubasp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
#16: xsmsubasp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000
#17: xsmsubasp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f60000000
#18: xsmsubasp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#19: xsmsubasp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
#20: xsmsubasp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8000000000000000
#21: xsmsubasp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000
#22: xsmsubasp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#23: xsmsubasp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
#24: xsmsubasp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000
#25: xsmsubasp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f60000000
#26: xsmsubasp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
#27: xsmsubasp 0000000000000000 0000000000000000 0123214569900000 = 0000000000000000
#28: xsmsubasp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#29: xsmsubasp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000
#30: xsmsubasp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#31: xsmsubasp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
#32: xsmsubasp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000
#33: xsmsubasp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f60000000
#34: xsmsubasp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 8000000000000000
#35: xsmsubasp 0000000000000000 0123214569900000 0123214569900000 = 0000000000000000
#36: xsmsubasp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000
#37: xsmsubasp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000
#38: xsmsubasp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffe0000000
#39: xsmsubasp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
#40: xsmsubasp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
#41: xsmsubasp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
#42: xsmsubasp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#43: xsmsubasp 0000000000000000 7ff0000000000000 0123214569900000 = 7ff0000000000000
#44: xsmsubasp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#45: xsmsubasp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#46: xsmsubasp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#47: xsmsubasp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#48: xsmsubasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#49: xsmsubasp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#50: xsmsubasp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#51: xsmsubasp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#52: xsmsubasp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#53: xsmsubasp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#54: xsmsubasp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#55: xsmsubasp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#56: xsmsubasp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#57: xsmsubasp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#58: xsmsubasp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#59: xsmsubasp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#60: xsmsubasp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#61: xsmsubasp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#62: xsmsubasp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#63: xsmsubasp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000

#0: xsmsubmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff0000000000000
#1: xsmsubmsp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#2: xsmsubmsp c0d0650f5a07b353 fff0000000000000 8000000000000000 = 7ff0000000000000
#3: xsmsubmsp 0123214569900000 fff0000000000000 0000000000000000 = fff0000000000000
#4: xsmsubmsp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
#5: xsmsubmsp 0123214569900000 fff0000000000000 7ff0000000000000 = fff0000000000000
#6: xsmsubmsp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsmsubmsp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
#9: xsmsubmsp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f60000000
#10: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = 41b0cc9d00000000
#11: xsmsubmsp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 8000000000000000
#12: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 41b0cc9d00000000
#13: xsmsubmsp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
#14: xsmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsmsubmsp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsmsubmsp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000
#17: xsmsubmsp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f60000000
#18: xsmsubmsp c0d0650f5a07b353 8000000000000000 8000000000000000 = 0000000000000000
#19: xsmsubmsp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
#20: xsmsubmsp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8000000000000000
#21: xsmsubmsp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000
#22: xsmsubmsp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsmsubmsp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsmsubmsp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000
#25: xsmsubmsp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f60000000
#26: xsmsubmsp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000
#27: xsmsubmsp 0123214569900000 0000000000000000 0000000000000000 = 0000000000000000
#28: xsmsubmsp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8000000000000000
#29: xsmsubmsp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000
#30: xsmsubmsp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsmsubmsp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsmsubmsp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000
#33: xsmsubmsp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f60000000
#34: xsmsubmsp c0d0650f5a07b353 0123214569900000 8000000000000000 = 8000000000000000
#35: xsmsubmsp 0123214569900000 0123214569900000 0000000000000000 = 0000000000000000
#36: xsmsubmsp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000
#37: xsmsubmsp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000
#38: xsmsubmsp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsmsubmsp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsmsubmsp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff8000000000000
#41: xsmsubmsp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#42: xsmsubmsp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = fff0000000000000
#43: xsmsubmsp 0123214569900000 7ff0000000000000 0000000000000000 = 7ff0000000000000
#44: xsmsubmsp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
#45: xsmsubmsp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
#46: xsmsubmsp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsmsubmsp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsmsubmsp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsmsubmsp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsmsubmsp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsmsubmsp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsmsubmsp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsmsubmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsmsubmsp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsmsubmsp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
#59: xsmsubmsp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
#60: xsmsubmsp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#61: xsmsubmsp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsmsubmsp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsmsubmsp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000

#0: xsmulsp fff0000000000000 fff0000000000000 = 7ff0000000000000
#1: xsmulsp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#2: xsmulsp fff0000000000000 8000000000000000 = 7ff8000000000000
#3: xsmulsp fff0000000000000 0000000000000000 = 7ff8000000000000
#4: xsmulsp fff0000000000000 0123214569900000 = fff0000000000000
#5: xsmulsp fff0000000000000 7ff0000000000000 = fff0000000000000
#6: xsmulsp fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsmulsp fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsmulsp c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
#9: xsmulsp c0d0650f5a07b353 c0d0650f5a07b353 = 41b0cc9d00000000
#10: xsmulsp c0d0650f5a07b353 8000000000000000 = 0000000000000000
#11: xsmulsp c0d0650f5a07b353 0000000000000000 = 8000000000000000
#12: xsmulsp c0d0650f5a07b353 0123214569900000 = 8000000000000000
#13: xsmulsp c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
#14: xsmulsp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsmulsp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsmulsp 8000000000000000 fff0000000000000 = 7ff8000000000000
#17: xsmulsp 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#18: xsmulsp 8000000000000000 8000000000000000 = 0000000000000000
#19: xsmulsp 8000000000000000 0000000000000000 = 8000000000000000
#20: xsmulsp 8000000000000000 0123214569900000 = 8000000000000000
#21: xsmulsp 8000000000000000 7ff0000000000000 = 7ff8000000000000
#22: xsmulsp 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsmulsp 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsmulsp 0000000000000000 fff0000000000000 = 7ff8000000000000
#25: xsmulsp 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#26: xsmulsp 0000000000000000 8000000000000000 = 8000000000000000
#27: xsmulsp 0000000000000000 0000000000000000 = 0000000000000000
#28: xsmulsp 0000000000000000 0123214569900000 = 0000000000000000
#29: xsmulsp 0000000000000000 7ff0000000000000 = 7ff8000000000000
#30: xsmulsp 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsmulsp 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsmulsp 0123214569900000 fff0000000000000 = fff0000000000000
#33: xsmulsp 0123214569900000 c0d0650f5a07b353 = 8000000000000000
#34: xsmulsp 0123214569900000 8000000000000000 = 8000000000000000
#35: xsmulsp 0123214569900000 0000000000000000 = 0000000000000000
#36: xsmulsp 0123214569900000 404f000000000000 = 0000000000000000
#37: xsmulsp 0123214569900000 7ff0000000000000 = 7ff0000000000000
#38: xsmulsp 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsmulsp 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsmulsp 7ff0000000000000 fff0000000000000 = fff0000000000000
#41: xsmulsp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#42: xsmulsp 7ff0000000000000 8000000000000000 = 7ff8000000000000
#43: xsmulsp 7ff0000000000000 0000000000000000 = 7ff8000000000000
#44: xsmulsp 7ff0000000000000 0123214569900000 = 7ff0000000000000
#45: xsmulsp 7ff0000000000000 7ff0000000000000 = 7ff0000000000000
#46: xsmulsp 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsmulsp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsmulsp fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsmulsp fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsmulsp fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsmulsp fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsmulsp fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsmulsp fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsmulsp fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsmulsp fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsmulsp fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsmulsp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsmulsp fff8000000000000 8000000000000000 = fff8000000000000
#59: xsmulsp fff8000000000000 0000000000000000 = fff8000000000000
#60: xsmulsp fff8000000000000 0123214569900000 = fff8000000000000
#61: xsmulsp fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsmulsp fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsmulsp fff8000000000000 7ff8000000000000 = fff8000000000000

#0: xsdivsp fff0000000000000 fff0000000000000 = 7ff8000000000000
#1: xsdivsp fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#2: xsdivsp fff0000000000000 8000000000000000 = 7ff0000000000000
#3: xsdivsp fff0000000000000 0000000000000000 = fff0000000000000
#4: xsdivsp fff0000000000000 0123214569900000 = fff0000000000000
#5: xsdivsp fff0000000000000 7ff0000000000000 = 7ff8000000000000
#6: xsdivsp fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsdivsp fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsdivsp c0d0650f5a07b353 fff0000000000000 = 0000000000000000
#9: xsdivsp c0d0650f5a07b353 c0d0650f5a07b353 = 3ff0000000000000
#10: xsdivsp c0d0650f5a07b353 8000000000000000 = 7ff0000000000000
#11: xsdivsp c0d0650f5a07b353 0000000000000000 = fff0000000000000
#12: xsdivsp c0d0650f5a07b353 0123214569900000 = fff0000000000000
#13: xsdivsp c0d0650f5a07b353 7ff0000000000000 = 8000000000000000
#14: xsdivsp c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsdivsp c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsdivsp 8000000000000000 fff0000000000000 = 0000000000000000
#17: xsdivsp 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#18: xsdivsp 8000000000000000 8000000000000000 = 7ff8000000000000
#19: xsdivsp 8000000000000000 0000000000000000 = 7ff8000000000000
#20: xsdivsp 8000000000000000 0123214569900000 = 8000000000000000
#21: xsdivsp 8000000000000000 7ff0000000000000 = 8000000000000000
#22: xsdivsp 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsdivsp 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsdivsp 0000000000000000 fff0000000000000 = 8000000000000000
#25: xsdivsp 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#26: xsdivsp 0000000000000000 8000000000000000 = 7ff8000000000000
#27: xsdivsp 0000000000000000 0000000000000000 = 7ff8000000000000
#28: xsdivsp 0000000000000000 0123214569900000 = 0000000000000000
#29: xsdivsp 0000000000000000 7ff0000000000000 = 0000000000000000
#30: xsdivsp 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsdivsp 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsdivsp 0123214569900000 fff0000000000000 = 8000000000000000
#33: xsdivsp 0123214569900000 c0d0650f5a07b353 = 8000000000000000
#34: xsdivsp 0123214569900000 8000000000000000 = fff0000000000000
#35: xsdivsp 0123214569900000 0000000000000000 = 7ff0000000000000
#36: xsdivsp 0123214569900000 404f000000000000 = 0000000000000000
#37: xsdivsp 0123214569900000 7ff0000000000000 = 0000000000000000
#38: xsdivsp 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsdivsp 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsdivsp 7ff0000000000000 fff0000000000000 = 7ff8000000000000
#41: xsdivsp 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#42: xsdivsp 7ff0000000000000 8000000000000000 = fff0000000000000
#43: xsdivsp 7ff0000000000000 0000000000000000 = 7ff0000000000000
#44: xsdivsp 7ff0000000000000 0123214569900000 = 7ff0000000000000
#45: xsdivsp 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
#46: xsdivsp 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsdivsp 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsdivsp fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsdivsp fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsdivsp fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsdivsp fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsdivsp fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsdivsp fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsdivsp fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsdivsp fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsdivsp fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsdivsp fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsdivsp fff8000000000000 8000000000000000 = fff8000000000000
#59: xsdivsp fff8000000000000 0000000000000000 = fff8000000000000
#60: xsdivsp fff8000000000000 0123214569900000 = fff8000000000000
#61: xsdivsp fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsdivsp fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsdivsp fff8000000000000 7ff8000000000000 = fff8000000000000

#0: xsnmaddasp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
#1: xsnmaddasp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
#2: xsnmaddasp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#3: xsnmaddasp 0000000000000000 fff0000000000000 0123214569900000 = 7ff0000000000000
#4: xsnmaddasp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#5: xsnmaddasp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#6: xsnmaddasp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#7: xsnmaddasp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#8: xsnmaddasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = 7ff0000000000000
#9: xsnmaddasp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = 40d0650f60000000
#10: xsnmaddasp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d00000000
#11: xsnmaddasp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 0000000000000000
#12: xsnmaddasp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d00000000
#13: xsnmaddasp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = fff0000000000000
#14: xsnmaddasp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffe0000000
#15: xsnmaddasp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
#16: xsnmaddasp fff0000000000000 8000000000000000 c0d0650f5a07b353 = 7ff0000000000000
#17: xsnmaddasp c0d0650f5a07b353 8000000000000000 0123214569900000 = 40d0650f60000000
#18: xsnmaddasp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 8000000000000000
#19: xsnmaddasp 0000000000000000 8000000000000000 0123214569900000 = 8000000000000000
#20: xsnmaddasp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 8000000000000000
#21: xsnmaddasp 7ff0000000000000 8000000000000000 0123214569900000 = fff0000000000000
#22: xsnmaddasp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#23: xsnmaddasp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
#24: xsnmaddasp fff0000000000000 0000000000000000 c0d0650f5a07b353 = 7ff0000000000000
#25: xsnmaddasp c0d0650f5a07b353 0000000000000000 0123214569900000 = 40d0650f60000000
#26: xsnmaddasp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
#27: xsnmaddasp 0000000000000000 0000000000000000 0123214569900000 = 8000000000000000
#28: xsnmaddasp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#29: xsnmaddasp 7ff0000000000000 0000000000000000 0123214569900000 = fff0000000000000
#30: xsnmaddasp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#31: xsnmaddasp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
#32: xsnmaddasp fff0000000000000 0123214569900000 c0d0650f5a07b353 = 7ff0000000000000
#33: xsnmaddasp c0d0650f5a07b353 0123214569900000 0123214569900000 = 40d0650f60000000
#34: xsnmaddasp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 0000000000000000
#35: xsnmaddasp 0000000000000000 0123214569900000 0123214569900000 = 8000000000000000
#36: xsnmaddasp 404f000000000000 0123214569900000 c0d0650f5a07b353 = c04f000000000000
#37: xsnmaddasp 7ff0000000000000 0123214569900000 0123214569900000 = fff0000000000000
#38: xsnmaddasp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffe0000000
#39: xsnmaddasp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
#40: xsnmaddasp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#41: xsnmaddasp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
#42: xsnmaddasp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#43: xsnmaddasp 0000000000000000 7ff0000000000000 0123214569900000 = fff0000000000000
#44: xsnmaddasp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#45: xsnmaddasp 7ff0000000000000 7ff0000000000000 0123214569900000 = fff0000000000000
#46: xsnmaddasp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#47: xsnmaddasp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#48: xsnmaddasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#49: xsnmaddasp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#50: xsnmaddasp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#51: xsnmaddasp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#52: xsnmaddasp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#53: xsnmaddasp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#54: xsnmaddasp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#55: xsnmaddasp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#56: xsnmaddasp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#57: xsnmaddasp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#58: xsnmaddasp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#59: xsnmaddasp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#60: xsnmaddasp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#61: xsnmaddasp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#62: xsnmaddasp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#63: xsnmaddasp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000

#0: xsnmaddmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = 7ff8000000000000
#1: xsnmaddmsp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#2: xsnmaddmsp c0d0650f5a07b353 fff0000000000000 8000000000000000 = fff0000000000000
#3: xsnmaddmsp 0123214569900000 fff0000000000000 0000000000000000 = 7ff0000000000000
#4: xsnmaddmsp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
#5: xsnmaddmsp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff8000000000000
#6: xsnmaddmsp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsnmaddmsp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = 7ff0000000000000
#9: xsnmaddmsp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = 40d0650f60000000
#10: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = c1b0cc9d00000000
#11: xsnmaddmsp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 0000000000000000
#12: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c1b0cc9d00000000
#13: xsnmaddmsp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = fff0000000000000
#14: xsnmaddmsp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsnmaddmsp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsnmaddmsp c0d0650f5a07b353 8000000000000000 fff0000000000000 = 7ff0000000000000
#17: xsnmaddmsp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 40d0650f60000000
#18: xsnmaddmsp c0d0650f5a07b353 8000000000000000 8000000000000000 = 8000000000000000
#19: xsnmaddmsp 0123214569900000 8000000000000000 0000000000000000 = 8000000000000000
#20: xsnmaddmsp c0d0650f5a07b353 8000000000000000 0123214569900000 = 8000000000000000
#21: xsnmaddmsp 0123214569900000 8000000000000000 7ff0000000000000 = fff0000000000000
#22: xsnmaddmsp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsnmaddmsp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsnmaddmsp c0d0650f5a07b353 0000000000000000 fff0000000000000 = 7ff0000000000000
#25: xsnmaddmsp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 40d0650f60000000
#26: xsnmaddmsp c0d0650f5a07b353 0000000000000000 8000000000000000 = 0000000000000000
#27: xsnmaddmsp 0123214569900000 0000000000000000 0000000000000000 = 8000000000000000
#28: xsnmaddmsp c0d0650f5a07b353 0000000000000000 0123214569900000 = 8000000000000000
#29: xsnmaddmsp 0123214569900000 0000000000000000 7ff0000000000000 = fff0000000000000
#30: xsnmaddmsp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsnmaddmsp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsnmaddmsp c0d0650f5a07b353 0123214569900000 fff0000000000000 = 7ff0000000000000
#33: xsnmaddmsp 0123214569900000 0123214569900000 c0d0650f5a07b353 = 40d0650f60000000
#34: xsnmaddmsp c0d0650f5a07b353 0123214569900000 8000000000000000 = 0000000000000000
#35: xsnmaddmsp 0123214569900000 0123214569900000 0000000000000000 = 8000000000000000
#36: xsnmaddmsp c0d0650f5a07b353 0123214569900000 404f000000000000 = c04f000000000000
#37: xsnmaddmsp 0123214569900000 0123214569900000 7ff0000000000000 = fff0000000000000
#38: xsnmaddmsp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsnmaddmsp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsnmaddmsp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff0000000000000
#41: xsnmaddmsp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#42: xsnmaddmsp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = 7ff0000000000000
#43: xsnmaddmsp 0123214569900000 7ff0000000000000 0000000000000000 = fff0000000000000
#44: xsnmaddmsp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
#45: xsnmaddmsp 0123214569900000 7ff0000000000000 7ff0000000000000 = fff0000000000000
#46: xsnmaddmsp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsnmaddmsp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsnmaddmsp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsnmaddmsp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsnmaddmsp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsnmaddmsp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsnmaddmsp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsnmaddmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsnmaddmsp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsnmaddmsp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
#59: xsnmaddmsp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
#60: xsnmaddmsp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#61: xsnmaddmsp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsnmaddmsp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsnmaddmsp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000

#0: xsnmsubasp fff0000000000000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#1: xsnmsubasp c0d0650f5a07b353 fff0000000000000 0123214569900000 = 7ff0000000000000
#2: xsnmsubasp 8000000000000000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#3: xsnmsubasp 0000000000000000 fff0000000000000 0123214569900000 = 7ff0000000000000
#4: xsnmsubasp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = fff0000000000000
#5: xsnmsubasp 7ff0000000000000 fff0000000000000 0123214569900000 = 7ff0000000000000
#6: xsnmsubasp 7ff7ffffffffffff fff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#7: xsnmsubasp 7ff8000000000000 fff0000000000000 0123214569900000 = 7ff8000000000000
#8: xsnmsubasp fff0000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = fff0000000000000
#9: xsnmsubasp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c0d0650f60000000
#10: xsnmsubasp 8000000000000000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d00000000
#11: xsnmsubasp 0000000000000000 c0d0650f5a07b353 0123214569900000 = 0000000000000000
#12: xsnmsubasp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c1b0cc9d00000000
#13: xsnmsubasp 7ff0000000000000 c0d0650f5a07b353 0123214569900000 = 7ff0000000000000
#14: xsnmsubasp 7ff7ffffffffffff c0d0650f5a07b353 c0d0650f5a07b353 = 7fffffffe0000000
#15: xsnmsubasp 7ff8000000000000 c0d0650f5a07b353 0123214569900000 = 7ff8000000000000
#16: xsnmsubasp fff0000000000000 8000000000000000 c0d0650f5a07b353 = fff0000000000000
#17: xsnmsubasp c0d0650f5a07b353 8000000000000000 0123214569900000 = c0d0650f60000000
#18: xsnmsubasp 8000000000000000 8000000000000000 c0d0650f5a07b353 = 8000000000000000
#19: xsnmsubasp 0000000000000000 8000000000000000 0123214569900000 = 0000000000000000
#20: xsnmsubasp 0123214569900000 8000000000000000 c0d0650f5a07b353 = 0000000000000000
#21: xsnmsubasp 7ff0000000000000 8000000000000000 0123214569900000 = 7ff0000000000000
#22: xsnmsubasp 7ff7ffffffffffff 8000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#23: xsnmsubasp 7ff8000000000000 8000000000000000 0123214569900000 = 7ff8000000000000
#24: xsnmsubasp fff0000000000000 0000000000000000 c0d0650f5a07b353 = fff0000000000000
#25: xsnmsubasp c0d0650f5a07b353 0000000000000000 0123214569900000 = c0d0650f60000000
#26: xsnmsubasp 8000000000000000 0000000000000000 c0d0650f5a07b353 = 8000000000000000
#27: xsnmsubasp 0000000000000000 0000000000000000 0123214569900000 = 8000000000000000
#28: xsnmsubasp 0123214569900000 0000000000000000 c0d0650f5a07b353 = 0000000000000000
#29: xsnmsubasp 7ff0000000000000 0000000000000000 0123214569900000 = 7ff0000000000000
#30: xsnmsubasp 7ff7ffffffffffff 0000000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#31: xsnmsubasp 7ff8000000000000 0000000000000000 0123214569900000 = 7ff8000000000000
#32: xsnmsubasp fff0000000000000 0123214569900000 c0d0650f5a07b353 = fff0000000000000
#33: xsnmsubasp c0d0650f5a07b353 0123214569900000 0123214569900000 = c0d0650f60000000
#34: xsnmsubasp 8000000000000000 0123214569900000 c0d0650f5a07b353 = 0000000000000000
#35: xsnmsubasp 0000000000000000 0123214569900000 0123214569900000 = 8000000000000000
#36: xsnmsubasp 404f000000000000 0123214569900000 c0d0650f5a07b353 = 404f000000000000
#37: xsnmsubasp 7ff0000000000000 0123214569900000 0123214569900000 = 7ff0000000000000
#38: xsnmsubasp 7ff7ffffffffffff 0123214569900000 c0d0650f5a07b353 = 7fffffffe0000000
#39: xsnmsubasp 7ff8000000000000 0123214569900000 0123214569900000 = 7ff8000000000000
#40: xsnmsubasp fff0000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff8000000000000
#41: xsnmsubasp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = fff0000000000000
#42: xsnmsubasp 8000000000000000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#43: xsnmsubasp 0000000000000000 7ff0000000000000 0123214569900000 = fff0000000000000
#44: xsnmsubasp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#45: xsnmsubasp 7ff0000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#46: xsnmsubasp 7ff7ffffffffffff 7ff0000000000000 c0d0650f5a07b353 = 7fffffffe0000000
#47: xsnmsubasp 7ff8000000000000 7ff0000000000000 0123214569900000 = 7ff8000000000000
#48: xsnmsubasp fff0000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#49: xsnmsubasp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#50: xsnmsubasp 8000000000000000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#51: xsnmsubasp 0000000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#52: xsnmsubasp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#53: xsnmsubasp 7ff0000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#54: xsnmsubasp 7ff7ffffffffffff fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#55: xsnmsubasp 7ff8000000000000 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#56: xsnmsubasp fff0000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#57: xsnmsubasp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#58: xsnmsubasp 8000000000000000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#59: xsnmsubasp 0000000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#60: xsnmsubasp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#61: xsnmsubasp 7ff0000000000000 fff8000000000000 0123214569900000 = fff8000000000000
#62: xsnmsubasp 7ff7ffffffffffff fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#63: xsnmsubasp 7ff8000000000000 fff8000000000000 0123214569900000 = fff8000000000000

#0: xsnmsubmsp c0d0650f5a07b353 fff0000000000000 fff0000000000000 = fff0000000000000
#1: xsnmsubmsp 0123214569900000 fff0000000000000 c0d0650f5a07b353 = 7ff0000000000000
#2: xsnmsubmsp c0d0650f5a07b353 fff0000000000000 8000000000000000 = fff0000000000000
#3: xsnmsubmsp 0123214569900000 fff0000000000000 0000000000000000 = 7ff0000000000000
#4: xsnmsubmsp c0d0650f5a07b353 fff0000000000000 0123214569900000 = fff0000000000000
#5: xsnmsubmsp 0123214569900000 fff0000000000000 7ff0000000000000 = 7ff0000000000000
#6: xsnmsubmsp c0d0650f5a07b353 fff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#7: xsnmsubmsp 0123214569900000 fff0000000000000 7ff8000000000000 = 7ff8000000000000
#8: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 fff0000000000000 = fff0000000000000
#9: xsnmsubmsp 0123214569900000 c0d0650f5a07b353 c0d0650f5a07b353 = c0d0650f60000000
#10: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 8000000000000000 = c1b0cc9d00000000
#11: xsnmsubmsp 0123214569900000 c0d0650f5a07b353 0000000000000000 = 0000000000000000
#12: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 0123214569900000 = c1b0cc9d00000000
#13: xsnmsubmsp 0123214569900000 c0d0650f5a07b353 7ff0000000000000 = 7ff0000000000000
#14: xsnmsubmsp c0d0650f5a07b353 c0d0650f5a07b353 7ff7ffffffffffff = 7fffffffe0000000
#15: xsnmsubmsp 0123214569900000 c0d0650f5a07b353 7ff8000000000000 = 7ff8000000000000
#16: xsnmsubmsp c0d0650f5a07b353 8000000000000000 fff0000000000000 = fff0000000000000
#17: xsnmsubmsp 0123214569900000 8000000000000000 c0d0650f5a07b353 = c0d0650f60000000
#18: xsnmsubmsp c0d0650f5a07b353 8000000000000000 8000000000000000 = 8000000000000000
#19: xsnmsubmsp 0123214569900000 8000000000000000 0000000000000000 = 0000000000000000
#20: xsnmsubmsp c0d0650f5a07b353 8000000000000000 0123214569900000 = 0000000000000000
#21: xsnmsubmsp 0123214569900000 8000000000000000 7ff0000000000000 = 7ff0000000000000
#22: xsnmsubmsp c0d0650f5a07b353 8000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#23: xsnmsubmsp 0123214569900000 8000000000000000 7ff8000000000000 = 7ff8000000000000
#24: xsnmsubmsp c0d0650f5a07b353 0000000000000000 fff0000000000000 = fff0000000000000
#25: xsnmsubmsp 0123214569900000 0000000000000000 c0d0650f5a07b353 = c0d0650f60000000
#26: xsnmsubmsp c0d0650f5a07b353 0000000000000000 8000000000000000 = 8000000000000000
#27: xsnmsubmsp 0123214569900000 0000000000000000 0000000000000000 = 8000000000000000
#28: xsnmsubmsp c0d0650f5a07b353 0000000000000000 0123214569900000 = 0000000000000000
#29: xsnmsubmsp 0123214569900000 0000000000000000 7ff0000000000000 = 7ff0000000000000
#30: xsnmsubmsp c0d0650f5a07b353 0000000000000000 7ff7ffffffffffff = 7fffffffe0000000
#31: xsnmsubmsp 0123214569900000 0000000000000000 7ff8000000000000 = 7ff8000000000000
#32: xsnmsubmsp c0d0650f5a07b353 0123214569900000 fff0000000000000 = fff0000000000000
#33: xsnmsubmsp 0123214569900000 0123214569900000 c0d0650f5a07b353 = c0d0650f60000000
#34: xsnmsubmsp c0d0650f5a07b353 0123214569900000 8000000000000000 = 0000000000000000
#35: xsnmsubmsp 0123214569900000 0123214569900000 0000000000000000 = 8000000000000000
#36: xsnmsubmsp c0d0650f5a07b353 0123214569900000 404f000000000000 = 404f000000000000
#37: xsnmsubmsp 0123214569900000 0123214569900000 7ff0000000000000 = 7ff0000000000000
#38: xsnmsubmsp c0d0650f5a07b353 0123214569900000 7ff7ffffffffffff = 7fffffffe0000000
#39: xsnmsubmsp 0123214569900000 0123214569900000 7ff8000000000000 = 7ff8000000000000
#40: xsnmsubmsp c0d0650f5a07b353 7ff0000000000000 fff0000000000000 = 7ff8000000000000
#41: xsnmsubmsp 0123214569900000 7ff0000000000000 c0d0650f5a07b353 = fff0000000000000
#42: xsnmsubmsp c0d0650f5a07b353 7ff0000000000000 8000000000000000 = 7ff0000000000000
#43: xsnmsubmsp 0123214569900000 7ff0000000000000 0000000000000000 = fff0000000000000
#44: xsnmsubmsp c0d0650f5a07b353 7ff0000000000000 0123214569900000 = 7ff0000000000000
#45: xsnmsubmsp 0123214569900000 7ff0000000000000 7ff0000000000000 = 7ff8000000000000
#46: xsnmsubmsp c0d0650f5a07b353 7ff0000000000000 7ff7ffffffffffff = 7fffffffe0000000
#47: xsnmsubmsp 0123214569900000 7ff0000000000000 7ff8000000000000 = 7ff8000000000000
#48: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff fff0000000000000 = ffffffffe0000000
#49: xsnmsubmsp 0123214569900000 fff7ffffffffffff c0d0650f5a07b353 = ffffffffe0000000
#50: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff 8000000000000000 = ffffffffe0000000
#51: xsnmsubmsp 0123214569900000 fff7ffffffffffff 0000000000000000 = ffffffffe0000000
#52: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff 0123214569900000 = ffffffffe0000000
#53: xsnmsubmsp 0123214569900000 fff7ffffffffffff 7ff0000000000000 = ffffffffe0000000
#54: xsnmsubmsp c0d0650f5a07b353 fff7ffffffffffff 7ff7ffffffffffff = ffffffffe0000000
#55: xsnmsubmsp 0123214569900000 fff7ffffffffffff 7ff8000000000000 = ffffffffe0000000
#56: xsnmsubmsp c0d0650f5a07b353 fff8000000000000 fff0000000000000 = fff8000000000000
#57: xsnmsubmsp 0123214569900000 fff8000000000000 c0d0650f5a07b353 = fff8000000000000
#58: xsnmsubmsp c0d0650f5a07b353 fff8000000000000 8000000000000000 = fff8000000000000
#59: xsnmsubmsp 0123214569900000 fff8000000000000 0000000000000000 = fff8000000000000
#60: xsnmsubmsp c0d0650f5a07b353 fff8000000000000 0123214569900000 = fff8000000000000
#61: xsnmsubmsp 0123214569900000 fff8000000000000 7ff0000000000000 = fff8000000000000
#62: xsnmsubmsp c0d0650f5a07b353 fff8000000000000 7ff7ffffffffffff = fff8000000000000
#63: xsnmsubmsp 0123214569900000 fff8000000000000 7ff8000000000000 = fff8000000000000


Test VSX vector and scalar single argument instructions
#0: xscvdpspn conv(3ec00000) = 3ec00000
#1: xscvdpspn conv(42780000) = 42780000
#2: xscvdpspn conv(00000000) = 00000000
#3: xscvdpspn conv(7f800000) = 7f800000
#4: xscvdpspn conv(00000000) = 00000000
#5: xscvdpspn conv(00000000) = 00000000
#6: xscvdpspn conv(80000000) = 80000000
#7: xscvdpspn conv(7f800000) = 7f800000
#8: xscvdpspn conv(ff800000) = ff800000
#9: xscvdpspn conv(7fbfffff) = 7fbfffff
#10: xscvdpspn conv(ffbfffff) = ffbfffff
#11: xscvdpspn conv(7fc00000) = 7fc00000
#12: xscvdpspn conv(ffc00000) = ffc00000
#13: xscvdpspn conv(80000000) = 80000000
#14: xscvdpspn conv(c683287b) = c683287b
#15: xscvdpspn conv(49192c2d) = 49192c2d
#16: xscvdpspn conv(49c1288d) = 49c1288d
#17: xscvdpspn conv(418977ad) = 418977ad
#18: xscvdpspn conv(428a5faf) = 428a5faf
#19: xscvdpspn conv(44bb5fcc) = 44bb5fcc

#0: xscvspdpn conv(3ec00000) = 3fd8000000000000
#1: xscvspdpn conv(42780000) = 404f000000000000
#2: xscvspdpn conv(00000000) = 0000000000000000
#3: xscvspdpn conv(7f800000) = 7ff0000000000000
#4: xscvspdpn conv(00000000) = 0000000000000000
#5: xscvspdpn conv(00000000) = 0000000000000000
#6: xscvspdpn conv(80000000) = 8000000000000000
#7: xscvspdpn conv(7f800000) = 7ff0000000000000
#8: xscvspdpn conv(ff800000) = fff0000000000000
#9: xscvspdpn conv(7fbfffff) = 7ff7ffffe0000000
#10: xscvspdpn conv(ffbfffff) = fff7ffffe0000000
#11: xscvspdpn conv(7fc00000) = 7ff8000000000000
#12: xscvspdpn conv(ffc00000) = fff8000000000000
#13: xscvspdpn conv(80000000) = 8000000000000000
#14: xscvspdpn conv(c683287b) = c0d0650f60000000
#15: xscvspdpn conv(49192c2d) = 41232585a0000000
#16: xscvspdpn conv(49c1288d) = 41382511a0000000
#17: xscvspdpn conv(418977ad) = 40312ef5a0000000
#18: xscvspdpn conv(428a5faf) = 40514bf5e0000000
#19: xscvspdpn conv(44bb5fcc) = 40976bf980000000

#0: xsresp 1/x(3fd8000000000000) ==> PASS)
#1: xsresp 1/x(404f000000000000) ==> PASS)
#2: xsresp 1/x(0018000000b77501) ==> PASS)
#3: xsresp 1/x(7fe800000000051b) ==> PASS)
#4: xsresp 1/x(0123214569900000) ==> PASS)
#5: xsresp 1/x(0000000000000000) ==> PASS)
#6: xsresp 1/x(8000000000000000) ==> PASS)
#7: xsresp 1/x(7ff0000000000000) ==> PASS)
#8: xsresp 1/x(fff0000000000000) ==> PASS)
#9: xsresp 1/x(7ff7ffffffffffff) ==> PASS)
#10: xsresp 1/x(fff7ffffffffffff) ==> PASS)
#11: xsresp 1/x(7ff8000000000000) ==> PASS)
#12: xsresp 1/x(fff8000000000000) ==> PASS)
#13: xsresp 1/x(8008340000078000) ==> PASS)
#14: xsresp 1/x(c0d0650f5a07b353) ==> PASS)
#15: xsresp 1/x(41232585a9900000) ==> PASS)
#16: xsresp 1/x(41382511a2000000) ==> PASS)
#17: xsresp 1/x(40312ef5a9300000) ==> PASS)
#18: xsresp 1/x(40514bf5d2300000) ==> PASS)
#19: xsresp 1/x(40976bf982440000) ==> PASS)

#0: xsrsp round(3fd8000000000000) = 3fd8000000000000
#1: xsrsp round(404f000000000000) = 404f000000000000
#2: xsrsp round(0018000000b77501) = 0000000000000000
#3: xsrsp round(7fe800000000051b) = 7ff0000000000000
#4: xsrsp round(0123214569900000) = 0000000000000000
#5: xsrsp round(0000000000000000) = 0000000000000000
#6: xsrsp round(8000000000000000) = 8000000000000000
#7: xsrsp round(7ff0000000000000) = 7ff0000000000000
#8: xsrsp round(fff0000000000000) = fff0000000000000
#9: xsrsp round(7ff7ffffffffffff) = 7fffffffe0000000
#10: xsrsp round(fff7ffffffffffff) = ffffffffe0000000
#11: xsrsp round(7ff8000000000000) = 7ff8000000000000
#12: xsrsp round(fff8000000000000) = fff8000000000000
#13: xsrsp round(8008340000078000) = 8000000000000000
#14: xsrsp round(c0d0650f5a07b353) = c0d0650f60000000
#15: xsrsp round(41232585a9900000) = 41232585a0000000
#16: xsrsp round(41382511a2000000) = 41382511a0000000
#17: xsrsp round(40312ef5a9300000) = 40312ef5a0000000
#18: xsrsp round(40514bf5d2300000) = 40514bf5e0000000
#19: xsrsp round(40976bf982440000) = 40976bf980000000

#0: xsrsqrtesp 1/sqrt(3fd8000000000000) ==> PASS)
#1: xsrsqrtesp 1/sqrt(404f000000000000) ==> PASS)
#2: xsrsqrtesp 1/sqrt(0018000000b77501) ==> PASS)
#3: xsrsqrtesp 1/sqrt(7fe800000000051b) ==> PASS)
#4: xsrsqrtesp 1/sqrt(0123214569900000) ==> PASS)
#5: xsrsqrtesp 1/sqrt(0000000000000000) ==> PASS)
#6: xsrsqrtesp 1/sqrt(8000000000000000) ==> PASS)
#7: xsrsqrtesp 1/sqrt(7ff0000000000000) ==> PASS)
#8: xsrsqrtesp 1/sqrt(fff0000000000000) ==> PASS)
#9: xsrsqrtesp 1/sqrt(7ff7ffffffffffff) ==> PASS)
#10: xsrsqrtesp 1/sqrt(fff7ffffffffffff) ==> PASS)
#11: xsrsqrtesp 1/sqrt(7ff8000000000000) ==> PASS)
#12: xsrsqrtesp 1/sqrt(fff8000000000000) ==> PASS)
#13: xsrsqrtesp 1/sqrt(8008340000078000) ==> PASS)
#14: xsrsqrtesp 1/sqrt(c0d0650f5a07b353) ==> PASS)
#15: xsrsqrtesp 1/sqrt(41232585a9900000) ==> PASS)
#16: xsrsqrtesp 1/sqrt(41382511a2000000) ==> PASS)
#17: xsrsqrtesp 1/sqrt(40312ef5a9300000) ==> PASS)
#18: xsrsqrtesp 1/sqrt(40514bf5d2300000) ==> PASS)
#19: xsrsqrtesp 1/sqrt(40976bf982440000) ==> PASS)

#0: xssqrtsp sqrt(3fd8000000000000) = 3fe3988e20000000
#1: xssqrtsp sqrt(404f000000000000) = 401f7efbe0000000
#2: xssqrtsp sqrt(0018000000b77501) = 0000000000000000
#3: xssqrtsp sqrt(7fe800000000051b) = 7ff0000000000000
#4: xssqrtsp sqrt(0123214569900000) = 0000000000000000
#5: xssqrtsp sqrt(0000000000000000) = 0000000000000000
#6: xssqrtsp sqrt(8000000000000000) = 8000000000000000
#7: xssqrtsp sqrt(7ff0000000000000) = 7ff0000000000000
#8: xssqrtsp sqrt(fff0000000000000) = 7ff8000000000000
#9: xssqrtsp sqrt(7ff7ffffffffffff) = 7fffffffe0000000
#10: xssqrtsp sqrt(fff7ffffffffffff) = ffffffffe0000000
#11: xssqrtsp sqrt(7ff8000000000000) = 7ff8000000000000
#12: xssqrtsp sqrt(fff8000000000000) = fff8000000000000
#13: xssqrtsp sqrt(8008340000078000) = 7ff8000000000000
#14: xssqrtsp sqrt(c0d0650f5a07b353) = 7ff8000000000000
#15: xssqrtsp sqrt(41232585a9900000) = 4088c0a920000000
#16: xssqrtsp sqrt(41382511a2000000) = 4093a7aa60000000
#17: xssqrtsp sqrt(40312ef5a9300000) = 401094c720000000
#18: xssqrtsp sqrt(40514bf5d2300000) = 4020a2bf40000000
#19: xssqrtsp sqrt(40976bf982440000) = 40435bc160000000

Test VSX logic instructions
#0:     xxleqv  (80000001 89abcdef 00112233 74556677,  80000001 89abcdef 00112233 74556677) ==> ffffffff ffffffff ffffffff ffffffff
#1:     xxlorc  (80000001 89abcdef 00112233 74556677,  80000001 89abcdef 00112233 74556677) ==> ffffffff ffffffff ffffffff ffffffff
#2:    xxlnand  (80000001 89abcdef 00112233 74556677,  80000001 89abcdef 00112233 74556677) ==> 7ffffffe 76543210 ffeeddcc 8baa9988

Test VSX scalar integer conversion instructions
#0: xscvsxdsp 80000001 => c3e0000000000000
#1: xscvsxdsp 89abcdef => c3dd950c80000000
#2: xscvsxdsp 00112233 => 4331223380000000
#3: xscvsxdsp 74556677 => 43dd1559a0000000
#4: xscvsxdsp 00001abb => 42babb89a0000000
#5: xscvsxdsp 00000001 => 41f89abce0000000
#6: xscvsxdsp 31929394 => 43c8c949c0000000
#7: xscvsxdsp a1a2a3a4 => c3d7975720000000

#0: xscvuxdsp 80000001 => 43e0000000000000
#1: xscvuxdsp 89abcdef => 43e13579c0000000
#2: xscvuxdsp 00112233 => 4331223380000000
#3: xscvuxdsp 74556677 => 43dd1559a0000000
#4: xscvuxdsp 00001abb => 42babb89a0000000
#5: xscvuxdsp 00000001 => 41f89abce0000000
#6: xscvuxdsp 31929394 => 43c8c949c0000000
#7: xscvuxdsp a1a2a3a4 => 43e4345480000000


Test VSX load/store dp to sp instructions
stxsspx: 3fd8000000000000 ==> 3ec00000
stxsspx: 7ff0000000000000 ==> 7f800000
stxsspx: 8000000000000000 ==> 80000000
stxsspx: 7ff7ffffe0000000 ==> 7fbfffff
stxsspx: fff8000000000000 ==> ffc00000
stxsspx: 41232585a0000000 ==> 49192c2d
stxsspx: 40514bf5e0000000 ==> 428a5faf


stxsiwx: 80000001 ==> 80000001
stxsiwx: 89abcdef ==> 89abcdef
stxsiwx: 00112233 ==> 00112233
stxsiwx: 74556677 ==> 74556677
stxsiwx: 00001abb ==> 00001abb
stxsiwx: 00000001 ==> 00000001
stxsiwx: 31929394 ==> 31929394
stxsiwx: a1a2a3a4 ==> a1a2a3a4


lxsiwax: 80000001 ==> ffffffff80000001
lxsiwax: 89abcdef ==> ffffffff89abcdef
lxsiwax: 00112233 ==> 0000000000112233
lxsiwax: 74556677 ==> 0000000074556677
lxsiwax: 00001abb ==> 0000000000001abb
lxsiwax: 00000001 ==> 0000000000000001
lxsiwax: 31929394 ==> 0000000031929394
lxsiwax: a1a2a3a4 ==> ffffffffa1a2a3a4


lxsiwzx: 89abcdef ==> 00000000abcdef00
lxsiwzx: 00112233 ==> 0000000011223374
lxsiwzx: 74556677 ==> 0000000055667700
lxsiwzx: 00001abb ==> 00000000001abb00
lxsiwzx: 00000001 ==> 0000000000000131
lxsiwzx: 31929394 ==> 00000000929394a1
lxsiwzx: a1a2a3a4 ==> 00000000a2a3a410
lxsiwzx: 10000b08 ==> 00000000000b0810


lxsspx: 3ec00000 ==> 3fd8000000000000
lxsspx: 7f800000 ==> 7ff0000000000000
lxsspx: 80000000 ==> 8000000000000000
lxsspx: 7fbfffff ==> 7ff7ffffe0000000
lxsspx: ffc00000 ==> fff8000000000000
lxsspx: 49192c2d ==> 41232585a0000000
lxsspx: 428a5faf ==> 40514bf5e0000000


Test VSX vector and scalar two argument instructions
#0: xssubsp fff0000000000000,fff0000000000000 => 7ff8000000000000
#1: xssubsp fff0000000000000,c0d0650f5a07b353 => fff0000000000000
#2: xssubsp fff0000000000000,8000000000000000 => fff0000000000000
#3: xssubsp fff0000000000000,0000000000000000 => fff0000000000000
#4: xssubsp fff0000000000000,0123214569900000 => fff0000000000000
#5: xssubsp fff0000000000000,7ff0000000000000 => fff0000000000000
#6: xssubsp fff0000000000000,7ff7ffffffffffff => 7fffffffe0000000
#7: xssubsp fff0000000000000,7ff8000000000000 => 7ff8000000000000
#8: xssubsp c0d0650f5a07b353,fff0000000000000 => 7ff0000000000000
#9: xssubsp c0d0650f5a07b353,c0d0650f5a07b353 => 0000000000000000
#10: xssubsp c0d0650f5a07b353,8000000000000000 => c0d0650f60000000
#11: xssubsp c0d0650f5a07b353,0000000000000000 => c0d0650f60000000
#12: xssubsp c0d0650f5a07b353,0123214569900000 => c0d0650f60000000
#13: xssubsp c0d0650f5a07b353,7ff0000000000000 => fff0000000000000
#14: xssubsp c0d0650f5a07b353,7ff7ffffffffffff => 7fffffffe0000000
#15: xssubsp c0d0650f5a07b353,7ff8000000000000 => 7ff8000000000000
#16: xssubsp 8000000000000000,fff0000000000000 => 7ff0000000000000
#17: xssubsp 8000000000000000,c0d0650f5a07b353 => 40d0650f60000000
#18: xssubsp 8000000000000000,8000000000000000 => 0000000000000000
#19: xssubsp 8000000000000000,0000000000000000 => 8000000000000000
#20: xssubsp 8000000000000000,0123214569900000 => 8000000000000000
#21: xssubsp 8000000000000000,7ff0000000000000 => fff0000000000000
#22: xssubsp 8000000000000000,7ff7ffffffffffff => 7fffffffe0000000
#23: xssubsp 8000000000000000,7ff8000000000000 => 7ff8000000000000
#24: xssubsp 0000000000000000,fff0000000000000 => 7ff0000000000000
#25: xssubsp 0000000000000000,c0d0650f5a07b353 => 40d0650f60000000
#26: xssubsp 0000000000000000,8000000000000000 => 0000000000000000
#27: xssubsp 0000000000000000,0000000000000000 => 0000000000000000
#28: xssubsp 0000000000000000,0123214569900000 => 8000000000000000
#29: xssubsp 0000000000000000,7ff0000000000000 => fff0000000000000
#30: xssubsp 0000000000000000,7ff7ffffffffffff => 7fffffffe0000000
#31: xssubsp 0000000000000000,7ff8000000000000 => 7ff8000000000000
#32: xssubsp 0123214569900000,fff0000000000000 => 7ff0000000000000
#33: xssubsp 0123214569900000,c0d0650f5a07b353 => 40d0650f60000000
#34: xssubsp 0123214569900000,8000000000000000 => 0000000000000000
#35: xssubsp 0123214569900000,0000000000000000 => 0000000000000000
#36: xssubsp 0123214569900000,404f000000000000 => c04f000000000000
#37: xssubsp 0123214569900000,7ff0000000000000 => fff0000000000000
#38: xssubsp 0123214569900000,7ff7ffffffffffff => 7fffffffe0000000
#39: xssubsp 0123214569900000,7ff8000000000000 => 7ff8000000000000
#40: xssubsp 7ff0000000000000,fff0000000000000 => 7ff0000000000000
#41: xssubsp 7ff0000000000000,c0d0650f5a07b353 => 7ff0000000000000
#42: xssubsp 7ff0000000000000,8000000000000000 => 7ff0000000000000
#43: xssubsp 7ff0000000000000,0000000000000000 => 7ff0000000000000
#44: xssubsp 7ff0000000000000,0123214569900000 => 7ff0000000000000
#45: xssubsp 7ff0000000000000,7ff0000000000000 => 7ff8000000000000
#46: xssubsp 7ff0000000000000,7ff7ffffffffffff => 7fffffffe0000000
#47: xssubsp 7ff0000000000000,7ff8000000000000 => 7ff8000000000000
#48: xssubsp fff7ffffffffffff,fff0000000000000 => ffffffffe0000000
#49: xssubsp fff7ffffffffffff,c0d0650f5a07b353 => ffffffffe0000000
#50: xssubsp fff7ffffffffffff,8000000000000000 => ffffffffe0000000
#51: xssubsp fff7ffffffffffff,0000000000000000 => ffffffffe0000000
#52: xssubsp fff7ffffffffffff,0123214569900000 => ffffffffe0000000
#53: xssubsp fff7ffffffffffff,7ff0000000000000 => ffffffffe0000000
#54: xssubsp fff7ffffffffffff,7ff7ffffffffffff => ffffffffe0000000
#55: xssubsp fff7ffffffffffff,7ff8000000000000 => ffffffffe0000000
#56: xssubsp fff8000000000000,fff0000000000000 => fff8000000000000
#57: xssubsp fff8000000000000,c0d0650f5a07b353 => fff8000000000000
#58: xssubsp fff8000000000000,8000000000000000 => fff8000000000000
#59: xssubsp fff8000000000000,0000000000000000 => fff8000000000000
#60: xssubsp fff8000000000000,0123214569900000 => fff8000000000000
#61: xssubsp fff8000000000000,7ff0000000000000 => fff8000000000000
#62: xssubsp fff8000000000000,7ff7ffffffffffff => fff8000000000000
#63: xssubsp fff8000000000000,7ff8000000000000 => fff8000000000000

#0: xsaddsp fff0000000000000,fff0000000000000 => fff0000000000000
#1: xsaddsp fff0000000000000,c0d0650f5a07b353 => fff0000000000000
#2: xsaddsp fff0000000000000,8000000000000000 => fff0000000000000
#3: xsaddsp fff0000000000000,0000000000000000 => fff0000000000000
#4: xsaddsp fff0000000000000,0123214569900000 => fff0000000000000
#5: xsaddsp fff0000000000000,7ff0000000000000 => 7ff8000000000000
#6: xsaddsp fff0000000000000,7ff7ffffffffffff => 7fffffffe0000000
#7: xsaddsp fff0000000000000,7ff8000000000000 => 7ff8000000000000
#8: xsaddsp c0d0650f5a07b353,fff0000000000000 => fff0000000000000
#9: xsaddsp c0d0650f5a07b353,c0d0650f5a07b353 => c0e0650f60000000
#10: xsaddsp c0d0650f5a07b353,8000000000000000 => c0d0650f60000000
#11: xsaddsp c0d0650f5a07b353,0000000000000000 => c0d0650f60000000
#12: xsaddsp c0d0650f5a07b353,0123214569900000 => c0d0650f60000000
#13: xsaddsp c0d0650f5a07b353,7ff0000000000000 => 7ff0000000000000
#14: xsaddsp c0d0650f5a07b353,7ff7ffffffffffff => 7fffffffe0000000
#15: xsaddsp c0d0650f5a07b353,7ff8000000000000 => 7ff8000000000000
#16: xsaddsp 8000000000000000,fff0000000000000 => fff0000000000000
#17: xsaddsp 8000000000000000,c0d0650f5a07b353 => c0d0650f60000000
#18: xsaddsp 8000000000000000,8000000000000000 => 8000000000000000
#19: xsaddsp 8000000000000000,0000000000000000 => 0000000000000000
#20: xsaddsp 8000000000000000,0123214569900000 => 0000000000000000
#21: xsaddsp 8000000000000000,7ff0000000000000 => 7ff0000000000000
#22: xsaddsp 8000000000000000,7ff7ffffffffffff => 7fffffffe0000000
#23: xsaddsp 8000000000000000,7ff8000000000000 => 7ff8000000000000
#24: xsaddsp 0000000000000000,fff0000000000000 => fff0000000000000
#25: xsaddsp 0000000000000000,c0d0650f5a07b353 => c0d0650f60000000
#26: xsaddsp 0000000000000000,8000000000000000 => 0000000000000000
#27: xsaddsp 0000000000000000,0000000000000000 => 0000000000000000
#28: xsaddsp 0000000000000000,0123214569900000 => 0000000000000000
#29: xsaddsp 0000000000000000,7ff0000000000000 => 7ff0000000000000
#30: xsaddsp 0000000000000000,7ff7ffffffffffff => 7fffffffe0000000
#31: xsaddsp 0000000000000000,7ff8000000000000 => 7ff8000000000000
#32: xsaddsp 0123214569900000,fff0000000000000 => fff0000000000000
#33: xsaddsp 0123214569900000,c0d0650f5a07b353 => c0d0650f60000000
#34: xsaddsp 0123214569900000,8000000000000000 => 0000000000000000
#35: xsaddsp 0123214569900000,0000000000000000 => 0000000000000000
#36: xsaddsp 0123214569900000,404f000000000000 => 404f000000000000
#37: xsaddsp 0123214569900000,7ff0000000000000 => 7ff0000000000000
#38: xsaddsp 0123214569900000,7ff7ffffffffffff => 7fffffffe0000000
#39: xsaddsp 0123214569900000,7ff8000000000000 => 7ff8000000000000
#40: xsaddsp 7ff0000000000000,fff0000000000000 => 7ff8000000000000
#41: xsaddsp 7ff0000000000000,c0d0650f5a07b353 => 7ff0000000000000
#42: xsaddsp 7ff0000000000000,8000000000000000 => 7ff0000000000000
#43: xsaddsp 7ff0000000000000,0000000000000000 => 7ff0000000000000
#44: xsaddsp 7ff0000000000000,0123214569900000 => 7ff0000000000000
#45: xsaddsp 7ff0000000000000,7ff0000000000000 => 7ff0000000000000
#46: xsaddsp 7ff0000000000000,7ff7ffffffffffff => 7fffffffe0000000
#47: xsaddsp 7ff0000000000000,7ff8000000000000 => 7ff8000000000000
#48: xsaddsp fff7ffffffffffff,fff0000000000000 => ffffffffe0000000
#49: xsaddsp fff7ffffffffffff,c0d0650f5a07b353 => ffffffffe0000000
#50: xsaddsp fff7ffffffffffff,8000000000000000 => ffffffffe0000000
#51: xsaddsp fff7ffffffffffff,0000000000000000 => ffffffffe0000000
#52: xsaddsp fff7ffffffffffff,0123214569900000 => ffffffffe0000000
#53: xsaddsp fff7ffffffffffff,7ff0000000000000 => ffffffffe0000000
#54: xsaddsp fff7ffffffffffff,7ff7ffffffffffff => ffffffffe0000000
#55: xsaddsp fff7ffffffffffff,7ff8000000000000 => ffffffffe0000000
#56: xsaddsp fff8000000000000,fff0000000000000 => fff8000000000000
#57: xsaddsp fff8000000000000,c0d0650f5a07b353 => fff8000000000000
#58: xsaddsp fff8000000000000,8000000000000000 => fff8000000000000
#59: xsaddsp fff8000000000000,0000000000000000 => fff8000000000000
#60: xsaddsp fff8000000000000,0123214569900000 => fff8000000000000
#61: xsaddsp fff8000000000000,7ff0000000000000 => fff8000000000000
#62: xsaddsp fff8000000000000,7ff7ffffffffffff => fff8000000000000
#63: xsaddsp fff8000000000000,7ff8000000000000 => fff8000000000000