2014-09-30 09:08:35 +02:00
|
|
|
/*
|
|
|
|
* Stack-less Just-In-Time compiler
|
|
|
|
*
|
2017-02-15 08:27:08 +01:00
|
|
|
* Copyright Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
|
2014-09-30 09:08:35 +02:00
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without modification, are
|
|
|
|
* permitted provided that the following conditions are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright notice, this list of
|
|
|
|
* conditions and the following disclaimer.
|
|
|
|
*
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright notice, this list
|
|
|
|
* of conditions and the following disclaimer in the documentation and/or other materials
|
|
|
|
* provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
|
|
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
|
|
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
|
|
|
|
* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
|
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
|
|
|
|
* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
|
|
|
|
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
|
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
|
|
* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
return "ARM-64" SLJIT_CPUINFO;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Length of an instruction word */
|
2016-02-29 10:09:40 +01:00
|
|
|
typedef sljit_u32 sljit_ins;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
#define TMP_ZERO (0)
|
|
|
|
|
|
|
|
#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)
|
|
|
|
#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)
|
2018-01-05 10:30:45 +01:00
|
|
|
#define TMP_LR (SLJIT_NUMBER_OF_REGISTERS + 4)
|
2018-03-13 13:05:48 +01:00
|
|
|
#define TMP_FP (SLJIT_NUMBER_OF_REGISTERS + 5)
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)
|
|
|
|
#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
/* r18 - platform register, currently not used */
|
2016-02-29 10:09:40 +01:00
|
|
|
static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 8] = {
|
2018-03-13 13:05:48 +01:00
|
|
|
31, 0, 1, 2, 3, 4, 5, 6, 7, 11, 12, 13, 14, 15, 16, 17, 8, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 31, 9, 10, 30, 29
|
2014-09-30 09:08:35 +02:00
|
|
|
};
|
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
static const sljit_u8 freg_map[SLJIT_NUMBER_OF_FLOAT_REGISTERS + 3] = {
|
|
|
|
0, 0, 1, 2, 3, 4, 5, 6, 7
|
|
|
|
};
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
#define W_OP (1 << 31)
|
|
|
|
#define RD(rd) (reg_map[rd])
|
|
|
|
#define RT(rt) (reg_map[rt])
|
|
|
|
#define RN(rn) (reg_map[rn] << 5)
|
|
|
|
#define RT2(rt2) (reg_map[rt2] << 10)
|
|
|
|
#define RM(rm) (reg_map[rm] << 16)
|
2017-11-29 14:30:31 +01:00
|
|
|
#define VD(vd) (freg_map[vd])
|
|
|
|
#define VT(vt) (freg_map[vt])
|
|
|
|
#define VN(vn) (freg_map[vn] << 5)
|
|
|
|
#define VM(vm) (freg_map[vm] << 16)
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Instrucion forms */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
#define ADC 0x9a000000
|
|
|
|
#define ADD 0x8b000000
|
2018-03-13 13:05:48 +01:00
|
|
|
#define ADDE 0x8b200000
|
2014-09-30 09:08:35 +02:00
|
|
|
#define ADDI 0x91000000
|
|
|
|
#define AND 0x8a000000
|
|
|
|
#define ANDI 0x92000000
|
|
|
|
#define ASRV 0x9ac02800
|
|
|
|
#define B 0x14000000
|
|
|
|
#define B_CC 0x54000000
|
|
|
|
#define BL 0x94000000
|
|
|
|
#define BLR 0xd63f0000
|
|
|
|
#define BR 0xd61f0000
|
|
|
|
#define BRK 0xd4200000
|
|
|
|
#define CBZ 0xb4000000
|
|
|
|
#define CLZ 0xdac01000
|
2017-04-26 10:34:09 +02:00
|
|
|
#define CSEL 0x9a800000
|
2014-09-30 09:08:35 +02:00
|
|
|
#define CSINC 0x9a800400
|
|
|
|
#define EOR 0xca000000
|
|
|
|
#define EORI 0xd2000000
|
|
|
|
#define FABS 0x1e60c000
|
|
|
|
#define FADD 0x1e602800
|
|
|
|
#define FCMP 0x1e602000
|
|
|
|
#define FCVT 0x1e224000
|
|
|
|
#define FCVTZS 0x9e780000
|
|
|
|
#define FDIV 0x1e601800
|
|
|
|
#define FMOV 0x1e604000
|
|
|
|
#define FMUL 0x1e600800
|
|
|
|
#define FNEG 0x1e614000
|
|
|
|
#define FSUB 0x1e603800
|
|
|
|
#define LDRI 0xf9400000
|
|
|
|
#define LDP 0xa9400000
|
2018-03-13 13:05:48 +01:00
|
|
|
#define LDP_PRE 0xa9c00000
|
|
|
|
#define LDR_PRE 0xf8400c00
|
2014-09-30 09:08:35 +02:00
|
|
|
#define LSLV 0x9ac02000
|
|
|
|
#define LSRV 0x9ac02400
|
|
|
|
#define MADD 0x9b000000
|
|
|
|
#define MOVK 0xf2800000
|
|
|
|
#define MOVN 0x92800000
|
|
|
|
#define MOVZ 0xd2800000
|
|
|
|
#define NOP 0xd503201f
|
|
|
|
#define ORN 0xaa200000
|
|
|
|
#define ORR 0xaa000000
|
|
|
|
#define ORRI 0xb2000000
|
|
|
|
#define RET 0xd65f0000
|
|
|
|
#define SBC 0xda000000
|
|
|
|
#define SBFM 0x93000000
|
|
|
|
#define SCVTF 0x9e620000
|
|
|
|
#define SDIV 0x9ac00c00
|
|
|
|
#define SMADDL 0x9b200000
|
|
|
|
#define SMULH 0x9b403c00
|
|
|
|
#define STP 0xa9000000
|
|
|
|
#define STP_PRE 0xa9800000
|
2018-01-05 10:30:45 +01:00
|
|
|
#define STRB 0x38206800
|
|
|
|
#define STRBI 0x39000000
|
2014-09-30 09:08:35 +02:00
|
|
|
#define STRI 0xf9000000
|
|
|
|
#define STR_FI 0x3d000000
|
|
|
|
#define STR_FR 0x3c206800
|
|
|
|
#define STUR_FI 0x3c000000
|
2018-01-05 10:30:45 +01:00
|
|
|
#define STURBI 0x38000000
|
2014-09-30 09:08:35 +02:00
|
|
|
#define SUB 0xcb000000
|
|
|
|
#define SUBI 0xd1000000
|
|
|
|
#define SUBS 0xeb000000
|
|
|
|
#define UBFM 0xd3000000
|
|
|
|
#define UDIV 0x9ac00800
|
|
|
|
#define UMULH 0x9bc03c00
|
|
|
|
|
|
|
|
/* dest_reg is the absolute name of the register
|
|
|
|
Useful for reordering instructions in the delay slot. */
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins ins)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
sljit_ins *ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));
|
|
|
|
FAIL_IF(!ptr);
|
|
|
|
*ptr = ins;
|
|
|
|
compiler->size++;
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static SLJIT_INLINE sljit_s32 emit_imm64_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | ((imm & 0xffff) << 5)));
|
|
|
|
FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((imm >> 16) & 0xffff) << 5) | (1 << 21)));
|
|
|
|
FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((imm >> 32) & 0xffff) << 5) | (2 << 21)));
|
|
|
|
return push_inst(compiler, MOVK | RD(dst) | ((imm >> 48) << 5) | (3 << 21));
|
|
|
|
}
|
|
|
|
|
|
|
|
static SLJIT_INLINE void modify_imm64_const(sljit_ins* inst, sljit_uw new_imm)
|
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst = inst[0] & 0x1f;
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT((inst[0] & 0xffe00000) == MOVZ && (inst[1] & 0xffe00000) == (MOVK | (1 << 21)));
|
|
|
|
inst[0] = MOVZ | dst | ((new_imm & 0xffff) << 5);
|
|
|
|
inst[1] = MOVK | dst | (((new_imm >> 16) & 0xffff) << 5) | (1 << 21);
|
|
|
|
inst[2] = MOVK | dst | (((new_imm >> 32) & 0xffff) << 5) | (2 << 21);
|
|
|
|
inst[3] = MOVK | dst | ((new_imm >> 48) << 5) | (3 << 21);
|
|
|
|
}
|
|
|
|
|
2017-01-05 11:01:29 +01:00
|
|
|
static SLJIT_INLINE sljit_s32 detect_jump_type(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
sljit_sw diff;
|
|
|
|
sljit_uw target_addr;
|
|
|
|
|
|
|
|
if (jump->flags & SLJIT_REWRITABLE_JUMP) {
|
|
|
|
jump->flags |= PATCH_ABS64;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (jump->flags & JUMP_ADDR)
|
|
|
|
target_addr = jump->u.target;
|
|
|
|
else {
|
|
|
|
SLJIT_ASSERT(jump->flags & JUMP_LABEL);
|
2017-01-05 11:01:29 +01:00
|
|
|
target_addr = (sljit_uw)(code + jump->u.label->size) + (sljit_uw)executable_offset;
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
2017-01-05 11:01:29 +01:00
|
|
|
|
|
|
|
diff = (sljit_sw)target_addr - (sljit_sw)(code_ptr + 4) - executable_offset;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
if (jump->flags & IS_COND) {
|
|
|
|
diff += sizeof(sljit_ins);
|
|
|
|
if (diff <= 0xfffff && diff >= -0x100000) {
|
|
|
|
code_ptr[-5] ^= (jump->flags & IS_CBZ) ? (0x1 << 24) : 0x1;
|
|
|
|
jump->addr -= sizeof(sljit_ins);
|
|
|
|
jump->flags |= PATCH_COND;
|
|
|
|
return 5;
|
|
|
|
}
|
|
|
|
diff -= sizeof(sljit_ins);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (diff <= 0x7ffffff && diff >= -0x8000000) {
|
|
|
|
jump->flags |= PATCH_B;
|
|
|
|
return 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (target_addr <= 0xffffffffl) {
|
|
|
|
if (jump->flags & IS_COND)
|
|
|
|
code_ptr[-5] -= (2 << 5);
|
|
|
|
code_ptr[-2] = code_ptr[0];
|
|
|
|
return 2;
|
|
|
|
}
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
if (target_addr <= 0xffffffffffffl) {
|
|
|
|
if (jump->flags & IS_COND)
|
|
|
|
code_ptr[-5] -= (1 << 5);
|
|
|
|
jump->flags |= PATCH_ABS48;
|
|
|
|
code_ptr[-1] = code_ptr[0];
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
jump->flags |= PATCH_ABS64;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler)
|
|
|
|
{
|
|
|
|
struct sljit_memory_fragment *buf;
|
|
|
|
sljit_ins *code;
|
|
|
|
sljit_ins *code_ptr;
|
|
|
|
sljit_ins *buf_ptr;
|
|
|
|
sljit_ins *buf_end;
|
|
|
|
sljit_uw word_count;
|
2017-01-05 11:01:29 +01:00
|
|
|
sljit_sw executable_offset;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_uw addr;
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
struct sljit_label *label;
|
|
|
|
struct sljit_jump *jump;
|
|
|
|
struct sljit_const *const_;
|
|
|
|
|
|
|
|
CHECK_ERROR_PTR();
|
|
|
|
CHECK_PTR(check_sljit_generate_code(compiler));
|
|
|
|
reverse_buf(compiler);
|
|
|
|
|
|
|
|
code = (sljit_ins*)SLJIT_MALLOC_EXEC(compiler->size * sizeof(sljit_ins));
|
|
|
|
PTR_FAIL_WITH_EXEC_IF(code);
|
|
|
|
buf = compiler->buf;
|
|
|
|
|
|
|
|
code_ptr = code;
|
|
|
|
word_count = 0;
|
2017-01-05 11:01:29 +01:00
|
|
|
executable_offset = SLJIT_EXEC_OFFSET(code);
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
label = compiler->labels;
|
|
|
|
jump = compiler->jumps;
|
|
|
|
const_ = compiler->consts;
|
|
|
|
|
|
|
|
do {
|
|
|
|
buf_ptr = (sljit_ins*)buf->memory;
|
|
|
|
buf_end = buf_ptr + (buf->used_size >> 2);
|
|
|
|
do {
|
|
|
|
*code_ptr = *buf_ptr++;
|
|
|
|
/* These structures are ordered by their address. */
|
|
|
|
SLJIT_ASSERT(!label || label->size >= word_count);
|
|
|
|
SLJIT_ASSERT(!jump || jump->addr >= word_count);
|
|
|
|
SLJIT_ASSERT(!const_ || const_->addr >= word_count);
|
|
|
|
if (label && label->size == word_count) {
|
2017-01-05 11:01:29 +01:00
|
|
|
label->addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);
|
2014-09-30 09:08:35 +02:00
|
|
|
label->size = code_ptr - code;
|
|
|
|
label = label->next;
|
|
|
|
}
|
|
|
|
if (jump && jump->addr == word_count) {
|
|
|
|
jump->addr = (sljit_uw)(code_ptr - 4);
|
2017-01-05 11:01:29 +01:00
|
|
|
code_ptr -= detect_jump_type(jump, code_ptr, code, executable_offset);
|
2014-09-30 09:08:35 +02:00
|
|
|
jump = jump->next;
|
|
|
|
}
|
|
|
|
if (const_ && const_->addr == word_count) {
|
|
|
|
const_->addr = (sljit_uw)code_ptr;
|
|
|
|
const_ = const_->next;
|
|
|
|
}
|
|
|
|
code_ptr ++;
|
|
|
|
word_count ++;
|
|
|
|
} while (buf_ptr < buf_end);
|
|
|
|
|
|
|
|
buf = buf->next;
|
|
|
|
} while (buf);
|
|
|
|
|
|
|
|
if (label && label->size == word_count) {
|
2017-01-05 11:01:29 +01:00
|
|
|
label->addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);
|
2014-09-30 09:08:35 +02:00
|
|
|
label->size = code_ptr - code;
|
|
|
|
label = label->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_ASSERT(!label);
|
|
|
|
SLJIT_ASSERT(!jump);
|
|
|
|
SLJIT_ASSERT(!const_);
|
|
|
|
SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);
|
|
|
|
|
|
|
|
jump = compiler->jumps;
|
|
|
|
while (jump) {
|
|
|
|
do {
|
|
|
|
addr = (jump->flags & JUMP_LABEL) ? jump->u.label->addr : jump->u.target;
|
2017-01-05 11:01:29 +01:00
|
|
|
buf_ptr = (sljit_ins *)jump->addr;
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
if (jump->flags & PATCH_B) {
|
2017-01-05 11:01:29 +01:00
|
|
|
addr = (sljit_sw)(addr - (sljit_uw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT((sljit_sw)addr <= 0x1ffffff && (sljit_sw)addr >= -0x2000000);
|
|
|
|
buf_ptr[0] = ((jump->flags & IS_BL) ? BL : B) | (addr & 0x3ffffff);
|
|
|
|
if (jump->flags & IS_COND)
|
|
|
|
buf_ptr[-1] -= (4 << 5);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (jump->flags & PATCH_COND) {
|
2017-01-05 11:01:29 +01:00
|
|
|
addr = (sljit_sw)(addr - (sljit_uw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT((sljit_sw)addr <= 0x3ffff && (sljit_sw)addr >= -0x40000);
|
|
|
|
buf_ptr[0] = (buf_ptr[0] & ~0xffffe0) | ((addr & 0x7ffff) << 5);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_ASSERT((jump->flags & (PATCH_ABS48 | PATCH_ABS64)) || addr <= 0xffffffffl);
|
|
|
|
SLJIT_ASSERT((jump->flags & PATCH_ABS64) || addr <= 0xffffffffffffl);
|
|
|
|
|
|
|
|
dst = buf_ptr[0] & 0x1f;
|
|
|
|
buf_ptr[0] = MOVZ | dst | ((addr & 0xffff) << 5);
|
|
|
|
buf_ptr[1] = MOVK | dst | (((addr >> 16) & 0xffff) << 5) | (1 << 21);
|
|
|
|
if (jump->flags & (PATCH_ABS48 | PATCH_ABS64))
|
|
|
|
buf_ptr[2] = MOVK | dst | (((addr >> 32) & 0xffff) << 5) | (2 << 21);
|
|
|
|
if (jump->flags & PATCH_ABS64)
|
|
|
|
buf_ptr[3] = MOVK | dst | (((addr >> 48) & 0xffff) << 5) | (3 << 21);
|
|
|
|
} while (0);
|
|
|
|
jump = jump->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
compiler->error = SLJIT_ERR_COMPILED;
|
2017-01-05 11:01:29 +01:00
|
|
|
compiler->executable_offset = executable_offset;
|
2014-09-30 09:08:35 +02:00
|
|
|
compiler->executable_size = (code_ptr - code) * sizeof(sljit_ins);
|
2017-01-05 11:01:29 +01:00
|
|
|
|
|
|
|
code = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);
|
|
|
|
code_ptr = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_CACHE_FLUSH(code, code_ptr);
|
|
|
|
return code;
|
|
|
|
}
|
|
|
|
|
2017-04-26 10:34:09 +02:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)
|
|
|
|
{
|
|
|
|
switch (feature_type) {
|
|
|
|
case SLJIT_HAS_FPU:
|
|
|
|
#ifdef SLJIT_IS_FPU_AVAILABLE
|
|
|
|
return SLJIT_IS_FPU_AVAILABLE;
|
|
|
|
#else
|
|
|
|
/* Available by default. */
|
|
|
|
return 1;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
case SLJIT_HAS_CLZ:
|
|
|
|
case SLJIT_HAS_CMOV:
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
default:
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Core code generator functions. */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
|
|
|
#define COUNT_TRAILING_ZERO(value, result) \
|
|
|
|
result = 0; \
|
|
|
|
if (!(value & 0xffffffff)) { \
|
|
|
|
result += 32; \
|
|
|
|
value >>= 32; \
|
|
|
|
} \
|
|
|
|
if (!(value & 0xffff)) { \
|
|
|
|
result += 16; \
|
|
|
|
value >>= 16; \
|
|
|
|
} \
|
|
|
|
if (!(value & 0xff)) { \
|
|
|
|
result += 8; \
|
|
|
|
value >>= 8; \
|
|
|
|
} \
|
|
|
|
if (!(value & 0xf)) { \
|
|
|
|
result += 4; \
|
|
|
|
value >>= 4; \
|
|
|
|
} \
|
|
|
|
if (!(value & 0x3)) { \
|
|
|
|
result += 2; \
|
|
|
|
value >>= 2; \
|
|
|
|
} \
|
|
|
|
if (!(value & 0x1)) { \
|
|
|
|
result += 1; \
|
|
|
|
value >>= 1; \
|
|
|
|
}
|
|
|
|
|
|
|
|
#define LOGICAL_IMM_CHECK 0x100
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_ins logical_imm(sljit_sw imm, sljit_s32 len)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 negated, ones, right;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_uw mask, uimm;
|
|
|
|
sljit_ins ins;
|
|
|
|
|
|
|
|
if (len & LOGICAL_IMM_CHECK) {
|
|
|
|
len &= ~LOGICAL_IMM_CHECK;
|
|
|
|
if (len == 32 && (imm == 0 || imm == -1))
|
|
|
|
return 0;
|
2016-02-29 10:09:40 +01:00
|
|
|
if (len == 16 && ((sljit_s32)imm == 0 || (sljit_s32)imm == -1))
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_ASSERT((len == 32 && imm != 0 && imm != -1)
|
2016-02-29 10:09:40 +01:00
|
|
|
|| (len == 16 && (sljit_s32)imm != 0 && (sljit_s32)imm != -1));
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
uimm = (sljit_uw)imm;
|
|
|
|
while (1) {
|
|
|
|
if (len <= 0) {
|
2017-02-15 08:27:08 +01:00
|
|
|
SLJIT_UNREACHABLE();
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0;
|
|
|
|
}
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
mask = ((sljit_uw)1 << len) - 1;
|
|
|
|
if ((uimm & mask) != ((uimm >> len) & mask))
|
|
|
|
break;
|
|
|
|
len >>= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
len <<= 1;
|
|
|
|
|
|
|
|
negated = 0;
|
|
|
|
if (uimm & 0x1) {
|
|
|
|
negated = 1;
|
|
|
|
uimm = ~uimm;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (len < 64)
|
|
|
|
uimm &= ((sljit_uw)1 << len) - 1;
|
|
|
|
|
|
|
|
/* Unsigned right shift. */
|
|
|
|
COUNT_TRAILING_ZERO(uimm, right);
|
|
|
|
|
|
|
|
/* Signed shift. We also know that the highest bit is set. */
|
|
|
|
imm = (sljit_sw)~uimm;
|
|
|
|
SLJIT_ASSERT(imm < 0);
|
|
|
|
|
|
|
|
COUNT_TRAILING_ZERO(imm, ones);
|
|
|
|
|
|
|
|
if (~imm)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
if (len == 64)
|
|
|
|
ins = 1 << 22;
|
|
|
|
else
|
|
|
|
ins = (0x3f - ((len << 1) - 1)) << 10;
|
|
|
|
|
|
|
|
if (negated)
|
|
|
|
return ins | ((len - ones - 1) << 10) | ((len - ones - right) << 16);
|
|
|
|
|
|
|
|
return ins | ((ones - 1) << 10) | ((len - right) << 16);
|
|
|
|
}
|
|
|
|
|
|
|
|
#undef COUNT_TRAILING_ZERO
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw simm)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
sljit_uw imm = (sljit_uw)simm;
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 i, zeros, ones, first;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_ins bitmask;
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
/* Handling simple immediates first. */
|
2014-09-30 09:08:35 +02:00
|
|
|
if (imm <= 0xffff)
|
|
|
|
return push_inst(compiler, MOVZ | RD(dst) | (imm << 5));
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (simm < 0 && simm >= -0x10000)
|
2014-09-30 09:08:35 +02:00
|
|
|
return push_inst(compiler, MOVN | RD(dst) | ((~imm & 0xffff) << 5));
|
|
|
|
|
|
|
|
if (imm <= 0xffffffffl) {
|
2018-01-05 10:30:45 +01:00
|
|
|
if ((imm & 0xffff) == 0)
|
|
|
|
return push_inst(compiler, MOVZ | RD(dst) | ((imm >> 16) << 5) | (1 << 21));
|
2014-09-30 09:08:35 +02:00
|
|
|
if ((imm & 0xffff0000l) == 0xffff0000)
|
|
|
|
return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | ((~imm & 0xffff) << 5));
|
|
|
|
if ((imm & 0xffff) == 0xffff)
|
|
|
|
return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | ((~imm & 0xffff0000l) >> (16 - 5)) | (1 << 21));
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
bitmask = logical_imm(simm, 16);
|
|
|
|
if (bitmask != 0)
|
|
|
|
return push_inst(compiler, (ORRI ^ W_OP) | RD(dst) | RN(TMP_ZERO) | bitmask);
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | ((imm & 0xffff) << 5)));
|
|
|
|
return push_inst(compiler, MOVK | RD(dst) | ((imm & 0xffff0000l) >> (16 - 5)) | (1 << 21));
|
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
bitmask = logical_imm(simm, 32);
|
|
|
|
if (bitmask != 0)
|
|
|
|
return push_inst(compiler, ORRI | RD(dst) | RN(TMP_ZERO) | bitmask);
|
|
|
|
|
|
|
|
if (simm < 0 && simm >= -0x100000000l) {
|
|
|
|
if ((imm & 0xffff) == 0xffff)
|
|
|
|
return push_inst(compiler, MOVN | RD(dst) | ((~imm & 0xffff0000l) >> (16 - 5)) | (1 << 21));
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, MOVN | RD(dst) | ((~imm & 0xffff) << 5)));
|
|
|
|
return push_inst(compiler, MOVK | RD(dst) | ((imm & 0xffff0000l) >> (16 - 5)) | (1 << 21));
|
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
/* A large amount of number can be constructed from ORR and MOVx, but computing them is costly. */
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
zeros = 0;
|
|
|
|
ones = 0;
|
|
|
|
for (i = 4; i > 0; i--) {
|
|
|
|
if ((simm & 0xffff) == 0)
|
|
|
|
zeros++;
|
|
|
|
if ((simm & 0xffff) == 0xffff)
|
|
|
|
ones++;
|
|
|
|
simm >>= 16;
|
|
|
|
}
|
|
|
|
|
|
|
|
simm = (sljit_sw)imm;
|
|
|
|
first = 1;
|
|
|
|
if (ones > zeros) {
|
|
|
|
simm = ~simm;
|
|
|
|
for (i = 0; i < 4; i++) {
|
|
|
|
if (!(simm & 0xffff)) {
|
|
|
|
simm >>= 16;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (first) {
|
|
|
|
first = 0;
|
|
|
|
FAIL_IF(push_inst(compiler, MOVN | RD(dst) | ((simm & 0xffff) << 5) | (i << 21)));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
FAIL_IF(push_inst(compiler, MOVK | RD(dst) | ((~simm & 0xffff) << 5) | (i << 21)));
|
|
|
|
simm >>= 16;
|
|
|
|
}
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (i = 0; i < 4; i++) {
|
|
|
|
if (!(simm & 0xffff)) {
|
|
|
|
simm >>= 16;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (first) {
|
|
|
|
first = 0;
|
|
|
|
FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | ((simm & 0xffff) << 5) | (i << 21)));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
FAIL_IF(push_inst(compiler, MOVK | RD(dst) | ((simm & 0xffff) << 5) | (i << 21)));
|
|
|
|
simm >>= 16;
|
|
|
|
}
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
|
|
|
#define ARG1_IMM 0x0010000
|
|
|
|
#define ARG2_IMM 0x0020000
|
|
|
|
#define INT_OP 0x0040000
|
|
|
|
#define SET_FLAGS 0x0080000
|
|
|
|
#define UNUSED_RETURN 0x0100000
|
|
|
|
|
|
|
|
#define CHECK_FLAGS(flag_bits) \
|
|
|
|
if (flags & SET_FLAGS) { \
|
|
|
|
inv_bits |= flag_bits; \
|
|
|
|
if (flags & UNUSED_RETURN) \
|
|
|
|
dst = TMP_ZERO; \
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_s32 emit_op_imm(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 dst, sljit_sw arg1, sljit_sw arg2)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
/* dst must be register, TMP_REG1
|
|
|
|
arg1 must be register, TMP_REG1, imm
|
|
|
|
arg2 must be register, TMP_REG2, imm */
|
|
|
|
sljit_ins inv_bits = (flags & INT_OP) ? (1 << 31) : 0;
|
|
|
|
sljit_ins inst_bits;
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 op = (flags & 0xffff);
|
|
|
|
sljit_s32 reg;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_sw imm, nimm;
|
|
|
|
|
|
|
|
if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {
|
|
|
|
/* Both are immediates. */
|
|
|
|
flags &= ~ARG1_IMM;
|
|
|
|
if (arg1 == 0 && op != SLJIT_ADD && op != SLJIT_SUB)
|
|
|
|
arg1 = TMP_ZERO;
|
|
|
|
else {
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));
|
|
|
|
arg1 = TMP_REG1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (flags & (ARG1_IMM | ARG2_IMM)) {
|
|
|
|
reg = (flags & ARG2_IMM) ? arg1 : arg2;
|
|
|
|
imm = (flags & ARG2_IMM) ? arg2 : arg1;
|
|
|
|
|
|
|
|
switch (op) {
|
|
|
|
case SLJIT_MUL:
|
|
|
|
case SLJIT_NEG:
|
|
|
|
case SLJIT_CLZ:
|
|
|
|
case SLJIT_ADDC:
|
|
|
|
case SLJIT_SUBC:
|
|
|
|
/* No form with immediate operand (except imm 0, which
|
|
|
|
is represented by a ZERO register). */
|
|
|
|
break;
|
|
|
|
case SLJIT_MOV:
|
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG1);
|
|
|
|
return load_immediate(compiler, dst, imm);
|
|
|
|
case SLJIT_NOT:
|
|
|
|
SLJIT_ASSERT(flags & ARG2_IMM);
|
|
|
|
FAIL_IF(load_immediate(compiler, dst, (flags & INT_OP) ? (~imm & 0xffffffff) : ~imm));
|
|
|
|
goto set_flags;
|
|
|
|
case SLJIT_SUB:
|
|
|
|
if (flags & ARG1_IMM)
|
|
|
|
break;
|
|
|
|
imm = -imm;
|
|
|
|
/* Fall through. */
|
|
|
|
case SLJIT_ADD:
|
|
|
|
if (imm == 0) {
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, ((op == SLJIT_ADD ? ADDI : SUBI) ^ inv_bits) | RD(dst) | RN(reg));
|
|
|
|
}
|
|
|
|
if (imm > 0 && imm <= 0xfff) {
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | (imm << 10));
|
|
|
|
}
|
|
|
|
nimm = -imm;
|
|
|
|
if (nimm > 0 && nimm <= 0xfff) {
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | (nimm << 10));
|
|
|
|
}
|
|
|
|
if (imm > 0 && imm <= 0xffffff && !(imm & 0xfff)) {
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | ((imm >> 12) << 10) | (1 << 22));
|
|
|
|
}
|
|
|
|
if (nimm > 0 && nimm <= 0xffffff && !(nimm & 0xfff)) {
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | ((nimm >> 12) << 10) | (1 << 22));
|
|
|
|
}
|
|
|
|
if (imm > 0 && imm <= 0xffffff && !(flags & SET_FLAGS)) {
|
|
|
|
FAIL_IF(push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | ((imm >> 12) << 10) | (1 << 22)));
|
|
|
|
return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(dst) | ((imm & 0xfff) << 10));
|
|
|
|
}
|
|
|
|
if (nimm > 0 && nimm <= 0xffffff && !(flags & SET_FLAGS)) {
|
|
|
|
FAIL_IF(push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | ((nimm >> 12) << 10) | (1 << 22)));
|
|
|
|
return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(dst) | ((nimm & 0xfff) << 10));
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case SLJIT_AND:
|
|
|
|
inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));
|
|
|
|
if (!inst_bits)
|
|
|
|
break;
|
|
|
|
CHECK_FLAGS(3 << 29);
|
|
|
|
return push_inst(compiler, (ANDI ^ inv_bits) | RD(dst) | RN(reg) | inst_bits);
|
|
|
|
case SLJIT_OR:
|
|
|
|
case SLJIT_XOR:
|
|
|
|
inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));
|
|
|
|
if (!inst_bits)
|
|
|
|
break;
|
|
|
|
if (op == SLJIT_OR)
|
|
|
|
inst_bits |= ORRI;
|
|
|
|
else
|
|
|
|
inst_bits |= EORI;
|
|
|
|
FAIL_IF(push_inst(compiler, (inst_bits ^ inv_bits) | RD(dst) | RN(reg)));
|
|
|
|
goto set_flags;
|
|
|
|
case SLJIT_SHL:
|
|
|
|
if (flags & ARG1_IMM)
|
|
|
|
break;
|
|
|
|
if (flags & INT_OP) {
|
|
|
|
imm &= 0x1f;
|
|
|
|
FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | ((-imm & 0x1f) << 16) | ((31 - imm) << 10)));
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
imm &= 0x3f;
|
|
|
|
FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | (1 << 22) | ((-imm & 0x3f) << 16) | ((63 - imm) << 10)));
|
|
|
|
}
|
|
|
|
goto set_flags;
|
|
|
|
case SLJIT_LSHR:
|
|
|
|
case SLJIT_ASHR:
|
|
|
|
if (flags & ARG1_IMM)
|
|
|
|
break;
|
|
|
|
if (op == SLJIT_ASHR)
|
|
|
|
inv_bits |= 1 << 30;
|
|
|
|
if (flags & INT_OP) {
|
|
|
|
imm &= 0x1f;
|
|
|
|
FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | (imm << 16) | (31 << 10)));
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
imm &= 0x3f;
|
|
|
|
FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | (1 << 22) | (imm << 16) | (63 << 10)));
|
|
|
|
}
|
|
|
|
goto set_flags;
|
|
|
|
default:
|
2017-02-15 08:27:08 +01:00
|
|
|
SLJIT_UNREACHABLE();
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (flags & ARG2_IMM) {
|
|
|
|
if (arg2 == 0)
|
|
|
|
arg2 = TMP_ZERO;
|
|
|
|
else {
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG2, arg2));
|
|
|
|
arg2 = TMP_REG2;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
if (arg1 == 0)
|
|
|
|
arg1 = TMP_ZERO;
|
|
|
|
else {
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));
|
|
|
|
arg1 = TMP_REG1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Both arguments are registers. */
|
|
|
|
switch (op) {
|
|
|
|
case SLJIT_MOV:
|
|
|
|
case SLJIT_MOV_P:
|
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
if (dst == arg2)
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
return push_inst(compiler, ORR | RD(dst) | RN(TMP_ZERO) | RM(arg2));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U8:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
return push_inst(compiler, (UBFM ^ (1 << 31)) | RD(dst) | RN(arg2) | (7 << 10));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S8:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
if (!(flags & INT_OP))
|
|
|
|
inv_bits |= 1 << 22;
|
|
|
|
return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (7 << 10));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U16:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
return push_inst(compiler, (UBFM ^ (1 << 31)) | RD(dst) | RN(arg2) | (15 << 10));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S16:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
if (!(flags & INT_OP))
|
|
|
|
inv_bits |= 1 << 22;
|
|
|
|
return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (15 << 10));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U32:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
if ((flags & INT_OP) && dst == arg2)
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
return push_inst(compiler, (ORR ^ (1 << 31)) | RD(dst) | RN(TMP_ZERO) | RM(arg2));
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S32:
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);
|
|
|
|
if ((flags & INT_OP) && dst == arg2)
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
return push_inst(compiler, SBFM | (1 << 22) | RD(dst) | RN(arg2) | (31 << 10));
|
|
|
|
case SLJIT_NOT:
|
|
|
|
SLJIT_ASSERT(arg1 == TMP_REG1);
|
|
|
|
FAIL_IF(push_inst(compiler, (ORN ^ inv_bits) | RD(dst) | RN(TMP_ZERO) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_NEG:
|
|
|
|
SLJIT_ASSERT(arg1 == TMP_REG1);
|
|
|
|
if (flags & SET_FLAGS)
|
|
|
|
inv_bits |= 1 << 29;
|
|
|
|
return push_inst(compiler, (SUB ^ inv_bits) | RD(dst) | RN(TMP_ZERO) | RM(arg2));
|
|
|
|
case SLJIT_CLZ:
|
|
|
|
SLJIT_ASSERT(arg1 == TMP_REG1);
|
2017-04-26 10:34:09 +02:00
|
|
|
return push_inst(compiler, (CLZ ^ inv_bits) | RD(dst) | RN(arg2));
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_ADD:
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (ADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));
|
|
|
|
case SLJIT_ADDC:
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (ADC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));
|
|
|
|
case SLJIT_SUB:
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (SUB ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));
|
|
|
|
case SLJIT_SUBC:
|
|
|
|
CHECK_FLAGS(1 << 29);
|
|
|
|
return push_inst(compiler, (SBC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));
|
|
|
|
case SLJIT_MUL:
|
|
|
|
if (!(flags & SET_FLAGS))
|
|
|
|
return push_inst(compiler, (MADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO));
|
|
|
|
if (flags & INT_OP) {
|
|
|
|
FAIL_IF(push_inst(compiler, SMADDL | RD(dst) | RN(arg1) | RM(arg2) | (31 << 10)));
|
|
|
|
FAIL_IF(push_inst(compiler, ADD | RD(TMP_LR) | RN(TMP_ZERO) | RM(dst) | (2 << 22) | (31 << 10)));
|
|
|
|
return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));
|
|
|
|
}
|
|
|
|
FAIL_IF(push_inst(compiler, SMULH | RD(TMP_LR) | RN(arg1) | RM(arg2)));
|
|
|
|
FAIL_IF(push_inst(compiler, MADD | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO)));
|
|
|
|
return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));
|
|
|
|
case SLJIT_AND:
|
|
|
|
CHECK_FLAGS(3 << 29);
|
|
|
|
return push_inst(compiler, (AND ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));
|
|
|
|
case SLJIT_OR:
|
|
|
|
FAIL_IF(push_inst(compiler, (ORR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_XOR:
|
|
|
|
FAIL_IF(push_inst(compiler, (EOR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_SHL:
|
|
|
|
FAIL_IF(push_inst(compiler, (LSLV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_LSHR:
|
|
|
|
FAIL_IF(push_inst(compiler, (LSRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
2014-09-30 09:08:35 +02:00
|
|
|
case SLJIT_ASHR:
|
|
|
|
FAIL_IF(push_inst(compiler, (ASRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));
|
2017-04-26 10:34:09 +02:00
|
|
|
break; /* Set flags. */
|
|
|
|
default:
|
|
|
|
SLJIT_UNREACHABLE();
|
|
|
|
return SLJIT_SUCCESS;
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
set_flags:
|
|
|
|
if (flags & SET_FLAGS)
|
|
|
|
return push_inst(compiler, (SUBS ^ inv_bits) | RD(TMP_ZERO) | RN(dst) | RM(TMP_ZERO));
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
#define STORE 0x10
|
|
|
|
#define SIGNED 0x20
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
#define BYTE_SIZE 0x0
|
|
|
|
#define HALF_SIZE 0x1
|
|
|
|
#define INT_SIZE 0x2
|
|
|
|
#define WORD_SIZE 0x3
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
#define MEM_SIZE_SHIFT(flags) ((flags) & 0x3)
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,
|
|
|
|
sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_u32 shift = MEM_SIZE_SHIFT(flags);
|
2018-01-05 10:30:45 +01:00
|
|
|
sljit_u32 type = (shift << 30);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (!(flags & STORE))
|
|
|
|
type |= (flags & SIGNED) ? 0x00800000 : 0x00400000;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
SLJIT_ASSERT(arg & SLJIT_MEM);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {
|
|
|
|
argw &= 0x3;
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw == 0 || argw == shift)
|
|
|
|
return push_inst(compiler, STRB | type | RT(reg)
|
|
|
|
| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(push_inst(compiler, ADD | RD(tmp_reg) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw << 10)));
|
|
|
|
return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
arg &= REG_MASK;
|
2017-05-07 09:10:16 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (arg == SLJIT_UNUSED) {
|
|
|
|
FAIL_IF(load_immediate(compiler, tmp_reg, argw & ~(0xfff << shift)));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
argw = (argw >> shift) & 0xfff;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | (argw << 10));
|
2017-05-07 09:10:16 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw >= 0 && (argw & ((1 << shift) - 1)) == 0) {
|
|
|
|
if ((argw >> shift) <= 0xfff) {
|
|
|
|
return push_inst(compiler, STRBI | type | RT(reg) | RN(arg) | (argw << (10 - shift)));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw <= 0xffffff) {
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(tmp_reg) | RN(arg) | ((argw >> 12) << 10)));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
argw = ((argw & 0xfff) >> shift);
|
|
|
|
return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | (argw << 10));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw <= 255 && argw >= -256)
|
|
|
|
return push_inst(compiler, STURBI | type | RT(reg) | RN(arg) | ((argw & 0x1ff) << 12));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(load_immediate(compiler, tmp_reg, argw));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
return push_inst(compiler, STRB | type | RT(reg) | RN(arg) | RM(tmp_reg));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Entry, exit */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,
|
2017-11-29 14:30:31 +01:00
|
|
|
sljit_s32 options, sljit_s32 arg_types, sljit_s32 scratches, sljit_s32 saveds,
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2017-11-29 14:30:31 +01:00
|
|
|
sljit_s32 args, i, tmp, offs, prev, saved_regs_size;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
2017-11-29 14:30:31 +01:00
|
|
|
CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size));
|
|
|
|
set_emit_enter(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 2);
|
|
|
|
if (saved_regs_size & 0x8)
|
|
|
|
saved_regs_size += sizeof(sljit_sw);
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
local_size = (local_size + 15) & ~0xf;
|
2018-03-13 13:05:48 +01:00
|
|
|
compiler->local_size = local_size + saved_regs_size;
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)
|
|
|
|
| RN(SLJIT_SP) | ((-(saved_regs_size >> 3) & 0x7f) << 15)));
|
|
|
|
|
|
|
|
#ifdef _WIN32
|
|
|
|
if (local_size >= 4096)
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));
|
|
|
|
else if (local_size > 256)
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(SLJIT_SP) | (local_size << 10)));
|
|
|
|
#endif
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
tmp = saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - saveds) : SLJIT_FIRST_SAVED_REG;
|
|
|
|
prev = -1;
|
2018-03-13 13:05:48 +01:00
|
|
|
offs = 2 << 15;
|
2014-09-30 09:08:35 +02:00
|
|
|
for (i = SLJIT_S0; i >= tmp; i--) {
|
|
|
|
if (prev == -1) {
|
2018-03-13 13:05:48 +01:00
|
|
|
prev = i;
|
2014-09-30 09:08:35 +02:00
|
|
|
continue;
|
|
|
|
}
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));
|
2014-09-30 09:08:35 +02:00
|
|
|
offs += 2 << 15;
|
|
|
|
prev = -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {
|
|
|
|
if (prev == -1) {
|
2018-03-13 13:05:48 +01:00
|
|
|
prev = i;
|
2014-09-30 09:08:35 +02:00
|
|
|
continue;
|
|
|
|
}
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));
|
2014-09-30 09:08:35 +02:00
|
|
|
offs += 2 << 15;
|
|
|
|
prev = -1;
|
|
|
|
}
|
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
if (prev != -1)
|
|
|
|
FAIL_IF(push_inst(compiler, STRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5)));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(TMP_FP) | RN(SLJIT_SP) | (0 << 10)));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
args = get_arg_count(arg_types);
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
if (args >= 1)
|
|
|
|
FAIL_IF(push_inst(compiler, ORR | RD(SLJIT_S0) | RN(TMP_ZERO) | RM(SLJIT_R0)));
|
|
|
|
if (args >= 2)
|
|
|
|
FAIL_IF(push_inst(compiler, ORR | RD(SLJIT_S1) | RN(TMP_ZERO) | RM(SLJIT_R1)));
|
|
|
|
if (args >= 3)
|
|
|
|
FAIL_IF(push_inst(compiler, ORR | RD(SLJIT_S2) | RN(TMP_ZERO) | RM(SLJIT_R2)));
|
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
#ifdef _WIN32
|
|
|
|
if (local_size >= 4096) {
|
|
|
|
if (local_size < 4 * 4096) {
|
|
|
|
/* No need for a loop. */
|
|
|
|
if (local_size >= 2 * 4096) {
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(TMP_REG1) | (1 << 10) | (1 << 22)));
|
|
|
|
local_size -= 4096;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (local_size >= 2 * 4096) {
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(TMP_REG1) | (1 << 10) | (1 << 22)));
|
|
|
|
local_size -= 4096;
|
|
|
|
}
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
local_size -= 4096;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
FAIL_IF(push_inst(compiler, MOVZ | RD(TMP_REG2) | (((local_size >> 12) - 1) << 5)));
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(TMP_REG1) | (1 << 10) | (1 << 22)));
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | (1 << 29) | RD(TMP_REG2) | RN(TMP_REG2) | (1 << 10)));
|
|
|
|
FAIL_IF(push_inst(compiler, B_CC | ((((sljit_ins) -3) & 0x7ffff) << 5) | 0x1 /* not-equal */));
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
|
|
|
|
local_size &= 0xfff;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (local_size > 256) {
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(TMP_REG1) | RN(TMP_REG1) | (local_size << 10)));
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
}
|
|
|
|
else if (local_size > 0)
|
|
|
|
FAIL_IF(push_inst(compiler, LDR_PRE | RT(TMP_ZERO) | RN(TMP_REG1) | ((-local_size & 0x1ff) << 12)));
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(TMP_REG1) | (0 << 10)));
|
|
|
|
}
|
|
|
|
else if (local_size > 256) {
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(TMP_REG1)));
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(TMP_REG1) | (0 << 10)));
|
|
|
|
}
|
|
|
|
else if (local_size > 0)
|
|
|
|
FAIL_IF(push_inst(compiler, LDR_PRE | RT(TMP_ZERO) | RN(SLJIT_SP) | ((-local_size & 0x1ff) << 12)));
|
|
|
|
|
|
|
|
#else /* !_WIN32 */
|
|
|
|
|
|
|
|
/* The local_size does not include saved registers size. */
|
|
|
|
if (local_size > 0xfff) {
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((local_size >> 12) << 10) | (1 << 22)));
|
|
|
|
local_size &= 0xfff;
|
|
|
|
}
|
|
|
|
if (local_size != 0)
|
|
|
|
FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (local_size << 10)));
|
|
|
|
|
|
|
|
#endif /* _WIN32 */
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,
|
2017-11-29 14:30:31 +01:00
|
|
|
sljit_s32 options, sljit_s32 arg_types, sljit_s32 scratches, sljit_s32 saveds,
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2018-03-13 13:05:48 +01:00
|
|
|
sljit_s32 saved_regs_size;
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
CHECK_ERROR();
|
2017-11-29 14:30:31 +01:00
|
|
|
CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size));
|
|
|
|
set_set_context(compiler, options, arg_types, scratches, saveds, fscratches, fsaveds, local_size);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 2);
|
|
|
|
if (saved_regs_size & 0x8)
|
|
|
|
saved_regs_size += sizeof(sljit_sw);
|
|
|
|
|
|
|
|
compiler->local_size = saved_regs_size + ((local_size + 15) & ~0xf);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 local_size;
|
|
|
|
sljit_s32 i, tmp, offs, prev, saved_regs_size;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_return(compiler, op, src, srcw));
|
|
|
|
|
|
|
|
FAIL_IF(emit_mov_before_return(compiler, op, src, srcw));
|
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
saved_regs_size = GET_SAVED_REGISTERS_SIZE(compiler->scratches, compiler->saveds, 2);
|
|
|
|
if (saved_regs_size & 0x8)
|
|
|
|
saved_regs_size += sizeof(sljit_sw);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
local_size = compiler->local_size - saved_regs_size;
|
|
|
|
|
|
|
|
/* Load LR as early as possible. */
|
|
|
|
if (local_size == 0)
|
|
|
|
FAIL_IF(push_inst(compiler, LDP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));
|
|
|
|
else if (local_size < 63 * sizeof(sljit_sw)) {
|
|
|
|
FAIL_IF(push_inst(compiler, LDP_PRE | RT(TMP_FP) | RT2(TMP_LR)
|
|
|
|
| RN(SLJIT_SP) | (local_size << (15 - 3))));
|
|
|
|
}
|
2014-09-30 09:08:35 +02:00
|
|
|
else {
|
|
|
|
if (local_size > 0xfff) {
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((local_size >> 12) << 10) | (1 << 22)));
|
2014-09-30 09:08:35 +02:00
|
|
|
local_size &= 0xfff;
|
|
|
|
}
|
|
|
|
if (local_size)
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | (local_size << 10)));
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, LDP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
tmp = compiler->saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - compiler->saveds) : SLJIT_FIRST_SAVED_REG;
|
|
|
|
prev = -1;
|
2018-03-13 13:05:48 +01:00
|
|
|
offs = 2 << 15;
|
2014-09-30 09:08:35 +02:00
|
|
|
for (i = SLJIT_S0; i >= tmp; i--) {
|
|
|
|
if (prev == -1) {
|
2018-03-13 13:05:48 +01:00
|
|
|
prev = i;
|
2014-09-30 09:08:35 +02:00
|
|
|
continue;
|
|
|
|
}
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));
|
2014-09-30 09:08:35 +02:00
|
|
|
offs += 2 << 15;
|
|
|
|
prev = -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (i = compiler->scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {
|
|
|
|
if (prev == -1) {
|
2018-03-13 13:05:48 +01:00
|
|
|
prev = i;
|
2014-09-30 09:08:35 +02:00
|
|
|
continue;
|
|
|
|
}
|
2018-03-13 13:05:48 +01:00
|
|
|
FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));
|
2014-09-30 09:08:35 +02:00
|
|
|
offs += 2 << 15;
|
|
|
|
prev = -1;
|
|
|
|
}
|
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
if (prev != -1)
|
|
|
|
FAIL_IF(push_inst(compiler, LDRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5)));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
/* These two can be executed in parallel. */
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | (saved_regs_size << 10)));
|
|
|
|
return push_inst(compiler, RET | RN(TMP_LR));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Operators */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_ins inv_bits = (op & SLJIT_I32_OP) ? (1 << 31) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_op0(compiler, op));
|
|
|
|
|
|
|
|
op = GET_OPCODE(op);
|
|
|
|
switch (op) {
|
|
|
|
case SLJIT_BREAKPOINT:
|
|
|
|
return push_inst(compiler, BRK);
|
|
|
|
case SLJIT_NOP:
|
|
|
|
return push_inst(compiler, NOP);
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_LMUL_UW:
|
|
|
|
case SLJIT_LMUL_SW:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, ORR | RD(TMP_REG1) | RN(TMP_ZERO) | RM(SLJIT_R0)));
|
|
|
|
FAIL_IF(push_inst(compiler, MADD | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));
|
2016-03-04 09:51:53 +01:00
|
|
|
return push_inst(compiler, (op == SLJIT_LMUL_UW ? UMULH : SMULH) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));
|
|
|
|
case SLJIT_DIVMOD_UW:
|
|
|
|
case SLJIT_DIVMOD_SW:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (ORR ^ inv_bits) | RD(TMP_REG1) | RN(TMP_ZERO) | RM(SLJIT_R0)));
|
2016-03-04 09:51:53 +01:00
|
|
|
FAIL_IF(push_inst(compiler, ((op == SLJIT_DIVMOD_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1)));
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (MADD ^ inv_bits) | RD(SLJIT_R1) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));
|
|
|
|
return push_inst(compiler, (SUB ^ inv_bits) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_DIV_UW:
|
|
|
|
case SLJIT_DIV_SW:
|
|
|
|
return push_inst(compiler, ((op == SLJIT_DIV_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst_r, flags, mem_flags;
|
|
|
|
sljit_s32 op_flags = GET_ALL_FLAGS(op);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));
|
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
ADJUST_LOCAL_OFFSET(src, srcw);
|
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
if (dst == SLJIT_UNUSED && !HAS_FLAGS(op)) {
|
|
|
|
if (op <= SLJIT_MOV_P && (src & SLJIT_MEM)) {
|
|
|
|
SLJIT_ASSERT(reg_map[1] == 0 && reg_map[3] == 2 && reg_map[5] == 4);
|
|
|
|
|
|
|
|
if (op >= SLJIT_MOV_U8 && op <= SLJIT_MOV_S8)
|
|
|
|
dst = 5;
|
|
|
|
else if (op >= SLJIT_MOV_U16 && op <= SLJIT_MOV_S16)
|
|
|
|
dst = 3;
|
|
|
|
else
|
|
|
|
dst = 1;
|
|
|
|
|
|
|
|
/* Signed word sized load is the prefetch instruction. */
|
2018-01-05 10:30:45 +01:00
|
|
|
return emit_op_mem(compiler, WORD_SIZE | SIGNED, dst, src, srcw, TMP_REG1);
|
2017-05-07 09:10:16 +02:00
|
|
|
}
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
dst_r = SLOW_IS_REG(dst) ? dst : TMP_REG1;
|
|
|
|
|
|
|
|
op = GET_OPCODE(op);
|
2018-01-05 10:30:45 +01:00
|
|
|
if (op >= SLJIT_MOV && op <= SLJIT_MOV_P) {
|
|
|
|
/* Both operands are registers. */
|
|
|
|
if (dst_r != TMP_REG1 && FAST_IS_REG(src))
|
|
|
|
return emit_op_imm(compiler, op | ((op_flags & SLJIT_I32_OP) ? INT_OP : 0), dst_r, TMP_REG1, src);
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
switch (op) {
|
|
|
|
case SLJIT_MOV:
|
|
|
|
case SLJIT_MOV_P:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = WORD_SIZE;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U8:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = BYTE_SIZE;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_u8)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S8:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = BYTE_SIZE | SIGNED;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_s8)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U16:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = HALF_SIZE;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_u16)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S16:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = HALF_SIZE | SIGNED;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_s16)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_U32:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = INT_SIZE;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_u32)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
2016-02-29 10:09:40 +01:00
|
|
|
case SLJIT_MOV_S32:
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = INT_SIZE | SIGNED;
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src & SLJIT_IMM)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_s32)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
|
|
|
default:
|
2017-02-15 08:27:08 +01:00
|
|
|
SLJIT_UNREACHABLE();
|
2018-01-05 10:30:45 +01:00
|
|
|
mem_flags = 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (src & SLJIT_IMM)
|
|
|
|
FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG1, srcw));
|
2018-01-05 10:30:45 +01:00
|
|
|
else if (!(src & SLJIT_MEM))
|
2014-09-30 09:08:35 +02:00
|
|
|
dst_r = src;
|
2018-01-05 10:30:45 +01:00
|
|
|
else
|
|
|
|
FAIL_IF(emit_op_mem(compiler, mem_flags, dst_r, src, srcw, TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (dst & SLJIT_MEM)
|
|
|
|
return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2017-02-15 08:27:08 +01:00
|
|
|
flags = HAS_FLAGS(op_flags) ? SET_FLAGS : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
mem_flags = WORD_SIZE;
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
if (op_flags & SLJIT_I32_OP) {
|
2014-09-30 09:08:35 +02:00
|
|
|
flags |= INT_OP;
|
|
|
|
mem_flags = INT_SIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (dst == SLJIT_UNUSED)
|
|
|
|
flags |= UNUSED_RETURN;
|
|
|
|
|
|
|
|
if (src & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src, srcw, TMP_REG2));
|
2014-09-30 09:08:35 +02:00
|
|
|
src = TMP_REG2;
|
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
emit_op_imm(compiler, flags | op, dst_r, TMP_REG1, src);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (SLJIT_UNLIKELY(dst & SLJIT_MEM))
|
|
|
|
return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src1, sljit_sw src1w,
|
|
|
|
sljit_s32 src2, sljit_sw src2w)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst_r, flags, mem_flags;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_op2(compiler, op, dst, dstw, src1, src1w, src2, src2w));
|
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
ADJUST_LOCAL_OFFSET(src1, src1w);
|
|
|
|
ADJUST_LOCAL_OFFSET(src2, src2w);
|
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
if (dst == SLJIT_UNUSED && !HAS_FLAGS(op))
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
dst_r = SLOW_IS_REG(dst) ? dst : TMP_REG1;
|
2017-02-15 08:27:08 +01:00
|
|
|
flags = HAS_FLAGS(op) ? SET_FLAGS : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
mem_flags = WORD_SIZE;
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
if (op & SLJIT_I32_OP) {
|
2014-09-30 09:08:35 +02:00
|
|
|
flags |= INT_OP;
|
|
|
|
mem_flags = INT_SIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (dst == SLJIT_UNUSED)
|
|
|
|
flags |= UNUSED_RETURN;
|
|
|
|
|
|
|
|
if (src1 & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, src1, src1w, TMP_REG1));
|
|
|
|
src1 = TMP_REG1;
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (src2 & SLJIT_MEM) {
|
|
|
|
FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src2, src2w, TMP_REG2));
|
2014-09-30 09:08:35 +02:00
|
|
|
src2 = TMP_REG2;
|
2018-01-05 10:30:45 +01:00
|
|
|
}
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
if (src1 & SLJIT_IMM)
|
|
|
|
flags |= ARG1_IMM;
|
|
|
|
else
|
|
|
|
src1w = src1;
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src2 & SLJIT_IMM)
|
|
|
|
flags |= ARG2_IMM;
|
|
|
|
else
|
|
|
|
src2w = src2;
|
|
|
|
|
|
|
|
emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src1w, src2w);
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (dst & SLJIT_MEM)
|
|
|
|
return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 reg)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
CHECK_REG_INDEX(check_sljit_get_register_index(reg));
|
|
|
|
return reg_map[reg];
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_float_register_index(sljit_s32 reg)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
CHECK_REG_INDEX(check_sljit_get_float_register_index(reg));
|
2017-11-29 14:30:31 +01:00
|
|
|
return freg_map[reg];
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,
|
|
|
|
void *instruction, sljit_s32 size)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_op_custom(compiler, instruction, size));
|
|
|
|
|
|
|
|
return push_inst(compiler, *(sljit_ins*)instruction);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Floating point operators */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_u32 shift = MEM_SIZE_SHIFT(flags);
|
2018-01-05 10:30:45 +01:00
|
|
|
sljit_ins type = (shift << 30);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
SLJIT_ASSERT(arg & SLJIT_MEM);
|
|
|
|
|
|
|
|
if (!(flags & STORE))
|
2018-01-05 10:30:45 +01:00
|
|
|
type |= 0x00400000;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
if (arg & OFFS_REG_MASK) {
|
|
|
|
argw &= 3;
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw == 0 || argw == shift)
|
|
|
|
return push_inst(compiler, STR_FR | type | VT(reg)
|
2014-09-30 09:08:35 +02:00
|
|
|
| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));
|
2018-01-05 10:30:45 +01:00
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw << 10)));
|
|
|
|
return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
arg &= REG_MASK;
|
2018-01-05 10:30:45 +01:00
|
|
|
|
|
|
|
if (arg == SLJIT_UNUSED) {
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, argw & ~(0xfff << shift)));
|
|
|
|
|
|
|
|
argw = (argw >> shift) & 0xfff;
|
|
|
|
|
|
|
|
return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG1) | (argw << 10));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw >= 0 && (argw & ((1 << shift) - 1)) == 0) {
|
|
|
|
if ((argw >> shift) <= 0xfff)
|
|
|
|
return push_inst(compiler, STR_FI | type | VT(reg) | RN(arg) | (argw << (10 - shift)));
|
|
|
|
|
|
|
|
if (argw <= 0xffffff) {
|
|
|
|
FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(TMP_REG1) | RN(arg) | ((argw >> 12) << 10)));
|
|
|
|
|
|
|
|
argw = ((argw & 0xfff) >> shift);
|
|
|
|
return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG1) | (argw << 10));
|
|
|
|
}
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
if (argw <= 255 && argw >= -256)
|
|
|
|
return push_inst(compiler, STUR_FI | type | VT(reg) | RN(arg) | ((argw & 0x1ff) << 12));
|
|
|
|
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, argw));
|
|
|
|
return push_inst(compiler, STR_FR | type | VT(reg) | RN(arg) | RM(TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2016-03-04 09:51:53 +01:00
|
|
|
static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2017-05-07 09:10:16 +02:00
|
|
|
sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
|
2016-03-04 09:51:53 +01:00
|
|
|
sljit_ins inv_bits = (op & SLJIT_F32_OP) ? (1 << 22) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2016-03-04 09:51:53 +01:00
|
|
|
if (GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64)
|
2014-09-30 09:08:35 +02:00
|
|
|
inv_bits |= (1 << 31);
|
|
|
|
|
|
|
|
if (src & SLJIT_MEM) {
|
2016-03-04 09:51:53 +01:00
|
|
|
emit_fop_mem(compiler, (op & SLJIT_F32_OP) ? INT_SIZE : WORD_SIZE, TMP_FREG1, src, srcw);
|
2014-09-30 09:08:35 +02:00
|
|
|
src = TMP_FREG1;
|
|
|
|
}
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, (FCVTZS ^ inv_bits) | RD(dst_r) | VN(src)));
|
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
if (dst & SLJIT_MEM)
|
2018-01-05 10:30:45 +01:00
|
|
|
return emit_op_mem(compiler, ((GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64) ? INT_SIZE : WORD_SIZE) | STORE, TMP_REG1, dst, dstw, TMP_REG2);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-03-04 09:51:53 +01:00
|
|
|
static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
|
2016-03-04 09:51:53 +01:00
|
|
|
sljit_ins inv_bits = (op & SLJIT_F32_OP) ? (1 << 22) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2016-03-04 09:51:53 +01:00
|
|
|
if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32)
|
2014-09-30 09:08:35 +02:00
|
|
|
inv_bits |= (1 << 31);
|
|
|
|
|
|
|
|
if (src & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
emit_op_mem(compiler, ((GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32) ? INT_SIZE : WORD_SIZE), TMP_REG1, src, srcw, TMP_REG1);
|
2014-09-30 09:08:35 +02:00
|
|
|
src = TMP_REG1;
|
|
|
|
} else if (src & SLJIT_IMM) {
|
|
|
|
#if (defined SLJIT_CONFIG_X86_64 && SLJIT_CONFIG_X86_64)
|
2016-03-04 09:51:53 +01:00
|
|
|
if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32)
|
2016-02-29 10:09:40 +01:00
|
|
|
srcw = (sljit_s32)srcw;
|
2014-09-30 09:08:35 +02:00
|
|
|
#endif
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));
|
|
|
|
src = TMP_REG1;
|
|
|
|
}
|
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, (SCVTF ^ inv_bits) | VD(dst_r) | RN(src)));
|
|
|
|
|
|
|
|
if (dst & SLJIT_MEM)
|
2016-03-04 09:51:53 +01:00
|
|
|
return emit_fop_mem(compiler, ((op & SLJIT_F32_OP) ? INT_SIZE : WORD_SIZE) | STORE, TMP_FREG1, dst, dstw);
|
2014-09-30 09:08:35 +02:00
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 src1, sljit_sw src1w,
|
|
|
|
sljit_s32 src2, sljit_sw src2w)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-03-04 09:51:53 +01:00
|
|
|
sljit_s32 mem_flags = (op & SLJIT_F32_OP) ? INT_SIZE : WORD_SIZE;
|
|
|
|
sljit_ins inv_bits = (op & SLJIT_F32_OP) ? (1 << 22) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
if (src1 & SLJIT_MEM) {
|
|
|
|
emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w);
|
|
|
|
src1 = TMP_FREG1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (src2 & SLJIT_MEM) {
|
|
|
|
emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w);
|
|
|
|
src2 = TMP_FREG2;
|
|
|
|
}
|
|
|
|
|
|
|
|
return push_inst(compiler, (FCMP ^ inv_bits) | VN(src1) | VM(src2));
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-03-04 09:51:53 +01:00
|
|
|
sljit_s32 dst_r, mem_flags = (op & SLJIT_F32_OP) ? INT_SIZE : WORD_SIZE;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_ins inv_bits;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
SLJIT_COMPILE_ASSERT((INT_SIZE ^ 0x1) == WORD_SIZE, must_be_one_bit_difference);
|
2014-09-30 09:08:35 +02:00
|
|
|
SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);
|
|
|
|
|
2016-03-04 09:51:53 +01:00
|
|
|
inv_bits = (op & SLJIT_F32_OP) ? (1 << 22) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
|
|
|
|
|
|
|
|
if (src & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
emit_fop_mem(compiler, (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_F32) ? (mem_flags ^ 0x1) : mem_flags, dst_r, src, srcw);
|
2014-09-30 09:08:35 +02:00
|
|
|
src = dst_r;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (GET_OPCODE(op)) {
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_MOV_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
if (src != dst_r) {
|
|
|
|
if (dst_r != TMP_FREG1)
|
|
|
|
FAIL_IF(push_inst(compiler, (FMOV ^ inv_bits) | VD(dst_r) | VN(src)));
|
|
|
|
else
|
|
|
|
dst_r = src;
|
|
|
|
}
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_NEG_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FNEG ^ inv_bits) | VD(dst_r) | VN(src)));
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_ABS_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FABS ^ inv_bits) | VD(dst_r) | VN(src)));
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_CONV_F64_FROM_F32:
|
|
|
|
FAIL_IF(push_inst(compiler, FCVT | ((op & SLJIT_F32_OP) ? (1 << 22) : (1 << 15)) | VD(dst_r) | VN(src)));
|
2014-09-30 09:08:35 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (dst & SLJIT_MEM)
|
|
|
|
return emit_fop_mem(compiler, mem_flags | STORE, dst_r, dst, dstw);
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 src1, sljit_sw src1w,
|
|
|
|
sljit_s32 src2, sljit_sw src2w)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2016-03-04 09:51:53 +01:00
|
|
|
sljit_s32 dst_r, mem_flags = (op & SLJIT_F32_OP) ? INT_SIZE : WORD_SIZE;
|
|
|
|
sljit_ins inv_bits = (op & SLJIT_F32_OP) ? (1 << 22) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));
|
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
ADJUST_LOCAL_OFFSET(src1, src1w);
|
|
|
|
ADJUST_LOCAL_OFFSET(src2, src2w);
|
|
|
|
|
|
|
|
dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;
|
|
|
|
if (src1 & SLJIT_MEM) {
|
|
|
|
emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w);
|
|
|
|
src1 = TMP_FREG1;
|
|
|
|
}
|
|
|
|
if (src2 & SLJIT_MEM) {
|
|
|
|
emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w);
|
|
|
|
src2 = TMP_FREG2;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (GET_OPCODE(op)) {
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_ADD_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FADD ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_SUB_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FSUB ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_MUL_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FMUL ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));
|
|
|
|
break;
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_DIV_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
FAIL_IF(push_inst(compiler, (FDIV ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!(dst & SLJIT_MEM))
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
return emit_fop_mem(compiler, mem_flags | STORE, TMP_FREG1, dst, dstw);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Other instructions */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_fast_enter(compiler, dst, dstw));
|
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
|
|
|
|
if (FAST_IS_REG(dst))
|
|
|
|
return push_inst(compiler, ORR | RD(dst) | RN(TMP_ZERO) | RM(TMP_LR));
|
|
|
|
|
|
|
|
/* Memory. */
|
2018-01-05 10:30:45 +01:00
|
|
|
return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_LR, dst, dstw, TMP_REG1);
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_fast_return(compiler, src, srcw));
|
|
|
|
ADJUST_LOCAL_OFFSET(src, srcw);
|
|
|
|
|
|
|
|
if (FAST_IS_REG(src))
|
|
|
|
FAIL_IF(push_inst(compiler, ORR | RD(TMP_LR) | RN(TMP_ZERO) | RM(src)));
|
2018-01-05 10:30:45 +01:00
|
|
|
else
|
|
|
|
FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_LR, src, srcw, TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
return push_inst(compiler, RET | RN(TMP_LR));
|
|
|
|
}
|
|
|
|
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
/* Conditional instructions */
|
|
|
|
/* --------------------------------------------------------------------- */
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static sljit_uw get_cc(sljit_s32 type)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
switch (type) {
|
|
|
|
case SLJIT_EQUAL:
|
|
|
|
case SLJIT_MUL_NOT_OVERFLOW:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_EQUAL_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x1;
|
|
|
|
|
|
|
|
case SLJIT_NOT_EQUAL:
|
|
|
|
case SLJIT_MUL_OVERFLOW:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_NOT_EQUAL_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x0;
|
|
|
|
|
|
|
|
case SLJIT_LESS:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_LESS_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x2;
|
|
|
|
|
|
|
|
case SLJIT_GREATER_EQUAL:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_GREATER_EQUAL_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x3;
|
|
|
|
|
|
|
|
case SLJIT_GREATER:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_GREATER_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x9;
|
|
|
|
|
|
|
|
case SLJIT_LESS_EQUAL:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_LESS_EQUAL_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x8;
|
|
|
|
|
|
|
|
case SLJIT_SIG_LESS:
|
|
|
|
return 0xa;
|
|
|
|
|
|
|
|
case SLJIT_SIG_GREATER_EQUAL:
|
|
|
|
return 0xb;
|
|
|
|
|
|
|
|
case SLJIT_SIG_GREATER:
|
|
|
|
return 0xd;
|
|
|
|
|
|
|
|
case SLJIT_SIG_LESS_EQUAL:
|
|
|
|
return 0xc;
|
|
|
|
|
|
|
|
case SLJIT_OVERFLOW:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_UNORDERED_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x7;
|
|
|
|
|
|
|
|
case SLJIT_NOT_OVERFLOW:
|
2016-03-04 09:51:53 +01:00
|
|
|
case SLJIT_ORDERED_F64:
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0x6;
|
|
|
|
|
|
|
|
default:
|
2017-02-15 08:27:08 +01:00
|
|
|
SLJIT_UNREACHABLE();
|
2014-09-30 09:08:35 +02:00
|
|
|
return 0xe;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)
|
|
|
|
{
|
|
|
|
struct sljit_label *label;
|
|
|
|
|
|
|
|
CHECK_ERROR_PTR();
|
|
|
|
CHECK_PTR(check_sljit_emit_label(compiler));
|
|
|
|
|
|
|
|
if (compiler->last_label && compiler->last_label->size == compiler->size)
|
|
|
|
return compiler->last_label;
|
|
|
|
|
|
|
|
label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));
|
|
|
|
PTR_FAIL_IF(!label);
|
|
|
|
set_label(label, compiler);
|
|
|
|
return label;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
struct sljit_jump *jump;
|
|
|
|
|
|
|
|
CHECK_ERROR_PTR();
|
|
|
|
CHECK_PTR(check_sljit_emit_jump(compiler, type));
|
|
|
|
|
|
|
|
jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
|
|
|
|
PTR_FAIL_IF(!jump);
|
|
|
|
set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
|
|
|
|
type &= 0xff;
|
|
|
|
|
|
|
|
if (type < SLJIT_JUMP) {
|
|
|
|
jump->flags |= IS_COND;
|
|
|
|
PTR_FAIL_IF(push_inst(compiler, B_CC | (6 << 5) | get_cc(type)));
|
|
|
|
}
|
|
|
|
else if (type >= SLJIT_FAST_CALL)
|
|
|
|
jump->flags |= IS_BL;
|
|
|
|
|
|
|
|
PTR_FAIL_IF(emit_imm64_const(compiler, TMP_REG1, 0));
|
|
|
|
jump->addr = compiler->size;
|
|
|
|
PTR_FAIL_IF(push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG1)));
|
|
|
|
|
|
|
|
return jump;
|
|
|
|
}
|
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 arg_types)
|
|
|
|
{
|
|
|
|
CHECK_ERROR_PTR();
|
|
|
|
CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));
|
|
|
|
|
|
|
|
#if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
|
|
|
|
|| (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
|
|
|
|
compiler->skip_checks = 1;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
return sljit_emit_jump(compiler, type);
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
static SLJIT_INLINE struct sljit_jump* emit_cmp_to0(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
struct sljit_jump *jump;
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_ins inv_bits = (type & SLJIT_I32_OP) ? (1 << 31) : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
SLJIT_ASSERT((type & 0xff) == SLJIT_EQUAL || (type & 0xff) == SLJIT_NOT_EQUAL);
|
|
|
|
ADJUST_LOCAL_OFFSET(src, srcw);
|
|
|
|
|
|
|
|
jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
|
|
|
|
PTR_FAIL_IF(!jump);
|
|
|
|
set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);
|
|
|
|
jump->flags |= IS_CBZ | IS_COND;
|
|
|
|
|
|
|
|
if (src & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
PTR_FAIL_IF(emit_op_mem(compiler, inv_bits ? INT_SIZE : WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
src = TMP_REG1;
|
|
|
|
}
|
|
|
|
else if (src & SLJIT_IMM) {
|
|
|
|
PTR_FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));
|
|
|
|
src = TMP_REG1;
|
|
|
|
}
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_ASSERT(FAST_IS_REG(src));
|
|
|
|
|
|
|
|
if ((type & 0xff) == SLJIT_EQUAL)
|
|
|
|
inv_bits |= 1 << 24;
|
|
|
|
|
|
|
|
PTR_FAIL_IF(push_inst(compiler, (CBZ ^ inv_bits) | (6 << 5) | RT(src)));
|
|
|
|
PTR_FAIL_IF(emit_imm64_const(compiler, TMP_REG1, 0));
|
|
|
|
jump->addr = compiler->size;
|
|
|
|
PTR_FAIL_IF(push_inst(compiler, BR | RN(TMP_REG1)));
|
|
|
|
return jump;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
struct sljit_jump *jump;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));
|
|
|
|
ADJUST_LOCAL_OFFSET(src, srcw);
|
|
|
|
|
|
|
|
if (!(src & SLJIT_IMM)) {
|
|
|
|
if (src & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));
|
2014-09-30 09:08:35 +02:00
|
|
|
src = TMP_REG1;
|
|
|
|
}
|
|
|
|
return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(src));
|
|
|
|
}
|
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
/* These jumps are converted to jump/call instructions when possible. */
|
2014-09-30 09:08:35 +02:00
|
|
|
jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));
|
|
|
|
FAIL_IF(!jump);
|
|
|
|
set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));
|
|
|
|
jump->u.target = srcw;
|
|
|
|
|
|
|
|
FAIL_IF(emit_imm64_const(compiler, TMP_REG1, 0));
|
|
|
|
jump->addr = compiler->size;
|
|
|
|
return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG1));
|
|
|
|
}
|
|
|
|
|
2017-11-29 14:30:31 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 arg_types,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
|
|
|
{
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));
|
|
|
|
|
|
|
|
#if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \
|
|
|
|
|| (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)
|
|
|
|
compiler->skip_checks = 1;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
return sljit_emit_ijump(compiler, type, src, srcw);
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,
|
|
|
|
sljit_s32 dst, sljit_sw dstw,
|
|
|
|
sljit_s32 type)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
2017-05-07 09:10:16 +02:00
|
|
|
sljit_s32 dst_r, src_r, flags, mem_flags;
|
2014-09-30 09:08:35 +02:00
|
|
|
sljit_ins cc;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
2017-05-07 09:10:16 +02:00
|
|
|
CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));
|
2014-09-30 09:08:35 +02:00
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
|
|
|
|
cc = get_cc(type & 0xff);
|
|
|
|
dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
|
|
|
|
|
|
|
|
if (GET_OPCODE(op) < SLJIT_ADD) {
|
|
|
|
FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(dst_r) | RN(TMP_ZERO) | RM(TMP_ZERO)));
|
2018-01-05 10:30:45 +01:00
|
|
|
|
|
|
|
if (dst_r == TMP_REG1) {
|
|
|
|
mem_flags = (GET_OPCODE(op) == SLJIT_MOV ? WORD_SIZE : INT_SIZE) | STORE;
|
|
|
|
return emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG2);
|
|
|
|
}
|
|
|
|
|
|
|
|
return SLJIT_SUCCESS;
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2017-02-15 08:27:08 +01:00
|
|
|
flags = HAS_FLAGS(op) ? SET_FLAGS : 0;
|
2014-09-30 09:08:35 +02:00
|
|
|
mem_flags = WORD_SIZE;
|
2018-01-05 10:30:45 +01:00
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
if (op & SLJIT_I32_OP) {
|
2014-09-30 09:08:35 +02:00
|
|
|
flags |= INT_OP;
|
|
|
|
mem_flags = INT_SIZE;
|
|
|
|
}
|
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
src_r = dst;
|
|
|
|
|
|
|
|
if (dst & SLJIT_MEM) {
|
2018-01-05 10:30:45 +01:00
|
|
|
FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG1));
|
2017-05-07 09:10:16 +02:00
|
|
|
src_r = TMP_REG1;
|
|
|
|
}
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(TMP_ZERO)));
|
2017-05-07 09:10:16 +02:00
|
|
|
emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src_r, TMP_REG2);
|
2014-09-30 09:08:35 +02:00
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
if (dst & SLJIT_MEM)
|
2018-01-05 10:30:45 +01:00
|
|
|
return emit_op_mem(compiler, mem_flags | STORE, TMP_REG1, dst, dstw, TMP_REG2);
|
2017-05-07 09:10:16 +02:00
|
|
|
return SLJIT_SUCCESS;
|
2014-09-30 09:08:35 +02:00
|
|
|
}
|
|
|
|
|
2017-04-26 10:34:09 +02:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_cmov(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 dst_reg,
|
|
|
|
sljit_s32 src, sljit_sw srcw)
|
|
|
|
{
|
|
|
|
sljit_ins inv_bits = (dst_reg & SLJIT_I32_OP) ? (1 << 31) : 0;
|
|
|
|
sljit_ins cc;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_cmov(compiler, type, dst_reg, src, srcw));
|
|
|
|
|
|
|
|
if (SLJIT_UNLIKELY(src & SLJIT_IMM)) {
|
|
|
|
if (dst_reg & SLJIT_I32_OP)
|
|
|
|
srcw = (sljit_s32)srcw;
|
|
|
|
FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));
|
|
|
|
src = TMP_REG1;
|
|
|
|
srcw = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
cc = get_cc(type & 0xff);
|
|
|
|
dst_reg &= ~SLJIT_I32_OP;
|
|
|
|
|
2017-06-15 13:36:18 +02:00
|
|
|
return push_inst(compiler, (CSEL ^ inv_bits) | (cc << 12) | RD(dst_reg) | RN(dst_reg) | RM(src));
|
2017-04-26 10:34:09 +02:00
|
|
|
}
|
|
|
|
|
2018-01-05 10:30:45 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 reg,
|
|
|
|
sljit_s32 mem, sljit_sw memw)
|
|
|
|
{
|
|
|
|
sljit_u32 sign = 0, inst;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));
|
|
|
|
|
|
|
|
if ((mem & OFFS_REG_MASK) || (memw > 255 && memw < -256))
|
|
|
|
return SLJIT_ERR_UNSUPPORTED;
|
|
|
|
|
|
|
|
if (type & SLJIT_MEM_SUPP)
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
|
|
|
|
switch (type & 0xff) {
|
|
|
|
case SLJIT_MOV:
|
|
|
|
case SLJIT_MOV_P:
|
|
|
|
inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;
|
|
|
|
break;
|
|
|
|
case SLJIT_MOV_S8:
|
|
|
|
sign = 1;
|
|
|
|
case SLJIT_MOV_U8:
|
|
|
|
inst = STURBI | (MEM_SIZE_SHIFT(BYTE_SIZE) << 30) | 0x400;
|
|
|
|
break;
|
|
|
|
case SLJIT_MOV_S16:
|
|
|
|
sign = 1;
|
|
|
|
case SLJIT_MOV_U16:
|
|
|
|
inst = STURBI | (MEM_SIZE_SHIFT(HALF_SIZE) << 30) | 0x400;
|
|
|
|
break;
|
|
|
|
case SLJIT_MOV_S32:
|
|
|
|
sign = 1;
|
|
|
|
case SLJIT_MOV_U32:
|
|
|
|
inst = STURBI | (MEM_SIZE_SHIFT(INT_SIZE) << 30) | 0x400;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
SLJIT_UNREACHABLE();
|
|
|
|
inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!(type & SLJIT_MEM_STORE))
|
|
|
|
inst |= sign ? 0x00800000 : 0x00400000;
|
|
|
|
|
|
|
|
if (type & SLJIT_MEM_PRE)
|
|
|
|
inst |= 0x800;
|
|
|
|
|
|
|
|
return push_inst(compiler, inst | RT(reg) | RN(mem & REG_MASK) | ((memw & 0x1ff) << 12));
|
|
|
|
}
|
|
|
|
|
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fmem(struct sljit_compiler *compiler, sljit_s32 type,
|
|
|
|
sljit_s32 freg,
|
|
|
|
sljit_s32 mem, sljit_sw memw)
|
|
|
|
{
|
|
|
|
sljit_u32 inst;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_emit_fmem(compiler, type, freg, mem, memw));
|
|
|
|
|
|
|
|
if ((mem & OFFS_REG_MASK) || (memw > 255 && memw < -256))
|
|
|
|
return SLJIT_ERR_UNSUPPORTED;
|
|
|
|
|
|
|
|
if (type & SLJIT_MEM_SUPP)
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
|
|
|
|
inst = STUR_FI | 0x80000400;
|
|
|
|
|
|
|
|
if (!(type & SLJIT_F32_OP))
|
|
|
|
inst |= 0x40000000;
|
|
|
|
|
|
|
|
if (!(type & SLJIT_MEM_STORE))
|
|
|
|
inst |= 0x00400000;
|
|
|
|
|
|
|
|
if (type & SLJIT_MEM_PRE)
|
|
|
|
inst |= 0x800;
|
|
|
|
|
|
|
|
return push_inst(compiler, inst | VT(freg) | RN(mem & REG_MASK) | ((memw & 0x1ff) << 12));
|
|
|
|
}
|
|
|
|
|
2018-03-13 13:05:48 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)
|
|
|
|
{
|
|
|
|
sljit_s32 dst_reg;
|
|
|
|
sljit_ins ins;
|
|
|
|
|
|
|
|
CHECK_ERROR();
|
|
|
|
CHECK(check_sljit_get_local_base(compiler, dst, dstw, offset));
|
|
|
|
|
|
|
|
SLJIT_ASSERT (SLJIT_LOCALS_OFFSET_BASE == 0);
|
|
|
|
|
|
|
|
dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG1;
|
|
|
|
|
|
|
|
if (offset <= 0xffffff && offset >= -0xffffff) {
|
|
|
|
ins = ADDI;
|
|
|
|
if (offset < 0) {
|
|
|
|
offset = -offset;
|
|
|
|
ins = SUBI;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (offset <= 0xfff)
|
|
|
|
FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | (offset << 10)));
|
|
|
|
else {
|
|
|
|
FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | ((offset & 0xfff000) >> (12 - 10)) | (1 << 22)));
|
|
|
|
|
|
|
|
offset &= 0xfff;
|
|
|
|
if (offset != 0)
|
|
|
|
FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(dst_reg) | (offset << 10)));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
FAIL_IF(load_immediate (compiler, dst_reg, offset));
|
|
|
|
/* Add extended register form. */
|
|
|
|
FAIL_IF(push_inst(compiler, ADDE | (0x3 << 13) | RD(dst_reg) | RN(SLJIT_SP) | RM(dst_reg)));
|
|
|
|
}
|
|
|
|
|
|
|
|
if (SLJIT_UNLIKELY(dst & SLJIT_MEM))
|
|
|
|
return emit_op_mem(compiler, WORD_SIZE | STORE, dst_reg, dst, dstw, TMP_REG1);
|
|
|
|
return SLJIT_SUCCESS;
|
|
|
|
}
|
|
|
|
|
2016-02-29 10:09:40 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw init_value)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
struct sljit_const *const_;
|
2016-02-29 10:09:40 +01:00
|
|
|
sljit_s32 dst_r;
|
2014-09-30 09:08:35 +02:00
|
|
|
|
|
|
|
CHECK_ERROR_PTR();
|
|
|
|
CHECK_PTR(check_sljit_emit_const(compiler, dst, dstw, init_value));
|
|
|
|
ADJUST_LOCAL_OFFSET(dst, dstw);
|
|
|
|
|
|
|
|
const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));
|
|
|
|
PTR_FAIL_IF(!const_);
|
|
|
|
set_const(const_, compiler);
|
|
|
|
|
2017-05-07 09:10:16 +02:00
|
|
|
dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;
|
2014-09-30 09:08:35 +02:00
|
|
|
PTR_FAIL_IF(emit_imm64_const(compiler, dst_r, init_value));
|
|
|
|
|
|
|
|
if (dst & SLJIT_MEM)
|
2018-01-05 10:30:45 +01:00
|
|
|
PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));
|
2014-09-30 09:08:35 +02:00
|
|
|
return const_;
|
|
|
|
}
|
|
|
|
|
2017-01-05 11:01:29 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
sljit_ins* inst = (sljit_ins*)addr;
|
2017-01-05 11:01:29 +01:00
|
|
|
modify_imm64_const(inst, new_target);
|
|
|
|
inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_CACHE_FLUSH(inst, inst + 4);
|
|
|
|
}
|
|
|
|
|
2017-01-05 11:01:29 +01:00
|
|
|
SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)
|
2014-09-30 09:08:35 +02:00
|
|
|
{
|
|
|
|
sljit_ins* inst = (sljit_ins*)addr;
|
|
|
|
modify_imm64_const(inst, new_constant);
|
2017-01-05 11:01:29 +01:00
|
|
|
inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);
|
2014-09-30 09:08:35 +02:00
|
|
|
SLJIT_CACHE_FLUSH(inst, inst + 4);
|
|
|
|
}
|