Path: blob/master/thirdparty/pcre2/deps/sljit/sljit_src/sljitNativeARM_64.c
9913 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*/2526SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)27{28return "ARM-64" SLJIT_CPUINFO;29}3031/* Length of an instruction word */32typedef sljit_u32 sljit_ins;3334#define TMP_ZERO (0)3536#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)37#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)38#define TMP_LR (SLJIT_NUMBER_OF_REGISTERS + 4)39#define TMP_FP (SLJIT_NUMBER_OF_REGISTERS + 5)4041#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)42#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)4344/* r18 - platform register, currently not used */45static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 8] = {4631, 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, 2947};4849static const sljit_u8 freg_map[SLJIT_NUMBER_OF_FLOAT_REGISTERS + 3] = {500, 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, 3151};5253#define W_OP ((sljit_ins)1 << 31)54#define RD(rd) ((sljit_ins)reg_map[rd])55#define RT(rt) ((sljit_ins)reg_map[rt])56#define RN(rn) ((sljit_ins)reg_map[rn] << 5)57#define RT2(rt2) ((sljit_ins)reg_map[rt2] << 10)58#define RM(rm) ((sljit_ins)reg_map[rm] << 16)59#define VD(vd) ((sljit_ins)freg_map[vd])60#define VT(vt) ((sljit_ins)freg_map[vt])61#define VT2(vt) ((sljit_ins)freg_map[vt] << 10)62#define VN(vn) ((sljit_ins)freg_map[vn] << 5)63#define VM(vm) ((sljit_ins)freg_map[vm] << 16)6465/* --------------------------------------------------------------------- */66/* Instrucion forms */67/* --------------------------------------------------------------------- */6869#define ADC 0x9a00000070#define ADD 0x8b00000071#define ADDE 0x8b20000072#define ADDI 0x9100000073#define ADR 0x1000000074#define ADRP 0x9000000075#define AND 0x8a00000076#define ANDI 0x9200000077#define AND_v 0x0e201c0078#define ASRV 0x9ac0280079#define B 0x1400000080#define B_CC 0x5400000081#define BL 0x9400000082#define BLR 0xd63f000083#define BR 0xd61f000084#define BRK 0xd420000085#define CAS 0xc8a07c0086#define CASB 0x08a07c0087#define CASH 0x48a07c0088#define CBZ 0xb400000089#define CCMPI 0xfa40080090#define CLZ 0xdac0100091#define CSEL 0x9a80000092#define CSINC 0x9a80040093#define DMB_SY 0xd5033fbf94#define DUP_e 0x0e00040095#define DUP_g 0x0e000c0096#define EOR 0xca00000097#define EOR_v 0x2e201c0098#define EORI 0xd200000099#define EXTR 0x93c00000100#define FABS 0x1e60c000101#define FADD 0x1e602800102#define FCMP 0x1e602000103#define FCSEL 0x1e600c00104#define FCVT 0x1e224000105#define FCVTL 0x0e217800106#define FCVTZS 0x9e780000107#define FDIV 0x1e601800108#define FMOV 0x1e604000109#define FMOV_R 0x9e660000110#define FMOV_I 0x1e601000111#define FMUL 0x1e600800112#define FNEG 0x1e614000113#define FSUB 0x1e603800114#define INS 0x4e001c00115#define INS_e 0x6e000400116#define LD1 0x0c407000117#define LD1_s 0x0d400000118#define LD1R 0x0d40c000119#define LDRI 0xf9400000120#define LDRI_F64 0xfd400000121#define LDRI_POST 0xf8400400122#define LDP 0xa9400000123#define LDP_F64 0x6d400000124#define LDP_POST 0xa8c00000125#define LDR_PRE 0xf8400c00126#define LDXR 0xc85f7c00127#define LDXRB 0x085f7c00128#define LDXRH 0x485f7c00129#define LSLV 0x9ac02000130#define LSRV 0x9ac02400131#define MADD 0x9b000000132#define MOVI 0x0f000400133#define MOVK 0xf2800000134#define MOVN 0x92800000135#define MOVZ 0xd2800000136#define NOP 0xd503201f137#define ORN 0xaa200000138#define ORR 0xaa000000139#define ORR_v 0x0ea01c00140#define ORRI 0xb2000000141#define RBIT 0xdac00000142#define RET 0xd65f0000143#define REV 0xdac00c00144#define REV16 0xdac00400145#define RORV 0x9ac02c00146#define SBC 0xda000000147#define SBFM 0x93400000148#define SCVTF 0x9e620000149#define SDIV 0x9ac00c00150#define SMADDL 0x9b200000151#define SMOV 0x0e002c00152#define SMULH 0x9b403c00153#define SSHLL 0x0f00a400154#define ST1 0x0c007000155#define ST1_s 0x0d000000156#define STP 0xa9000000157#define STP_F64 0x6d000000158#define STP_PRE 0xa9800000159#define STRB 0x38206800160#define STRBI 0x39000000161#define STRI 0xf9000000162#define STRI_F64 0xfd000000163#define STR_FI 0x3d000000164#define STR_FR 0x3c206800165#define STUR_FI 0x3c000000166#define STURBI 0x38000000167#define STXR 0xc8007c00168#define STXRB 0x8007c00169#define STXRH 0x48007c00170#define SUB 0xcb000000171#define SUBI 0xd1000000172#define SUBS 0xeb000000173#define TBZ 0x36000000174#define TBL_v 0x0e000000175#define UBFM 0xd3400000176#define UCVTF 0x9e630000177#define UDIV 0x9ac00800178#define UMOV 0x0e003c00179#define UMULH 0x9bc03c00180#define USHLL 0x2f00a400181#define USHR 0x2f000400182#define USRA 0x2f001400183#define XTN 0x0e212800184185#define CSET (CSINC | RM(TMP_ZERO) | RN(TMP_ZERO))186#define LDR (STRI | (1 << 22))187#define LDRB (STRBI | (1 << 22))188#define LDRH (LDRB | (1 << 30))189#define MOV (ORR | RN(TMP_ZERO))190191static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins ins)192{193sljit_ins *ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));194FAIL_IF(!ptr);195*ptr = ins;196compiler->size++;197return SLJIT_SUCCESS;198}199200static SLJIT_INLINE sljit_s32 emit_imm64_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)201{202FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)(imm & 0xffff) << 5)));203FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)(imm >> 16) & 0xffff) << 5) | (1 << 21)));204FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)(imm >> 32) & 0xffff) << 5) | (2 << 21)));205return push_inst(compiler, MOVK | RD(dst) | ((sljit_ins)(imm >> 48) << 5) | (3 << 21));206}207208static SLJIT_INLINE sljit_ins* detect_jump_type(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)209{210sljit_sw diff;211sljit_uw target_addr;212sljit_uw jump_addr = (sljit_uw)code_ptr;213sljit_uw orig_addr = jump->addr;214SLJIT_UNUSED_ARG(executable_offset);215216jump->addr = jump_addr;217if (jump->flags & SLJIT_REWRITABLE_JUMP)218goto exit;219220if (jump->flags & JUMP_ADDR)221target_addr = jump->u.target;222else {223SLJIT_ASSERT(jump->u.label != NULL);224target_addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);225226if (jump->u.label->size > orig_addr)227jump_addr = (sljit_uw)(code + orig_addr);228}229230diff = (sljit_sw)target_addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);231232if (jump->flags & IS_COND) {233diff += SSIZE_OF(ins);234if (diff <= 0xfffff && diff >= -0x100000) {235*(--code_ptr) ^= (jump->flags & IS_CBZ) ? (0x1 << 24) : 0x1;236jump->flags |= PATCH_COND;237jump->addr -= sizeof(sljit_ins);238return code_ptr;239}240diff -= SSIZE_OF(ins);241}242243if (diff <= 0x7ffffff && diff >= -0x8000000) {244if (jump->flags & IS_COND)245code_ptr[-1] -= (4 << 5);246jump->flags |= PATCH_B;247return code_ptr;248}249250if (target_addr < 0x100000000l) {251if (jump->flags & IS_COND)252code_ptr[-1] -= (2 << 5);253code_ptr[2] = code_ptr[0];254return code_ptr + 2;255}256257if (diff <= 0xfffff000l && diff >= -0x100000000l) {258if (jump->flags & IS_COND)259code_ptr[-1] -= (2 << 5);260jump->flags |= PATCH_B32;261code_ptr[2] = code_ptr[0];262return code_ptr + 2;263}264265if (target_addr < 0x1000000000000l) {266if (jump->flags & IS_COND)267code_ptr[-1] -= (1 << 5);268jump->flags |= PATCH_ABS48;269code_ptr[3] = code_ptr[0];270return code_ptr + 3;271}272273exit:274jump->flags |= PATCH_ABS64;275code_ptr[4] = code_ptr[0];276return code_ptr + 4;277}278279static SLJIT_INLINE sljit_sw mov_addr_get_length(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)280{281sljit_uw addr;282sljit_uw jump_addr = (sljit_uw)code_ptr;283sljit_sw diff;284SLJIT_UNUSED_ARG(executable_offset);285286SLJIT_ASSERT(jump->flags < ((sljit_uw)4 << JUMP_SIZE_SHIFT));287if (jump->flags & JUMP_ADDR)288addr = jump->u.target;289else {290addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);291292if (jump->u.label->size > jump->addr)293jump_addr = (sljit_uw)(code + jump->addr);294}295296diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);297298if (diff <= 0xfffff && diff >= -0x100000) {299jump->flags |= PATCH_B;300return 0;301}302303if (diff <= 0xfffff000l && diff >= -0x100000000l) {304SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));305jump->flags |= PATCH_B32;306return 1;307}308309if (addr < 0x100000000l) {310SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));311return 1;312}313314if (addr < 0x1000000000000l) {315SLJIT_ASSERT(jump->flags >= ((sljit_uw)2 << JUMP_SIZE_SHIFT));316jump->flags |= PATCH_ABS48;317return 2;318}319320SLJIT_ASSERT(jump->flags >= ((sljit_uw)3 << JUMP_SIZE_SHIFT));321jump->flags |= PATCH_ABS64;322return 3;323}324325static SLJIT_INLINE void generate_jump_or_mov_addr(struct sljit_jump *jump, sljit_sw executable_offset)326{327sljit_sw addr = (sljit_sw)((jump->flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr);328sljit_ins* buf_ptr = (sljit_ins*)jump->addr;329sljit_u32 dst;330SLJIT_UNUSED_ARG(executable_offset);331332if (!(jump->flags & JUMP_MOV_ADDR)) {333if (jump->flags & PATCH_COND) {334addr = (addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;335SLJIT_ASSERT(addr <= 0x3ffff && addr >= -0x40000);336buf_ptr[0] = (buf_ptr[0] & ~(sljit_ins)0xffffe0) | (sljit_ins)((addr & 0x7ffff) << 5);337return;338}339340if (jump->flags & PATCH_B) {341addr = (addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) >> 2;342SLJIT_ASSERT(addr <= 0x1ffffff && addr >= -0x2000000);343buf_ptr[0] = ((jump->flags & IS_BL) ? BL : B) | (sljit_ins)(addr & 0x3ffffff);344return;345}346347dst = (buf_ptr[0] >> 5) & 0x1f;348349if (jump->flags & PATCH_B32) {350addr -= (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset) & ~(sljit_sw)0xfff;351SLJIT_ASSERT(addr <= 0xfffff000l && addr >= -0x100000000l);352buf_ptr[0] = ADRP | (((sljit_ins)(addr >> 12) & 0x3) << 29) | (((sljit_ins)(addr >> 14) & 0x7ffff) << 5) | dst;353buf_ptr[1] = ADDI | dst | (dst << 5) | ((sljit_ins)(addr & 0xfff) << 10);354return;355}356} else {357dst = *buf_ptr;358359if (jump->flags & PATCH_B) {360addr -= (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset);361SLJIT_ASSERT(addr <= 0xfffff && addr >= -0x100000);362buf_ptr[0] = ADR | (((sljit_ins)addr & 0x3) << 29) | (((sljit_ins)(addr >> 2) & 0x7ffff) << 5) | dst;363return;364}365366if (jump->flags & PATCH_B32) {367addr -= ((sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset)) & ~(sljit_sw)0xfff;368SLJIT_ASSERT(addr <= 0xffffffffl && addr >= -0x100000000l);369buf_ptr[0] = ADRP | (((sljit_ins)(addr >> 12) & 0x3) << 29) | (((sljit_ins)(addr >> 14) & 0x7ffff) << 5) | dst;370buf_ptr[1] = ADDI | dst | (dst << 5) | ((sljit_ins)(addr & 0xfff) << 10);371return;372}373}374375SLJIT_ASSERT((jump->flags & (PATCH_ABS48 | PATCH_ABS64)) || (sljit_uw)addr <= (sljit_uw)0xffffffff);376SLJIT_ASSERT((jump->flags & PATCH_ABS64) || (sljit_uw)addr <= (sljit_uw)0xffffffffffff);377378buf_ptr[0] = MOVZ | (((sljit_ins)addr & 0xffff) << 5) | dst;379buf_ptr[1] = MOVK | (((sljit_ins)(addr >> 16) & 0xffff) << 5) | (1 << 21) | dst;380if (jump->flags & (PATCH_ABS48 | PATCH_ABS64))381buf_ptr[2] = MOVK | (((sljit_ins)(addr >> 32) & 0xffff) << 5) | (2 << 21) | dst;382383if (jump->flags & PATCH_ABS64)384buf_ptr[3] = MOVK | ((sljit_ins)((sljit_uw)addr >> 48) << 5) | (3 << 21) | dst;385}386387static void reduce_code_size(struct sljit_compiler *compiler)388{389struct sljit_label *label;390struct sljit_jump *jump;391struct sljit_const *const_;392SLJIT_NEXT_DEFINE_TYPES;393sljit_uw total_size;394sljit_uw size_reduce = 0;395sljit_sw diff;396397label = compiler->labels;398jump = compiler->jumps;399const_ = compiler->consts;400SLJIT_NEXT_INIT_TYPES();401402while (1) {403SLJIT_GET_NEXT_MIN();404405if (next_min_addr == SLJIT_MAX_ADDRESS)406break;407408if (next_min_addr == next_label_size) {409label->size -= size_reduce;410411label = label->next;412next_label_size = SLJIT_GET_NEXT_SIZE(label);413}414415if (next_min_addr == next_const_addr) {416const_->addr -= size_reduce;417const_ = const_->next;418next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);419continue;420}421422if (next_min_addr != next_jump_addr)423continue;424425jump->addr -= size_reduce;426if (!(jump->flags & JUMP_MOV_ADDR)) {427total_size = JUMP_MAX_SIZE;428429if (!(jump->flags & SLJIT_REWRITABLE_JUMP)) {430if (jump->flags & JUMP_ADDR) {431if (jump->u.target < 0x100000000l)432total_size = 3;433else if (jump->u.target < 0x1000000000000l)434total_size = 4;435} else {436/* Unit size: instruction. */437diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;438if (jump->u.label->size > jump->addr) {439SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);440diff -= (sljit_sw)size_reduce;441}442443if ((jump->flags & IS_COND) && (diff + 1) <= (0xfffff / SSIZE_OF(ins)) && (diff + 1) >= (-0x100000 / SSIZE_OF(ins)))444total_size = 0;445else if (diff <= (0x7ffffff / SSIZE_OF(ins)) && diff >= (-0x8000000 / SSIZE_OF(ins)))446total_size = 1;447else if (diff <= (0xfffff000l / SSIZE_OF(ins)) && diff >= (-0x100000000l / SSIZE_OF(ins)))448total_size = 3;449}450}451452size_reduce += JUMP_MAX_SIZE - total_size;453} else {454/* Real size minus 1. Unit size: instruction. */455total_size = 3;456457if (!(jump->flags & JUMP_ADDR)) {458diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;459if (jump->u.label->size > jump->addr) {460SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);461diff -= (sljit_sw)size_reduce;462}463464if (diff <= (0xfffff / SSIZE_OF(ins)) && diff >= (-0x100000 / SSIZE_OF(ins)))465total_size = 0;466else if (diff <= (0xfffff000l / SSIZE_OF(ins)) && diff >= (-0x100000000l / SSIZE_OF(ins)))467total_size = 1;468} else if (jump->u.target < 0x100000000l)469total_size = 1;470else if (jump->u.target < 0x1000000000000l)471total_size = 2;472473size_reduce += 3 - total_size;474}475476jump->flags |= total_size << JUMP_SIZE_SHIFT;477jump = jump->next;478next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);479}480481compiler->size -= size_reduce;482}483484SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler, sljit_s32 options, void *exec_allocator_data)485{486struct sljit_memory_fragment *buf;487sljit_ins *code;488sljit_ins *code_ptr;489sljit_ins *buf_ptr;490sljit_ins *buf_end;491sljit_uw word_count;492SLJIT_NEXT_DEFINE_TYPES;493sljit_sw executable_offset;494sljit_sw addr;495496struct sljit_label *label;497struct sljit_jump *jump;498struct sljit_const *const_;499500CHECK_ERROR_PTR();501CHECK_PTR(check_sljit_generate_code(compiler));502503reduce_code_size(compiler);504505code = (sljit_ins*)allocate_executable_memory(compiler->size * sizeof(sljit_ins), options, exec_allocator_data, &executable_offset);506PTR_FAIL_WITH_EXEC_IF(code);507508reverse_buf(compiler);509buf = compiler->buf;510511code_ptr = code;512word_count = 0;513label = compiler->labels;514jump = compiler->jumps;515const_ = compiler->consts;516SLJIT_NEXT_INIT_TYPES();517SLJIT_GET_NEXT_MIN();518519do {520buf_ptr = (sljit_ins*)buf->memory;521buf_end = buf_ptr + (buf->used_size >> 2);522do {523*code_ptr = *buf_ptr++;524if (next_min_addr == word_count) {525SLJIT_ASSERT(!label || label->size >= word_count);526SLJIT_ASSERT(!jump || jump->addr >= word_count);527SLJIT_ASSERT(!const_ || const_->addr >= word_count);528529/* These structures are ordered by their address. */530if (next_min_addr == next_label_size) {531label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);532label->size = (sljit_uw)(code_ptr - code);533label = label->next;534next_label_size = SLJIT_GET_NEXT_SIZE(label);535}536537if (next_min_addr == next_jump_addr) {538if (!(jump->flags & JUMP_MOV_ADDR)) {539word_count = word_count - 1 + (jump->flags >> JUMP_SIZE_SHIFT);540code_ptr = detect_jump_type(jump, code_ptr, code, executable_offset);541SLJIT_ASSERT((jump->flags & PATCH_COND) || ((sljit_uw)code_ptr - jump->addr < (jump->flags >> JUMP_SIZE_SHIFT) * sizeof(sljit_ins)));542} else {543word_count += jump->flags >> JUMP_SIZE_SHIFT;544addr = (sljit_sw)code_ptr;545code_ptr += mov_addr_get_length(jump, code_ptr, code, executable_offset);546jump->addr = (sljit_uw)addr;547}548549jump = jump->next;550next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);551} else if (next_min_addr == next_const_addr) {552const_->addr = (sljit_uw)code_ptr;553const_ = const_->next;554next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);555}556557SLJIT_GET_NEXT_MIN();558}559code_ptr++;560word_count++;561} while (buf_ptr < buf_end);562563buf = buf->next;564} while (buf);565566if (label && label->size == word_count) {567label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);568label->size = (sljit_uw)(code_ptr - code);569label = label->next;570}571572SLJIT_ASSERT(!label);573SLJIT_ASSERT(!jump);574SLJIT_ASSERT(!const_);575SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);576577jump = compiler->jumps;578while (jump) {579generate_jump_or_mov_addr(jump, executable_offset);580jump = jump->next;581}582583compiler->error = SLJIT_ERR_COMPILED;584compiler->executable_offset = executable_offset;585compiler->executable_size = (sljit_uw)(code_ptr - code) * sizeof(sljit_ins);586587code = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);588code_ptr = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);589590SLJIT_CACHE_FLUSH(code, code_ptr);591SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);592return code;593}594595SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)596{597switch (feature_type) {598case SLJIT_HAS_FPU:599case SLJIT_HAS_SIMD:600#ifdef SLJIT_IS_FPU_AVAILABLE601return (SLJIT_IS_FPU_AVAILABLE) != 0;602#else603/* Available by default. */604return 1;605#endif606607case SLJIT_HAS_CLZ:608case SLJIT_HAS_CTZ:609case SLJIT_HAS_REV:610case SLJIT_HAS_ROT:611case SLJIT_HAS_CMOV:612case SLJIT_HAS_PREFETCH:613case SLJIT_HAS_COPY_F32:614case SLJIT_HAS_COPY_F64:615case SLJIT_HAS_ATOMIC:616case SLJIT_HAS_MEMORY_BARRIER:617return 1;618619default:620return 0;621}622}623624SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_cmp_info(sljit_s32 type)625{626switch (type) {627case SLJIT_UNORDERED_OR_EQUAL:628case SLJIT_ORDERED_NOT_EQUAL:629return 2;630}631632return 0;633}634635/* --------------------------------------------------------------------- */636/* Core code generator functions. */637/* --------------------------------------------------------------------- */638639#define COUNT_TRAILING_ZERO(value, result) \640result = 0; \641if (!(value & 0xffffffff)) { \642result += 32; \643value >>= 32; \644} \645if (!(value & 0xffff)) { \646result += 16; \647value >>= 16; \648} \649if (!(value & 0xff)) { \650result += 8; \651value >>= 8; \652} \653if (!(value & 0xf)) { \654result += 4; \655value >>= 4; \656} \657if (!(value & 0x3)) { \658result += 2; \659value >>= 2; \660} \661if (!(value & 0x1)) { \662result += 1; \663value >>= 1; \664}665666#define LOGICAL_IMM_CHECK (sljit_ins)0x100667668static sljit_ins logical_imm(sljit_sw imm, sljit_u32 len)669{670sljit_s32 negated;671sljit_u32 ones, right;672sljit_uw mask, uimm;673sljit_ins ins;674675if (len & LOGICAL_IMM_CHECK) {676len &= ~LOGICAL_IMM_CHECK;677if (len == 32 && (imm == 0 || imm == -1))678return 0;679if (len == 16 && ((sljit_s32)imm == 0 || (sljit_s32)imm == -1))680return 0;681}682683SLJIT_ASSERT((len == 32 && imm != 0 && imm != -1)684|| (len == 16 && (sljit_s32)imm != 0 && (sljit_s32)imm != -1));685686uimm = (sljit_uw)imm;687while (1) {688if (len <= 0) {689SLJIT_UNREACHABLE();690return 0;691}692693mask = ((sljit_uw)1 << len) - 1;694if ((uimm & mask) != ((uimm >> len) & mask))695break;696len >>= 1;697}698699len <<= 1;700701negated = 0;702if (uimm & 0x1) {703negated = 1;704uimm = ~uimm;705}706707if (len < 64)708uimm &= ((sljit_uw)1 << len) - 1;709710/* Unsigned right shift. */711COUNT_TRAILING_ZERO(uimm, right);712713/* Signed shift. We also know that the highest bit is set. */714imm = (sljit_sw)~uimm;715SLJIT_ASSERT(imm < 0);716717COUNT_TRAILING_ZERO(imm, ones);718719if (~imm)720return 0;721722if (len == 64)723ins = 1 << 22;724else725ins = (0x3f - ((len << 1) - 1)) << 10;726727if (negated)728return ins | ((len - ones - 1) << 10) | ((len - ones - right) << 16);729730return ins | ((ones - 1) << 10) | ((len - right) << 16);731}732733#undef COUNT_TRAILING_ZERO734735static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw simm)736{737sljit_uw imm = (sljit_uw)simm;738sljit_u32 i, zeros, ones, first;739sljit_ins bitmask;740741/* Handling simple immediates first. */742if (imm <= 0xffff)743return push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)imm << 5));744745if (simm < 0 && simm >= -0x10000)746return push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5));747748if (imm <= 0xffffffffl) {749if ((imm & 0xffff) == 0)750return push_inst(compiler, MOVZ | RD(dst) | ((sljit_ins)(imm >> 16) << 5) | (1 << 21));751if ((imm & 0xffff0000l) == 0xffff0000)752return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5));753if ((imm & 0xffff) == 0xffff)754return push_inst(compiler, (MOVN ^ W_OP) | RD(dst) | (((sljit_ins)~imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));755756bitmask = logical_imm(simm, 16);757if (bitmask != 0)758return push_inst(compiler, (ORRI ^ W_OP) | RD(dst) | RN(TMP_ZERO) | bitmask);759760FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | (((sljit_ins)imm & 0xffff) << 5)));761return push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));762}763764bitmask = logical_imm(simm, 32);765if (bitmask != 0)766return push_inst(compiler, ORRI | RD(dst) | RN(TMP_ZERO) | bitmask);767768if (simm < 0 && simm >= -0x100000000l) {769if ((imm & 0xffff) == 0xffff)770return push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));771772FAIL_IF(push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)~imm & 0xffff) << 5)));773return push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)imm & 0xffff0000u) >> (16 - 5)) | (1 << 21));774}775776/* A large amount of number can be constructed from ORR and MOVx, but computing them is costly. */777778zeros = 0;779ones = 0;780for (i = 4; i > 0; i--) {781if ((simm & 0xffff) == 0)782zeros++;783if ((simm & 0xffff) == 0xffff)784ones++;785simm >>= 16;786}787788simm = (sljit_sw)imm;789first = 1;790if (ones > zeros) {791simm = ~simm;792for (i = 0; i < 4; i++) {793if (!(simm & 0xffff)) {794simm >>= 16;795continue;796}797if (first) {798first = 0;799FAIL_IF(push_inst(compiler, MOVN | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));800}801else802FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)~simm & 0xffff) << 5) | (i << 21)));803simm >>= 16;804}805return SLJIT_SUCCESS;806}807808for (i = 0; i < 4; i++) {809if (!(simm & 0xffff)) {810simm >>= 16;811continue;812}813if (first) {814first = 0;815FAIL_IF(push_inst(compiler, MOVZ | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));816}817else818FAIL_IF(push_inst(compiler, MOVK | RD(dst) | (((sljit_ins)simm & 0xffff) << 5) | (i << 21)));819simm >>= 16;820}821return SLJIT_SUCCESS;822}823824#define ARG1_IMM 0x0010000825#define ARG2_IMM 0x0020000826#define INT_OP 0x0040000827#define SET_FLAGS 0x0080000828#define UNUSED_RETURN 0x0100000829830#define CHECK_FLAGS(flag_bits) \831if (flags & SET_FLAGS) { \832inv_bits |= flag_bits; \833if (flags & UNUSED_RETURN) \834dst = TMP_ZERO; \835}836837static sljit_s32 emit_op_imm(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 dst, sljit_sw arg1, sljit_sw arg2)838{839/* dst must be register, TMP_REG1840arg1 must be register, TMP_REG1, imm841arg2 must be register, TMP_REG2, imm */842sljit_ins inv_bits = (flags & INT_OP) ? W_OP : 0;843sljit_ins inst_bits;844sljit_s32 op = (flags & 0xffff);845sljit_s32 reg;846sljit_sw imm, nimm;847848if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {849/* Both are immediates. */850flags &= ~ARG1_IMM;851if (arg1 == 0 && op != SLJIT_ADD && op != SLJIT_SUB)852arg1 = TMP_ZERO;853else {854FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));855arg1 = TMP_REG1;856}857}858859if (flags & (ARG1_IMM | ARG2_IMM)) {860reg = (sljit_s32)((flags & ARG2_IMM) ? arg1 : arg2);861imm = (flags & ARG2_IMM) ? arg2 : arg1;862863switch (op) {864case SLJIT_CLZ:865case SLJIT_CTZ:866case SLJIT_REV:867case SLJIT_REV_U16:868case SLJIT_REV_S16:869case SLJIT_REV_U32:870case SLJIT_REV_S32:871case SLJIT_ADDC:872case SLJIT_SUBC:873case SLJIT_MUL:874case SLJIT_MULADD:875/* No form with immediate operand (except imm 0, which876is represented by a ZERO register). */877break;878case SLJIT_MOV:879SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG1);880return load_immediate(compiler, dst, imm);881case SLJIT_SUB:882compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;883if (flags & ARG1_IMM)884break;885imm = -imm;886/* Fall through. */887case SLJIT_ADD:888if (op != SLJIT_SUB)889compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;890891if (imm == 0) {892CHECK_FLAGS(1 << 29);893return push_inst(compiler, ((op == SLJIT_ADD ? ADDI : SUBI) ^ inv_bits) | RD(dst) | RN(reg));894}895if (imm > 0 && imm <= 0xfff) {896CHECK_FLAGS(1 << 29);897return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | ((sljit_ins)imm << 10));898}899nimm = -imm;900if (nimm > 0 && nimm <= 0xfff) {901CHECK_FLAGS(1 << 29);902return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | ((sljit_ins)nimm << 10));903}904if (imm > 0 && imm <= 0xffffff && !(imm & 0xfff)) {905CHECK_FLAGS(1 << 29);906return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)imm >> 12) << 10) | (1 << 22));907}908if (nimm > 0 && nimm <= 0xffffff && !(nimm & 0xfff)) {909CHECK_FLAGS(1 << 29);910return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)nimm >> 12) << 10) | (1 << 22));911}912if (imm > 0 && imm <= 0xffffff && !(flags & SET_FLAGS)) {913FAIL_IF(push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)imm >> 12) << 10) | (1 << 22)));914return push_inst(compiler, (ADDI ^ inv_bits) | RD(dst) | RN(dst) | (((sljit_ins)imm & 0xfff) << 10));915}916if (nimm > 0 && nimm <= 0xffffff && !(flags & SET_FLAGS)) {917FAIL_IF(push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(reg) | (((sljit_ins)nimm >> 12) << 10) | (1 << 22)));918return push_inst(compiler, (SUBI ^ inv_bits) | RD(dst) | RN(dst) | (((sljit_ins)nimm & 0xfff) << 10));919}920break;921case SLJIT_AND:922inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));923if (!inst_bits)924break;925CHECK_FLAGS(3 << 29);926return push_inst(compiler, (ANDI ^ inv_bits) | RD(dst) | RN(reg) | inst_bits);927case SLJIT_XOR:928if (imm == -1) {929FAIL_IF(push_inst(compiler, (ORN ^ inv_bits) | RD(dst) | RN(TMP_ZERO) | RM(reg)));930goto set_flags;931}932/* fallthrough */933case SLJIT_OR:934inst_bits = logical_imm(imm, LOGICAL_IMM_CHECK | ((flags & INT_OP) ? 16 : 32));935if (!inst_bits)936break;937if (op == SLJIT_OR)938inst_bits |= ORRI;939else940inst_bits |= EORI;941FAIL_IF(push_inst(compiler, (inst_bits ^ inv_bits) | RD(dst) | RN(reg)));942goto set_flags;943case SLJIT_SHL:944case SLJIT_MSHL:945if (flags & ARG1_IMM)946break;947948if (flags & INT_OP) {949imm &= 0x1f;950inst_bits = (((sljit_ins)-imm & 0x1f) << 16) | ((31 - (sljit_ins)imm) << 10);951} else {952imm &= 0x3f;953inst_bits = ((sljit_ins)1 << 22) | (((sljit_ins)-imm & 0x3f) << 16) | ((63 - (sljit_ins)imm) << 10);954}955956inv_bits |= inv_bits >> 9;957FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | inst_bits));958goto set_flags;959case SLJIT_LSHR:960case SLJIT_MLSHR:961case SLJIT_ASHR:962case SLJIT_MASHR:963if (flags & ARG1_IMM)964break;965966inv_bits |= inv_bits >> 9;967if (op >= SLJIT_ASHR)968inv_bits |= 1 << 30;969970if (flags & INT_OP) {971imm &= 0x1f;972inst_bits = ((sljit_ins)imm << 16) | (31 << 10);973} else {974imm &= 0x3f;975inst_bits = ((sljit_ins)1 << 22) | ((sljit_ins)imm << 16) | (63 << 10);976}977978FAIL_IF(push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg1) | inst_bits));979goto set_flags;980case SLJIT_ROTL:981case SLJIT_ROTR:982if (flags & ARG1_IMM)983break;984985if (op == SLJIT_ROTL)986imm = -imm;987988imm &= (flags & INT_OP) ? 0x1f : 0x3f;989return push_inst(compiler, (EXTR ^ (inv_bits | (inv_bits >> 9))) | RD(dst) | RN(arg1) | RM(arg1) | ((sljit_ins)imm << 10));990default:991SLJIT_UNREACHABLE();992break;993}994995if (flags & ARG2_IMM) {996if (arg2 == 0)997arg2 = TMP_ZERO;998else {999FAIL_IF(load_immediate(compiler, TMP_REG2, arg2));1000arg2 = TMP_REG2;1001}1002}1003else {1004if (arg1 == 0)1005arg1 = TMP_ZERO;1006else {1007FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));1008arg1 = TMP_REG1;1009}1010}1011}10121013/* Both arguments are registers. */1014switch (op) {1015case SLJIT_MOV:1016case SLJIT_MOV_P:1017SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1018if (dst == arg2)1019return SLJIT_SUCCESS;1020return push_inst(compiler, MOV | RD(dst) | RM(arg2));1021case SLJIT_MOV_U8:1022SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1023inv_bits |= inv_bits >> 9;1024return push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg2) | (7 << 10));1025case SLJIT_MOV_S8:1026SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1027inv_bits |= inv_bits >> 9;1028return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (7 << 10));1029case SLJIT_MOV_U16:1030SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1031inv_bits |= inv_bits >> 9;1032return push_inst(compiler, (UBFM ^ inv_bits) | RD(dst) | RN(arg2) | (15 << 10));1033case SLJIT_MOV_S16:1034SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1035inv_bits |= inv_bits >> 9;1036return push_inst(compiler, (SBFM ^ inv_bits) | RD(dst) | RN(arg2) | (15 << 10));1037case SLJIT_MOV32:1038SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1039if (dst == arg2)1040return SLJIT_SUCCESS;1041/* fallthrough */1042case SLJIT_MOV_U32:1043SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1044return push_inst(compiler, (MOV ^ W_OP) | RD(dst) | RM(arg2));1045case SLJIT_MOV_S32:1046SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG1);1047return push_inst(compiler, SBFM | (1 << 22) | RD(dst) | RN(arg2) | (31 << 10));1048case SLJIT_CLZ:1049SLJIT_ASSERT(arg1 == TMP_REG1);1050return push_inst(compiler, (CLZ ^ inv_bits) | RD(dst) | RN(arg2));1051case SLJIT_CTZ:1052SLJIT_ASSERT(arg1 == TMP_REG1);1053FAIL_IF(push_inst(compiler, (RBIT ^ inv_bits) | RD(dst) | RN(arg2)));1054return push_inst(compiler, (CLZ ^ inv_bits) | RD(dst) | RN(dst));1055case SLJIT_REV:1056SLJIT_ASSERT(arg1 == TMP_REG1);1057inv_bits |= inv_bits >> 21;1058return push_inst(compiler, (REV ^ inv_bits) | RD(dst) | RN(arg2));1059case SLJIT_REV_U16:1060case SLJIT_REV_S16:1061SLJIT_ASSERT(arg1 == TMP_REG1 && dst != TMP_REG2);1062FAIL_IF(push_inst(compiler, (REV16 ^ (sljit_ins)0x80000000) | RD(dst) | RN(arg2)));1063if (dst == TMP_REG1 || (arg2 == TMP_REG2 && op == SLJIT_REV_U16))1064return SLJIT_SUCCESS;1065inv_bits |= inv_bits >> 9;1066return push_inst(compiler, ((op == SLJIT_REV_U16 ? UBFM : SBFM) ^ inv_bits) | RD(dst) | RN(dst) | (15 << 10));1067case SLJIT_REV_U32:1068case SLJIT_REV_S32:1069SLJIT_ASSERT(arg1 == TMP_REG1 && dst != TMP_REG2);1070FAIL_IF(push_inst(compiler, (REV ^ (sljit_ins)0x80000400) | RD(dst) | RN(arg2)));1071if (op == SLJIT_REV_U32 || dst == TMP_REG1)1072return SLJIT_SUCCESS;1073return push_inst(compiler, SBFM | (1 << 22) | RD(dst) | RN(dst) | (31 << 10));1074case SLJIT_ADD:1075compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1076CHECK_FLAGS(1 << 29);1077return push_inst(compiler, (ADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1078case SLJIT_ADDC:1079compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1080CHECK_FLAGS(1 << 29);1081return push_inst(compiler, (ADC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1082case SLJIT_SUB:1083compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1084CHECK_FLAGS(1 << 29);1085return push_inst(compiler, (SUB ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1086case SLJIT_SUBC:1087compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1088CHECK_FLAGS(1 << 29);1089return push_inst(compiler, (SBC ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1090case SLJIT_MUL:1091compiler->status_flags_state = 0;1092if (!(flags & SET_FLAGS))1093return push_inst(compiler, (MADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO));1094if (flags & INT_OP) {1095FAIL_IF(push_inst(compiler, SMADDL | RD(dst) | RN(arg1) | RM(arg2) | (31 << 10)));1096FAIL_IF(push_inst(compiler, ADD | RD(TMP_LR) | RN(TMP_ZERO) | RM(dst) | (2 << 22) | (31 << 10)));1097return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));1098}1099FAIL_IF(push_inst(compiler, SMULH | RD(TMP_LR) | RN(arg1) | RM(arg2)));1100FAIL_IF(push_inst(compiler, MADD | RD(dst) | RN(arg1) | RM(arg2) | RT2(TMP_ZERO)));1101return push_inst(compiler, SUBS | RD(TMP_ZERO) | RN(TMP_LR) | RM(dst) | (2 << 22) | (63 << 10));1102case SLJIT_AND:1103CHECK_FLAGS(3 << 29);1104return push_inst(compiler, (AND ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1105case SLJIT_OR:1106FAIL_IF(push_inst(compiler, (ORR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1107break; /* Set flags. */1108case SLJIT_XOR:1109FAIL_IF(push_inst(compiler, (EOR ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1110break; /* Set flags. */1111case SLJIT_SHL:1112case SLJIT_MSHL:1113FAIL_IF(push_inst(compiler, (LSLV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1114break; /* Set flags. */1115case SLJIT_LSHR:1116case SLJIT_MLSHR:1117FAIL_IF(push_inst(compiler, (LSRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1118break; /* Set flags. */1119case SLJIT_ASHR:1120case SLJIT_MASHR:1121FAIL_IF(push_inst(compiler, (ASRV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2)));1122break; /* Set flags. */1123case SLJIT_ROTL:1124FAIL_IF(push_inst(compiler, (SUB ^ inv_bits) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(arg2)));1125arg2 = TMP_REG2;1126/* fallthrough */1127case SLJIT_ROTR:1128return push_inst(compiler, (RORV ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2));1129case SLJIT_MULADD:1130compiler->status_flags_state = 0;1131return push_inst(compiler, (MADD ^ inv_bits) | RD(dst) | RN(arg1) | RM(arg2) | RT2(dst));1132default:1133SLJIT_UNREACHABLE();1134return SLJIT_SUCCESS;1135}11361137set_flags:1138if (flags & SET_FLAGS)1139return push_inst(compiler, (SUBS ^ inv_bits) | RD(TMP_ZERO) | RN(dst) | RM(TMP_ZERO));1140return SLJIT_SUCCESS;1141}11421143#define STORE 0x101144#define SIGNED 0x2011451146#define BYTE_SIZE 0x01147#define HALF_SIZE 0x11148#define INT_SIZE 0x21149#define WORD_SIZE 0x311501151#define MEM_SIZE_SHIFT(flags) ((sljit_ins)(flags) & 0x3)11521153static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,1154sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)1155{1156sljit_u32 shift = MEM_SIZE_SHIFT(flags);1157sljit_u32 type = (shift << 30);11581159if (!(flags & STORE))1160type |= (flags & SIGNED) ? 0x00800000 : 0x00400000;11611162SLJIT_ASSERT(arg & SLJIT_MEM);11631164if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {1165argw &= 0x3;11661167if (argw == 0 || argw == shift)1168return push_inst(compiler, STRB | type | RT(reg)1169| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));11701171FAIL_IF(push_inst(compiler, ADD | RD(tmp_reg) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | ((sljit_ins)argw << 10)));1172return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg));1173}11741175arg &= REG_MASK;11761177if (!arg) {1178FAIL_IF(load_immediate(compiler, tmp_reg, argw & ~(0xfff << shift)));11791180argw = (argw >> shift) & 0xfff;11811182return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1183}11841185if ((argw & ((1 << shift) - 1)) == 0) {1186if (argw >= 0) {1187if ((argw >> shift) <= 0xfff)1188return push_inst(compiler, STRBI | type | RT(reg) | RN(arg) | ((sljit_ins)argw << (10 - shift)));11891190if (argw <= 0xffffff) {1191FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));11921193argw = ((argw & 0xfff) >> shift);1194return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1195}1196} else if (argw < -256 && argw >= -0xfff000) {1197FAIL_IF(push_inst(compiler, SUBI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)(-argw + 0xfff) >> 12) << 10)));1198argw = ((0x1000 + argw) & 0xfff) >> shift;1199return push_inst(compiler, STRBI | type | RT(reg) | RN(tmp_reg) | ((sljit_ins)argw << 10));1200}1201}12021203if (argw <= 0xff && argw >= -0x100)1204return push_inst(compiler, STURBI | type | RT(reg) | RN(arg) | (((sljit_ins)argw & 0x1ff) << 12));12051206if (((argw + 0x100) & 0xfff) <= 0x1ff && argw <= 0xfff0ff && argw >= -0xfff100) {1207if (argw >= 0) {1208if (argw & 0x100)1209argw += 0x1000;12101211FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));1212return push_inst(compiler, STURBI | type | RT(reg) | RN(tmp_reg) | (((sljit_ins)argw & 0x1ff) << 12));1213} else {1214if (!(argw & 0x100))1215argw -= 0x1000;12161217FAIL_IF(push_inst(compiler, SUBI | (1 << 22) | RD(tmp_reg) | RN(arg) | (((sljit_ins)-argw >> 12) << 10)));1218return push_inst(compiler, STURBI | type | RT(reg) | RN(tmp_reg) | (((sljit_ins)argw & 0x1ff) << 12));1219}1220}12211222FAIL_IF(load_immediate(compiler, tmp_reg, argw));12231224return push_inst(compiler, STRB | type | RT(reg) | RN(arg) | RM(tmp_reg));1225}12261227/* --------------------------------------------------------------------- */1228/* Entry, exit */1229/* --------------------------------------------------------------------- */12301231SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,1232sljit_s32 options, sljit_s32 arg_types,1233sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1234{1235sljit_s32 fscratches;1236sljit_s32 fsaveds;1237sljit_s32 prev, fprev, saved_regs_size, i, tmp;1238sljit_s32 saved_arg_count = SLJIT_KEPT_SAVEDS_COUNT(options);1239sljit_ins offs;12401241CHECK_ERROR();1242CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, local_size));1243set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);12441245scratches = ENTER_GET_REGS(scratches);1246saveds = ENTER_GET_REGS(saveds);1247fscratches = compiler->fscratches;1248fsaveds = compiler->fsaveds;12491250saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - saved_arg_count, 2);1251saved_regs_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);12521253local_size = (local_size + saved_regs_size + 0xf) & ~0xf;1254compiler->local_size = local_size;12551256if (local_size <= 512) {1257FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1258| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1259offs = (sljit_ins)(local_size - 2 * SSIZE_OF(sw)) << (15 - 3);1260local_size = 0;1261} else {1262saved_regs_size = ((saved_regs_size - 2 * SSIZE_OF(sw)) + 0xf) & ~0xf;12631264FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)saved_regs_size << 10)));1265offs = (sljit_ins)(saved_regs_size - 2 * SSIZE_OF(sw)) << (15 - 3);1266local_size -= saved_regs_size;1267SLJIT_ASSERT(local_size > 0);1268}12691270prev = -1;12711272tmp = SLJIT_S0 - saveds;1273for (i = SLJIT_S0 - saved_arg_count; i > tmp; i--) {1274if (prev == -1) {1275prev = i;1276continue;1277}1278FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1279offs -= (sljit_ins)2 << 15;1280prev = -1;1281}12821283for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {1284if (prev == -1) {1285prev = i;1286continue;1287}1288FAIL_IF(push_inst(compiler, STP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1289offs -= (sljit_ins)2 << 15;1290prev = -1;1291}12921293fprev = -1;12941295tmp = SLJIT_FS0 - fsaveds;1296for (i = SLJIT_FS0; i > tmp; i--) {1297if (fprev == -1) {1298fprev = i;1299continue;1300}1301FAIL_IF(push_inst(compiler, STP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1302offs -= (sljit_ins)2 << 15;1303fprev = -1;1304}13051306for (i = fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {1307if (fprev == -1) {1308fprev = i;1309continue;1310}1311FAIL_IF(push_inst(compiler, STP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1312offs -= (sljit_ins)2 << 15;1313fprev = -1;1314}13151316if (fprev != -1)1317FAIL_IF(push_inst(compiler, STRI_F64 | VT(fprev) | RN(SLJIT_SP) | (offs >> 5) | (1 << 10)));13181319if (prev != -1)1320FAIL_IF(push_inst(compiler, STRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5) | ((fprev == -1) ? (1 << 10) : 0)));132113221323#ifdef _WIN321324if (local_size > 4096)1325FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1326#endif /* _WIN32 */13271328if (!(options & SLJIT_ENTER_REG_ARG)) {1329arg_types >>= SLJIT_ARG_SHIFT;1330saved_arg_count = 0;1331tmp = SLJIT_R0;13321333while (arg_types) {1334if ((arg_types & SLJIT_ARG_MASK) < SLJIT_ARG_TYPE_F64) {1335if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1336FAIL_IF(push_inst(compiler, MOV | RD(SLJIT_S0 - saved_arg_count) | RM(tmp)));1337saved_arg_count++;1338}1339tmp++;1340}1341arg_types >>= SLJIT_ARG_SHIFT;1342}1343}13441345#ifdef _WIN321346if (local_size > 4096) {1347if (local_size < 4 * 4096) {1348/* No need for a loop. */13491350if (local_size >= 2 * 4096) {1351if (local_size >= 3 * 4096) {1352FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1353FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1354}13551356FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1357FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1358}1359}1360else {1361FAIL_IF(push_inst(compiler, MOVZ | RD(TMP_REG1) | ((((sljit_ins)local_size >> 12) - 1) << 5)));1362FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1363FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 10) | (1 << 22)));1364FAIL_IF(push_inst(compiler, SUBI | (1 << 29) | RD(TMP_REG1) | RN(TMP_REG1) | (1 << 10)));1365FAIL_IF(push_inst(compiler, B_CC | ((((sljit_ins) -3) & 0x7ffff) << 5) | 0x1 /* not-equal */));1366}13671368local_size &= 0xfff;13691370if (local_size > 0)1371FAIL_IF(push_inst(compiler, LDRI | RT(TMP_ZERO) | RN(SLJIT_SP)));1372else1373FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1374}13751376if (local_size > 0) {1377if (local_size <= 512)1378FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1379| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1380else {1381if (local_size >= 4096)1382local_size = (1 << (22 - 10));13831384FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));1385FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1386}1387}13881389#else /* !_WIN32 */13901391/* The local_size does not include saved registers size. */1392if (local_size != 0) {1393if (local_size > 0xfff) {1394FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | (((sljit_ins)local_size >> 12) << 10) | (1 << 22)));1395local_size &= 0xfff;1396}13971398if (local_size > 512 || local_size == 0) {1399if (local_size != 0)1400FAIL_IF(push_inst(compiler, SUBI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));14011402FAIL_IF(push_inst(compiler, STP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1403} else1404FAIL_IF(push_inst(compiler, STP_PRE | RT(TMP_FP) | RT2(TMP_LR)1405| RN(SLJIT_SP) | (sljit_ins)((-(local_size >> 3) & 0x7f) << 15)));1406}14071408#endif /* _WIN32 */14091410return push_inst(compiler, ADDI | RD(TMP_FP) | RN(SLJIT_SP) | (0 << 10));1411}14121413SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,1414sljit_s32 options, sljit_s32 arg_types,1415sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1416{1417sljit_s32 fscratches;1418sljit_s32 fsaveds;1419sljit_s32 saved_regs_size;14201421CHECK_ERROR();1422CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, local_size));1423set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);14241425scratches = ENTER_GET_REGS(scratches);1426saveds = ENTER_GET_REGS(saveds);1427fscratches = compiler->fscratches;1428fsaveds = compiler->fsaveds;1429saved_regs_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - SLJIT_KEPT_SAVEDS_COUNT(options), 2);1430saved_regs_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);14311432compiler->local_size = (local_size + saved_regs_size + 0xf) & ~0xf;1433return SLJIT_SUCCESS;1434}14351436static sljit_s32 emit_stack_frame_release(struct sljit_compiler *compiler, sljit_s32 is_return_to)1437{1438sljit_s32 local_size, prev, fprev, i, tmp;1439sljit_ins offs;14401441local_size = compiler->local_size;14421443if (!is_return_to) {1444if (local_size > 512 && local_size <= 512 + 496) {1445FAIL_IF(push_inst(compiler, LDP_POST | RT(TMP_FP) | RT2(TMP_LR)1446| RN(SLJIT_SP) | ((sljit_ins)(local_size - 512) << (15 - 3))));1447local_size = 512;1448} else1449FAIL_IF(push_inst(compiler, LDP | RT(TMP_FP) | RT2(TMP_LR) | RN(SLJIT_SP)));1450} else {1451if (local_size > 512 && local_size <= 512 + 248) {1452FAIL_IF(push_inst(compiler, LDRI_POST | RT(TMP_FP) | RN(SLJIT_SP) | ((sljit_ins)(local_size - 512) << 12)));1453local_size = 512;1454} else1455FAIL_IF(push_inst(compiler, LDRI | RT(TMP_FP) | RN(SLJIT_SP) | 0));1456}14571458if (local_size > 512) {1459local_size -= 512;1460if (local_size > 0xfff) {1461FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP)1462| (((sljit_ins)local_size >> 12) << 10) | (1 << 22)));1463local_size &= 0xfff;1464}14651466FAIL_IF(push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | ((sljit_ins)local_size << 10)));1467local_size = 512;1468}14691470offs = (sljit_ins)(local_size - 2 * SSIZE_OF(sw)) << (15 - 3);1471prev = -1;14721473tmp = SLJIT_S0 - compiler->saveds;1474for (i = SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options); i > tmp; i--) {1475if (prev == -1) {1476prev = i;1477continue;1478}1479FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1480offs -= (sljit_ins)2 << 15;1481prev = -1;1482}14831484for (i = compiler->scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {1485if (prev == -1) {1486prev = i;1487continue;1488}1489FAIL_IF(push_inst(compiler, LDP | RT(prev) | RT2(i) | RN(SLJIT_SP) | offs));1490offs -= (sljit_ins)2 << 15;1491prev = -1;1492}14931494fprev = -1;14951496tmp = SLJIT_FS0 - compiler->fsaveds;1497for (i = SLJIT_FS0; i > tmp; i--) {1498if (fprev == -1) {1499fprev = i;1500continue;1501}1502FAIL_IF(push_inst(compiler, LDP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1503offs -= (sljit_ins)2 << 15;1504fprev = -1;1505}15061507for (i = compiler->fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {1508if (fprev == -1) {1509fprev = i;1510continue;1511}1512FAIL_IF(push_inst(compiler, LDP_F64 | VT(fprev) | VT2(i) | RN(SLJIT_SP) | offs));1513offs -= (sljit_ins)2 << 15;1514fprev = -1;1515}15161517if (fprev != -1)1518FAIL_IF(push_inst(compiler, LDRI_F64 | VT(fprev) | RN(SLJIT_SP) | (offs >> 5) | (1 << 10)));15191520if (prev != -1)1521FAIL_IF(push_inst(compiler, LDRI | RT(prev) | RN(SLJIT_SP) | (offs >> 5) | ((fprev == -1) ? (1 << 10) : 0)));15221523/* This and the next call/jump instruction can be executed parallelly. */1524return push_inst(compiler, ADDI | RD(SLJIT_SP) | RN(SLJIT_SP) | (sljit_ins)(local_size << 10));1525}15261527SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)1528{1529CHECK_ERROR();1530CHECK(check_sljit_emit_return_void(compiler));15311532FAIL_IF(emit_stack_frame_release(compiler, 0));15331534return push_inst(compiler, RET | RN(TMP_LR));1535}15361537SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_to(struct sljit_compiler *compiler,1538sljit_s32 src, sljit_sw srcw)1539{1540CHECK_ERROR();1541CHECK(check_sljit_emit_return_to(compiler, src, srcw));15421543if (src & SLJIT_MEM) {1544ADJUST_LOCAL_OFFSET(src, srcw);1545FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));1546src = TMP_REG1;1547srcw = 0;1548} else if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {1549FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));1550src = TMP_REG1;1551srcw = 0;1552}15531554FAIL_IF(emit_stack_frame_release(compiler, 1));15551556SLJIT_SKIP_CHECKS(compiler);1557return sljit_emit_ijump(compiler, SLJIT_JUMP, src, srcw);1558}15591560/* --------------------------------------------------------------------- */1561/* Operators */1562/* --------------------------------------------------------------------- */15631564SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)1565{1566sljit_ins inv_bits = (op & SLJIT_32) ? W_OP : 0;15671568CHECK_ERROR();1569CHECK(check_sljit_emit_op0(compiler, op));15701571op = GET_OPCODE(op);1572switch (op) {1573case SLJIT_BREAKPOINT:1574return push_inst(compiler, BRK | (0xf000 << 5));1575case SLJIT_NOP:1576return push_inst(compiler, NOP);1577case SLJIT_LMUL_UW:1578case SLJIT_LMUL_SW:1579FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(SLJIT_R0)));1580FAIL_IF(push_inst(compiler, MADD | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));1581return push_inst(compiler, (op == SLJIT_LMUL_UW ? UMULH : SMULH) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));1582case SLJIT_DIVMOD_UW:1583case SLJIT_DIVMOD_SW:1584FAIL_IF(push_inst(compiler, (MOV ^ inv_bits) | RD(TMP_REG1) | RM(SLJIT_R0)));1585FAIL_IF(push_inst(compiler, ((op == SLJIT_DIVMOD_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1)));1586FAIL_IF(push_inst(compiler, (MADD ^ inv_bits) | RD(SLJIT_R1) | RN(SLJIT_R0) | RM(SLJIT_R1) | RT2(TMP_ZERO)));1587return push_inst(compiler, (SUB ^ inv_bits) | RD(SLJIT_R1) | RN(TMP_REG1) | RM(SLJIT_R1));1588case SLJIT_DIV_UW:1589case SLJIT_DIV_SW:1590return push_inst(compiler, ((op == SLJIT_DIV_UW ? UDIV : SDIV) ^ inv_bits) | RD(SLJIT_R0) | RN(SLJIT_R0) | RM(SLJIT_R1));1591case SLJIT_MEMORY_BARRIER:1592return push_inst(compiler, DMB_SY);1593case SLJIT_ENDBR:1594case SLJIT_SKIP_FRAMES_BEFORE_RETURN:1595return SLJIT_SUCCESS;1596}15971598return SLJIT_SUCCESS;1599}16001601SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,1602sljit_s32 dst, sljit_sw dstw,1603sljit_s32 src, sljit_sw srcw)1604{1605sljit_s32 dst_r, flags, mem_flags;1606sljit_s32 op_flags = GET_ALL_FLAGS(op);16071608CHECK_ERROR();1609CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));1610ADJUST_LOCAL_OFFSET(dst, dstw);1611ADJUST_LOCAL_OFFSET(src, srcw);16121613dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;16141615op = GET_OPCODE(op);1616if (op >= SLJIT_MOV && op <= SLJIT_MOV_P) {1617/* Both operands are registers. */1618if (FAST_IS_REG(dst) && FAST_IS_REG(src))1619return emit_op_imm(compiler, op | ((op_flags & SLJIT_32) ? INT_OP : 0), dst_r, TMP_REG1, src);16201621switch (op) {1622case SLJIT_MOV:1623case SLJIT_MOV_P:1624mem_flags = WORD_SIZE;1625break;1626case SLJIT_MOV_U8:1627mem_flags = BYTE_SIZE;1628if (src == SLJIT_IMM)1629srcw = (sljit_u8)srcw;1630break;1631case SLJIT_MOV_S8:1632mem_flags = BYTE_SIZE | SIGNED;1633if (src == SLJIT_IMM)1634srcw = (sljit_s8)srcw;1635break;1636case SLJIT_MOV_U16:1637mem_flags = HALF_SIZE;1638if (src == SLJIT_IMM)1639srcw = (sljit_u16)srcw;1640break;1641case SLJIT_MOV_S16:1642mem_flags = HALF_SIZE | SIGNED;1643if (src == SLJIT_IMM)1644srcw = (sljit_s16)srcw;1645break;1646case SLJIT_MOV_U32:1647mem_flags = INT_SIZE;1648if (src == SLJIT_IMM)1649srcw = (sljit_u32)srcw;1650break;1651case SLJIT_MOV_S32:1652case SLJIT_MOV32:1653mem_flags = INT_SIZE | SIGNED;1654if (src == SLJIT_IMM)1655srcw = (sljit_s32)srcw;1656break;1657default:1658SLJIT_UNREACHABLE();1659mem_flags = 0;1660break;1661}16621663if (src == SLJIT_IMM)1664FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG1, srcw));1665else if (!(src & SLJIT_MEM))1666dst_r = src;1667else1668FAIL_IF(emit_op_mem(compiler, mem_flags, dst_r, src, srcw, TMP_REG2));16691670if (dst & SLJIT_MEM)1671return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1672return SLJIT_SUCCESS;1673}16741675flags = HAS_FLAGS(op_flags) ? SET_FLAGS : 0;16761677switch (op) {1678case SLJIT_REV_U16:1679case SLJIT_REV_S16:1680mem_flags = HALF_SIZE;1681break;1682case SLJIT_REV_U32:1683case SLJIT_REV_S32:1684mem_flags = INT_SIZE;1685break;1686default:1687mem_flags = WORD_SIZE;16881689if (op_flags & SLJIT_32) {1690flags |= INT_OP;1691mem_flags = INT_SIZE;1692}1693break;1694}16951696if (src & SLJIT_MEM) {1697FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src, srcw, TMP_REG2));1698src = TMP_REG2;1699}17001701emit_op_imm(compiler, flags | op, dst_r, TMP_REG1, src);17021703if (SLJIT_UNLIKELY(dst & SLJIT_MEM))1704return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1705return SLJIT_SUCCESS;1706}17071708SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,1709sljit_s32 dst, sljit_sw dstw,1710sljit_s32 src1, sljit_sw src1w,1711sljit_s32 src2, sljit_sw src2w)1712{1713sljit_s32 dst_r, flags, mem_flags;17141715CHECK_ERROR();1716CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));1717ADJUST_LOCAL_OFFSET(dst, dstw);1718ADJUST_LOCAL_OFFSET(src1, src1w);1719ADJUST_LOCAL_OFFSET(src2, src2w);17201721dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;1722flags = HAS_FLAGS(op) ? SET_FLAGS : 0;1723mem_flags = WORD_SIZE;17241725if (op & SLJIT_32) {1726flags |= INT_OP;1727mem_flags = INT_SIZE;1728}17291730if (dst == TMP_REG2)1731flags |= UNUSED_RETURN;17321733if (src1 & SLJIT_MEM) {1734FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, src1, src1w, TMP_REG1));1735src1 = TMP_REG1;1736}17371738if (src2 & SLJIT_MEM) {1739FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, src2, src2w, TMP_REG2));1740src2 = TMP_REG2;1741}17421743if (src1 == SLJIT_IMM)1744flags |= ARG1_IMM;1745else1746src1w = src1;17471748if (src2 == SLJIT_IMM)1749flags |= ARG2_IMM;1750else1751src2w = src2;17521753emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src1w, src2w);17541755if (dst & SLJIT_MEM)1756return emit_op_mem(compiler, mem_flags | STORE, dst_r, dst, dstw, TMP_REG2);1757return SLJIT_SUCCESS;1758}17591760SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,1761sljit_s32 src1, sljit_sw src1w,1762sljit_s32 src2, sljit_sw src2w)1763{1764CHECK_ERROR();1765CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));17661767SLJIT_SKIP_CHECKS(compiler);1768return sljit_emit_op2(compiler, op, TMP_REG2, 0, src1, src1w, src2, src2w);1769}17701771SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2r(struct sljit_compiler *compiler, sljit_s32 op,1772sljit_s32 dst_reg,1773sljit_s32 src1, sljit_sw src1w,1774sljit_s32 src2, sljit_sw src2w)1775{1776CHECK_ERROR();1777CHECK(check_sljit_emit_op2r(compiler, op, dst_reg, src1, src1w, src2, src2w));17781779switch (GET_OPCODE(op)) {1780case SLJIT_MULADD:1781SLJIT_SKIP_CHECKS(compiler);1782return sljit_emit_op2(compiler, op, dst_reg, 0, src1, src1w, src2, src2w);1783}17841785return SLJIT_SUCCESS;1786}17871788SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_shift_into(struct sljit_compiler *compiler, sljit_s32 op,1789sljit_s32 dst_reg,1790sljit_s32 src1_reg,1791sljit_s32 src2_reg,1792sljit_s32 src3, sljit_sw src3w)1793{1794sljit_ins inv_bits, imm;1795sljit_s32 is_left;1796sljit_sw mask;17971798CHECK_ERROR();1799CHECK(check_sljit_emit_shift_into(compiler, op, dst_reg, src1_reg, src2_reg, src3, src3w));18001801is_left = (GET_OPCODE(op) == SLJIT_SHL || GET_OPCODE(op) == SLJIT_MSHL);18021803if (src1_reg == src2_reg) {1804SLJIT_SKIP_CHECKS(compiler);1805return sljit_emit_op2(compiler, (is_left ? SLJIT_ROTL : SLJIT_ROTR) | (op & SLJIT_32), dst_reg, 0, src1_reg, 0, src3, src3w);1806}18071808ADJUST_LOCAL_OFFSET(src3, src3w);18091810inv_bits = (op & SLJIT_32) ? W_OP : 0;18111812if (src3 == SLJIT_IMM) {1813mask = inv_bits ? 0x1f : 0x3f;1814src3w &= mask;18151816if (src3w == 0)1817return SLJIT_SUCCESS;18181819if (is_left)1820src3w = (src3w ^ mask) + 1;18211822return push_inst(compiler, (EXTR ^ (inv_bits | (inv_bits >> 9))) | RD(dst_reg)1823| RN(is_left ? src1_reg : src2_reg) | RM(is_left ? src2_reg : src1_reg) | ((sljit_ins)src3w << 10));1824}18251826if (src3 & SLJIT_MEM) {1827FAIL_IF(emit_op_mem(compiler, inv_bits ? INT_SIZE : WORD_SIZE, TMP_REG2, src3, src3w, TMP_REG2));1828src3 = TMP_REG2;1829} else if (dst_reg == src3) {1830FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG2) | RM(src3)));1831src3 = TMP_REG2;1832}18331834FAIL_IF(push_inst(compiler, ((is_left ? LSLV : LSRV) ^ inv_bits) | RD(dst_reg) | RN(src1_reg) | RM(src3)));18351836if (!(op & SLJIT_SHIFT_INTO_NON_ZERO)) {1837/* Shift left/right by 1. */1838if (is_left)1839imm = (sljit_ins)(inv_bits ? ((1 << 16) | (31 << 10)) : ((1 << 16) | (63 << 10) | (1 << 22)));1840else1841imm = (sljit_ins)(inv_bits ? ((31 << 16) | (30 << 10)) : ((63 << 16) | (62 << 10) | (1 << 22)));18421843FAIL_IF(push_inst(compiler, (UBFM ^ (inv_bits | (inv_bits >> 9))) | RD(TMP_REG1) | RN(src2_reg) | imm));18441845/* Set imm to mask. */1846imm = (sljit_ins)(inv_bits ? (4 << 10) : ((5 << 10) | (1 << 22)));1847FAIL_IF(push_inst(compiler, (EORI ^ inv_bits) | RD(TMP_REG2) | RN(src3) | imm));18481849src2_reg = TMP_REG1;1850} else1851FAIL_IF(push_inst(compiler, (SUB ^ inv_bits) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(src3)));18521853FAIL_IF(push_inst(compiler, ((is_left ? LSRV : LSLV) ^ inv_bits) | RD(TMP_REG1) | RN(src2_reg) | RM(TMP_REG2)));1854return push_inst(compiler, (ORR ^ inv_bits) | RD(dst_reg) | RN(dst_reg) | RM(TMP_REG1));1855}18561857SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,1858sljit_s32 src, sljit_sw srcw)1859{1860CHECK_ERROR();1861CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));1862ADJUST_LOCAL_OFFSET(src, srcw);18631864switch (op) {1865case SLJIT_FAST_RETURN:1866if (FAST_IS_REG(src))1867FAIL_IF(push_inst(compiler, MOV | RD(TMP_LR) | RM(src)));1868else1869FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_LR, src, srcw, TMP_REG1));18701871return push_inst(compiler, RET | RN(TMP_LR));1872case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:1873return SLJIT_SUCCESS;1874case SLJIT_PREFETCH_L1:1875case SLJIT_PREFETCH_L2:1876case SLJIT_PREFETCH_L3:1877case SLJIT_PREFETCH_ONCE:1878SLJIT_ASSERT(reg_map[1] == 0 && reg_map[3] == 2 && reg_map[5] == 4);18791880/* The reg_map[op] should provide the appropriate constant. */1881if (op == SLJIT_PREFETCH_L1)1882op = 1;1883else if (op == SLJIT_PREFETCH_L2)1884op = 3;1885else if (op == SLJIT_PREFETCH_L3)1886op = 5;1887else1888op = 2;18891890/* Signed word sized load is the prefetch instruction. */1891return emit_op_mem(compiler, WORD_SIZE | SIGNED, op, src, srcw, TMP_REG1);1892}18931894return SLJIT_SUCCESS;1895}18961897SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_dst(struct sljit_compiler *compiler, sljit_s32 op,1898sljit_s32 dst, sljit_sw dstw)1899{1900sljit_s32 dst_r = TMP_LR;19011902CHECK_ERROR();1903CHECK(check_sljit_emit_op_dst(compiler, op, dst, dstw));1904ADJUST_LOCAL_OFFSET(dst, dstw);19051906switch (op) {1907case SLJIT_FAST_ENTER:1908if (FAST_IS_REG(dst))1909return push_inst(compiler, MOV | RD(dst) | RM(TMP_LR));1910break;1911case SLJIT_GET_RETURN_ADDRESS:1912dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;1913FAIL_IF(emit_op_mem(compiler, WORD_SIZE, dst_r, SLJIT_MEM1(SLJIT_SP), 0x8, TMP_REG2));1914break;1915}19161917if (dst & SLJIT_MEM)1918return emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2);19191920return SLJIT_SUCCESS;1921}19221923SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 type, sljit_s32 reg)1924{1925CHECK_REG_INDEX(check_sljit_get_register_index(type, reg));19261927if (type == SLJIT_GP_REGISTER)1928return reg_map[reg];19291930if (type != SLJIT_FLOAT_REGISTER && type != SLJIT_SIMD_REG_64 && type != SLJIT_SIMD_REG_128)1931return -1;19321933return freg_map[reg];1934}19351936SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,1937void *instruction, sljit_u32 size)1938{1939SLJIT_UNUSED_ARG(size);1940CHECK_ERROR();1941CHECK(check_sljit_emit_op_custom(compiler, instruction, size));19421943return push_inst(compiler, *(sljit_ins*)instruction);1944}19451946/* --------------------------------------------------------------------- */1947/* Floating point operators */1948/* --------------------------------------------------------------------- */19491950static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)1951{1952sljit_u32 shift = MEM_SIZE_SHIFT(flags);1953sljit_ins type = (shift << 30);19541955SLJIT_ASSERT(arg & SLJIT_MEM);19561957if (!(flags & STORE))1958type |= 0x00400000;19591960if (arg & OFFS_REG_MASK) {1961argw &= 3;1962if (argw == 0 || argw == shift)1963return push_inst(compiler, STR_FR | type | VT(reg)1964| RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (argw ? (1 << 12) : 0));19651966FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG2) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | ((sljit_ins)argw << 10)));1967return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2));1968}19691970arg &= REG_MASK;19711972if (!arg) {1973FAIL_IF(load_immediate(compiler, TMP_REG2, argw & ~(0xfff << shift)));19741975argw = (argw >> shift) & 0xfff;19761977return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2) | ((sljit_ins)argw << 10));1978}19791980if (argw >= 0 && (argw & ((1 << shift) - 1)) == 0) {1981if ((argw >> shift) <= 0xfff)1982return push_inst(compiler, STR_FI | type | VT(reg) | RN(arg) | ((sljit_ins)argw << (10 - shift)));19831984if (argw <= 0xffffff) {1985FAIL_IF(push_inst(compiler, ADDI | (1 << 22) | RD(TMP_REG2) | RN(arg) | (((sljit_ins)argw >> 12) << 10)));19861987argw = ((argw & 0xfff) >> shift);1988return push_inst(compiler, STR_FI | type | VT(reg) | RN(TMP_REG2) | ((sljit_ins)argw << 10));1989}1990}19911992if (argw <= 255 && argw >= -256)1993return push_inst(compiler, STUR_FI | type | VT(reg) | RN(arg) | (((sljit_ins)argw & 0x1ff) << 12));19941995FAIL_IF(load_immediate(compiler, TMP_REG2, argw));1996return push_inst(compiler, STR_FR | type | VT(reg) | RN(arg) | RM(TMP_REG2));1997}19981999static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,2000sljit_s32 dst, sljit_sw dstw,2001sljit_s32 src, sljit_sw srcw)2002{2003sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;2004sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;20052006if (GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64)2007inv_bits |= W_OP;20082009if (src & SLJIT_MEM) {2010FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) ? INT_SIZE : WORD_SIZE, TMP_FREG1, src, srcw));2011src = TMP_FREG1;2012}20132014FAIL_IF(push_inst(compiler, (FCVTZS ^ inv_bits) | RD(dst_r) | VN(src)));20152016if (dst & SLJIT_MEM)2017return emit_op_mem(compiler, ((GET_OPCODE(op) == SLJIT_CONV_S32_FROM_F64) ? INT_SIZE : WORD_SIZE) | STORE, TMP_REG1, dst, dstw, TMP_REG2);2018return SLJIT_SUCCESS;2019}20202021static sljit_s32 sljit_emit_fop1_conv_f64_from_w(struct sljit_compiler *compiler, sljit_ins ins,2022sljit_s32 dst, sljit_sw dstw,2023sljit_s32 src, sljit_sw srcw)2024{2025sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;20262027if (src & SLJIT_MEM) {2028emit_op_mem(compiler, (ins & W_OP) ? WORD_SIZE : INT_SIZE, TMP_REG1, src, srcw, TMP_REG1);2029src = TMP_REG1;2030} else if (src == SLJIT_IMM) {2031FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2032src = TMP_REG1;2033}20342035FAIL_IF(push_inst(compiler, ins | VD(dst_r) | RN(src)));20362037if (dst & SLJIT_MEM)2038return emit_fop_mem(compiler, ((ins & (1 << 22)) ? WORD_SIZE : INT_SIZE) | STORE, TMP_FREG1, dst, dstw);2039return SLJIT_SUCCESS;2040}20412042static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,2043sljit_s32 dst, sljit_sw dstw,2044sljit_s32 src, sljit_sw srcw)2045{2046sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;20472048if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32) {2049inv_bits |= W_OP;20502051if (src == SLJIT_IMM)2052srcw = (sljit_s32)srcw;2053}20542055return sljit_emit_fop1_conv_f64_from_w(compiler, SCVTF ^ inv_bits, dst, dstw, src, srcw);2056}20572058static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_uw(struct sljit_compiler *compiler, sljit_s32 op,2059sljit_s32 dst, sljit_sw dstw,2060sljit_s32 src, sljit_sw srcw)2061{2062sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;20632064if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_U32) {2065inv_bits |= W_OP;20662067if (src == SLJIT_IMM)2068srcw = (sljit_u32)srcw;2069}20702071return sljit_emit_fop1_conv_f64_from_w(compiler, UCVTF ^ inv_bits, dst, dstw, src, srcw);2072}20732074static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,2075sljit_s32 src1, sljit_sw src1w,2076sljit_s32 src2, sljit_sw src2w)2077{2078sljit_s32 mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2079sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;20802081if (src1 & SLJIT_MEM) {2082FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w));2083src1 = TMP_FREG1;2084}20852086if (src2 & SLJIT_MEM) {2087FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w));2088src2 = TMP_FREG2;2089}20902091FAIL_IF(push_inst(compiler, (FCMP ^ inv_bits) | VN(src1) | VM(src2)));20922093if (GET_FLAG_TYPE(op) != SLJIT_UNORDERED_OR_EQUAL)2094return SLJIT_SUCCESS;20952096FAIL_IF(push_inst(compiler, CSINC | (0x0 << 12) | RD(TMP_REG1) | RN(TMP_ZERO) | RM(TMP_ZERO)));2097return push_inst(compiler, CCMPI | (0x0 << 16) | (0x7 << 12) | RN(TMP_REG1) | 0x4);2098}20992100SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,2101sljit_s32 dst, sljit_sw dstw,2102sljit_s32 src, sljit_sw srcw)2103{2104sljit_s32 dst_r, mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2105sljit_ins inv_bits;21062107CHECK_ERROR();21082109SLJIT_COMPILE_ASSERT((INT_SIZE ^ 0x1) == WORD_SIZE, must_be_one_bit_difference);2110SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);21112112inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;2113dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;21142115if (src & SLJIT_MEM) {2116FAIL_IF(emit_fop_mem(compiler, (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_F32) ? (mem_flags ^ 0x1) : mem_flags, dst_r, src, srcw));2117src = dst_r;2118}21192120switch (GET_OPCODE(op)) {2121case SLJIT_MOV_F64:2122if (src != dst_r) {2123if (!(dst & SLJIT_MEM))2124FAIL_IF(push_inst(compiler, (FMOV ^ inv_bits) | VD(dst_r) | VN(src)));2125else2126dst_r = src;2127}2128break;2129case SLJIT_NEG_F64:2130FAIL_IF(push_inst(compiler, (FNEG ^ inv_bits) | VD(dst_r) | VN(src)));2131break;2132case SLJIT_ABS_F64:2133FAIL_IF(push_inst(compiler, (FABS ^ inv_bits) | VD(dst_r) | VN(src)));2134break;2135case SLJIT_CONV_F64_FROM_F32:2136FAIL_IF(push_inst(compiler, FCVT | (sljit_ins)((op & SLJIT_32) ? (1 << 22) : (1 << 15)) | VD(dst_r) | VN(src)));2137break;2138}21392140if (dst & SLJIT_MEM)2141return emit_fop_mem(compiler, mem_flags | STORE, dst_r, dst, dstw);2142return SLJIT_SUCCESS;2143}21442145SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,2146sljit_s32 dst, sljit_sw dstw,2147sljit_s32 src1, sljit_sw src1w,2148sljit_s32 src2, sljit_sw src2w)2149{2150sljit_s32 dst_r, mem_flags = (op & SLJIT_32) ? INT_SIZE : WORD_SIZE;2151sljit_ins inv_bits = (op & SLJIT_32) ? (1 << 22) : 0;21522153CHECK_ERROR();2154CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));2155ADJUST_LOCAL_OFFSET(dst, dstw);2156ADJUST_LOCAL_OFFSET(src1, src1w);2157ADJUST_LOCAL_OFFSET(src2, src2w);21582159dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;2160if (src1 & SLJIT_MEM) {2161FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG1, src1, src1w));2162src1 = TMP_FREG1;2163}2164if (src2 & SLJIT_MEM) {2165FAIL_IF(emit_fop_mem(compiler, mem_flags, TMP_FREG2, src2, src2w));2166src2 = TMP_FREG2;2167}21682169switch (GET_OPCODE(op)) {2170case SLJIT_ADD_F64:2171FAIL_IF(push_inst(compiler, (FADD ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2172break;2173case SLJIT_SUB_F64:2174FAIL_IF(push_inst(compiler, (FSUB ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2175break;2176case SLJIT_MUL_F64:2177FAIL_IF(push_inst(compiler, (FMUL ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2178break;2179case SLJIT_DIV_F64:2180FAIL_IF(push_inst(compiler, (FDIV ^ inv_bits) | VD(dst_r) | VN(src1) | VM(src2)));2181break;2182case SLJIT_COPYSIGN_F64:2183FAIL_IF(push_inst(compiler, (FMOV_R ^ ((op & SLJIT_32) ? (W_OP | (1 << 22)) : 0)) | VN(src2) | RD(TMP_REG1)));2184FAIL_IF(push_inst(compiler, (FABS ^ inv_bits) | VD(dst_r) | VN(src1)));2185FAIL_IF(push_inst(compiler, TBZ | ((op & SLJIT_32) ? 0 : ((sljit_ins)1 << 31)) | (0x1f << 19) | (2 << 5) | RT(TMP_REG1)));2186return push_inst(compiler, (FNEG ^ inv_bits) | VD(dst_r) | VN(dst_r));2187}21882189if (!(dst & SLJIT_MEM))2190return SLJIT_SUCCESS;2191return emit_fop_mem(compiler, mem_flags | STORE, TMP_FREG1, dst, dstw);2192}21932194SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset32(struct sljit_compiler *compiler,2195sljit_s32 freg, sljit_f32 value)2196{2197sljit_u32 exp;2198union {2199sljit_u32 imm;2200sljit_f32 value;2201} u;22022203CHECK_ERROR();2204CHECK(check_sljit_emit_fset32(compiler, freg, value));22052206u.value = value;22072208if (u.imm == 0)2209return push_inst(compiler, (FMOV_R ^ (W_OP | (1 << 22))) | RN(TMP_ZERO) | VD(freg) | (1 << 16));22102211if ((u.imm << (32 - 19)) == 0) {2212exp = (u.imm >> (23 + 2)) & 0x3f;22132214if (exp == 0x20 || exp == 0x1f)2215return push_inst(compiler, (FMOV_I ^ (1 << 22)) | (sljit_ins)((((u.imm >> 24) & 0x80) | ((u.imm >> 19) & 0x7f)) << 13) | VD(freg));2216}22172218FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_s32)u.imm));2219return push_inst(compiler, (FMOV_R ^ (W_OP | (1 << 22))) | RN(TMP_REG1) | VD(freg) | (1 << 16));2220}22212222SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,2223sljit_s32 freg, sljit_f64 value)2224{2225sljit_uw exp;2226union {2227sljit_uw imm;2228sljit_f64 value;2229} u;22302231CHECK_ERROR();2232CHECK(check_sljit_emit_fset64(compiler, freg, value));22332234u.value = value;22352236if (u.imm == 0)2237return push_inst(compiler, FMOV_R | RN(TMP_ZERO) | VD(freg) | (sljit_ins)1 << 16);22382239if ((u.imm << (64 - 48)) == 0) {2240exp = (u.imm >> (52 + 2)) & 0x1ff;22412242if (exp == 0x100 || exp == 0xff)2243return push_inst(compiler, FMOV_I | (sljit_ins)((((u.imm >> 56) & 0x80) | ((u.imm >> 48) & 0x7f)) << 13) | VD(freg));2244}22452246FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_sw)u.imm));2247return push_inst(compiler, FMOV_R | RN(TMP_REG1) | VD(freg) | (1 << 16));2248}22492250SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,2251sljit_s32 freg, sljit_s32 reg)2252{2253sljit_ins inst;22542255CHECK_ERROR();2256CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));22572258if (GET_OPCODE(op) == SLJIT_COPY_TO_F64)2259inst = FMOV_R | RN(reg) | VD(freg) | (1 << 16);2260else2261inst = FMOV_R | VN(freg) | RD(reg);22622263if (op & SLJIT_32)2264inst ^= W_OP | (1 << 22);22652266return push_inst(compiler, inst);2267}22682269/* --------------------------------------------------------------------- */2270/* Conditional instructions */2271/* --------------------------------------------------------------------- */22722273static sljit_ins get_cc(struct sljit_compiler *compiler, sljit_s32 type)2274{2275switch (type) {2276case SLJIT_EQUAL:2277case SLJIT_ATOMIC_STORED:2278case SLJIT_F_EQUAL:2279case SLJIT_ORDERED_EQUAL:2280case SLJIT_UNORDERED_OR_EQUAL:2281return 0x1;22822283case SLJIT_NOT_EQUAL:2284case SLJIT_ATOMIC_NOT_STORED:2285case SLJIT_F_NOT_EQUAL:2286case SLJIT_UNORDERED_OR_NOT_EQUAL:2287case SLJIT_ORDERED_NOT_EQUAL:2288return 0x0;22892290case SLJIT_CARRY:2291if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2292return 0x3;2293/* fallthrough */22942295case SLJIT_LESS:2296return 0x2;22972298case SLJIT_NOT_CARRY:2299if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2300return 0x2;2301/* fallthrough */23022303case SLJIT_GREATER_EQUAL:2304return 0x3;23052306case SLJIT_GREATER:2307case SLJIT_UNORDERED_OR_GREATER:2308return 0x9;23092310case SLJIT_LESS_EQUAL:2311case SLJIT_F_LESS_EQUAL:2312case SLJIT_ORDERED_LESS_EQUAL:2313return 0x8;23142315case SLJIT_SIG_LESS:2316case SLJIT_UNORDERED_OR_LESS:2317return 0xa;23182319case SLJIT_SIG_GREATER_EQUAL:2320case SLJIT_F_GREATER_EQUAL:2321case SLJIT_ORDERED_GREATER_EQUAL:2322return 0xb;23232324case SLJIT_SIG_GREATER:2325case SLJIT_F_GREATER:2326case SLJIT_ORDERED_GREATER:2327return 0xd;23282329case SLJIT_SIG_LESS_EQUAL:2330case SLJIT_UNORDERED_OR_LESS_EQUAL:2331return 0xc;23322333case SLJIT_OVERFLOW:2334if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2335return 0x0;2336/* fallthrough */23372338case SLJIT_UNORDERED:2339return 0x7;23402341case SLJIT_NOT_OVERFLOW:2342if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2343return 0x1;2344/* fallthrough */23452346case SLJIT_ORDERED:2347return 0x6;23482349case SLJIT_F_LESS:2350case SLJIT_ORDERED_LESS:2351return 0x5;23522353case SLJIT_UNORDERED_OR_GREATER_EQUAL:2354return 0x4;23552356default:2357SLJIT_UNREACHABLE();2358return 0xe;2359}2360}23612362SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)2363{2364struct sljit_label *label;23652366CHECK_ERROR_PTR();2367CHECK_PTR(check_sljit_emit_label(compiler));23682369if (compiler->last_label && compiler->last_label->size == compiler->size)2370return compiler->last_label;23712372label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));2373PTR_FAIL_IF(!label);2374set_label(label, compiler);2375return label;2376}23772378SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)2379{2380struct sljit_jump *jump;23812382CHECK_ERROR_PTR();2383CHECK_PTR(check_sljit_emit_jump(compiler, type));23842385jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2386PTR_FAIL_IF(!jump);2387set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2388type &= 0xff;23892390if (type < SLJIT_JUMP) {2391jump->flags |= IS_COND;2392PTR_FAIL_IF(push_inst(compiler, B_CC | (6 << 5) | get_cc(compiler, type)));2393} else if (type >= SLJIT_FAST_CALL)2394jump->flags |= IS_BL;23952396jump->addr = compiler->size;2397PTR_FAIL_IF(push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG2)));23982399/* Maximum number of instructions required for generating a constant. */2400compiler->size += JUMP_MAX_SIZE - 1;2401return jump;2402}24032404SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,2405sljit_s32 arg_types)2406{2407SLJIT_UNUSED_ARG(arg_types);2408CHECK_ERROR_PTR();2409CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));24102411if (type & SLJIT_CALL_RETURN) {2412PTR_FAIL_IF(emit_stack_frame_release(compiler, 0));2413type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);2414}24152416SLJIT_SKIP_CHECKS(compiler);2417return sljit_emit_jump(compiler, type);2418}24192420static SLJIT_INLINE struct sljit_jump* emit_cmp_to0(struct sljit_compiler *compiler, sljit_s32 type,2421sljit_s32 src, sljit_sw srcw)2422{2423struct sljit_jump *jump;2424sljit_ins inv_bits = (type & SLJIT_32) ? W_OP : 0;24252426SLJIT_ASSERT((type & 0xff) == SLJIT_EQUAL || (type & 0xff) == SLJIT_NOT_EQUAL);2427ADJUST_LOCAL_OFFSET(src, srcw);24282429jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2430PTR_FAIL_IF(!jump);2431set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2432jump->flags |= IS_CBZ | IS_COND;24332434if (src & SLJIT_MEM) {2435PTR_FAIL_IF(emit_op_mem(compiler, inv_bits ? INT_SIZE : WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));2436src = TMP_REG1;2437}2438else if (src == SLJIT_IMM) {2439PTR_FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2440src = TMP_REG1;2441}24422443SLJIT_ASSERT(FAST_IS_REG(src));24442445if ((type & 0xff) == SLJIT_EQUAL)2446inv_bits |= 1 << 24;24472448PTR_FAIL_IF(push_inst(compiler, (CBZ ^ inv_bits) | (6 << 5) | RT(src)));2449jump->addr = compiler->size;2450PTR_FAIL_IF(push_inst(compiler, BR | RN(TMP_REG2)));24512452/* Maximum number of instructions required for generating a constant. */2453compiler->size += JUMP_MAX_SIZE - 1;2454return jump;2455}24562457SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)2458{2459struct sljit_jump *jump;24602461CHECK_ERROR();2462CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));24632464if (src != SLJIT_IMM) {2465if (src & SLJIT_MEM) {2466ADJUST_LOCAL_OFFSET(src, srcw);2467FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src, srcw, TMP_REG2));2468src = TMP_REG2;2469}2470return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(src));2471}24722473/* These jumps are converted to jump/call instructions when possible. */2474jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2475FAIL_IF(!jump);2476set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));2477jump->u.target = (sljit_uw)srcw;24782479jump->addr = compiler->size;2480/* Maximum number of instructions required for generating a constant. */2481compiler->size += JUMP_MAX_SIZE - 1;2482return push_inst(compiler, ((type >= SLJIT_FAST_CALL) ? BLR : BR) | RN(TMP_REG2));2483}24842485SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,2486sljit_s32 arg_types,2487sljit_s32 src, sljit_sw srcw)2488{2489SLJIT_UNUSED_ARG(arg_types);2490CHECK_ERROR();2491CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));24922493if (src & SLJIT_MEM) {2494ADJUST_LOCAL_OFFSET(src, srcw);2495FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));2496src = TMP_REG1;2497}24982499if (type & SLJIT_CALL_RETURN) {2500if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {2501FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));2502src = TMP_REG1;2503}25042505FAIL_IF(emit_stack_frame_release(compiler, 0));2506type = SLJIT_JUMP;2507}25082509SLJIT_SKIP_CHECKS(compiler);2510return sljit_emit_ijump(compiler, type, src, srcw);2511}25122513SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,2514sljit_s32 dst, sljit_sw dstw,2515sljit_s32 type)2516{2517sljit_s32 dst_r, src_r, flags, mem_flags;2518sljit_ins cc;25192520CHECK_ERROR();2521CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));2522ADJUST_LOCAL_OFFSET(dst, dstw);25232524cc = get_cc(compiler, type);2525dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;25262527if (GET_OPCODE(op) < SLJIT_ADD) {2528FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(dst_r) | RN(TMP_ZERO) | RM(TMP_ZERO)));25292530if (dst & SLJIT_MEM) {2531mem_flags = (GET_OPCODE(op) == SLJIT_MOV ? WORD_SIZE : INT_SIZE) | STORE;2532return emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG2);2533}25342535return SLJIT_SUCCESS;2536}25372538flags = HAS_FLAGS(op) ? SET_FLAGS : 0;2539mem_flags = WORD_SIZE;25402541if (op & SLJIT_32) {2542flags |= INT_OP;2543mem_flags = INT_SIZE;2544}25452546src_r = dst;25472548if (dst & SLJIT_MEM) {2549FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG1, dst, dstw, TMP_REG1));2550src_r = TMP_REG1;2551}25522553FAIL_IF(push_inst(compiler, CSINC | (cc << 12) | RD(TMP_REG2) | RN(TMP_ZERO) | RM(TMP_ZERO)));2554emit_op_imm(compiler, flags | GET_OPCODE(op), dst_r, src_r, TMP_REG2);25552556if (dst & SLJIT_MEM)2557return emit_op_mem(compiler, mem_flags | STORE, TMP_REG1, dst, dstw, TMP_REG2);2558return SLJIT_SUCCESS;2559}25602561SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_select(struct sljit_compiler *compiler, sljit_s32 type,2562sljit_s32 dst_reg,2563sljit_s32 src1, sljit_sw src1w,2564sljit_s32 src2_reg)2565{2566sljit_ins inv_bits = (type & SLJIT_32) ? W_OP : 0;2567sljit_ins cc;25682569CHECK_ERROR();2570CHECK(check_sljit_emit_select(compiler, type, dst_reg, src1, src1w, src2_reg));25712572ADJUST_LOCAL_OFFSET(src1, src1w);25732574if (src1 == SLJIT_IMM) {2575if (type & SLJIT_32)2576src1w = (sljit_s32)src1w;2577FAIL_IF(load_immediate(compiler, TMP_REG2, src1w));2578src1 = TMP_REG2;2579} else if (src1 & SLJIT_MEM) {2580FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src1, src1w, TMP_REG2));2581src1 = TMP_REG2;2582}25832584cc = get_cc(compiler, type & ~SLJIT_32);2585return push_inst(compiler, (CSEL ^ inv_bits) | (cc << 12) | RD(dst_reg) | RN(src2_reg) | RM(src1));2586}25872588SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fselect(struct sljit_compiler *compiler, sljit_s32 type,2589sljit_s32 dst_freg,2590sljit_s32 src1, sljit_sw src1w,2591sljit_s32 src2_freg)2592{2593sljit_ins inv_bits = (type & SLJIT_32) ? (1 << 22) : 0;2594sljit_ins cc;25952596CHECK_ERROR();2597CHECK(check_sljit_emit_fselect(compiler, type, dst_freg, src1, src1w, src2_freg));25982599ADJUST_LOCAL_OFFSET(src1, src1w);26002601if (src1 & SLJIT_MEM) {2602FAIL_IF(emit_fop_mem(compiler, (type & SLJIT_32) ? INT_SIZE : WORD_SIZE, TMP_FREG2, src1, src1w));2603src1 = TMP_FREG2;2604}26052606cc = get_cc(compiler, type & ~SLJIT_32);2607return push_inst(compiler, (FCSEL ^ inv_bits) | (cc << 12) | VD(dst_freg) | VN(src2_freg) | VM(src1));2608}26092610SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,2611sljit_s32 reg,2612sljit_s32 mem, sljit_sw memw)2613{2614sljit_u32 inst;26152616CHECK_ERROR();2617CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));26182619if (!(reg & REG_PAIR_MASK))2620return sljit_emit_mem_unaligned(compiler, type, reg, mem, memw);26212622ADJUST_LOCAL_OFFSET(mem, memw);26232624if (!(mem & REG_MASK)) {2625FAIL_IF(load_immediate(compiler, TMP_REG1, memw & ~0x1f8));26262627mem = SLJIT_MEM1(TMP_REG1);2628memw &= 0x1f8;2629} else if (mem & OFFS_REG_MASK) {2630FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(mem & REG_MASK) | RM(OFFS_REG(mem)) | ((sljit_ins)(memw & 0x3) << 10)));26312632mem = SLJIT_MEM1(TMP_REG1);2633memw = 0;2634} else if ((memw & 0x7) != 0 || memw > 0x1f8 || memw < -0x200) {2635inst = ADDI;26362637if (memw < 0) {2638/* Remains negative for integer min. */2639memw = -memw;2640inst = SUBI;2641} else if ((memw & 0x7) == 0 && memw <= 0x7ff0) {2642if (!(type & SLJIT_MEM_STORE) && (mem & REG_MASK) == REG_PAIR_FIRST(reg)) {2643FAIL_IF(push_inst(compiler, LDRI | RD(REG_PAIR_SECOND(reg)) | RN(mem & REG_MASK) | ((sljit_ins)memw << 7)));2644return push_inst(compiler, LDRI | RD(REG_PAIR_FIRST(reg)) | RN(mem & REG_MASK) | ((sljit_ins)(memw + 0x8) << 7));2645}26462647inst = (type & SLJIT_MEM_STORE) ? STRI : LDRI;26482649FAIL_IF(push_inst(compiler, inst | RD(REG_PAIR_FIRST(reg)) | RN(mem & REG_MASK) | ((sljit_ins)memw << 7)));2650return push_inst(compiler, inst | RD(REG_PAIR_SECOND(reg)) | RN(mem & REG_MASK) | ((sljit_ins)(memw + 0x8) << 7));2651}26522653if ((sljit_uw)memw <= 0xfff) {2654FAIL_IF(push_inst(compiler, inst | RD(TMP_REG1) | RN(mem & REG_MASK) | ((sljit_ins)memw << 10)));2655memw = 0;2656} else if ((sljit_uw)memw <= 0xffffff) {2657FAIL_IF(push_inst(compiler, inst | (1 << 22) | RD(TMP_REG1) | RN(mem & REG_MASK) | (((sljit_ins)memw >> 12) << 10)));26582659if ((memw & 0xe07) != 0) {2660FAIL_IF(push_inst(compiler, inst | RD(TMP_REG1) | RN(TMP_REG1) | (((sljit_ins)memw & 0xfff) << 10)));2661memw = 0;2662} else {2663memw &= 0xfff;2664}2665} else {2666FAIL_IF(load_immediate(compiler, TMP_REG1, memw));2667FAIL_IF(push_inst(compiler, (inst == ADDI ? ADD : SUB) | RD(TMP_REG1) | RN(mem & REG_MASK) | RM(TMP_REG1)));2668memw = 0;2669}26702671mem = SLJIT_MEM1(TMP_REG1);26722673if (inst == SUBI)2674memw = -memw;2675}26762677SLJIT_ASSERT((memw & 0x7) == 0 && memw <= 0x1f8 && memw >= -0x200);2678return 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));2679}26802681SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem_update(struct sljit_compiler *compiler, sljit_s32 type,2682sljit_s32 reg,2683sljit_s32 mem, sljit_sw memw)2684{2685sljit_u32 sign = 0, inst;26862687CHECK_ERROR();2688CHECK(check_sljit_emit_mem_update(compiler, type, reg, mem, memw));26892690if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -256))2691return SLJIT_ERR_UNSUPPORTED;26922693if (type & SLJIT_MEM_SUPP)2694return SLJIT_SUCCESS;26952696switch (type & 0xff) {2697case SLJIT_MOV:2698case SLJIT_MOV_P:2699inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;2700break;2701case SLJIT_MOV_S8:2702sign = 1;2703/* fallthrough */2704case SLJIT_MOV_U8:2705inst = STURBI | (MEM_SIZE_SHIFT(BYTE_SIZE) << 30) | 0x400;2706break;2707case SLJIT_MOV_S16:2708sign = 1;2709/* fallthrough */2710case SLJIT_MOV_U16:2711inst = STURBI | (MEM_SIZE_SHIFT(HALF_SIZE) << 30) | 0x400;2712break;2713case SLJIT_MOV_S32:2714sign = 1;2715/* fallthrough */2716case SLJIT_MOV_U32:2717case SLJIT_MOV32:2718inst = STURBI | (MEM_SIZE_SHIFT(INT_SIZE) << 30) | 0x400;2719break;2720default:2721SLJIT_UNREACHABLE();2722inst = STURBI | (MEM_SIZE_SHIFT(WORD_SIZE) << 30) | 0x400;2723break;2724}27252726if (!(type & SLJIT_MEM_STORE))2727inst |= sign ? 0x00800000 : 0x00400000;27282729if (!(type & SLJIT_MEM_POST))2730inst |= 0x800;27312732return push_inst(compiler, inst | RT(reg) | RN(mem & REG_MASK) | (sljit_ins)((memw & 0x1ff) << 12));2733}27342735SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fmem_update(struct sljit_compiler *compiler, sljit_s32 type,2736sljit_s32 freg,2737sljit_s32 mem, sljit_sw memw)2738{2739sljit_u32 inst;27402741CHECK_ERROR();2742CHECK(check_sljit_emit_fmem_update(compiler, type, freg, mem, memw));27432744if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -256))2745return SLJIT_ERR_UNSUPPORTED;27462747if (type & SLJIT_MEM_SUPP)2748return SLJIT_SUCCESS;27492750inst = STUR_FI | 0x80000400;27512752if (!(type & SLJIT_32))2753inst |= 0x40000000;27542755if (!(type & SLJIT_MEM_STORE))2756inst |= 0x00400000;27572758if (!(type & SLJIT_MEM_POST))2759inst |= 0x800;27602761return push_inst(compiler, inst | VT(freg) | RN(mem & REG_MASK) | (sljit_ins)((memw & 0x1ff) << 12));2762}27632764static sljit_s32 sljit_emit_simd_mem_offset(struct sljit_compiler *compiler, sljit_s32 *mem_ptr, sljit_sw memw)2765{2766sljit_ins ins;2767sljit_s32 mem = *mem_ptr;27682769if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {2770*mem_ptr = TMP_REG2;2771return push_inst(compiler, ADD | RD(TMP_REG2) | RN(mem & REG_MASK) | RM(OFFS_REG(mem)) | ((sljit_ins)(memw & 0x3) << 10));2772}27732774if (!(mem & REG_MASK)) {2775*mem_ptr = TMP_REG2;2776return load_immediate(compiler, TMP_REG2, memw);2777}27782779mem &= REG_MASK;27802781if (memw == 0) {2782*mem_ptr = mem;2783return SLJIT_SUCCESS;2784}27852786*mem_ptr = TMP_REG2;27872788if (memw < -0xffffff || memw > 0xffffff) {2789FAIL_IF(load_immediate(compiler, TMP_REG2, memw));2790return push_inst(compiler, ADD | RD(TMP_REG2) | RN(TMP_REG2) | RM(mem));2791}27922793ins = ADDI;27942795if (memw < 0) {2796memw = -memw;2797ins = SUBI;2798}27992800if (memw > 0xfff) {2801FAIL_IF(push_inst(compiler, ins | (1 << 22) | RD(TMP_REG2) | RN(mem) | ((sljit_ins)(memw >> 12) << 10)));28022803memw &= 0xfff;2804if (memw == 0)2805return SLJIT_SUCCESS;28062807mem = TMP_REG2;2808}28092810return push_inst(compiler, ins | RD(TMP_REG2) | RN(mem) | ((sljit_ins)memw << 10));2811}28122813SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_mov(struct sljit_compiler *compiler, sljit_s32 type,2814sljit_s32 vreg,2815sljit_s32 srcdst, sljit_sw srcdstw)2816{2817sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);2818sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);2819sljit_ins ins;28202821CHECK_ERROR();2822CHECK(check_sljit_emit_simd_mov(compiler, type, vreg, srcdst, srcdstw));28232824ADJUST_LOCAL_OFFSET(srcdst, srcdstw);28252826if (reg_size != 3 && reg_size != 4)2827return SLJIT_ERR_UNSUPPORTED;28282829if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))2830return SLJIT_ERR_UNSUPPORTED;28312832if (type & SLJIT_SIMD_TEST)2833return SLJIT_SUCCESS;28342835if (!(srcdst & SLJIT_MEM)) {2836if (type & SLJIT_SIMD_STORE)2837ins = VD(srcdst) | VN(vreg) | VM(vreg);2838else2839ins = VD(vreg) | VN(srcdst) | VM(srcdst);28402841if (reg_size == 4)2842ins |= (1 << 30);28432844return push_inst(compiler, ORR_v | ins);2845}28462847FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));28482849if (elem_size > 3)2850elem_size = 3;28512852ins = (type & SLJIT_SIMD_STORE) ? ST1 : LD1;28532854if (reg_size == 4)2855ins |= (1 << 30);28562857return push_inst(compiler, ins | ((sljit_ins)elem_size << 10) | RN(srcdst) | VT(vreg));2858}28592860static sljit_ins simd_get_imm(sljit_s32 elem_size, sljit_uw value)2861{2862sljit_ins result;28632864if (elem_size > 2 && (sljit_u32)value == (value >> 32)) {2865elem_size = 2;2866value = (sljit_u32)value;2867}28682869if (elem_size == 2 && (sljit_u16)value == (value >> 16)) {2870elem_size = 1;2871value = (sljit_u16)value;2872}28732874if (elem_size == 1 && (sljit_u8)value == (value >> 8)) {2875elem_size = 0;2876value = (sljit_u8)value;2877}28782879switch (elem_size) {2880case 0:2881SLJIT_ASSERT(value <= 0xff);2882result = 0xe000;2883break;2884case 1:2885SLJIT_ASSERT(value <= 0xffff);2886result = 0;28872888while (1) {2889if (value <= 0xff) {2890result |= 0x8000;2891break;2892}28932894if ((value & 0xff) == 0) {2895value >>= 8;2896result |= 0xa000;2897break;2898}28992900if (result != 0)2901return ~(sljit_ins)0;29022903value ^= (sljit_uw)0xffff;2904result = (1 << 29);2905}2906break;2907case 2:2908SLJIT_ASSERT(value <= 0xffffffff);2909result = 0;29102911while (1) {2912if (value <= 0xff) {2913result |= 0x0000;2914break;2915}29162917if ((value & ~(sljit_uw)0xff00) == 0) {2918value >>= 8;2919result |= 0x2000;2920break;2921}29222923if ((value & ~(sljit_uw)0xff0000) == 0) {2924value >>= 16;2925result |= 0x4000;2926break;2927}29282929if ((value & ~(sljit_uw)0xff000000) == 0) {2930value >>= 24;2931result |= 0x6000;2932break;2933}29342935if ((value & (sljit_uw)0xff) == 0xff && (value >> 16) == 0) {2936value >>= 8;2937result |= 0xc000;2938break;2939}29402941if ((value & (sljit_uw)0xffff) == 0xffff && (value >> 24) == 0) {2942value >>= 16;2943result |= 0xd000;2944break;2945}29462947if (result != 0)2948return ~(sljit_ins)0;29492950value ^= (sljit_uw)0xffffffff;2951result = (1 << 29);2952}2953break;2954default:2955return ~(sljit_ins)0;2956}29572958return (((sljit_ins)value & 0x1f) << 5) | (((sljit_ins)value & 0xe0) << 11) | result;2959}29602961SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_replicate(struct sljit_compiler *compiler, sljit_s32 type,2962sljit_s32 vreg,2963sljit_s32 src, sljit_sw srcw)2964{2965sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);2966sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);2967sljit_ins ins, imm;29682969CHECK_ERROR();2970CHECK(check_sljit_emit_simd_replicate(compiler, type, vreg, src, srcw));29712972ADJUST_LOCAL_OFFSET(src, srcw);29732974if (reg_size != 3 && reg_size != 4)2975return SLJIT_ERR_UNSUPPORTED;29762977if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))2978return SLJIT_ERR_UNSUPPORTED;29792980if (type & SLJIT_SIMD_TEST)2981return SLJIT_SUCCESS;29822983if (src & SLJIT_MEM) {2984FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));29852986ins = (sljit_ins)elem_size << 10;29872988if (reg_size == 4)2989ins |= (sljit_ins)1 << 30;29902991return push_inst(compiler, LD1R | ins | RN(src) | VT(vreg));2992}29932994ins = (sljit_ins)1 << (16 + elem_size);29952996if (reg_size == 4)2997ins |= (sljit_ins)1 << 30;29982999if (type & SLJIT_SIMD_FLOAT) {3000if (src == SLJIT_IMM)3001return push_inst(compiler, MOVI | (ins & ((sljit_ins)1 << 30)) | VD(vreg));30023003return push_inst(compiler, DUP_e | ins | VD(vreg) | VN(src));3004}30053006if (src == SLJIT_IMM) {3007if (elem_size < 3)3008srcw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;30093010imm = simd_get_imm(elem_size, (sljit_uw)srcw);30113012if (imm != ~(sljit_ins)0) {3013imm |= ins & ((sljit_ins)1 << 30);30143015return push_inst(compiler, MOVI | imm | VD(vreg));3016}30173018FAIL_IF(load_immediate(compiler, TMP_REG2, srcw));3019src = TMP_REG2;3020}30213022return push_inst(compiler, DUP_g | ins | VD(vreg) | RN(src));3023}30243025SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_mov(struct sljit_compiler *compiler, sljit_s32 type,3026sljit_s32 vreg, sljit_s32 lane_index,3027sljit_s32 srcdst, sljit_sw srcdstw)3028{3029sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3030sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3031sljit_ins ins;30323033CHECK_ERROR();3034CHECK(check_sljit_emit_simd_lane_mov(compiler, type, vreg, lane_index, srcdst, srcdstw));30353036ADJUST_LOCAL_OFFSET(srcdst, srcdstw);30373038if (reg_size != 3 && reg_size != 4)3039return SLJIT_ERR_UNSUPPORTED;30403041if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3042return SLJIT_ERR_UNSUPPORTED;30433044if (type & SLJIT_SIMD_TEST)3045return SLJIT_SUCCESS;30463047if (type & SLJIT_SIMD_LANE_ZERO) {3048ins = (reg_size == 3) ? 0 : ((sljit_ins)1 << 30);30493050if ((type & SLJIT_SIMD_FLOAT) && vreg == srcdst) {3051FAIL_IF(push_inst(compiler, ORR_v | ins | VD(TMP_FREG1) | VN(vreg) | VM(vreg)));3052srcdst = TMP_FREG1;3053srcdstw = 0;3054}30553056FAIL_IF(push_inst(compiler, MOVI | ins | VD(vreg)));3057}30583059if (srcdst & SLJIT_MEM) {3060FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));30613062if (elem_size == 3)3063ins = 0x8400;3064else if (elem_size == 0)3065ins = 0;3066else3067ins = (sljit_ins)0x2000 << elem_size;30683069lane_index = lane_index << elem_size;3070ins |= (sljit_ins)(((lane_index & 0x8) << 27) | ((lane_index & 0x7) << 10));30713072return push_inst(compiler, ((type & SLJIT_SIMD_STORE) ? ST1_s : LD1_s) | ins | RN(srcdst) | VT(vreg));3073}30743075if (type & SLJIT_SIMD_FLOAT) {3076if (type & SLJIT_SIMD_STORE)3077ins = INS_e | ((sljit_ins)1 << (16 + elem_size)) | ((sljit_ins)lane_index << (11 + elem_size)) | VD(srcdst) | VN(vreg);3078else3079ins = INS_e | ((((sljit_ins)lane_index << 1) | 1) << (16 + elem_size)) | VD(vreg) | VN(srcdst);30803081return push_inst(compiler, ins);3082}30833084if (srcdst == SLJIT_IMM) {3085if (elem_size < 3)3086srcdstw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;30873088FAIL_IF(load_immediate(compiler, TMP_REG2, srcdstw));3089srcdst = TMP_REG2;3090}30913092if (type & SLJIT_SIMD_STORE) {3093ins = RD(srcdst) | VN(vreg);30943095if ((type & SLJIT_SIMD_LANE_SIGNED) && (elem_size < 2 || (elem_size == 2 && !(type & SLJIT_32)))) {3096ins |= SMOV;30973098if (!(type & SLJIT_32))3099ins |= (sljit_ins)1 << 30;3100} else3101ins |= UMOV;3102} else3103ins = INS | VD(vreg) | RN(srcdst);31043105if (elem_size == 3)3106ins |= (sljit_ins)1 << 30;31073108return push_inst(compiler, ins | ((((sljit_ins)lane_index << 1) | 1) << (16 + elem_size)));3109}31103111SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_replicate(struct sljit_compiler *compiler, sljit_s32 type,3112sljit_s32 vreg,3113sljit_s32 src, sljit_s32 src_lane_index)3114{3115sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3116sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3117sljit_ins ins;31183119CHECK_ERROR();3120CHECK(check_sljit_emit_simd_lane_replicate(compiler, type, vreg, src, src_lane_index));31213122if (reg_size != 3 && reg_size != 4)3123return SLJIT_ERR_UNSUPPORTED;31243125if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3126return SLJIT_ERR_UNSUPPORTED;31273128if (type & SLJIT_SIMD_TEST)3129return SLJIT_SUCCESS;31303131ins = (((sljit_ins)src_lane_index << 1) | 1) << (16 + elem_size);31323133if (reg_size == 4)3134ins |= (sljit_ins)1 << 30;31353136return push_inst(compiler, DUP_e | ins | VD(vreg) | VN(src));3137}31383139SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_extend(struct sljit_compiler *compiler, sljit_s32 type,3140sljit_s32 vreg,3141sljit_s32 src, sljit_sw srcw)3142{3143sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3144sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3145sljit_s32 elem2_size = SLJIT_SIMD_GET_ELEM2_SIZE(type);31463147CHECK_ERROR();3148CHECK(check_sljit_emit_simd_extend(compiler, type, vreg, src, srcw));31493150ADJUST_LOCAL_OFFSET(src, srcw);31513152if (reg_size != 3 && reg_size != 4)3153return SLJIT_ERR_UNSUPPORTED;31543155if ((type & SLJIT_SIMD_FLOAT) && (elem_size != 2 || elem2_size != 3))3156return SLJIT_ERR_UNSUPPORTED;31573158if (type & SLJIT_SIMD_TEST)3159return SLJIT_SUCCESS;31603161if (src & SLJIT_MEM) {3162FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));31633164if (reg_size == 4 && elem2_size - elem_size == 1)3165FAIL_IF(push_inst(compiler, LD1 | ((sljit_ins)elem_size << 10) | RN(src) | VT(vreg)));3166else3167FAIL_IF(push_inst(compiler, LD1_s | ((sljit_ins)0x2000 << (reg_size - elem2_size + elem_size)) | RN(src) | VT(vreg)));3168src = vreg;3169}31703171if (type & SLJIT_SIMD_FLOAT) {3172SLJIT_ASSERT(reg_size == 4);3173return push_inst(compiler, FCVTL | (1 << 22) | VD(vreg) | VN(src));3174}31753176do {3177FAIL_IF(push_inst(compiler, ((type & SLJIT_SIMD_EXTEND_SIGNED) ? SSHLL : USHLL)3178| ((sljit_ins)1 << (19 + elem_size)) | VD(vreg) | VN(src)));3179src = vreg;3180} while (++elem_size < elem2_size);31813182return SLJIT_SUCCESS;3183}31843185SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_sign(struct sljit_compiler *compiler, sljit_s32 type,3186sljit_s32 vreg,3187sljit_s32 dst, sljit_sw dstw)3188{3189sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3190sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3191sljit_ins ins, imms;3192sljit_s32 dst_r;31933194CHECK_ERROR();3195CHECK(check_sljit_emit_simd_sign(compiler, type, vreg, dst, dstw));31963197ADJUST_LOCAL_OFFSET(dst, dstw);31983199if (reg_size != 3 && reg_size != 4)3200return SLJIT_ERR_UNSUPPORTED;32013202if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3203return SLJIT_ERR_UNSUPPORTED;32043205if (type & SLJIT_SIMD_TEST)3206return SLJIT_SUCCESS;32073208switch (elem_size) {3209case 0:3210imms = 0x643219;3211ins = USHR | (0x9 << 16);3212break;3213case 1:3214imms = (reg_size == 4) ? 0x643219 : 0x6231;3215ins = USHR | (0x11 << 16);3216break;3217case 2:3218imms = (reg_size == 4) ? 0x6231 : 0x61;3219ins = USHR | (0x21 << 16);3220break;3221default:3222imms = 0x61;3223ins = USHR | (0x41 << 16);3224break;3225}32263227if (reg_size == 4)3228ins |= (1 << 30);32293230FAIL_IF(push_inst(compiler, ins | VD(TMP_FREG1) | VN(vreg)));32313232if (reg_size == 4 && elem_size > 0)3233FAIL_IF(push_inst(compiler, XTN | ((sljit_ins)(elem_size - 1) << 22) | VD(TMP_FREG1) | VN(TMP_FREG1)));32343235if (imms >= 0x100) {3236ins = (reg_size == 4 && elem_size == 0) ? (1 << 30) : 0;32373238do {3239FAIL_IF(push_inst(compiler, USRA | ins | ((imms & 0xff) << 16) | VD(TMP_FREG1) | VN(TMP_FREG1)));3240imms >>= 8;3241} while (imms >= 0x100);3242}32433244FAIL_IF(push_inst(compiler, USRA | (1 << 30) | (imms << 16) | VD(TMP_FREG1) | VN(TMP_FREG1)));32453246dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;3247ins = (0x1 << 16);32483249if (reg_size == 4 && elem_size == 0) {3250FAIL_IF(push_inst(compiler, INS_e | (0x3 << 16) | (0x8 << 11) | VD(TMP_FREG1) | VN(TMP_FREG1)));3251ins = (0x2 << 16);3252}32533254FAIL_IF(push_inst(compiler, UMOV | ins | RD(dst_r) | VN(TMP_FREG1)));32553256if (dst_r == TMP_REG2)3257return emit_op_mem(compiler, STORE | ((type & SLJIT_32) ? INT_SIZE : WORD_SIZE), TMP_REG2, dst, dstw, TMP_REG1);32583259return SLJIT_SUCCESS;3260}32613262SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_op2(struct sljit_compiler *compiler, sljit_s32 type,3263sljit_s32 dst_vreg, sljit_s32 src1_vreg, sljit_s32 src2, sljit_sw src2w)3264{3265sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3266sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3267sljit_ins ins = 0;32683269CHECK_ERROR();3270CHECK(check_sljit_emit_simd_op2(compiler, type, dst_vreg, src1_vreg, src2, src2w));3271ADJUST_LOCAL_OFFSET(src2, src2w);32723273if (reg_size != 3 && reg_size != 4)3274return SLJIT_ERR_UNSUPPORTED;32753276if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3277return SLJIT_ERR_UNSUPPORTED;32783279if (type & SLJIT_SIMD_TEST)3280return SLJIT_SUCCESS;32813282switch (SLJIT_SIMD_GET_OPCODE(type)) {3283case SLJIT_SIMD_OP2_AND:3284ins = AND_v;3285break;3286case SLJIT_SIMD_OP2_OR:3287ins = ORR_v;3288break;3289case SLJIT_SIMD_OP2_XOR:3290ins = EOR_v;3291break;3292case SLJIT_SIMD_OP2_SHUFFLE:3293ins = TBL_v;3294break;3295}32963297if (src2 & SLJIT_MEM) {3298if (elem_size > 3)3299elem_size = 3;33003301FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src2, src2w));3302push_inst(compiler, LD1 | (reg_size == 4 ? (1 << 30) : 0) | ((sljit_ins)elem_size << 10) | RN(src2) | VT(TMP_FREG1));3303src2 = TMP_FREG1;3304}33053306if (reg_size == 4)3307ins |= (sljit_ins)1 << 30;33083309return push_inst(compiler, ins | VD(dst_vreg) | VN(src1_vreg) | VM(src2));3310}33113312SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_load(struct sljit_compiler *compiler, sljit_s32 op,3313sljit_s32 dst_reg,3314sljit_s32 mem_reg)3315{3316sljit_ins ins;33173318CHECK_ERROR();3319CHECK(check_sljit_emit_atomic_load(compiler, op, dst_reg, mem_reg));33203321#ifndef __ARM_FEATURE_ATOMICS3322if (op & SLJIT_ATOMIC_USE_CAS)3323return SLJIT_ERR_UNSUPPORTED;3324#endif /* ARM_FEATURE_ATOMICS */33253326switch (GET_OPCODE(op)) {3327case SLJIT_MOV_S8:3328case SLJIT_MOV_S16:3329case SLJIT_MOV_S32:3330return SLJIT_ERR_UNSUPPORTED;33313332case SLJIT_MOV32:3333case SLJIT_MOV_U32:3334#ifdef __ARM_FEATURE_ATOMICS3335if (!(op & SLJIT_ATOMIC_USE_LS))3336ins = LDR ^ (1 << 30);3337else3338#endif /* ARM_FEATURE_ATOMICS */3339ins = LDXR ^ (1 << 30);3340break;3341case SLJIT_MOV_U8:3342#ifdef __ARM_FEATURE_ATOMICS3343if (!(op & SLJIT_ATOMIC_USE_LS))3344ins = LDRB;3345else3346#endif /* ARM_FEATURE_ATOMICS */3347ins = LDXRB;3348break;3349case SLJIT_MOV_U16:3350#ifdef __ARM_FEATURE_ATOMICS3351if (!(op & SLJIT_ATOMIC_USE_LS))3352ins = LDRH;3353else3354#endif /* ARM_FEATURE_ATOMICS */3355ins = LDXRH;3356break;3357default:3358#ifdef __ARM_FEATURE_ATOMICS3359if (!(op & SLJIT_ATOMIC_USE_LS))3360ins = LDR;3361else3362#endif /* ARM_FEATURE_ATOMICS */3363ins = LDXR;3364break;3365}33663367if (op & SLJIT_ATOMIC_TEST)3368return SLJIT_SUCCESS;33693370return push_inst(compiler, ins | RN(mem_reg) | RT(dst_reg));3371}33723373SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_store(struct sljit_compiler *compiler, sljit_s32 op,3374sljit_s32 src_reg,3375sljit_s32 mem_reg,3376sljit_s32 temp_reg)3377{3378sljit_ins ins;3379sljit_ins cmp = 0;33803381CHECK_ERROR();3382CHECK(check_sljit_emit_atomic_store(compiler, op, src_reg, mem_reg, temp_reg));33833384#ifdef __ARM_FEATURE_ATOMICS3385if (!(op & SLJIT_ATOMIC_USE_LS)) {3386if (op & SLJIT_SET_ATOMIC_STORED)3387cmp = (SUBS ^ W_OP) | RD(TMP_ZERO);33883389switch (GET_OPCODE(op)) {3390case SLJIT_MOV_S8:3391case SLJIT_MOV_S16:3392case SLJIT_MOV_S32:3393return SLJIT_ERR_UNSUPPORTED;33943395case SLJIT_MOV32:3396case SLJIT_MOV_U32:3397ins = CAS ^ (1 << 30);3398break;3399case SLJIT_MOV_U16:3400ins = CASH;3401break;3402case SLJIT_MOV_U8:3403ins = CASB;3404break;3405default:3406ins = CAS;3407if (cmp)3408cmp ^= W_OP;3409break;3410}34113412if (op & SLJIT_ATOMIC_TEST)3413return SLJIT_SUCCESS;34143415if (cmp)3416FAIL_IF(push_inst(compiler, ((MOV ^ W_OP) ^ (cmp & W_OP)) | RM(temp_reg) | RD(TMP_REG2)));34173418FAIL_IF(push_inst(compiler, ins | RM(temp_reg) | RN(mem_reg) | RD(src_reg)));3419if (!cmp)3420return SLJIT_SUCCESS;34213422return push_inst(compiler, cmp | RM(TMP_REG2) | RN(temp_reg));3423}3424#else /* !__ARM_FEATURE_ATOMICS */3425if (op & SLJIT_ATOMIC_USE_CAS)3426return SLJIT_ERR_UNSUPPORTED;3427#endif /* __ARM_FEATURE_ATOMICS */34283429if (op & SLJIT_SET_ATOMIC_STORED)3430cmp = (SUBI ^ W_OP) | (1 << 29);34313432switch (GET_OPCODE(op)) {3433case SLJIT_MOV_S8:3434case SLJIT_MOV_S16:3435case SLJIT_MOV_S32:3436return SLJIT_ERR_UNSUPPORTED;34373438case SLJIT_MOV32:3439case SLJIT_MOV_U32:3440ins = STXR ^ (1 << 30);3441break;3442case SLJIT_MOV_U8:3443ins = STXRB;3444break;3445case SLJIT_MOV_U16:3446ins = STXRH;3447break;3448default:3449ins = STXR;3450break;3451}34523453if (op & SLJIT_ATOMIC_TEST)3454return SLJIT_SUCCESS;34553456FAIL_IF(push_inst(compiler, ins | RM(TMP_REG2) | RN(mem_reg) | RT(src_reg)));3457if (!cmp)3458return SLJIT_SUCCESS;3459return push_inst(compiler, cmp | RD(TMP_ZERO) | RN(TMP_REG2));3460}34613462SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_local_base(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw offset)3463{3464sljit_s32 dst_reg;3465sljit_ins ins;34663467CHECK_ERROR();3468CHECK(check_sljit_get_local_base(compiler, dst, dstw, offset));3469ADJUST_LOCAL_OFFSET(SLJIT_MEM1(SLJIT_SP), offset);34703471dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG1;34723473/* Not all instruction forms support accessing SP register. */3474if (offset <= 0xffffff && offset >= -0xffffff) {3475ins = ADDI;3476if (offset < 0) {3477offset = -offset;3478ins = SUBI;3479}34803481if (offset <= 0xfff)3482FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | (sljit_ins)(offset << 10)));3483else {3484FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(SLJIT_SP) | (sljit_ins)((offset & 0xfff000) >> (12 - 10)) | (1 << 22)));34853486offset &= 0xfff;3487if (offset != 0)3488FAIL_IF(push_inst(compiler, ins | RD(dst_reg) | RN(dst_reg) | (sljit_ins)(offset << 10)));3489}3490}3491else {3492FAIL_IF(load_immediate (compiler, dst_reg, offset));3493/* Add extended register form. */3494FAIL_IF(push_inst(compiler, ADDE | (0x3 << 13) | RD(dst_reg) | RN(SLJIT_SP) | RM(dst_reg)));3495}34963497if (SLJIT_UNLIKELY(dst & SLJIT_MEM))3498return emit_op_mem(compiler, WORD_SIZE | STORE, dst_reg, dst, dstw, TMP_REG1);3499return SLJIT_SUCCESS;3500}35013502SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw init_value)3503{3504struct sljit_const *const_;3505sljit_s32 dst_r;35063507CHECK_ERROR_PTR();3508CHECK_PTR(check_sljit_emit_const(compiler, dst, dstw, init_value));3509ADJUST_LOCAL_OFFSET(dst, dstw);35103511const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));3512PTR_FAIL_IF(!const_);3513set_const(const_, compiler);35143515dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;3516PTR_FAIL_IF(emit_imm64_const(compiler, dst_r, (sljit_uw)init_value));35173518if (dst & SLJIT_MEM)3519PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));3520return const_;3521}35223523SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_mov_addr(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)3524{3525struct sljit_jump *jump;3526sljit_s32 dst_r;35273528CHECK_ERROR_PTR();3529CHECK_PTR(check_sljit_emit_mov_addr(compiler, dst, dstw));3530ADJUST_LOCAL_OFFSET(dst, dstw);35313532dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;3533PTR_FAIL_IF(push_inst(compiler, RD(dst_r)));35343535jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3536PTR_FAIL_IF(!jump);3537set_mov_addr(jump, compiler, 1);35383539compiler->size += 3;35403541if (dst & SLJIT_MEM)3542PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG2));35433544return jump;3545}35463547SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)3548{3549sljit_ins* inst = (sljit_ins*)addr;3550sljit_u32 dst;3551SLJIT_UNUSED_ARG(executable_offset);35523553SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 0);35543555dst = inst[0] & 0x1f;3556SLJIT_ASSERT((inst[0] & 0xffe00000) == MOVZ && (inst[1] & 0xffe00000) == (MOVK | (1 << 21)));3557inst[0] = MOVZ | dst | (((sljit_u32)new_target & 0xffff) << 5);3558inst[1] = MOVK | dst | (((sljit_u32)(new_target >> 16) & 0xffff) << 5) | (1 << 21);3559inst[2] = MOVK | dst | (((sljit_u32)(new_target >> 32) & 0xffff) << 5) | (2 << 21);3560inst[3] = MOVK | dst | ((sljit_u32)(new_target >> 48) << 5) | (3 << 21);35613562SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 1);3563inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);3564SLJIT_CACHE_FLUSH(inst, inst + 4);3565}35663567SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)3568{3569sljit_set_jump_addr(addr, (sljit_uw)new_constant, executable_offset);3570}357135723573