| 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) = 3ec00000 |
| #1: xscvdpspn conv(404f000000000000) = 42780000 |
| #2: xscvdpspn conv(0018000000b77501) = 00000000 |
| #3: xscvdpspn conv(7fe800000000051b) = 7f800000 |
| #4: xscvdpspn conv(0123214569900000) = 00000000 |
| #5: xscvdpspn conv(0000000000000000) = 00000000 |
| #6: xscvdpspn conv(8000000000000000) = 80000000 |
| #7: xscvdpspn conv(7ff0000000000000) = 7f800000 |
| #8: xscvdpspn conv(fff0000000000000) = ff800000 |
| #9: xscvdpspn conv(7ff7ffffffffffff) = 7fbfffff |
| #10: xscvdpspn conv(fff7ffffffffffff) = ffbfffff |
| #11: xscvdpspn conv(7ff8000000000000) = 7fc00000 |
| #12: xscvdpspn conv(fff8000000000000) = ffc00000 |
| #13: xscvdpspn conv(8008340000078000) = 80000000 |
| #14: xscvdpspn conv(c0d0650f5a07b353) = c683287b |
| #15: xscvdpspn conv(41232585a9900000) = 49192c2d |
| #16: xscvdpspn conv(41382511a2000000) = 49c1288d |
| #17: xscvdpspn conv(40312ef5a9300000) = 418977ad |
| #18: xscvdpspn conv(40514bf5d2300000) = 428a5faf |
| #19: xscvdpspn conv(40976bf982440000) = 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 0102030405060708 => 4370203040000000 |
| #1: xscvsxdsp 090a0b0c0e0d0e0f => 43a2141620000000 |
| #2: xscvsxdsp f1f2f3f4f5f6f7f8 => c3ac1a1820000000 |
| #3: xscvsxdsp f9fafbfcfefdfeff => c398141000000000 |
| |
| #0: xscvuxdsp 0102030405060708 => 4370203040000000 |
| #1: xscvuxdsp 090a0b0c0e0d0e0f => 43a2141620000000 |
| #2: xscvuxdsp f1f2f3f4f5f6f7f8 => 43ee3e5e80000000 |
| #3: xscvuxdsp f9fafbfcfefdfeff => 43ef3f5f80000000 |
| |
| |
| 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: 3ec00000 ==> 3ec00000 |
| stxsiwx: 7f800000 ==> 7f800000 |
| stxsiwx: 80000000 ==> 80000000 |
| stxsiwx: 7fbfffff ==> 7fbfffff |
| stxsiwx: ffc00000 ==> ffc00000 |
| stxsiwx: 49192c2d ==> 49192c2d |
| stxsiwx: 428a5faf ==> 428a5faf |
| |
| |
| 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 ==> 0000000089abcdef |
| lxsiwzx: 00112233 ==> 0000000000112233 |
| lxsiwzx: 74556677 ==> 0000000074556677 |
| lxsiwzx: 00001abb ==> 0000000000001abb |
| lxsiwzx: 00000001 ==> 0000000000000001 |
| lxsiwzx: 31929394 ==> 0000000031929394 |
| lxsiwzx: a1a2a3a4 ==> 00000000a1a2a3a4 |
| |
| |
| 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 |
| |