1 /* 2 * Stack-less Just-In-Time compiler 3 * 4 * Copyright 2009-2012 Zoltan Herczeg (hzmester (at) 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 static sljit_si load_immediate(struct sljit_compiler *compiler, sljit_si dst, sljit_sw imm) 28 { 29 if (imm <= SIMM_MAX && imm >= SIMM_MIN) 30 return push_inst(compiler, OR | D(dst) | S1(0) | IMM(imm), DR(dst)); 31 32 FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((imm >> 10) & 0x3fffff), DR(dst))); 33 return (imm & 0x3ff) ? push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (imm & 0x3ff), DR(dst)) : SLJIT_SUCCESS; 34 } 35 36 #define ARG2(flags, src2) ((flags & SRC2_IMM) ? IMM(src2) : S2(src2)) 37 38 static SLJIT_INLINE sljit_si emit_single_op(struct sljit_compiler *compiler, sljit_si op, sljit_si flags, 39 sljit_si dst, sljit_si src1, sljit_sw src2) 40 { 41 SLJIT_COMPILE_ASSERT(ICC_IS_SET == SET_FLAGS, icc_is_set_and_set_flags_must_be_the_same); 42 43 switch (op) { 44 case SLJIT_MOV: 45 case SLJIT_MOV_UI: 46 case SLJIT_MOV_SI: 47 case SLJIT_MOV_P: 48 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 49 if (dst != src2) 50 return push_inst(compiler, OR | D(dst) | S1(0) | S2(src2), DR(dst)); 51 return SLJIT_SUCCESS; 52 53 case SLJIT_MOV_UB: 54 case SLJIT_MOV_SB: 55 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 56 if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { 57 if (op == SLJIT_MOV_UB) 58 return push_inst(compiler, AND | D(dst) | S1(src2) | IMM(0xff), DR(dst)); 59 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(24), DR(dst))); 60 return push_inst(compiler, SRA | D(dst) | S1(dst) | IMM(24), DR(dst)); 61 } 62 else if (dst != src2) 63 SLJIT_ASSERT_STOP(); 64 return SLJIT_SUCCESS; 65 66 case SLJIT_MOV_UH: 67 case SLJIT_MOV_SH: 68 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 69 if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { 70 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(16), DR(dst))); 71 return push_inst(compiler, (op == SLJIT_MOV_SH ? SRA : SRL) | D(dst) | S1(dst) | IMM(16), DR(dst)); 72 } 73 else if (dst != src2) 74 SLJIT_ASSERT_STOP(); 75 return SLJIT_SUCCESS; 76 77 case SLJIT_NOT: 78 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 79 return push_inst(compiler, XNOR | (flags & SET_FLAGS) | D(dst) | S1(0) | S2(src2), DR(dst) | (flags & SET_FLAGS)); 80 81 case SLJIT_CLZ: 82 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 83 /* sparc 32 does not support SLJIT_KEEP_FLAGS. Not sure I can fix this. */ 84 FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(src2) | S2(0), SET_FLAGS)); 85 FAIL_IF(push_inst(compiler, OR | D(TMP_REG1) | S1(0) | S2(src2), DR(TMP_REG1))); 86 FAIL_IF(push_inst(compiler, BICC | DA(0x1) | (7 & DISP_MASK), UNMOVABLE_INS)); 87 FAIL_IF(push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(0) | IMM(32), UNMOVABLE_INS | (flags & SET_FLAGS))); 88 FAIL_IF(push_inst(compiler, OR | D(dst) | S1(0) | IMM(-1), DR(dst))); 89 90 /* Loop. */ 91 FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(0), SET_FLAGS)); 92 FAIL_IF(push_inst(compiler, SLL | D(TMP_REG1) | S1(TMP_REG1) | IMM(1), DR(TMP_REG1))); 93 FAIL_IF(push_inst(compiler, BICC | DA(0xe) | (-2 & DISP_MASK), UNMOVABLE_INS)); 94 return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(dst) | IMM(1), UNMOVABLE_INS | (flags & SET_FLAGS)); 95 96 case SLJIT_ADD: 97 return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 98 99 case SLJIT_ADDC: 100 return push_inst(compiler, ADDC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 101 102 case SLJIT_SUB: 103 return push_inst(compiler, SUB | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 104 105 case SLJIT_SUBC: 106 return push_inst(compiler, SUBC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 107 108 case SLJIT_MUL: 109 FAIL_IF(push_inst(compiler, SMUL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 110 if (!(flags & SET_FLAGS)) 111 return SLJIT_SUCCESS; 112 FAIL_IF(push_inst(compiler, SRA | D(TMP_REG1) | S1(dst) | IMM(31), DR(TMP_REG1))); 113 FAIL_IF(push_inst(compiler, RDY | D(TMP_LINK), DR(TMP_LINK))); 114 return push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(TMP_LINK), MOVABLE_INS | SET_FLAGS); 115 116 case SLJIT_AND: 117 return push_inst(compiler, AND | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 118 119 case SLJIT_OR: 120 return push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 121 122 case SLJIT_XOR: 123 return push_inst(compiler, XOR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 124 125 case SLJIT_SHL: 126 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 127 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 128 129 case SLJIT_LSHR: 130 FAIL_IF(push_inst(compiler, SRL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 131 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 132 133 case SLJIT_ASHR: 134 FAIL_IF(push_inst(compiler, SRA | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 135 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 136 } 137 138 SLJIT_ASSERT_STOP(); 139 return SLJIT_SUCCESS; 140 } 141 142 static SLJIT_INLINE sljit_si emit_const(struct sljit_compiler *compiler, sljit_si dst, sljit_sw init_value) 143 { 144 FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((init_value >> 10) & 0x3fffff), DR(dst))); 145 return push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (init_value & 0x3ff), DR(dst)); 146 } 147 148 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_addr) 149 { 150 sljit_ins *inst = (sljit_ins*)addr; 151 152 inst[0] = (inst[0] & 0xffc00000) | ((new_addr >> 10) & 0x3fffff); 153 inst[1] = (inst[1] & 0xfffffc00) | (new_addr & 0x3ff); 154 SLJIT_CACHE_FLUSH(inst, inst + 2); 155 } 156 157 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant) 158 { 159 sljit_ins *inst = (sljit_ins*)addr; 160 161 inst[0] = (inst[0] & 0xffc00000) | ((new_constant >> 10) & 0x3fffff); 162 inst[1] = (inst[1] & 0xfffffc00) | (new_constant & 0x3ff); 163 SLJIT_CACHE_FLUSH(inst, inst + 2); 164 } 165