|
From: <sv...@va...> - 2013-10-03 21:43:26
|
Author: carll
Date: Thu Oct 3 21:43:10 2013
New Revision: 13611
Log:
Phase 4 support for IBM Power ISA 2.07
This patch adds testcases for the following instructions added
in phase 4. The instructions are for doing various arithmetic,
logic, and load/store VSX operations:
xscvsxdsp xscvuxdsp xsaddsp xssubsp xsdivsp xsmaddasp xsmaddmsp
xsmsubasp xsmsubmsp xsnmaddasp xsnmaddmsp xsnmsubasp xsnmsubmsp
xsmulsp xssqrtsp xsresp xsrsqrtesp xsrsp xxlorc xxlnand xxleqv
lxsiwzx lxsiwax lxsspx stxsiwx stxsspx
Signed-off-by: Maynard Johnson <may...@us...>
VEX commit for the instruction support r2781
Bugzilla 325477
Modified:
trunk/none/tests/ppc32/test_isa_2_07_part2.stdout.exp
trunk/none/tests/ppc64/test_isa_2_07_part2.c
trunk/none/tests/ppc64/test_isa_2_07_part2.stdout.exp
Modified: trunk/none/tests/ppc32/test_isa_2_07_part2.stdout.exp
==============================================================================
--- trunk/none/tests/ppc32/test_isa_2_07_part2.stdout.exp (original)
+++ trunk/none/tests/ppc32/test_isa_2_07_part2.stdout.exp Thu Oct 3 21:43:10 2013
@@ -1,24 +1,676 @@
+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(3fd8000000000000) = 3ec0000000000000
-#1: xscvdpspn conv(404f000000000000) = 4278000000000000
-#2: xscvdpspn conv(0018000000b77501) = 0000000000000000
-#3: xscvdpspn conv(7fe800000000051b) = 7f40000000000000
-#4: xscvdpspn conv(0123214569900000) = 0000000000000000
-#5: xscvdpspn conv(0000000000000000) = 0000000000000000
-#6: xscvdpspn conv(8000000000000000) = 8000000000000000
-#7: xscvdpspn conv(7ff0000000000000) = 7f80000000000000
-#8: xscvdpspn conv(fff0000000000000) = ff80000000000000
-#9: xscvdpspn conv(7ff7ffffffffffff) = 7fbfffff00000000
-#10: xscvdpspn conv(fff7ffffffffffff) = ffbfffff00000000
-#11: xscvdpspn conv(7ff8000000000000) = 7fc0000000000000
-#12: xscvdpspn conv(fff8000000000000) = ffc0000000000000
-#13: xscvdpspn conv(8008340000078000) = 8000000000000000
-#14: xscvdpspn conv(c0d0650f5a07b353) = c683287a00000000
-#15: xscvdpspn conv(41232585a9900000) = 49192c2d00000000
-#16: xscvdpspn conv(41382511a2000000) = 49c1288d00000000
-#17: xscvdpspn conv(40312ef5a9300000) = 418977ad00000000
-#18: xscvdpspn conv(40514bf5d2300000) = 428a5fae00000000
-#19: xscvdpspn conv(40976bf982440000) = 44bb5fcc00000000
+#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
@@ -41,4 +693,292 @@
#18: xscvspdpn conv(428a5faf) = 40514bf5e0000000
#19: xscvspdpn conv(44bb5fcc) = 40976bf980000000
-Testcase PASSED
+#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 7455667...
[truncated message content] |