1/* $NetBSD: sljitNativeSPARC_32.c,v 1.4 2019/01/20 23:14:16 alnsn Exp $ */ 2 3/* 4 * Stack-less Just-In-Time compiler 5 * 6 * Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved. 7 * 8 * Redistribution and use in source and binary forms, with or without modification, are 9 * permitted provided that the following conditions are met: 10 * 11 * 1. Redistributions of source code must retain the above copyright notice, this list of 12 * conditions and the following disclaimer. 13 * 14 * 2. Redistributions in binary form must reproduce the above copyright notice, this list 15 * of conditions and the following disclaimer in the documentation and/or other materials 16 * provided with the distribution. 17 * 18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY 19 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 20 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 21 * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 22 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED 23 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR 24 * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 25 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN 26 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 */ 28 29static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw imm) 30{ 31 if (imm <= SIMM_MAX && imm >= SIMM_MIN) 32 return push_inst(compiler, OR | D(dst) | S1(0) | IMM(imm), DR(dst)); 33 34 FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((imm >> 10) & 0x3fffff), DR(dst))); 35 return (imm & 0x3ff) ? push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (imm & 0x3ff), DR(dst)) : SLJIT_SUCCESS; 36} 37 38#define ARG2(flags, src2) ((flags & SRC2_IMM) ? IMM(src2) : S2(src2)) 39 40static SLJIT_INLINE sljit_s32 emit_single_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 flags, 41 sljit_s32 dst, sljit_s32 src1, sljit_sw src2) 42{ 43 SLJIT_COMPILE_ASSERT(ICC_IS_SET == SET_FLAGS, icc_is_set_and_set_flags_must_be_the_same); 44 45 switch (op) { 46 case SLJIT_MOV: 47 case SLJIT_MOV_U32: 48 case SLJIT_MOV_S32: 49 case SLJIT_MOV_P: 50 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 51 if (dst != src2) 52 return push_inst(compiler, OR | D(dst) | S1(0) | S2(src2), DR(dst)); 53 return SLJIT_SUCCESS; 54 55 case SLJIT_MOV_U8: 56 case SLJIT_MOV_S8: 57 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 58 if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { 59 if (op == SLJIT_MOV_U8) 60 return push_inst(compiler, AND | D(dst) | S1(src2) | IMM(0xff), DR(dst)); 61 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(24), DR(dst))); 62 return push_inst(compiler, SRA | D(dst) | S1(dst) | IMM(24), DR(dst)); 63 } 64 else if (dst != src2) 65 SLJIT_UNREACHABLE(); 66 return SLJIT_SUCCESS; 67 68 case SLJIT_MOV_U16: 69 case SLJIT_MOV_S16: 70 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 71 if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE)) { 72 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src2) | IMM(16), DR(dst))); 73 return push_inst(compiler, (op == SLJIT_MOV_S16 ? SRA : SRL) | D(dst) | S1(dst) | IMM(16), DR(dst)); 74 } 75 else if (dst != src2) 76 SLJIT_UNREACHABLE(); 77 return SLJIT_SUCCESS; 78 79 case SLJIT_NOT: 80 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 81 return push_inst(compiler, XNOR | (flags & SET_FLAGS) | D(dst) | S1(0) | S2(src2), DR(dst) | (flags & SET_FLAGS)); 82 83 case SLJIT_CLZ: 84 SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & SRC2_IMM)); 85 /* sparc 32 does not support SLJIT_KEEP_FLAGS. Not sure I can fix this. */ 86 FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(src2) | S2(0), SET_FLAGS)); 87 FAIL_IF(push_inst(compiler, OR | D(TMP_REG1) | S1(0) | S2(src2), DR(TMP_REG1))); 88 FAIL_IF(push_inst(compiler, BICC | DA(0x1) | (7 & DISP_MASK), UNMOVABLE_INS)); 89 FAIL_IF(push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(0) | IMM(32), UNMOVABLE_INS | (flags & SET_FLAGS))); 90 FAIL_IF(push_inst(compiler, OR | D(dst) | S1(0) | IMM(-1), DR(dst))); 91 92 /* Loop. */ 93 FAIL_IF(push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(0), SET_FLAGS)); 94 FAIL_IF(push_inst(compiler, SLL | D(TMP_REG1) | S1(TMP_REG1) | IMM(1), DR(TMP_REG1))); 95 FAIL_IF(push_inst(compiler, BICC | DA(0xe) | (-2 & DISP_MASK), UNMOVABLE_INS)); 96 return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(dst) | IMM(1), UNMOVABLE_INS | (flags & SET_FLAGS)); 97 98 case SLJIT_ADD: 99 return push_inst(compiler, ADD | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 100 101 case SLJIT_ADDC: 102 return push_inst(compiler, ADDC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 103 104 case SLJIT_SUB: 105 return push_inst(compiler, SUB | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 106 107 case SLJIT_SUBC: 108 return push_inst(compiler, SUBC | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 109 110 case SLJIT_MUL: 111 FAIL_IF(push_inst(compiler, SMUL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 112 if (!(flags & SET_FLAGS)) 113 return SLJIT_SUCCESS; 114 FAIL_IF(push_inst(compiler, SRA | D(TMP_REG1) | S1(dst) | IMM(31), DR(TMP_REG1))); 115 FAIL_IF(push_inst(compiler, RDY | D(TMP_LINK), DR(TMP_LINK))); 116 return push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(TMP_REG1) | S2(TMP_LINK), MOVABLE_INS | SET_FLAGS); 117 118 case SLJIT_AND: 119 return push_inst(compiler, AND | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 120 121 case SLJIT_OR: 122 return push_inst(compiler, OR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 123 124 case SLJIT_XOR: 125 return push_inst(compiler, XOR | (flags & SET_FLAGS) | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst) | (flags & SET_FLAGS)); 126 127 case SLJIT_SHL: 128 FAIL_IF(push_inst(compiler, SLL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 129 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 130 131 case SLJIT_LSHR: 132 FAIL_IF(push_inst(compiler, SRL | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 133 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 134 135 case SLJIT_ASHR: 136 FAIL_IF(push_inst(compiler, SRA | D(dst) | S1(src1) | ARG2(flags, src2), DR(dst))); 137 return !(flags & SET_FLAGS) ? SLJIT_SUCCESS : push_inst(compiler, SUB | SET_FLAGS | D(0) | S1(dst) | S2(0), SET_FLAGS); 138 } 139 140 SLJIT_UNREACHABLE(); 141 return SLJIT_SUCCESS; 142} 143 144static SLJIT_INLINE sljit_s32 emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw init_value) 145{ 146 FAIL_IF(push_inst(compiler, SETHI | D(dst) | ((init_value >> 10) & 0x3fffff), DR(dst))); 147 return push_inst(compiler, OR | D(dst) | S1(dst) | IMM_ARG | (init_value & 0x3ff), DR(dst)); 148} 149 150SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset) 151{ 152 sljit_ins *inst = (sljit_ins *)addr; 153 154 inst[0] = (inst[0] & 0xffc00000) | ((new_target >> 10) & 0x3fffff); 155 inst[1] = (inst[1] & 0xfffffc00) | (new_target & 0x3ff); 156 inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset); 157 SLJIT_CACHE_FLUSH(inst, inst + 2); 158} 159 160SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset) 161{ 162 sljit_ins *inst = (sljit_ins *)addr; 163 164 inst[0] = (inst[0] & 0xffc00000) | ((new_constant >> 10) & 0x3fffff); 165 inst[1] = (inst[1] & 0xfffffc00) | (new_constant & 0x3ff); 166 inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset); 167 SLJIT_CACHE_FLUSH(inst, inst + 2); 168} 169