Path: blob/master/thirdparty/pcre2/deps/sljit/sljit_src/sljitNativeARM_64.c
22129 views
/*1* Stack-less Just-In-Time compiler2*3* Copyright Zoltan Herczeg ([email protected]). All rights reserved.4*5* Redistribution and use in source and binary forms, with or without modification, are6* permitted provided that the following conditions are met:7*8* 1. Redistributions of source code must retain the above copyright notice, this list of9* conditions and the following disclaimer.10*11* 2. Redistributions in binary form must reproduce the above copyright notice, this list12* of conditions and the following disclaimer in the documentation and/or other materials13* provided with the distribution.14*15* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY16* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES17* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT18* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,19* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED20* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR21* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN22* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN23* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.24*/2526#ifdef __ARM_FEATURE_ATOMICS27#define ARM_ATOMIC_INFO " (LSE)"28#else29#define ARM_ATOMIC_INFO ""30#endif3132SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)33{34return "ARM-64" ARM_ATOMIC_INFO SLJIT_CPUINFO;35}3637/* Length of an instruction word */38typedef sljit_u32 sljit_ins;3940#define TMP_ZERO (0)4142#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)43#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)44#define TMP_LR (SLJIT_NUMBER_OF_REGISTERS + 4)45#define TMP_FP (SLJIT_NUMBER_OF_REGISTERS + 5)4647#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)48#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)4950/* r18 - platform register, currently not used */51static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 8] = {5231, 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, 2953};5455static const sljit_u8 freg_map[SLJIT_NUMBER_OF_FLOAT_REGISTERS + 3] = {560, 0, 1, 2, 3, 4, 5, 6, 7, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 15, 14, 13, 12, 11, 10, 9, 8, 30, 3157};5859#define W_OP ((sljit_ins)1 << 31)60#define RD(rd) ((sljit_ins)reg_map[rd])61#define RT(rt) ((sljit_ins)reg_map[rt])62#define RN(rn) ((sljit_ins)reg_map[rn] << 5)63#define RT2(rt2) ((sljit_ins)reg_map[rt2] << 10)64#define RM(rm) ((sljit_ins)reg_map[rm] << 16)65#define VD(vd) ((sljit_ins)freg_map[vd])66#define VT(vt) ((sljit_ins)freg_map[vt])67#define VT2(vt) ((sljit_ins)freg_map[vt] << 10)68#define VN(vn) ((sljit_ins)freg_map[vn] << 5)69#define VM(vm) ((sljit_ins)freg_map[vm] << 16)7071/* --------------------------------------------------------------------- */72/* Instruction forms */73/* --------------------------------------------------------------------- */7475#define ADC 0x9a00000076#define ADD 0x8b00000077#define ADDE 0x8b20000078#define ADDI 0x9100000079#define ADR 0x1000000080#define ADRP 0x9000000081#define AND 0x8a00000082#define ANDI 0x9200000083#define AND_v 0x0e201c0084#define ASRV 0x9ac0280085#define B 0x1400000086#define B_CC 0x5400000087#define BL 0x9400000088#define BLR 0xd63f000089#define BR 0xd61f000090#define BRK 0xd420000091#define CAS 0xc8a07c0092#define CASB 0x08a07c0093#define CASH 0x48a07c0094#define CBZ 0xb400000095#define CCMPI 0xfa40080096#define CLZ 0xdac0100097#define CSEL 0x9a80000098#define CSINC 0x9a80040099#define CSINV 0xda800000100#define DMB_SY 0xd5033fbf101#define DUP_e 0x0e000400102#define DUP_g 0x0e000c00103#define EOR 0xca000000104#define EOR_v 0x2e201c00105#define EORI 0xd2000000106#define EXTR 0x93c00000107#define FABS 0x1e60c000108#define FADD 0x1e602800109#define FCMP 0x1e602000110#define FCSEL 0x1e600c00111#define FCVT 0x1e224000112#define FCVTL 0x0e217800113#define FCVTZS 0x9e780000114#define FDIV 0x1e601800115#define FMOV 0x1e604000116#define FMOV_R 0x9e660000117#define FMOV_I 0x1e601000118#define FMUL 0x1e600800119#define FNEG 0x1e614000120#define FSUB 0x1e603800121#define INS 0x4e001c00122#define INS_e 0x6e000400123#define LD1 0x0c407000124#define LD1_s 0x0d400000125#define LD1R 0x0d40c000126#define LDRI 0xf9400000127#define LDRI_F64 0xfd400000128#define LDRI_POST 0xf8400400129#define LDP 0xa9400000130#define LDP_F64 0x6d400000131#define LDP_POST 0xa8c00000132#define LDR_PRE 0xf8400c00133#define LDXR 0xc85f7c00134#define LDXRB 0x085f7c00135#define LDXRH 0x485f7c00136#define LSLV 0x9ac02000137#define LSRV 0x9ac02400138#define MADD 0x9b000000139#define MOVI 0x0f000400140#define MOVK 0xf2800000141#define MOVN 0x92800000142#define MOVZ 0xd2800000143#define NOP 0xd503201f144#define ORN 0xaa200000145#define ORR 0xaa000000146#define ORR_v 0x0ea01c00147#define ORRI 0xb2000000148#define RBIT 0xdac00000149#define RET 0xd65f0000150#define REV 0xdac00c00151#define REV16 0xdac00400152#define RORV 0x9ac02c00153#define SBC 0xda000000154#define SBFM 0x93400000155#define SCVTF 0x9e620000156#define SDIV 0x9ac00c00157#define SMADDL 0x9b200000158#define SMOV 0x0e002c00159#define SMULH 0x9b403c00160#define SSHLL 0x0f00a400161#define ST1 0x0c007000162#define ST1_s 0x0d000000163#define STP 0xa9000000164#define STP_F64 0x6d000000165#define STP_PRE 0xa9800000166#define STRB 0x38206800167#define STRBI 0x39000000168#define STRI 0xf9000000169#define STRI_F64 0xfd000000170#define STR_FI 0x3d000000171#define STR_FR 0x3c206800172#define STUR_FI 0x3c000000173#define STURBI 0x38000000174#define STXR 0xc8007c00175#define STXRB 0x8007c00176#define STXRH 0x48007c00177#define SUB 0xcb000000178#define SUBI 0xd1000000179#define SUBS 0xeb000000180#define TBZ 0x36000000181#define TBL_v 0x0e000000182#define UBFM 0xd3400000183#define UCVTF 0x9e630000184#define UDIV 0x9ac00800185#define UMOV 0x0e003c00186#define UMULH 0x9bc03c00187#define USHLL 0x2f00a400188#define USHR 0x2f000400189#define USRA 0x2f001400190#define XTN 0x0e212800191192#define CSET (CSINC | RM(TMP_ZERO) | RN(TMP_ZERO))193#define LDR (STRI | (1 << 22))194#define LDRB (STRBI | (1 << 22))195#define LDRH (LDRB | (1 << 30))196#define MOV (ORR | RN(TMP_ZERO))197198static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins ins)199{200sljit_ins *ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));201FAIL_IF(!ptr);202*ptr = ins;203compiler->size++;204return SLJIT_SUCCESS;205}206207static SLJIT_INLINE sljit_s32 emit_imm64_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)208{209FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)(imm & 0xffff) << 5)));210FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)(imm >> 16) & 0xffff) << 5) | (1 << 21)));211FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)(imm >> 32) & 0xffff) << 5) | (2 << 21)));212return push_inst(compiler, MOVK | RD(dst) | ((sljit_ins)(imm >> 48) << 5) | (3 << 21));213}214215static SLJIT_INLINE sljit_ins* detect_jump_type(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)216{217sljit_sw diff;218sljit_uw target_addr;219sljit_uw jump_addr = (sljit_uw)code_ptr;220sljit_uw orig_addr = jump->addr;221SLJIT_UNUSED_ARG(executable_offset);222223jump->addr = jump_addr;224if (jump->flags & SLJIT_REWRITABLE_JUMP)225goto exit;226227if (jump->flags & JUMP_ADDR)228target_addr = jump->u.target;229else {230SLJIT_ASSERT(jump->u.label != NULL);231target_addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);232233if (jump->u.label->size > orig_addr)234jump_addr = (sljit_uw)(code + orig_addr);235}236237diff = (sljit_sw)target_addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);238239if (jump->flags & IS_COND) {240diff += SSIZE_OF(ins);241if (diff <= 0xfffff && diff >= -0x100000) {242*(--code_ptr) ^= (jump->flags & IS_CBZ) ? (0x1 << 24) : 0x1;243jump->flags |= PATCH_COND;244jump->addr -= sizeof(sljit_ins);245return code_ptr;246}247diff -= SSIZE_OF(ins);248}249250if (diff <= 0x7ffffff && diff >= -0x8000000) {251if (jump->flags & IS_COND)252code_ptr[-1] -= (4 << 5);253jump->flags |= PATCH_B;254return code_ptr;255}256257if (target_addr < 0x100000000l) {258if (jump->flags & IS_COND)259code_ptr[-1] -= (2 << 5);260code_ptr[2] = code_ptr[0];261return code_ptr + 2;262}263264if (diff <= 0xfffff000l && diff >= -0x100000000l) {265if (jump->flags & IS_COND)266code_ptr[-1] -= (2 << 5);267jump->flags |= PATCH_B32;268code_ptr[2] = code_ptr[0];269return code_ptr + 2;270}271272if (target_addr < 0x1000000000000l) {273if (jump->flags & IS_COND)274code_ptr[-1] -= (1 << 5);275jump->flags |= PATCH_ABS48;276code_ptr[3] = code_ptr[0];277return code_ptr + 3;278}279280exit:281jump->flags |= PATCH_ABS64;282code_ptr[4] = code_ptr[0];283return code_ptr + 4;284}285286static SLJIT_INLINE sljit_sw mov_addr_get_length(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)287{288sljit_uw addr;289sljit_uw jump_addr = (sljit_uw)code_ptr;290sljit_sw diff;291SLJIT_UNUSED_ARG(executable_offset);292293SLJIT_ASSERT(jump->flags < ((sljit_uw)4 << JUMP_SIZE_SHIFT));294if (jump->flags & JUMP_ADDR)295addr = jump->u.target;296else {297addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);298299if (jump->u.label->size > jump->addr)300jump_addr = (sljit_uw)(code + jump->addr);301}302303diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);304305if (diff <= 0xfffff && diff >= -0x100000) {306jump->flags |= PATCH_B;307return 0;308}309310if (diff <= 0xfffff000l && diff >= -0x100000000l) {311SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));312jump->flags |= PATCH_B32;313return 1;314}315316if (addr < 0x100000000l) {317SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));318return 1;319}320321if (addr < 0x1000000000000l) {322SLJIT_ASSERT(jump->flags >= ((sljit_uw)2 << JUMP_SIZE_SHIFT));323jump->flags |= PATCH_ABS48;324return 2;325}326327SLJIT_ASSERT(jump->flags >= ((sljit_uw)3 << JUMP_SIZE_SHIFT));328jump->flags |= PATCH_ABS64;329return 3;330}331332static SLJIT_INLINE void generate_jump_or_mov_addr(struct sljit_jump *jump, sljit_sw executable_offset)333{334sljit_sw addr = (sljit_sw)((jump->flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr);335sljit_ins* buf_ptr = (sljit_ins*)jump->addr;336sljit_u32 dst;337SLJIT_UNUSED_ARG(executable_offset);338339if (!(jump->flags & JUMP_MOV_ADDR)) {340if (jump->flags & PATCH_COND) {341addr = (addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;342SLJIT_ASSERT(addr <= 0x3ffff && addr >= -0x40000);343buf_ptr[0] = (buf_ptr[0] & ~(sljit_ins)0xffffe0) | (sljit_ins)((addr & 0x7ffff) << 5);344return;345}346347if (jump->flags & PATCH_B) {348addr = (addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;349SLJIT_ASSERT(addr <= 0x1ffffff && addr >= -0x2000000);350buf_ptr[0] = ((jump->flags & IS_BL) ? BL : B) | (sljit_ins)(addr & 0x3ffffff);351return;352}353354dst = (buf_ptr[0] >> 5) & 0x1f;355356if (jump->flags & PATCH_B32) {357addr -= (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset) & ~(sljit_sw)0xfff;358SLJIT_ASSERT(addr <= 0xfffff000l && addr >= -0x100000000l);359buf_ptr[0] = ADRP | (((sljit_ins)(addr >> 12) & 0x3) << 29) | (((sljit_ins)(addr >> 14) & 0x7ffff) << 5) | dst;360buf_ptr[1] = ADDI | dst | (dst << 5) | ((sljit_ins)(addr & 0xfff) << 10);361return;362}363} else {364dst = *buf_ptr;365366if (jump->flags & PATCH_B) {367addr -= (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset);368SLJIT_ASSERT(addr <= 0xfffff && addr >= -0x100000);369buf_ptr[0] = ADR | (((sljit_ins)addr & 0x3) << 29) | (((sljit_ins)(addr >> 2) & 0x7ffff) << 5) | dst;370return;371}372373if (jump->flags & PATCH_B32) {374addr -= ((sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) & ~(sljit_sw)0xfff;375SLJIT_ASSERT(addr <= 0xffffffffl && addr >= -0x100000000l);376buf_ptr[0] = ADRP | (((sljit_ins)(addr >> 12) & 0x3) << 29) | (((sljit_ins)(addr >> 14) & 0x7ffff) << 5) | dst;377buf_ptr[1] = ADDI | dst | (dst << 5) | ((sljit_ins)(addr & 0xfff) << 10);378return;379}380}381382SLJIT_ASSERT((jump->flags & (PATCH_ABS48 | PATCH_ABS64)) || (sljit_uw)addr <= (sljit_uw)0xffffffff);383SLJIT_ASSERT((jump->flags & PATCH_ABS64) || (sljit_uw)addr <= (sljit_uw)0xffffffffffff);384385buf_ptr[0] = MOVZ | (((sljit_ins)addr & 0xffff) << 5) | dst;386buf_ptr[1] = MOVK | (((sljit_ins)(addr >> 16) & 0xffff) << 5) | (1 << 21) | dst;387if (jump->flags & (PATCH_ABS48 | PATCH_ABS64))388buf_ptr[2] = MOVK | (((sljit_ins)(addr >> 32) & 0xffff) << 5) | (2 << 21) | dst;389390if (jump->flags & PATCH_ABS64)391buf_ptr[3] = MOVK | ((sljit_ins)((sljit_uw)addr >> 48) << 5) | (3 << 21) | dst;392}393394static SLJIT_INLINE sljit_ins *process_extended_label(sljit_ins *code_ptr, struct sljit_extended_label *ext_label)395{396SLJIT_ASSERT(ext_label->label.u.index == SLJIT_LABEL_ALIGNED);397return (sljit_ins*)((sljit_uw)code_ptr & ~(ext_label->data));398}399400static void reduce_code_size(struct sljit_compiler *compiler)401{402struct sljit_label *label;403struct sljit_jump *jump;404struct sljit_const *const_;405SLJIT_NEXT_DEFINE_TYPES;406sljit_uw total_size;407sljit_uw size_reduce = 0;408sljit_sw diff;409410label = compiler->labels;411jump = compiler->jumps;412const_ = compiler->consts;413SLJIT_NEXT_INIT_TYPES();414415while (1) {416SLJIT_GET_NEXT_MIN();417418if (next_min_addr == SLJIT_MAX_ADDRESS)419break;420421if (next_min_addr == next_label_size) {422label->size -= size_reduce;423424label = label->next;425next_label_size = SLJIT_GET_NEXT_SIZE(label);426}427428if (next_min_addr == next_const_addr) {429const_->addr -= size_reduce;430const_ = const_->next;431next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);432continue;433}434435if (next_min_addr != next_jump_addr)436continue;437438jump->addr -= size_reduce;439if (!(jump->flags & JUMP_MOV_ADDR)) {440total_size = JUMP_MAX_SIZE;441442if (!(jump->flags & SLJIT_REWRITABLE_JUMP)) {443if (jump->flags & JUMP_ADDR) {444if (jump->u.target < 0x100000000l)445total_size = 3;446else if (jump->u.target < 0x1000000000000l)447total_size = 4;448} else {449/* Unit size: instruction. */450diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;451if (jump->u.label->size > jump->addr) {452SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);453diff -= (sljit_sw)size_reduce;454}455456if ((jump->flags & IS_COND) && (diff + 1) <= (0xfffff / SSIZE_OF(ins)) && (diff + 1) >= (-0x100000 / SSIZE_OF(ins)))457total_size = 0;458else if (diff <= (0x7ffffff / SSIZE_OF(ins)) && diff >= (-0x8000000 / SSIZE_OF(ins)))459total_size = 1;460else if (diff <= (0xfffff000l / SSIZE_OF(ins)) && diff >= (-0x100000000l / SSIZE_OF(ins)))461total_size = 3;462}463}464465size_reduce += JUMP_MAX_SIZE - total_size;466} else {467/* Real size minus 1. Unit size: instruction. */468total_size = 3;469470if (!(jump->flags & JUMP_ADDR)) {471diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;472if (jump->u.label->size > jump->addr) {473SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);474diff -= (sljit_sw)size_reduce;475}476477if (diff <= (0xfffff / SSIZE_OF(ins)) && diff >= (-0x100000 / SSIZE_OF(ins)))478total_size = 0;479else if (diff <= (0xfffff000l / SSIZE_OF(ins)) && diff >= (-0x100000000l / SSIZE_OF(ins)))480total_size = 1;481} else if (jump->u.target < 0x100000000l)482total_size = 1;483else if (jump->u.target < 0x1000000000000l)484total_size = 2;485486size_reduce += 3 - total_size;487}488489jump->flags |= total_size << JUMP_SIZE_SHIFT;490jump = jump->next;491next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);492}493494compiler->size -= size_reduce;495}496497SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler, sljit_s32 options, void *exec_allocator_data)498{499struct sljit_memory_fragment *buf;500sljit_ins *code;501sljit_ins *code_ptr;502sljit_ins *buf_ptr;503sljit_ins *buf_end;504sljit_uw word_count;505SLJIT_NEXT_DEFINE_TYPES;506sljit_sw executable_offset;507sljit_sw addr;508509struct sljit_label *label;510struct sljit_jump *jump;511struct sljit_const *const_;512513CHECK_ERROR_PTR();514CHECK_PTR(check_sljit_generate_code(compiler, options));515516reduce_code_size(compiler);517518code = (sljit_ins*)allocate_executable_memory(compiler->size * sizeof(sljit_ins), options, exec_allocator_data, &executable_offset);519PTR_FAIL_WITH_EXEC_IF(code);520521reverse_buf(compiler);522buf = compiler->buf;523524code_ptr = code;525word_count = 0;526label = compiler->labels;527jump = compiler->jumps;528const_ = compiler->consts;529SLJIT_NEXT_INIT_TYPES();530SLJIT_GET_NEXT_MIN();531532do {533buf_ptr = (sljit_ins*)buf->memory;534buf_end = buf_ptr + (buf->used_size >> 2);535do {536*code_ptr = *buf_ptr++;537if (next_min_addr == word_count) {538SLJIT_ASSERT(!label || label->size >= word_count);539SLJIT_ASSERT(!jump || jump->addr >= word_count);540SLJIT_ASSERT(!const_ || const_->addr >= word_count);541542/* These structures are ordered by their address. */543if (next_min_addr == next_label_size) {544if (label->u.index >= SLJIT_LABEL_ALIGNED) {545code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);546*code_ptr = buf_ptr[-1];547}548549label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);550label->size = (sljit_uw)(code_ptr - code);551label = label->next;552next_label_size = SLJIT_GET_NEXT_SIZE(label);553}554555if (next_min_addr == next_jump_addr) {556if (!(jump->flags & JUMP_MOV_ADDR)) {557word_count = word_count - 1 + (jump->flags >> JUMP_SIZE_SHIFT);558code_ptr = detect_jump_type(jump, code_ptr, code, executable_offset);559SLJIT_ASSERT((jump->flags & PATCH_COND) || ((sljit_uw)code_ptr - jump->addr < (jump->flags >> JUMP_SIZE_SHIFT) * sizeof(sljit_ins)));560} else {561word_count += jump->flags >> JUMP_SIZE_SHIFT;562addr = (sljit_sw)code_ptr;563code_ptr += mov_addr_get_length(jump, code_ptr, code, executable_offset);564jump->addr = (sljit_uw)addr;565}566567jump = jump->next;568next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);569} else if (next_min_addr == next_const_addr) {570const_->addr = (sljit_uw)code_ptr;571const_ = const_->next;572next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);573}574575SLJIT_GET_NEXT_MIN();576}577code_ptr++;578word_count++;579} while (buf_ptr < buf_end);580581buf = buf->next;582} while (buf);583584if (label && label->size == word_count) {585if (label->u.index >= SLJIT_LABEL_ALIGNED)586code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);587588label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);589label->size = (sljit_uw)(code_ptr - code);590label = label->next;591}592593SLJIT_ASSERT(!label);594SLJIT_ASSERT(!jump);595SLJIT_ASSERT(!const_);596SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);597598jump = compiler->jumps;599while (jump) {600generate_jump_or_mov_addr(jump, executable_offset);601jump = jump->next;602}603604compiler->error = SLJIT_ERR_COMPILED;605compiler->executable_offset = executable_offset;606compiler->executable_size = (sljit_uw)(code_ptr - code) * sizeof(sljit_ins);607608code = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);609code_ptr = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);610611SLJIT_CACHE_FLUSH(code, code_ptr);612SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);613return code;614}615616SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)617{618switch (feature_type) {619case SLJIT_HAS_FPU:620case SLJIT_HAS_SIMD:621#ifdef SLJIT_IS_FPU_AVAILABLE622return (SLJIT_IS_FPU_AVAILABLE) != 0;623#else624/* Available by default. */625return 1;626#endif627628case SLJIT_HAS_CLZ:629case SLJIT_HAS_CTZ:630case SLJIT_HAS_REV:631case SLJIT_HAS_ROT:632case SLJIT_HAS_CMOV:633case SLJIT_HAS_PREFETCH:634case SLJIT_HAS_COPY_F32:635case SLJIT_HAS_COPY_F64:636case SLJIT_HAS_ATOMIC:637case SLJIT_HAS_MEMORY_BARRIER:638return 1;639640default:641return 0;642}643}644645SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_cmp_info(sljit_s32 type)646{647switch (type) {648case SLJIT_UNORDERED_OR_EQUAL:649case SLJIT_ORDERED_NOT_EQUAL:650return 2;651}652653return 0;654}655656/* --------------------------------------------------------------------- */657/* Core code generator functions. */658/* --------------------------------------------------------------------- */659660#define COUNT_TRAILING_ZERO(value, result) \661result = 0; \662if (!(value & 0xffffffff)) { \663result += 32; \664value >>= 32; \665} \666if (!(value & 0xffff)) { \667result += 16; \668value >>= 16; \669} \670if (!(value & 0xff)) { \671result += 8; \672value >>= 8; \673} \674if (!(value & 0xf)) { \675result += 4; \676value >>= 4; \677} \678if (!(value & 0x3)) { \679result += 2; \680value >>= 2; \681} \682if (!(value & 0x1)) { \683result += 1; \684value >>= 1; \685}686687#define LOGICAL_IMM_CHECK (sljit_ins)0x100688689static sljit_ins logical_imm(sljit_sw imm, sljit_u32 len)690{691sljit_s32 negated;692sljit_u32 ones, right;693sljit_uw mask, uimm;694sljit_ins ins;695696if (len & LOGICAL_IMM_CHECK) {697len &= ~LOGICAL_IMM_CHECK;698if (len == 32 && (imm == 0 || imm == -1))699return 0;700if (len == 16 && ((sljit_s32)imm == 0 || (sljit_s32)imm == -1))701return 0;702}703704SLJIT_ASSERT((len == 32 && imm != 0 && imm != -1)705|| (len == 16 && (sljit_s32)imm != 0 && (sljit_s32)imm != -1));706707uimm = (sljit_uw)imm;708while (1) {709if (len <= 0) {710SLJIT_UNREACHABLE();711return 0;712}713714mask = ((sljit_uw)1 << len) - 1;715if ((uimm & mask) != ((uimm >> len) & mask))716break;717len >>= 1;718}719720len <<= 1;721722negated = 0;723if (uimm & 0x1) {724negated = 1;725uimm = ~uimm;726}727728if (len < 64)729uimm &= ((sljit_uw)1 << len) - 1;730731/* Unsigned right shift. */732COUNT_TRAILING_ZERO(uimm, right);733734/* Signed shift. We also know that the highest bit is set. */735imm = (sljit_sw)~uimm;736SLJIT_ASSERT(imm < 0);737738COUNT_TRAILING_ZERO(imm, ones);739740if (~imm)741return 0;742743if (len == 64)744ins = 1 << 22;745else746ins = (0x3f - ((len << 1) - 1)) << 10;747748if (negated)749return ins | ((len - ones - 1) << 10) | ((len - ones - right) << 16);750751return ins | ((ones - 1) << 10) | ((len - right) << 16);752}753754#undef COUNT_TRAILING_ZERO755756static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw simm)757{758sljit_uw imm = (sljit_uw)simm;759sljit_u32 i, zeros, ones, first;760sljit_ins bitmask;761762/* Handling simple immediates first. */763if (imm <= 0xffff)764return push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)imm << 5));765766if (simm < 0 && simm >= -0x10000)767return push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5));768769if (imm <= 0xffffffffl) {770if ((imm & 0xffff) == 0)771return push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)(imm >> 16) << 5) | (1 << 21));772if ((imm & 0xffff0000l) == 0xffff0000)773return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5));774if ((imm & 0xffff) == 0xffff)775return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | (((sljit_ins)~imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));776777bitmask = logical_imm(simm, 16);778if (bitmask != 0)779return push_inst(compiler, (ORRI ^ W_OP) | RD(dst) | RN(TMP_ZERO) | bitmask);780781FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | (((sljit_ins)imm & 0xffff) << 5)));782return push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));783}784785bitmask = logical_imm(simm, 32);786if (bitmask != 0)787return push_inst(compiler, ORRI | RD(dst) | RN(TMP_ZERO) | bitmask);788789if (simm < 0 && simm >= -0x100000000l) {790if ((imm & 0xffff) == 0xffff)791return push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));792793FAIL_IF(push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5)));794return push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));795}796797/* A large amount of number can be constructed from ORR and MOVx, but computing them is costly. */798799zeros = 0;800ones = 0;801for (i = 4; i > 0; i--) {802if ((simm & 0xffff) == 0)803zeros++;804if ((simm & 0xffff) == 0xffff)805ones++;806simm >>= 16;807}808809simm = (sljit_sw)imm;810first = 1;811if (ones > zeros) {812simm = ~simm;813for (i = 0; i < 4; i++) {814if (!(simm & 0xffff)) {815simm >>= 16;816continue;817}818if (first) {819first = 0;820FAIL_IF(push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));821}822else823FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)~simm & 0xffff) << 5) | (i << 21)));824simm >>= 16;825}826return SLJIT_SUCCESS;827}828829for (i = 0; i < 4; i++) {830if (!(simm & 0xffff)) {831simm >>= 16;832continue;833}834if (first) {835first = 0;836FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));837}838else839FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));840simm >>= 16;841}842return SLJIT_SUCCESS;843}844845#define ARG1_IMM 0x0010000846#define ARG2_IMM 0x0020000847#define INT_OP 0x0040000848#define SET_FLAGS 0x0080000849#define UNUSED_RETURN 0x0100000850851#define CHECK_FLAGS(flag_bits) \852if (flags & SET_FLAGS) { \853inv_bits |= flag_bits; \854if (flags & UNUSED_RETURN) \855dst = TMP_ZERO; \856}857858static sljit_s32 emit_op_imm(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 dst, sljit_sw arg1, sljit_sw arg2)859{860/* dst must be register, TMP_REG1861arg1 must be register, TMP_REG1, imm862arg2 must be register, TMP_REG2, imm */863sljit_ins inv_bits = (flags & INT_OP) ? W_OP : 0;864sljit_ins inst_bits;865sljit_s32 op = (flags & 0xffff);866sljit_s32 reg;867sljit_sw imm, nimm;868869if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {870/* Both are immediates. */871flags &= ~ARG1_IMM;872if (arg1 == 0 && op != SLJIT_ADD && op != SLJIT_SUB)873arg1 = TMP_ZERO;874else {875FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));876arg1 = TMP_REG1;877}878}879880if (flags & (ARG1_IMM | ARG2_IMM)) {881reg = (sljit_s32)((flags & ARG2_IMM) ? arg1 : arg2);882imm = (flags & ARG2_IMM) ? arg2 : arg1;883884switch (op) {885case SLJIT_CLZ:886case SLJIT_CTZ:887case SLJIT_REV:888case SLJIT_REV_U16:889case SLJIT_REV_S16:890case SLJIT_REV_U32:891case SLJIT_REV_S32:892case SLJIT_ADDC:893case SLJIT_SUBC:894case SLJIT_MUL:895case SLJIT_MULADD:896/* No form with immediate operand (except imm 0, which897is represented by a ZERO register). */898break;899case SLJIT_MOV:900SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG1);901return load_immediate(compiler, dst, imm);902case SLJIT_SUB:903compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;904if (flags & ARG1_IMM)905break;906imm = -imm;907SLJIT_FALLTHROUGH908case SLJIT_ADD:909if (op != SLJIT_SUB)910compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;911912if (imm == 0) {913CHECK_FLAGS(1 << 29);914return push_inst(compiler, ((op == SLJIT_ADD ? ADDI : SUBI) ^ inv_bits) | RD(dst) | RN(reg));915}916if (imm > 0 && imm <= 0xfff) {917CHECK_FLAGS(1 << 29);918return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | ((sljit_ins)imm << 10));919}920nimm = -imm;921if (nimm > 0 && nimm <= 0xfff) {922CHECK_FLAGS(1 << 29);923return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | ((sljit_ins)nimm << 10));924}925if (imm > 0 && imm <= 0xffffff && !(imm & 0xfff)) {926CHECK_FLAGS(1 << 29);927return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)imm >> 12) << 10) | (1 << 22));928}929if (nimm > 0 && nimm <= 0xffffff && !(nimm & 0xfff)) {930CHECK_FLAGS(1 << 29);931return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)nimm >> 12) << 10) | (1 << 22));932}933if (imm > 0 && imm <= 0xffffff && !(flags & SET_FLAGS)) {934FAIL_IF(push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)imm >> 12) << 10) | (1 << 22)));935return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(dst) | (((sljit_ins)imm & 0xfff) << 10));936}937if (nimm > 0 && nimm <= 0xffffff && !(flags & SET_FLAGS)) {938FAIL_IF(push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)nimm >> 12) << 10) | (1 << 22)));939return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(dst) | (((sljit_ins)nimm & 0xfff) << 10));940}941break;942case SLJIT_AND:943inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));944if (!inst_bits)945break;946CHECK_FLAGS(3 << 29);947return push_inst(compiler, (ANDI ^ inv_bits) | RD(dst) | RN(reg) | inst_bits);948case SLJIT_XOR:949if (imm == -1) {950FAIL_IF(push_inst(compiler, (ORN ^ inv_bits) | RD(dst) | RN(TMP_ZERO) | RM(reg)));951goto set_flags;952}953SLJIT_FALLTHROUGH954case SLJIT_OR:955inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));956if (!inst_bits)957break;958if (op == SLJIT_OR)959inst_bits |= ORRI;960else961inst_bits |= EORI;962FAIL_IF(push_inst(compiler, (inst_bits ^ inv_bits) | RD(dst) | RN(reg)));963goto set_flags;964case SLJIT_SHL:965case SLJIT_MSHL:966if (flags & ARG1_IMM)967break;968969if (flags & INT_OP) {970imm &= 0x1f;971inst_bits = (((sljit_ins)-imm & 0x1f) << 16) | ((31 - (sljit_ins)imm) << 10);972} else {973imm &= 0x3f;974inst_bits = ((sljit_ins)1 << 22) | (((sljit_ins)-imm & 0x3f) << 16) | ((63 - (sljit_ins)imm) << 10);975}976977inv_bits |= inv_bits >> 9;978FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | inst_bits));979goto set_flags;980case SLJIT_LSHR:981case SLJIT_MLSHR:982case SLJIT_ASHR:983case SLJIT_MASHR:984if (flags & ARG1_IMM)985break;986987inv_bits |= inv_bits >> 9;988if (op >= SLJIT_ASHR)989inv_bits |= 1 << 30;990991if (flags & INT_OP) {992imm &= 0x1f;993inst_bits = ((sljit_ins)imm << 16) | (31 << 10);994} else {995imm &= 0x3f;996inst_bits = ((sljit_ins)1 << 22) | ((sljit_ins)imm << 16) | (63 << 10);997}998999FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | inst_bits));1000goto set_flags;1001case SLJIT_ROTL:1002case SLJIT_ROTR:1003if (flags & ARG1_IMM)1004break;10051006if (op == SLJIT_ROTL)1007imm = -imm;10081009imm &= (flags & INT_OP) ? 0x1f : 0x3f;1010return push_inst(compiler, (EXTR ^ (inv_bits | (inv_bits >> 9))) | RD(dst) | RN(arg1) | RM(arg1) | ((sljit_ins)imm << 10));1011default:1012SLJIT_UNREACHABLE();1013break;1014}10151016if (flags & ARG2_IMM) {1017if (arg2 == 0)1018arg2 = TMP_ZERO;1019else {1020FAIL_IF(load_immediate(compiler, TMP_REG2, arg2));1021arg2 = TMP_REG2;1022}1023}1024else {1025if (arg1 == 0)1026arg1 = TMP_ZERO;1027else {1028FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));1029arg1 = TMP_REG1;1030}1031}1032}10331034/* Both arguments are registers. */1035switch (op) {1036case SLJIT_MOV:1037case SLJIT_MOV_P:1038SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1039if (dst == arg2)1040return SLJIT_SUCCESS;1041return push_inst(compiler, MOV | RD(dst) | RM(arg2));1042case SLJIT_MOV_U8:1043SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1044inv_bits |= inv_bits >> 9;1045return push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg2) | (7 << 10));1046case SLJIT_MOV_S8:1047SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1048inv_bits |= inv_bits >> 9;1049return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (7 << 10));1050case SLJIT_MOV_U16:1051SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1052inv_bits |= inv_bits >> 9;1053return push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg2) | (15 << 10));1054case SLJIT_MOV_S16:1055SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1056inv_bits |= inv_bits >> 9;1057return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (15 << 10));1058case SLJIT_MOV32:1059SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1060if (dst == arg2)1061return SLJIT_SUCCESS;1062SLJIT_FALLTHROUGH1063case SLJIT_MOV_U32:1064SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1065return push_inst(compiler, (MOV ^ W_OP) | RD(dst) | RM(arg2));1066case SLJIT_MOV_S32:1067SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1068return push_inst(compiler, SBFM | (1 << 22) | RD(dst) | RN(arg2) | (31 << 10));1069case SLJIT_CLZ:1070SLJIT_ASSERT(arg1 == TMP_REG1);1071return push_inst(compiler, (CLZ ^ inv_bits) | RD(dst) | RN(arg2));1072case SLJIT_CTZ:1073SLJIT_ASSERT(arg1 == TMP_REG1);1074FAIL_IF(push_inst(compiler, (RBIT ^ inv_bits) | RD(dst) | RN(arg2)));1075return push_inst(compiler, (CLZ ^ inv_bits) | RD(dst) | RN(dst));1076case SLJIT_REV:1077SLJIT_ASSERT(arg1 == TMP_REG1);1078inv_bits |= inv_bits >> 21;1079return push_inst(compiler, (REV ^ inv_bits) | RD(dst) | RN(arg2));1080case SLJIT_REV_U16:1081case SLJIT_REV_S16:1082SLJIT_ASSERT(arg1 == TMP_REG1 && dst != TMP_REG2);1083FAIL_IF(push_inst(compiler, (REV16 ^ (sljit_ins)0x80000000) | RD(dst) | RN(arg2)));1084if (dst == TMP_REG1 || (arg2 == TMP_REG2 && op == SLJIT_REV_U16))1085return SLJIT_SUCCESS;1086inv_bits |= inv_bits >> 9;1087return push_inst(compiler, ((op == SLJIT_REV_U16 ? UBFM : SBFM) ^ inv_bits) | RD(dst) | RN(dst) | (15 << 10));1088case SLJIT_REV_U32:1089case SLJIT_REV_S32:1090SLJIT_ASSERT(arg1 == TMP_REG1 && dst != TMP_REG2);1091FAIL_IF(push_inst(compiler, (REV ^ (sljit_ins)0x80000400) | RD(dst) | RN(arg2)));1092if (op == SLJIT_REV_U32 || dst == TMP_REG1)1093return SLJIT_SUCCESS;1094return push_inst(compiler, SBFM | (1 << 22) | RD(dst) | RN(dst) | (31 << 10));1095case SLJIT_ADD:1096compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1097CHECK_FLAGS(1 << 29);1098return push_inst(compiler, (ADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1099case SLJIT_ADDC:1100compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1101CHECK_FLAGS(1 << 29);1102return push_inst(compiler, (ADC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1103case SLJIT_SUB:1104compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1105CHECK_FLAGS(1 << 29);1106return push_inst(compiler, (SUB ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1107case SLJIT_SUBC:1108compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1109CHECK_FLAGS(1 << 29);1110return push_inst(compiler, (SBC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1111case SLJIT_MUL:1112compiler->status_flags_state = 0;1113if (!(flags & SET_FLAGS))1114return push_inst(compiler, (MADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO));1115if (flags & INT_OP) {1116FAIL_IF(push_inst(compiler, SMADDL | RD(dst) | RN(arg1) | RM(arg2) | (31 << 10)));1117FAIL_IF(push_inst(compiler, ADD | RD(TMP_LR) | RN(TMP_ZERO) | RM(dst) | (2 << 22) | (31 << 10)));1118return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));1119}1120FAIL_IF(push_inst(compiler, SMULH | RD(TMP_LR) | RN(arg1) | RM(arg2)));1121FAIL_IF(push_inst(compiler, MADD | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO)));1122return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));1123case SLJIT_AND:1124CHECK_FLAGS(3 << 29);1125return push_inst(compiler, (AND ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1126case SLJIT_OR:1127FAIL_IF(push_inst(compiler, (ORR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1128break; /* Set flags. */1129case SLJIT_XOR:1130FAIL_IF(push_inst(compiler, (EOR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1131break; /* Set flags. */1132case SLJIT_SHL:1133case SLJIT_MSHL:1134FAIL_IF(push_inst(compiler, (LSLV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1135break; /* Set flags. */1136case SLJIT_LSHR:1137case SLJIT_MLSHR:1138FAIL_IF(push_inst(compiler, (LSRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1139break; /* Set flags. */1140case SLJIT_ASHR:1141case SLJIT_MASHR:1142FAIL_IF(push_inst(compiler, (ASRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1143break; /* Set flags. */1144case SLJIT_ROTL:1145FAIL_IF(push_inst(compiler, (SUB ^ inv_bits) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(arg2)));1146arg2 = TMP_REG2;1147SLJIT_FALLTHROUGH1148case SLJIT_ROTR:1149return push_inst(compiler, (RORV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1150case SLJIT_MULADD:1151compiler->status_flags_state = 0;1152return push_inst(compiler, (MADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2) | RT2(dst));1153default:1154SLJIT_UNREACHABLE();1155return SLJIT_SUCCESS;1156}11571158set_flags:1159if (flags & SET_FLAGS)1160return push_inst(compiler, (SUBS ^ inv_bits) | RD(TMP_ZERO) | RN(dst) | RM(TMP_ZERO));1161return SLJIT_SUCCESS;1162}11631164#define STORE 0x101165#define SIGNED 0x2011661167#define BYTE_SIZE 0x01168#define HALF_SIZE 0x11169#define INT_SIZE 0x21170#define WORD_SIZE 0x311711172#define MEM_SIZE_SHIFT(flags) ((sljit_ins)(flags) & 0x3)11731174static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,1175sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)1176{1177sljit_u32 shift = MEM_SIZE_SHIFT(flags);1178sljit_u32 type = (shift << 30);11791180if (!(flags & STORE))1181type |= (flags & SIGNED) ? 0x00800000 : 0x00400000;11821183SLJIT_ASSERT(arg & SLJIT_MEM);11841185if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {1186argw &= 0x3;11871188if (argw == 0 || argw == shift)1189return push_inst(compiler, STRB | type | RT(reg)1190| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));11911192FAIL_IF(push_inst(compiler, ADD | RD(tmp_reg) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | ((sljit_ins)argw << 10)));1193return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg));1194}11951196arg &= REG_MASK;11971198if (!arg) {1199FAIL_IF(load_immediate(compiler, tmp_reg, argw & ~(0xfff << shift)));12001201argw = (argw >> shift) & 0xfff;12021203return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1204}12051206if ((argw & ((1 << shift) - 1)) == 0) {1207if (argw >= 0) {1208if ((argw >> shift) <= 0xfff)1209return push_inst(compiler, STRBI | type | RT(reg) | RN(arg) | ((sljit_ins)argw << (10 - shift)));12101211if (argw <= 0xffffff) {1212FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));12131214argw = ((argw & 0xfff) >> shift);1215return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1216}1217} else if (argw < -256 && argw >= -0xfff000) {1218FAIL_IF(push_inst(compiler, SUBI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)(-argw + 0xfff) >> 12) << 10)));1219argw = ((0x1000 + argw) & 0xfff) >> shift;1220return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1221}1222}12231224if (argw <= 0xff && argw >= -0x100)1225return push_inst(compiler, STURBI | type | RT(reg) | RN(arg) | (((sljit_ins)argw & 0x1ff) << 12));12261227if (((argw + 0x100) & 0xfff) <= 0x1ff && argw <= 0xfff0ff && argw >= -0xfff100) {1228if (argw >= 0) {1229if (argw & 0x100)1230argw += 0x1000;12311232FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));1233return push_inst(compiler, STURBI | type | RT(reg) | RN(tmp_reg) | (((sljit_ins)argw & 0x1ff) << 12));1234} else {1235if (!(argw & 0x100))1236argw -= 0x1000;12371238FAIL_IF(push_inst(compiler, SUBI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)-argw >> 12) << 10)));1239return push_inst(compiler, STURBI | type | RT(reg) | RN(tmp_reg) | (((sljit_ins)argw & 0x1ff) << 12));1240}1241}12421243FAIL_IF(load_immediate(compiler, tmp_reg, argw));12441245return push_inst(compiler, STRB | type | RT(reg) | RN(arg) | RM(tmp_reg));1246}12471248/* --------------------------------------------------------------------- */1249/* Entry, exit */1250/* --------------------------------------------------------------------- */12511252SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,1253sljit_s32 options, sljit_s32 arg_types,1254sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1255{1256sljit_s32 fscratches;1257sljit_s32 fsaveds;1258sljit_s32 prev, fprev, saved_regs_size, i, tmp;1259sljit_s32 saved_arg_count = SLJIT_KEPT_SAVEDS_COUNT(options);1260sljit_ins offs;12611262CHECK_ERROR();1263CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, local_size));1264set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);12651266scratches = ENTER_GET_REGS(scratches);1267saveds = ENTER_GET_REGS(saveds);1268fscratches = compiler->fscratches;1269fsaveds = compiler->fsaveds;12701271saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - saved_arg_count, 2);1272saved_regs_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);12731274local_size = (local_size + saved_regs_size + 0xf) & ~0xf;1275compiler->local_size = local_size;12761277if (local_size <= 512) {1278FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1279| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1280offs = (sljit_ins)(local_size - 2 * SSIZE_OF(sw)) << (15 - 3);1281local_size = 0;1282} else {1283saved_regs_size = ((saved_regs_size - 2 * SSIZE_OF(sw)) + 0xf) & ~0xf;12841285FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)saved_regs_size << 10)));1286offs = (sljit_ins)(saved_regs_size - 2 * SSIZE_OF(sw)) << (15 - 3);1287local_size -= saved_regs_size;1288SLJIT_ASSERT(local_size > 0);1289}12901291prev = -1;12921293tmp = SLJIT_S0 - saveds;1294for (i = SLJIT_S0 - saved_arg_count; i > tmp; i--) {1295if (prev == -1) {1296prev = i;1297continue;1298}1299FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1300offs -= (sljit_ins)2 << 15;1301prev = -1;1302}13031304for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {1305if (prev == -1) {1306prev = i;1307continue;1308}1309FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1310offs -= (sljit_ins)2 << 15;1311prev = -1;1312}13131314fprev = -1;13151316tmp = SLJIT_FS0 - fsaveds;1317for (i = SLJIT_FS0; i > tmp; i--) {1318if (fprev == -1) {1319fprev = i;1320continue;1321}1322FAIL_IF(push_inst(compiler, STP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1323offs -= (sljit_ins)2 << 15;1324fprev = -1;1325}13261327for (i = fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {1328if (fprev == -1) {1329fprev = i;1330continue;1331}1332FAIL_IF(push_inst(compiler, STP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1333offs -= (sljit_ins)2 << 15;1334fprev = -1;1335}13361337if (fprev != -1)1338FAIL_IF(push_inst(compiler, STRI_F64 | VT(fprev) | RN(SLJIT_SP) | (offs >> 5) | (1 << 10)));13391340if (prev != -1)1341FAIL_IF(push_inst(compiler, STRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5) | ((fprev == -1) ? (1 << 10) : 0)));134213431344#ifdef _WIN321345if (local_size > 4096)1346FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1347#endif /* _WIN32 */13481349if (!(options & SLJIT_ENTER_REG_ARG)) {1350arg_types >>= SLJIT_ARG_SHIFT;1351saved_arg_count = 0;1352tmp = SLJIT_R0;13531354while (arg_types) {1355if ((arg_types & SLJIT_ARG_MASK) < SLJIT_ARG_TYPE_F64) {1356if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1357FAIL_IF(push_inst(compiler, MOV | RD(SLJIT_S0 - saved_arg_count) | RM(tmp)));1358saved_arg_count++;1359}1360tmp++;1361}1362arg_types >>= SLJIT_ARG_SHIFT;1363}1364}13651366#ifdef _WIN321367if (local_size > 4096) {1368if (local_size < 4 * 4096) {1369/* No need for a loop. */13701371if (local_size >= 2 * 4096) {1372if (local_size >= 3 * 4096) {1373FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1374FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1375}13761377FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1378FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1379}1380}1381else {1382FAIL_IF(push_inst(compiler, MOVZ | RD(TMP_REG1) | ((((sljit_ins)local_size >> 12) - 1) << 5)));1383FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1384FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1385FAIL_IF(push_inst(compiler, SUBI | (1 << 29) | RD(TMP_REG1) | RN(TMP_REG1) | (1 << 10)));1386FAIL_IF(push_inst(compiler, B_CC | ((((sljit_ins) -3) & 0x7ffff) << 5) | 0x1 /* not-equal */));1387}13881389local_size &= 0xfff;13901391if (local_size > 0)1392FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1393else1394FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1395}13961397if (local_size > 0) {1398if (local_size <= 512)1399FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1400| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1401else {1402if (local_size >= 4096)1403local_size = (1 << (22 - 10));14041405FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));1406FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1407}1408}14091410#else /* !_WIN32 */14111412/* The local_size does not include saved registers size. */1413if (local_size != 0) {1414if (local_size > 0xfff) {1415FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (((sljit_ins)local_size >> 12) << 10) | (1 << 22)));1416local_size &= 0xfff;1417}14181419if (local_size > 512 || local_size == 0) {1420if (local_size != 0)1421FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));14221423FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1424} else1425FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1426| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1427}14281429#endif /* _WIN32 */14301431return push_inst(compiler, ADDI | RD(TMP_FP) | RN(SLJIT_SP) | (0 << 10));1432}14331434SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,1435sljit_s32 options, sljit_s32 arg_types,1436sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1437{1438sljit_s32 fscratches;1439sljit_s32 fsaveds;1440sljit_s32 saved_regs_size;14411442CHECK_ERROR();1443CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, local_size));1444set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);14451446scratches = ENTER_GET_REGS(scratches);1447saveds = ENTER_GET_REGS(saveds);1448fscratches = compiler->fscratches;1449fsaveds = compiler->fsaveds;1450saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - SLJIT_KEPT_SAVEDS_COUNT(options), 2);1451saved_regs_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);14521453compiler->local_size = (local_size + saved_regs_size + 0xf) & ~0xf;1454return SLJIT_SUCCESS;1455}14561457static sljit_s32 emit_stack_frame_release(struct sljit_compiler *compiler, sljit_s32 is_return_to)1458{1459sljit_s32 local_size, prev, fprev, i, tmp;1460sljit_ins offs;14611462local_size = compiler->local_size;14631464if (!is_return_to) {1465if (local_size > 512 && local_size <= 512 + 496) {1466FAIL_IF(push_inst(compiler, LDP_POST | RT(TMP_FP) | RT2(TMP_LR)1467| RN(SLJIT_SP) | ((sljit_ins)(local_size - 512) << (15 - 3))));1468local_size = 512;1469} else1470FAIL_IF(push_inst(compiler, LDP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1471} else {1472if (local_size > 512 && local_size <= 512 + 248) {1473FAIL_IF(push_inst(compiler, LDRI_POST | RT(TMP_FP) | RN(SLJIT_SP) | ((sljit_ins)(local_size - 512) << 12)));1474local_size = 512;1475} else1476FAIL_IF(push_inst(compiler, LDRI | RT(TMP_FP) | RN(SLJIT_SP) | 0));1477}14781479if (local_size > 512) {1480local_size -= 512;1481if (local_size > 0xfff) {1482FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP)1483| (((sljit_ins)local_size >> 12) << 10) | (1 << 22)));1484local_size &= 0xfff;1485}14861487FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));1488local_size = 512;1489}14901491offs = (sljit_ins)(local_size - 2 * SSIZE_OF(sw)) << (15 - 3);1492prev = -1;14931494tmp = SLJIT_S0 - compiler->saveds;1495for (i = SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options); i > tmp; i--) {1496if (prev == -1) {1497prev = i;1498continue;1499}1500FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1501offs -= (sljit_ins)2 << 15;1502prev = -1;1503}15041505for (i = compiler->scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {1506if (prev == -1) {1507prev = i;1508continue;1509}1510FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1511offs -= (sljit_ins)2 << 15;1512prev = -1;1513}15141515fprev = -1;15161517tmp = SLJIT_FS0 - compiler->fsaveds;1518for (i = SLJIT_FS0; i > tmp; i--) {1519if (fprev == -1) {1520fprev = i;1521continue;1522}1523FAIL_IF(push_inst(compiler, LDP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1524offs -= (sljit_ins)2 << 15;1525fprev = -1;1526}15271528for (i = compiler->fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {1529if (fprev == -1) {1530fprev = i;1531continue;1532}1533FAIL_IF(push_inst(compiler, LDP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1534offs -= (sljit_ins)2 << 15;1535fprev = -1;1536}15371538if (fprev != -1)1539FAIL_IF(push_inst(compiler, LDRI_F64 | VT(fprev) | RN(SLJIT_SP) | (offs >> 5) | (1 << 10)));15401541if (prev != -1)1542FAIL_IF(push_inst(compiler, LDRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5) | ((fprev == -1) ? (1 << 10) : 0)));15431544/* This and the next call/jump instruction can be executed parallelly. */1545return push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | (sljit_ins)(local_size << 10));1546}15471548SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)1549{1550CHECK_ERROR();1551CHECK(check_sljit_emit_return_void(compiler));15521553FAIL_IF(emit_stack_frame_release(compiler, 0));15541555return push_inst(compiler, RET | RN(TMP_LR));1556}15571558SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_to(struct sljit_compiler *compiler,1559sljit_s32 src, sljit_sw srcw)1560{1561CHECK_ERROR();1562CHECK(check_sljit_emit_return_to(compiler, src, srcw));15631564if (src & SLJIT_MEM) {1565ADJUST_LOCAL_OFFSET(src, srcw);1566FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));1567src = TMP_REG1;1568srcw = 0;1569} else if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {1570FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));1571src = TMP_REG1;1572srcw = 0;1573}15741575FAIL_IF(emit_stack_frame_release(compiler, 1));15761577SLJIT_SKIP_CHECKS(compiler);1578return sljit_emit_ijump(compiler, SLJIT_JUMP, src, srcw);1579}15801581/* --------------------------------------------------------------------- */1582/* Operators */1583/* --------------------------------------------------------------------- */15841585SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)1586{1587sljit_ins inv_bits = (op & SLJIT_32) ? W_OP : 0;15881589CHECK_ERROR();1590CHECK(check_sljit_emit_op0(compiler, op));15911592op = GET_OPCODE(op);1593switch (op) {1594case SLJIT_BREAKPOINT:1595return push_inst(compiler, BRK | (0xf000 << 5));1596case SLJIT_NOP:1597return push_inst(compiler, NOP);1598case SLJIT_LMUL_UW:1599case SLJIT_LMUL_SW:1600FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(SLJIT_R0)));1601FAIL_IF(push_inst(compiler, MADD | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));1602return push_inst(compiler, (op == SLJIT_LMUL_UW ? UMULH : SMULH) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));1603case SLJIT_DIVMOD_UW:1604case SLJIT_DIVMOD_SW:1605FAIL_IF(push_inst(compiler, (MOV ^ inv_bits) | RD(TMP_REG1) | RM(SLJIT_R0)));1606FAIL_IF(push_inst(compiler, ((op == SLJIT_DIVMOD_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1)));1607FAIL_IF(push_inst(compiler, (MADD ^ inv_bits) | RD(SLJIT_R1) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));1608return push_inst(compiler, (SUB ^ inv_bits) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));1609case SLJIT_DIV_UW:1610case SLJIT_DIV_SW:1611return push_inst(compiler, ((op == SLJIT_DIV_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1));1612case SLJIT_MEMORY_BARRIER:1613return push_inst(compiler, DMB_SY);1614case SLJIT_ENDBR:1615case SLJIT_SKIP_FRAMES_BEFORE_RETURN:1616return SLJIT_SUCCESS;1617}16181619return SLJIT_SUCCESS;1620}16211622SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,1623sljit_s32 dst, sljit_sw dstw,1624sljit_s32 src, sljit_sw srcw)1625{1626sljit_s32 dst_r, flags, mem_flags;1627sljit_s32 op_flags = GET_ALL_FLAGS(op);16281629CHECK_ERROR();1630CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));1631ADJUST_LOCAL_OFFSET(dst, dstw);1632ADJUST_LOCAL_OFFSET(src, srcw);16331634dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;16351636op = GET_OPCODE(op);1637if (op >= SLJIT_MOV && op <= SLJIT_MOV_P) {1638/* Both operands are registers. */1639if (FAST_IS_REG(dst) && FAST_IS_REG(src))1640return emit_op_imm(compiler, op | ((op_flags & SLJIT_32) ? INT_OP : 0), dst_r, TMP_REG1, src);16411642switch (op) {1643case SLJIT_MOV:1644case SLJIT_MOV_P:1645mem_flags = WORD_SIZE;1646break;1647case SLJIT_MOV_U8:1648mem_flags = BYTE_SIZE;1649if (src == SLJIT_IMM)1650srcw = (sljit_u8)srcw;1651break;1652case SLJIT_MOV_S8:1653mem_flags = BYTE_SIZE | SIGNED;1654if (src == SLJIT_IMM)1655srcw = (sljit_s8)srcw;1656break;1657case SLJIT_MOV_U16:1658mem_flags = HALF_SIZE;1659if (src == SLJIT_IMM)1660srcw = (sljit_u16)srcw;1661break;1662case SLJIT_MOV_S16:1663mem_flags = HALF_SIZE | SIGNED;1664if (src == SLJIT_IMM)1665srcw = (sljit_s16)srcw;1666break;1667case SLJIT_MOV_U32:1668mem_flags = INT_SIZE;1669if (src == SLJIT_IMM)1670srcw = (sljit_u32)srcw;1671break;1672case SLJIT_MOV_S32:1673case SLJIT_MOV32:1674mem_flags = INT_SIZE | SIGNED;1675if (src == SLJIT_IMM)1676srcw = (sljit_s32)srcw;1677break;1678default:1679SLJIT_UNREACHABLE();1680mem_flags = 0;1681break;1682}16831684if (src == SLJIT_IMM)1685FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG1, srcw));1686else if (!(src & SLJIT_MEM))1687dst_r = src;1688else1689FAIL_IF(emit_op_mem(compiler, mem_flags, dst_r, src, srcw, TMP_REG2));16901691if (dst & SLJIT_MEM)1692return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1693return SLJIT_SUCCESS;1694}16951696flags = HAS_FLAGS(op_flags) ? SET_FLAGS : 0;16971698switch (op) {1699case SLJIT_REV_U16:1700case SLJIT_REV_S16:1701mem_flags = HALF_SIZE;1702break;1703case SLJIT_REV_U32:1704case SLJIT_REV_S32:1705mem_flags = INT_SIZE;1706break;1707default:1708mem_flags = WORD_SIZE;17091710if (op_flags & SLJIT_32) {1711flags |= INT_OP;1712mem_flags = INT_SIZE;1713}1714break;1715}17161717if (src & SLJIT_MEM) {1718FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src, srcw, TMP_REG2));1719src = TMP_REG2;1720}17211722emit_op_imm(compiler, flags | op, dst_r, TMP_REG1, src);17231724if (SLJIT_UNLIKELY(dst & SLJIT_MEM))1725return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1726return SLJIT_SUCCESS;1727}17281729SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,1730sljit_s32 dst, sljit_sw dstw,1731sljit_s32 src1, sljit_sw src1w,1732sljit_s32 src2, sljit_sw src2w)1733{1734sljit_s32 dst_r, flags, mem_flags;17351736CHECK_ERROR();1737CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));1738ADJUST_LOCAL_OFFSET(dst, dstw);1739ADJUST_LOCAL_OFFSET(src1, src1w);1740ADJUST_LOCAL_OFFSET(src2, src2w);17411742dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;1743flags = HAS_FLAGS(op) ? SET_FLAGS : 0;1744mem_flags = WORD_SIZE;17451746if (op & SLJIT_32) {1747flags |= INT_OP;1748mem_flags = INT_SIZE;1749}17501751if (dst == TMP_REG2)1752flags |= UNUSED_RETURN;17531754if (src1 & SLJIT_MEM) {1755FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, src1, src1w, TMP_REG1));1756src1 = TMP_REG1;1757}17581759if (src2 & SLJIT_MEM) {1760FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src2, src2w, TMP_REG2));1761src2 = TMP_REG2;1762}17631764if (src1 == SLJIT_IMM)1765flags |= ARG1_IMM;1766else1767src1w = src1;17681769if (src2 == SLJIT_IMM)1770flags |= ARG2_IMM;1771else1772src2w = src2;17731774emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src1w, src2w);17751776if (dst & SLJIT_MEM)1777return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1778return SLJIT_SUCCESS;1779}17801781SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,1782sljit_s32 src1, sljit_sw src1w,1783sljit_s32 src2, sljit_sw src2w)1784{1785CHECK_ERROR();1786CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));17871788SLJIT_SKIP_CHECKS(compiler);1789return sljit_emit_op2(compiler, op, TMP_REG2, 0, src1, src1w, src2, src2w);1790}17911792SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2r(struct sljit_compiler *compiler, sljit_s32 op,1793sljit_s32 dst_reg,1794sljit_s32 src1, sljit_sw src1w,1795sljit_s32 src2, sljit_sw src2w)1796{1797CHECK_ERROR();1798CHECK(check_sljit_emit_op2r(compiler, op, dst_reg, src1, src1w, src2, src2w));17991800switch (GET_OPCODE(op)) {1801case SLJIT_MULADD:1802SLJIT_SKIP_CHECKS(compiler);1803return sljit_emit_op2(compiler, op, dst_reg, 0, src1, src1w, src2, src2w);1804}18051806return SLJIT_SUCCESS;1807}18081809SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_shift_into(struct sljit_compiler *compiler, sljit_s32 op,1810sljit_s32 dst_reg,1811sljit_s32 src1_reg,1812sljit_s32 src2_reg,1813sljit_s32 src3, sljit_sw src3w)1814{1815sljit_ins inv_bits, imm;1816sljit_s32 is_left;1817sljit_sw mask;18181819CHECK_ERROR();1820CHECK(check_sljit_emit_shift_into(compiler, op, dst_reg, src1_reg, src2_reg, src3, src3w));18211822is_left = (GET_OPCODE(op) == SLJIT_SHL || GET_OPCODE(op) == SLJIT_MSHL);18231824if (src1_reg == src2_reg) {1825SLJIT_SKIP_CHECKS(compiler);1826return sljit_emit_op2(compiler, (is_left ? SLJIT_ROTL : SLJIT_ROTR) | (op & SLJIT_32), dst_reg, 0, src1_reg, 0, src3, src3w);1827}18281829ADJUST_LOCAL_OFFSET(src3, src3w);18301831inv_bits = (op & SLJIT_32) ? W_OP : 0;18321833if (src3 == SLJIT_IMM) {1834mask = inv_bits ? 0x1f : 0x3f;1835src3w &= mask;18361837if (src3w == 0)1838return SLJIT_SUCCESS;18391840if (is_left)1841src3w = (src3w ^ mask) + 1;18421843return push_inst(compiler, (EXTR ^ (inv_bits | (inv_bits >> 9))) | RD(dst_reg)1844| RN(is_left ? src1_reg : src2_reg) | RM(is_left ? src2_reg : src1_reg) | ((sljit_ins)src3w << 10));1845}18461847if (src3 & SLJIT_MEM) {1848FAIL_IF(emit_op_mem(compiler, inv_bits ? INT_SIZE : WORD_SIZE, TMP_REG2, src3, src3w, TMP_REG2));1849src3 = TMP_REG2;1850} else if (dst_reg == src3) {1851FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG2) | RM(src3)));1852src3 = TMP_REG2;1853}18541855FAIL_IF(push_inst(compiler, ((is_left ? LSLV : LSRV) ^ inv_bits) | RD(dst_reg) | RN(src1_reg) | RM(src3)));18561857if (!(op & SLJIT_SHIFT_INTO_NON_ZERO)) {1858/* Shift left/right by 1. */1859if (is_left)1860imm = (sljit_ins)(inv_bits ? ((1 << 16) | (31 << 10)) : ((1 << 16) | (63 << 10) | (1 << 22)));1861else1862imm = (sljit_ins)(inv_bits ? ((31 << 16) | (30 << 10)) : ((63 << 16) | (62 << 10) | (1 << 22)));18631864FAIL_IF(push_inst(compiler, (UBFM ^ (inv_bits | (inv_bits >> 9))) | RD(TMP_REG1) | RN(src2_reg) | imm));18651866/* Set imm to mask. */1867imm = (sljit_ins)(inv_bits ? (4 << 10) : ((5 << 10) | (1 << 22)));1868FAIL_IF(push_inst(compiler, (EORI ^ inv_bits) | RD(TMP_REG2) | RN(src3) | imm));18691870src2_reg = TMP_REG1;1871} else1872FAIL_IF(push_inst(compiler, (SUB ^ inv_bits) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(src3)));18731874FAIL_IF(push_inst(compiler, ((is_left ? LSRV : LSLV) ^ inv_bits) | RD(TMP_REG1) | RN(src2_reg) | RM(TMP_REG2)));1875return push_inst(compiler, (ORR ^ inv_bits) | RD(dst_reg) | RN(dst_reg) | RM(TMP_REG1));1876}18771878SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2_shift(struct sljit_compiler *compiler, sljit_s32 op,1879sljit_s32 dst, sljit_sw dstw,1880sljit_s32 src1, sljit_sw src1w,1881sljit_s32 src2, sljit_sw src2w,1882sljit_sw shift_arg)1883{1884sljit_s32 dst_r, tmp_r;18851886CHECK_ERROR();1887CHECK(check_sljit_emit_op2_shift(compiler, op, dst, dstw, src1, src1w, src2, src2w, shift_arg));1888ADJUST_LOCAL_OFFSET(dst, dstw);1889ADJUST_LOCAL_OFFSET(src1, src1w);1890ADJUST_LOCAL_OFFSET(src2, src2w);18911892shift_arg &= 0x3f;18931894if (src2 == SLJIT_IMM) {1895src2w = src2w << shift_arg;1896shift_arg = 0;1897}18981899if (shift_arg == 0) {1900SLJIT_SKIP_CHECKS(compiler);1901return sljit_emit_op2(compiler, GET_OPCODE(op), dst, dstw, src1, src1w, src2, src2w);1902}19031904if (src1 == SLJIT_IMM) {1905FAIL_IF(load_immediate(compiler, TMP_REG2, src1w));1906src1 = TMP_REG2;1907} else if (src1 & SLJIT_MEM) {1908FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src1, src1w, TMP_REG2));1909src1 = TMP_REG2;1910}19111912if (src2 & SLJIT_MEM) {1913tmp_r = (src1 == TMP_REG2) ? TMP_REG1 : TMP_REG2;1914FAIL_IF(emit_op_mem(compiler, WORD_SIZE, tmp_r, src2, src2w, tmp_r));1915src2 = tmp_r;1916}19171918dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;1919FAIL_IF(push_inst(compiler, ADD | RD(dst_r) | RN(src1) | RM(src2) | ((sljit_ins)shift_arg << 10)));19201921if (dst & SLJIT_MEM)1922return emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2);1923return SLJIT_SUCCESS;1924}19251926SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,1927sljit_s32 src, sljit_sw srcw)1928{1929CHECK_ERROR();1930CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));1931ADJUST_LOCAL_OFFSET(src, srcw);19321933switch (op) {1934case SLJIT_FAST_RETURN:1935if (FAST_IS_REG(src)) {1936if (src != TMP_LR)1937FAIL_IF(push_inst(compiler, MOV | RD(TMP_LR) | RM(src)));1938} else1939FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_LR, src, srcw, TMP_REG1));19401941return push_inst(compiler, RET | RN(TMP_LR));1942case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:1943return SLJIT_SUCCESS;1944case SLJIT_PREFETCH_L1:1945case SLJIT_PREFETCH_L2:1946case SLJIT_PREFETCH_L3:1947case SLJIT_PREFETCH_ONCE:1948SLJIT_ASSERT(reg_map[1] == 0 && reg_map[3] == 2 && reg_map[5] == 4);19491950/* The reg_map[op] should provide the appropriate constant. */1951if (op == SLJIT_PREFETCH_L1)1952op = 1;1953else if (op == SLJIT_PREFETCH_L2)1954op = 3;1955else if (op == SLJIT_PREFETCH_L3)1956op = 5;1957else1958op = 2;19591960/* Signed word sized load is the prefetch instruction. */1961return emit_op_mem(compiler, WORD_SIZE | SIGNED, op, src, srcw, TMP_REG1);1962}19631964return SLJIT_SUCCESS;1965}19661967SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_dst(struct sljit_compiler *compiler, sljit_s32 op,1968sljit_s32 dst, sljit_sw dstw)1969{1970sljit_s32 dst_r = TMP_LR;19711972CHECK_ERROR();1973CHECK(check_sljit_emit_op_dst(compiler, op, dst, dstw));1974ADJUST_LOCAL_OFFSET(dst, dstw);19751976switch (op) {1977case SLJIT_FAST_ENTER:1978if (FAST_IS_REG(dst)) {1979if (dst == TMP_LR)1980return SLJIT_SUCCESS;1981return push_inst(compiler, MOV | RD(dst) | RM(TMP_LR));1982}1983break;1984case SLJIT_GET_RETURN_ADDRESS:1985dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;1986FAIL_IF(emit_op_mem(compiler, WORD_SIZE, dst_r, SLJIT_MEM1(SLJIT_SP), 0x8, TMP_REG2));1987break;1988}19891990if (dst & SLJIT_MEM)1991return emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2);19921993return SLJIT_SUCCESS;1994}19951996SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 type, sljit_s32 reg)1997{1998CHECK_REG_INDEX(check_sljit_get_register_index(type, reg));19992000if (type == SLJIT_GP_REGISTER)2001return reg_map[reg];20022003if (type != SLJIT_FLOAT_REGISTER && type != SLJIT_SIMD_REG_64 && type != SLJIT_SIMD_REG_128)2004return -1;20052006return freg_map[reg];2007}20082009SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,2010void *instruction, sljit_u32 size)2011{2012SLJIT_UNUSED_ARG(size);2013CHECK_ERROR();2014CHECK(check_sljit_emit_op_custom(compiler, instruction, size));20152016return push_inst(compiler, *(sljit_ins*)instruction);2017}20182019/* --------------------------------------------------------------------- */2020/* Floating point operators */2021/* --------------------------------------------------------------------- */20222023static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)2024{2025sljit_u32 shift = MEM_SIZE_SHIFT(flags);2026sljit_ins type = (shift << 30);20272028SLJIT_ASSERT(arg & SLJIT_MEM);20292030if (!(flags & STORE))2031type |= 0x00400000;20322033if (arg & OFFS_REG_MASK) {2034argw &= 3;2035if (argw == 0 || argw == shift)2036return push_inst(compiler, STR_FR | type | VT(reg)2037| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));20382039FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG2) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | ((sljit_ins)argw << 10)));2040return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2));2041}20422043arg &= REG_MASK;20442045if (!arg) {2046FAIL_IF(load_immediate(compiler, TMP_REG2, argw & ~(0xfff << shift)));20472048argw = (argw >> shift) & 0xfff;20492050return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2) | ((sljit_ins)argw << 10));2051}20522053if (argw >= 0 && (argw & ((1 << shift) - 1)) == 0) {2054if ((argw >> shift) <= 0xfff)2055return push_inst(compiler, STR_FI | type | VT(reg) | RN(arg) | ((sljit_ins)argw << (10 - shift)));20562057if (argw <= 0xffffff) {2058FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(TMP_REG2) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));20592060argw = ((argw & 0xfff) >> shift);2061return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2) | ((sljit_ins)argw << 10));2062}2063}20642065if (argw <= 255 && argw >= -256)2066return push_inst(compiler, STUR_FI | type | VT(reg) | RN(arg) | (((sljit_ins)argw & 0x1ff) << 12));20672068FAIL_IF(load_immediate(compiler, TMP_REG2, argw));2069return push_inst(compiler, STR_FR | type | VT(reg) | RN(arg) | RM(TMP_REG2));2070}20712072static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,2073sljit_s32 dst, sljit_sw dstw,2074sljit_s32 src, sljit_sw srcw)2075{2076sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;2077sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;20782079if (GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64)2080inv_bits |= W_OP;20812082if (src & SLJIT_MEM) {2083FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) ? INT_SIZE : WORD_SIZE, TMP_FREG1, src, srcw));2084src = TMP_FREG1;2085}20862087FAIL_IF(push_inst(compiler, (FCVTZS ^ inv_bits) | RD(dst_r) | VN(src)));20882089if (dst & SLJIT_MEM)2090return emit_op_mem(compiler, ((GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64) ? INT_SIZE : WORD_SIZE) | STORE, TMP_REG1, dst, dstw, TMP_REG2);2091return SLJIT_SUCCESS;2092}20932094static sljit_s32 sljit_emit_fop1_conv_f64_from_w(struct sljit_compiler *compiler, sljit_ins ins,2095sljit_s32 dst, sljit_sw dstw,2096sljit_s32 src, sljit_sw srcw)2097{2098sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;20992100if (src & SLJIT_MEM) {2101emit_op_mem(compiler, (ins & W_OP) ? WORD_SIZE : INT_SIZE, TMP_REG1, src, srcw, TMP_REG1);2102src = TMP_REG1;2103} else if (src == SLJIT_IMM) {2104FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2105src = TMP_REG1;2106}21072108FAIL_IF(push_inst(compiler, ins | VD(dst_r) | RN(src)));21092110if (dst & SLJIT_MEM)2111return emit_fop_mem(compiler, ((ins & (1 << 22)) ? WORD_SIZE : INT_SIZE) | STORE, TMP_FREG1, dst, dstw);2112return SLJIT_SUCCESS;2113}21142115static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,2116sljit_s32 dst, sljit_sw dstw,2117sljit_s32 src, sljit_sw srcw)2118{2119sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;21202121if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32) {2122inv_bits |= W_OP;21232124if (src == SLJIT_IMM)2125srcw = (sljit_s32)srcw;2126}21272128return sljit_emit_fop1_conv_f64_from_w(compiler, SCVTF ^ inv_bits, dst, dstw, src, srcw);2129}21302131static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_uw(struct sljit_compiler *compiler, sljit_s32 op,2132sljit_s32 dst, sljit_sw dstw,2133sljit_s32 src, sljit_sw srcw)2134{2135sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;21362137if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_U32) {2138inv_bits |= W_OP;21392140if (src == SLJIT_IMM)2141srcw = (sljit_u32)srcw;2142}21432144return sljit_emit_fop1_conv_f64_from_w(compiler, UCVTF ^ inv_bits, dst, dstw, src, srcw);2145}21462147static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,2148sljit_s32 src1, sljit_sw src1w,2149sljit_s32 src2, sljit_sw src2w)2150{2151sljit_s32 mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2152sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;21532154if (src1 & SLJIT_MEM) {2155FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w));2156src1 = TMP_FREG1;2157}21582159if (src2 & SLJIT_MEM) {2160FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w));2161src2 = TMP_FREG2;2162}21632164FAIL_IF(push_inst(compiler, (FCMP ^ inv_bits) | VN(src1) | VM(src2)));21652166if (GET_FLAG_TYPE(op) != SLJIT_UNORDERED_OR_EQUAL)2167return SLJIT_SUCCESS;21682169FAIL_IF(push_inst(compiler, CSINC | (0x0 << 12) | RD(TMP_REG1) | RN(TMP_ZERO) | RM(TMP_ZERO)));2170return push_inst(compiler, CCMPI | (0x0 << 16) | (0x7 << 12) | RN(TMP_REG1) | 0x4);2171}21722173SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,2174sljit_s32 dst, sljit_sw dstw,2175sljit_s32 src, sljit_sw srcw)2176{2177sljit_s32 dst_r, mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2178sljit_ins inv_bits;21792180CHECK_ERROR();21812182SLJIT_COMPILE_ASSERT((INT_SIZE ^ 0x1) == WORD_SIZE, must_be_one_bit_difference);2183SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);21842185inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;2186dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;21872188if (src & SLJIT_MEM) {2189FAIL_IF(emit_fop_mem(compiler, (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_F32) ? (mem_flags ^ 0x1) : mem_flags, dst_r, src, srcw));2190src = dst_r;2191}21922193switch (GET_OPCODE(op)) {2194case SLJIT_MOV_F64:2195if (src != dst_r) {2196if (!(dst & SLJIT_MEM))2197FAIL_IF(push_inst(compiler, (FMOV ^ inv_bits) | VD(dst_r) | VN(src)));2198else2199dst_r = src;2200}2201break;2202case SLJIT_NEG_F64:2203FAIL_IF(push_inst(compiler, (FNEG ^ inv_bits) | VD(dst_r) | VN(src)));2204break;2205case SLJIT_ABS_F64:2206FAIL_IF(push_inst(compiler, (FABS ^ inv_bits) | VD(dst_r) | VN(src)));2207break;2208case SLJIT_CONV_F64_FROM_F32:2209FAIL_IF(push_inst(compiler, FCVT | (sljit_ins)((op & SLJIT_32) ? (1 << 22) : (1 << 15)) | VD(dst_r) | VN(src)));2210break;2211}22122213if (dst & SLJIT_MEM)2214return emit_fop_mem(compiler, mem_flags | STORE, dst_r, dst, dstw);2215return SLJIT_SUCCESS;2216}22172218SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,2219sljit_s32 dst, sljit_sw dstw,2220sljit_s32 src1, sljit_sw src1w,2221sljit_s32 src2, sljit_sw src2w)2222{2223sljit_s32 dst_r, mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2224sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;22252226CHECK_ERROR();2227CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));2228ADJUST_LOCAL_OFFSET(dst, dstw);2229ADJUST_LOCAL_OFFSET(src1, src1w);2230ADJUST_LOCAL_OFFSET(src2, src2w);22312232dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;2233if (src1 & SLJIT_MEM) {2234FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w));2235src1 = TMP_FREG1;2236}2237if (src2 & SLJIT_MEM) {2238FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w));2239src2 = TMP_FREG2;2240}22412242switch (GET_OPCODE(op)) {2243case SLJIT_ADD_F64:2244FAIL_IF(push_inst(compiler, (FADD ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2245break;2246case SLJIT_SUB_F64:2247FAIL_IF(push_inst(compiler, (FSUB ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2248break;2249case SLJIT_MUL_F64:2250FAIL_IF(push_inst(compiler, (FMUL ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2251break;2252case SLJIT_DIV_F64:2253FAIL_IF(push_inst(compiler, (FDIV ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2254break;2255case SLJIT_COPYSIGN_F64:2256FAIL_IF(push_inst(compiler, (FMOV_R ^ ((op & SLJIT_32) ? (W_OP | (1 << 22)) : 0)) | VN(src2) | RD(TMP_REG1)));2257FAIL_IF(push_inst(compiler, (FABS ^ inv_bits) | VD(dst_r) | VN(src1)));2258FAIL_IF(push_inst(compiler, TBZ | ((op & SLJIT_32) ? 0 : ((sljit_ins)1 << 31)) | (0x1f << 19) | (2 << 5) | RT(TMP_REG1)));2259return push_inst(compiler, (FNEG ^ inv_bits) | VD(dst_r) | VN(dst_r));2260}22612262if (!(dst & SLJIT_MEM))2263return SLJIT_SUCCESS;2264return emit_fop_mem(compiler, mem_flags | STORE, TMP_FREG1, dst, dstw);2265}22662267SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset32(struct sljit_compiler *compiler,2268sljit_s32 freg, sljit_f32 value)2269{2270sljit_u32 exp;2271union {2272sljit_u32 imm;2273sljit_f32 value;2274} u;22752276CHECK_ERROR();2277CHECK(check_sljit_emit_fset32(compiler, freg, value));22782279u.value = value;22802281if (u.imm == 0)2282return push_inst(compiler, (FMOV_R ^ (W_OP | (1 << 22))) | RN(TMP_ZERO) | VD(freg) | (1 << 16));22832284if ((u.imm << (32 - 19)) == 0) {2285exp = (u.imm >> (23 + 2)) & 0x3f;22862287if (exp == 0x20 || exp == 0x1f)2288return push_inst(compiler, (FMOV_I ^ (1 << 22)) | (sljit_ins)((((u.imm >> 24) & 0x80) | ((u.imm >> 19) & 0x7f)) << 13) | VD(freg));2289}22902291FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_s32)u.imm));2292return push_inst(compiler, (FMOV_R ^ (W_OP | (1 << 22))) | RN(TMP_REG1) | VD(freg) | (1 << 16));2293}22942295SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,2296sljit_s32 freg, sljit_f64 value)2297{2298sljit_uw exp;2299union {2300sljit_uw imm;2301sljit_f64 value;2302} u;23032304CHECK_ERROR();2305CHECK(check_sljit_emit_fset64(compiler, freg, value));23062307u.value = value;23082309if (u.imm == 0)2310return push_inst(compiler, FMOV_R | RN(TMP_ZERO) | VD(freg) | (sljit_ins)1 << 16);23112312if ((u.imm << (64 - 48)) == 0) {2313exp = (u.imm >> (52 + 2)) & 0x1ff;23142315if (exp == 0x100 || exp == 0xff)2316return push_inst(compiler, FMOV_I | (sljit_ins)((((u.imm >> 56) & 0x80) | ((u.imm >> 48) & 0x7f)) << 13) | VD(freg));2317}23182319FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_sw)u.imm));2320return push_inst(compiler, FMOV_R | RN(TMP_REG1) | VD(freg) | (1 << 16));2321}23222323SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,2324sljit_s32 freg, sljit_s32 reg)2325{2326sljit_ins inst;23272328CHECK_ERROR();2329CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));23302331if (GET_OPCODE(op) == SLJIT_COPY_TO_F64)2332inst = FMOV_R | RN(reg) | VD(freg) | (1 << 16);2333else2334inst = FMOV_R | VN(freg) | RD(reg);23352336if (op & SLJIT_32)2337inst ^= W_OP | (1 << 22);23382339return push_inst(compiler, inst);2340}23412342/* --------------------------------------------------------------------- */2343/* Conditional instructions */2344/* --------------------------------------------------------------------- */23452346static sljit_ins get_cc(struct sljit_compiler *compiler, sljit_s32 type)2347{2348switch (type) {2349case SLJIT_EQUAL:2350case SLJIT_ATOMIC_STORED:2351case SLJIT_F_EQUAL:2352case SLJIT_ORDERED_EQUAL:2353case SLJIT_UNORDERED_OR_EQUAL:2354return 0x1;23552356case SLJIT_NOT_EQUAL:2357case SLJIT_ATOMIC_NOT_STORED:2358case SLJIT_F_NOT_EQUAL:2359case SLJIT_UNORDERED_OR_NOT_EQUAL:2360case SLJIT_ORDERED_NOT_EQUAL:2361return 0x0;23622363case SLJIT_CARRY:2364if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2365return 0x3;2366SLJIT_FALLTHROUGH23672368case SLJIT_LESS:2369return 0x2;23702371case SLJIT_NOT_CARRY:2372if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2373return 0x2;2374SLJIT_FALLTHROUGH23752376case SLJIT_GREATER_EQUAL:2377return 0x3;23782379case SLJIT_GREATER:2380case SLJIT_UNORDERED_OR_GREATER:2381return 0x9;23822383case SLJIT_LESS_EQUAL:2384case SLJIT_F_LESS_EQUAL:2385case SLJIT_ORDERED_LESS_EQUAL:2386return 0x8;23872388case SLJIT_SIG_LESS:2389case SLJIT_UNORDERED_OR_LESS:2390return 0xa;23912392case SLJIT_SIG_GREATER_EQUAL:2393case SLJIT_F_GREATER_EQUAL:2394case SLJIT_ORDERED_GREATER_EQUAL:2395return 0xb;23962397case SLJIT_SIG_GREATER:2398case SLJIT_F_GREATER:2399case SLJIT_ORDERED_GREATER:2400return 0xd;24012402case SLJIT_SIG_LESS_EQUAL:2403case SLJIT_UNORDERED_OR_LESS_EQUAL:2404return 0xc;24052406case SLJIT_OVERFLOW:2407if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2408return 0x0;2409SLJIT_FALLTHROUGH24102411case SLJIT_UNORDERED:2412return 0x7;24132414case SLJIT_NOT_OVERFLOW:2415if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2416return 0x1;2417SLJIT_FALLTHROUGH24182419case SLJIT_ORDERED:2420return 0x6;24212422case SLJIT_F_LESS:2423case SLJIT_ORDERED_LESS:2424return 0x5;24252426case SLJIT_UNORDERED_OR_GREATER_EQUAL:2427return 0x4;24282429default:2430SLJIT_UNREACHABLE();2431return 0xe;2432}2433}24342435SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)2436{2437struct sljit_label *label;24382439CHECK_ERROR_PTR();2440CHECK_PTR(check_sljit_emit_label(compiler));24412442if (compiler->last_label && compiler->last_label->size == compiler->size)2443return compiler->last_label;24442445label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));2446PTR_FAIL_IF(!label);2447set_label(label, compiler);2448return label;2449}24502451SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_aligned_label(struct sljit_compiler *compiler,2452sljit_s32 alignment, struct sljit_read_only_buffer *buffers)2453{2454sljit_uw mask, i;2455struct sljit_label *label;2456struct sljit_label *next_label;2457struct sljit_extended_label *ext_label;24582459CHECK_ERROR_PTR();2460CHECK_PTR(check_sljit_emit_aligned_label(compiler, alignment, buffers));24612462sljit_reset_read_only_buffers(buffers);24632464if (alignment <= SLJIT_LABEL_ALIGN_4) {2465SLJIT_SKIP_CHECKS(compiler);2466label = sljit_emit_label(compiler);2467PTR_FAIL_IF(!label);2468} else {2469/* The used space is filled with NOPs. */2470mask = ((sljit_uw)1 << alignment) - sizeof(sljit_ins);24712472for (i = (mask >> 2); i != 0; i--)2473PTR_FAIL_IF(push_inst(compiler, NOP));24742475ext_label = (struct sljit_extended_label*)ensure_abuf(compiler, sizeof(struct sljit_extended_label));2476PTR_FAIL_IF(!ext_label);2477set_extended_label(ext_label, compiler, SLJIT_LABEL_ALIGNED, mask);2478label = &ext_label->label;2479}24802481if (buffers == NULL)2482return label;24832484next_label = label;24852486while (1) {2487buffers->u.label = next_label;24882489for (i = (buffers->size + 3) >> 2; i > 0; i--)2490PTR_FAIL_IF(push_inst(compiler, NOP));24912492buffers = buffers->next;24932494if (buffers == NULL)2495break;24962497SLJIT_SKIP_CHECKS(compiler);2498next_label = sljit_emit_label(compiler);2499PTR_FAIL_IF(!next_label);2500}25012502return label;2503}25042505SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)2506{2507struct sljit_jump *jump;25082509CHECK_ERROR_PTR();2510CHECK_PTR(check_sljit_emit_jump(compiler, type));25112512jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2513PTR_FAIL_IF(!jump);2514set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2515type &= 0xff;25162517if (type < SLJIT_JUMP) {2518jump->flags |= IS_COND;2519PTR_FAIL_IF(push_inst(compiler, B_CC | (6 << 5) | get_cc(compiler, type)));2520} else if (type >= SLJIT_FAST_CALL)2521jump->flags |= IS_BL;25222523jump->addr = compiler->size;2524PTR_FAIL_IF(push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG2)));25252526/* Maximum number of instructions required for generating a constant. */2527compiler->size += JUMP_MAX_SIZE - 1;2528return jump;2529}25302531SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,2532sljit_s32 arg_types)2533{2534SLJIT_UNUSED_ARG(arg_types);2535CHECK_ERROR_PTR();2536CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));25372538if (type & SLJIT_CALL_RETURN) {2539PTR_FAIL_IF(emit_stack_frame_release(compiler, 0));2540type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);2541}25422543SLJIT_SKIP_CHECKS(compiler);2544return sljit_emit_jump(compiler, type);2545}25462547static SLJIT_INLINE struct sljit_jump* emit_cmp_to0(struct sljit_compiler *compiler, sljit_s32 type,2548sljit_s32 src, sljit_sw srcw)2549{2550struct sljit_jump *jump;2551sljit_ins inv_bits = (type & SLJIT_32) ? W_OP : 0;25522553SLJIT_ASSERT((type & 0xff) == SLJIT_EQUAL || (type & 0xff) == SLJIT_NOT_EQUAL);2554ADJUST_LOCAL_OFFSET(src, srcw);25552556jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2557PTR_FAIL_IF(!jump);2558set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2559jump->flags |= IS_CBZ | IS_COND;25602561if (src & SLJIT_MEM) {2562PTR_FAIL_IF(emit_op_mem(compiler, inv_bits ? INT_SIZE : WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));2563src = TMP_REG1;2564}2565else if (src == SLJIT_IMM) {2566PTR_FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2567src = TMP_REG1;2568}25692570SLJIT_ASSERT(FAST_IS_REG(src));25712572if ((type & 0xff) == SLJIT_EQUAL)2573inv_bits |= 1 << 24;25742575PTR_FAIL_IF(push_inst(compiler, (CBZ ^ inv_bits) | (6 << 5) | RT(src)));2576jump->addr = compiler->size;2577PTR_FAIL_IF(push_inst(compiler, BR | RN(TMP_REG2)));25782579/* Maximum number of instructions required for generating a constant. */2580compiler->size += JUMP_MAX_SIZE - 1;2581return jump;2582}25832584SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)2585{2586struct sljit_jump *jump;25872588CHECK_ERROR();2589CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));25902591if (src != SLJIT_IMM) {2592if (src & SLJIT_MEM) {2593ADJUST_LOCAL_OFFSET(src, srcw);2594FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src, srcw, TMP_REG2));2595src = TMP_REG2;2596}2597return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(src));2598}25992600/* These jumps are converted to jump/call instructions when possible. */2601jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2602FAIL_IF(!jump);2603set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));2604jump->u.target = (sljit_uw)srcw;26052606jump->addr = compiler->size;2607/* Maximum number of instructions required for generating a constant. */2608compiler->size += JUMP_MAX_SIZE - 1;2609return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG2));2610}26112612SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,2613sljit_s32 arg_types,2614sljit_s32 src, sljit_sw srcw)2615{2616SLJIT_UNUSED_ARG(arg_types);2617CHECK_ERROR();2618CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));26192620if (src & SLJIT_MEM) {2621ADJUST_LOCAL_OFFSET(src, srcw);2622FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));2623src = TMP_REG1;2624}26252626if (type & SLJIT_CALL_RETURN) {2627if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {2628FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));2629src = TMP_REG1;2630}26312632FAIL_IF(emit_stack_frame_release(compiler, 0));2633type = SLJIT_JUMP;2634}26352636SLJIT_SKIP_CHECKS(compiler);2637return sljit_emit_ijump(compiler, type, src, srcw);2638}26392640SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,2641sljit_s32 dst, sljit_sw dstw,2642sljit_s32 type)2643{2644sljit_s32 dst_r, src_r, flags, mem_flags;2645sljit_ins cc;26462647CHECK_ERROR();2648CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));2649ADJUST_LOCAL_OFFSET(dst, dstw);26502651cc = get_cc(compiler, type);2652dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;26532654if (GET_OPCODE(op) < SLJIT_ADD) {2655FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(dst_r) | RN(TMP_ZERO) | RM(TMP_ZERO)));26562657if (dst & SLJIT_MEM) {2658mem_flags = (GET_OPCODE(op) == SLJIT_MOV ? WORD_SIZE : INT_SIZE) | STORE;2659return emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG2);2660}26612662return SLJIT_SUCCESS;2663}26642665flags = HAS_FLAGS(op) ? SET_FLAGS : 0;2666mem_flags = WORD_SIZE;26672668if (op & SLJIT_32) {2669flags |= INT_OP;2670mem_flags = INT_SIZE;2671}26722673src_r = dst;26742675if (dst & SLJIT_MEM) {2676FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG1));2677src_r = TMP_REG1;2678}26792680FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(TMP_ZERO)));2681emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src_r, TMP_REG2);26822683if (dst & SLJIT_MEM)2684return emit_op_mem(compiler, mem_flags | STORE, TMP_REG1, dst, dstw, TMP_REG2);2685return SLJIT_SUCCESS;2686}26872688SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_select(struct sljit_compiler *compiler, sljit_s32 type,2689sljit_s32 dst_reg,2690sljit_s32 src1, sljit_sw src1w,2691sljit_s32 src2_reg)2692{2693sljit_ins inv_bits = (type & SLJIT_32) ? W_OP : 0;2694sljit_ins op = CSEL;2695sljit_ins cmp = 0;2696sljit_ins cc;26972698CHECK_ERROR();2699CHECK(check_sljit_emit_select(compiler, type, dst_reg, src1, src1w, src2_reg));27002701ADJUST_LOCAL_OFFSET(src1, src1w);27022703if (src1 == SLJIT_IMM) {2704if (type & SLJIT_32)2705src1w = (sljit_s32)src1w;27062707if (src1w <= 1 && src1w >= -1) {2708src1 = TMP_ZERO;2709cmp = (SUBI ^ inv_bits) | (1 << 29) | RD(TMP_ZERO);27102711if (src1w == 1) {2712op = CSINC;2713cmp = (SUBI ^ inv_bits) | (1 << 29) | RD(TMP_ZERO) | (1 << 10);2714} else if (src1w == -1) {2715op = CSINV;2716cmp = (ADDI ^ inv_bits) | (1 << 29) | RD(TMP_ZERO) | (1 << 10);2717}27182719src1w = 0;2720} else {2721FAIL_IF(load_immediate(compiler, TMP_REG2, src1w));2722src1 = TMP_REG2;2723}2724} else if (src1 & SLJIT_MEM) {2725FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src1, src1w, TMP_REG2));2726src1 = TMP_REG2;2727}27282729if (type & SLJIT_COMPARE_SELECT) {2730type ^= 0x1;2731if (cmp == 0)2732cmp = (SUB ^ inv_bits) | (1 << 29) | RD(TMP_ZERO) | RM(src1);2733FAIL_IF(push_inst(compiler, cmp | RN(src2_reg)));2734}27352736cc = get_cc(compiler, type & ~(SLJIT_32 | SLJIT_COMPARE_SELECT));2737return push_inst(compiler, (op ^ inv_bits) | (cc << 12) | RD(dst_reg) | RN(src2_reg) | RM(src1));2738}27392740SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fselect(struct sljit_compiler *compiler, sljit_s32 type,2741sljit_s32 dst_freg,2742sljit_s32 src1, sljit_sw src1w,2743sljit_s32 src2_freg)2744{2745sljit_ins inv_bits = (type & SLJIT_32) ? (1 << 22) : 0;2746sljit_ins cc;27472748CHECK_ERROR();2749CHECK(check_sljit_emit_fselect(compiler, type, dst_freg, src1, src1w, src2_freg));27502751ADJUST_LOCAL_OFFSET(src1, src1w);27522753if (src1 & SLJIT_MEM) {2754FAIL_IF(emit_fop_mem(compiler, (type & SLJIT_32) ? INT_SIZE : WORD_SIZE, TMP_FREG2, src1, src1w));2755src1 = TMP_FREG2;2756}27572758cc = get_cc(compiler, type & ~SLJIT_32);2759return push_inst(compiler, (FCSEL ^ inv_bits) | (cc << 12) | VD(dst_freg) | VN(src2_freg) | VM(src1));2760}27612762SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,2763sljit_s32 reg,2764sljit_s32 mem, sljit_sw memw)2765{2766sljit_u32 inst;27672768CHECK_ERROR();2769CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));27702771if (!(reg & REG_PAIR_MASK))2772return sljit_emit_mem_unaligned(compiler, type, reg, mem, memw);27732774ADJUST_LOCAL_OFFSET(mem, memw);27752776if (!(mem & REG_MASK)) {2777FAIL_IF(load_immediate(compiler, TMP_REG1, memw & ~0x1f8));27782779mem = SLJIT_MEM1(TMP_REG1);2780memw &= 0x1f8;2781} else if (mem & OFFS_REG_MASK) {2782FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(mem & REG_MASK) | RM(OFFS_REG(mem)) | ((sljit_ins)(memw & 0x3) << 10)));27832784mem = SLJIT_MEM1(TMP_REG1);2785memw = 0;2786} else if ((memw & 0x7) != 0 || memw > 0x1f8 || memw < -0x200) {2787inst = ADDI;27882789if (memw < 0) {2790/* Remains negative for integer min. */2791memw = -memw;2792inst = SUBI;2793} else if ((memw & 0x7) == 0 && memw <= 0x7ff0) {2794if (!(type & SLJIT_MEM_STORE) && (mem & REG_MASK) == REG_PAIR_FIRST(reg)) {2795FAIL_IF(push_inst(compiler, LDRI | RD(REG_PAIR_SECOND(reg)) | RN(mem & REG_MASK) | ((sljit_ins)memw << 7)));2796return push_inst(compiler, LDRI | RD(REG_PAIR_FIRST(reg)) | RN(mem & REG_MASK) | ((sljit_ins)(memw + 0x8) << 7));2797}27982799inst = (type & SLJIT_MEM_STORE) ? STRI : LDRI;28002801FAIL_IF(push_inst(compiler, inst | RD(REG_PAIR_FIRST(reg)) | RN(mem & REG_MASK) | ((sljit_ins)memw << 7)));2802return push_inst(compiler, inst | RD(REG_PAIR_SECOND(reg)) | RN(mem & REG_MASK) | ((sljit_ins)(memw + 0x8) << 7));2803}28042805if ((sljit_uw)memw <= 0xfff) {2806FAIL_IF(push_inst(compiler, inst | RD(TMP_REG1) | RN(mem & REG_MASK) | ((sljit_ins)memw << 10)));2807memw = 0;2808} else if ((sljit_uw)memw <= 0xffffff) {2809FAIL_IF(push_inst(compiler, inst | (1 << 22) | RD(TMP_REG1) | RN(mem & REG_MASK) | (((sljit_ins)memw >> 12) << 10)));28102811if ((memw & 0xe07) != 0) {2812FAIL_IF(push_inst(compiler, inst | RD(TMP_REG1) | RN(TMP_REG1) | (((sljit_ins)memw & 0xfff) << 10)));2813memw = 0;2814} else {2815memw &= 0xfff;2816}2817} else {2818FAIL_IF(load_immediate(compiler, TMP_REG1, memw));2819FAIL_IF(push_inst(compiler, (inst == ADDI ? ADD : SUB) | RD(TMP_REG1) | RN(mem & REG_MASK) | RM(TMP_REG1)));2820memw = 0;2821}28222823mem = SLJIT_MEM1(TMP_REG1);28242825if (inst == SUBI)2826memw = -memw;2827}28282829SLJIT_ASSERT((memw & 0x7) == 0 && memw <= 0x1f8 && memw >= -0x200);2830return push_inst(compiler, ((type & SLJIT_MEM_STORE) ? STP : LDP) | RT(REG_PAIR_FIRST(reg)) | RT2(REG_PAIR_SECOND(reg)) | RN(mem & REG_MASK) | (sljit_ins)((memw & 0x3f8) << 12));2831}28322833SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem_update(struct sljit_compiler *compiler, sljit_s32 type,2834sljit_s32 reg,2835sljit_s32 mem, sljit_sw memw)2836{2837sljit_u32 sign = 0, inst;28382839CHECK_ERROR();2840CHECK(check_sljit_emit_mem_update(compiler, type, reg, mem, memw));28412842if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -256))2843return SLJIT_ERR_UNSUPPORTED;28442845if (type & SLJIT_MEM_SUPP)2846return SLJIT_SUCCESS;28472848switch (type & 0xff) {2849case SLJIT_MOV:2850case SLJIT_MOV_P:2851inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;2852break;2853case SLJIT_MOV_S8:2854sign = 1;2855SLJIT_FALLTHROUGH2856case SLJIT_MOV_U8:2857inst = STURBI | (MEM_SIZE_SHIFT(BYTE_SIZE) << 30) | 0x400;2858break;2859case SLJIT_MOV_S16:2860sign = 1;2861SLJIT_FALLTHROUGH2862case SLJIT_MOV_U16:2863inst = STURBI | (MEM_SIZE_SHIFT(HALF_SIZE) << 30) | 0x400;2864break;2865case SLJIT_MOV_S32:2866sign = 1;2867SLJIT_FALLTHROUGH2868case SLJIT_MOV_U32:2869case SLJIT_MOV32:2870inst = STURBI | (MEM_SIZE_SHIFT(INT_SIZE) << 30) | 0x400;2871break;2872default:2873SLJIT_UNREACHABLE();2874inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;2875break;2876}28772878if (!(type & SLJIT_MEM_STORE))2879inst |= sign ? 0x00800000 : 0x00400000;28802881if (!(type & SLJIT_MEM_POST))2882inst |= 0x800;28832884return push_inst(compiler, inst | RT(reg) | RN(mem & REG_MASK) | (sljit_ins)((memw & 0x1ff) << 12));2885}28862887SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fmem_update(struct sljit_compiler *compiler, sljit_s32 type,2888sljit_s32 freg,2889sljit_s32 mem, sljit_sw memw)2890{2891sljit_u32 inst;28922893CHECK_ERROR();2894CHECK(check_sljit_emit_fmem_update(compiler, type, freg, mem, memw));28952896if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -256))2897return SLJIT_ERR_UNSUPPORTED;28982899if (type & SLJIT_MEM_SUPP)2900return SLJIT_SUCCESS;29012902inst = STUR_FI | 0x80000400;29032904if (!(type & SLJIT_32))2905inst |= 0x40000000;29062907if (!(type & SLJIT_MEM_STORE))2908inst |= 0x00400000;29092910if (!(type & SLJIT_MEM_POST))2911inst |= 0x800;29122913return push_inst(compiler, inst | VT(freg) | RN(mem & REG_MASK) | (sljit_ins)((memw & 0x1ff) << 12));2914}29152916static sljit_s32 sljit_emit_simd_mem_offset(struct sljit_compiler *compiler, sljit_s32 *mem_ptr, sljit_sw memw)2917{2918sljit_ins ins;2919sljit_s32 mem = *mem_ptr;29202921if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {2922*mem_ptr = TMP_REG2;2923return push_inst(compiler, ADD | RD(TMP_REG2) | RN(mem & REG_MASK) | RM(OFFS_REG(mem)) | ((sljit_ins)(memw & 0x3) << 10));2924}29252926if (!(mem & REG_MASK)) {2927*mem_ptr = TMP_REG2;2928return load_immediate(compiler, TMP_REG2, memw);2929}29302931mem &= REG_MASK;29322933if (memw == 0) {2934*mem_ptr = mem;2935return SLJIT_SUCCESS;2936}29372938*mem_ptr = TMP_REG2;29392940if (memw < -0xffffff || memw > 0xffffff) {2941FAIL_IF(load_immediate(compiler, TMP_REG2, memw));2942return push_inst(compiler, ADD | RD(TMP_REG2) | RN(TMP_REG2) | RM(mem));2943}29442945ins = ADDI;29462947if (memw < 0) {2948memw = -memw;2949ins = SUBI;2950}29512952if (memw > 0xfff) {2953FAIL_IF(push_inst(compiler, ins | (1 << 22) | RD(TMP_REG2) | RN(mem) | ((sljit_ins)(memw >> 12) << 10)));29542955memw &= 0xfff;2956if (memw == 0)2957return SLJIT_SUCCESS;29582959mem = TMP_REG2;2960}29612962return push_inst(compiler, ins | RD(TMP_REG2) | RN(mem) | ((sljit_ins)memw << 10));2963}29642965SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_mov(struct sljit_compiler *compiler, sljit_s32 type,2966sljit_s32 vreg,2967sljit_s32 srcdst, sljit_sw srcdstw)2968{2969sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);2970sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);2971sljit_ins ins;29722973CHECK_ERROR();2974CHECK(check_sljit_emit_simd_mov(compiler, type, vreg, srcdst, srcdstw));29752976ADJUST_LOCAL_OFFSET(srcdst, srcdstw);29772978if (reg_size != 3 && reg_size != 4)2979return SLJIT_ERR_UNSUPPORTED;29802981if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))2982return SLJIT_ERR_UNSUPPORTED;29832984if (type & SLJIT_SIMD_TEST)2985return SLJIT_SUCCESS;29862987if (!(srcdst & SLJIT_MEM)) {2988if (type & SLJIT_SIMD_STORE)2989ins = VD(srcdst) | VN(vreg) | VM(vreg);2990else2991ins = VD(vreg) | VN(srcdst) | VM(srcdst);29922993if (reg_size == 4)2994ins |= (1 << 30);29952996return push_inst(compiler, ORR_v | ins);2997}29982999FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));30003001if (elem_size > 3)3002elem_size = 3;30033004ins = (type & SLJIT_SIMD_STORE) ? ST1 : LD1;30053006if (reg_size == 4)3007ins |= (1 << 30);30083009return push_inst(compiler, ins | ((sljit_ins)elem_size << 10) | RN(srcdst) | VT(vreg));3010}30113012static sljit_ins simd_get_imm(sljit_s32 elem_size, sljit_uw value)3013{3014sljit_ins result;30153016if (elem_size > 2 && (sljit_u32)value == (value >> 32)) {3017elem_size = 2;3018value = (sljit_u32)value;3019}30203021if (elem_size == 2 && (sljit_u16)value == (value >> 16)) {3022elem_size = 1;3023value = (sljit_u16)value;3024}30253026if (elem_size == 1 && (sljit_u8)value == (value >> 8)) {3027elem_size = 0;3028value = (sljit_u8)value;3029}30303031switch (elem_size) {3032case 0:3033SLJIT_ASSERT(value <= 0xff);3034result = 0xe000;3035break;3036case 1:3037SLJIT_ASSERT(value <= 0xffff);3038result = 0;30393040while (1) {3041if (value <= 0xff) {3042result |= 0x8000;3043break;3044}30453046if ((value & 0xff) == 0) {3047value >>= 8;3048result |= 0xa000;3049break;3050}30513052if (result != 0)3053return ~(sljit_ins)0;30543055value ^= (sljit_uw)0xffff;3056result = (1 << 29);3057}3058break;3059case 2:3060SLJIT_ASSERT(value <= 0xffffffff);3061result = 0;30623063while (1) {3064if (value <= 0xff) {3065result |= 0x0000;3066break;3067}30683069if ((value & ~(sljit_uw)0xff00) == 0) {3070value >>= 8;3071result |= 0x2000;3072break;3073}30743075if ((value & ~(sljit_uw)0xff0000) == 0) {3076value >>= 16;3077result |= 0x4000;3078break;3079}30803081if ((value & ~(sljit_uw)0xff000000) == 0) {3082value >>= 24;3083result |= 0x6000;3084break;3085}30863087if ((value & (sljit_uw)0xff) == 0xff && (value >> 16) == 0) {3088value >>= 8;3089result |= 0xc000;3090break;3091}30923093if ((value & (sljit_uw)0xffff) == 0xffff && (value >> 24) == 0) {3094value >>= 16;3095result |= 0xd000;3096break;3097}30983099if (result != 0)3100return ~(sljit_ins)0;31013102value ^= (sljit_uw)0xffffffff;3103result = (1 << 29);3104}3105break;3106default:3107return ~(sljit_ins)0;3108}31093110return (((sljit_ins)value & 0x1f) << 5) | (((sljit_ins)value & 0xe0) << 11) | result;3111}31123113SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_replicate(struct sljit_compiler *compiler, sljit_s32 type,3114sljit_s32 vreg,3115sljit_s32 src, sljit_sw srcw)3116{3117sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3118sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3119sljit_ins ins, imm;31203121CHECK_ERROR();3122CHECK(check_sljit_emit_simd_replicate(compiler, type, vreg, src, srcw));31233124ADJUST_LOCAL_OFFSET(src, srcw);31253126if (reg_size != 3 && reg_size != 4)3127return SLJIT_ERR_UNSUPPORTED;31283129if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3130return SLJIT_ERR_UNSUPPORTED;31313132if (type & SLJIT_SIMD_TEST)3133return SLJIT_SUCCESS;31343135if (src & SLJIT_MEM) {3136FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));31373138ins = (sljit_ins)elem_size << 10;31393140if (reg_size == 4)3141ins |= (sljit_ins)1 << 30;31423143return push_inst(compiler, LD1R | ins | RN(src) | VT(vreg));3144}31453146ins = (sljit_ins)1 << (16 + elem_size);31473148if (reg_size == 4)3149ins |= (sljit_ins)1 << 30;31503151if (type & SLJIT_SIMD_FLOAT) {3152if (src == SLJIT_IMM)3153return push_inst(compiler, MOVI | (ins & ((sljit_ins)1 << 30)) | VD(vreg));31543155return push_inst(compiler, DUP_e | ins | VD(vreg) | VN(src));3156}31573158if (src == SLJIT_IMM) {3159if (elem_size < 3)3160srcw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;31613162imm = simd_get_imm(elem_size, (sljit_uw)srcw);31633164if (imm != ~(sljit_ins)0) {3165imm |= ins & ((sljit_ins)1 << 30);31663167return push_inst(compiler, MOVI | imm | VD(vreg));3168}31693170FAIL_IF(load_immediate(compiler, TMP_REG2, srcw));3171src = TMP_REG2;3172}31733174return push_inst(compiler, DUP_g | ins | VD(vreg) | RN(src));3175}31763177SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_mov(struct sljit_compiler *compiler, sljit_s32 type,3178sljit_s32 vreg, sljit_s32 lane_index,3179sljit_s32 srcdst, sljit_sw srcdstw)3180{3181sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3182sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3183sljit_ins ins;31843185CHECK_ERROR();3186CHECK(check_sljit_emit_simd_lane_mov(compiler, type, vreg, lane_index, srcdst, srcdstw));31873188ADJUST_LOCAL_OFFSET(srcdst, srcdstw);31893190if (reg_size != 3 && reg_size != 4)3191return SLJIT_ERR_UNSUPPORTED;31923193if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3194return SLJIT_ERR_UNSUPPORTED;31953196if (type & SLJIT_SIMD_TEST)3197return SLJIT_SUCCESS;31983199if (type & SLJIT_SIMD_LANE_ZERO) {3200ins = (reg_size == 3) ? 0 : ((sljit_ins)1 << 30);32013202if ((type & SLJIT_SIMD_FLOAT) && vreg == srcdst) {3203FAIL_IF(push_inst(compiler, ORR_v | ins | VD(TMP_FREG1) | VN(vreg) | VM(vreg)));3204srcdst = TMP_FREG1;3205srcdstw = 0;3206}32073208FAIL_IF(push_inst(compiler, MOVI | ins | VD(vreg)));3209}32103211if (srcdst & SLJIT_MEM) {3212FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));32133214if (elem_size == 3)3215ins = 0x8400;3216else if (elem_size == 0)3217ins = 0;3218else3219ins = (sljit_ins)0x2000 << elem_size;32203221lane_index = lane_index << elem_size;3222ins |= (sljit_ins)(((lane_index & 0x8) << 27) | ((lane_index & 0x7) << 10));32233224return push_inst(compiler, ((type & SLJIT_SIMD_STORE) ? ST1_s : LD1_s) | ins | RN(srcdst) | VT(vreg));3225}32263227if (type & SLJIT_SIMD_FLOAT) {3228if (type & SLJIT_SIMD_STORE)3229ins = INS_e | ((sljit_ins)1 << (16 + elem_size)) | ((sljit_ins)lane_index << (11 + elem_size)) | VD(srcdst) | VN(vreg);3230else3231ins = INS_e | ((((sljit_ins)lane_index << 1) | 1) << (16 + elem_size)) | VD(vreg) | VN(srcdst);32323233return push_inst(compiler, ins);3234}32353236if (srcdst == SLJIT_IMM) {3237if (elem_size < 3)3238srcdstw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;32393240FAIL_IF(load_immediate(compiler, TMP_REG2, srcdstw));3241srcdst = TMP_REG2;3242}32433244if (type & SLJIT_SIMD_STORE) {3245ins = RD(srcdst) | VN(vreg);32463247if ((type & SLJIT_SIMD_LANE_SIGNED) && (elem_size < 2 || (elem_size == 2 && !(type & SLJIT_32)))) {3248ins |= SMOV;32493250if (!(type & SLJIT_32))3251ins |= (sljit_ins)1 << 30;3252} else3253ins |= UMOV;3254} else3255ins = INS | VD(vreg) | RN(srcdst);32563257if (elem_size == 3)3258ins |= (sljit_ins)1 << 30;32593260return push_inst(compiler, ins | ((((sljit_ins)lane_index << 1) | 1) << (16 + elem_size)));3261}32623263SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_replicate(struct sljit_compiler *compiler, sljit_s32 type,3264sljit_s32 vreg,3265sljit_s32 src, sljit_s32 src_lane_index)3266{3267sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3268sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3269sljit_ins ins;32703271CHECK_ERROR();3272CHECK(check_sljit_emit_simd_lane_replicate(compiler, type, vreg, src, src_lane_index));32733274if (reg_size != 3 && reg_size != 4)3275return SLJIT_ERR_UNSUPPORTED;32763277if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3278return SLJIT_ERR_UNSUPPORTED;32793280if (type & SLJIT_SIMD_TEST)3281return SLJIT_SUCCESS;32823283ins = (((sljit_ins)src_lane_index << 1) | 1) << (16 + elem_size);32843285if (reg_size == 4)3286ins |= (sljit_ins)1 << 30;32873288return push_inst(compiler, DUP_e | ins | VD(vreg) | VN(src));3289}32903291SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_extend(struct sljit_compiler *compiler, sljit_s32 type,3292sljit_s32 vreg,3293sljit_s32 src, sljit_sw srcw)3294{3295sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3296sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3297sljit_s32 elem2_size = SLJIT_SIMD_GET_ELEM2_SIZE(type);32983299CHECK_ERROR();3300CHECK(check_sljit_emit_simd_extend(compiler, type, vreg, src, srcw));33013302ADJUST_LOCAL_OFFSET(src, srcw);33033304if (reg_size != 3 && reg_size != 4)3305return SLJIT_ERR_UNSUPPORTED;33063307if ((type & SLJIT_SIMD_FLOAT) && (elem_size != 2 || elem2_size != 3))3308return SLJIT_ERR_UNSUPPORTED;33093310if (type & SLJIT_SIMD_TEST)3311return SLJIT_SUCCESS;33123313if (src & SLJIT_MEM) {3314FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));33153316if (reg_size == 4 && elem2_size - elem_size == 1)3317FAIL_IF(push_inst(compiler, LD1 | ((sljit_ins)elem_size << 10) | RN(src) | VT(vreg)));3318else3319FAIL_IF(push_inst(compiler, LD1_s | ((sljit_ins)0x2000 << (reg_size - elem2_size + elem_size)) | RN(src) | VT(vreg)));3320src = vreg;3321}33223323if (type & SLJIT_SIMD_FLOAT) {3324SLJIT_ASSERT(reg_size == 4);3325return push_inst(compiler, FCVTL | (1 << 22) | VD(vreg) | VN(src));3326}33273328do {3329FAIL_IF(push_inst(compiler, ((type & SLJIT_SIMD_EXTEND_SIGNED) ? SSHLL : USHLL)3330| ((sljit_ins)1 << (19 + elem_size)) | VD(vreg) | VN(src)));3331src = vreg;3332} while (++elem_size < elem2_size);33333334return SLJIT_SUCCESS;3335}33363337SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_sign(struct sljit_compiler *compiler, sljit_s32 type,3338sljit_s32 vreg,3339sljit_s32 dst, sljit_sw dstw)3340{3341sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3342sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3343sljit_ins ins, imms;3344sljit_s32 dst_r;33453346CHECK_ERROR();3347CHECK(check_sljit_emit_simd_sign(compiler, type, vreg, dst, dstw));33483349ADJUST_LOCAL_OFFSET(dst, dstw);33503351if (reg_size != 3 && reg_size != 4)3352return SLJIT_ERR_UNSUPPORTED;33533354if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3355return SLJIT_ERR_UNSUPPORTED;33563357if (type & SLJIT_SIMD_TEST)3358return SLJIT_SUCCESS;33593360switch (elem_size) {3361case 0:3362imms = 0x643219;3363ins = USHR | (0x9 << 16);3364break;3365case 1:3366imms = (reg_size == 4) ? 0x643219 : 0x6231;3367ins = USHR | (0x11 << 16);3368break;3369case 2:3370imms = (reg_size == 4) ? 0x6231 : 0x61;3371ins = USHR | (0x21 << 16);3372break;3373default:3374imms = 0x61;3375ins = USHR | (0x41 << 16);3376break;3377}33783379if (reg_size == 4)3380ins |= (1 << 30);33813382FAIL_IF(push_inst(compiler, ins | VD(TMP_FREG1) | VN(vreg)));33833384if (reg_size == 4 && elem_size > 0)3385FAIL_IF(push_inst(compiler, XTN | ((sljit_ins)(elem_size - 1) << 22) | VD(TMP_FREG1) | VN(TMP_FREG1)));33863387if (imms >= 0x100) {3388ins = (reg_size == 4 && elem_size == 0) ? (1 << 30) : 0;33893390do {3391FAIL_IF(push_inst(compiler, USRA | ins | ((imms & 0xff) << 16) | VD(TMP_FREG1) | VN(TMP_FREG1)));3392imms >>= 8;3393} while (imms >= 0x100);3394}33953396FAIL_IF(push_inst(compiler, USRA | (1 << 30) | (imms << 16) | VD(TMP_FREG1) | VN(TMP_FREG1)));33973398dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;3399ins = (0x1 << 16);34003401if (reg_size == 4 && elem_size == 0) {3402FAIL_IF(push_inst(compiler, INS_e | (0x3 << 16) | (0x8 << 11) | VD(TMP_FREG1) | VN(TMP_FREG1)));3403ins = (0x2 << 16);3404}34053406FAIL_IF(push_inst(compiler, UMOV | ins | RD(dst_r) | VN(TMP_FREG1)));34073408if (dst_r == TMP_REG2)3409return emit_op_mem(compiler, STORE | ((type & SLJIT_32) ? INT_SIZE : WORD_SIZE), TMP_REG2, dst, dstw, TMP_REG1);34103411return SLJIT_SUCCESS;3412}34133414SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_op2(struct sljit_compiler *compiler, sljit_s32 type,3415sljit_s32 dst_vreg, sljit_s32 src1_vreg, sljit_s32 src2, sljit_sw src2w)3416{3417sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3418sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3419sljit_ins ins = 0;34203421CHECK_ERROR();3422CHECK(check_sljit_emit_simd_op2(compiler, type, dst_vreg, src1_vreg, src2, src2w));3423ADJUST_LOCAL_OFFSET(src2, src2w);34243425if (reg_size != 3 && reg_size != 4)3426return SLJIT_ERR_UNSUPPORTED;34273428if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3429return SLJIT_ERR_UNSUPPORTED;34303431if (type & SLJIT_SIMD_TEST)3432return SLJIT_SUCCESS;34333434switch (SLJIT_SIMD_GET_OPCODE(type)) {3435case SLJIT_SIMD_OP2_AND:3436ins = AND_v;3437break;3438case SLJIT_SIMD_OP2_OR:3439ins = ORR_v;3440break;3441case SLJIT_SIMD_OP2_XOR:3442ins = EOR_v;3443break;3444case SLJIT_SIMD_OP2_SHUFFLE:3445ins = TBL_v;3446break;3447}34483449if (src2 & SLJIT_MEM) {3450if (elem_size > 3)3451elem_size = 3;34523453FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src2, src2w));3454push_inst(compiler, LD1 | (reg_size == 4 ? (1 << 30) : 0) | ((sljit_ins)elem_size << 10) | RN(src2) | VT(TMP_FREG1));3455src2 = TMP_FREG1;3456}34573458if (reg_size == 4)3459ins |= (sljit_ins)1 << 30;34603461return push_inst(compiler, ins | VD(dst_vreg) | VN(src1_vreg) | VM(src2));3462}34633464SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_load(struct sljit_compiler *compiler, sljit_s32 op,3465sljit_s32 dst_reg,3466sljit_s32 mem_reg)3467{3468sljit_ins ins;34693470CHECK_ERROR();3471CHECK(check_sljit_emit_atomic_load(compiler, op, dst_reg, mem_reg));34723473#ifndef __ARM_FEATURE_ATOMICS3474if (op & SLJIT_ATOMIC_USE_CAS)3475return SLJIT_ERR_UNSUPPORTED;3476#endif /* ARM_FEATURE_ATOMICS */34773478switch (GET_OPCODE(op)) {3479case SLJIT_MOV_S8:3480case SLJIT_MOV_S16:3481case SLJIT_MOV_S32:3482return SLJIT_ERR_UNSUPPORTED;34833484case SLJIT_MOV32:3485case SLJIT_MOV_U32:3486#ifdef __ARM_FEATURE_ATOMICS3487if (!(op & SLJIT_ATOMIC_USE_LS))3488ins = LDR ^ (1 << 30);3489else3490#endif /* ARM_FEATURE_ATOMICS */3491ins = LDXR ^ (1 << 30);3492break;3493case SLJIT_MOV_U8:3494#ifdef __ARM_FEATURE_ATOMICS3495if (!(op & SLJIT_ATOMIC_USE_LS))3496ins = LDRB;3497else3498#endif /* ARM_FEATURE_ATOMICS */3499ins = LDXRB;3500break;3501case SLJIT_MOV_U16:3502#ifdef __ARM_FEATURE_ATOMICS3503if (!(op & SLJIT_ATOMIC_USE_LS))3504ins = LDRH;3505else3506#endif /* ARM_FEATURE_ATOMICS */3507ins = LDXRH;3508break;3509default:3510#ifdef __ARM_FEATURE_ATOMICS3511if (!(op & SLJIT_ATOMIC_USE_LS))3512ins = LDR;3513else3514#endif /* ARM_FEATURE_ATOMICS */3515ins = LDXR;3516break;3517}35183519if (op & SLJIT_ATOMIC_TEST)3520return SLJIT_SUCCESS;35213522return push_inst(compiler, ins | RN(mem_reg) | RT(dst_reg));3523}35243525SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_store(struct sljit_compiler *compiler, sljit_s32 op,3526sljit_s32 src_reg,3527sljit_s32 mem_reg,3528sljit_s32 temp_reg)3529{3530sljit_ins ins;3531sljit_ins cmp = 0;3532SLJIT_UNUSED_ARG(temp_reg); /* !__ARM_FEATURE_ATOMICS */35333534CHECK_ERROR();3535CHECK(check_sljit_emit_atomic_store(compiler, op, src_reg, mem_reg, temp_reg));35363537#ifdef __ARM_FEATURE_ATOMICS3538if (!(op & SLJIT_ATOMIC_USE_LS)) {3539if (op & SLJIT_SET_ATOMIC_STORED)3540cmp = (SUBS ^ W_OP) | RD(TMP_ZERO);35413542switch (GET_OPCODE(op)) {3543case SLJIT_MOV_S8:3544case SLJIT_MOV_S16:3545case SLJIT_MOV_S32:3546return SLJIT_ERR_UNSUPPORTED;35473548case SLJIT_MOV32:3549case SLJIT_MOV_U32:3550ins = CAS ^ (1 << 30);3551break;3552case SLJIT_MOV_U16:3553ins = CASH;3554break;3555case SLJIT_MOV_U8:3556ins = CASB;3557break;3558default:3559ins = CAS;3560if (cmp)3561cmp ^= W_OP;3562break;3563}35643565if (op & SLJIT_ATOMIC_TEST)3566return SLJIT_SUCCESS;35673568if (cmp)3569FAIL_IF(push_inst(compiler, ((MOV ^ W_OP) ^ (cmp & W_OP)) | RM(temp_reg) | RD(TMP_REG2)));35703571FAIL_IF(push_inst(compiler, ins | RM(temp_reg) | RN(mem_reg) | RD(src_reg)));3572if (!cmp)3573return SLJIT_SUCCESS;35743575return push_inst(compiler, cmp | RM(TMP_REG2) | RN(temp_reg));3576}3577#else /* !__ARM_FEATURE_ATOMICS */3578if (op & SLJIT_ATOMIC_USE_CAS)3579return SLJIT_ERR_UNSUPPORTED;3580#endif /* __ARM_FEATURE_ATOMICS */35813582if (op & SLJIT_SET_ATOMIC_STORED)3583cmp = (SUBI ^ W_OP) | (1 << 29);35843585switch (GET_OPCODE(op)) {3586case SLJIT_MOV_S8:3587case SLJIT_MOV_S16:3588case SLJIT_MOV_S32:3589return SLJIT_ERR_UNSUPPORTED;35903591case SLJIT_MOV32:3592case SLJIT_MOV_U32:3593ins = STXR ^ (1 << 30);3594break;3595case SLJIT_MOV_U8:3596ins = STXRB;3597break;3598case SLJIT_MOV_U16:3599ins = STXRH;3600break;3601default:3602ins = STXR;3603break;3604}36053606if (op & SLJIT_ATOMIC_TEST)3607return SLJIT_SUCCESS;36083609FAIL_IF(push_inst(compiler, ins | RM(TMP_REG2) | RN(mem_reg) | RT(src_reg)));3610if (!cmp)3611return SLJIT_SUCCESS;3612return push_inst(compiler, cmp | RD(TMP_ZERO) | RN(TMP_REG2));3613}36143615SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)3616{3617sljit_s32 dst_reg;3618sljit_ins ins;36193620CHECK_ERROR();3621CHECK(check_sljit_get_local_base(compiler, dst, dstw, offset));3622ADJUST_LOCAL_OFFSET(dst, dstw);3623ADJUST_LOCAL_OFFSET(SLJIT_MEM1(SLJIT_SP), offset);36243625dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG1;36263627/* Not all instruction forms support accessing SP register. */3628if (offset <= 0xffffff && offset >= -0xffffff) {3629ins = ADDI;3630if (offset < 0) {3631offset = -offset;3632ins = SUBI;3633}36343635if (offset <= 0xfff)3636FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | (sljit_ins)(offset << 10)));3637else {3638FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | (sljit_ins)((offset & 0xfff000) >> (12 - 10)) | (1 << 22)));36393640offset &= 0xfff;3641if (offset != 0)3642FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(dst_reg) | (sljit_ins)(offset << 10)));3643}3644}3645else {3646FAIL_IF(load_immediate (compiler, dst_reg, offset));3647/* Add extended register form. */3648FAIL_IF(push_inst(compiler, ADDE | (0x3 << 13) | RD(dst_reg) | RN(SLJIT_SP) | RM(dst_reg)));3649}36503651if (SLJIT_UNLIKELY(dst & SLJIT_MEM))3652return emit_op_mem(compiler, WORD_SIZE | STORE, dst_reg, dst, dstw, TMP_REG1);3653return SLJIT_SUCCESS;3654}36553656#define SLJIT_EMIT_CONST_U8(c) \3657(((c) & 0x100) != 0 ? (MOVN | (sljit_ins)((~(c) & 0xff) << 5)) : (MOVZ | (sljit_ins)(((c) & 0xff) << 5)))3658#define SLJIT_EMIT_CONST_S32(c) \3659(((c) < 0) ? (MOVN | (sljit_ins)((~(c) & 0xffff) << 5)) : (MOVZ | (sljit_ins)(((c) & 0xffff) << 5)))36603661SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 op,3662sljit_s32 dst, sljit_sw dstw,3663sljit_sw init_value)3664{3665struct sljit_const *const_;3666sljit_s32 dst_r;3667sljit_s32 mem_flags = WORD_SIZE | STORE;36683669CHECK_ERROR_PTR();3670CHECK_PTR(check_sljit_emit_const(compiler, op, dst, dstw, init_value));3671ADJUST_LOCAL_OFFSET(dst, dstw);36723673const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));3674PTR_FAIL_IF(!const_);3675set_const(const_, compiler);36763677dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;36783679switch (GET_OPCODE(op)) {3680case SLJIT_MOV_U8:3681PTR_FAIL_IF(push_inst(compiler, SLJIT_EMIT_CONST_U8(init_value) | RD(dst_r)));3682mem_flags = BYTE_SIZE | STORE;3683break;36843685case SLJIT_MOV32:3686case SLJIT_MOV_S32:3687if (GET_OPCODE(op) == SLJIT_MOV32) {3688init_value = (sljit_u32)init_value;3689mem_flags = INT_SIZE | STORE;3690} else3691init_value = (sljit_s32)init_value;36923693PTR_FAIL_IF(push_inst(compiler, SLJIT_EMIT_CONST_S32(init_value) | RD(dst_r)));3694PTR_FAIL_IF(push_inst(compiler, MOVK | (1 << 21) | (sljit_ins)((init_value >> 11) & 0x1fffe0) | RD(dst_r)));3695break;36963697default:3698PTR_FAIL_IF(emit_imm64_const(compiler, dst_r, (sljit_uw)init_value));3699break;3700}37013702if (dst & SLJIT_MEM)3703PTR_FAIL_IF(emit_op_mem(compiler, mem_flags, dst_r, dst, dstw, TMP_REG2));3704return const_;3705}37063707SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_op_addr(struct sljit_compiler *compiler, sljit_s32 op,3708sljit_s32 dst, sljit_sw dstw)3709{3710struct sljit_jump *jump;3711sljit_s32 dst_r, target_r;3712SLJIT_UNUSED_ARG(op);37133714CHECK_ERROR_PTR();3715CHECK_PTR(check_sljit_emit_op_addr(compiler, op, dst, dstw));3716ADJUST_LOCAL_OFFSET(dst, dstw);37173718dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;37193720if (op != SLJIT_ADD_ABS_ADDR)3721target_r = dst_r;3722else {3723target_r = TMP_REG2;37243725if (dst & SLJIT_MEM)3726PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2));3727}37283729PTR_FAIL_IF(push_inst(compiler, RD(target_r)));37303731jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3732PTR_FAIL_IF(!jump);3733set_mov_addr(jump, compiler, 1);37343735compiler->size += 3;37363737if (op == SLJIT_ADD_ABS_ADDR)3738PTR_FAIL_IF(push_inst(compiler, ADD | RD(dst_r) | RN(dst_r) | RM(TMP_REG2)));37393740if (dst & SLJIT_MEM)3741PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));37423743return jump;3744}37453746SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)3747{3748sljit_ins* inst = (sljit_ins*)addr;3749sljit_u32 dst;3750SLJIT_UNUSED_ARG(executable_offset);37513752SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 0);37533754dst = inst[0] & 0x1f;3755SLJIT_ASSERT((inst[0] & 0xffe00000) == MOVZ && (inst[1] & 0xffe00000) == (MOVK | (1 << 21)));3756inst[0] = MOVZ | dst | (((sljit_u32)new_target & 0xffff) << 5);3757inst[1] = MOVK | dst | (((sljit_u32)(new_target >> 16) & 0xffff) << 5) | (1 << 21);3758inst[2] = MOVK | dst | (((sljit_u32)(new_target >> 32) & 0xffff) << 5) | (2 << 21);3759inst[3] = MOVK | dst | ((sljit_u32)(new_target >> 48) << 5) | (3 << 21);37603761SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 1);3762inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);3763SLJIT_CACHE_FLUSH(inst, inst + 4);3764}37653766SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_s32 op, sljit_sw new_constant, sljit_sw executable_offset)3767{3768sljit_ins* inst;37693770switch (GET_OPCODE(op)) {3771case SLJIT_MOV_U8:3772inst = (sljit_ins*)addr;3773SLJIT_ASSERT((inst[0] & 0xffe00000) == MOVZ || (inst[0] & 0xffe00000) == MOVN);37743775SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);3776inst[0] = SLJIT_EMIT_CONST_U8(new_constant) | (inst[0] & 0x1f);3777SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);3778inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);3779SLJIT_CACHE_FLUSH(inst, inst + 1);3780return;37813782case SLJIT_MOV32:3783case SLJIT_MOV_S32:3784if (GET_OPCODE(op) == SLJIT_MOV32)3785new_constant = (sljit_u32)new_constant;3786else3787new_constant = (sljit_s32)new_constant;37883789inst = (sljit_ins*)addr;3790SLJIT_ASSERT(((inst[0] & 0xffe00000) == MOVZ || (inst[0] & 0xffe00000) == MOVN) && (inst[1] & 0xffe00000) == (MOVK | (1 << 21)));37913792SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);3793inst[0] = SLJIT_EMIT_CONST_S32(new_constant) | (inst[0] & 0x1f);3794inst[1] = MOVK | (1 << 21) | (sljit_ins)((new_constant >> 11) & 0x1fffe0) | (inst[1] & 0x1f);3795SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);3796inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);3797SLJIT_CACHE_FLUSH(inst, inst + 2);3798return;37993800default:3801sljit_set_jump_addr(addr, (sljit_uw)new_constant, executable_offset);3802return;3803}3804}380538063807