Tristan Matthews | 0461646 | 2013-11-14 16:09:34 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Stack-less Just-In-Time compiler |
| 3 | * |
| 4 | * Copyright 2009-2010 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved. |
| 5 | * |
| 6 | * Redistribution and use in source and binary forms, with or without modification, are |
| 7 | * permitted provided that the following conditions are met: |
| 8 | * |
| 9 | * 1. Redistributions of source code must retain the above copyright notice, this list of |
| 10 | * conditions and the following disclaimer. |
| 11 | * |
| 12 | * 2. Redistributions in binary form must reproduce the above copyright notice, this list |
| 13 | * of conditions and the following disclaimer in the documentation and/or other materials |
| 14 | * provided with the distribution. |
| 15 | * |
| 16 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY |
| 17 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
| 18 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT |
| 19 | * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, |
| 20 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED |
| 21 | * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR |
| 22 | * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| 23 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN |
| 24 | * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 25 | */ |
| 26 | |
| 27 | /* mips 32-bit arch dependent functions. */ |
| 28 | |
| 29 | static int load_immediate(struct sljit_compiler *compiler, int dst_ar, sljit_w imm) |
| 30 | { |
| 31 | if (!(imm & ~0xffff)) |
| 32 | return push_inst(compiler, ORI | SA(0) | TA(dst_ar) | IMM(imm), dst_ar); |
| 33 | |
| 34 | if (imm < 0 && imm >= SIMM_MIN) |
| 35 | return push_inst(compiler, ADDIU | SA(0) | TA(dst_ar) | IMM(imm), dst_ar); |
| 36 | |
| 37 | FAIL_IF(push_inst(compiler, LUI | TA(dst_ar) | IMM(imm >> 16), dst_ar)); |
| 38 | return (imm & 0xffff) ? push_inst(compiler, ORI | SA(dst_ar) | TA(dst_ar) | IMM(imm), dst_ar) : SLJIT_SUCCESS; |
| 39 | } |
| 40 | |
| 41 | #define EMIT_LOGICAL(op_imm, op_norm) \ |
| 42 | if (flags & SRC2_IMM) { \ |
| 43 | if (op & SLJIT_SET_E) \ |
| 44 | FAIL_IF(push_inst(compiler, op_imm | S(src1) | TA(EQUAL_FLAG) | IMM(src2), EQUAL_FLAG)); \ |
| 45 | if (CHECK_FLAGS(SLJIT_SET_E)) \ |
| 46 | FAIL_IF(push_inst(compiler, op_imm | S(src1) | T(dst) | IMM(src2), DR(dst))); \ |
| 47 | } \ |
| 48 | else { \ |
| 49 | if (op & SLJIT_SET_E) \ |
| 50 | FAIL_IF(push_inst(compiler, op_norm | S(src1) | T(src2) | DA(EQUAL_FLAG), EQUAL_FLAG)); \ |
| 51 | if (CHECK_FLAGS(SLJIT_SET_E)) \ |
| 52 | FAIL_IF(push_inst(compiler, op_norm | S(src1) | T(src2) | D(dst), DR(dst))); \ |
| 53 | } |
| 54 | |
| 55 | #define EMIT_SHIFT(op_imm, op_norm) \ |
| 56 | if (flags & SRC2_IMM) { \ |
| 57 | if (op & SLJIT_SET_E) \ |
| 58 | FAIL_IF(push_inst(compiler, op_imm | T(src1) | DA(EQUAL_FLAG) | SH_IMM(src2), EQUAL_FLAG)); \ |
| 59 | if (CHECK_FLAGS(SLJIT_SET_E)) \ |
| 60 | FAIL_IF(push_inst(compiler, op_imm | T(src1) | D(dst) | SH_IMM(src2), DR(dst))); \ |
| 61 | } \ |
| 62 | else { \ |
| 63 | if (op & SLJIT_SET_E) \ |
| 64 | FAIL_IF(push_inst(compiler, op_norm | S(src2) | T(src1) | DA(EQUAL_FLAG), EQUAL_FLAG)); \ |
| 65 | if (CHECK_FLAGS(SLJIT_SET_E)) \ |
| 66 | FAIL_IF(push_inst(compiler, op_norm | S(src2) | T(src1) | D(dst), DR(dst))); \ |
| 67 | } |
| 68 | |
| 69 | static SLJIT_INLINE int emit_single_op(struct sljit_compiler *compiler, int op, int flags, |
| 70 | int dst, int src1, sljit_w src2) |
| 71 | { |
| 72 | int overflow_ra = 0; |
| 73 | |
| 74 | switch (GET_OPCODE(op)) { |
| 75 | case SLJIT_ADD: |
| 76 | if (flags & SRC2_IMM) { |
| 77 | if (op & SLJIT_SET_O) { |
| 78 | FAIL_IF(push_inst(compiler, SRL | T(src1) | DA(TMP_EREG1) | SH_IMM(31), TMP_EREG1)); |
| 79 | if (src2 < 0) |
| 80 | FAIL_IF(push_inst(compiler, XORI | SA(TMP_EREG1) | TA(TMP_EREG1) | IMM(1), TMP_EREG1)); |
| 81 | } |
| 82 | if (op & SLJIT_SET_E) |
| 83 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | TA(EQUAL_FLAG) | IMM(src2), EQUAL_FLAG)); |
| 84 | if (op & SLJIT_SET_C) { |
| 85 | if (src2 >= 0) |
| 86 | FAIL_IF(push_inst(compiler, ORI | S(src1) | TA(ULESS_FLAG) | IMM(src2), ULESS_FLAG)); |
| 87 | else { |
| 88 | FAIL_IF(push_inst(compiler, ADDIU | SA(0) | TA(ULESS_FLAG) | IMM(src2), ULESS_FLAG)); |
| 89 | FAIL_IF(push_inst(compiler, OR | S(src1) | TA(ULESS_FLAG) | DA(ULESS_FLAG), ULESS_FLAG)); |
| 90 | } |
| 91 | } |
| 92 | /* dst may be the same as src1 or src2. */ |
| 93 | if (CHECK_FLAGS(SLJIT_SET_E)) |
| 94 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | T(dst) | IMM(src2), DR(dst))); |
| 95 | if (op & SLJIT_SET_O) { |
| 96 | FAIL_IF(push_inst(compiler, SRL | T(dst) | DA(OVERFLOW_FLAG) | SH_IMM(31), OVERFLOW_FLAG)); |
| 97 | if (src2 < 0) |
| 98 | FAIL_IF(push_inst(compiler, XORI | SA(OVERFLOW_FLAG) | TA(OVERFLOW_FLAG) | IMM(1), OVERFLOW_FLAG)); |
| 99 | } |
| 100 | } |
| 101 | else { |
| 102 | if (op & SLJIT_SET_O) { |
| 103 | FAIL_IF(push_inst(compiler, XOR | S(src1) | T(src2) | DA(TMP_EREG1), TMP_EREG1)); |
| 104 | FAIL_IF(push_inst(compiler, SRL | TA(TMP_EREG1) | DA(TMP_EREG1) | SH_IMM(31), TMP_EREG1)); |
| 105 | if (src1 != dst) |
| 106 | overflow_ra = DR(src1); |
| 107 | else if (src2 != dst) |
| 108 | overflow_ra = DR(src2); |
| 109 | else { |
| 110 | /* Rare ocasion. */ |
| 111 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | TA(0) | DA(TMP_EREG2), TMP_EREG2)); |
| 112 | overflow_ra = TMP_EREG2; |
| 113 | } |
| 114 | } |
| 115 | if (op & SLJIT_SET_E) |
| 116 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | T(src2) | DA(EQUAL_FLAG), EQUAL_FLAG)); |
| 117 | if (op & SLJIT_SET_C) |
| 118 | FAIL_IF(push_inst(compiler, OR | S(src1) | T(src2) | DA(ULESS_FLAG), ULESS_FLAG)); |
| 119 | /* dst may be the same as src1 or src2. */ |
| 120 | if (CHECK_FLAGS(SLJIT_SET_E)) |
| 121 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | T(src2) | D(dst), DR(dst))); |
| 122 | if (op & SLJIT_SET_O) { |
| 123 | FAIL_IF(push_inst(compiler, XOR | S(dst) | TA(overflow_ra) | DA(OVERFLOW_FLAG), OVERFLOW_FLAG)); |
| 124 | FAIL_IF(push_inst(compiler, SRL | TA(OVERFLOW_FLAG) | DA(OVERFLOW_FLAG) | SH_IMM(31), OVERFLOW_FLAG)); |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | /* a + b >= a | b (otherwise, the carry should be set to 1). */ |
| 129 | if (op & SLJIT_SET_C) |
| 130 | FAIL_IF(push_inst(compiler, SLTU | S(dst) | TA(ULESS_FLAG) | DA(ULESS_FLAG), ULESS_FLAG)); |
| 131 | if (op & SLJIT_SET_O) |
| 132 | return push_inst(compiler, MOVN | SA(0) | TA(TMP_EREG1) | DA(OVERFLOW_FLAG), OVERFLOW_FLAG); |
| 133 | return SLJIT_SUCCESS; |
| 134 | |
| 135 | case SLJIT_ADDC: |
| 136 | if (flags & SRC2_IMM) { |
| 137 | if (op & SLJIT_SET_C) { |
| 138 | if (src2 >= 0) |
| 139 | FAIL_IF(push_inst(compiler, ORI | S(src1) | TA(TMP_EREG1) | IMM(src2), TMP_EREG1)); |
| 140 | else { |
| 141 | FAIL_IF(push_inst(compiler, ADDIU | SA(0) | TA(TMP_EREG1) | IMM(src2), TMP_EREG1)); |
| 142 | FAIL_IF(push_inst(compiler, OR | S(src1) | TA(TMP_EREG1) | DA(TMP_EREG1), TMP_EREG1)); |
| 143 | } |
| 144 | } |
| 145 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | T(dst) | IMM(src2), DR(dst))); |
| 146 | } else { |
| 147 | if (op & SLJIT_SET_C) |
| 148 | FAIL_IF(push_inst(compiler, OR | S(src1) | T(src2) | DA(TMP_EREG1), TMP_EREG1)); |
| 149 | /* dst may be the same as src1 or src2. */ |
| 150 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | T(src2) | D(dst), DR(dst))); |
| 151 | } |
| 152 | if (op & SLJIT_SET_C) |
| 153 | FAIL_IF(push_inst(compiler, SLTU | S(dst) | TA(TMP_EREG1) | DA(TMP_EREG1), TMP_EREG1)); |
| 154 | |
| 155 | FAIL_IF(push_inst(compiler, ADDU | S(dst) | TA(ULESS_FLAG) | D(dst), DR(dst))); |
| 156 | if (!(op & SLJIT_SET_C)) |
| 157 | return SLJIT_SUCCESS; |
| 158 | |
| 159 | /* Set TMP_EREG2 (dst == 0) && (ULESS_FLAG == 1). */ |
| 160 | FAIL_IF(push_inst(compiler, SLTIU | S(dst) | TA(TMP_EREG2) | IMM(1), TMP_EREG2)); |
| 161 | FAIL_IF(push_inst(compiler, AND | SA(TMP_EREG2) | TA(ULESS_FLAG) | DA(TMP_EREG2), TMP_EREG2)); |
| 162 | /* Set carry flag. */ |
| 163 | return push_inst(compiler, OR | SA(TMP_EREG2) | TA(TMP_EREG1) | DA(ULESS_FLAG), ULESS_FLAG); |
| 164 | |
| 165 | case SLJIT_SUB: |
| 166 | if ((flags & SRC2_IMM) && ((op & (SLJIT_SET_S | SLJIT_SET_U)) || src2 == SIMM_MIN)) { |
| 167 | FAIL_IF(push_inst(compiler, ADDIU | SA(0) | T(TMP_REG2) | IMM(src2), DR(TMP_REG2))); |
| 168 | src2 = TMP_REG2; |
| 169 | flags &= ~SRC2_IMM; |
| 170 | } |
| 171 | |
| 172 | if (flags & SRC2_IMM) { |
| 173 | if (op & SLJIT_SET_O) { |
| 174 | FAIL_IF(push_inst(compiler, SRL | T(src1) | DA(TMP_EREG1) | SH_IMM(31), TMP_EREG1)); |
| 175 | if (src2 < 0) |
| 176 | FAIL_IF(push_inst(compiler, XORI | SA(TMP_EREG1) | TA(TMP_EREG1) | IMM(1), TMP_EREG1)); |
| 177 | if (src1 != dst) |
| 178 | overflow_ra = DR(src1); |
| 179 | else { |
| 180 | /* Rare ocasion. */ |
| 181 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | TA(0) | DA(TMP_EREG2), TMP_EREG2)); |
| 182 | overflow_ra = TMP_EREG2; |
| 183 | } |
| 184 | } |
| 185 | if (op & SLJIT_SET_E) |
| 186 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | TA(EQUAL_FLAG) | IMM(-src2), EQUAL_FLAG)); |
| 187 | if (op & SLJIT_SET_C) |
| 188 | FAIL_IF(push_inst(compiler, SLTIU | S(src1) | TA(ULESS_FLAG) | IMM(src2), ULESS_FLAG)); |
| 189 | /* dst may be the same as src1 or src2. */ |
| 190 | if (CHECK_FLAGS(SLJIT_SET_E)) |
| 191 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | T(dst) | IMM(-src2), DR(dst))); |
| 192 | } |
| 193 | else { |
| 194 | if (op & SLJIT_SET_O) { |
| 195 | FAIL_IF(push_inst(compiler, XOR | S(src1) | T(src2) | DA(TMP_EREG1), TMP_EREG1)); |
| 196 | FAIL_IF(push_inst(compiler, SRL | TA(TMP_EREG1) | DA(TMP_EREG1) | SH_IMM(31), TMP_EREG1)); |
| 197 | if (src1 != dst) |
| 198 | overflow_ra = DR(src1); |
| 199 | else { |
| 200 | /* Rare ocasion. */ |
| 201 | FAIL_IF(push_inst(compiler, ADDU | S(src1) | TA(0) | DA(TMP_EREG2), TMP_EREG2)); |
| 202 | overflow_ra = TMP_EREG2; |
| 203 | } |
| 204 | } |
| 205 | if (op & SLJIT_SET_E) |
| 206 | FAIL_IF(push_inst(compiler, SUBU | S(src1) | T(src2) | DA(EQUAL_FLAG), EQUAL_FLAG)); |
| 207 | if (op & (SLJIT_SET_U | SLJIT_SET_C)) |
| 208 | FAIL_IF(push_inst(compiler, SLTU | S(src1) | T(src2) | DA(ULESS_FLAG), ULESS_FLAG)); |
| 209 | if (op & SLJIT_SET_U) |
| 210 | FAIL_IF(push_inst(compiler, SLTU | S(src2) | T(src1) | DA(UGREATER_FLAG), UGREATER_FLAG)); |
| 211 | if (op & SLJIT_SET_S) { |
| 212 | FAIL_IF(push_inst(compiler, SLT | S(src1) | T(src2) | DA(LESS_FLAG), LESS_FLAG)); |
| 213 | FAIL_IF(push_inst(compiler, SLT | S(src2) | T(src1) | DA(GREATER_FLAG), GREATER_FLAG)); |
| 214 | } |
| 215 | /* dst may be the same as src1 or src2. */ |
| 216 | if (CHECK_FLAGS(SLJIT_SET_E | SLJIT_SET_S | SLJIT_SET_U | SLJIT_SET_C)) |
| 217 | FAIL_IF(push_inst(compiler, SUBU | S(src1) | T(src2) | D(dst), DR(dst))); |
| 218 | } |
| 219 | |
| 220 | if (op & SLJIT_SET_O) { |
| 221 | FAIL_IF(push_inst(compiler, XOR | S(dst) | TA(overflow_ra) | DA(OVERFLOW_FLAG), OVERFLOW_FLAG)); |
| 222 | FAIL_IF(push_inst(compiler, SRL | TA(OVERFLOW_FLAG) | DA(OVERFLOW_FLAG) | SH_IMM(31), OVERFLOW_FLAG)); |
| 223 | return push_inst(compiler, MOVZ | SA(0) | TA(TMP_EREG1) | DA(OVERFLOW_FLAG), OVERFLOW_FLAG); |
| 224 | } |
| 225 | return SLJIT_SUCCESS; |
| 226 | |
| 227 | case SLJIT_SUBC: |
| 228 | if ((flags & SRC2_IMM) && src2 == SIMM_MIN) { |
| 229 | FAIL_IF(push_inst(compiler, ADDIU | SA(0) | T(TMP_REG2) | IMM(src2), DR(TMP_REG2))); |
| 230 | src2 = TMP_REG2; |
| 231 | flags &= ~SRC2_IMM; |
| 232 | } |
| 233 | |
| 234 | if (flags & SRC2_IMM) { |
| 235 | if (op & SLJIT_SET_C) |
| 236 | FAIL_IF(push_inst(compiler, SLTIU | S(src1) | TA(TMP_EREG1) | IMM(-src2), TMP_EREG1)); |
| 237 | /* dst may be the same as src1 or src2. */ |
| 238 | FAIL_IF(push_inst(compiler, ADDIU | S(src1) | T(dst) | IMM(-src2), DR(dst))); |
| 239 | } |
| 240 | else { |
| 241 | if (op & SLJIT_SET_C) |
| 242 | FAIL_IF(push_inst(compiler, SLTU | S(src1) | T(src2) | DA(TMP_EREG1), TMP_EREG1)); |
| 243 | /* dst may be the same as src1 or src2. */ |
| 244 | FAIL_IF(push_inst(compiler, SUBU | S(src1) | T(src2) | D(dst), DR(dst))); |
| 245 | } |
| 246 | |
| 247 | if (op & SLJIT_SET_C) |
| 248 | FAIL_IF(push_inst(compiler, MOVZ | SA(ULESS_FLAG) | T(dst) | DA(TMP_EREG1), TMP_EREG1)); |
| 249 | |
| 250 | FAIL_IF(push_inst(compiler, SUBU | S(dst) | TA(ULESS_FLAG) | D(dst), DR(dst))); |
| 251 | |
| 252 | if (op & SLJIT_SET_C) |
| 253 | FAIL_IF(push_inst(compiler, ADDU | SA(TMP_EREG1) | TA(0) | DA(ULESS_FLAG), ULESS_FLAG)); |
| 254 | |
| 255 | return SLJIT_SUCCESS; |
| 256 | |
| 257 | case SLJIT_MUL: |
| 258 | SLJIT_ASSERT(!(flags & SRC2_IMM)); |
| 259 | if (!(op & SLJIT_SET_O)) { |
| 260 | #if (defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64) |
| 261 | return push_inst(compiler, MUL | S(src1) | T(src2) | D(dst), DR(dst)); |
| 262 | #else |
| 263 | FAIL_IF(push_inst(compiler, MULT | S(src1) | T(src2), MOVABLE_INS)); |
| 264 | return push_inst(compiler, MFLO | D(dst), DR(dst)); |
| 265 | #endif |
| 266 | } |
| 267 | FAIL_IF(push_inst(compiler, MULT | S(src1) | T(src2), MOVABLE_INS)); |
| 268 | FAIL_IF(push_inst(compiler, MFHI | DA(TMP_EREG1), TMP_EREG1)); |
| 269 | FAIL_IF(push_inst(compiler, MFLO | D(dst), DR(dst))); |
| 270 | FAIL_IF(push_inst(compiler, SRA | T(dst) | DA(TMP_EREG2) | SH_IMM(31), TMP_EREG2)); |
| 271 | return push_inst(compiler, SUBU | SA(TMP_EREG1) | TA(TMP_EREG2) | DA(OVERFLOW_FLAG), OVERFLOW_FLAG); |
| 272 | |
| 273 | case SLJIT_AND: |
| 274 | EMIT_LOGICAL(ANDI, AND); |
| 275 | return SLJIT_SUCCESS; |
| 276 | |
| 277 | case SLJIT_OR: |
| 278 | EMIT_LOGICAL(ORI, OR); |
| 279 | return SLJIT_SUCCESS; |
| 280 | |
| 281 | case SLJIT_XOR: |
| 282 | EMIT_LOGICAL(XORI, XOR); |
| 283 | return SLJIT_SUCCESS; |
| 284 | |
| 285 | case SLJIT_SHL: |
| 286 | EMIT_SHIFT(SLL, SLLV); |
| 287 | return SLJIT_SUCCESS; |
| 288 | |
| 289 | case SLJIT_LSHR: |
| 290 | EMIT_SHIFT(SRL, SRLV); |
| 291 | return SLJIT_SUCCESS; |
| 292 | |
| 293 | case SLJIT_ASHR: |
| 294 | EMIT_SHIFT(SRA, SRAV); |
| 295 | return SLJIT_SUCCESS; |
| 296 | |
| 297 | case SLJIT_MOV: |
| 298 | case SLJIT_MOV_UI: |
| 299 | case SLJIT_MOV_SI: |
| 300 | SLJIT_ASSERT(src1 == TMP_REG1); |
| 301 | if (dst != src2) |
| 302 | return push_inst(compiler, ADDU | S(src2) | TA(0) | D(dst), DR(dst)); |
| 303 | return SLJIT_SUCCESS; |
| 304 | |
| 305 | case SLJIT_MOV_UB: |
| 306 | case SLJIT_MOV_SB: |
| 307 | SLJIT_ASSERT(src1 == TMP_REG1); |
| 308 | if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { |
| 309 | if (op == SLJIT_MOV_SB) { |
| 310 | #if (defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64) |
| 311 | return push_inst(compiler, SEB | T(src2) | D(dst), DR(dst)); |
| 312 | #else |
| 313 | FAIL_IF(push_inst(compiler, SLL | T(src2) | D(dst) | SH_IMM(24), DR(dst))); |
| 314 | return push_inst(compiler, SRA | T(dst) | D(dst) | SH_IMM(24), DR(dst)); |
| 315 | #endif |
| 316 | } |
| 317 | return push_inst(compiler, ANDI | S(src2) | T(dst) | IMM(0xff), DR(dst)); |
| 318 | } |
| 319 | else if (dst != src2) |
| 320 | SLJIT_ASSERT_STOP(); |
| 321 | return SLJIT_SUCCESS; |
| 322 | |
| 323 | case SLJIT_MOV_UH: |
| 324 | case SLJIT_MOV_SH: |
| 325 | SLJIT_ASSERT(src1 == TMP_REG1); |
| 326 | if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { |
| 327 | if (op == SLJIT_MOV_SH) { |
| 328 | #if (defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64) |
| 329 | return push_inst(compiler, SEH | T(src2) | D(dst), DR(dst)); |
| 330 | #else |
| 331 | FAIL_IF(push_inst(compiler, SLL | T(src2) | D(dst) | SH_IMM(16), DR(dst))); |
| 332 | return push_inst(compiler, SRA | T(dst) | D(dst) | SH_IMM(16), DR(dst)); |
| 333 | #endif |
| 334 | } |
| 335 | return push_inst(compiler, ANDI | S(src2) | T(dst) | IMM(0xffff), DR(dst)); |
| 336 | } |
| 337 | else if (dst != src2) |
| 338 | SLJIT_ASSERT_STOP(); |
| 339 | return SLJIT_SUCCESS; |
| 340 | |
| 341 | case SLJIT_NOT: |
| 342 | SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); |
| 343 | if (op & SLJIT_SET_E) |
| 344 | FAIL_IF(push_inst(compiler, NOR | S(src2) | T(src2) | DA(EQUAL_FLAG), EQUAL_FLAG)); |
| 345 | if (CHECK_FLAGS(SLJIT_SET_E)) |
| 346 | FAIL_IF(push_inst(compiler, NOR | S(src2) | T(src2) | D(dst), DR(dst))); |
| 347 | return SLJIT_SUCCESS; |
| 348 | |
| 349 | case SLJIT_CLZ: |
| 350 | SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); |
| 351 | #if (defined SLJIT_MIPS_32_64 && SLJIT_MIPS_32_64) |
| 352 | if (op & SLJIT_SET_E) |
| 353 | FAIL_IF(push_inst(compiler, CLZ | S(src2) | TA(EQUAL_FLAG) | DA(EQUAL_FLAG), EQUAL_FLAG)); |
| 354 | if (CHECK_FLAGS(SLJIT_SET_E)) |
| 355 | FAIL_IF(push_inst(compiler, CLZ | S(src2) | T(dst) | D(dst), DR(dst))); |
| 356 | #else |
| 357 | if (SLJIT_UNLIKELY(flags & UNUSED_DEST)) { |
| 358 | FAIL_IF(push_inst(compiler, SRL | T(src2) | DA(EQUAL_FLAG) | SH_IMM(31), EQUAL_FLAG)); |
| 359 | return push_inst(compiler, XORI | SA(EQUAL_FLAG) | TA(EQUAL_FLAG) | IMM(1), EQUAL_FLAG); |
| 360 | } |
| 361 | /* Nearly all instructions are unmovable in the following sequence. */ |
| 362 | FAIL_IF(push_inst(compiler, ADDU_W | S(src2) | TA(0) | D(TMP_REG1), DR(TMP_REG1))); |
| 363 | /* Check zero. */ |
| 364 | FAIL_IF(push_inst(compiler, BEQ | S(TMP_REG1) | TA(0) | IMM(6), UNMOVABLE_INS)); |
| 365 | FAIL_IF(push_inst(compiler, ORI | SA(0) | T(dst) | IMM(32), UNMOVABLE_INS)); |
| 366 | /* Check sign bit. */ |
| 367 | FAIL_IF(push_inst(compiler, BLTZ | S(TMP_REG1) | IMM(4), UNMOVABLE_INS)); |
| 368 | FAIL_IF(push_inst(compiler, ORI | SA(0) | T(dst) | IMM(0), UNMOVABLE_INS)); |
| 369 | /* Loop for searching the highest bit. */ |
| 370 | FAIL_IF(push_inst(compiler, SLL | T(TMP_REG1) | D(TMP_REG1) | SH_IMM(1), DR(TMP_REG1))); |
| 371 | FAIL_IF(push_inst(compiler, BGEZ | S(TMP_REG1) | IMM(-2), UNMOVABLE_INS)); |
| 372 | FAIL_IF(push_inst(compiler, ADDIU_W | S(dst) | T(dst) | IMM(1), UNMOVABLE_INS)); |
| 373 | if (op & SLJIT_SET_E) |
| 374 | return push_inst(compiler, ADDU_W | S(dst) | TA(0) | DA(EQUAL_FLAG), EQUAL_FLAG); |
| 375 | #endif |
| 376 | return SLJIT_SUCCESS; |
| 377 | } |
| 378 | |
| 379 | SLJIT_ASSERT_STOP(); |
| 380 | return SLJIT_SUCCESS; |
| 381 | } |
| 382 | |
| 383 | static SLJIT_INLINE int emit_const(struct sljit_compiler *compiler, int reg, sljit_w init_value) |
| 384 | { |
| 385 | FAIL_IF(push_inst(compiler, LUI | T(reg) | IMM(init_value >> 16), DR(reg))); |
| 386 | return push_inst(compiler, ORI | S(reg) | T(reg) | IMM(init_value), DR(reg)); |
| 387 | } |
| 388 | |
| 389 | SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_addr) |
| 390 | { |
| 391 | sljit_ins *inst = (sljit_ins*)addr; |
| 392 | |
| 393 | inst[0] = (inst[0] & 0xffff0000) | ((new_addr >> 16) & 0xffff); |
| 394 | inst[1] = (inst[1] & 0xffff0000) | (new_addr & 0xffff); |
| 395 | SLJIT_CACHE_FLUSH(inst, inst + 2); |
| 396 | } |
| 397 | |
| 398 | SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_w new_constant) |
| 399 | { |
| 400 | sljit_ins *inst = (sljit_ins*)addr; |
| 401 | |
| 402 | inst[0] = (inst[0] & 0xffff0000) | ((new_constant >> 16) & 0xffff); |
| 403 | inst[1] = (inst[1] & 0xffff0000) | (new_constant & 0xffff); |
| 404 | SLJIT_CACHE_FLUSH(inst, inst + 2); |
| 405 | } |