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
