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