Home | History | Annotate | Download | only in sljit
      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_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 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_s32 emit_single_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 flags,
     39 	sljit_s32 dst, sljit_s32 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_U32:
     46 	case SLJIT_MOV_S32:
     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_U8:
     54 	case SLJIT_MOV_S8:
     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_U8)
     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_U16:
     67 	case SLJIT_MOV_S16:
     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_S16 ? 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_s32 emit_const(struct sljit_compiler *compiler, sljit_s32 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