Path: blob/master/thirdparty/pcre2/deps/sljit/sljit_src/sljitNativeARM_T2_32.c
22541 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{28#ifdef __SOFTFP__29return "ARM-Thumb2" SLJIT_CPUINFO " ABI:softfp";30#else31return "ARM-Thumb2" SLJIT_CPUINFO " ABI:hardfp";32#endif33}3435/* Length of an instruction word. */36typedef sljit_u32 sljit_ins;3738/* Last register + 1. */39#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)40#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)41#define TMP_PC (SLJIT_NUMBER_OF_REGISTERS + 4)4243#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)44#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)4546/* See sljit_emit_enter and sljit_emit_op0 if you want to change them. */47static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 5] = {480, 0, 1, 2, 3, 11, 10, 9, 8, 7, 6, 5, 4, 13, 12, 14, 1549};5051static const sljit_u8 freg_map[((SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2) << 1) + 1] = {520,530, 1, 2, 3, 4, 5, 15, 14, 13, 12, 11, 10, 9, 8,547, 6,550, 1, 2, 3, 4, 5, 15, 14, 13, 12, 11, 10, 9, 8,567, 657};5859static const sljit_u8 freg_ebit_map[((SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2) << 1) + 1] = {600,610, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,620, 0,631, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,641, 165};6667#define COPY_BITS(src, from, to, bits) \68((from >= to ? ((sljit_ins)(src) >> (from - to)) : ((sljit_ins)(src) << (to - from))) & (((1 << bits) - 1) << to))6970#define NEGATE(uimm) ((sljit_uw)-(sljit_sw)(uimm))7172/* Thumb16 encodings. */73#define RD3(rd) ((sljit_ins)reg_map[rd])74#define RN3(rn) ((sljit_ins)reg_map[rn] << 3)75#define RM3(rm) ((sljit_ins)reg_map[rm] << 6)76#define RDN3(rdn) ((sljit_ins)reg_map[rdn] << 8)77#define IMM3(imm) ((sljit_ins)imm << 6)78#define IMM8(imm) ((sljit_ins)imm)7980/* Thumb16 helpers. */81#define SET_REGS44(rd, rn) \82(((sljit_ins)reg_map[rn] << 3) | ((sljit_ins)reg_map[rd] & 0x7) | (((sljit_ins)reg_map[rd] & 0x8) << 4))83#define IS_2_LO_REGS(reg1, reg2) \84(reg_map[reg1] <= 7 && reg_map[reg2] <= 7)85#define IS_3_LO_REGS(reg1, reg2, reg3) \86(reg_map[reg1] <= 7 && reg_map[reg2] <= 7 && reg_map[reg3] <= 7)8788/* Thumb32 encodings. */89#define RM4(rm) ((sljit_ins)reg_map[rm])90#define RD4(rd) ((sljit_ins)reg_map[rd] << 8)91#define RT4(rt) ((sljit_ins)reg_map[rt] << 12)92#define RN4(rn) ((sljit_ins)reg_map[rn] << 16)9394#define VM4(vm) (((sljit_ins)freg_map[vm]) | ((sljit_ins)freg_ebit_map[vm] << 5))95#define VD4(vd) (((sljit_ins)freg_map[vd] << 12) | ((sljit_ins)freg_ebit_map[vd] << 22))96#define VN4(vn) (((sljit_ins)freg_map[vn] << 16) | ((sljit_ins)freg_ebit_map[vn] << 7))9798#define IMM5(imm) \99(COPY_BITS(imm, 2, 12, 3) | (((sljit_ins)imm & 0x3) << 6))100#define IMM12(imm) \101(COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | ((sljit_ins)imm & 0xff))102103/* --------------------------------------------------------------------- */104/* Instruction forms */105/* --------------------------------------------------------------------- */106107/* dot '.' changed to _108I immediate form (possibly followed by number of immediate bits). */109#define ADCI 0xf1400000110#define ADCS 0x4140111#define ADC_W 0xeb400000112#define ADD 0x4400113#define ADDS 0x1800114#define ADDSI3 0x1c00115#define ADDSI8 0x3000116#define ADDWI 0xf2000000117#define ADD_SP 0x4485118#define ADD_SP_I 0xb000119#define ADD_W 0xeb000000120#define ADD_WI 0xf1000000121#define ANDI 0xf0000000122#define ANDS 0x4000123#define AND_W 0xea000000124#define ASRS 0x4100125#define ASRSI 0x1000126#define ASR_W 0xfa40f000127#define ASR_WI 0xea4f0020128#define BCC 0xd000129#define BICI 0xf0200000130#define BKPT 0xbe00131#define BLX 0x4780132#define BX 0x4700133#define CLZ 0xfab0f080134#define CMNI_W 0xf1100f00135#define CMP 0x4280136#define CMPI 0x2800137#define CMPI_W 0xf1b00f00138#define CMP_X 0x4500139#define CMP_W 0xebb00f00140#define DMB_SY 0xf3bf8f5f141#define EORI 0xf0800000142#define EORS 0x4040143#define EOR_W 0xea800000144#define IT 0xbf00145#define LDR 0xf8d00000146#define LDR_SP 0x9800147#define LDRD 0xe9500000148#define LDREX 0xe8500f00149#define LDREXB 0xe8d00f4f150#define LDREXH 0xe8d00f5f151#define LDRI 0xf8500800152#define LSLS 0x4080153#define LSLSI 0x0000154#define LSL_W 0xfa00f000155#define LSL_WI 0xea4f0000156#define LSRS 0x40c0157#define LSRSI 0x0800158#define LSR_W 0xfa20f000159#define LSR_WI 0xea4f0010160#define MLA 0xfb000000161#define MOV 0x4600162#define MOVI 0x2000163#define MOVS 0x0000164#define MOVSI 0x2000165#define MOVT 0xf2c00000166#define MOVW 0xf2400000167#define MOV_W 0xea4f0000168#define MOV_WI 0xf04f0000169#define MUL 0xfb00f000170#define MVNS 0x43c0171#define MVN_W 0xea6f0000172#define MVN_WI 0xf06f0000173#define NOP 0xbf00174#define ORNI 0xf0600000175#define ORRI 0xf0400000176#define ORRS 0x4300177#define ORR_W 0xea400000178#define POP 0xbc00179#define POP_W 0xe8bd0000180#define PUSH 0xb400181#define PUSH_W 0xe92d0000182#define REV 0xba00183#define REV_W 0xfa90f080184#define REV16 0xba40185#define REV16_W 0xfa90f090186#define RBIT 0xfa90f0a0187#define RORS 0x41c0188#define ROR_W 0xfa60f000189#define ROR_WI 0xea4f0030190#define RSB_WI 0xf1c00000191#define RSBSI 0x4240192#define SBCI 0xf1600000193#define SBCS 0x4180194#define SBC_W 0xeb600000195#define SDIV 0xfb90f0f0196#define SMULL 0xfb800000197#define STR_SP 0x9000198#define STRD 0xe9400000199#define STREX 0xe8400000200#define STREXB 0xe8c00f40201#define STREXH 0xe8c00f50202#define SUBS 0x1a00203#define SUBSI3 0x1e00204#define SUBSI8 0x3800205#define SUB_W 0xeba00000206#define SUBWI 0xf2a00000207#define SUB_SP_I 0xb080208#define SUB_WI 0xf1a00000209#define SXTB 0xb240210#define SXTB_W 0xfa4ff080211#define SXTH 0xb200212#define SXTH_W 0xfa0ff080213#define TST 0x4200214#define TSTI 0xf0000f00215#define TST_W 0xea000f00216#define UDIV 0xfbb0f0f0217#define UMULL 0xfba00000218#define UXTB 0xb2c0219#define UXTB_W 0xfa5ff080220#define UXTH 0xb280221#define UXTH_W 0xfa1ff080222#define VABS_F32 0xeeb00ac0223#define VADD_F32 0xee300a00224#define VAND 0xef000110225#define VCMP_F32 0xeeb40a40226#define VCVT_F32_S32 0xeeb80ac0227#define VCVT_F32_U32 0xeeb80a40228#define VCVT_F64_F32 0xeeb70ac0229#define VCVT_S32_F32 0xeebd0ac0230#define VDIV_F32 0xee800a00231#define VDUP 0xee800b10232#define VDUP_s 0xffb00c00233#define VEOR 0xff000110234#define VLD1 0xf9200000235#define VLD1_r 0xf9a00c00236#define VLD1_s 0xf9a00000237#define VLDR_F32 0xed100a00238#define VMOV_F32 0xeeb00a40239#define VMOV 0xee000a10240#define VMOV2 0xec400a10241#define VMOV_i 0xef800010242#define VMOV_s 0xee000b10243#define VMOVN 0xffb20200244#define VMRS 0xeef1fa10245#define VMUL_F32 0xee200a00246#define VNEG_F32 0xeeb10a40247#define VORR 0xef200110248#define VPOP 0xecbd0b00249#define VPUSH 0xed2d0b00250#define VSHLL 0xef800a10251#define VSHR 0xef800010252#define VSRA 0xef800110253#define VST1 0xf9000000254#define VST1_s 0xf9800000255#define VSTR_F32 0xed000a00256#define VSUB_F32 0xee300a40257#define VTBL 0xffb00800258259#if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)260261static sljit_s32 function_check_is_freg(struct sljit_compiler *compiler, sljit_s32 fr, sljit_s32 is_32)262{263if (compiler->scratches == -1)264return 0;265266if (is_32 && fr >= SLJIT_F64_SECOND(SLJIT_FR0))267fr -= SLJIT_F64_SECOND(0);268269return (fr >= SLJIT_FR0 && fr < (SLJIT_FR0 + compiler->real_fscratches))270|| (fr > (SLJIT_FS0 - compiler->real_fsaveds) && fr <= SLJIT_FS0)271|| (fr >= SLJIT_TMP_FREGISTER_BASE && fr < (SLJIT_TMP_FREGISTER_BASE + SLJIT_NUMBER_OF_TEMPORARY_FLOAT_REGISTERS));272}273274static sljit_s32 function_check_is_vreg(struct sljit_compiler *compiler, sljit_s32 vr, sljit_s32 type)275{276sljit_s32 vr_low = vr;277278if (compiler->scratches == -1)279return 0;280281if (SLJIT_SIMD_GET_REG_SIZE(type) == 4) {282vr += (vr & 0x1);283vr_low = vr - 1;284}285286return (vr >= SLJIT_VR0 && vr < (SLJIT_VR0 + compiler->vscratches))287|| (vr_low > (SLJIT_VS0 - compiler->vsaveds) && vr_low <= SLJIT_VS0)288|| (vr >= SLJIT_TMP_VREGISTER_BASE && vr < (SLJIT_TMP_VREGISTER_BASE + SLJIT_NUMBER_OF_TEMPORARY_VECTOR_REGISTERS));289}290291#endif /* SLJIT_ARGUMENT_CHECKS */292293static sljit_s32 push_inst16(struct sljit_compiler *compiler, sljit_ins inst)294{295sljit_u16 *ptr;296SLJIT_ASSERT(!(inst & 0xffff0000));297298ptr = (sljit_u16*)ensure_buf(compiler, sizeof(sljit_u16));299FAIL_IF(!ptr);300*ptr = (sljit_u16)(inst);301compiler->size++;302return SLJIT_SUCCESS;303}304305static sljit_s32 push_inst32(struct sljit_compiler *compiler, sljit_ins inst)306{307sljit_u16 *ptr = (sljit_u16*)ensure_buf(compiler, sizeof(sljit_ins));308FAIL_IF(!ptr);309*ptr++ = (sljit_u16)(inst >> 16);310*ptr = (sljit_u16)(inst);311compiler->size += 2;312return SLJIT_SUCCESS;313}314315static sljit_s32 emit_imm32_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)316{317FAIL_IF(push_inst32(compiler, MOVW | RD4(dst)318| COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));319return push_inst32(compiler, MOVT | RD4(dst)320| COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));321}322323/* Dst must be in bits[11-8] */324static void set_imm32_const(sljit_u16 *inst, sljit_ins dst, sljit_uw new_imm)325{326inst[0] = (sljit_u16)((MOVW >> 16) | COPY_BITS(new_imm, 12, 0, 4) | COPY_BITS(new_imm, 11, 10, 1));327inst[1] = (sljit_u16)(dst | COPY_BITS(new_imm, 8, 12, 3) | (new_imm & 0xff));328inst[2] = (sljit_u16)((MOVT >> 16) | COPY_BITS(new_imm, 12 + 16, 0, 4) | COPY_BITS(new_imm, 11 + 16, 10, 1));329inst[3] = (sljit_u16)(dst | COPY_BITS(new_imm, 8 + 16, 12, 3) | ((new_imm & 0xff0000) >> 16));330}331332static SLJIT_INLINE void modify_imm32_const(sljit_u16 *inst, sljit_uw new_imm)333{334sljit_ins dst = inst[1] & 0x0f00;335SLJIT_ASSERT(((inst[0] & 0xfbf0) == (MOVW >> 16)) && ((inst[2] & 0xfbf0) == (MOVT >> 16)) && dst == (inst[3] & 0x0f00));336set_imm32_const(inst, dst, new_imm);337}338339static SLJIT_INLINE sljit_u16* detect_jump_type(struct sljit_jump *jump, sljit_u16 *code_ptr, sljit_u16 *code, sljit_sw executable_offset)340{341sljit_sw diff;342sljit_uw target_addr;343sljit_uw jump_addr = (sljit_uw)code_ptr;344sljit_uw orig_addr = jump->addr;345SLJIT_UNUSED_ARG(executable_offset);346347jump->addr = jump_addr;348if (jump->flags & SLJIT_REWRITABLE_JUMP)349goto exit;350351if (jump->flags & JUMP_ADDR) {352/* Branch to ARM code is not optimized yet. */353if (!(jump->u.target & 0x1))354goto exit;355target_addr = jump->u.target;356} else {357SLJIT_ASSERT(jump->u.label != NULL);358target_addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);359360if (jump->u.label->size > orig_addr)361jump_addr = (sljit_uw)(code + orig_addr);362}363364diff = (sljit_sw)target_addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr + 4, executable_offset);365366if (jump->flags & IS_COND) {367SLJIT_ASSERT(!(jump->flags & IS_BL));368/* Size of the prefix IT instruction. */369diff += SSIZE_OF(u16);370if (diff <= 0xff && diff >= -0x100) {371jump->flags |= PATCH_TYPE1;372jump->addr = (sljit_uw)(code_ptr - 1);373return code_ptr - 1;374}375if (diff <= 0xfffff && diff >= -0x100000) {376jump->flags |= PATCH_TYPE2;377jump->addr = (sljit_uw)(code_ptr - 1);378return code_ptr;379}380diff -= SSIZE_OF(u16);381} else if (jump->flags & IS_BL) {382/* Branch and link. */383if (diff <= 0xffffff && diff >= -0x1000000) {384jump->flags |= PATCH_TYPE5;385return code_ptr + 1;386}387goto exit;388} else if (diff <= 0x7ff && diff >= -0x800) {389jump->flags |= PATCH_TYPE3;390return code_ptr;391}392393if (diff <= 0xffffff && diff >= -0x1000000) {394jump->flags |= PATCH_TYPE4;395return code_ptr + 1;396}397398exit:399code_ptr[4] = code_ptr[0];400401if (jump->flags & IS_COND) {402code_ptr[3] = code_ptr[-1];403jump->addr = (sljit_uw)(code_ptr - 1);404}405406return code_ptr + 4;407}408409static SLJIT_INLINE sljit_sw mov_addr_get_length(struct sljit_jump *jump, sljit_u16 *code_ptr, sljit_u16 *code, sljit_sw executable_offset)410{411sljit_uw addr;412sljit_uw jump_addr = (sljit_uw)code_ptr;413sljit_sw diff;414SLJIT_UNUSED_ARG(executable_offset);415416if (jump->flags & JUMP_ADDR)417addr = jump->u.target;418else {419addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);420421if (jump->u.label->size > jump->addr)422jump_addr = (sljit_uw)(code + jump->addr);423}424425/* The pc+4 offset is represented by the 2 * SSIZE_OF(sljit_u16) below. */426diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);427428/* Note: ADR with imm8 does not set the last bit (Thumb2 flag). */429430if (diff <= 0xffd + 2 * SSIZE_OF(u16) && diff >= -0xfff + 2 * SSIZE_OF(u16)) {431jump->flags |= PATCH_TYPE6;432return 1;433}434435return 3;436}437438static SLJIT_INLINE void generate_jump_or_mov_addr(struct sljit_jump *jump, sljit_sw executable_offset)439{440sljit_s32 type = (jump->flags >> 4) & 0xf;441sljit_u16 *jump_inst = (sljit_u16*)jump->addr;442sljit_sw diff;443sljit_ins ins;444445diff = (sljit_sw)((jump->flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr);446447if ((jump->flags & (JUMP_MOV_ADDR | IS_ABS)) == (JUMP_MOV_ADDR | IS_ABS))448diff &= ~(sljit_sw)1;449450if (SLJIT_UNLIKELY(type == 0)) {451ins = (jump->flags & JUMP_MOV_ADDR) ? *jump_inst : RDN3(TMP_REG1);452set_imm32_const((sljit_u16*)jump->addr, ins, (sljit_uw)diff);453return;454}455456if (SLJIT_UNLIKELY(type == 6)) {457SLJIT_ASSERT(jump->flags & JUMP_MOV_ADDR);458diff -= (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_inst + 2, executable_offset) & ~(sljit_sw)0x3;459460SLJIT_ASSERT(diff <= 0xfff && diff >= -0xfff);461462ins = ADDWI >> 16;463if (diff <= 0) {464diff = -diff;465ins = SUBWI >> 16;466}467468jump_inst[1] = (sljit_u16)(jump_inst[0] | COPY_BITS(diff, 8, 12, 3) | (diff & 0xff));469jump_inst[0] = (sljit_u16)(ins | 0xf | COPY_BITS(diff, 11, 10, 1));470return;471}472473SLJIT_ASSERT((diff & 0x1) != 0 && !(jump->flags & JUMP_MOV_ADDR));474diff = (diff - (sljit_sw)(jump->addr + sizeof(sljit_u32)) - executable_offset) >> 1;475476switch (type) {477case 1:478/* Encoding T1 of 'B' instruction */479SLJIT_ASSERT(diff <= 0x7f && diff >= -0x80 && (jump->flags & IS_COND));480jump_inst[0] = (sljit_u16)(0xd000 | (jump->flags & 0xf00) | ((sljit_ins)diff & 0xff));481return;482case 2:483/* Encoding T3 of 'B' instruction */484SLJIT_ASSERT(diff <= 0x7ffff && diff >= -0x80000 && (jump->flags & IS_COND));485jump_inst[0] = (sljit_u16)(0xf000 | COPY_BITS(jump->flags, 8, 6, 4) | COPY_BITS(diff, 11, 0, 6) | COPY_BITS(diff, 19, 10, 1));486jump_inst[1] = (sljit_u16)(0x8000 | COPY_BITS(diff, 17, 13, 1) | COPY_BITS(diff, 18, 11, 1) | ((sljit_ins)diff & 0x7ff));487return;488case 3:489/* Encoding T2 of 'B' instruction */490SLJIT_ASSERT(diff <= 0x3ff && diff >= -0x400 && !(jump->flags & IS_COND));491jump_inst[0] = (sljit_u16)(0xe000 | (diff & 0x7ff));492return;493}494495SLJIT_ASSERT(diff <= 0x7fffff && diff >= -0x800000);496497/* Really complex instruction form for branches. Negate with sign bit. */498diff ^= ((diff >> 2) & 0x600000) ^ 0x600000;499500jump_inst[0] = (sljit_u16)(0xf000 | COPY_BITS(diff, 11, 0, 10) | COPY_BITS(diff, 23, 10, 1));501jump_inst[1] = (sljit_u16)((diff & 0x7ff) | COPY_BITS(diff, 22, 13, 1) | COPY_BITS(diff, 21, 11, 1));502503SLJIT_ASSERT(type == 4 || type == 5);504505/* The others have a common form. */506if (type == 4) /* Encoding T4 of 'B' instruction */507jump_inst[1] |= 0x9000;508else /* Encoding T1 of 'BL' instruction */509jump_inst[1] |= 0xd000;510}511512static SLJIT_INLINE sljit_u16 *process_extended_label(sljit_u16 *code_ptr, struct sljit_extended_label *ext_label)513{514SLJIT_ASSERT(ext_label->label.u.index == SLJIT_LABEL_ALIGNED);515return (sljit_u16*)((sljit_uw)code_ptr & ~(ext_label->data));516}517518static void reduce_code_size(struct sljit_compiler *compiler)519{520struct sljit_label *label;521struct sljit_jump *jump;522struct sljit_const *const_;523SLJIT_NEXT_DEFINE_TYPES;524sljit_uw total_size;525sljit_uw size_reduce = 0;526sljit_sw diff;527528label = compiler->labels;529jump = compiler->jumps;530const_ = compiler->consts;531SLJIT_NEXT_INIT_TYPES();532533while (1) {534SLJIT_GET_NEXT_MIN();535536if (next_min_addr == SLJIT_MAX_ADDRESS)537break;538539if (next_min_addr == next_label_size) {540label->size -= size_reduce;541542label = label->next;543next_label_size = SLJIT_GET_NEXT_SIZE(label);544}545546if (next_min_addr == next_const_addr) {547const_->addr -= size_reduce;548const_ = const_->next;549next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);550continue;551}552553if (next_min_addr != next_jump_addr)554continue;555556jump->addr -= size_reduce;557if (!(jump->flags & JUMP_MOV_ADDR)) {558total_size = JUMP_MAX_SIZE;559560if (!(jump->flags & (SLJIT_REWRITABLE_JUMP | JUMP_ADDR))) {561/* Unit size: instruction. */562diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr - 2;563if (jump->u.label->size > jump->addr) {564SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);565diff -= (sljit_sw)size_reduce;566}567568if (jump->flags & IS_COND) {569diff++;570571if (diff <= (0xff / SSIZE_OF(u16)) && diff >= (-0x100 / SSIZE_OF(u16)))572total_size = 0;573else if (diff <= (0xfffff / SSIZE_OF(u16)) && diff >= (-0x100000 / SSIZE_OF(u16)))574total_size = 1;575diff--;576} else if (!(jump->flags & IS_BL) && diff <= (0x7ff / SSIZE_OF(u16)) && diff >= (-0x800 / SSIZE_OF(u16)))577total_size = 1;578579if (total_size == JUMP_MAX_SIZE && diff <= (0xffffff / SSIZE_OF(u16)) && diff >= (-0x1000000 / SSIZE_OF(u16)))580total_size = 2;581}582583size_reduce += JUMP_MAX_SIZE - total_size;584} else {585/* Real size minus 1. Unit size: instruction. */586total_size = 3;587588if (!(jump->flags & JUMP_ADDR)) {589diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;590if (jump->u.label->size > jump->addr) {591SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);592diff -= (sljit_sw)size_reduce;593}594595if (diff <= (0xffd / SSIZE_OF(u16)) && diff >= (-0xfff / SSIZE_OF(u16)))596total_size = 1;597}598599size_reduce += 3 - total_size;600}601602jump->flags |= total_size << JUMP_SIZE_SHIFT;603jump = jump->next;604next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);605}606607compiler->size -= size_reduce;608}609610SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler, sljit_s32 options, void *exec_allocator_data)611{612struct sljit_memory_fragment *buf;613sljit_u16 *code;614sljit_u16 *code_ptr;615sljit_u16 *buf_ptr;616sljit_u16 *buf_end;617sljit_uw half_count;618SLJIT_NEXT_DEFINE_TYPES;619sljit_sw addr;620sljit_sw executable_offset;621622struct sljit_label *label;623struct sljit_jump *jump;624struct sljit_const *const_;625626CHECK_ERROR_PTR();627CHECK_PTR(check_sljit_generate_code(compiler, options));628629reduce_code_size(compiler);630631code = (sljit_u16*)allocate_executable_memory(compiler->size * sizeof(sljit_u16), options, exec_allocator_data, &executable_offset);632PTR_FAIL_WITH_EXEC_IF(code);633634reverse_buf(compiler);635buf = compiler->buf;636637code_ptr = code;638half_count = 0;639label = compiler->labels;640jump = compiler->jumps;641const_ = compiler->consts;642SLJIT_NEXT_INIT_TYPES();643SLJIT_GET_NEXT_MIN();644645do {646buf_ptr = (sljit_u16*)buf->memory;647buf_end = buf_ptr + (buf->used_size >> 1);648do {649*code_ptr = *buf_ptr++;650if (next_min_addr == half_count) {651SLJIT_ASSERT(!label || label->size >= half_count);652SLJIT_ASSERT(!jump || jump->addr >= half_count);653SLJIT_ASSERT(!const_ || const_->addr >= half_count);654655/* These structures are ordered by their address. */656if (next_min_addr == next_label_size) {657if (label->u.index >= SLJIT_LABEL_ALIGNED) {658code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);659*code_ptr = buf_ptr[-1];660}661662label->u.addr = ((sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset)) | 0x1;663label->size = (sljit_uw)(code_ptr - code);664label = label->next;665next_label_size = SLJIT_GET_NEXT_SIZE(label);666}667668if (next_min_addr == next_jump_addr) {669if (!(jump->flags & JUMP_MOV_ADDR)) {670half_count = half_count - 1 + (jump->flags >> JUMP_SIZE_SHIFT);671code_ptr = detect_jump_type(jump, code_ptr, code, executable_offset);672SLJIT_ASSERT((sljit_uw)code_ptr - jump->addr <673((jump->flags >> JUMP_SIZE_SHIFT) + ((jump->flags & 0xf0) <= PATCH_TYPE2)) * sizeof(sljit_u16));674} else {675half_count += jump->flags >> JUMP_SIZE_SHIFT;676addr = (sljit_sw)code_ptr;677code_ptr += mov_addr_get_length(jump, code_ptr, code, executable_offset);678jump->addr = (sljit_uw)addr;679}680681jump = jump->next;682next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);683} else if (next_min_addr == next_const_addr) {684const_->addr = (sljit_uw)code_ptr;685const_ = const_->next;686next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);687}688689SLJIT_GET_NEXT_MIN();690}691code_ptr++;692half_count++;693} while (buf_ptr < buf_end);694695buf = buf->next;696} while (buf);697698if (label && label->size == half_count) {699if (label->u.index >= SLJIT_LABEL_ALIGNED)700code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);701702label->u.addr = ((sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset)) | 0x1;703label->size = (sljit_uw)(code_ptr - code);704label = label->next;705}706707SLJIT_ASSERT(!label);708SLJIT_ASSERT(!jump);709SLJIT_ASSERT(!const_);710SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);711712jump = compiler->jumps;713while (jump) {714generate_jump_or_mov_addr(jump, executable_offset);715jump = jump->next;716}717718compiler->error = SLJIT_ERR_COMPILED;719compiler->executable_offset = executable_offset;720compiler->executable_size = (sljit_uw)(code_ptr - code) * sizeof(sljit_u16);721722code = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);723code_ptr = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);724725SLJIT_CACHE_FLUSH(code, code_ptr);726SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);727728/* Set thumb mode flag. */729return (void*)((sljit_uw)code | 0x1);730}731732SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)733{734switch (feature_type) {735case SLJIT_HAS_FPU:736case SLJIT_HAS_F64_AS_F32_PAIR:737case SLJIT_HAS_SIMD:738#ifdef SLJIT_IS_FPU_AVAILABLE739return (SLJIT_IS_FPU_AVAILABLE) != 0;740#else741/* Available by default. */742return 1;743#endif744745case SLJIT_SIMD_REGS_ARE_PAIRS:746case SLJIT_HAS_CLZ:747case SLJIT_HAS_CTZ:748case SLJIT_HAS_REV:749case SLJIT_HAS_ROT:750case SLJIT_HAS_CMOV:751case SLJIT_HAS_PREFETCH:752case SLJIT_HAS_COPY_F32:753case SLJIT_HAS_COPY_F64:754case SLJIT_HAS_ATOMIC:755case SLJIT_HAS_MEMORY_BARRIER:756return 1;757758default:759return 0;760}761}762763/* --------------------------------------------------------------------- */764/* Core code generator functions. */765/* --------------------------------------------------------------------- */766767#define INVALID_IMM 0x80000000768static sljit_uw get_imm(sljit_uw imm)769{770/* Thumb immediate form. */771sljit_s32 counter;772773if (imm <= 0xff)774return imm;775776if ((imm & 0xffff) == (imm >> 16)) {777/* Some special cases. */778if (!(imm & 0xff00))779return (1 << 12) | (imm & 0xff);780if (!(imm & 0xff))781return (2 << 12) | ((imm >> 8) & 0xff);782if ((imm & 0xff00) == ((imm & 0xff) << 8))783return (3 << 12) | (imm & 0xff);784}785786/* Assembly optimization: count leading zeroes? */787counter = 8;788if (!(imm & 0xffff0000)) {789counter += 16;790imm <<= 16;791}792if (!(imm & 0xff000000)) {793counter += 8;794imm <<= 8;795}796if (!(imm & 0xf0000000)) {797counter += 4;798imm <<= 4;799}800if (!(imm & 0xc0000000)) {801counter += 2;802imm <<= 2;803}804if (!(imm & 0x80000000)) {805counter += 1;806imm <<= 1;807}808/* Since imm >= 128, this must be true. */809SLJIT_ASSERT(counter <= 31);810811if (imm & 0x00ffffff)812return INVALID_IMM; /* Cannot be encoded. */813814return ((imm >> 24) & 0x7f) | COPY_BITS(counter, 4, 26, 1) | COPY_BITS(counter, 1, 12, 3) | COPY_BITS(counter, 0, 7, 1);815}816817static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst, sljit_uw imm)818{819sljit_uw tmp;820821/* MOVS cannot be used since it destroy flags. */822823if (imm >= 0x10000) {824tmp = get_imm(imm);825if (tmp != INVALID_IMM)826return push_inst32(compiler, MOV_WI | RD4(dst) | tmp);827tmp = get_imm(~imm);828if (tmp != INVALID_IMM)829return push_inst32(compiler, MVN_WI | RD4(dst) | tmp);830}831832/* set low 16 bits, set hi 16 bits to 0. */833FAIL_IF(push_inst32(compiler, MOVW | RD4(dst)834| COPY_BITS(imm, 12, 16, 4) | COPY_BITS(imm, 11, 26, 1) | COPY_BITS(imm, 8, 12, 3) | (imm & 0xff)));835836/* set hi 16 bit if needed. */837if (imm >= 0x10000)838return push_inst32(compiler, MOVT | RD4(dst)839| COPY_BITS(imm, 12 + 16, 16, 4) | COPY_BITS(imm, 11 + 16, 26, 1) | COPY_BITS(imm, 8 + 16, 12, 3) | ((imm & 0xff0000) >> 16));840return SLJIT_SUCCESS;841}842843#define ARG1_IMM 0x0010000844#define ARG2_IMM 0x0020000845/* SET_FLAGS must be 0x100000 as it is also the value of S bit (can be used for optimization). */846#define SET_FLAGS 0x0100000847#define UNUSED_RETURN 0x0200000848#define REGISTER_OP 0x0400000849850static sljit_s32 emit_op_imm(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 dst, sljit_uw arg1, sljit_uw arg2)851{852/* dst must be register853arg1 must be register, imm854arg2 must be register, imm */855sljit_s32 reg;856sljit_uw imm, imm2;857858if (SLJIT_UNLIKELY((flags & (ARG1_IMM | ARG2_IMM)) == (ARG1_IMM | ARG2_IMM))) {859/* Both are immediates, no temporaries are used. */860flags &= ~ARG1_IMM;861FAIL_IF(load_immediate(compiler, TMP_REG1, arg1));862arg1 = TMP_REG1;863}864865if (flags & (ARG1_IMM | ARG2_IMM)) {866reg = (sljit_s32)((flags & ARG2_IMM) ? arg1 : arg2);867imm = (flags & ARG2_IMM) ? arg2 : arg1;868869switch (flags & 0xffff) {870case SLJIT_CLZ:871case SLJIT_CTZ:872case SLJIT_REV:873case SLJIT_REV_U16:874case SLJIT_REV_S16:875case SLJIT_REV_U32:876case SLJIT_REV_S32:877case SLJIT_MUL:878case SLJIT_MULADD:879/* No form with immediate operand. */880break;881case SLJIT_MOV:882SLJIT_ASSERT(!(flags & SET_FLAGS) && (flags & ARG2_IMM) && arg1 == TMP_REG2);883return load_immediate(compiler, dst, imm);884case SLJIT_ADD:885compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;886imm2 = NEGATE(imm);887if (IS_2_LO_REGS(reg, dst)) {888if (imm <= 0x7)889return push_inst16(compiler, ADDSI3 | IMM3(imm) | RD3(dst) | RN3(reg));890if (imm2 <= 0x7)891return push_inst16(compiler, SUBSI3 | IMM3(imm2) | RD3(dst) | RN3(reg));892if (reg == dst) {893if (imm <= 0xff)894return push_inst16(compiler, ADDSI8 | IMM8(imm) | RDN3(dst));895if (imm2 <= 0xff)896return push_inst16(compiler, SUBSI8 | IMM8(imm2) | RDN3(dst));897}898}899if (!(flags & SET_FLAGS)) {900if (imm <= 0xfff)901return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(imm));902if (imm2 <= 0xfff)903return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(imm2));904}905imm2 = get_imm(imm);906if (imm2 != INVALID_IMM)907return push_inst32(compiler, ADD_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);908imm = get_imm(NEGATE(imm));909if (imm != INVALID_IMM)910return push_inst32(compiler, SUB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);911break;912case SLJIT_ADDC:913compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;914imm2 = get_imm(imm);915if (imm2 != INVALID_IMM)916return push_inst32(compiler, ADCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);917if (flags & ARG2_IMM) {918imm = get_imm(~imm);919if (imm != INVALID_IMM)920return push_inst32(compiler, SBCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);921}922break;923case SLJIT_SUB:924compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;925if (flags & ARG1_IMM) {926if (imm == 0 && IS_2_LO_REGS(reg, dst))927return push_inst16(compiler, RSBSI | RD3(dst) | RN3(reg));928imm = get_imm(imm);929if (imm != INVALID_IMM)930return push_inst32(compiler, RSB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);931break;932}933if (flags & UNUSED_RETURN) {934if (imm <= 0xff && reg_map[reg] <= 7)935return push_inst16(compiler, CMPI | IMM8(imm) | RDN3(reg));936imm2 = get_imm(imm);937if (imm2 != INVALID_IMM)938return push_inst32(compiler, CMPI_W | RN4(reg) | imm2);939imm = get_imm(NEGATE(imm));940if (imm != INVALID_IMM)941return push_inst32(compiler, CMNI_W | RN4(reg) | imm);942break;943}944imm2 = NEGATE(imm);945if (IS_2_LO_REGS(reg, dst)) {946if (imm <= 0x7)947return push_inst16(compiler, SUBSI3 | IMM3(imm) | RD3(dst) | RN3(reg));948if (imm2 <= 0x7)949return push_inst16(compiler, ADDSI3 | IMM3(imm2) | RD3(dst) | RN3(reg));950if (reg == dst) {951if (imm <= 0xff)952return push_inst16(compiler, SUBSI8 | IMM8(imm) | RDN3(dst));953if (imm2 <= 0xff)954return push_inst16(compiler, ADDSI8 | IMM8(imm2) | RDN3(dst));955}956}957if (!(flags & SET_FLAGS)) {958if (imm <= 0xfff)959return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(imm));960if (imm2 <= 0xfff)961return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(imm2));962}963imm2 = get_imm(imm);964if (imm2 != INVALID_IMM)965return push_inst32(compiler, SUB_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);966imm = get_imm(NEGATE(imm));967if (imm != INVALID_IMM)968return push_inst32(compiler, ADD_WI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);969break;970case SLJIT_SUBC:971compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;972if (flags & ARG1_IMM)973break;974imm2 = get_imm(imm);975if (imm2 != INVALID_IMM)976return push_inst32(compiler, SBCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);977imm = get_imm(~imm);978if (imm != INVALID_IMM)979return push_inst32(compiler, ADCI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);980break;981case SLJIT_AND:982imm2 = get_imm(imm);983if (imm2 != INVALID_IMM)984return push_inst32(compiler, ((flags & UNUSED_RETURN) ? TSTI : ANDI) | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);985imm = get_imm(~imm);986if (imm != INVALID_IMM)987return push_inst32(compiler, BICI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);988break;989case SLJIT_OR:990imm2 = get_imm(imm);991if (imm2 != INVALID_IMM)992return push_inst32(compiler, ORRI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm2);993imm = get_imm(~imm);994if (imm != INVALID_IMM)995return push_inst32(compiler, ORNI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);996break;997case SLJIT_XOR:998if (imm == (sljit_uw)-1) {999if (IS_2_LO_REGS(dst, reg))1000return push_inst16(compiler, MVNS | RD3(dst) | RN3(reg));1001return push_inst32(compiler, MVN_W | (flags & SET_FLAGS) | RD4(dst) | RM4(reg));1002}1003imm = get_imm(imm);1004if (imm != INVALID_IMM)1005return push_inst32(compiler, EORI | (flags & SET_FLAGS) | RD4(dst) | RN4(reg) | imm);1006break;1007case SLJIT_SHL:1008case SLJIT_MSHL:1009case SLJIT_LSHR:1010case SLJIT_MLSHR:1011case SLJIT_ASHR:1012case SLJIT_MASHR:1013case SLJIT_ROTL:1014case SLJIT_ROTR:1015if (flags & ARG1_IMM)1016break;1017imm &= 0x1f;10181019if (imm == 0) {1020if (!(flags & SET_FLAGS))1021return push_inst16(compiler, MOV | SET_REGS44(dst, reg));1022if (IS_2_LO_REGS(dst, reg))1023return push_inst16(compiler, MOVS | RD3(dst) | RN3(reg));1024return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(dst) | RM4(reg));1025}10261027switch (flags & 0xffff) {1028case SLJIT_SHL:1029case SLJIT_MSHL:1030if (IS_2_LO_REGS(dst, reg))1031return push_inst16(compiler, LSLSI | RD3(dst) | RN3(reg) | (imm << 6));1032return push_inst32(compiler, LSL_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));1033case SLJIT_LSHR:1034case SLJIT_MLSHR:1035if (IS_2_LO_REGS(dst, reg))1036return push_inst16(compiler, LSRSI | RD3(dst) | RN3(reg) | (imm << 6));1037return push_inst32(compiler, LSR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));1038case SLJIT_ASHR:1039case SLJIT_MASHR:1040if (IS_2_LO_REGS(dst, reg))1041return push_inst16(compiler, ASRSI | RD3(dst) | RN3(reg) | (imm << 6));1042return push_inst32(compiler, ASR_WI | (flags & SET_FLAGS) | RD4(dst) | RM4(reg) | IMM5(imm));1043case SLJIT_ROTL:1044imm = (imm ^ 0x1f) + 1;1045SLJIT_FALLTHROUGH1046default: /* SLJIT_ROTR */1047return push_inst32(compiler, ROR_WI | RD4(dst) | RM4(reg) | IMM5(imm));1048}1049default:1050SLJIT_UNREACHABLE();1051break;1052}10531054if (flags & ARG2_IMM) {1055imm = arg2;1056arg2 = (arg1 == TMP_REG1) ? TMP_REG2 : TMP_REG1;1057FAIL_IF(load_immediate(compiler, (sljit_s32)arg2, imm));1058} else {1059imm = arg1;1060arg1 = (arg2 == TMP_REG1) ? TMP_REG2 : TMP_REG1;1061FAIL_IF(load_immediate(compiler, (sljit_s32)arg1, imm));1062}10631064SLJIT_ASSERT(arg1 != arg2);1065}10661067/* Both arguments are registers. */1068switch (flags & 0xffff) {1069case SLJIT_MOV:1070case SLJIT_MOV_U32:1071case SLJIT_MOV_S32:1072case SLJIT_MOV32:1073case SLJIT_MOV_P:1074SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);1075if (dst == (sljit_s32)arg2)1076return SLJIT_SUCCESS;1077return push_inst16(compiler, MOV | SET_REGS44(dst, arg2));1078case SLJIT_MOV_U8:1079SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);1080if (IS_2_LO_REGS(dst, arg2))1081return push_inst16(compiler, UXTB | RD3(dst) | RN3(arg2));1082return push_inst32(compiler, UXTB_W | RD4(dst) | RM4(arg2));1083case SLJIT_MOV_S8:1084SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);1085if (IS_2_LO_REGS(dst, arg2))1086return push_inst16(compiler, SXTB | RD3(dst) | RN3(arg2));1087return push_inst32(compiler, SXTB_W | RD4(dst) | RM4(arg2));1088case SLJIT_MOV_U16:1089SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);1090if (IS_2_LO_REGS(dst, arg2))1091return push_inst16(compiler, UXTH | RD3(dst) | RN3(arg2));1092return push_inst32(compiler, UXTH_W | RD4(dst) | RM4(arg2));1093case SLJIT_MOV_S16:1094SLJIT_ASSERT(!(flags & SET_FLAGS) && arg1 == TMP_REG2);1095if (IS_2_LO_REGS(dst, arg2))1096return push_inst16(compiler, SXTH | RD3(dst) | RN3(arg2));1097return push_inst32(compiler, SXTH_W | RD4(dst) | RM4(arg2));1098case SLJIT_CLZ:1099SLJIT_ASSERT(arg1 == TMP_REG2);1100return push_inst32(compiler, CLZ | RN4(arg2) | RD4(dst) | RM4(arg2));1101case SLJIT_CTZ:1102SLJIT_ASSERT(arg1 == TMP_REG2);1103FAIL_IF(push_inst32(compiler, RBIT | RN4(arg2) | RD4(dst) | RM4(arg2)));1104return push_inst32(compiler, CLZ | RN4(dst) | RD4(dst) | RM4(dst));1105case SLJIT_REV:1106case SLJIT_REV_U32:1107case SLJIT_REV_S32:1108SLJIT_ASSERT(arg1 == TMP_REG2);1109if (IS_2_LO_REGS(dst, arg2))1110return push_inst16(compiler, REV | RD3(dst) | RN3(arg2));1111return push_inst32(compiler, REV_W | RN4(arg2) | RD4(dst) | RM4(arg2));1112case SLJIT_REV_U16:1113case SLJIT_REV_S16:1114SLJIT_ASSERT(arg1 == TMP_REG2);11151116if (IS_2_LO_REGS(dst, arg2))1117FAIL_IF(push_inst16(compiler, REV16 | RD3(dst) | RN3(arg2)));1118else1119FAIL_IF(push_inst32(compiler, REV16_W | RN4(arg2) | RD4(dst) | RM4(arg2)));11201121if (!(flags & REGISTER_OP))1122return SLJIT_SUCCESS;11231124flags &= 0xffff;1125if (reg_map[dst] <= 7)1126return push_inst16(compiler, (flags == SLJIT_REV_U16 ? UXTH : SXTH) | RD3(dst) | RN3(dst));1127return push_inst32(compiler, (flags == SLJIT_REV_U16 ? UXTH_W : SXTH_W) | RD4(dst) | RM4(dst));1128case SLJIT_ADD:1129compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1130if (IS_3_LO_REGS(dst, arg1, arg2))1131return push_inst16(compiler, ADDS | RD3(dst) | RN3(arg1) | RM3(arg2));1132if (dst == (sljit_s32)arg1 && !(flags & SET_FLAGS))1133return push_inst16(compiler, ADD | SET_REGS44(dst, arg2));1134return push_inst32(compiler, ADD_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1135case SLJIT_ADDC:1136compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;1137if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1138return push_inst16(compiler, ADCS | RD3(dst) | RN3(arg2));1139return push_inst32(compiler, ADC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1140case SLJIT_SUB:1141compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1142if (flags & UNUSED_RETURN) {1143if (IS_2_LO_REGS(arg1, arg2))1144return push_inst16(compiler, CMP | RD3(arg1) | RN3(arg2));1145return push_inst16(compiler, CMP_X | SET_REGS44(arg1, arg2));1146}1147if (IS_3_LO_REGS(dst, arg1, arg2))1148return push_inst16(compiler, SUBS | RD3(dst) | RN3(arg1) | RM3(arg2));1149return push_inst32(compiler, SUB_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1150case SLJIT_SUBC:1151compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;1152if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1153return push_inst16(compiler, SBCS | RD3(dst) | RN3(arg2));1154return push_inst32(compiler, SBC_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1155case SLJIT_MUL:1156compiler->status_flags_state = 0;1157if (!(flags & SET_FLAGS))1158return push_inst32(compiler, MUL | RD4(dst) | RN4(arg1) | RM4(arg2));1159reg = (dst == TMP_REG2) ? TMP_REG1 : TMP_REG2;1160FAIL_IF(push_inst32(compiler, SMULL | RT4(dst) | RD4(reg) | RN4(arg1) | RM4(arg2)));1161/* cmp TMP_REG2, dst asr #31. */1162return push_inst32(compiler, CMP_W | RN4(reg) | 0x70e0 | RM4(dst));1163case SLJIT_AND:1164if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1165return push_inst16(compiler, ANDS | RD3(dst) | RN3(arg2));1166if ((flags & UNUSED_RETURN) && IS_2_LO_REGS(arg1, arg2))1167return push_inst16(compiler, TST | RD3(arg1) | RN3(arg2));1168return push_inst32(compiler, ((flags & UNUSED_RETURN) ? TST_W : AND_W) | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1169case SLJIT_OR:1170if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1171return push_inst16(compiler, ORRS | RD3(dst) | RN3(arg2));1172return push_inst32(compiler, ORR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1173case SLJIT_XOR:1174if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1175return push_inst16(compiler, EORS | RD3(dst) | RN3(arg2));1176return push_inst32(compiler, EOR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1177case SLJIT_MSHL:1178reg = (arg2 == TMP_REG1) ? TMP_REG1 : TMP_REG2;1179FAIL_IF(push_inst32(compiler, ANDI | RD4(reg) | RN4(arg2) | 0x1f));1180arg2 = (sljit_uw)reg;1181SLJIT_FALLTHROUGH1182case SLJIT_SHL:1183if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1184return push_inst16(compiler, LSLS | RD3(dst) | RN3(arg2));1185return push_inst32(compiler, LSL_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1186case SLJIT_MLSHR:1187reg = (arg2 == TMP_REG1) ? TMP_REG1 : TMP_REG2;1188FAIL_IF(push_inst32(compiler, ANDI | RD4(reg) | RN4(arg2) | 0x1f));1189arg2 = (sljit_uw)reg;1190SLJIT_FALLTHROUGH1191case SLJIT_LSHR:1192if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1193return push_inst16(compiler, LSRS | RD3(dst) | RN3(arg2));1194return push_inst32(compiler, LSR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1195case SLJIT_MASHR:1196reg = (arg2 == TMP_REG1) ? TMP_REG1 : TMP_REG2;1197FAIL_IF(push_inst32(compiler, ANDI | RD4(reg) | RN4(arg2) | 0x1f));1198arg2 = (sljit_uw)reg;1199SLJIT_FALLTHROUGH1200case SLJIT_ASHR:1201if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1202return push_inst16(compiler, ASRS | RD3(dst) | RN3(arg2));1203return push_inst32(compiler, ASR_W | (flags & SET_FLAGS) | RD4(dst) | RN4(arg1) | RM4(arg2));1204case SLJIT_ROTL:1205reg = (arg2 == TMP_REG1) ? TMP_REG1 : TMP_REG2;1206FAIL_IF(push_inst32(compiler, RSB_WI | RD4(reg) | RN4(arg2) | 0));1207arg2 = (sljit_uw)reg;1208SLJIT_FALLTHROUGH1209case SLJIT_ROTR:1210if (dst == (sljit_s32)arg1 && IS_2_LO_REGS(dst, arg2))1211return push_inst16(compiler, RORS | RD3(dst) | RN3(arg2));1212return push_inst32(compiler, ROR_W | RD4(dst) | RN4(arg1) | RM4(arg2));1213case SLJIT_MULADD:1214compiler->status_flags_state = 0;1215return push_inst32(compiler, MLA | RD4(dst) | RN4(arg1) | RM4(arg2) | RT4(dst));1216}12171218SLJIT_UNREACHABLE();1219return SLJIT_SUCCESS;1220}12211222#define STORE 0x011223#define SIGNED 0x0212241225#define WORD_SIZE 0x001226#define BYTE_SIZE 0x041227#define HALF_SIZE 0x081228#define PRELOAD 0x0c12291230#define IS_WORD_SIZE(flags) (!((flags) & (BYTE_SIZE | HALF_SIZE)))1231#define ALIGN_CHECK(argw, imm, shift) (!((argw) & ~((imm) << (shift))))12321233/*12341st letter:1235w = word1236b = byte1237h = half123812392nd letter:1240s = signed1241u = unsigned124212433rd letter:1244l = load1245s = store1246*/12471248static const sljit_ins sljit_mem16[12] = {1249/* w u l */ 0x5800 /* ldr */,1250/* w u s */ 0x5000 /* str */,1251/* w s l */ 0x5800 /* ldr */,1252/* w s s */ 0x5000 /* str */,12531254/* b u l */ 0x5c00 /* ldrb */,1255/* b u s */ 0x5400 /* strb */,1256/* b s l */ 0x5600 /* ldrsb */,1257/* b s s */ 0x5400 /* strb */,12581259/* h u l */ 0x5a00 /* ldrh */,1260/* h u s */ 0x5200 /* strh */,1261/* h s l */ 0x5e00 /* ldrsh */,1262/* h s s */ 0x5200 /* strh */,1263};12641265static const sljit_ins sljit_mem16_imm5[12] = {1266/* w u l */ 0x6800 /* ldr imm5 */,1267/* w u s */ 0x6000 /* str imm5 */,1268/* w s l */ 0x6800 /* ldr imm5 */,1269/* w s s */ 0x6000 /* str imm5 */,12701271/* b u l */ 0x7800 /* ldrb imm5 */,1272/* b u s */ 0x7000 /* strb imm5 */,1273/* b s l */ 0x0000 /* not allowed */,1274/* b s s */ 0x7000 /* strb imm5 */,12751276/* h u l */ 0x8800 /* ldrh imm5 */,1277/* h u s */ 0x8000 /* strh imm5 */,1278/* h s l */ 0x0000 /* not allowed */,1279/* h s s */ 0x8000 /* strh imm5 */,1280};12811282#define MEM_IMM8 0xc001283#define MEM_IMM12 0x8000001284static const sljit_ins sljit_mem32[13] = {1285/* w u l */ 0xf8500000 /* ldr.w */,1286/* w u s */ 0xf8400000 /* str.w */,1287/* w s l */ 0xf8500000 /* ldr.w */,1288/* w s s */ 0xf8400000 /* str.w */,12891290/* b u l */ 0xf8100000 /* ldrb.w */,1291/* b u s */ 0xf8000000 /* strb.w */,1292/* b s l */ 0xf9100000 /* ldrsb.w */,1293/* b s s */ 0xf8000000 /* strb.w */,12941295/* h u l */ 0xf8300000 /* ldrh.w */,1296/* h u s */ 0xf8200000 /* strsh.w */,1297/* h s l */ 0xf9300000 /* ldrsh.w */,1298/* h s s */ 0xf8200000 /* strsh.w */,12991300/* p u l */ 0xf8100000 /* pld */,1301};13021303/* Helper function. Dst should be reg + value, using at most 1 instruction, flags does not set. */1304static sljit_s32 emit_set_delta(struct sljit_compiler *compiler, sljit_s32 dst, sljit_s32 reg, sljit_sw value)1305{1306sljit_uw imm;13071308if (value >= 0) {1309if (value <= 0xfff)1310return push_inst32(compiler, ADDWI | RD4(dst) | RN4(reg) | IMM12(value));1311imm = get_imm((sljit_uw)value);1312if (imm != INVALID_IMM)1313return push_inst32(compiler, ADD_WI | RD4(dst) | RN4(reg) | imm);1314}1315else {1316value = -value;1317if (value <= 0xfff)1318return push_inst32(compiler, SUBWI | RD4(dst) | RN4(reg) | IMM12(value));1319imm = get_imm((sljit_uw)value);1320if (imm != INVALID_IMM)1321return push_inst32(compiler, SUB_WI | RD4(dst) | RN4(reg) | imm);1322}1323return SLJIT_ERR_UNSUPPORTED;1324}13251326static SLJIT_INLINE sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,1327sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)1328{1329sljit_s32 other_r;1330sljit_uw imm, tmp;13311332SLJIT_ASSERT(arg & SLJIT_MEM);1333SLJIT_ASSERT((arg & REG_MASK) != tmp_reg || (arg == SLJIT_MEM1(tmp_reg) && argw >= -0xff && argw <= 0xfff));13341335if (SLJIT_UNLIKELY(!(arg & REG_MASK))) {1336imm = get_imm((sljit_uw)argw & ~(sljit_uw)0xfff);1337if (imm != INVALID_IMM) {1338FAIL_IF(push_inst32(compiler, MOV_WI | RD4(tmp_reg) | imm));1339return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(tmp_reg) | (argw & 0xfff));1340}13411342FAIL_IF(load_immediate(compiler, tmp_reg, (sljit_uw)argw));1343if (IS_2_LO_REGS(reg, tmp_reg) && sljit_mem16_imm5[flags])1344return push_inst16(compiler, sljit_mem16_imm5[flags] | RD3(reg) | RN3(tmp_reg));1345return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(tmp_reg));1346}13471348if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {1349argw &= 0x3;1350other_r = OFFS_REG(arg);1351arg &= REG_MASK;13521353if (!argw && IS_3_LO_REGS(reg, arg, other_r))1354return push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(other_r));1355return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(other_r) | ((sljit_ins)argw << 4));1356}13571358arg &= REG_MASK;13591360if (argw > 0xfff) {1361imm = get_imm((sljit_uw)(argw & ~0xfff));1362if (imm != INVALID_IMM) {1363push_inst32(compiler, ADD_WI | RD4(tmp_reg) | RN4(arg) | imm);1364arg = tmp_reg;1365argw = argw & 0xfff;1366}1367}1368else if (argw < -0xff) {1369tmp = (sljit_uw)((-argw + 0xfff) & ~0xfff);1370SLJIT_ASSERT(tmp >= (sljit_uw)-argw);1371imm = get_imm(tmp);13721373if (imm != INVALID_IMM) {1374push_inst32(compiler, SUB_WI | RD4(tmp_reg) | RN4(arg) | imm);1375arg = tmp_reg;1376argw += (sljit_sw)tmp;13771378SLJIT_ASSERT(argw >= 0 && argw <= 0xfff);1379}1380}13811382/* 16 bit instruction forms. */1383if (IS_2_LO_REGS(reg, arg) && sljit_mem16_imm5[flags]) {1384tmp = 3;1385if (IS_WORD_SIZE(flags)) {1386if (ALIGN_CHECK(argw, 0x1f, 2))1387tmp = 2;1388}1389else if (flags & BYTE_SIZE)1390{1391if (ALIGN_CHECK(argw, 0x1f, 0))1392tmp = 0;1393}1394else {1395SLJIT_ASSERT(flags & HALF_SIZE);1396if (ALIGN_CHECK(argw, 0x1f, 1))1397tmp = 1;1398}13991400if (tmp < 3)1401return push_inst16(compiler, sljit_mem16_imm5[flags] | RD3(reg) | RN3(arg) | ((sljit_ins)argw << (6 - tmp)));1402}1403else if (SLJIT_UNLIKELY(arg == SLJIT_SP) && IS_WORD_SIZE(flags) && ALIGN_CHECK(argw, 0xff, 2) && reg_map[reg] <= 7) {1404/* SP based immediate. */1405return push_inst16(compiler, STR_SP | (sljit_ins)((flags & STORE) ? 0 : 0x800) | RDN3(reg) | ((sljit_ins)argw >> 2));1406}14071408if (argw >= 0 && argw <= 0xfff)1409return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM12 | RT4(reg) | RN4(arg) | (sljit_ins)argw);1410else if (argw < 0 && argw >= -0xff)1411return push_inst32(compiler, sljit_mem32[flags] | MEM_IMM8 | RT4(reg) | RN4(arg) | (sljit_ins)-argw);14121413SLJIT_ASSERT(arg != tmp_reg);14141415FAIL_IF(load_immediate(compiler, tmp_reg, (sljit_uw)argw));1416if (IS_3_LO_REGS(reg, arg, tmp_reg))1417return push_inst16(compiler, sljit_mem16[flags] | RD3(reg) | RN3(arg) | RM3(tmp_reg));1418return push_inst32(compiler, sljit_mem32[flags] | RT4(reg) | RN4(arg) | RM4(tmp_reg));1419}14201421#undef ALIGN_CHECK1422#undef IS_WORD_SIZE14231424/* --------------------------------------------------------------------- */1425/* Entry, exit */1426/* --------------------------------------------------------------------- */14271428SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,1429sljit_s32 options, sljit_s32 arg_types,1430sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1431{1432sljit_s32 fscratches;1433sljit_s32 fsaveds;1434sljit_s32 size, i, tmp, word_arg_count;1435sljit_s32 saved_arg_count = SLJIT_KEPT_SAVEDS_COUNT(options);1436sljit_uw offset;1437sljit_uw imm = 0;1438#ifdef __SOFTFP__1439sljit_u32 float_arg_count;1440#else1441sljit_u32 old_offset, f32_offset;1442sljit_u32 remap[3];1443sljit_u32 *remap_ptr = remap;1444#endif14451446CHECK_ERROR();1447CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, local_size));1448set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);14491450scratches = ENTER_GET_REGS(scratches);1451saveds = ENTER_GET_REGS(saveds);1452fscratches = compiler->fscratches;1453fsaveds = compiler->fsaveds;14541455tmp = SLJIT_S0 - saveds;1456for (i = SLJIT_S0 - saved_arg_count; i > tmp; i--)1457imm |= (sljit_uw)1 << reg_map[i];14581459for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--)1460imm |= (sljit_uw)1 << reg_map[i];14611462/* At least two registers must be set for PUSH_W and one for PUSH instruction. */1463FAIL_IF((imm & 0xff00)1464? push_inst32(compiler, PUSH_W | (1 << 14) | imm)1465: push_inst16(compiler, PUSH | (1 << 8) | imm));14661467/* Stack must be aligned to 8 bytes: (LR, R4) */1468size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - saved_arg_count, 1);14691470if (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {1471if ((size & SSIZE_OF(sw)) != 0) {1472FAIL_IF(push_inst16(compiler, SUB_SP_I | (sizeof(sljit_sw) >> 2)));1473size += SSIZE_OF(sw);1474}14751476if (fsaveds + fscratches >= SLJIT_NUMBER_OF_FLOAT_REGISTERS) {1477FAIL_IF(push_inst32(compiler, VPUSH | VD4(SLJIT_FS0) | ((sljit_uw)SLJIT_NUMBER_OF_SAVED_FLOAT_REGISTERS << 1)));1478} else {1479if (fsaveds > 0)1480FAIL_IF(push_inst32(compiler, VPUSH | VD4(SLJIT_FS0) | ((sljit_uw)fsaveds << 1)));1481if (fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG)1482FAIL_IF(push_inst32(compiler, VPUSH | VD4(fscratches) | ((sljit_uw)(fscratches - (SLJIT_FIRST_SAVED_FLOAT_REG - 1)) << 1)));1483}1484}14851486local_size = ((size + local_size + 0x7) & ~0x7) - size;1487compiler->local_size = local_size;14881489if (options & SLJIT_ENTER_REG_ARG)1490arg_types = 0;14911492arg_types >>= SLJIT_ARG_SHIFT;1493word_arg_count = 0;1494saved_arg_count = 0;1495#ifdef __SOFTFP__1496SLJIT_COMPILE_ASSERT(SLJIT_FR0 == 1, float_register_index_start);14971498offset = 0;1499float_arg_count = 0;15001501while (arg_types) {1502switch (arg_types & SLJIT_ARG_MASK) {1503case SLJIT_ARG_TYPE_F64:1504if (offset & 0x7)1505offset += sizeof(sljit_sw);15061507if (offset < 4 * sizeof(sljit_sw))1508FAIL_IF(push_inst32(compiler, VMOV2 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));1509else1510FAIL_IF(push_inst32(compiler, VLDR_F32 | 0x800100 | RN4(SLJIT_SP)1511| (float_arg_count << 12) | ((offset + (sljit_uw)size - 4 * sizeof(sljit_sw)) >> 2)));1512float_arg_count++;1513offset += sizeof(sljit_f64) - sizeof(sljit_sw);1514break;1515case SLJIT_ARG_TYPE_F32:1516if (offset < 4 * sizeof(sljit_sw))1517FAIL_IF(push_inst32(compiler, VMOV | (float_arg_count << 16) | (offset << 10)));1518else1519FAIL_IF(push_inst32(compiler, VLDR_F32 | 0x800000 | RN4(SLJIT_SP)1520| (float_arg_count << 12) | ((offset + (sljit_uw)size - 4 * sizeof(sljit_sw)) >> 2)));1521float_arg_count++;1522break;1523default:1524word_arg_count++;15251526if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1527tmp = SLJIT_S0 - saved_arg_count;1528saved_arg_count++;1529} else if (word_arg_count - 1 != (sljit_s32)(offset >> 2))1530tmp = word_arg_count;1531else1532break;15331534if (offset < 4 * sizeof(sljit_sw))1535FAIL_IF(push_inst16(compiler, MOV | ((sljit_ins)reg_map[tmp] & 0x7) | (((sljit_ins)reg_map[tmp] & 0x8) << 4) | (offset << 1)));1536else if (reg_map[tmp] <= 7)1537FAIL_IF(push_inst16(compiler, LDR_SP | RDN3(tmp)1538| ((offset + (sljit_uw)size - 4 * sizeof(sljit_sw)) >> 2)));1539else1540FAIL_IF(push_inst32(compiler, LDR | RT4(tmp) | RN4(SLJIT_SP)1541| ((offset + (sljit_uw)size - 4 * sizeof(sljit_sw)))));1542break;1543}15441545offset += sizeof(sljit_sw);1546arg_types >>= SLJIT_ARG_SHIFT;1547}15481549compiler->args_size = offset;1550#else1551offset = SLJIT_FR0;1552old_offset = SLJIT_FR0;1553f32_offset = 0;15541555while (arg_types) {1556switch (arg_types & SLJIT_ARG_MASK) {1557case SLJIT_ARG_TYPE_F64:1558if (offset != old_offset)1559*remap_ptr++ = VMOV_F32 | SLJIT_32 | VD4(offset) | VM4(old_offset);1560old_offset++;1561offset++;1562break;1563case SLJIT_ARG_TYPE_F32:1564if (f32_offset != 0) {1565*remap_ptr++ = VMOV_F32 | 0x20 | VD4(offset) | VM4(f32_offset);1566f32_offset = 0;1567} else {1568if (offset != old_offset)1569*remap_ptr++ = VMOV_F32 | VD4(offset) | VM4(old_offset);1570f32_offset = old_offset;1571old_offset++;1572}1573offset++;1574break;1575default:1576if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1577FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_S0 - saved_arg_count, SLJIT_R0 + word_arg_count)));1578saved_arg_count++;1579}15801581word_arg_count++;1582break;1583}1584arg_types >>= SLJIT_ARG_SHIFT;1585}15861587SLJIT_ASSERT((sljit_uw)(remap_ptr - remap) <= sizeof(remap));15881589while (remap_ptr > remap)1590FAIL_IF(push_inst32(compiler, *(--remap_ptr)));1591#endif15921593#ifdef _WIN321594if (local_size >= 4096) {1595imm = get_imm(4096);1596SLJIT_ASSERT(imm != INVALID_IMM);15971598FAIL_IF(push_inst32(compiler, SUB_WI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | imm));15991600if (local_size < 4 * 4096) {1601if (local_size > 2 * 4096) {1602if (local_size > 3 * 4096) {1603FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG1) | RN4(SLJIT_SP)));1604FAIL_IF(push_inst32(compiler, SUB_WI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | imm));1605}16061607FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG1) | RN4(SLJIT_SP)));1608FAIL_IF(push_inst32(compiler, SUB_WI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | imm));1609}1610} else {1611FAIL_IF(load_immediate(compiler, TMP_REG2, ((sljit_uw)local_size >> 12) - 1));1612FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG1) | RN4(SLJIT_SP)));1613FAIL_IF(push_inst32(compiler, SUB_WI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | imm));1614FAIL_IF(push_inst32(compiler, SUB_WI | SET_FLAGS | RD4(TMP_REG2) | RN4(TMP_REG2) | 1));1615FAIL_IF(push_inst16(compiler, BCC | (0x1 << 8) /* not-equal */ | (-8 & 0xff)));1616}16171618FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG1) | RN4(SLJIT_SP)));1619local_size &= 0xfff;1620}16211622if (local_size >= 256) {1623SLJIT_ASSERT(local_size < 4096);16241625if (local_size <= (127 << 2))1626FAIL_IF(push_inst16(compiler, SUB_SP_I | ((sljit_uw)local_size >> 2)));1627else1628FAIL_IF(emit_op_imm(compiler, SLJIT_SUB | ARG2_IMM, SLJIT_SP, SLJIT_SP, (sljit_uw)local_size));16291630FAIL_IF(push_inst32(compiler, LDRI | 0x400 | RT4(TMP_REG1) | RN4(SLJIT_SP)));1631} else if (local_size > 0)1632FAIL_IF(push_inst32(compiler, LDRI | 0x500 | RT4(TMP_REG1) | RN4(SLJIT_SP) | (sljit_uw)local_size));1633#else /* !_WIN32 */1634if (local_size > 0) {1635if (local_size <= (127 << 2))1636FAIL_IF(push_inst16(compiler, SUB_SP_I | ((sljit_uw)local_size >> 2)));1637else1638FAIL_IF(emit_op_imm(compiler, SLJIT_SUB | ARG2_IMM, SLJIT_SP, SLJIT_SP, (sljit_uw)local_size));1639}1640#endif /* _WIN32 */16411642return SLJIT_SUCCESS;1643}16441645SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,1646sljit_s32 options, sljit_s32 arg_types,1647sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1648{1649sljit_s32 fscratches;1650sljit_s32 fsaveds;1651sljit_s32 size;16521653CHECK_ERROR();1654CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, local_size));1655set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);16561657scratches = ENTER_GET_REGS(scratches);1658saveds = ENTER_GET_REGS(saveds);1659fscratches = compiler->fscratches;1660fsaveds = compiler->fsaveds;1661size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - SLJIT_KEPT_SAVEDS_COUNT(options), 1);16621663/* Doubles are saved, so alignment is unaffected. */1664if ((size & SSIZE_OF(sw)) != 0 && (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG))1665size += SSIZE_OF(sw);16661667compiler->local_size = ((size + local_size + 0x7) & ~0x7) - size;1668return SLJIT_SUCCESS;1669}16701671static sljit_s32 emit_add_sp(struct sljit_compiler *compiler, sljit_uw imm)1672{1673sljit_uw imm2;16741675/* The TMP_REG1 register must keep its value. */1676if (imm <= (127u << 2))1677return push_inst16(compiler, ADD_SP_I | (imm >> 2));16781679if (imm <= 0xfff)1680return push_inst32(compiler, ADDWI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | IMM12(imm));16811682imm2 = get_imm(imm);16831684if (imm2 != INVALID_IMM)1685return push_inst32(compiler, ADD_WI | RD4(SLJIT_SP) | RN4(SLJIT_SP) | imm2);16861687FAIL_IF(load_immediate(compiler, TMP_REG2, imm));1688return push_inst16(compiler, ADD_SP | RN3(TMP_REG2));1689}16901691static sljit_s32 emit_stack_frame_release(struct sljit_compiler *compiler, sljit_s32 frame_size)1692{1693sljit_s32 local_size, fscratches, fsaveds, i, tmp;1694sljit_s32 restored_reg = 0;1695sljit_s32 lr_dst = TMP_PC;1696sljit_uw reg_list = 0;16971698SLJIT_ASSERT(reg_map[TMP_REG2] == 14 && frame_size <= 128);16991700local_size = compiler->local_size;1701fscratches = compiler->fscratches;1702fsaveds = compiler->fsaveds;17031704if (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {1705if (local_size > 0)1706FAIL_IF(emit_add_sp(compiler, (sljit_uw)local_size));17071708if (fsaveds + fscratches >= SLJIT_NUMBER_OF_FLOAT_REGISTERS) {1709FAIL_IF(push_inst32(compiler, VPOP | VD4(SLJIT_FS0) | ((sljit_uw)SLJIT_NUMBER_OF_SAVED_FLOAT_REGISTERS << 1)));1710} else {1711if (fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG)1712FAIL_IF(push_inst32(compiler, VPOP | VD4(fscratches) | ((sljit_uw)(fscratches - (SLJIT_FIRST_SAVED_FLOAT_REG - 1)) << 1)));1713if (fsaveds > 0)1714FAIL_IF(push_inst32(compiler, VPOP | VD4(SLJIT_FS0) | ((sljit_uw)fsaveds << 1)));1715}17161717local_size = GET_SAVED_REGISTERS_SIZE(compiler->scratches, compiler->saveds, 1) & 0x7;1718}17191720if (frame_size < 0) {1721lr_dst = TMP_REG2;1722frame_size = 0;1723} else if (frame_size > 0) {1724SLJIT_ASSERT(frame_size == 1 || (frame_size & 0x7) == 0);1725lr_dst = 0;1726frame_size &= ~0x7;1727}17281729tmp = SLJIT_S0 - compiler->saveds;1730i = SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options);1731if (tmp < i) {1732restored_reg = i;1733do {1734reg_list |= (sljit_uw)1 << reg_map[i];1735} while (--i > tmp);1736}17371738i = compiler->scratches;1739if (i >= SLJIT_FIRST_SAVED_REG) {1740restored_reg = i;1741do {1742reg_list |= (sljit_uw)1 << reg_map[i];1743} while (--i >= SLJIT_FIRST_SAVED_REG);1744}17451746if (lr_dst == TMP_REG2 && reg_list == 0) {1747reg_list |= (sljit_uw)1 << reg_map[TMP_REG2];1748restored_reg = TMP_REG2;1749lr_dst = 0;1750}17511752if (lr_dst == 0 && (reg_list & (reg_list - 1)) == 0) {1753/* The local_size does not include the saved registers. */1754tmp = 0;1755if (reg_list != 0) {1756tmp = 2;1757if (local_size <= 0xfff) {1758if (local_size == 0) {1759SLJIT_ASSERT(restored_reg != TMP_REG2);1760if (frame_size == 0)1761return push_inst32(compiler, LDRI | RT4(restored_reg) | RN4(SLJIT_SP) | 0x308);1762if (frame_size > 2 * SSIZE_OF(sw))1763return push_inst32(compiler, LDRI | RT4(restored_reg) | RN4(SLJIT_SP) | 0x100 | (sljit_ins)(frame_size - (2 * SSIZE_OF(sw))));1764}17651766if (reg_map[restored_reg] <= 7 && local_size <= 0x3fc)1767FAIL_IF(push_inst16(compiler, STR_SP | 0x800 | RDN3(restored_reg) | (sljit_ins)(local_size >> 2)));1768else1769FAIL_IF(push_inst32(compiler, LDR | RT4(restored_reg) | RN4(SLJIT_SP) | (sljit_ins)local_size));1770tmp = 1;1771} else if (frame_size == 0) {1772frame_size = (restored_reg == TMP_REG2) ? SSIZE_OF(sw) : 2 * SSIZE_OF(sw);1773tmp = 3;1774}17751776/* Place for the saved register. */1777if (restored_reg != TMP_REG2)1778local_size += SSIZE_OF(sw);1779}17801781/* Place for the lr register. */1782local_size += SSIZE_OF(sw);17831784if (frame_size > local_size)1785FAIL_IF(push_inst16(compiler, SUB_SP_I | ((sljit_ins)(frame_size - local_size) >> 2)));1786else if (frame_size < local_size)1787FAIL_IF(emit_add_sp(compiler, (sljit_uw)(local_size - frame_size)));17881789if (tmp <= 1)1790return SLJIT_SUCCESS;17911792if (tmp == 2) {1793frame_size -= SSIZE_OF(sw);1794if (restored_reg != TMP_REG2)1795frame_size -= SSIZE_OF(sw);17961797if (reg_map[restored_reg] <= 7)1798return push_inst16(compiler, STR_SP | 0x800 | RDN3(restored_reg) | (sljit_ins)(frame_size >> 2));17991800return push_inst32(compiler, LDR | RT4(restored_reg) | RN4(SLJIT_SP) | (sljit_ins)frame_size);1801}18021803tmp = (restored_reg == TMP_REG2) ? 0x304 : 0x308;1804return push_inst32(compiler, LDRI | RT4(restored_reg) | RN4(SLJIT_SP) | (sljit_ins)tmp);1805}18061807if (local_size > 0)1808FAIL_IF(emit_add_sp(compiler, (sljit_uw)local_size));18091810if (!(reg_list & 0xff00) && lr_dst != TMP_REG2) {1811if (lr_dst == TMP_PC)1812reg_list |= 1u << 8;18131814/* At least one register must be set for POP instruction. */1815SLJIT_ASSERT(reg_list != 0);18161817FAIL_IF(push_inst16(compiler, POP | reg_list));1818} else {1819if (lr_dst != 0)1820reg_list |= (sljit_uw)1 << reg_map[lr_dst];18211822/* At least two registers must be set for POP_W instruction. */1823SLJIT_ASSERT((reg_list & (reg_list - 1)) != 0);18241825FAIL_IF(push_inst32(compiler, POP_W | reg_list));1826}18271828if (frame_size > 0)1829return push_inst16(compiler, SUB_SP_I | (((sljit_ins)frame_size - sizeof(sljit_sw)) >> 2));18301831if (lr_dst != 0)1832return SLJIT_SUCCESS;18331834return push_inst16(compiler, ADD_SP_I | 1);1835}18361837SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)1838{1839CHECK_ERROR();1840CHECK(check_sljit_emit_return_void(compiler));18411842return emit_stack_frame_release(compiler, 0);1843}18441845SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_to(struct sljit_compiler *compiler,1846sljit_s32 src, sljit_sw srcw)1847{1848CHECK_ERROR();1849CHECK(check_sljit_emit_return_to(compiler, src, srcw));18501851if (src & SLJIT_MEM) {1852FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));1853src = TMP_REG1;1854srcw = 0;1855} else if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {1856FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, src)));1857src = TMP_REG1;1858srcw = 0;1859}18601861FAIL_IF(emit_stack_frame_release(compiler, 1));18621863SLJIT_SKIP_CHECKS(compiler);1864return sljit_emit_ijump(compiler, SLJIT_JUMP, src, srcw);1865}18661867/* --------------------------------------------------------------------- */1868/* Operators */1869/* --------------------------------------------------------------------- */18701871#if !(defined __ARM_FEATURE_IDIV) && !(defined __ARM_ARCH_EXT_IDIV__)18721873#ifdef __cplusplus1874extern "C" {1875#endif18761877#ifdef _WIN321878extern unsigned long long __rt_udiv(unsigned int denominator, unsigned int numerator);1879extern long long __rt_sdiv(int denominator, int numerator);1880#elif defined(__GNUC__)1881extern unsigned int __aeabi_uidivmod(unsigned int numerator, int unsigned denominator);1882extern int __aeabi_idivmod(int numerator, int denominator);1883#else1884#error "Software divmod functions are needed"1885#endif18861887#ifdef __cplusplus1888}1889#endif18901891#endif /* !__ARM_FEATURE_IDIV && !__ARM_ARCH_EXT_IDIV__ */18921893SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)1894{1895#if !(defined __ARM_FEATURE_IDIV) && !(defined __ARM_ARCH_EXT_IDIV__)1896sljit_uw saved_reg_list[3];1897sljit_uw saved_reg_count;1898#endif18991900CHECK_ERROR();1901CHECK(check_sljit_emit_op0(compiler, op));19021903op = GET_OPCODE(op);1904switch (op) {1905case SLJIT_BREAKPOINT:1906return push_inst16(compiler, BKPT);1907case SLJIT_NOP:1908return push_inst16(compiler, NOP);1909case SLJIT_LMUL_UW:1910case SLJIT_LMUL_SW:1911return push_inst32(compiler, (op == SLJIT_LMUL_UW ? UMULL : SMULL)1912| RD4(SLJIT_R1) | RT4(SLJIT_R0) | RN4(SLJIT_R0) | RM4(SLJIT_R1));1913#if (defined __ARM_FEATURE_IDIV) || (defined __ARM_ARCH_EXT_IDIV__)1914case SLJIT_DIVMOD_UW:1915case SLJIT_DIVMOD_SW:1916FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, SLJIT_R0)));1917FAIL_IF(push_inst32(compiler, (op == SLJIT_DIVMOD_UW ? UDIV : SDIV) | RD4(SLJIT_R0) | RN4(SLJIT_R0) | RM4(SLJIT_R1)));1918FAIL_IF(push_inst32(compiler, MUL | RD4(SLJIT_R1) | RN4(SLJIT_R0) | RM4(SLJIT_R1)));1919return push_inst32(compiler, SUB_W | RD4(SLJIT_R1) | RN4(TMP_REG1) | RM4(SLJIT_R1));1920case SLJIT_DIV_UW:1921case SLJIT_DIV_SW:1922return push_inst32(compiler, (op == SLJIT_DIV_UW ? UDIV : SDIV) | RD4(SLJIT_R0) | RN4(SLJIT_R0) | RM4(SLJIT_R1));1923#else /* !__ARM_FEATURE_IDIV && !__ARM_ARCH_EXT_IDIV__ */1924case SLJIT_DIVMOD_UW:1925case SLJIT_DIVMOD_SW:1926case SLJIT_DIV_UW:1927case SLJIT_DIV_SW:1928SLJIT_COMPILE_ASSERT((SLJIT_DIVMOD_UW & 0x2) == 0 && SLJIT_DIV_UW - 0x2 == SLJIT_DIVMOD_UW, bad_div_opcode_assignments);1929SLJIT_ASSERT(reg_map[2] == 1 && reg_map[3] == 2 && reg_map[4] == 3);19301931saved_reg_count = 0;1932if (compiler->scratches >= 4)1933saved_reg_list[saved_reg_count++] = 3;1934if (compiler->scratches >= 3)1935saved_reg_list[saved_reg_count++] = 2;1936if (op >= SLJIT_DIV_UW)1937saved_reg_list[saved_reg_count++] = 1;19381939if (saved_reg_count > 0) {1940FAIL_IF(push_inst32(compiler, 0xf84d0d00 | (saved_reg_count >= 3 ? 16 : 8)1941| (saved_reg_list[0] << 12) /* str rX, [sp, #-8/-16]! */));1942if (saved_reg_count >= 2) {1943SLJIT_ASSERT(saved_reg_list[1] < 8);1944FAIL_IF(push_inst16(compiler, 0x9001 | (saved_reg_list[1] << 8) /* str rX, [sp, #4] */));1945}1946if (saved_reg_count >= 3) {1947SLJIT_ASSERT(saved_reg_list[2] < 8);1948FAIL_IF(push_inst16(compiler, 0x9002 | (saved_reg_list[2] << 8) /* str rX, [sp, #8] */));1949}1950}19511952#ifdef _WIN321953FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, SLJIT_R0)));1954FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_R0, SLJIT_R1)));1955FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(SLJIT_R1, TMP_REG1)));1956FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,1957((op | 0x2) == SLJIT_DIV_UW ? SLJIT_FUNC_ADDR(__rt_udiv) : SLJIT_FUNC_ADDR(__rt_sdiv))));1958#elif defined(__GNUC__)1959FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,1960((op | 0x2) == SLJIT_DIV_UW ? SLJIT_FUNC_ADDR(__aeabi_uidivmod) : SLJIT_FUNC_ADDR(__aeabi_idivmod))));1961#else1962#error "Software divmod functions are needed"1963#endif19641965if (saved_reg_count > 0) {1966if (saved_reg_count >= 3) {1967SLJIT_ASSERT(saved_reg_list[2] < 8);1968FAIL_IF(push_inst16(compiler, 0x9802 | (saved_reg_list[2] << 8) /* ldr rX, [sp, #8] */));1969}1970if (saved_reg_count >= 2) {1971SLJIT_ASSERT(saved_reg_list[1] < 8);1972FAIL_IF(push_inst16(compiler, 0x9801 | (saved_reg_list[1] << 8) /* ldr rX, [sp, #4] */));1973}1974return push_inst32(compiler, 0xf85d0b00 | (saved_reg_count >= 3 ? 16 : 8)1975| (saved_reg_list[0] << 12) /* ldr rX, [sp], #8/16 */);1976}1977return SLJIT_SUCCESS;1978#endif /* __ARM_FEATURE_IDIV || __ARM_ARCH_EXT_IDIV__ */1979case SLJIT_MEMORY_BARRIER:1980return push_inst32(compiler, DMB_SY);1981case SLJIT_ENDBR:1982case SLJIT_SKIP_FRAMES_BEFORE_RETURN:1983return SLJIT_SUCCESS;1984}19851986return SLJIT_SUCCESS;1987}19881989SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,1990sljit_s32 dst, sljit_sw dstw,1991sljit_s32 src, sljit_sw srcw)1992{1993sljit_s32 dst_r, flags;19941995CHECK_ERROR();1996CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));1997ADJUST_LOCAL_OFFSET(dst, dstw);1998ADJUST_LOCAL_OFFSET(src, srcw);19992000dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;20012002op = GET_OPCODE(op);2003if (op >= SLJIT_MOV && op <= SLJIT_MOV_P) {2004switch (op) {2005case SLJIT_MOV:2006case SLJIT_MOV_U32:2007case SLJIT_MOV_S32:2008case SLJIT_MOV32:2009case SLJIT_MOV_P:2010flags = WORD_SIZE;2011break;2012case SLJIT_MOV_U8:2013flags = BYTE_SIZE;2014if (src == SLJIT_IMM)2015srcw = (sljit_u8)srcw;2016break;2017case SLJIT_MOV_S8:2018flags = BYTE_SIZE | SIGNED;2019if (src == SLJIT_IMM)2020srcw = (sljit_s8)srcw;2021break;2022case SLJIT_MOV_U16:2023flags = HALF_SIZE;2024if (src == SLJIT_IMM)2025srcw = (sljit_u16)srcw;2026break;2027case SLJIT_MOV_S16:2028flags = HALF_SIZE | SIGNED;2029if (src == SLJIT_IMM)2030srcw = (sljit_s16)srcw;2031break;2032default:2033SLJIT_UNREACHABLE();2034flags = 0;2035break;2036}20372038if (src == SLJIT_IMM)2039FAIL_IF(emit_op_imm(compiler, SLJIT_MOV | ARG2_IMM, dst_r, TMP_REG2, (sljit_uw)srcw));2040else if (src & SLJIT_MEM)2041FAIL_IF(emit_op_mem(compiler, flags, dst_r, src, srcw, TMP_REG1));2042else if (FAST_IS_REG(dst))2043return emit_op_imm(compiler, op, dst_r, TMP_REG2, (sljit_uw)src);2044else2045dst_r = src;20462047if (!(dst & SLJIT_MEM))2048return SLJIT_SUCCESS;20492050return emit_op_mem(compiler, flags | STORE, dst_r, dst, dstw, TMP_REG1);2051}20522053SLJIT_COMPILE_ASSERT(WORD_SIZE == 0, word_size_must_be_0);2054flags = WORD_SIZE;20552056if (op == SLJIT_REV_U16 || op == SLJIT_REV_S16) {2057if (!(dst & SLJIT_MEM) && (!(src & SLJIT_MEM) || op == SLJIT_REV_S16))2058op |= REGISTER_OP;2059flags |= HALF_SIZE;2060}20612062if (src & SLJIT_MEM) {2063FAIL_IF(emit_op_mem(compiler, flags, TMP_REG1, src, srcw, TMP_REG1));2064src = TMP_REG1;2065}20662067emit_op_imm(compiler, op, dst_r, TMP_REG2, (sljit_uw)src);20682069if (SLJIT_UNLIKELY(dst & SLJIT_MEM))2070return emit_op_mem(compiler, flags | STORE, dst_r, dst, dstw, TMP_REG1);2071return SLJIT_SUCCESS;2072}20732074SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,2075sljit_s32 dst, sljit_sw dstw,2076sljit_s32 src1, sljit_sw src1w,2077sljit_s32 src2, sljit_sw src2w)2078{2079sljit_s32 dst_reg, src2_tmp_reg, flags;20802081CHECK_ERROR();2082CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));2083ADJUST_LOCAL_OFFSET(dst, dstw);2084ADJUST_LOCAL_OFFSET(src1, src1w);2085ADJUST_LOCAL_OFFSET(src2, src2w);20862087dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG2;2088flags = HAS_FLAGS(op) ? SET_FLAGS : 0;20892090if (dst == TMP_REG1)2091flags |= UNUSED_RETURN;20922093if (src2 == SLJIT_IMM)2094flags |= ARG2_IMM;2095else if (src2 & SLJIT_MEM) {2096src2_tmp_reg = FAST_IS_REG(src1) ? TMP_REG1 : TMP_REG2;2097emit_op_mem(compiler, WORD_SIZE, src2_tmp_reg, src2, src2w, TMP_REG1);2098src2w = src2_tmp_reg;2099} else2100src2w = src2;21012102if (src1 == SLJIT_IMM)2103flags |= ARG1_IMM;2104else if (src1 & SLJIT_MEM) {2105emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src1, src1w, TMP_REG1);2106src1w = TMP_REG1;2107} else2108src1w = src1;21092110emit_op_imm(compiler, flags | GET_OPCODE(op), dst_reg, (sljit_uw)src1w, (sljit_uw)src2w);21112112if (!(dst & SLJIT_MEM))2113return SLJIT_SUCCESS;2114return emit_op_mem(compiler, WORD_SIZE | STORE, dst_reg, dst, dstw, TMP_REG1);2115}21162117SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,2118sljit_s32 src1, sljit_sw src1w,2119sljit_s32 src2, sljit_sw src2w)2120{2121CHECK_ERROR();2122CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));21232124SLJIT_SKIP_CHECKS(compiler);2125return sljit_emit_op2(compiler, op, TMP_REG1, 0, src1, src1w, src2, src2w);2126}21272128SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2r(struct sljit_compiler *compiler, sljit_s32 op,2129sljit_s32 dst_reg,2130sljit_s32 src1, sljit_sw src1w,2131sljit_s32 src2, sljit_sw src2w)2132{2133CHECK_ERROR();2134CHECK(check_sljit_emit_op2r(compiler, op, dst_reg, src1, src1w, src2, src2w));21352136switch (GET_OPCODE(op)) {2137case SLJIT_MULADD:2138SLJIT_SKIP_CHECKS(compiler);2139return sljit_emit_op2(compiler, op, dst_reg, 0, src1, src1w, src2, src2w);2140}21412142return SLJIT_SUCCESS;2143}21442145SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_shift_into(struct sljit_compiler *compiler, sljit_s32 op,2146sljit_s32 dst_reg,2147sljit_s32 src1_reg,2148sljit_s32 src2_reg,2149sljit_s32 src3, sljit_sw src3w)2150{2151sljit_s32 is_left;21522153CHECK_ERROR();2154CHECK(check_sljit_emit_shift_into(compiler, op, dst_reg, src1_reg, src2_reg, src3, src3w));21552156op = GET_OPCODE(op);2157is_left = (op == SLJIT_SHL || op == SLJIT_MSHL);21582159if (src1_reg == src2_reg) {2160SLJIT_SKIP_CHECKS(compiler);2161return sljit_emit_op2(compiler, is_left ? SLJIT_ROTL : SLJIT_ROTR, dst_reg, 0, src1_reg, 0, src3, src3w);2162}21632164ADJUST_LOCAL_OFFSET(src3, src3w);21652166if (src3 == SLJIT_IMM) {2167src3w &= 0x1f;21682169if (src3w == 0)2170return SLJIT_SUCCESS;21712172if (IS_2_LO_REGS(dst_reg, src1_reg))2173FAIL_IF(push_inst16(compiler, (is_left ? LSLSI : LSRSI) | RD3(dst_reg) | RN3(src1_reg) | ((sljit_ins)src3w << 6)));2174else2175FAIL_IF(push_inst32(compiler, (is_left ? LSL_WI : LSR_WI) | RD4(dst_reg) | RM4(src1_reg) | IMM5(src3w)));21762177src3w = (src3w ^ 0x1f) + 1;2178return push_inst32(compiler, ORR_W | RD4(dst_reg) | RN4(dst_reg) | RM4(src2_reg) | (is_left ? 0x10 : 0x0) | IMM5(src3w));2179}21802181if (src3 & SLJIT_MEM) {2182FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src3, src3w, TMP_REG2));2183src3 = TMP_REG2;2184}21852186if (op == SLJIT_MSHL || op == SLJIT_MLSHR || dst_reg == src3) {2187FAIL_IF(push_inst32(compiler, ANDI | RD4(TMP_REG2) | RN4(src3) | 0x1f));2188src3 = TMP_REG2;2189}21902191if (dst_reg == src1_reg && IS_2_LO_REGS(dst_reg, src3))2192FAIL_IF(push_inst16(compiler, (is_left ? LSLS : LSRS) | RD3(dst_reg) | RN3(src3)));2193else2194FAIL_IF(push_inst32(compiler, (is_left ? LSL_W : LSR_W) | RD4(dst_reg) | RN4(src1_reg) | RM4(src3)));21952196FAIL_IF(push_inst32(compiler, (is_left ? LSR_WI : LSL_WI) | RD4(TMP_REG1) | RM4(src2_reg) | (1 << 6)));2197FAIL_IF(push_inst32(compiler, EORI | RD4(TMP_REG2) | RN4(src3) | 0x1f));2198FAIL_IF(push_inst32(compiler, (is_left ? LSR_W : LSL_W) | RD4(TMP_REG1) | RN4(TMP_REG1) | RM4(TMP_REG2)));2199return push_inst32(compiler, ORR_W | RD4(dst_reg) | RN4(dst_reg) | RM4(TMP_REG1));2200}22012202SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2_shift(struct sljit_compiler *compiler, sljit_s32 op,2203sljit_s32 dst, sljit_sw dstw,2204sljit_s32 src1, sljit_sw src1w,2205sljit_s32 src2, sljit_sw src2w,2206sljit_sw shift_arg)2207{2208sljit_s32 dst_r, tmp_r;22092210CHECK_ERROR();2211CHECK(check_sljit_emit_op2_shift(compiler, op, dst, dstw, src1, src1w, src2, src2w, shift_arg));2212ADJUST_LOCAL_OFFSET(dst, dstw);2213ADJUST_LOCAL_OFFSET(src1, src1w);2214ADJUST_LOCAL_OFFSET(src2, src2w);22152216shift_arg &= 0x1f;22172218if (src2 == SLJIT_IMM) {2219src2w = src2w << shift_arg;2220shift_arg = 0;2221}22222223if (shift_arg == 0) {2224SLJIT_SKIP_CHECKS(compiler);2225return sljit_emit_op2(compiler, GET_OPCODE(op), dst, dstw, src1, src1w, src2, src2w);2226}22272228if (src1 == SLJIT_IMM) {2229FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));2230src1 = TMP_REG1;2231} else if (src1 & SLJIT_MEM) {2232FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src1, src1w, TMP_REG1));2233src1 = TMP_REG1;2234}22352236if (src2 & SLJIT_MEM) {2237tmp_r = (src1 == TMP_REG1) ? TMP_REG2 : TMP_REG1;2238FAIL_IF(emit_op_mem(compiler, WORD_SIZE, tmp_r, src2, src2w, tmp_r));2239src2 = tmp_r;2240}22412242dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;2243FAIL_IF(push_inst32(compiler, ADD_W | RD4(dst_r) | RN4(src1) | RM4(src2) | ((sljit_ins)(shift_arg & 0x3) << 6) | ((sljit_ins)(shift_arg & 0x1c) << 10)));22442245if (dst & SLJIT_MEM)2246return emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG1);2247return SLJIT_SUCCESS;2248}22492250SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,2251sljit_s32 src, sljit_sw srcw)2252{2253CHECK_ERROR();2254CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));2255ADJUST_LOCAL_OFFSET(src, srcw);22562257switch (op) {2258case SLJIT_FAST_RETURN:2259SLJIT_ASSERT(reg_map[TMP_REG2] == 14);22602261if (FAST_IS_REG(src)) {2262if (src != TMP_REG2)2263FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG2, src)));2264} else2265FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, src, srcw, TMP_REG2));22662267return push_inst16(compiler, BX | RN3(TMP_REG2));2268case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:2269return SLJIT_SUCCESS;2270case SLJIT_PREFETCH_L1:2271case SLJIT_PREFETCH_L2:2272case SLJIT_PREFETCH_L3:2273case SLJIT_PREFETCH_ONCE:2274return emit_op_mem(compiler, PRELOAD, TMP_PC, src, srcw, TMP_REG1);2275}22762277return SLJIT_SUCCESS;2278}22792280SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_dst(struct sljit_compiler *compiler, sljit_s32 op,2281sljit_s32 dst, sljit_sw dstw)2282{2283sljit_s32 size, dst_r;22842285CHECK_ERROR();2286CHECK(check_sljit_emit_op_dst(compiler, op, dst, dstw));2287ADJUST_LOCAL_OFFSET(dst, dstw);22882289switch (op) {2290case SLJIT_FAST_ENTER:2291SLJIT_ASSERT(reg_map[TMP_REG2] == 14);22922293if (FAST_IS_REG(dst)) {2294if (dst == TMP_REG2)2295return SLJIT_SUCCESS;2296return push_inst16(compiler, MOV | SET_REGS44(dst, TMP_REG2));2297}2298break;2299case SLJIT_GET_RETURN_ADDRESS:2300size = GET_SAVED_REGISTERS_SIZE(compiler->scratches, compiler->saveds - SLJIT_KEPT_SAVEDS_COUNT(compiler->options), 0);23012302if (compiler->fsaveds > 0 || compiler->fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {2303/* The size of pc is not added above. */2304if ((size & SSIZE_OF(sw)) == 0)2305size += SSIZE_OF(sw);23062307size += GET_SAVED_FLOAT_REGISTERS_SIZE(compiler->fscratches, compiler->fsaveds, f64);2308}23092310SLJIT_ASSERT(((compiler->local_size + size + SSIZE_OF(sw)) & 0x7) == 0);23112312dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;2313FAIL_IF(emit_op_mem(compiler, WORD_SIZE, dst_r, SLJIT_MEM1(SLJIT_SP), compiler->local_size + size, TMP_REG1));2314break;2315}23162317if (dst & SLJIT_MEM)2318return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, dst, dstw, TMP_REG1);23192320return SLJIT_SUCCESS;2321}23222323SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 type, sljit_s32 reg)2324{2325CHECK_REG_INDEX(check_sljit_get_register_index(type, reg));23262327if (type == SLJIT_GP_REGISTER)2328return reg_map[reg];23292330if (type == SLJIT_FLOAT_REGISTER || type == SLJIT_SIMD_REG_64)2331return freg_map[reg];23322333if (type == SLJIT_SIMD_REG_128)2334return freg_map[reg] & ~0x1;23352336return -1;2337}23382339SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,2340void *instruction, sljit_u32 size)2341{2342CHECK_ERROR();2343CHECK(check_sljit_emit_op_custom(compiler, instruction, size));23442345if (size == 2)2346return push_inst16(compiler, *(sljit_u16*)instruction);2347return push_inst32(compiler, *(sljit_ins*)instruction);2348}23492350/* --------------------------------------------------------------------- */2351/* Floating point operators */2352/* --------------------------------------------------------------------- */23532354#define FPU_LOAD (1 << 20)23552356static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)2357{2358sljit_uw imm;2359sljit_ins inst = VSTR_F32 | (flags & (SLJIT_32 | FPU_LOAD));23602361SLJIT_ASSERT(arg & SLJIT_MEM);23622363/* Fast loads and stores. */2364if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {2365FAIL_IF(push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(arg & REG_MASK) | RM4(OFFS_REG(arg)) | (((sljit_uw)argw & 0x3) << 6)));2366arg = SLJIT_MEM | TMP_REG1;2367argw = 0;2368}23692370if ((arg & REG_MASK) && (argw & 0x3) == 0) {2371if (!(argw & ~0x3fc))2372return push_inst32(compiler, inst | 0x800000 | RN4(arg & REG_MASK) | VD4(reg) | ((sljit_uw)argw >> 2));2373if (!(-argw & ~0x3fc))2374return push_inst32(compiler, inst | RN4(arg & REG_MASK) | VD4(reg) | ((sljit_uw)-argw >> 2));2375}23762377if (arg & REG_MASK) {2378if (emit_set_delta(compiler, TMP_REG1, arg & REG_MASK, argw) != SLJIT_ERR_UNSUPPORTED) {2379FAIL_IF(compiler->error);2380return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | VD4(reg));2381}23822383imm = get_imm((sljit_uw)argw & ~(sljit_uw)0x3fc);2384if (imm != INVALID_IMM) {2385FAIL_IF(push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(arg & REG_MASK) | imm));2386return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | VD4(reg) | (((sljit_uw)argw & 0x3fc) >> 2));2387}23882389imm = get_imm((sljit_uw)-argw & ~(sljit_uw)0x3fc);2390if (imm != INVALID_IMM) {2391argw = -argw;2392FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(arg & REG_MASK) | imm));2393return push_inst32(compiler, inst | RN4(TMP_REG1) | VD4(reg) | (((sljit_uw)argw & 0x3fc) >> 2));2394}2395}23962397FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)argw));2398if (arg & REG_MASK)2399FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, (arg & REG_MASK))));2400return push_inst32(compiler, inst | 0x800000 | RN4(TMP_REG1) | VD4(reg));2401}24022403static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,2404sljit_s32 dst, sljit_sw dstw,2405sljit_s32 src, sljit_sw srcw)2406{2407op ^= SLJIT_32;24082409if (src & SLJIT_MEM) {2410FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src, srcw));2411src = TMP_FREG1;2412}24132414FAIL_IF(push_inst32(compiler, VCVT_S32_F32 | (op & SLJIT_32) | VD4(TMP_FREG1) | VM4(src)));24152416if (FAST_IS_REG(dst))2417return push_inst32(compiler, VMOV | (1 << 20) | RT4(dst) | VN4(TMP_FREG1));24182419/* Store the integer value from a VFP register. */2420return emit_fop_mem(compiler, 0, TMP_FREG1, dst, dstw);2421}24222423static sljit_s32 sljit_emit_fop1_conv_f64_from_w(struct sljit_compiler *compiler, sljit_ins ins,2424sljit_s32 dst, sljit_sw dstw,2425sljit_s32 src, sljit_sw srcw)2426{2427sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;24282429if (FAST_IS_REG(src))2430FAIL_IF(push_inst32(compiler, VMOV | RT4(src) | VN4(TMP_FREG1)));2431else if (src & SLJIT_MEM) {2432/* Load the integer value into a VFP register. */2433FAIL_IF(emit_fop_mem(compiler, FPU_LOAD, TMP_FREG1, src, srcw));2434}2435else {2436FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcw));2437FAIL_IF(push_inst32(compiler, VMOV | RT4(TMP_REG1) | VN4(TMP_FREG1)));2438}24392440FAIL_IF(push_inst32(compiler, ins | VD4(dst_r) | VM4(TMP_FREG1)));24412442if (dst & SLJIT_MEM)2443return emit_fop_mem(compiler, (ins & SLJIT_32), TMP_FREG1, dst, dstw);2444return SLJIT_SUCCESS;2445}24462447static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,2448sljit_s32 dst, sljit_sw dstw,2449sljit_s32 src, sljit_sw srcw)2450{2451return sljit_emit_fop1_conv_f64_from_w(compiler, VCVT_F32_S32 | (~op & SLJIT_32), dst, dstw, src, srcw);2452}24532454static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_uw(struct sljit_compiler *compiler, sljit_s32 op,2455sljit_s32 dst, sljit_sw dstw,2456sljit_s32 src, sljit_sw srcw)2457{2458return sljit_emit_fop1_conv_f64_from_w(compiler, VCVT_F32_U32 | (~op & SLJIT_32), dst, dstw, src, srcw);2459}24602461static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,2462sljit_s32 src1, sljit_sw src1w,2463sljit_s32 src2, sljit_sw src2w)2464{2465op ^= SLJIT_32;24662467if (src1 & SLJIT_MEM) {2468FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w));2469src1 = TMP_FREG1;2470}24712472if (src2 & SLJIT_MEM) {2473FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w));2474src2 = TMP_FREG2;2475}24762477FAIL_IF(push_inst32(compiler, VCMP_F32 | (op & SLJIT_32) | VD4(src1) | VM4(src2)));2478FAIL_IF(push_inst32(compiler, VMRS));24792480if (GET_FLAG_TYPE(op) != SLJIT_UNORDERED_OR_EQUAL)2481return SLJIT_SUCCESS;24822483FAIL_IF(push_inst16(compiler, IT | (0x6 << 4) | 0x8));2484return push_inst16(compiler, CMP /* Rm, Rn = r0 */);2485}24862487SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,2488sljit_s32 dst, sljit_sw dstw,2489sljit_s32 src, sljit_sw srcw)2490{2491sljit_s32 dst_r;24922493CHECK_ERROR();24942495SLJIT_COMPILE_ASSERT((SLJIT_32 == 0x100), float_transfer_bit_error);2496SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);24972498dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;24992500if (GET_OPCODE(op) != SLJIT_CONV_F64_FROM_F32)2501op ^= SLJIT_32;25022503if (src & SLJIT_MEM) {2504FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, dst_r, src, srcw));2505src = dst_r;2506}25072508switch (GET_OPCODE(op)) {2509case SLJIT_MOV_F64:2510if (src != dst_r) {2511if (!(dst & SLJIT_MEM))2512FAIL_IF(push_inst32(compiler, VMOV_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(src)));2513else2514dst_r = src;2515}2516break;2517case SLJIT_NEG_F64:2518FAIL_IF(push_inst32(compiler, VNEG_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(src)));2519break;2520case SLJIT_ABS_F64:2521FAIL_IF(push_inst32(compiler, VABS_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(src)));2522break;2523case SLJIT_CONV_F64_FROM_F32:2524FAIL_IF(push_inst32(compiler, VCVT_F64_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(src)));2525op ^= SLJIT_32;2526break;2527}25282529if (dst & SLJIT_MEM)2530return emit_fop_mem(compiler, (op & SLJIT_32), dst_r, dst, dstw);2531return SLJIT_SUCCESS;2532}25332534SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,2535sljit_s32 dst, sljit_sw dstw,2536sljit_s32 src1, sljit_sw src1w,2537sljit_s32 src2, sljit_sw src2w)2538{2539sljit_s32 dst_r;25402541CHECK_ERROR();2542CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));2543ADJUST_LOCAL_OFFSET(dst, dstw);2544ADJUST_LOCAL_OFFSET(src1, src1w);2545ADJUST_LOCAL_OFFSET(src2, src2w);25462547op ^= SLJIT_32;25482549dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;2550if (src1 & SLJIT_MEM) {2551FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w));2552src1 = TMP_FREG1;2553}2554if (src2 & SLJIT_MEM) {2555FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w));2556src2 = TMP_FREG2;2557}25582559switch (GET_OPCODE(op)) {2560case SLJIT_ADD_F64:2561FAIL_IF(push_inst32(compiler, VADD_F32 | (op & SLJIT_32) | VD4(dst_r) | VN4(src1) | VM4(src2)));2562break;2563case SLJIT_SUB_F64:2564FAIL_IF(push_inst32(compiler, VSUB_F32 | (op & SLJIT_32) | VD4(dst_r) | VN4(src1) | VM4(src2)));2565break;2566case SLJIT_MUL_F64:2567FAIL_IF(push_inst32(compiler, VMUL_F32 | (op & SLJIT_32) | VD4(dst_r) | VN4(src1) | VM4(src2)));2568break;2569case SLJIT_DIV_F64:2570FAIL_IF(push_inst32(compiler, VDIV_F32 | (op & SLJIT_32) | VD4(dst_r) | VN4(src1) | VM4(src2)));2571break;2572case SLJIT_COPYSIGN_F64:2573FAIL_IF(push_inst32(compiler, VMOV | (1 << 20) | VN4(src2) | RT4(TMP_REG1) | ((op & SLJIT_32) ? (1 << 7) : 0)));2574FAIL_IF(push_inst32(compiler, VABS_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(src1)));2575FAIL_IF(push_inst32(compiler, CMPI_W | RN4(TMP_REG1) | 0));2576FAIL_IF(push_inst16(compiler, IT | (0xb << 4) | 0x8));2577return push_inst32(compiler, VNEG_F32 | (op & SLJIT_32) | VD4(dst_r) | VM4(dst_r));2578}25792580if (!(dst & SLJIT_MEM))2581return SLJIT_SUCCESS;2582return emit_fop_mem(compiler, (op & SLJIT_32), TMP_FREG1, dst, dstw);2583}25842585SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset32(struct sljit_compiler *compiler,2586sljit_s32 freg, sljit_f32 value)2587{2588#if defined(__ARM_NEON) && __ARM_NEON2589sljit_u32 exp;2590sljit_ins ins;2591#endif /* NEON */2592union {2593sljit_u32 imm;2594sljit_f32 value;2595} u;25962597CHECK_ERROR();2598CHECK(check_sljit_emit_fset32(compiler, freg, value));25992600u.value = value;26012602#if defined(__ARM_NEON) && __ARM_NEON2603if ((u.imm << (32 - 19)) == 0) {2604exp = (u.imm >> (23 + 2)) & 0x3f;26052606if (exp == 0x20 || exp == 0x1f) {2607ins = ((u.imm >> 24) & 0x80) | ((u.imm >> 19) & 0x7f);2608return push_inst32(compiler, (VMOV_F32 ^ (1 << 6)) | ((ins & 0xf0) << 12) | VD4(freg) | (ins & 0xf));2609}2610}2611#endif /* NEON */26122613FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm));2614return push_inst32(compiler, VMOV | VN4(freg) | RT4(TMP_REG1));2615}26162617SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,2618sljit_s32 freg, sljit_f64 value)2619{2620#if defined(__ARM_NEON) && __ARM_NEON2621sljit_u32 exp;2622sljit_ins ins;2623#endif /* NEON */2624union {2625sljit_u32 imm[2];2626sljit_f64 value;2627} u;26282629CHECK_ERROR();2630CHECK(check_sljit_emit_fset64(compiler, freg, value));26312632u.value = value;26332634#if defined(__ARM_NEON) && __ARM_NEON2635if (u.imm[0] == 0 && (u.imm[1] << (64 - 48)) == 0) {2636exp = (u.imm[1] >> ((52 - 32) + 2)) & 0x1ff;26372638if (exp == 0x100 || exp == 0xff) {2639ins = ((u.imm[1] >> (56 - 32)) & 0x80) | ((u.imm[1] >> (48 - 32)) & 0x7f);2640return push_inst32(compiler, (VMOV_F32 ^ (1 << 6)) | (1 << 8) | ((ins & 0xf0) << 12) | VD4(freg) | (ins & 0xf));2641}2642}2643#endif /* NEON */26442645FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm[0]));2646if (u.imm[0] == u.imm[1])2647return push_inst32(compiler, VMOV2 | RN4(TMP_REG1) | RT4(TMP_REG1) | VM4(freg));26482649FAIL_IF(load_immediate(compiler, TMP_REG2, u.imm[1]));2650return push_inst32(compiler, VMOV2 | RN4(TMP_REG2) | RT4(TMP_REG1) | VM4(freg));2651}26522653SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,2654sljit_s32 freg, sljit_s32 reg)2655{2656sljit_s32 reg2;2657sljit_ins inst;26582659CHECK_ERROR();2660CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));26612662if (reg & REG_PAIR_MASK) {2663reg2 = REG_PAIR_SECOND(reg);2664reg = REG_PAIR_FIRST(reg);26652666inst = VMOV2 | RN4(reg) | RT4(reg2) | VM4(freg);2667} else {2668inst = VMOV | VN4(freg) | RT4(reg);26692670if (!(op & SLJIT_32))2671inst |= 1 << 7;2672}26732674if (GET_OPCODE(op) == SLJIT_COPY_FROM_F64)2675inst |= 1 << 20;26762677return push_inst32(compiler, inst);2678}26792680/* --------------------------------------------------------------------- */2681/* Conditional instructions */2682/* --------------------------------------------------------------------- */26832684static sljit_uw get_cc(struct sljit_compiler *compiler, sljit_s32 type)2685{2686switch (type) {2687case SLJIT_EQUAL:2688case SLJIT_ATOMIC_STORED:2689case SLJIT_F_EQUAL:2690case SLJIT_ORDERED_EQUAL:2691case SLJIT_UNORDERED_OR_EQUAL:2692return 0x0;26932694case SLJIT_NOT_EQUAL:2695case SLJIT_ATOMIC_NOT_STORED:2696case SLJIT_F_NOT_EQUAL:2697case SLJIT_UNORDERED_OR_NOT_EQUAL:2698case SLJIT_ORDERED_NOT_EQUAL:2699return 0x1;27002701case SLJIT_CARRY:2702if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2703return 0x2;2704SLJIT_FALLTHROUGH27052706case SLJIT_LESS:2707return 0x3;27082709case SLJIT_NOT_CARRY:2710if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)2711return 0x3;2712SLJIT_FALLTHROUGH27132714case SLJIT_GREATER_EQUAL:2715return 0x2;27162717case SLJIT_GREATER:2718case SLJIT_UNORDERED_OR_GREATER:2719return 0x8;27202721case SLJIT_LESS_EQUAL:2722case SLJIT_F_LESS_EQUAL:2723case SLJIT_ORDERED_LESS_EQUAL:2724return 0x9;27252726case SLJIT_SIG_LESS:2727case SLJIT_UNORDERED_OR_LESS:2728return 0xb;27292730case SLJIT_SIG_GREATER_EQUAL:2731case SLJIT_F_GREATER_EQUAL:2732case SLJIT_ORDERED_GREATER_EQUAL:2733return 0xa;27342735case SLJIT_SIG_GREATER:2736case SLJIT_F_GREATER:2737case SLJIT_ORDERED_GREATER:2738return 0xc;27392740case SLJIT_SIG_LESS_EQUAL:2741case SLJIT_UNORDERED_OR_LESS_EQUAL:2742return 0xd;27432744case SLJIT_OVERFLOW:2745if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2746return 0x1;2747SLJIT_FALLTHROUGH27482749case SLJIT_UNORDERED:2750return 0x6;27512752case SLJIT_NOT_OVERFLOW:2753if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))2754return 0x0;2755SLJIT_FALLTHROUGH27562757case SLJIT_ORDERED:2758return 0x7;27592760case SLJIT_F_LESS:2761case SLJIT_ORDERED_LESS:2762return 0x4;27632764case SLJIT_UNORDERED_OR_GREATER_EQUAL:2765return 0x5;27662767default: /* SLJIT_JUMP */2768SLJIT_UNREACHABLE();2769return 0xe;2770}2771}27722773SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)2774{2775struct sljit_label *label;27762777CHECK_ERROR_PTR();2778CHECK_PTR(check_sljit_emit_label(compiler));27792780if (compiler->last_label && compiler->last_label->size == compiler->size)2781return compiler->last_label;27822783label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));2784PTR_FAIL_IF(!label);2785set_label(label, compiler);2786return label;2787}27882789SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_aligned_label(struct sljit_compiler *compiler,2790sljit_s32 alignment, struct sljit_read_only_buffer *buffers)2791{2792sljit_uw mask, i;2793struct sljit_label *label;2794struct sljit_label *next_label;2795struct sljit_extended_label *ext_label;27962797CHECK_ERROR_PTR();2798CHECK_PTR(check_sljit_emit_aligned_label(compiler, alignment, buffers));27992800sljit_reset_read_only_buffers(buffers);28012802if (alignment <= SLJIT_LABEL_ALIGN_2) {2803SLJIT_SKIP_CHECKS(compiler);2804label = sljit_emit_label(compiler);2805PTR_FAIL_IF(!label);2806} else {2807/* The used space is filled with NOPs. */2808mask = ((sljit_uw)1 << alignment) - sizeof(sljit_u16);28092810for (i = (mask >> 1); i != 0; i--)2811PTR_FAIL_IF(push_inst16(compiler, NOP));28122813ext_label = (struct sljit_extended_label*)ensure_abuf(compiler, sizeof(struct sljit_extended_label));2814PTR_FAIL_IF(!ext_label);2815set_extended_label(ext_label, compiler, SLJIT_LABEL_ALIGNED, mask);2816label = &ext_label->label;2817}28182819if (buffers == NULL)2820return label;28212822next_label = label;28232824while (1) {2825buffers->u.label = next_label;28262827for (i = (buffers->size + 1) >> 1; i > 0; i--)2828PTR_FAIL_IF(push_inst16(compiler, NOP));28292830buffers = buffers->next;28312832if (buffers == NULL)2833break;28342835SLJIT_SKIP_CHECKS(compiler);2836next_label = sljit_emit_label(compiler);2837PTR_FAIL_IF(!next_label);2838}28392840return label;2841}28422843SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)2844{2845struct sljit_jump *jump;2846sljit_ins cc;28472848CHECK_ERROR_PTR();2849CHECK_PTR(check_sljit_emit_jump(compiler, type));28502851jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2852PTR_FAIL_IF(!jump);2853set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2854type &= 0xff;28552856if (type < SLJIT_JUMP) {2857jump->flags |= IS_COND;2858cc = get_cc(compiler, type);2859jump->flags |= cc << 8;2860PTR_FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));2861}28622863jump->addr = compiler->size;2864if (type <= SLJIT_JUMP)2865PTR_FAIL_IF(push_inst16(compiler, BX | RN3(TMP_REG1)));2866else {2867jump->flags |= IS_BL;2868PTR_FAIL_IF(push_inst16(compiler, BLX | RN3(TMP_REG1)));2869}28702871/* Maximum number of instructions required for generating a constant. */2872compiler->size += JUMP_MAX_SIZE - 1;2873return jump;2874}28752876#ifdef __SOFTFP__28772878static sljit_s32 softfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types, sljit_s32 *src, sljit_u32 *extra_space)2879{2880sljit_u32 is_tail_call = *extra_space & SLJIT_CALL_RETURN;2881sljit_u32 offset = 0;2882sljit_u32 word_arg_offset = 0;2883sljit_u32 float_arg_count = 0;2884sljit_s32 types = 0;2885sljit_u32 src_offset = 4 * sizeof(sljit_sw);2886sljit_u8 offsets[4];2887sljit_u8 *offset_ptr = offsets;28882889if (src && FAST_IS_REG(*src))2890src_offset = (sljit_u32)reg_map[*src] * sizeof(sljit_sw);28912892arg_types >>= SLJIT_ARG_SHIFT;28932894while (arg_types) {2895types = (types << SLJIT_ARG_SHIFT) | (arg_types & SLJIT_ARG_MASK);28962897switch (arg_types & SLJIT_ARG_MASK) {2898case SLJIT_ARG_TYPE_F64:2899if (offset & 0x7)2900offset += sizeof(sljit_sw);2901*offset_ptr++ = (sljit_u8)offset;2902offset += sizeof(sljit_f64);2903float_arg_count++;2904break;2905case SLJIT_ARG_TYPE_F32:2906*offset_ptr++ = (sljit_u8)offset;2907offset += sizeof(sljit_f32);2908float_arg_count++;2909break;2910default:2911*offset_ptr++ = (sljit_u8)offset;2912offset += sizeof(sljit_sw);2913word_arg_offset += sizeof(sljit_sw);2914break;2915}29162917arg_types >>= SLJIT_ARG_SHIFT;2918}29192920if (offset > 4 * sizeof(sljit_sw) && (!is_tail_call || offset > compiler->args_size)) {2921/* Keep lr register on the stack. */2922if (is_tail_call)2923offset += sizeof(sljit_sw);29242925offset = ((offset - 4 * sizeof(sljit_sw)) + 0x7) & ~(sljit_uw)0x7;29262927*extra_space = offset;29282929if (is_tail_call)2930FAIL_IF(emit_stack_frame_release(compiler, (sljit_s32)offset));2931else2932FAIL_IF(push_inst16(compiler, SUB_SP_I | (offset >> 2)));2933} else {2934if (is_tail_call)2935FAIL_IF(emit_stack_frame_release(compiler, -1));2936*extra_space = 0;2937}29382939SLJIT_ASSERT(reg_map[TMP_REG1] == 12);29402941/* Process arguments in reversed direction. */2942while (types) {2943switch (types & SLJIT_ARG_MASK) {2944case SLJIT_ARG_TYPE_F64:2945float_arg_count--;2946offset = *(--offset_ptr);29472948SLJIT_ASSERT((offset & 0x7) == 0);29492950if (offset < 4 * sizeof(sljit_sw)) {2951if (src_offset == offset || src_offset == offset + sizeof(sljit_sw)) {2952FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));2953*src = TMP_REG1;2954}2955FAIL_IF(push_inst32(compiler, VMOV2 | 0x100000 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));2956} else2957FAIL_IF(push_inst32(compiler, VSTR_F32 | 0x800100 | RN4(SLJIT_SP)2958| (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));2959break;2960case SLJIT_ARG_TYPE_F32:2961float_arg_count--;2962offset = *(--offset_ptr);29632964if (offset < 4 * sizeof(sljit_sw)) {2965if (src_offset == offset) {2966FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));2967*src = TMP_REG1;2968}2969FAIL_IF(push_inst32(compiler, VMOV | 0x100000 | (float_arg_count << 16) | (offset << 10)));2970} else2971FAIL_IF(push_inst32(compiler, VSTR_F32 | 0x800000 | RN4(SLJIT_SP)2972| (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));2973break;2974default:2975word_arg_offset -= sizeof(sljit_sw);2976offset = *(--offset_ptr);29772978SLJIT_ASSERT(offset >= word_arg_offset);29792980if (offset != word_arg_offset) {2981if (offset < 4 * sizeof(sljit_sw)) {2982if (src_offset == offset) {2983FAIL_IF(push_inst16(compiler, MOV | (src_offset << 1) | 4 | (1 << 7)));2984*src = TMP_REG1;2985}2986else if (src_offset == word_arg_offset) {2987*src = (sljit_s32)(1 + (offset >> 2));2988src_offset = offset;2989}2990FAIL_IF(push_inst16(compiler, MOV | (offset >> 2) | (word_arg_offset << 1)));2991} else2992FAIL_IF(push_inst16(compiler, STR_SP | (word_arg_offset << 6) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));2993}2994break;2995}29962997types >>= SLJIT_ARG_SHIFT;2998}29993000return SLJIT_SUCCESS;3001}30023003static sljit_s32 softfloat_post_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)3004{3005if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F64)3006FAIL_IF(push_inst32(compiler, VMOV2 | (1 << 16) | (0 << 12) | 0));3007if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F32)3008FAIL_IF(push_inst32(compiler, VMOV | (0 << 16) | (0 << 12)));30093010return SLJIT_SUCCESS;3011}30123013#else30143015static sljit_s32 hardfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)3016{3017sljit_u32 offset = SLJIT_FR0;3018sljit_u32 new_offset = SLJIT_FR0;3019sljit_u32 f32_offset = 0;30203021/* Remove return value. */3022arg_types >>= SLJIT_ARG_SHIFT;30233024while (arg_types) {3025switch (arg_types & SLJIT_ARG_MASK) {3026case SLJIT_ARG_TYPE_F64:3027if (offset != new_offset)3028FAIL_IF(push_inst32(compiler, VMOV_F32 | SLJIT_32 | VD4(new_offset) | VM4(offset)));30293030new_offset++;3031offset++;3032break;3033case SLJIT_ARG_TYPE_F32:3034if (f32_offset != 0) {3035FAIL_IF(push_inst32(compiler, VMOV_F32 | 0x400000 | VD4(f32_offset) | VM4(offset)));3036f32_offset = 0;3037} else {3038if (offset != new_offset)3039FAIL_IF(push_inst32(compiler, VMOV_F32 | 0x400000 | VD4(new_offset) | VM4(offset)));3040f32_offset = new_offset;3041new_offset++;3042}3043offset++;3044break;3045}3046arg_types >>= SLJIT_ARG_SHIFT;3047}30483049return SLJIT_SUCCESS;3050}30513052#endif30533054SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,3055sljit_s32 arg_types)3056{3057#ifdef __SOFTFP__3058struct sljit_jump *jump;3059sljit_u32 extra_space = (sljit_u32)type;3060#endif30613062CHECK_ERROR_PTR();3063CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));30643065#ifdef __SOFTFP__3066if ((type & 0xff) != SLJIT_CALL_REG_ARG) {3067PTR_FAIL_IF(softfloat_call_with_args(compiler, arg_types, NULL, &extra_space));3068SLJIT_ASSERT((extra_space & 0x7) == 0);30693070if ((type & SLJIT_CALL_RETURN) && extra_space == 0)3071type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);30723073SLJIT_SKIP_CHECKS(compiler);3074jump = sljit_emit_jump(compiler, type);3075PTR_FAIL_IF(jump == NULL);30763077if (extra_space > 0) {3078if (type & SLJIT_CALL_RETURN)3079PTR_FAIL_IF(push_inst32(compiler, LDR | RT4(TMP_REG2)3080| RN4(SLJIT_SP) | (extra_space - sizeof(sljit_sw))));30813082PTR_FAIL_IF(push_inst16(compiler, ADD_SP_I | (extra_space >> 2)));30833084if (type & SLJIT_CALL_RETURN) {3085PTR_FAIL_IF(push_inst16(compiler, BX | RN3(TMP_REG2)));3086return jump;3087}3088}30893090SLJIT_ASSERT(!(type & SLJIT_CALL_RETURN));3091PTR_FAIL_IF(softfloat_post_call_with_args(compiler, arg_types));3092return jump;3093}3094#endif /* __SOFTFP__ */30953096if (type & SLJIT_CALL_RETURN) {3097/* ldmia sp!, {..., lr} */3098PTR_FAIL_IF(emit_stack_frame_release(compiler, -1));3099type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);3100}31013102#ifndef __SOFTFP__3103if ((type & 0xff) != SLJIT_CALL_REG_ARG)3104PTR_FAIL_IF(hardfloat_call_with_args(compiler, arg_types));3105#endif /* !__SOFTFP__ */31063107SLJIT_SKIP_CHECKS(compiler);3108return sljit_emit_jump(compiler, type);3109}31103111SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)3112{3113struct sljit_jump *jump;31143115CHECK_ERROR();3116CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));3117ADJUST_LOCAL_OFFSET(src, srcw);31183119SLJIT_ASSERT(reg_map[TMP_REG1] != 14);31203121if (src != SLJIT_IMM) {3122if (FAST_IS_REG(src)) {3123SLJIT_ASSERT(reg_map[src] != 14);3124return push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(src));3125}31263127FAIL_IF(emit_op_mem(compiler, WORD_SIZE, type <= SLJIT_JUMP ? TMP_PC : TMP_REG1, src, srcw, TMP_REG1));3128if (type >= SLJIT_FAST_CALL)3129return push_inst16(compiler, BLX | RN3(TMP_REG1));3130}31313132/* These jumps are converted to jump/call instructions when possible. */3133jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3134FAIL_IF(!jump);3135set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));3136jump->u.target = (sljit_uw)srcw;31373138jump->addr = compiler->size;3139/* Maximum number of instructions required for generating a constant. */3140compiler->size += JUMP_MAX_SIZE - 1;3141return push_inst16(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RN3(TMP_REG1));3142}31433144SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,3145sljit_s32 arg_types,3146sljit_s32 src, sljit_sw srcw)3147{3148#ifdef __SOFTFP__3149sljit_u32 extra_space = (sljit_u32)type;3150#endif31513152CHECK_ERROR();3153CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));31543155if (src & SLJIT_MEM) {3156FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, src, srcw, TMP_REG1));3157src = TMP_REG1;3158}31593160if ((type & SLJIT_CALL_RETURN) && (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options)))) {3161FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(TMP_REG1, src)));3162src = TMP_REG1;3163}31643165#ifdef __SOFTFP__3166if ((type & 0xff) != SLJIT_CALL_REG_ARG) {3167FAIL_IF(softfloat_call_with_args(compiler, arg_types, &src, &extra_space));3168SLJIT_ASSERT((extra_space & 0x7) == 0);31693170if ((type & SLJIT_CALL_RETURN) && extra_space == 0)3171type = SLJIT_JUMP;31723173SLJIT_SKIP_CHECKS(compiler);3174FAIL_IF(sljit_emit_ijump(compiler, type, src, srcw));31753176if (extra_space > 0) {3177if (type & SLJIT_CALL_RETURN)3178FAIL_IF(push_inst32(compiler, LDR | RT4(TMP_REG2)3179| RN4(SLJIT_SP) | (extra_space - sizeof(sljit_sw))));31803181FAIL_IF(push_inst16(compiler, ADD_SP_I | (extra_space >> 2)));31823183if (type & SLJIT_CALL_RETURN)3184return push_inst16(compiler, BX | RN3(TMP_REG2));3185}31863187SLJIT_ASSERT(!(type & SLJIT_CALL_RETURN));3188return softfloat_post_call_with_args(compiler, arg_types);3189}3190#endif /* __SOFTFP__ */31913192if (type & SLJIT_CALL_RETURN) {3193/* ldmia sp!, {..., lr} */3194FAIL_IF(emit_stack_frame_release(compiler, -1));3195type = SLJIT_JUMP;3196}31973198#ifndef __SOFTFP__3199if ((type & 0xff) != SLJIT_CALL_REG_ARG)3200FAIL_IF(hardfloat_call_with_args(compiler, arg_types));3201#endif /* !__SOFTFP__ */32023203SLJIT_SKIP_CHECKS(compiler);3204return sljit_emit_ijump(compiler, type, src, srcw);3205}32063207#ifdef __SOFTFP__32083209static SLJIT_INLINE sljit_s32 emit_fmov_before_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)3210{3211if (compiler->options & SLJIT_ENTER_REG_ARG) {3212if (src == SLJIT_FR0)3213return SLJIT_SUCCESS;32143215SLJIT_SKIP_CHECKS(compiler);3216return sljit_emit_fop1(compiler, op, SLJIT_RETURN_FREG, 0, src, srcw);3217}32183219if (FAST_IS_REG(src)) {3220if (op & SLJIT_32)3221return push_inst32(compiler, VMOV | (1 << 20) | VN4(src) | RT4(SLJIT_R0));3222return push_inst32(compiler, VMOV2 | (1 << 20) | VM4(src) | RT4(SLJIT_R0) | RN4(SLJIT_R1));3223}32243225SLJIT_SKIP_CHECKS(compiler);32263227if (op & SLJIT_32)3228return sljit_emit_op1(compiler, SLJIT_MOV, SLJIT_R0, 0, src, srcw);3229return sljit_emit_mem(compiler, SLJIT_MOV, SLJIT_REG_PAIR(SLJIT_R0, SLJIT_R1), src, srcw);3230}32313232#endif /* __SOFTFP__ */32333234SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,3235sljit_s32 dst, sljit_sw dstw,3236sljit_s32 type)3237{3238sljit_s32 dst_r, flags = GET_ALL_FLAGS(op);3239sljit_ins cc;32403241CHECK_ERROR();3242CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));3243ADJUST_LOCAL_OFFSET(dst, dstw);32443245op = GET_OPCODE(op);3246cc = get_cc(compiler, type);3247dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;32483249if (op < SLJIT_ADD) {3250FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));3251if (reg_map[dst_r] > 7) {3252FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 1));3253FAIL_IF(push_inst32(compiler, MOV_WI | RD4(dst_r) | 0));3254} else {3255/* The movsi (immediate) instruction does not set flags in IT block. */3256FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 1));3257FAIL_IF(push_inst16(compiler, MOVSI | RDN3(dst_r) | 0));3258}3259if (!(dst & SLJIT_MEM))3260return SLJIT_SUCCESS;3261return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG1, dst, dstw, TMP_REG2);3262}32633264if (dst & SLJIT_MEM)3265FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2));32663267if (op == SLJIT_AND) {3268FAIL_IF(push_inst16(compiler, IT | (cc << 4) | (((cc & 0x1) ^ 0x1) << 3) | 0x4));3269FAIL_IF(push_inst32(compiler, ANDI | RN4(dst_r) | RD4(dst_r) | 1));3270FAIL_IF(push_inst32(compiler, ANDI | RN4(dst_r) | RD4(dst_r) | 0));3271}3272else {3273FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3274FAIL_IF(push_inst32(compiler, ((op == SLJIT_OR) ? ORRI : EORI) | RN4(dst_r) | RD4(dst_r) | 1));3275}32763277if (dst & SLJIT_MEM)3278FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG1, dst, dstw, TMP_REG2));32793280if (!(flags & SLJIT_SET_Z))3281return SLJIT_SUCCESS;32823283/* The condition must always be set, even if the ORR/EORI is not executed above. */3284return push_inst32(compiler, MOV_W | SET_FLAGS | RD4(TMP_REG1) | RM4(dst_r));3285}32863287SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_select(struct sljit_compiler *compiler, sljit_s32 type,3288sljit_s32 dst_reg,3289sljit_s32 src1, sljit_sw src1w,3290sljit_s32 src2_reg)3291{3292sljit_uw cc, tmp, tmp2;32933294CHECK_ERROR();3295CHECK(check_sljit_emit_select(compiler, type, dst_reg, src1, src1w, src2_reg));32963297ADJUST_LOCAL_OFFSET(src1, src1w);32983299if (src2_reg != dst_reg && src1 == dst_reg) {3300src1 = src2_reg;3301src1w = 0;3302src2_reg = dst_reg;3303if (!(type & SLJIT_COMPARE_SELECT))3304type ^= 0x1;3305}33063307if (src1 & SLJIT_MEM) {3308FAIL_IF(emit_op_mem(compiler, WORD_SIZE, (src2_reg != dst_reg) ? dst_reg : TMP_REG1, src1, src1w, TMP_REG1));33093310if (src2_reg != dst_reg) {3311src1 = src2_reg;3312src1w = 0;3313if (!(type & SLJIT_COMPARE_SELECT))3314type ^= 0x1;3315} else {3316src1 = TMP_REG1;3317src1w = 0;3318}3319} else if (dst_reg != src2_reg)3320FAIL_IF(push_inst16(compiler, MOV | SET_REGS44(dst_reg, src2_reg)));33213322if ((type & SLJIT_COMPARE_SELECT))3323type ^= 0x1;3324cc = get_cc(compiler, type & ~(SLJIT_32 | SLJIT_COMPARE_SELECT));33253326if (src1 == SLJIT_IMM && (type & SLJIT_COMPARE_SELECT)) {3327tmp = (sljit_uw)src1w;3328if (tmp <= 0xff && reg_map[dst_reg] <= 7) {3329if (type & SLJIT_COMPARE_SELECT)3330FAIL_IF(push_inst16(compiler, CMPI | IMM8(tmp) | RDN3(dst_reg)));3331FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3332return push_inst16(compiler, MOVI | IMM8(tmp) | RDN3(dst_reg));3333}33343335tmp = get_imm((sljit_uw)src1w);3336if (tmp != INVALID_IMM) {3337if (type & SLJIT_COMPARE_SELECT)3338FAIL_IF(push_inst32(compiler, CMPI_W | RN4(dst_reg) | tmp));3339FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3340return push_inst32(compiler, MOV_WI | RD4(dst_reg) | tmp);3341}33423343tmp = get_imm(~(sljit_uw)src1w);3344if (tmp != INVALID_IMM && (type & SLJIT_COMPARE_SELECT)) {3345tmp2 = get_imm(NEGATE(src1w));3346if (tmp2 != INVALID_IMM)3347FAIL_IF(push_inst32(compiler, CMNI_W | RN4(dst_reg) | tmp2));3348else3349tmp = INVALID_IMM;3350}33513352if (tmp != INVALID_IMM) {3353FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3354return push_inst32(compiler, MVN_WI | RD4(dst_reg) | tmp);3355}33563357if (type & SLJIT_COMPARE_SELECT) {3358FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));3359src1 = TMP_REG1;3360}3361}33623363if (src1 != SLJIT_IMM) {3364if (type & SLJIT_COMPARE_SELECT) {3365if (IS_2_LO_REGS(dst_reg, src1))3366FAIL_IF(push_inst16(compiler, CMP | RD3(dst_reg) | RN3(src1)));3367else3368FAIL_IF(push_inst16(compiler, CMP_X | SET_REGS44(dst_reg, src1)));3369}33703371FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3372return push_inst16(compiler, MOV | SET_REGS44(dst_reg, src1));3373}33743375tmp = (sljit_uw)src1w;33763377if (tmp < 0x10000) {3378/* set low 16 bits, set hi 16 bits to 0. */3379FAIL_IF(push_inst16(compiler, IT | (cc << 4) | 0x8));3380return push_inst32(compiler, MOVW | RD4(dst_reg)3381| COPY_BITS(tmp, 12, 16, 4) | COPY_BITS(tmp, 11, 26, 1) | COPY_BITS(tmp, 8, 12, 3) | (tmp & 0xff));3382}33833384FAIL_IF(push_inst16(compiler, IT | (cc << 4) | ((cc & 0x1) << 3) | 0x4));33853386tmp = (sljit_uw)src1w;3387FAIL_IF(push_inst32(compiler, MOVW | RD4(dst_reg)3388| COPY_BITS(tmp, 12, 16, 4) | COPY_BITS(tmp, 11, 26, 1) | COPY_BITS(tmp, 8, 12, 3) | (tmp & 0xff)));3389return push_inst32(compiler, MOVT | RD4(dst_reg)3390| COPY_BITS(tmp, 12 + 16, 16, 4) | COPY_BITS(tmp, 11 + 16, 26, 1) | COPY_BITS(tmp, 8 + 16, 12, 3) | ((tmp & 0xff0000) >> 16));3391}33923393SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fselect(struct sljit_compiler *compiler, sljit_s32 type,3394sljit_s32 dst_freg,3395sljit_s32 src1, sljit_sw src1w,3396sljit_s32 src2_freg)3397{3398CHECK_ERROR();3399CHECK(check_sljit_emit_fselect(compiler, type, dst_freg, src1, src1w, src2_freg));34003401ADJUST_LOCAL_OFFSET(src1, src1w);34023403type ^= SLJIT_32;34043405if (dst_freg != src2_freg) {3406if (dst_freg == src1) {3407src1 = src2_freg;3408src1w = 0;3409type ^= 0x1;3410} else3411FAIL_IF(push_inst32(compiler, VMOV_F32 | (type & SLJIT_32) | VD4(dst_freg) | VM4(src2_freg)));3412}34133414if (src1 & SLJIT_MEM) {3415FAIL_IF(emit_fop_mem(compiler, (type & SLJIT_32) | FPU_LOAD, TMP_FREG2, src1, src1w));3416src1 = TMP_FREG2;3417}34183419FAIL_IF(push_inst16(compiler, IT | (get_cc(compiler, type & ~SLJIT_32) << 4) | 0x8));3420return push_inst32(compiler, VMOV_F32 | (type & SLJIT_32) | VD4(dst_freg) | VM4(src1));3421}34223423SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,3424sljit_s32 reg,3425sljit_s32 mem, sljit_sw memw)3426{3427sljit_s32 flags;3428sljit_uw imm, tmp;34293430CHECK_ERROR();3431CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));34323433if (!(reg & REG_PAIR_MASK))3434return sljit_emit_mem_unaligned(compiler, type, reg, mem, memw);34353436if (type & (SLJIT_MEM_UNALIGNED | SLJIT_MEM_ALIGNED_16 | SLJIT_MEM_ALIGNED_32)) {3437if ((mem & REG_MASK) == 0) {3438if ((memw & 0xfff) >= (0x1000 - SSIZE_OF(sw))) {3439imm = get_imm((sljit_uw)((memw + 0x1000) & ~0xfff));34403441if (imm != INVALID_IMM)3442memw = (memw & 0xfff) - 0x1000;3443} else {3444imm = get_imm((sljit_uw)(memw & ~0xfff));34453446if (imm != INVALID_IMM)3447memw &= 0xfff;3448}34493450if (imm == INVALID_IMM) {3451FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3452memw = 0;3453} else3454FAIL_IF(push_inst32(compiler, MOV_WI | RD4(TMP_REG1) | imm));34553456mem = SLJIT_MEM1(TMP_REG1);3457} else if (mem & OFFS_REG_MASK) {3458FAIL_IF(push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(mem & REG_MASK) | RM4(OFFS_REG(mem)) | ((sljit_uw)(memw & 0x3) << 6)));3459memw = 0;3460mem = SLJIT_MEM1(TMP_REG1);3461} else if (memw < -0xff) {3462/* Zero value can be included in the first case. */3463if ((-memw & 0xfff) <= SSIZE_OF(sw))3464tmp = (sljit_uw)((-memw + 0x7ff) & ~0x7ff);3465else3466tmp = (sljit_uw)((-memw + 0xfff) & ~0xfff);34673468SLJIT_ASSERT(tmp >= (sljit_uw)-memw);3469imm = get_imm(tmp);34703471if (imm != INVALID_IMM) {3472FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(mem & REG_MASK) | imm));3473memw += (sljit_sw)tmp;3474SLJIT_ASSERT(memw >= 0 && memw <= 0xfff - SSIZE_OF(sw));3475} else {3476FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3477FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, mem & REG_MASK)));3478memw = 0;3479}34803481mem = SLJIT_MEM1(TMP_REG1);3482} else if (memw >= (0x1000 - SSIZE_OF(sw))) {3483if ((memw & 0xfff) >= (0x1000 - SSIZE_OF(sw))) {3484imm = get_imm((sljit_uw)((memw + 0x1000) & ~0xfff));34853486if (imm != INVALID_IMM)3487memw = (memw & 0xfff) - 0x1000;3488} else {3489imm = get_imm((sljit_uw)(memw & ~0xfff));34903491if (imm != INVALID_IMM)3492memw &= 0xfff;3493}34943495if (imm != INVALID_IMM) {3496SLJIT_ASSERT(memw >= -0xff && memw <= 0xfff);3497FAIL_IF(push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(mem & REG_MASK) | imm));3498} else {3499FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3500FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, mem & REG_MASK)));3501memw = 0;3502}35033504mem = SLJIT_MEM1(TMP_REG1);3505}35063507flags = WORD_SIZE;35083509SLJIT_ASSERT(memw <= 0xfff - SSIZE_OF(sw) && memw >= -0xff);35103511if (type & SLJIT_MEM_STORE) {3512flags |= STORE;3513} else if (REG_PAIR_FIRST(reg) == (mem & REG_MASK)) {3514FAIL_IF(emit_op_mem(compiler, WORD_SIZE, REG_PAIR_SECOND(reg), mem, memw + SSIZE_OF(sw), TMP_REG2));3515return emit_op_mem(compiler, WORD_SIZE, REG_PAIR_FIRST(reg), mem, memw, TMP_REG2);3516}35173518FAIL_IF(emit_op_mem(compiler, flags, REG_PAIR_FIRST(reg), mem, memw, TMP_REG2));3519return emit_op_mem(compiler, flags, REG_PAIR_SECOND(reg), mem, memw + SSIZE_OF(sw), TMP_REG2);3520}35213522flags = 1 << 23;35233524if ((mem & REG_MASK) == 0) {3525tmp = (sljit_uw)(memw & 0x7fc);3526imm = get_imm((sljit_uw)((memw + (tmp <= 0x400 ? 0 : 0x400)) & ~0x3fc));35273528if (imm == INVALID_IMM) {3529FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3530memw = 0;3531} else {3532FAIL_IF(push_inst32(compiler, MOV_WI | RD4(TMP_REG1) | imm));3533memw = (memw & 0x3fc) >> 2;35343535if (tmp > 0x400) {3536memw = 0x100 - memw;3537flags = 0;3538}35393540SLJIT_ASSERT(memw >= 0 && memw <= 0xff);3541}35423543mem = SLJIT_MEM1(TMP_REG1);3544} else if (mem & OFFS_REG_MASK) {3545FAIL_IF(push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(mem & REG_MASK) | RM4(OFFS_REG(mem)) | ((sljit_uw)(memw & 0x3) << 6)));3546memw = 0;3547mem = SLJIT_MEM1(TMP_REG1);3548} else if (memw < 0) {3549if ((-memw & ~0x3fc) == 0) {3550flags = 0;3551memw = -memw >> 2;3552} else {3553tmp = (sljit_uw)(-memw & 0x7fc);3554imm = get_imm((sljit_uw)((-memw + (tmp <= 0x400 ? 0 : 0x400)) & ~0x3fc));35553556if (imm != INVALID_IMM) {3557FAIL_IF(push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(mem & REG_MASK) | imm));3558memw = (-memw & 0x3fc) >> 2;35593560if (tmp <= 0x400)3561flags = 0;3562else3563memw = 0x100 - memw;3564} else {3565FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3566FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, mem & REG_MASK)));3567memw = 0;3568}35693570mem = SLJIT_MEM1(TMP_REG1);3571}3572} else if ((memw & ~0x3fc) != 0) {3573tmp = (sljit_uw)(memw & 0x7fc);3574imm = get_imm((sljit_uw)((memw + (tmp <= 0x400 ? 0 : 0x400)) & ~0x3fc));35753576if (imm != INVALID_IMM) {3577FAIL_IF(push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(mem & REG_MASK) | imm));3578memw = (memw & 0x3fc) >> 2;35793580if (tmp > 0x400) {3581memw = 0x100 - memw;3582flags = 0;3583}3584} else {3585FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3586FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, mem & REG_MASK)));3587memw = 0;3588}35893590mem = SLJIT_MEM1(TMP_REG1);3591} else3592memw >>= 2;35933594SLJIT_ASSERT(memw >= 0 && memw <= 0xff);3595return push_inst32(compiler, ((type & SLJIT_MEM_STORE) ? STRD : LDRD) | (sljit_ins)flags | RN4(mem & REG_MASK) | RT4(REG_PAIR_FIRST(reg)) | RD4(REG_PAIR_SECOND(reg)) | (sljit_ins)memw);3596}35973598SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem_update(struct sljit_compiler *compiler, sljit_s32 type,3599sljit_s32 reg,3600sljit_s32 mem, sljit_sw memw)3601{3602sljit_s32 flags;3603sljit_ins inst;36043605CHECK_ERROR();3606CHECK(check_sljit_emit_mem_update(compiler, type, reg, mem, memw));36073608if ((mem & OFFS_REG_MASK) || (memw > 255 || memw < -255))3609return SLJIT_ERR_UNSUPPORTED;36103611if (type & SLJIT_MEM_SUPP)3612return SLJIT_SUCCESS;36133614switch (type & 0xff) {3615case SLJIT_MOV:3616case SLJIT_MOV_U32:3617case SLJIT_MOV_S32:3618case SLJIT_MOV32:3619case SLJIT_MOV_P:3620flags = WORD_SIZE;3621break;3622case SLJIT_MOV_U8:3623flags = BYTE_SIZE;3624break;3625case SLJIT_MOV_S8:3626flags = BYTE_SIZE | SIGNED;3627break;3628case SLJIT_MOV_U16:3629flags = HALF_SIZE;3630break;3631case SLJIT_MOV_S16:3632flags = HALF_SIZE | SIGNED;3633break;3634default:3635SLJIT_UNREACHABLE();3636flags = WORD_SIZE;3637break;3638}36393640if (type & SLJIT_MEM_STORE)3641flags |= STORE;36423643inst = sljit_mem32[flags] | 0x900;36443645if (!(type & SLJIT_MEM_POST))3646inst |= 0x400;36473648if (memw >= 0)3649inst |= 0x200;3650else3651memw = -memw;36523653return push_inst32(compiler, inst | RT4(reg) | RN4(mem & REG_MASK) | (sljit_ins)memw);3654}36553656static sljit_s32 update_mem_addr(struct sljit_compiler *compiler, sljit_s32 *mem, sljit_sw *memw, sljit_s32 max_offset)3657{3658sljit_s32 arg = *mem;3659sljit_sw argw = *memw;3660sljit_uw imm;36613662*mem = TMP_REG1;36633664if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {3665*memw = 0;3666return push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(arg & REG_MASK) | RM4(OFFS_REG(arg)) | ((sljit_uw)(argw & 0x3) << 6));3667}36683669arg &= REG_MASK;36703671if (arg) {3672if (argw <= max_offset && argw >= -0xff) {3673*mem = arg;3674return SLJIT_SUCCESS;3675}36763677if (argw < 0) {3678imm = get_imm((sljit_uw)(-argw & ~0xff));36793680if (imm) {3681*memw = -(-argw & 0xff);3682return push_inst32(compiler, SUB_WI | RD4(TMP_REG1) | RN4(arg) | imm);3683}3684} else if ((argw & 0xfff) <= max_offset) {3685imm = get_imm((sljit_uw)(argw & ~0xfff));36863687if (imm) {3688*memw = argw & 0xfff;3689return push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(arg) | imm);3690}3691} else {3692imm = get_imm((sljit_uw)((argw | 0xfff) + 1));36933694if (imm) {3695*memw = (argw & 0xfff) - 0x1000;3696return push_inst32(compiler, ADD_WI | RD4(TMP_REG1) | RN4(arg) | imm);3697}3698}3699}37003701imm = (sljit_uw)(argw & ~0xfff);37023703if ((argw & 0xfff) > max_offset) {3704imm += 0x1000;3705*memw = (argw & 0xfff) - 0x1000;3706} else3707*memw = argw & 0xfff;37083709FAIL_IF(load_immediate(compiler, TMP_REG1, imm));37103711if (arg == 0)3712return SLJIT_SUCCESS;37133714return push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, arg));3715}37163717SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fmem(struct sljit_compiler *compiler, sljit_s32 type,3718sljit_s32 freg,3719sljit_s32 mem, sljit_sw memw)3720{3721CHECK_ERROR();3722CHECK(check_sljit_emit_fmem(compiler, type, freg, mem, memw));37233724if (type & SLJIT_MEM_ALIGNED_32)3725return emit_fop_mem(compiler, ((type ^ SLJIT_32) & SLJIT_32) | ((type & SLJIT_MEM_STORE) ? 0 : FPU_LOAD), freg, mem, memw);37263727if (type & SLJIT_MEM_STORE) {3728FAIL_IF(push_inst32(compiler, VMOV | (1 << 20) | VN4(freg) | RT4(TMP_REG2)));37293730if (type & SLJIT_32)3731return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, mem, memw, TMP_REG1);37323733FAIL_IF(update_mem_addr(compiler, &mem, &memw, 0xfff - 4));3734mem |= SLJIT_MEM;37353736FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, mem, memw, TMP_REG1));3737FAIL_IF(push_inst32(compiler, VMOV | (1 << 20) | VN4(freg) | 0x80 | RT4(TMP_REG2)));3738return emit_op_mem(compiler, WORD_SIZE | STORE, TMP_REG2, mem, memw + 4, TMP_REG1);3739}37403741if (type & SLJIT_32) {3742FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, mem, memw, TMP_REG1));3743return push_inst32(compiler, VMOV | VN4(freg) | RT4(TMP_REG2));3744}37453746FAIL_IF(update_mem_addr(compiler, &mem, &memw, 0xfff - 4));3747mem |= SLJIT_MEM;37483749FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, mem, memw, TMP_REG1));3750FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, mem, memw + 4, TMP_REG1));3751return push_inst32(compiler, VMOV2 | VM4(freg) | RT4(TMP_REG2) | RN4(TMP_REG1));3752}37533754static sljit_s32 sljit_emit_simd_mem_offset(struct sljit_compiler *compiler, sljit_s32 *mem_ptr, sljit_sw memw)3755{3756sljit_uw imm;3757sljit_s32 mem = *mem_ptr;37583759if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3760*mem_ptr = TMP_REG1;3761return push_inst32(compiler, ADD_W | RD4(TMP_REG1) | RN4(mem & REG_MASK) | RM4(OFFS_REG(mem)) | ((sljit_uw)(memw & 0x3) << 6));3762}37633764if (SLJIT_UNLIKELY(!(mem & REG_MASK))) {3765*mem_ptr = TMP_REG1;3766return load_immediate(compiler, TMP_REG1, (sljit_uw)memw);3767}37683769mem &= REG_MASK;37703771if (memw == 0) {3772*mem_ptr = mem;3773return SLJIT_SUCCESS;3774}37753776*mem_ptr = TMP_REG1;3777imm = get_imm((sljit_uw)(memw < 0 ? -memw : memw));37783779if (imm != INVALID_IMM)3780return push_inst32(compiler, ((memw < 0) ? SUB_WI : ADD_WI) | RD4(TMP_REG1) | RN4(mem) | imm);37813782FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3783return push_inst16(compiler, ADD | SET_REGS44(TMP_REG1, mem));3784}37853786static SLJIT_INLINE sljit_s32 simd_get_quad_reg_index(sljit_s32 freg)3787{3788freg += freg & 0x1;37893790SLJIT_ASSERT((freg_map[freg] & 0x1) == (freg <= SLJIT_NUMBER_OF_SCRATCH_FLOAT_REGISTERS));37913792if (freg <= SLJIT_NUMBER_OF_SCRATCH_FLOAT_REGISTERS)3793freg--;37943795return freg;3796}37973798#define SLJIT_QUAD_OTHER_HALF(freg) ((((freg) & 0x1) << 1) - 1)37993800SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_mov(struct sljit_compiler *compiler, sljit_s32 type,3801sljit_s32 vreg,3802sljit_s32 srcdst, sljit_sw srcdstw)3803{3804sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3805sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3806sljit_s32 alignment = SLJIT_SIMD_GET_ELEM2_SIZE(type);3807sljit_ins ins;38083809CHECK_ERROR();3810CHECK(check_sljit_emit_simd_mov(compiler, type, vreg, srcdst, srcdstw));38113812ADJUST_LOCAL_OFFSET(srcdst, srcdstw);38133814if (reg_size != 3 && reg_size != 4)3815return SLJIT_ERR_UNSUPPORTED;38163817if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3818return SLJIT_ERR_UNSUPPORTED;38193820if (type & SLJIT_SIMD_TEST)3821return SLJIT_SUCCESS;38223823if (reg_size == 4)3824vreg = simd_get_quad_reg_index(vreg);38253826if (!(srcdst & SLJIT_MEM)) {3827if (reg_size == 4)3828srcdst = simd_get_quad_reg_index(srcdst);38293830if (type & SLJIT_SIMD_STORE)3831ins = VD4(srcdst) | VN4(vreg) | VM4(vreg);3832else3833ins = VD4(vreg) | VN4(srcdst) | VM4(srcdst);38343835if (reg_size == 4)3836ins |= (sljit_ins)1 << 6;38373838return push_inst32(compiler, VORR | ins);3839}38403841FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));38423843if (elem_size > 3)3844elem_size = 3;38453846ins = ((type & SLJIT_SIMD_STORE) ? VST1 : VLD1) | VD4(vreg)3847| (sljit_ins)((reg_size == 3) ? (0x7 << 8) : (0xa << 8));38483849SLJIT_ASSERT(reg_size >= alignment);38503851if (alignment == 3)3852ins |= 0x10;3853else if (alignment >= 4)3854ins |= 0x20;38553856return push_inst32(compiler, ins | RN4(srcdst) | ((sljit_ins)elem_size) << 6 | 0xf);3857}38583859static sljit_ins simd_get_imm(sljit_s32 elem_size, sljit_uw value)3860{3861sljit_ins result;38623863if (elem_size > 1 && (sljit_u16)value == (value >> 16)) {3864elem_size = 1;3865value = (sljit_u16)value;3866}38673868if (elem_size == 1 && (sljit_u8)value == (value >> 8)) {3869elem_size = 0;3870value = (sljit_u8)value;3871}38723873switch (elem_size) {3874case 0:3875SLJIT_ASSERT(value <= 0xff);3876result = 0xe00;3877break;3878case 1:3879SLJIT_ASSERT(value <= 0xffff);3880result = 0;38813882while (1) {3883if (value <= 0xff) {3884result |= 0x800;3885break;3886}38873888if ((value & 0xff) == 0) {3889value >>= 8;3890result |= 0xa00;3891break;3892}38933894if (result != 0)3895return ~(sljit_ins)0;38963897value ^= (sljit_uw)0xffff;3898result = (1 << 5);3899}3900break;3901default:3902SLJIT_ASSERT(value <= 0xffffffff);3903result = 0;39043905while (1) {3906if (value <= 0xff) {3907result |= 0x000;3908break;3909}39103911if ((value & ~(sljit_uw)0xff00) == 0) {3912value >>= 8;3913result |= 0x200;3914break;3915}39163917if ((value & ~(sljit_uw)0xff0000) == 0) {3918value >>= 16;3919result |= 0x400;3920break;3921}39223923if ((value & ~(sljit_uw)0xff000000) == 0) {3924value >>= 24;3925result |= 0x600;3926break;3927}39283929if ((value & (sljit_uw)0xff) == 0xff && (value >> 16) == 0) {3930value >>= 8;3931result |= 0xc00;3932break;3933}39343935if ((value & (sljit_uw)0xffff) == 0xffff && (value >> 24) == 0) {3936value >>= 16;3937result |= 0xd00;3938break;3939}39403941if (result != 0)3942return ~(sljit_ins)0;39433944value = ~value;3945result = (1 << 5);3946}3947break;3948}39493950return ((sljit_ins)value & 0xf) | (((sljit_ins)value & 0x70) << 12) | (((sljit_ins)value & 0x80) << 21) | result;3951}39523953SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_replicate(struct sljit_compiler *compiler, sljit_s32 type,3954sljit_s32 vreg,3955sljit_s32 src, sljit_sw srcw)3956{3957sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3958sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3959sljit_ins ins, imm;39603961CHECK_ERROR();3962CHECK(check_sljit_emit_simd_replicate(compiler, type, vreg, src, srcw));39633964ADJUST_LOCAL_OFFSET(src, srcw);39653966if (reg_size != 3 && reg_size != 4)3967return SLJIT_ERR_UNSUPPORTED;39683969if ((type & SLJIT_SIMD_FLOAT) ? (elem_size < 2 || elem_size > 3) : (elem_size > 2))3970return SLJIT_ERR_UNSUPPORTED;39713972if (type & SLJIT_SIMD_TEST)3973return SLJIT_SUCCESS;39743975if (reg_size == 4)3976vreg = simd_get_quad_reg_index(vreg);39773978if (src == SLJIT_IMM && srcw == 0)3979return push_inst32(compiler, VMOV_i | ((reg_size == 4) ? (1 << 6) : 0) | VD4(vreg));39803981if (SLJIT_UNLIKELY(elem_size == 3)) {3982SLJIT_ASSERT(type & SLJIT_SIMD_FLOAT);39833984if (src & SLJIT_MEM) {3985FAIL_IF(emit_fop_mem(compiler, FPU_LOAD | SLJIT_32, vreg, src, srcw));3986src = vreg;3987} else if (vreg != src)3988FAIL_IF(push_inst32(compiler, VORR | VD4(vreg) | VN4(src) | VM4(src)));39893990vreg += SLJIT_QUAD_OTHER_HALF(vreg);39913992if (vreg != src)3993return push_inst32(compiler, VORR | VD4(vreg) | VN4(src) | VM4(src));3994return SLJIT_SUCCESS;3995}39963997if (src & SLJIT_MEM) {3998FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));39994000ins = (sljit_ins)(elem_size << 6);40014002if (reg_size == 4)4003ins |= 1 << 5;40044005return push_inst32(compiler, VLD1_r | ins | VD4(vreg) | RN4(src) | 0xf);4006}40074008if (type & SLJIT_SIMD_FLOAT) {4009SLJIT_ASSERT(elem_size == 2);4010ins = ((sljit_ins)freg_ebit_map[src] << (16 + 2 + 1)) | ((sljit_ins)1 << (16 + 2));40114012if (reg_size == 4)4013ins |= (sljit_ins)1 << 6;40144015return push_inst32(compiler, VDUP_s | ins | VD4(vreg) | (sljit_ins)freg_map[src]);4016}40174018if (src == SLJIT_IMM) {4019if (elem_size < 2)4020srcw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;40214022imm = simd_get_imm(elem_size, (sljit_uw)srcw);40234024if (imm != ~(sljit_ins)0) {4025if (reg_size == 4)4026imm |= (sljit_ins)1 << 6;40274028return push_inst32(compiler, VMOV_i | imm | VD4(vreg));4029}40304031FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcw));4032src = TMP_REG1;4033}40344035switch (elem_size) {4036case 0:4037ins = 1 << 22;4038break;4039case 1:4040ins = 1 << 5;4041break;4042default:4043ins = 0;4044break;4045}40464047if (reg_size == 4)4048ins |= (sljit_ins)1 << 21;40494050return push_inst32(compiler, VDUP | ins | VN4(vreg) | RT4(src));4051}40524053SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_mov(struct sljit_compiler *compiler, sljit_s32 type,4054sljit_s32 vreg, sljit_s32 lane_index,4055sljit_s32 srcdst, sljit_sw srcdstw)4056{4057sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4058sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4059sljit_ins ins;40604061CHECK_ERROR();4062CHECK(check_sljit_emit_simd_lane_mov(compiler, type, vreg, lane_index, srcdst, srcdstw));40634064ADJUST_LOCAL_OFFSET(srcdst, srcdstw);40654066if (reg_size != 3 && reg_size != 4)4067return SLJIT_ERR_UNSUPPORTED;40684069if ((type & SLJIT_SIMD_FLOAT) ? (elem_size < 2 || elem_size > 3) : (elem_size > 2))4070return SLJIT_ERR_UNSUPPORTED;40714072if (type & SLJIT_SIMD_TEST)4073return SLJIT_SUCCESS;40744075if (reg_size == 4)4076vreg = simd_get_quad_reg_index(vreg);40774078if (type & SLJIT_SIMD_LANE_ZERO) {4079ins = (reg_size == 3) ? 0 : ((sljit_ins)1 << 6);40804081if (type & SLJIT_SIMD_FLOAT) {4082if (elem_size == 3 && !(srcdst & SLJIT_MEM)) {4083if (lane_index == 1)4084vreg += SLJIT_QUAD_OTHER_HALF(vreg);40854086if (srcdst != vreg)4087FAIL_IF(push_inst32(compiler, VORR | VD4(vreg) | VN4(srcdst) | VM4(srcdst)));40884089vreg += SLJIT_QUAD_OTHER_HALF(vreg);4090return push_inst32(compiler, VMOV_i | VD4(vreg));4091}40924093if (srcdst == vreg || (elem_size == 3 && srcdst == (vreg + SLJIT_QUAD_OTHER_HALF(vreg)))) {4094FAIL_IF(push_inst32(compiler, VORR | ins | VD4(TMP_FREG2) | VN4(vreg) | VM4(vreg)));4095srcdst = TMP_FREG2;4096srcdstw = 0;4097}4098}40994100FAIL_IF(push_inst32(compiler, VMOV_i | ins | VD4(vreg)));4101}41024103if (reg_size == 4 && lane_index >= (0x8 >> elem_size)) {4104lane_index -= (0x8 >> elem_size);4105vreg += SLJIT_QUAD_OTHER_HALF(vreg);4106}41074108if (srcdst & SLJIT_MEM) {4109if (elem_size == 3)4110return emit_fop_mem(compiler, ((type & SLJIT_SIMD_STORE) ? 0 : FPU_LOAD) | SLJIT_32, vreg, srcdst, srcdstw);41114112FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));41134114lane_index = lane_index << elem_size;4115ins = (sljit_ins)((elem_size << 10) | (lane_index << 5));4116return push_inst32(compiler, ((type & SLJIT_SIMD_STORE) ? VST1_s : VLD1_s) | ins | VD4(vreg) | RN4(srcdst) | 0xf);4117}41184119if (type & SLJIT_SIMD_FLOAT) {4120if (elem_size == 3) {4121if (type & SLJIT_SIMD_STORE)4122return push_inst32(compiler, VORR | VD4(srcdst) | VN4(vreg) | VM4(vreg));4123return push_inst32(compiler, VMOV_F32 | SLJIT_32 | VD4(vreg) | VM4(srcdst));4124}41254126if (type & SLJIT_SIMD_STORE) {4127if (freg_ebit_map[vreg] == 0) {4128if (lane_index == 1)4129vreg = SLJIT_F64_SECOND(vreg);41304131return push_inst32(compiler, VMOV_F32 | VD4(srcdst) | VM4(vreg));4132}41334134FAIL_IF(push_inst32(compiler, VMOV_s | (1 << 20) | ((sljit_ins)lane_index << 21) | VN4(vreg) | RT4(TMP_REG1)));4135return push_inst32(compiler, VMOV | VN4(srcdst) | RT4(TMP_REG1));4136}41374138FAIL_IF(push_inst32(compiler, VMOV | (1 << 20) | VN4(srcdst) | RT4(TMP_REG1)));4139return push_inst32(compiler, VMOV_s | ((sljit_ins)lane_index << 21) | VN4(vreg) | RT4(TMP_REG1));4140}41414142if (srcdst == SLJIT_IMM) {4143if (elem_size < 2)4144srcdstw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;41454146FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcdstw));4147srcdst = TMP_REG1;4148}41494150if (elem_size == 0)4151ins = 0x400000;4152else if (elem_size == 1)4153ins = 0x20;4154else4155ins = 0;41564157lane_index = lane_index << elem_size;4158ins |= (sljit_ins)(((lane_index & 0x4) << 19) | ((lane_index & 0x3) << 5));41594160if (type & SLJIT_SIMD_STORE) {4161ins |= (1 << 20);41624163if (elem_size < 2 && !(type & SLJIT_SIMD_LANE_SIGNED))4164ins |= (1 << 23);4165}41664167return push_inst32(compiler, VMOV_s | ins | VN4(vreg) | RT4(srcdst));4168}41694170SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_replicate(struct sljit_compiler *compiler, sljit_s32 type,4171sljit_s32 vreg,4172sljit_s32 src, sljit_s32 src_lane_index)4173{4174sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4175sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4176sljit_ins ins;41774178CHECK_ERROR();4179CHECK(check_sljit_emit_simd_lane_replicate(compiler, type, vreg, src, src_lane_index));41804181if (reg_size != 3 && reg_size != 4)4182return SLJIT_ERR_UNSUPPORTED;41834184if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4185return SLJIT_ERR_UNSUPPORTED;41864187if (type & SLJIT_SIMD_TEST)4188return SLJIT_SUCCESS;41894190if (reg_size == 4) {4191vreg = simd_get_quad_reg_index(vreg);4192src = simd_get_quad_reg_index(src);41934194if (src_lane_index >= (0x8 >> elem_size)) {4195src_lane_index -= (0x8 >> elem_size);4196src += SLJIT_QUAD_OTHER_HALF(src);4197}4198}41994200if (elem_size == 3) {4201if (vreg != src)4202FAIL_IF(push_inst32(compiler, VORR | VD4(vreg) | VN4(src) | VM4(src)));42034204vreg += SLJIT_QUAD_OTHER_HALF(vreg);42054206if (vreg != src)4207return push_inst32(compiler, VORR | VD4(vreg) | VN4(src) | VM4(src));4208return SLJIT_SUCCESS;4209}42104211ins = ((((sljit_ins)src_lane_index << 1) | 1) << (16 + elem_size));42124213if (reg_size == 4)4214ins |= (sljit_ins)1 << 6;42154216return push_inst32(compiler, VDUP_s | ins | VD4(vreg) | VM4(src));4217}42184219SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_extend(struct sljit_compiler *compiler, sljit_s32 type,4220sljit_s32 vreg,4221sljit_s32 src, sljit_sw srcw)4222{4223sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4224sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4225sljit_s32 elem2_size = SLJIT_SIMD_GET_ELEM2_SIZE(type);4226sljit_s32 dst_reg;42274228CHECK_ERROR();4229CHECK(check_sljit_emit_simd_extend(compiler, type, vreg, src, srcw));42304231ADJUST_LOCAL_OFFSET(src, srcw);42324233if (reg_size != 3 && reg_size != 4)4234return SLJIT_ERR_UNSUPPORTED;42354236if ((type & SLJIT_SIMD_FLOAT) && (elem_size != 2 || elem2_size != 3))4237return SLJIT_ERR_UNSUPPORTED;42384239if (type & SLJIT_SIMD_TEST)4240return SLJIT_SUCCESS;42414242if (reg_size == 4)4243vreg = simd_get_quad_reg_index(vreg);42444245if (src & SLJIT_MEM) {4246FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));4247if (reg_size == 4 && elem2_size - elem_size == 1)4248FAIL_IF(push_inst32(compiler, VLD1 | (0x7 << 8) | VD4(vreg) | RN4(src) | 0xf));4249else4250FAIL_IF(push_inst32(compiler, VLD1_s | (sljit_ins)((reg_size - elem2_size + elem_size) << 10) | VD4(vreg) | RN4(src) | 0xf));4251src = vreg;4252} else if (reg_size == 4)4253src = simd_get_quad_reg_index(src);42544255if (!(type & SLJIT_SIMD_FLOAT)) {4256dst_reg = (reg_size == 4) ? vreg : TMP_FREG2;42574258do {4259FAIL_IF(push_inst32(compiler, VSHLL | ((type & SLJIT_SIMD_EXTEND_SIGNED) ? 0 : (1 << 28))4260| ((sljit_ins)1 << (19 + elem_size)) | VD4(dst_reg) | VM4(src)));4261src = dst_reg;4262} while (++elem_size < elem2_size);42634264if (dst_reg == TMP_FREG2)4265return push_inst32(compiler, VORR | VD4(vreg) | VN4(TMP_FREG2) | VM4(TMP_FREG2));4266return SLJIT_SUCCESS;4267}42684269/* No SIMD variant, must use VFP instead. */4270SLJIT_ASSERT(reg_size == 4);42714272if (vreg == src) {4273vreg += SLJIT_QUAD_OTHER_HALF(vreg);4274FAIL_IF(push_inst32(compiler, VCVT_F64_F32 | VD4(vreg) | VM4(src) | 0x20));4275vreg += SLJIT_QUAD_OTHER_HALF(vreg);4276return push_inst32(compiler, VCVT_F64_F32 | VD4(vreg) | VM4(src));4277}42784279FAIL_IF(push_inst32(compiler, VCVT_F64_F32 | VD4(vreg) | VM4(src)));4280vreg += SLJIT_QUAD_OTHER_HALF(vreg);4281return push_inst32(compiler, VCVT_F64_F32 | VD4(vreg) | VM4(src) | 0x20);4282}42834284SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_sign(struct sljit_compiler *compiler, sljit_s32 type,4285sljit_s32 vreg,4286sljit_s32 dst, sljit_sw dstw)4287{4288sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4289sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4290sljit_ins ins, imms;4291sljit_s32 dst_r;42924293CHECK_ERROR();4294CHECK(check_sljit_emit_simd_sign(compiler, type, vreg, dst, dstw));42954296ADJUST_LOCAL_OFFSET(dst, dstw);42974298if (reg_size != 3 && reg_size != 4)4299return SLJIT_ERR_UNSUPPORTED;43004301if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4302return SLJIT_ERR_UNSUPPORTED;43034304if (type & SLJIT_SIMD_TEST)4305return SLJIT_SUCCESS;43064307switch (elem_size) {4308case 0:4309imms = 0x243219;4310ins = VSHR | (1 << 28) | (0x9 << 16);4311break;4312case 1:4313imms = (reg_size == 4) ? 0x243219 : 0x2231;4314ins = VSHR | (1 << 28) | (0x11 << 16);4315break;4316case 2:4317imms = (reg_size == 4) ? 0x2231 : 0x21;4318ins = VSHR | (1 << 28) | (0x21 << 16);4319break;4320default:4321imms = 0x21;4322ins = VSHR | (1 << 28) | (0x1 << 16) | (1 << 7);4323break;4324}43254326if (reg_size == 4) {4327vreg = simd_get_quad_reg_index(vreg);4328ins |= (sljit_ins)1 << 6;4329}43304331SLJIT_ASSERT((freg_map[TMP_FREG2] & 0x1) == 0);4332FAIL_IF(push_inst32(compiler, ins | VD4(TMP_FREG2) | VM4(vreg)));43334334if (reg_size == 4 && elem_size > 0)4335FAIL_IF(push_inst32(compiler, VMOVN | ((sljit_ins)(elem_size - 1) << 18) | VD4(TMP_FREG2) | VM4(TMP_FREG2)));43364337ins = (reg_size == 4 && elem_size == 0) ? (1 << 6) : 0;43384339while (imms >= 0x100) {4340FAIL_IF(push_inst32(compiler, VSRA | (1 << 28) | ins | ((imms & 0xff) << 16) | VD4(TMP_FREG2) | VM4(TMP_FREG2)));4341imms >>= 8;4342}43434344FAIL_IF(push_inst32(compiler, VSRA | (1 << 28) | ins | (1 << 7) | (imms << 16) | VD4(TMP_FREG2) | VM4(TMP_FREG2)));43454346dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;4347FAIL_IF(push_inst32(compiler, VMOV_s | (1 << 20) | (1 << 23) | (0x2 << 21) | RT4(dst_r) | VN4(TMP_FREG2)));43484349if (reg_size == 4 && elem_size == 0) {4350SLJIT_ASSERT(freg_map[TMP_FREG2] + 1 == freg_map[TMP_FREG1]);4351FAIL_IF(push_inst32(compiler, VMOV_s | (1 << 20) | (1 << 23) | (0x2 << 21) | RT4(TMP_REG2)| VN4(TMP_FREG1)));4352FAIL_IF(push_inst32(compiler, ORR_W | RD4(dst_r) | RN4(dst_r) | RM4(TMP_REG2) | (0x2 << 12)));4353}43544355if (dst_r == TMP_REG1)4356return emit_op_mem(compiler, STORE | WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2);43574358return SLJIT_SUCCESS;4359}43604361SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_op2(struct sljit_compiler *compiler, sljit_s32 type,4362sljit_s32 dst_vreg, sljit_s32 src1_vreg, sljit_s32 src2, sljit_sw src2w)4363{4364sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4365sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4366sljit_s32 alignment;4367sljit_ins ins = 0, load_ins;43684369CHECK_ERROR();4370CHECK(check_sljit_emit_simd_op2(compiler, type, dst_vreg, src1_vreg, src2, src2w));4371ADJUST_LOCAL_OFFSET(src2, src2w);43724373if (reg_size != 3 && reg_size != 4)4374return SLJIT_ERR_UNSUPPORTED;43754376if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4377return SLJIT_ERR_UNSUPPORTED;43784379if (type & SLJIT_SIMD_TEST)4380return SLJIT_SUCCESS;43814382switch (SLJIT_SIMD_GET_OPCODE(type)) {4383case SLJIT_SIMD_OP2_AND:4384ins = VAND;4385break;4386case SLJIT_SIMD_OP2_OR:4387ins = VORR;4388break;4389case SLJIT_SIMD_OP2_XOR:4390ins = VEOR;4391break;4392case SLJIT_SIMD_OP2_SHUFFLE:4393ins = VTBL;4394break;4395}43964397if (src2 & SLJIT_MEM) {4398if (elem_size > 3)4399elem_size = 3;44004401load_ins = VLD1 | (sljit_ins)((reg_size == 3) ? (0x7 << 8) : (0xa << 8));4402alignment = SLJIT_SIMD_GET_ELEM2_SIZE(type);44034404SLJIT_ASSERT(reg_size >= alignment);44054406if (alignment == 3)4407load_ins |= 0x10;4408else if (alignment >= 4)4409load_ins |= 0x20;44104411FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src2, src2w));4412FAIL_IF(push_inst32(compiler, load_ins | VD4(TMP_FREG2) | RN4(src2) | ((sljit_ins)elem_size) << 6 | 0xf));4413src2 = TMP_FREG2;4414}44154416if (reg_size == 4) {4417dst_vreg = simd_get_quad_reg_index(dst_vreg);4418src1_vreg = simd_get_quad_reg_index(src1_vreg);4419src2 = simd_get_quad_reg_index(src2);44204421if (SLJIT_SIMD_GET_OPCODE(type) == SLJIT_SIMD_OP2_SHUFFLE) {4422ins |= (sljit_ins)1 << 8;44234424FAIL_IF(push_inst32(compiler, ins | VD4(dst_vreg != src1_vreg ? dst_vreg : TMP_FREG2) | VN4(src1_vreg) | VM4(src2)));4425src2 += SLJIT_QUAD_OTHER_HALF(src2);4426FAIL_IF(push_inst32(compiler, ins | VD4(dst_vreg + SLJIT_QUAD_OTHER_HALF(dst_vreg)) | VN4(src1_vreg) | VM4(src2)));44274428if (dst_vreg == src1_vreg)4429return push_inst32(compiler, VORR | VD4(dst_vreg) | VN4(TMP_FREG2) | VM4(TMP_FREG2));4430return SLJIT_SUCCESS;4431}44324433ins |= (sljit_ins)1 << 6;4434}44354436return push_inst32(compiler, ins | VD4(dst_vreg) | VN4(src1_vreg) | VM4(src2));4437}44384439#undef FPU_LOAD44404441SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_load(struct sljit_compiler *compiler, sljit_s32 op,4442sljit_s32 dst_reg,4443sljit_s32 mem_reg)4444{4445sljit_ins ins;44464447CHECK_ERROR();4448CHECK(check_sljit_emit_atomic_load(compiler, op, dst_reg, mem_reg));44494450if (op & SLJIT_ATOMIC_USE_CAS)4451return SLJIT_ERR_UNSUPPORTED;44524453switch (GET_OPCODE(op)) {4454case SLJIT_MOV_S8:4455case SLJIT_MOV_S16:4456case SLJIT_MOV_S32:4457return SLJIT_ERR_UNSUPPORTED;44584459case SLJIT_MOV_U8:4460ins = LDREXB;4461break;4462case SLJIT_MOV_U16:4463ins = LDREXH;4464break;4465default:4466ins = LDREX;4467break;4468}44694470if (op & SLJIT_ATOMIC_TEST)4471return SLJIT_SUCCESS;44724473return push_inst32(compiler, ins | RN4(mem_reg) | RT4(dst_reg));4474}44754476SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_store(struct sljit_compiler *compiler, sljit_s32 op,4477sljit_s32 src_reg,4478sljit_s32 mem_reg,4479sljit_s32 temp_reg)4480{4481sljit_ins ins;44824483/* temp_reg == mem_reg is undefined so use another temp register */4484SLJIT_UNUSED_ARG(temp_reg);44854486CHECK_ERROR();4487CHECK(check_sljit_emit_atomic_store(compiler, op, src_reg, mem_reg, temp_reg));44884489if (op & SLJIT_ATOMIC_USE_CAS)4490return SLJIT_ERR_UNSUPPORTED;44914492switch (GET_OPCODE(op)) {4493case SLJIT_MOV_S8:4494case SLJIT_MOV_S16:4495case SLJIT_MOV_S32:4496return SLJIT_ERR_UNSUPPORTED;44974498case SLJIT_MOV_U8:4499ins = STREXB | RM4(TMP_REG1);4500break;4501case SLJIT_MOV_U16:4502ins = STREXH | RM4(TMP_REG1);4503break;4504default:4505ins = STREX | RD4(TMP_REG1);4506break;4507}45084509if (op & SLJIT_ATOMIC_TEST)4510return SLJIT_SUCCESS;45114512FAIL_IF(push_inst32(compiler, ins | RN4(mem_reg) | RT4(src_reg)));4513if (op & SLJIT_SET_ATOMIC_STORED)4514return push_inst32(compiler, CMPI_W | RN4(TMP_REG1));45154516return SLJIT_SUCCESS;4517}45184519SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 op,4520sljit_s32 dst, sljit_sw dstw,4521sljit_sw init_value)4522{4523struct sljit_const *const_;4524sljit_s32 dst_r;4525sljit_s32 mem_flags = WORD_SIZE | STORE;45264527CHECK_ERROR_PTR();4528CHECK_PTR(check_sljit_emit_const(compiler, op, dst, dstw, init_value));4529ADJUST_LOCAL_OFFSET(dst, dstw);45304531const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));4532PTR_FAIL_IF(!const_);4533set_const(const_, compiler);45344535dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;45364537if (GET_OPCODE(op) == SLJIT_MOV_U8) {4538PTR_FAIL_IF(push_inst32(compiler,4539((init_value & 0x100) != 0 ? (MVN_WI | (~init_value & 0xff)) : (MOV_WI | (init_value & 0xff))) | RD4(dst_r)));4540mem_flags = BYTE_SIZE | STORE;4541} else4542PTR_FAIL_IF(emit_imm32_const(compiler, dst_r, (sljit_uw)init_value));45434544if (dst & SLJIT_MEM)4545PTR_FAIL_IF(emit_op_mem(compiler, mem_flags, dst_r, dst, dstw, TMP_REG2));4546return const_;4547}45484549SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_op_addr(struct sljit_compiler *compiler, sljit_s32 op,4550sljit_s32 dst, sljit_sw dstw)4551{4552struct sljit_jump *jump;4553sljit_s32 dst_r, target_r;45544555CHECK_ERROR_PTR();4556CHECK_PTR(check_sljit_emit_op_addr(compiler, op, dst, dstw));4557ADJUST_LOCAL_OFFSET(dst, dstw);45584559dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;45604561if (op != SLJIT_ADD_ABS_ADDR)4562target_r = dst_r;4563else {4564target_r = TMP_REG1;45654566if (dst & SLJIT_MEM)4567PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE, dst_r, dst, dstw, TMP_REG1));4568}45694570jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));4571PTR_FAIL_IF(!jump);4572set_mov_addr(jump, compiler, 0);45734574if (op != SLJIT_MOV_ADDR)4575jump->flags |= IS_ABS;45764577PTR_FAIL_IF(push_inst16(compiler, RDN3(target_r)));4578compiler->size += 3;45794580if (op == SLJIT_ADD_ABS_ADDR)4581PTR_FAIL_IF(push_inst16(compiler, ADD | SET_REGS44(dst_r, TMP_REG1)));45824583if (dst & SLJIT_MEM)4584PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE | STORE, dst_r, dst, dstw, TMP_REG1));4585return jump;4586}45874588SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)4589{4590sljit_u16 *inst = (sljit_u16*)addr;4591SLJIT_UNUSED_ARG(executable_offset);45924593SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 0);4594modify_imm32_const(inst, new_target);4595SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 1);4596inst = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);4597SLJIT_CACHE_FLUSH(inst, inst + 4);4598}45994600SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_s32 op, sljit_sw new_constant, sljit_sw executable_offset)4601{4602sljit_u16 *inst;46034604if (GET_OPCODE(op) != SLJIT_MOV_U8) {4605sljit_set_jump_addr(addr, (sljit_uw)new_constant, executable_offset);4606return;4607}46084609inst = (sljit_u16*)addr;4610SLJIT_ASSERT(inst[0] == (MOV_WI >> 16) || inst[0] == (MVN_WI >> 16));46114612SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);46134614if ((new_constant & 0x100) != 0) {4615inst[0] = (sljit_u16)(MVN_WI >> 16);4616new_constant = ~new_constant;4617} else4618inst[0] = (sljit_u16)(MOV_WI >> 16);46194620inst[1] = (sljit_u16)((new_constant & 0xff) | (inst[1] & 0xf00));4621SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);4622inst = (sljit_u16 *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);4623SLJIT_CACHE_FLUSH(inst + 1, inst + 2);4624}462546264627