Path: blob/master/thirdparty/pcre2/deps/sljit/sljit_src/sljitNativeARM_32.c
9913 views
/*1* Stack-less Just-In-Time compiler2*3* Copyright Zoltan Herczeg ([email protected]). All rights reserved.4*5* Redistribution and use in source and binary forms, with or without modification, are6* permitted provided that the following conditions are met:7*8* 1. Redistributions of source code must retain the above copyright notice, this list of9* conditions and the following disclaimer.10*11* 2. Redistributions in binary form must reproduce the above copyright notice, this list12* of conditions and the following disclaimer in the documentation and/or other materials13* provided with the distribution.14*15* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY16* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES17* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT18* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,19* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED20* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR21* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN22* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN23* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.24*/2526#ifdef __SOFTFP__27#define ARM_ABI_INFO " ABI:softfp"28#else29#define ARM_ABI_INFO " ABI:hardfp"30#endif3132SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)33{34#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)35return "ARMv7" SLJIT_CPUINFO ARM_ABI_INFO;36#elif (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)37return "ARMv6" SLJIT_CPUINFO ARM_ABI_INFO;38#else39#error "Internal error: Unknown ARM architecture"40#endif41}4243/* Length of an instruction word. */44typedef sljit_u32 sljit_ins;4546/* Last register + 1. */47#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)48#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)49#define TMP_PC (SLJIT_NUMBER_OF_REGISTERS + 4)5051#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)52#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)5354/* In ARM instruction words.55Cache lines are usually 32 byte aligned. */56#define CONST_POOL_ALIGNMENT 857#define CONST_POOL_EMPTY 0xffffffff5859#define ALIGN_INSTRUCTION(ptr) \60(sljit_ins*)(((sljit_ins)(ptr) + (CONST_POOL_ALIGNMENT * sizeof(sljit_ins)) - 1) & ~((CONST_POOL_ALIGNMENT * sizeof(sljit_ins)) - 1))61#define MAX_DIFFERENCE(max_diff) \62(((max_diff) / (sljit_s32)sizeof(sljit_ins)) - (CONST_POOL_ALIGNMENT - 1))6364/* See sljit_emit_enter and sljit_emit_op0 if you want to change them. */65static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 5] = {660, 0, 1, 2, 3, 11, 10, 9, 8, 7, 6, 5, 4, 13, 12, 14, 1567};6869static const sljit_u8 freg_map[((SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2) << 1) + 1] = {700,710, 1, 2, 3, 4, 5, 15, 14, 13, 12, 11, 10, 9, 8,727, 6,730, 1, 2, 3, 4, 5, 15, 14, 13, 12, 11, 10, 9, 8,747, 675};7677static const sljit_u8 freg_ebit_map[((SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2) << 1) + 1] = {780,790, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,800, 0,811, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,821, 183};8485#define RM(rm) ((sljit_ins)reg_map[rm])86#define RM8(rm) ((sljit_ins)reg_map[rm] << 8)87#define RD(rd) ((sljit_ins)reg_map[rd] << 12)88#define RN(rn) ((sljit_ins)reg_map[rn] << 16)8990#define VM(vm) (((sljit_ins)freg_map[vm]) | ((sljit_ins)freg_ebit_map[vm] << 5))91#define VD(vd) (((sljit_ins)freg_map[vd] << 12) | ((sljit_ins)freg_ebit_map[vd] << 22))92#define VN(vn) (((sljit_ins)freg_map[vn] << 16) | ((sljit_ins)freg_ebit_map[vn] << 7))9394/* --------------------------------------------------------------------- */95/* Instrucion forms */96/* --------------------------------------------------------------------- */9798/* The instruction includes the AL condition.99INST_NAME - CONDITIONAL remove this flag. */100#define COND_MASK 0xf0000000101#define CONDITIONAL 0xe0000000102#define PUSH_POOL 0xff000000103104#define ADC 0xe0a00000105#define ADD 0xe0800000106#define AND 0xe0000000107#define B 0xea000000108#define BIC 0xe1c00000109#define BKPT 0xe1200070110#define BL 0xeb000000111#define BLX 0xe12fff30112#define BX 0xe12fff10113#define CLZ 0xe16f0f10114#define CMN 0xe1600000115#define CMP 0xe1400000116#define DMB_SY 0xf57ff05f117#define EOR 0xe0200000118#define LDR 0xe5100000119#define LDR_POST 0xe4100000120#define LDREX 0xe1900f9f121#define LDREXB 0xe1d00f9f122#define LDREXH 0xe1f00f9f123#define MLA 0xe0200090124#define MOV 0xe1a00000125#define MUL 0xe0000090126#define MVN 0xe1e00000127#define NOP 0xe1a00000128#define ORR 0xe1800000129#define PUSH 0xe92d0000130#define POP 0xe8bd0000131#define REV 0xe6bf0f30132#define REV16 0xe6bf0fb0133#define RSB 0xe0600000134#define RSC 0xe0e00000135#define SBC 0xe0c00000136#define SMULL 0xe0c00090137#define STR 0xe5000000138#define STREX 0xe1800f90139#define STREXB 0xe1c00f90140#define STREXH 0xe1e00f90141#define SUB 0xe0400000142#define SXTB 0xe6af0070143#define SXTH 0xe6bf0070144#define TST 0xe1000000145#define UMULL 0xe0800090146#define UXTB 0xe6ef0070147#define UXTH 0xe6ff0070148#define VABS_F32 0xeeb00ac0149#define VADD_F32 0xee300a00150#define VAND 0xf2000110151#define VCMP_F32 0xeeb40a40152#define VCVT_F32_S32 0xeeb80ac0153#define VCVT_F32_U32 0xeeb80a40154#define VCVT_F64_F32 0xeeb70ac0155#define VCVT_S32_F32 0xeebd0ac0156#define VDIV_F32 0xee800a00157#define VDUP 0xee800b10158#define VDUP_s 0xf3b00c00159#define VEOR 0xf3000110160#define VLD1 0xf4200000161#define VLD1_r 0xf4a00c00162#define VLD1_s 0xf4a00000163#define VLDR_F32 0xed100a00164#define VMOV_F32 0xeeb00a40165#define VMOV 0xee000a10166#define VMOV2 0xec400a10167#define VMOV_i 0xf2800010168#define VMOV_s 0xee000b10169#define VMOVN 0xf3b20200170#define VMRS 0xeef1fa10171#define VMUL_F32 0xee200a00172#define VNEG_F32 0xeeb10a40173#define VORR 0xf2200110174#define VPOP 0xecbd0b00175#define VPUSH 0xed2d0b00176#define VSHLL 0xf2800a10177#define VSHR 0xf2800010178#define VSRA 0xf2800110179#define VST1 0xf4000000180#define VST1_s 0xf4800000181#define VSTR_F32 0xed000a00182#define VSUB_F32 0xee300a40183#define VTBL 0xf3b00800184185#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)186/* Arm v7 specific instructions. */187#define MOVT 0xe3400000188#define MOVW 0xe3000000189#define RBIT 0xe6ff0f30190#endif191192#if (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS)193194static sljit_s32 function_check_is_freg(struct sljit_compiler *compiler, sljit_s32 fr, sljit_s32 is_32)195{196if (compiler->scratches == -1)197return 0;198199if (is_32 && fr >= SLJIT_F64_SECOND(SLJIT_FR0))200fr -= SLJIT_F64_SECOND(0);201202return (fr >= SLJIT_FR0 && fr < (SLJIT_FR0 + compiler->real_fscratches))203|| (fr > (SLJIT_FS0 - compiler->real_fsaveds) && fr <= SLJIT_FS0)204|| (fr >= SLJIT_TMP_FREGISTER_BASE && fr < (SLJIT_TMP_FREGISTER_BASE + SLJIT_NUMBER_OF_TEMPORARY_FLOAT_REGISTERS));205}206207static sljit_s32 function_check_is_vreg(struct sljit_compiler *compiler, sljit_s32 vr, sljit_s32 type)208{209sljit_s32 vr_low = vr;210211if (compiler->scratches == -1)212return 0;213214if (SLJIT_SIMD_GET_REG_SIZE(type) == 4) {215vr += (vr & 0x1);216vr_low = vr - 1;217}218219return (vr >= SLJIT_VR0 && vr < (SLJIT_VR0 + compiler->vscratches))220|| (vr_low > (SLJIT_VS0 - compiler->vsaveds) && vr_low <= SLJIT_VS0)221|| (vr >= SLJIT_TMP_VREGISTER_BASE && vr < (SLJIT_TMP_VREGISTER_BASE + SLJIT_NUMBER_OF_TEMPORARY_VECTOR_REGISTERS));222}223224#endif /* SLJIT_ARGUMENT_CHECKS */225226#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)227228static sljit_s32 push_cpool(struct sljit_compiler *compiler)229{230/* Pushing the constant pool into the instruction stream. */231sljit_ins* inst;232sljit_uw* cpool_ptr;233sljit_uw* cpool_end;234sljit_s32 i;235236/* The label could point the address after the constant pool. */237if (compiler->last_label && compiler->last_label->size == compiler->size)238compiler->last_label->size += compiler->cpool_fill + (CONST_POOL_ALIGNMENT - 1) + 1;239240SLJIT_ASSERT(compiler->cpool_fill > 0 && compiler->cpool_fill <= CPOOL_SIZE);241inst = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));242FAIL_IF(!inst);243compiler->size++;244*inst = 0xff000000 | compiler->cpool_fill;245246for (i = 0; i < CONST_POOL_ALIGNMENT - 1; i++) {247inst = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));248FAIL_IF(!inst);249compiler->size++;250*inst = 0;251}252253cpool_ptr = compiler->cpool;254cpool_end = cpool_ptr + compiler->cpool_fill;255while (cpool_ptr < cpool_end) {256inst = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));257FAIL_IF(!inst);258compiler->size++;259*inst = *cpool_ptr++;260}261compiler->cpool_diff = CONST_POOL_EMPTY;262compiler->cpool_fill = 0;263return SLJIT_SUCCESS;264}265266static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins inst)267{268sljit_ins* ptr;269270if (SLJIT_UNLIKELY(compiler->cpool_diff != CONST_POOL_EMPTY && compiler->size - compiler->cpool_diff >= MAX_DIFFERENCE(4092)))271FAIL_IF(push_cpool(compiler));272273ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));274FAIL_IF(!ptr);275compiler->size++;276*ptr = inst;277return SLJIT_SUCCESS;278}279280static sljit_s32 push_inst_with_literal(struct sljit_compiler *compiler, sljit_ins inst, sljit_uw literal)281{282sljit_ins* ptr;283sljit_uw cpool_index = CPOOL_SIZE;284sljit_uw* cpool_ptr;285sljit_uw* cpool_end;286sljit_u8* cpool_unique_ptr;287288if (SLJIT_UNLIKELY(compiler->cpool_diff != CONST_POOL_EMPTY && compiler->size - compiler->cpool_diff >= MAX_DIFFERENCE(4092)))289FAIL_IF(push_cpool(compiler));290else if (compiler->cpool_fill > 0) {291cpool_ptr = compiler->cpool;292cpool_end = cpool_ptr + compiler->cpool_fill;293cpool_unique_ptr = compiler->cpool_unique;294do {295if ((*cpool_ptr == literal) && !(*cpool_unique_ptr)) {296cpool_index = (sljit_uw)(cpool_ptr - compiler->cpool);297break;298}299cpool_ptr++;300cpool_unique_ptr++;301} while (cpool_ptr < cpool_end);302}303304if (cpool_index == CPOOL_SIZE) {305/* Must allocate a new entry in the literal pool. */306if (compiler->cpool_fill < CPOOL_SIZE) {307cpool_index = compiler->cpool_fill;308compiler->cpool_fill++;309}310else {311FAIL_IF(push_cpool(compiler));312cpool_index = 0;313compiler->cpool_fill = 1;314}315}316317SLJIT_ASSERT((inst & 0xfff) == 0);318ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));319FAIL_IF(!ptr);320compiler->size++;321*ptr = inst | cpool_index;322323compiler->cpool[cpool_index] = literal;324compiler->cpool_unique[cpool_index] = 0;325if (compiler->cpool_diff == CONST_POOL_EMPTY)326compiler->cpool_diff = compiler->size;327return SLJIT_SUCCESS;328}329330static sljit_s32 push_inst_with_unique_literal(struct sljit_compiler *compiler, sljit_ins inst, sljit_uw literal)331{332sljit_ins* ptr;333334if (SLJIT_UNLIKELY((compiler->cpool_diff != CONST_POOL_EMPTY && compiler->size - compiler->cpool_diff >= MAX_DIFFERENCE(4092)) || compiler->cpool_fill >= CPOOL_SIZE))335FAIL_IF(push_cpool(compiler));336337SLJIT_ASSERT(compiler->cpool_fill < CPOOL_SIZE && (inst & 0xfff) == 0);338ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));339FAIL_IF(!ptr);340compiler->size++;341*ptr = inst | compiler->cpool_fill;342343compiler->cpool[compiler->cpool_fill] = literal;344compiler->cpool_unique[compiler->cpool_fill] = 1;345compiler->cpool_fill++;346if (compiler->cpool_diff == CONST_POOL_EMPTY)347compiler->cpool_diff = compiler->size;348return SLJIT_SUCCESS;349}350351static SLJIT_INLINE sljit_s32 prepare_blx(struct sljit_compiler *compiler)352{353/* Place for at least two instruction (doesn't matter whether the first has a literal). */354if (SLJIT_UNLIKELY(compiler->cpool_diff != CONST_POOL_EMPTY && compiler->size - compiler->cpool_diff >= MAX_DIFFERENCE(4088)))355return push_cpool(compiler);356return SLJIT_SUCCESS;357}358359static SLJIT_INLINE sljit_s32 emit_blx(struct sljit_compiler *compiler)360{361/* Must follow tightly the previous instruction (to be able to convert it to bl instruction). */362SLJIT_ASSERT(compiler->cpool_diff == CONST_POOL_EMPTY || compiler->size - compiler->cpool_diff < MAX_DIFFERENCE(4092));363SLJIT_ASSERT(reg_map[TMP_REG1] != 14);364365return push_inst(compiler, BLX | RM(TMP_REG1));366}367368static sljit_uw patch_pc_relative_loads(sljit_uw *last_pc_patch, sljit_uw *code_ptr, sljit_uw* const_pool, sljit_uw cpool_size)369{370sljit_uw diff;371sljit_uw ind;372sljit_uw counter = 0;373sljit_uw* clear_const_pool = const_pool;374sljit_uw* clear_const_pool_end = const_pool + cpool_size;375376SLJIT_ASSERT(const_pool - code_ptr <= CONST_POOL_ALIGNMENT);377/* Set unused flag for all literals in the constant pool.378I.e.: unused literals can belong to branches, which can be encoded as B or BL.379We can "compress" the constant pool by discarding these literals. */380while (clear_const_pool < clear_const_pool_end)381*clear_const_pool++ = (sljit_uw)(-1);382383while (last_pc_patch < code_ptr) {384/* Data transfer instruction with Rn == r15. */385if ((*last_pc_patch & 0x0e4f0000) == 0x040f0000) {386diff = (sljit_uw)(const_pool - last_pc_patch);387ind = (*last_pc_patch) & 0xfff;388389/* Must be a load instruction with immediate offset. */390SLJIT_ASSERT(ind < cpool_size && !(*last_pc_patch & (1 << 25)) && (*last_pc_patch & (1 << 20)));391if ((sljit_s32)const_pool[ind] < 0) {392const_pool[ind] = counter;393ind = counter;394counter++;395}396else397ind = const_pool[ind];398399SLJIT_ASSERT(diff >= 1);400if (diff >= 2 || ind > 0) {401diff = (diff + (sljit_uw)ind - 2) << 2;402SLJIT_ASSERT(diff <= 0xfff);403*last_pc_patch = (*last_pc_patch & ~(sljit_uw)0xfff) | diff;404}405else406*last_pc_patch = (*last_pc_patch & ~(sljit_uw)(0xfff | (1 << 23))) | 0x004;407}408last_pc_patch++;409}410return counter;411}412413/* In some rare ocasions we may need future patches. The probability is close to 0 in practice. */414struct future_patch {415struct future_patch* next;416sljit_s32 index;417sljit_s32 value;418};419420static sljit_s32 resolve_const_pool_index(struct sljit_compiler *compiler, struct future_patch **first_patch, sljit_uw cpool_current_index, sljit_uw *cpool_start_address, sljit_uw *buf_ptr)421{422sljit_u32 value;423struct future_patch *curr_patch, *prev_patch;424425SLJIT_UNUSED_ARG(compiler);426427/* Using the values generated by patch_pc_relative_loads. */428if (!*first_patch)429value = cpool_start_address[cpool_current_index];430else {431curr_patch = *first_patch;432prev_patch = NULL;433while (1) {434if (!curr_patch) {435value = cpool_start_address[cpool_current_index];436break;437}438if ((sljit_uw)curr_patch->index == cpool_current_index) {439value = (sljit_uw)curr_patch->value;440if (prev_patch)441prev_patch->next = curr_patch->next;442else443*first_patch = curr_patch->next;444SLJIT_FREE(curr_patch, compiler->allocator_data);445break;446}447prev_patch = curr_patch;448curr_patch = curr_patch->next;449}450}451452if ((sljit_sw)value >= 0) {453if (value > cpool_current_index) {454curr_patch = (struct future_patch*)SLJIT_MALLOC(sizeof(struct future_patch), compiler->allocator_data);455if (!curr_patch) {456while (*first_patch) {457curr_patch = *first_patch;458*first_patch = (*first_patch)->next;459SLJIT_FREE(curr_patch, compiler->allocator_data);460}461return SLJIT_ERR_ALLOC_FAILED;462}463curr_patch->next = *first_patch;464curr_patch->index = (sljit_sw)value;465curr_patch->value = (sljit_sw)cpool_start_address[value];466*first_patch = curr_patch;467}468cpool_start_address[value] = *buf_ptr;469}470return SLJIT_SUCCESS;471}472473#else474475static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins inst)476{477sljit_ins* ptr;478479ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));480FAIL_IF(!ptr);481compiler->size++;482*ptr = inst;483return SLJIT_SUCCESS;484}485486static SLJIT_INLINE sljit_s32 emit_imm(struct sljit_compiler *compiler, sljit_s32 reg, sljit_sw imm)487{488FAIL_IF(push_inst(compiler, MOVW | RD(reg) | ((imm << 4) & 0xf0000) | ((sljit_u32)imm & 0xfff)));489return push_inst(compiler, MOVT | RD(reg) | ((imm >> 12) & 0xf0000) | (((sljit_u32)imm >> 16) & 0xfff));490}491492#endif493494static SLJIT_INLINE sljit_s32 detect_jump_type(struct sljit_jump *jump, sljit_uw *code_ptr, sljit_uw *code, sljit_sw executable_offset)495{496sljit_sw diff;497sljit_uw target_addr;498sljit_uw jump_addr = (sljit_uw)code_ptr;499sljit_uw orig_addr = jump->addr;500SLJIT_UNUSED_ARG(executable_offset);501502#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)503jump->addr = jump_addr;504#endif505506if (jump->flags & SLJIT_REWRITABLE_JUMP)507return 0;508509#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)510if (jump->flags & IS_BL)511code_ptr--;512#endif /* SLJIT_CONFIG_ARM_V6 */513514if (jump->flags & JUMP_ADDR)515target_addr = jump->u.target;516else {517SLJIT_ASSERT(jump->u.label != NULL);518target_addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);519520if (jump->u.label->size > orig_addr)521jump_addr = (sljit_uw)(code + orig_addr);522}523524diff = (sljit_sw)target_addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr + 8, executable_offset);525526/* Branch to Thumb code has not been optimized yet. */527if (diff & 0x3)528return 0;529530#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)531if (jump->flags & IS_BL) {532if (diff <= 0x01ffffff && diff >= -0x02000000) {533*code_ptr = (BL - CONDITIONAL) | (*(code_ptr + 1) & COND_MASK);534jump->flags |= PATCH_B;535return 1;536}537} else if (diff <= 0x01ffffff && diff >= -0x02000000) {538*code_ptr = (B - CONDITIONAL) | (*code_ptr & COND_MASK);539jump->flags |= PATCH_B;540}541#else /* !SLJIT_CONFIG_ARM_V6 */542if (diff <= 0x01ffffff && diff >= -0x02000000) {543*code_ptr = ((jump->flags & IS_BL) ? (BL - CONDITIONAL) : (B - CONDITIONAL)) | (*code_ptr & COND_MASK);544jump->flags |= PATCH_B;545return 1;546}547#endif /* SLJIT_CONFIG_ARM_V6 */548return 0;549}550551static void set_jump_addr(sljit_uw jump_ptr, sljit_sw executable_offset, sljit_uw new_addr, sljit_s32 flush_cache)552{553#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)554sljit_ins *ptr = (sljit_ins*)jump_ptr;555sljit_ins *inst = (sljit_ins*)ptr[0];556sljit_ins mov_pc = ptr[1];557sljit_s32 bl = (mov_pc & 0x0000f000) != RD(TMP_PC);558sljit_sw diff = (sljit_sw)(((sljit_sw)new_addr - (sljit_sw)(inst + 2) - executable_offset) >> 2);559560SLJIT_UNUSED_ARG(executable_offset);561562if (diff <= 0x7fffff && diff >= -0x800000) {563/* Turn to branch. */564if (!bl) {565if (flush_cache) {566SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);567}568inst[0] = (mov_pc & COND_MASK) | (B - CONDITIONAL) | (diff & 0xffffff);569if (flush_cache) {570SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);571inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);572SLJIT_CACHE_FLUSH(inst, inst + 1);573}574} else {575if (flush_cache) {576SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);577}578inst[0] = (mov_pc & COND_MASK) | (BL - CONDITIONAL) | (diff & 0xffffff);579inst[1] = NOP;580if (flush_cache) {581SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);582inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);583SLJIT_CACHE_FLUSH(inst, inst + 2);584}585}586} else {587/* Get the position of the constant. */588if (mov_pc & (1 << 23))589ptr = inst + ((mov_pc & 0xfff) >> 2) + 2;590else591ptr = inst + 1;592593if (*inst != mov_pc) {594if (flush_cache) {595SLJIT_UPDATE_WX_FLAGS(inst, inst + (!bl ? 1 : 2), 0);596}597inst[0] = mov_pc;598if (!bl) {599if (flush_cache) {600SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);601inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);602SLJIT_CACHE_FLUSH(inst, inst + 1);603}604} else {605inst[1] = BLX | RM(TMP_REG1);606if (flush_cache) {607SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);608inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);609SLJIT_CACHE_FLUSH(inst, inst + 2);610}611}612}613614if (flush_cache) {615SLJIT_UPDATE_WX_FLAGS(ptr, ptr + 1, 0);616}617618*ptr = new_addr;619620if (flush_cache) {621SLJIT_UPDATE_WX_FLAGS(ptr, ptr + 1, 1);622}623}624#else /* !SLJIT_CONFIG_ARM_V6 */625sljit_ins *inst = (sljit_ins*)jump_ptr;626627SLJIT_UNUSED_ARG(executable_offset);628629SLJIT_ASSERT((inst[0] & 0xfff00000) == MOVW && (inst[1] & 0xfff00000) == MOVT);630631if (flush_cache) {632SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);633}634635inst[0] = MOVW | (inst[0] & 0xf000) | ((new_addr << 4) & 0xf0000) | (new_addr & 0xfff);636inst[1] = MOVT | (inst[1] & 0xf000) | ((new_addr >> 12) & 0xf0000) | ((new_addr >> 16) & 0xfff);637638if (flush_cache) {639SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);640inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);641SLJIT_CACHE_FLUSH(inst, inst + 2);642}643#endif /* SLJIT_CONFIG_ARM_V6 */644}645646static sljit_uw get_imm(sljit_uw imm);647static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 reg, sljit_uw imm);648static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg);649650static void set_const_value(sljit_uw addr, sljit_sw executable_offset, sljit_uw new_constant, sljit_s32 flush_cache)651{652#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)653sljit_ins *ptr = (sljit_ins*)addr;654sljit_ins *inst = (sljit_ins*)ptr[0];655sljit_uw ldr_literal = ptr[1];656sljit_uw src2;657658SLJIT_UNUSED_ARG(executable_offset);659660src2 = get_imm(new_constant);661if (src2) {662if (flush_cache) {663SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);664}665666*inst = 0xe3a00000 | (ldr_literal & 0xf000) | src2;667668if (flush_cache) {669SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);670inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);671SLJIT_CACHE_FLUSH(inst, inst + 1);672}673return;674}675676src2 = get_imm(~new_constant);677if (src2) {678if (flush_cache) {679SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);680}681682*inst = 0xe3e00000 | (ldr_literal & 0xf000) | src2;683684if (flush_cache) {685SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);686inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);687SLJIT_CACHE_FLUSH(inst, inst + 1);688}689return;690}691692if (ldr_literal & (1 << 23))693ptr = inst + ((ldr_literal & 0xfff) >> 2) + 2;694else695ptr = inst + 1;696697if (*inst != ldr_literal) {698if (flush_cache) {699SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);700}701702*inst = ldr_literal;703704if (flush_cache) {705SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);706inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);707SLJIT_CACHE_FLUSH(inst, inst + 1);708}709}710711if (flush_cache) {712SLJIT_UPDATE_WX_FLAGS(ptr, ptr + 1, 0);713}714715*ptr = new_constant;716717if (flush_cache) {718SLJIT_UPDATE_WX_FLAGS(ptr, ptr + 1, 1);719}720#else /* !SLJIT_CONFIG_ARM_V6 */721sljit_ins *inst = (sljit_ins*)addr;722723SLJIT_UNUSED_ARG(executable_offset);724725SLJIT_ASSERT((inst[0] & 0xfff00000) == MOVW && (inst[1] & 0xfff00000) == MOVT);726727if (flush_cache) {728SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);729}730731inst[0] = MOVW | (inst[0] & 0xf000) | ((new_constant << 4) & 0xf0000) | (new_constant & 0xfff);732inst[1] = MOVT | (inst[1] & 0xf000) | ((new_constant >> 12) & 0xf0000) | ((new_constant >> 16) & 0xfff);733734if (flush_cache) {735SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);736inst = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);737SLJIT_CACHE_FLUSH(inst, inst + 2);738}739#endif /* SLJIT_CONFIG_ARM_V6 */740}741742static SLJIT_INLINE sljit_sw mov_addr_get_length(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)743{744sljit_uw addr;745sljit_uw jump_addr = (sljit_uw)code_ptr;746sljit_sw diff;747SLJIT_UNUSED_ARG(executable_offset);748749if (jump->flags & JUMP_ADDR)750addr = jump->u.target;751else {752addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);753754if (jump->u.label->size > jump->addr)755jump_addr = (sljit_uw)(code + jump->addr);756}757758/* The pc+8 offset is represented by the 2 * SSIZE_OF(ins) below. */759diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);760761if ((diff & 0x3) == 0 && diff <= (0x3fc + 2 * SSIZE_OF(ins)) && diff >= (-0x3fc + 2 * SSIZE_OF(ins))) {762jump->flags |= PATCH_B;763return 0;764}765766#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)767return 0;768#else /* !SLJIT_CONFIG_ARM_V6 */769return 1;770#endif /* SLJIT_CONFIG_ARM_V6 */771}772773#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)774775static void reduce_code_size(struct sljit_compiler *compiler)776{777struct sljit_label *label;778struct sljit_jump *jump;779struct sljit_const *const_;780SLJIT_NEXT_DEFINE_TYPES;781sljit_uw total_size;782sljit_uw size_reduce = 0;783sljit_sw diff;784785label = compiler->labels;786jump = compiler->jumps;787const_ = compiler->consts;788SLJIT_NEXT_INIT_TYPES();789790while (1) {791SLJIT_GET_NEXT_MIN();792793if (next_min_addr == SLJIT_MAX_ADDRESS)794break;795796if (next_min_addr == next_label_size) {797label->size -= size_reduce;798799label = label->next;800next_label_size = SLJIT_GET_NEXT_SIZE(label);801}802803if (next_min_addr == next_const_addr) {804const_->addr -= size_reduce;805const_ = const_->next;806next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);807continue;808}809810if (next_min_addr != next_jump_addr)811continue;812813jump->addr -= size_reduce;814if (!(jump->flags & JUMP_MOV_ADDR)) {815total_size = JUMP_MAX_SIZE - 1;816817if (!(jump->flags & (SLJIT_REWRITABLE_JUMP | JUMP_ADDR))) {818/* Unit size: instruction. */819diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr - 2;820if (jump->u.label->size > jump->addr) {821SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);822diff -= (sljit_sw)size_reduce;823}824825if (diff <= (0x01ffffff / SSIZE_OF(ins)) && diff >= (-0x02000000 / SSIZE_OF(ins)))826total_size = 1 - 1;827}828829size_reduce += JUMP_MAX_SIZE - 1 - total_size;830} else {831/* Real size minus 1. Unit size: instruction. */832total_size = 1;833834if (!(jump->flags & JUMP_ADDR)) {835diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;836if (jump->u.label->size > jump->addr) {837SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);838diff -= (sljit_sw)size_reduce;839}840841if (diff <= 0xff + 2 && diff >= -0xff + 2)842total_size = 0;843}844845size_reduce += 1 - total_size;846}847848jump->flags |= total_size << JUMP_SIZE_SHIFT;849jump = jump->next;850next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);851}852853compiler->size -= size_reduce;854}855856#endif /* SLJIT_CONFIG_ARM_V7 */857858SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler, sljit_s32 options, void *exec_allocator_data)859{860struct sljit_memory_fragment *buf;861sljit_ins *code;862sljit_ins *code_ptr;863sljit_ins *buf_ptr;864sljit_ins *buf_end;865sljit_uw word_count;866SLJIT_NEXT_DEFINE_TYPES;867sljit_sw executable_offset;868sljit_uw addr;869sljit_sw diff;870#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)871sljit_uw cpool_size;872sljit_uw cpool_skip_alignment;873sljit_uw cpool_current_index;874sljit_ins *cpool_start_address;875sljit_ins *last_pc_patch;876struct future_patch *first_patch;877#endif878879struct sljit_label *label;880struct sljit_jump *jump;881struct sljit_const *const_;882883CHECK_ERROR_PTR();884CHECK_PTR(check_sljit_generate_code(compiler));885886/* Second code generation pass. */887#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)888compiler->size += (compiler->patches << 1);889if (compiler->cpool_fill > 0)890compiler->size += compiler->cpool_fill + CONST_POOL_ALIGNMENT - 1;891#else /* !SLJIT_CONFIG_ARM_V6 */892reduce_code_size(compiler);893#endif /* SLJIT_CONFIG_ARM_V6 */894code = (sljit_ins*)allocate_executable_memory(compiler->size * sizeof(sljit_ins), options, exec_allocator_data, &executable_offset);895PTR_FAIL_WITH_EXEC_IF(code);896897reverse_buf(compiler);898buf = compiler->buf;899900#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)901cpool_size = 0;902cpool_skip_alignment = 0;903cpool_current_index = 0;904cpool_start_address = NULL;905first_patch = NULL;906last_pc_patch = code;907#endif /* SLJIT_CONFIG_ARM_V6 */908909code_ptr = code;910word_count = 0;911label = compiler->labels;912jump = compiler->jumps;913const_ = compiler->consts;914SLJIT_NEXT_INIT_TYPES();915SLJIT_GET_NEXT_MIN();916917do {918buf_ptr = (sljit_ins*)buf->memory;919buf_end = buf_ptr + (buf->used_size >> 2);920do {921#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)922if (cpool_size > 0) {923if (cpool_skip_alignment > 0) {924buf_ptr++;925cpool_skip_alignment--;926} else {927if (SLJIT_UNLIKELY(resolve_const_pool_index(compiler, &first_patch, cpool_current_index, cpool_start_address, buf_ptr))) {928SLJIT_FREE_EXEC(code, exec_allocator_data);929compiler->error = SLJIT_ERR_ALLOC_FAILED;930return NULL;931}932buf_ptr++;933if (++cpool_current_index >= cpool_size) {934SLJIT_ASSERT(!first_patch);935cpool_size = 0;936}937}938} else if ((*buf_ptr & 0xff000000) != PUSH_POOL) {939#endif /* SLJIT_CONFIG_ARM_V6 */940*code_ptr = *buf_ptr++;941if (next_min_addr == word_count) {942SLJIT_ASSERT(!label || label->size >= word_count);943SLJIT_ASSERT(!jump || jump->addr >= word_count);944SLJIT_ASSERT(!const_ || const_->addr >= word_count);945946if (next_min_addr == next_label_size) {947label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);948label->size = (sljit_uw)(code_ptr - code);949label = label->next;950next_label_size = SLJIT_GET_NEXT_SIZE(label);951}952953/* These structures are ordered by their address. */954if (next_min_addr == next_jump_addr) {955if (!(jump->flags & JUMP_MOV_ADDR)) {956#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)957if (detect_jump_type(jump, code_ptr, code, executable_offset))958code_ptr--;959jump->addr = (sljit_uw)code_ptr;960#else /* !SLJIT_CONFIG_ARM_V6 */961word_count += jump->flags >> JUMP_SIZE_SHIFT;962if (!detect_jump_type(jump, code_ptr, code, executable_offset)) {963code_ptr[2] = code_ptr[0];964addr = ((code_ptr[0] & 0xf) << 12);965code_ptr[0] = MOVW | addr;966code_ptr[1] = MOVT | addr;967code_ptr += 2;968}969SLJIT_ASSERT((sljit_uw)code_ptr - jump->addr <= (jump->flags >> JUMP_SIZE_SHIFT) * sizeof(sljit_ins));970#endif /* SLJIT_CONFIG_ARM_V6 */971} else {972#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)973word_count += jump->flags >> JUMP_SIZE_SHIFT;974#endif /* SLJIT_CONFIG_ARM_V7 */975addr = (sljit_uw)code_ptr;976code_ptr += mov_addr_get_length(jump, code_ptr, code, executable_offset);977jump->addr = addr;978}979jump = jump->next;980next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);981} else if (next_min_addr == next_const_addr) {982const_->addr = (sljit_uw)code_ptr;983const_ = const_->next;984next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);985}986987SLJIT_GET_NEXT_MIN();988}989code_ptr++;990#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)991} else {992/* Fortunately, no need to shift. */993cpool_size = *buf_ptr++ & ~PUSH_POOL;994SLJIT_ASSERT(cpool_size > 0);995cpool_start_address = ALIGN_INSTRUCTION(code_ptr + 1);996cpool_current_index = patch_pc_relative_loads(last_pc_patch, code_ptr, cpool_start_address, cpool_size);997if (cpool_current_index > 0) {998/* Unconditional branch. */999*code_ptr = B | (((sljit_ins)(cpool_start_address - code_ptr) + cpool_current_index - 2) & ~PUSH_POOL);1000code_ptr = (sljit_ins*)(cpool_start_address + cpool_current_index);1001}1002cpool_skip_alignment = CONST_POOL_ALIGNMENT - 1;1003cpool_current_index = 0;1004last_pc_patch = code_ptr;1005}1006#endif /* SLJIT_CONFIG_ARM_V6 */1007word_count++;1008} while (buf_ptr < buf_end);1009buf = buf->next;1010} while (buf);10111012if (label && label->size == word_count) {1013label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);1014label->size = (sljit_uw)(code_ptr - code);1015label = label->next;1016}10171018SLJIT_ASSERT(!label);1019SLJIT_ASSERT(!jump);1020SLJIT_ASSERT(!const_);10211022#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1023SLJIT_ASSERT(cpool_size == 0);1024if (compiler->cpool_fill > 0) {1025cpool_start_address = ALIGN_INSTRUCTION(code_ptr);1026cpool_current_index = patch_pc_relative_loads(last_pc_patch, code_ptr, cpool_start_address, compiler->cpool_fill);1027if (cpool_current_index > 0)1028code_ptr = (sljit_ins*)(cpool_start_address + cpool_current_index);10291030buf_ptr = compiler->cpool;1031buf_end = buf_ptr + compiler->cpool_fill;1032cpool_current_index = 0;1033while (buf_ptr < buf_end) {1034if (SLJIT_UNLIKELY(resolve_const_pool_index(compiler, &first_patch, cpool_current_index, cpool_start_address, buf_ptr))) {1035SLJIT_FREE_EXEC(code, exec_allocator_data);1036compiler->error = SLJIT_ERR_ALLOC_FAILED;1037return NULL;1038}1039buf_ptr++;1040cpool_current_index++;1041}1042SLJIT_ASSERT(!first_patch);1043}1044#endif10451046jump = compiler->jumps;1047while (jump) {1048addr = (jump->flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr;1049buf_ptr = (sljit_ins*)jump->addr;10501051if (jump->flags & JUMP_MOV_ADDR) {1052#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1053SLJIT_ASSERT((buf_ptr[0] & (sljit_ins)0xffff0000) == 0xe59f0000);1054#else /* !SLJIT_CONFIG_ARM_V6 */1055SLJIT_ASSERT((buf_ptr[0] & ~(sljit_ins)0xf000) == 0);1056#endif /* SLJIT_CONFIG_ARM_V6 */10571058if (jump->flags & PATCH_B) {1059SLJIT_ASSERT((((sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr + 2, executable_offset)) & 0x3) == 0);1060diff = ((sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr + 2, executable_offset)) >> 2;10611062SLJIT_ASSERT(diff <= 0xff && diff >= -0xff);10631064addr = ADD;1065if (diff < 0) {1066diff = -diff;1067addr = SUB;1068}10691070buf_ptr[0] = addr | (buf_ptr[0] & 0xf000) | RN(TMP_PC) | (1 << 25) | (0xf << 8) | (sljit_ins)(diff & 0xff);1071} else {1072#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1073buf_ptr[((buf_ptr[0] & 0xfff) >> 2) + 2] = addr;1074#else /* !SLJIT_CONFIG_ARM_V6 */1075buf_ptr[1] = MOVT | buf_ptr[0] | ((addr >> 12) & 0xf0000) | ((addr >> 16) & 0xfff);1076buf_ptr[0] = MOVW | buf_ptr[0] | ((addr << 4) & 0xf0000) | (addr & 0xfff);1077#endif /* SLJIT_CONFIG_ARM_V6 */1078}1079} else if (jump->flags & PATCH_B) {1080diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(buf_ptr + 2, executable_offset);1081SLJIT_ASSERT(diff <= 0x01ffffff && diff >= -0x02000000);1082*buf_ptr |= (diff >> 2) & 0x00ffffff;1083} else {1084#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1085if (jump->flags & IS_BL)1086buf_ptr--;10871088if (jump->flags & SLJIT_REWRITABLE_JUMP) {1089jump->addr = (sljit_uw)code_ptr;1090code_ptr[0] = (sljit_ins)buf_ptr;1091code_ptr[1] = *buf_ptr;1092set_jump_addr((sljit_uw)code_ptr, executable_offset, addr, 0);1093code_ptr += 2;1094} else {1095if (*buf_ptr & (1 << 23))1096buf_ptr += ((*buf_ptr & 0xfff) >> 2) + 2;1097else1098buf_ptr += 1;1099*buf_ptr = addr;1100}1101#else /* !SLJIT_CONFIG_ARM_V6 */1102set_jump_addr((sljit_uw)buf_ptr, executable_offset, addr, 0);1103#endif /* SLJIT_CONFIG_ARM_V6 */1104}11051106jump = jump->next;1107}11081109#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1110const_ = compiler->consts;1111while (const_) {1112buf_ptr = (sljit_ins*)const_->addr;1113const_->addr = (sljit_uw)code_ptr;11141115code_ptr[0] = (sljit_ins)buf_ptr;1116code_ptr[1] = *buf_ptr;1117if (*buf_ptr & (1 << 23))1118buf_ptr += ((*buf_ptr & 0xfff) >> 2) + 2;1119else1120buf_ptr += 1;1121/* Set the value again (can be a simple constant). */1122set_const_value((sljit_uw)code_ptr, executable_offset, *buf_ptr, 0);1123code_ptr += 2;11241125const_ = const_->next;1126}1127#endif /* SLJIT_CONFIG_ARM_V6 */11281129SLJIT_ASSERT(code_ptr - code <= (sljit_s32)compiler->size);11301131compiler->error = SLJIT_ERR_COMPILED;1132compiler->executable_offset = executable_offset;1133compiler->executable_size = (sljit_uw)(code_ptr - code) * sizeof(sljit_uw);11341135code = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);1136code_ptr = (sljit_ins*)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);11371138SLJIT_CACHE_FLUSH(code, code_ptr);1139SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);1140return code;1141}11421143SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)1144{1145switch (feature_type) {1146case SLJIT_HAS_FPU:1147case SLJIT_HAS_F64_AS_F32_PAIR:1148#ifdef SLJIT_IS_FPU_AVAILABLE1149return (SLJIT_IS_FPU_AVAILABLE) != 0;1150#else1151/* Available by default. */1152return 1;1153#endif /* SLJIT_IS_FPU_AVAILABLE */1154case SLJIT_HAS_SIMD:1155#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1156return 0;1157#else1158#ifdef SLJIT_IS_FPU_AVAILABLE1159return (SLJIT_IS_FPU_AVAILABLE) != 0;1160#else1161/* Available by default. */1162return 1;1163#endif /* SLJIT_IS_FPU_AVAILABLE */1164#endif /* SLJIT_CONFIG_ARM_V6 */11651166case SLJIT_SIMD_REGS_ARE_PAIRS:1167case SLJIT_HAS_CLZ:1168case SLJIT_HAS_ROT:1169case SLJIT_HAS_CMOV:1170case SLJIT_HAS_REV:1171case SLJIT_HAS_PREFETCH:1172case SLJIT_HAS_COPY_F32:1173case SLJIT_HAS_COPY_F64:1174case SLJIT_HAS_ATOMIC:1175#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)1176case SLJIT_HAS_MEMORY_BARRIER:1177#endif /* SLJIT_CONFIG_ARM_V7 */1178return 1;11791180case SLJIT_HAS_CTZ:1181#if defined(SLJIT_CONFIG_ARM_V6) && SLJIT_CONFIG_ARM_V61182return 2;1183#else1184return 1;1185#endif /* SLJIT_CONFIG_ARM_V6 */11861187default:1188return 0;1189}1190}11911192/* --------------------------------------------------------------------- */1193/* Entry, exit */1194/* --------------------------------------------------------------------- */11951196/* Creates an index in data_transfer_insts array. */1197#define WORD_SIZE 0x001198#define BYTE_SIZE 0x011199#define HALF_SIZE 0x021200#define PRELOAD 0x031201#define SIGNED 0x041202#define LOAD_DATA 0x0812031204/* Flag bits for emit_op. */1205#define ALLOW_IMM 0x101206#define ALLOW_INV_IMM 0x201207#define ALLOW_ANY_IMM (ALLOW_IMM | ALLOW_INV_IMM)1208#define ALLOW_NEG_IMM 0x401209#define ALLOW_DOUBLE_IMM 0x8012101211/* s/l - store/load (1 bit)1212u/s - signed/unsigned (1 bit)1213w/b/h/N - word/byte/half/NOT allowed (2 bit)1214Storing signed and unsigned values are the same operations. */12151216static const sljit_ins data_transfer_insts[16] = {1217/* s u w */ 0xe5000000 /* str */,1218/* s u b */ 0xe5400000 /* strb */,1219/* s u h */ 0xe10000b0 /* strh */,1220/* s u N */ 0x00000000 /* not allowed */,1221/* s s w */ 0xe5000000 /* str */,1222/* s s b */ 0xe5400000 /* strb */,1223/* s s h */ 0xe10000b0 /* strh */,1224/* s s N */ 0x00000000 /* not allowed */,12251226/* l u w */ 0xe5100000 /* ldr */,1227/* l u b */ 0xe5500000 /* ldrb */,1228/* l u h */ 0xe11000b0 /* ldrh */,1229/* l u p */ 0xf5500000 /* preload */,1230/* l s w */ 0xe5100000 /* ldr */,1231/* l s b */ 0xe11000d0 /* ldrsb */,1232/* l s h */ 0xe11000f0 /* ldrsh */,1233/* l s N */ 0x00000000 /* not allowed */,1234};12351236#define EMIT_DATA_TRANSFER(type, add, target_reg, base_reg, arg) \1237(data_transfer_insts[(type) & 0xf] | ((add) << 23) | RD(target_reg) | RN(base_reg) | (sljit_ins)(arg))12381239/* Normal ldr/str instruction.1240Type2: ldrsb, ldrh, ldrsh */1241#define IS_TYPE1_TRANSFER(type) \1242(data_transfer_insts[(type) & 0xf] & 0x04000000)1243#define TYPE2_TRANSFER_IMM(imm) \1244(((imm) & 0xf) | (((imm) & 0xf0) << 4) | (1 << 22))12451246#define EMIT_FPU_OPERATION(opcode, mode, dst, src1, src2) \1247((sljit_ins)(opcode) | (sljit_ins)(mode) | VD(dst) | VM(src1) | VN(src2))12481249/* Flags for emit_op: */1250/* Arguments are swapped. */1251#define ARGS_SWAPPED 0x011252/* Inverted immediate. */1253#define INV_IMM 0x021254/* Source and destination is register. */1255#define REGISTER_OP 0x041256/* Unused return value. */1257#define UNUSED_RETURN 0x081258/* SET_FLAGS must be (1 << 20) as it is also the value of S bit (can be used for optimization). */1259#define SET_FLAGS (1 << 20)1260/* dst: reg1261src1: reg1262src2: reg or imm (if allowed)1263SRC2_IMM must be (1 << 25) as it is also the value of I bit (can be used for optimization). */1264#define SRC2_IMM (1 << 25)12651266static sljit_s32 emit_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 inp_flags,1267sljit_s32 dst, sljit_sw dstw,1268sljit_s32 src1, sljit_sw src1w,1269sljit_s32 src2, sljit_sw src2w);12701271SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,1272sljit_s32 options, sljit_s32 arg_types,1273sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1274{1275sljit_s32 fscratches;1276sljit_s32 fsaveds;1277sljit_uw imm, offset;1278sljit_s32 i, tmp, size, word_arg_count;1279sljit_s32 saved_arg_count = SLJIT_KEPT_SAVEDS_COUNT(options);1280#ifdef __SOFTFP__1281sljit_u32 float_arg_count;1282#else1283sljit_u32 old_offset, f32_offset;1284sljit_u32 remap[3];1285sljit_u32 *remap_ptr = remap;1286#endif12871288CHECK_ERROR();1289CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, local_size));1290set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);12911292scratches = ENTER_GET_REGS(scratches);1293saveds = ENTER_GET_REGS(saveds);1294fscratches = compiler->fscratches;1295fsaveds = compiler->fsaveds;12961297imm = 0;1298tmp = SLJIT_S0 - saveds;1299for (i = SLJIT_S0 - saved_arg_count; i > tmp; i--)1300imm |= (sljit_uw)1 << reg_map[i];13011302for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--)1303imm |= (sljit_uw)1 << reg_map[i];13041305SLJIT_ASSERT(reg_map[TMP_REG2] == 14);13061307/* Push saved and temporary registers1308multiple registers: stmdb sp!, {..., lr}1309single register: str reg, [sp, #-4]! */1310if (imm != 0)1311FAIL_IF(push_inst(compiler, PUSH | (1 << 14) | imm));1312else1313FAIL_IF(push_inst(compiler, 0xe52d0004 | RD(TMP_REG2)));13141315/* Stack must be aligned to 8 bytes: */1316size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - saved_arg_count, 1);13171318if (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {1319if ((size & SSIZE_OF(sw)) != 0) {1320FAIL_IF(push_inst(compiler, SUB | RD(SLJIT_SP) | RN(SLJIT_SP) | SRC2_IMM | sizeof(sljit_sw)));1321size += SSIZE_OF(sw);1322}13231324if (fsaveds + fscratches >= SLJIT_NUMBER_OF_FLOAT_REGISTERS) {1325FAIL_IF(push_inst(compiler, VPUSH | VD(SLJIT_FS0) | ((sljit_ins)SLJIT_NUMBER_OF_SAVED_FLOAT_REGISTERS << 1)));1326} else {1327if (fsaveds > 0)1328FAIL_IF(push_inst(compiler, VPUSH | VD(SLJIT_FS0) | ((sljit_ins)fsaveds << 1)));1329if (fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG)1330FAIL_IF(push_inst(compiler, VPUSH | VD(fscratches) | ((sljit_ins)(fscratches - (SLJIT_FIRST_SAVED_FLOAT_REG - 1)) << 1)));1331}1332}13331334local_size = ((size + local_size + 0x7) & ~0x7) - size;1335compiler->local_size = local_size;13361337if (options & SLJIT_ENTER_REG_ARG)1338arg_types = 0;13391340arg_types >>= SLJIT_ARG_SHIFT;1341word_arg_count = 0;1342saved_arg_count = 0;1343#ifdef __SOFTFP__1344SLJIT_COMPILE_ASSERT(SLJIT_FR0 == 1, float_register_index_start);13451346offset = 0;1347float_arg_count = 0;13481349while (arg_types) {1350switch (arg_types & SLJIT_ARG_MASK) {1351case SLJIT_ARG_TYPE_F64:1352if (offset & 0x7)1353offset += sizeof(sljit_sw);13541355if (offset < 4 * sizeof(sljit_sw))1356FAIL_IF(push_inst(compiler, VMOV2 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));1357else1358FAIL_IF(push_inst(compiler, VLDR_F32 | 0x800100 | RN(SLJIT_SP)1359| (float_arg_count << 12) | ((offset + (sljit_ins)size - 4 * sizeof(sljit_sw)) >> 2)));1360float_arg_count++;1361offset += sizeof(sljit_f64) - sizeof(sljit_sw);1362break;1363case SLJIT_ARG_TYPE_F32:1364if (offset < 4 * sizeof(sljit_sw))1365FAIL_IF(push_inst(compiler, VMOV | (float_arg_count << 16) | (offset << 10)));1366else1367FAIL_IF(push_inst(compiler, VLDR_F32 | 0x800000 | RN(SLJIT_SP)1368| (float_arg_count << 12) | ((offset + (sljit_ins)size - 4 * sizeof(sljit_sw)) >> 2)));1369float_arg_count++;1370break;1371default:1372word_arg_count++;13731374if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1375tmp = SLJIT_S0 - saved_arg_count;1376saved_arg_count++;1377} else if (word_arg_count - 1 != (sljit_s32)(offset >> 2))1378tmp = word_arg_count;1379else1380break;13811382if (offset < 4 * sizeof(sljit_sw))1383FAIL_IF(push_inst(compiler, MOV | RD(tmp) | (offset >> 2)));1384else1385FAIL_IF(push_inst(compiler, LDR | 0x800000 | RN(SLJIT_SP) | RD(tmp) | (offset + (sljit_ins)size - 4 * sizeof(sljit_sw))));1386break;1387}13881389offset += sizeof(sljit_sw);1390arg_types >>= SLJIT_ARG_SHIFT;1391}13921393compiler->args_size = offset;1394#else1395offset = SLJIT_FR0;1396old_offset = SLJIT_FR0;1397f32_offset = 0;13981399while (arg_types) {1400switch (arg_types & SLJIT_ARG_MASK) {1401case SLJIT_ARG_TYPE_F64:1402if (offset != old_offset)1403*remap_ptr++ = EMIT_FPU_OPERATION(VMOV_F32, SLJIT_32, offset, old_offset, 0);1404old_offset++;1405offset++;1406break;1407case SLJIT_ARG_TYPE_F32:1408if (f32_offset != 0) {1409*remap_ptr++ = EMIT_FPU_OPERATION(VMOV_F32, 0x20, offset, f32_offset, 0);1410f32_offset = 0;1411} else {1412if (offset != old_offset)1413*remap_ptr++ = EMIT_FPU_OPERATION(VMOV_F32, 0, offset, old_offset, 0);1414f32_offset = old_offset;1415old_offset++;1416}1417offset++;1418break;1419default:1420if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1421FAIL_IF(push_inst(compiler, MOV | RD(SLJIT_S0 - saved_arg_count) | RM(SLJIT_R0 + word_arg_count)));1422saved_arg_count++;1423}14241425word_arg_count++;1426break;1427}1428arg_types >>= SLJIT_ARG_SHIFT;1429}14301431SLJIT_ASSERT((sljit_uw)(remap_ptr - remap) <= sizeof(remap));14321433while (remap_ptr > remap)1434FAIL_IF(push_inst(compiler, *(--remap_ptr)));1435#endif14361437if (local_size > 0)1438FAIL_IF(emit_op(compiler, SLJIT_SUB, ALLOW_IMM | ALLOW_DOUBLE_IMM, SLJIT_SP, 0, SLJIT_SP, 0, SLJIT_IMM, local_size));14391440return SLJIT_SUCCESS;1441}14421443SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,1444sljit_s32 options, sljit_s32 arg_types,1445sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1446{1447sljit_s32 fscratches;1448sljit_s32 fsaveds;1449sljit_s32 size;14501451CHECK_ERROR();1452CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, local_size));1453set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);14541455scratches = ENTER_GET_REGS(scratches);1456saveds = ENTER_GET_REGS(saveds);1457fscratches = compiler->fscratches;1458fsaveds = compiler->fsaveds;1459size = GET_SAVED_REGISTERS_SIZE(scratches, saveds - SLJIT_KEPT_SAVEDS_COUNT(options), 1);14601461/* Doubles are saved, so alignment is unaffected. */1462if ((size & SSIZE_OF(sw)) != 0 && (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG))1463size += SSIZE_OF(sw);14641465compiler->local_size = ((size + local_size + 0x7) & ~0x7) - size;1466return SLJIT_SUCCESS;1467}14681469static sljit_s32 emit_add_sp(struct sljit_compiler *compiler, sljit_uw imm)1470{1471sljit_uw imm2 = get_imm(imm);14721473if (imm2 == 0)1474return emit_op(compiler, SLJIT_ADD, ALLOW_IMM | ALLOW_DOUBLE_IMM, SLJIT_SP, 0, SLJIT_SP, 0, SLJIT_IMM, (sljit_sw)imm);14751476return push_inst(compiler, ADD | RD(SLJIT_SP) | RN(SLJIT_SP) | imm2);1477}14781479static sljit_s32 emit_stack_frame_release(struct sljit_compiler *compiler, sljit_s32 frame_size)1480{1481sljit_s32 local_size, fscratches, fsaveds, i, tmp;1482sljit_s32 restored_reg = 0;1483sljit_s32 lr_dst = TMP_PC;1484sljit_uw reg_list = 0;14851486SLJIT_ASSERT(reg_map[TMP_REG2] == 14 && frame_size <= 128);14871488local_size = compiler->local_size;1489fscratches = compiler->fscratches;1490fsaveds = compiler->fsaveds;14911492if (fsaveds > 0 || fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {1493if (local_size > 0)1494FAIL_IF(emit_add_sp(compiler, (sljit_uw)local_size));14951496if (fsaveds + fscratches >= SLJIT_NUMBER_OF_FLOAT_REGISTERS) {1497FAIL_IF(push_inst(compiler, VPOP | VD(SLJIT_FS0) | ((sljit_ins)SLJIT_NUMBER_OF_SAVED_FLOAT_REGISTERS << 1)));1498} else {1499if (fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG)1500FAIL_IF(push_inst(compiler, VPOP | VD(fscratches) | ((sljit_ins)(fscratches - (SLJIT_FIRST_SAVED_FLOAT_REG - 1)) << 1)));1501if (fsaveds > 0)1502FAIL_IF(push_inst(compiler, VPOP | VD(SLJIT_FS0) | ((sljit_ins)fsaveds << 1)));1503}15041505local_size = GET_SAVED_REGISTERS_SIZE(compiler->scratches, compiler->saveds, 1) & 0x7;1506}15071508if (frame_size < 0) {1509lr_dst = TMP_REG2;1510frame_size = 0;1511} else if (frame_size > 0) {1512SLJIT_ASSERT(frame_size == 1 || (frame_size & 0x7) == 0);1513lr_dst = 0;1514frame_size &= ~0x7;1515}15161517if (lr_dst != 0)1518reg_list |= (sljit_uw)1 << reg_map[lr_dst];15191520tmp = SLJIT_S0 - compiler->saveds;1521i = SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options);1522if (tmp < i) {1523restored_reg = i;1524do {1525reg_list |= (sljit_uw)1 << reg_map[i];1526} while (--i > tmp);1527}15281529i = compiler->scratches;1530if (i >= SLJIT_FIRST_SAVED_REG) {1531restored_reg = i;1532do {1533reg_list |= (sljit_uw)1 << reg_map[i];1534} while (--i >= SLJIT_FIRST_SAVED_REG);1535}15361537if (lr_dst == TMP_REG2 && reg_list == 0) {1538restored_reg = TMP_REG2;1539lr_dst = 0;1540}15411542if (lr_dst == 0 && (reg_list & (reg_list - 1)) == 0) {1543/* The local_size does not include the saved registers. */1544tmp = 0;1545if (reg_list != 0) {1546tmp = 2;1547if (local_size <= 0xfff) {1548if (local_size == 0) {1549SLJIT_ASSERT(restored_reg != TMP_REG2);1550if (frame_size == 0)1551return push_inst(compiler, LDR_POST | RN(SLJIT_SP) | RD(restored_reg) | 0x800008);1552if (frame_size > 2 * SSIZE_OF(sw))1553return push_inst(compiler, LDR_POST | RN(SLJIT_SP) | RD(restored_reg) | (sljit_ins)(frame_size - (2 * SSIZE_OF(sw))));1554}15551556FAIL_IF(push_inst(compiler, LDR | 0x800000 | RN(SLJIT_SP) | RD(restored_reg) | (sljit_ins)local_size));1557tmp = 1;1558} else if (frame_size == 0) {1559frame_size = (restored_reg == TMP_REG2) ? SSIZE_OF(sw) : 2 * SSIZE_OF(sw);1560tmp = 3;1561}15621563/* Place for the saved register. */1564if (restored_reg != TMP_REG2)1565local_size += SSIZE_OF(sw);1566}15671568/* Place for the lr register. */1569local_size += SSIZE_OF(sw);15701571if (frame_size > local_size)1572FAIL_IF(push_inst(compiler, SUB | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 25) | (sljit_ins)(frame_size - local_size)));1573else if (frame_size < local_size)1574FAIL_IF(emit_add_sp(compiler, (sljit_uw)(local_size - frame_size)));15751576if (tmp <= 1)1577return SLJIT_SUCCESS;15781579if (tmp == 2) {1580frame_size -= SSIZE_OF(sw);1581if (restored_reg != TMP_REG2)1582frame_size -= SSIZE_OF(sw);15831584return push_inst(compiler, LDR | 0x800000 | RN(SLJIT_SP) | RD(restored_reg) | (sljit_ins)frame_size);1585}15861587tmp = (restored_reg == TMP_REG2) ? 0x800004 : 0x800008;1588return push_inst(compiler, LDR_POST | RN(SLJIT_SP) | RD(restored_reg) | (sljit_ins)tmp);1589}15901591if (local_size > 0)1592FAIL_IF(emit_add_sp(compiler, (sljit_uw)local_size));15931594/* Pop saved and temporary registers1595multiple registers: ldmia sp!, {...}1596single register: ldr reg, [sp], #4 */1597if ((reg_list & (reg_list - 1)) == 0) {1598SLJIT_ASSERT(lr_dst != 0);1599SLJIT_ASSERT(reg_list == (sljit_uw)1 << reg_map[lr_dst]);16001601return push_inst(compiler, LDR_POST | RN(SLJIT_SP) | RD(lr_dst) | 0x800004);1602}16031604FAIL_IF(push_inst(compiler, POP | reg_list));16051606if (frame_size > 0)1607return push_inst(compiler, SUB | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 25) | ((sljit_ins)frame_size - sizeof(sljit_sw)));16081609if (lr_dst != 0)1610return SLJIT_SUCCESS;16111612return push_inst(compiler, ADD | RD(SLJIT_SP) | RN(SLJIT_SP) | (1 << 25) | sizeof(sljit_sw));1613}16141615SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)1616{1617CHECK_ERROR();1618CHECK(check_sljit_emit_return_void(compiler));16191620return emit_stack_frame_release(compiler, 0);1621}16221623SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_to(struct sljit_compiler *compiler,1624sljit_s32 src, sljit_sw srcw)1625{1626CHECK_ERROR();1627CHECK(check_sljit_emit_return_to(compiler, src, srcw));16281629if (src & SLJIT_MEM) {1630FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG1, src, srcw, TMP_REG1));1631src = TMP_REG1;1632srcw = 0;1633} else if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {1634FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));1635src = TMP_REG1;1636srcw = 0;1637}16381639FAIL_IF(emit_stack_frame_release(compiler, 1));16401641SLJIT_SKIP_CHECKS(compiler);1642return sljit_emit_ijump(compiler, SLJIT_JUMP, src, srcw);1643}16441645/* --------------------------------------------------------------------- */1646/* Operators */1647/* --------------------------------------------------------------------- */16481649static SLJIT_INLINE sljit_s32 emit_single_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 flags,1650sljit_uw dst, sljit_uw src1, sljit_uw src2)1651{1652sljit_s32 reg, is_masked;1653sljit_uw shift_type;16541655switch (op) {1656case SLJIT_MOV:1657SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & ARGS_SWAPPED));1658if (dst != src2) {1659if (src2 & SRC2_IMM) {1660return push_inst(compiler, ((flags & INV_IMM) ? MVN : MOV) | RD(dst) | src2);1661}1662return push_inst(compiler, MOV | RD(dst) | RM(src2));1663}1664return SLJIT_SUCCESS;16651666case SLJIT_MOV_U8:1667case SLJIT_MOV_S8:1668SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & ARGS_SWAPPED));1669if (flags & REGISTER_OP)1670return push_inst(compiler, (op == SLJIT_MOV_U8 ? UXTB : SXTB) | RD(dst) | RM(src2));16711672if (dst != src2) {1673SLJIT_ASSERT(src2 & SRC2_IMM);1674return push_inst(compiler, ((flags & INV_IMM) ? MVN : MOV) | RD(dst) | src2);1675}1676return SLJIT_SUCCESS;16771678case SLJIT_MOV_U16:1679case SLJIT_MOV_S16:1680SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & ARGS_SWAPPED));1681if (flags & REGISTER_OP)1682return push_inst(compiler, (op == SLJIT_MOV_U16 ? UXTH : SXTH) | RD(dst) | RM(src2));16831684if (dst != src2) {1685SLJIT_ASSERT(src2 & SRC2_IMM);1686return push_inst(compiler, ((flags & INV_IMM) ? MVN : MOV) | RD(dst) | src2);1687}1688return SLJIT_SUCCESS;16891690case SLJIT_CLZ:1691SLJIT_ASSERT(!(flags & INV_IMM) && !(src2 & SRC2_IMM));1692FAIL_IF(push_inst(compiler, CLZ | RD(dst) | RM(src2)));1693return SLJIT_SUCCESS;16941695case SLJIT_CTZ:1696SLJIT_ASSERT(!(flags & INV_IMM) && !(src2 & SRC2_IMM));1697SLJIT_ASSERT(src1 == TMP_REG1 && src2 != TMP_REG2 && !(flags & ARGS_SWAPPED));1698#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1699FAIL_IF(push_inst(compiler, RSB | SRC2_IMM | RD(TMP_REG2) | RN(src2) | 0));1700FAIL_IF(push_inst(compiler, AND | RD(TMP_REG1) | RN(src2) | RM(TMP_REG2)));1701FAIL_IF(push_inst(compiler, CLZ | RD(dst) | RM(TMP_REG1)));1702FAIL_IF(push_inst(compiler, CMP | SET_FLAGS | SRC2_IMM | RN(dst) | 32));1703return push_inst(compiler, (EOR ^ 0xf0000000) | SRC2_IMM | RD(dst) | RN(dst) | 0x1f);1704#else /* !SLJIT_CONFIG_ARM_V6 */1705FAIL_IF(push_inst(compiler, RBIT | RD(dst) | RM(src2)));1706return push_inst(compiler, CLZ | RD(dst) | RM(dst));1707#endif /* SLJIT_CONFIG_ARM_V6 */17081709case SLJIT_REV:1710case SLJIT_REV_U32:1711case SLJIT_REV_S32:1712SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & ARGS_SWAPPED));1713return push_inst(compiler, REV | RD(dst) | RM(src2));17141715case SLJIT_REV_U16:1716case SLJIT_REV_S16:1717SLJIT_ASSERT(src1 == TMP_REG1 && !(flags & ARGS_SWAPPED));1718FAIL_IF(push_inst(compiler, REV16 | RD(dst) | RM(src2)));1719if (!(flags & REGISTER_OP))1720return SLJIT_SUCCESS;1721return push_inst(compiler, (op == SLJIT_REV_U16 ? UXTH : SXTH) | RD(dst) | RM(dst));1722case SLJIT_ADD:1723SLJIT_ASSERT(!(flags & INV_IMM));17241725if ((flags & (UNUSED_RETURN | ARGS_SWAPPED)) == UNUSED_RETURN)1726return push_inst(compiler, CMN | SET_FLAGS | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));1727return push_inst(compiler, ADD | (flags & SET_FLAGS) | RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17281729case SLJIT_ADDC:1730SLJIT_ASSERT(!(flags & INV_IMM));1731return push_inst(compiler, ADC | (flags & SET_FLAGS) | RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17321733case SLJIT_SUB:1734SLJIT_ASSERT(!(flags & INV_IMM));17351736if ((flags & (UNUSED_RETURN | ARGS_SWAPPED)) == UNUSED_RETURN)1737return push_inst(compiler, CMP | SET_FLAGS | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17381739return push_inst(compiler, (!(flags & ARGS_SWAPPED) ? SUB : RSB) | (flags & SET_FLAGS)1740| RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17411742case SLJIT_SUBC:1743SLJIT_ASSERT(!(flags & INV_IMM));1744return push_inst(compiler, (!(flags & ARGS_SWAPPED) ? SBC : RSC) | (flags & SET_FLAGS)1745| RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17461747case SLJIT_MUL:1748SLJIT_ASSERT(!(flags & INV_IMM));1749SLJIT_ASSERT(!(src2 & SRC2_IMM));1750compiler->status_flags_state = 0;17511752if (!(flags & SET_FLAGS))1753return push_inst(compiler, MUL | RN(dst) | RM8(src2) | RM(src1));17541755reg = dst == TMP_REG1 ? TMP_REG2 : TMP_REG1;1756FAIL_IF(push_inst(compiler, SMULL | RN(reg) | RD(dst) | RM8(src2) | RM(src1)));17571758/* cmp TMP_REG1, dst asr #31. */1759return push_inst(compiler, CMP | SET_FLAGS | RN(reg) | RM(dst) | 0xfc0);17601761case SLJIT_AND:1762if ((flags & (UNUSED_RETURN | INV_IMM)) == UNUSED_RETURN)1763return push_inst(compiler, TST | SET_FLAGS | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));1764return push_inst(compiler, (!(flags & INV_IMM) ? AND : BIC) | (flags & SET_FLAGS)1765| RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17661767case SLJIT_OR:1768SLJIT_ASSERT(!(flags & INV_IMM));1769return push_inst(compiler, ORR | (flags & SET_FLAGS) | RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17701771case SLJIT_XOR:1772if (flags & INV_IMM) {1773SLJIT_ASSERT(src2 == SRC2_IMM);1774return push_inst(compiler, MVN | (flags & SET_FLAGS) | RD(dst) | RM(src1));1775}1776return push_inst(compiler, EOR | (flags & SET_FLAGS) | RD(dst) | RN(src1) | ((src2 & SRC2_IMM) ? src2 : RM(src2)));17771778case SLJIT_SHL:1779case SLJIT_MSHL:1780shift_type = 0;1781is_masked = op == SLJIT_MSHL;1782break;17831784case SLJIT_LSHR:1785case SLJIT_MLSHR:1786shift_type = 1;1787is_masked = op == SLJIT_MLSHR;1788break;17891790case SLJIT_ASHR:1791case SLJIT_MASHR:1792shift_type = 2;1793is_masked = op == SLJIT_MASHR;1794break;17951796case SLJIT_ROTL:1797if (compiler->shift_imm == 0x20) {1798FAIL_IF(push_inst(compiler, RSB | SRC2_IMM | RD(TMP_REG2) | RN(src2) | 0));1799src2 = TMP_REG2;1800} else1801compiler->shift_imm = (sljit_uw)(-(sljit_sw)compiler->shift_imm) & 0x1f;1802/* fallthrough */18031804case SLJIT_ROTR:1805shift_type = 3;1806is_masked = 0;1807break;18081809case SLJIT_MULADD:1810return push_inst(compiler, MLA | RN(dst) | RD(dst) | RM8(src2) | RM(src1));18111812default:1813SLJIT_UNREACHABLE();1814return SLJIT_SUCCESS;1815}18161817SLJIT_ASSERT(!(flags & ARGS_SWAPPED) && !(flags & INV_IMM) && !(src2 & SRC2_IMM));18181819if (compiler->shift_imm != 0x20) {1820SLJIT_ASSERT(src1 == TMP_REG1);18211822if (compiler->shift_imm != 0)1823return push_inst(compiler, MOV | (flags & SET_FLAGS) |1824RD(dst) | (compiler->shift_imm << 7) | (shift_type << 5) | RM(src2));1825return push_inst(compiler, MOV | (flags & SET_FLAGS) | RD(dst) | RM(src2));1826}18271828SLJIT_ASSERT(src1 != TMP_REG2);18291830if (is_masked) {1831FAIL_IF(push_inst(compiler, AND | RD(TMP_REG2) | RN(src2) | SRC2_IMM | 0x1f));1832src2 = TMP_REG2;1833}18341835return push_inst(compiler, MOV | (flags & SET_FLAGS) | RD(dst)1836| RM8(src2) | (sljit_ins)(shift_type << 5) | 0x10 | RM(src1));1837}18381839#undef EMIT_SHIFT_INS_AND_RETURN18401841/* Tests whether the immediate can be stored in the 12 bit imm field.1842Returns with 0 if not possible. */1843static sljit_uw get_imm(sljit_uw imm)1844{1845sljit_u32 rol;18461847if (imm <= 0xff)1848return SRC2_IMM | imm;18491850if (!(imm & 0xff000000)) {1851imm <<= 8;1852rol = 8;1853} else {1854imm = (imm << 24) | (imm >> 8);1855rol = 0;1856}18571858if (!(imm & 0xff000000)) {1859imm <<= 8;1860rol += 4;1861}18621863if (!(imm & 0xf0000000)) {1864imm <<= 4;1865rol += 2;1866}18671868if (!(imm & 0xc0000000)) {1869imm <<= 2;1870rol += 1;1871}18721873if (!(imm & 0x00ffffff))1874return SRC2_IMM | (imm >> 24) | (rol << 8);1875return 0;1876}18771878static sljit_uw compute_imm(sljit_uw imm, sljit_uw* imm2)1879{1880sljit_uw mask;1881sljit_uw imm1;1882sljit_uw rol;18831884/* Step1: Search a zero byte (8 continous zero bit). */1885mask = 0xff000000;1886rol = 8;1887while (1) {1888if (!(imm & mask)) {1889/* Rol imm by rol. */1890imm = (imm << rol) | (imm >> (32 - rol));1891/* Calculate arm rol. */1892rol = 4 + (rol >> 1);1893break;1894}18951896rol += 2;1897mask >>= 2;1898if (mask & 0x3) {1899/* rol by 8. */1900imm = (imm << 8) | (imm >> 24);1901mask = 0xff00;1902rol = 24;1903while (1) {1904if (!(imm & mask)) {1905/* Rol imm by rol. */1906imm = (imm << rol) | (imm >> (32 - rol));1907/* Calculate arm rol. */1908rol = (rol >> 1) - 8;1909break;1910}1911rol += 2;1912mask >>= 2;1913if (mask & 0x3)1914return 0;1915}1916break;1917}1918}19191920/* The low 8 bit must be zero. */1921SLJIT_ASSERT(!(imm & 0xff));19221923if (!(imm & 0xff000000)) {1924imm1 = SRC2_IMM | ((imm >> 16) & 0xff) | (((rol + 4) & 0xf) << 8);1925*imm2 = SRC2_IMM | ((imm >> 8) & 0xff) | (((rol + 8) & 0xf) << 8);1926} else if (imm & 0xc0000000) {1927imm1 = SRC2_IMM | ((imm >> 24) & 0xff) | ((rol & 0xf) << 8);1928imm <<= 8;1929rol += 4;19301931if (!(imm & 0xff000000)) {1932imm <<= 8;1933rol += 4;1934}19351936if (!(imm & 0xf0000000)) {1937imm <<= 4;1938rol += 2;1939}19401941if (!(imm & 0xc0000000)) {1942imm <<= 2;1943rol += 1;1944}19451946if (!(imm & 0x00ffffff))1947*imm2 = SRC2_IMM | (imm >> 24) | ((rol & 0xf) << 8);1948else1949return 0;1950} else {1951if (!(imm & 0xf0000000)) {1952imm <<= 4;1953rol += 2;1954}19551956if (!(imm & 0xc0000000)) {1957imm <<= 2;1958rol += 1;1959}19601961imm1 = SRC2_IMM | ((imm >> 24) & 0xff) | ((rol & 0xf) << 8);1962imm <<= 8;1963rol += 4;19641965if (!(imm & 0xf0000000)) {1966imm <<= 4;1967rol += 2;1968}19691970if (!(imm & 0xc0000000)) {1971imm <<= 2;1972rol += 1;1973}19741975if (!(imm & 0x00ffffff))1976*imm2 = SRC2_IMM | (imm >> 24) | ((rol & 0xf) << 8);1977else1978return 0;1979}19801981return imm1;1982}19831984static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 reg, sljit_uw imm)1985{1986sljit_uw tmp;1987#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)1988sljit_uw imm1, imm2;1989#else /* !SLJIT_CONFIG_ARM_V6 */1990if (!(imm & ~(sljit_uw)0xffff))1991return push_inst(compiler, MOVW | RD(reg) | ((imm << 4) & 0xf0000) | (imm & 0xfff));1992#endif /* SLJIT_CONFIG_ARM_V6 */19931994/* Create imm by 1 inst. */1995tmp = get_imm(imm);1996if (tmp)1997return push_inst(compiler, MOV | RD(reg) | tmp);19981999tmp = get_imm(~imm);2000if (tmp)2001return push_inst(compiler, MVN | RD(reg) | tmp);20022003#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)2004/* Create imm by 2 inst. */2005imm1 = compute_imm(imm, &imm2);2006if (imm1 != 0) {2007FAIL_IF(push_inst(compiler, MOV | RD(reg) | imm1));2008return push_inst(compiler, ORR | RD(reg) | RN(reg) | imm2);2009}20102011imm1 = compute_imm(~imm, &imm2);2012if (imm1 != 0) {2013FAIL_IF(push_inst(compiler, MVN | RD(reg) | imm1));2014return push_inst(compiler, BIC | RD(reg) | RN(reg) | imm2);2015}20162017/* Load integer. */2018return push_inst_with_literal(compiler, EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1, reg, TMP_PC, 0), imm);2019#else /* !SLJIT_CONFIG_ARM_V6 */2020FAIL_IF(push_inst(compiler, MOVW | RD(reg) | ((imm << 4) & 0xf0000) | (imm & 0xfff)));2021if (imm <= 0xffff)2022return SLJIT_SUCCESS;2023return push_inst(compiler, MOVT | RD(reg) | ((imm >> 12) & 0xf0000) | ((imm >> 16) & 0xfff));2024#endif /* SLJIT_CONFIG_ARM_V6 */2025}20262027static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg,2028sljit_s32 arg, sljit_sw argw, sljit_s32 tmp_reg)2029{2030sljit_uw imm, offset_reg, tmp;2031sljit_sw mask = IS_TYPE1_TRANSFER(flags) ? 0xfff : 0xff;2032sljit_sw sign = IS_TYPE1_TRANSFER(flags) ? 0x1000 : 0x100;20332034SLJIT_ASSERT(arg & SLJIT_MEM);2035SLJIT_ASSERT((arg & REG_MASK) != tmp_reg || (arg == SLJIT_MEM1(tmp_reg) && argw >= -mask && argw <= mask));20362037if (SLJIT_UNLIKELY(!(arg & REG_MASK))) {2038tmp = (sljit_uw)(argw & (sign | mask));2039tmp = (sljit_uw)((argw + (tmp <= (sljit_uw)sign ? 0 : sign)) & ~mask);20402041FAIL_IF(load_immediate(compiler, tmp_reg, tmp));20422043argw -= (sljit_sw)tmp;2044tmp = 1;20452046if (argw < 0) {2047argw = -argw;2048tmp = 0;2049}20502051return push_inst(compiler, EMIT_DATA_TRANSFER(flags, tmp, reg, tmp_reg,2052(mask == 0xff) ? TYPE2_TRANSFER_IMM(argw) : argw));2053}20542055if (arg & OFFS_REG_MASK) {2056offset_reg = OFFS_REG(arg);2057arg &= REG_MASK;2058argw &= 0x3;20592060if (argw != 0 && (mask == 0xff)) {2061FAIL_IF(push_inst(compiler, ADD | RD(tmp_reg) | RN(arg) | RM(offset_reg) | ((sljit_ins)argw << 7)));2062return push_inst(compiler, EMIT_DATA_TRANSFER(flags, 1, reg, tmp_reg, TYPE2_TRANSFER_IMM(0)));2063}20642065/* Bit 25: RM is offset. */2066return push_inst(compiler, EMIT_DATA_TRANSFER(flags, 1, reg, arg,2067RM(offset_reg) | (mask == 0xff ? 0 : (1 << 25)) | ((sljit_ins)argw << 7)));2068}20692070arg &= REG_MASK;20712072if (argw > mask) {2073tmp = (sljit_uw)(argw & (sign | mask));2074tmp = (sljit_uw)((argw + (tmp <= (sljit_uw)sign ? 0 : sign)) & ~mask);2075imm = get_imm(tmp);20762077if (imm) {2078FAIL_IF(push_inst(compiler, ADD | RD(tmp_reg) | RN(arg) | imm));2079argw -= (sljit_sw)tmp;2080arg = tmp_reg;20812082SLJIT_ASSERT(argw >= -mask && argw <= mask);2083}2084} else if (argw < -mask) {2085tmp = (sljit_uw)(-argw & (sign | mask));2086tmp = (sljit_uw)((-argw + (tmp <= (sljit_uw)sign ? 0 : sign)) & ~mask);2087imm = get_imm(tmp);20882089if (imm) {2090FAIL_IF(push_inst(compiler, SUB | RD(tmp_reg) | RN(arg) | imm));2091argw += (sljit_sw)tmp;2092arg = tmp_reg;20932094SLJIT_ASSERT(argw >= -mask && argw <= mask);2095}2096}20972098if (argw <= mask && argw >= -mask) {2099if (argw >= 0) {2100if (mask == 0xff)2101argw = TYPE2_TRANSFER_IMM(argw);2102return push_inst(compiler, EMIT_DATA_TRANSFER(flags, 1, reg, arg, argw));2103}21042105argw = -argw;21062107if (mask == 0xff)2108argw = TYPE2_TRANSFER_IMM(argw);21092110return push_inst(compiler, EMIT_DATA_TRANSFER(flags, 0, reg, arg, argw));2111}21122113FAIL_IF(load_immediate(compiler, tmp_reg, (sljit_uw)argw));2114return push_inst(compiler, EMIT_DATA_TRANSFER(flags, 1, reg, arg,2115RM(tmp_reg) | (mask == 0xff ? 0 : (1 << 25))));2116}21172118static sljit_s32 emit_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 inp_flags,2119sljit_s32 dst, sljit_sw dstw,2120sljit_s32 src1, sljit_sw src1w,2121sljit_s32 src2, sljit_sw src2w)2122{2123/* src1 is reg or TMP_REG12124src2 is reg, TMP_REG2, or imm2125result goes to TMP_REG2, so put result can use TMP_REG1. */21262127/* We prefers register and simple consts. */2128sljit_s32 dst_reg;2129sljit_s32 src1_reg = 0;2130sljit_s32 src2_reg = 0;2131sljit_s32 src2_tmp_reg = 0;2132sljit_s32 flags = HAS_FLAGS(op) ? SET_FLAGS : 0;2133sljit_s32 neg_op = 0;2134sljit_u32 imm2;21352136op = GET_OPCODE(op);21372138if (flags & SET_FLAGS)2139inp_flags &= ~ALLOW_DOUBLE_IMM;21402141if (dst == TMP_REG1)2142flags |= UNUSED_RETURN;21432144SLJIT_ASSERT(!(inp_flags & ALLOW_INV_IMM) || (inp_flags & ALLOW_IMM));21452146if (inp_flags & ALLOW_NEG_IMM) {2147switch (op) {2148case SLJIT_ADD:2149compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;2150neg_op = SLJIT_SUB;2151break;2152case SLJIT_ADDC:2153compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;2154neg_op = SLJIT_SUBC;2155break;2156case SLJIT_SUB:2157compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;2158neg_op = SLJIT_ADD;2159break;2160case SLJIT_SUBC:2161compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;2162neg_op = SLJIT_ADDC;2163break;2164}2165}21662167do {2168if (!(inp_flags & ALLOW_IMM))2169break;21702171if (src2 == SLJIT_IMM) {2172src2_reg = (sljit_s32)get_imm((sljit_uw)src2w);2173if (src2_reg)2174break;21752176if (inp_flags & ALLOW_INV_IMM) {2177src2_reg = (sljit_s32)get_imm(~(sljit_uw)src2w);2178if (src2_reg) {2179flags |= INV_IMM;2180break;2181}2182}21832184if (neg_op != 0) {2185src2_reg = (sljit_s32)get_imm((neg_op == SLJIT_ADD || neg_op == SLJIT_SUB) ? (sljit_uw)-src2w : ~(sljit_uw)src2w);2186if (src2_reg) {2187op = neg_op | GET_ALL_FLAGS(op);2188break;2189}2190}2191}21922193if (src1 == SLJIT_IMM) {2194src2_reg = (sljit_s32)get_imm((sljit_uw)src1w);2195if (src2_reg) {2196flags |= ARGS_SWAPPED;2197src1 = src2;2198src1w = src2w;2199break;2200}22012202if (inp_flags & ALLOW_INV_IMM) {2203src2_reg = (sljit_s32)get_imm(~(sljit_uw)src1w);2204if (src2_reg) {2205flags |= ARGS_SWAPPED | INV_IMM;2206src1 = src2;2207src1w = src2w;2208break;2209}2210}22112212if (neg_op >= SLJIT_SUB) {2213/* Note: additive operation (commutative). */2214SLJIT_ASSERT(op == SLJIT_ADD || op == SLJIT_ADDC);22152216src2_reg = (sljit_s32)get_imm((sljit_uw)-src1w);2217if (src2_reg) {2218src1 = src2;2219src1w = src2w;2220op = neg_op | GET_ALL_FLAGS(op);2221break;2222}2223}2224}2225} while(0);22262227/* Destination. */2228dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG2;22292230if (op <= SLJIT_MOV_P) {2231if (dst & SLJIT_MEM) {2232if (inp_flags & BYTE_SIZE)2233inp_flags &= ~SIGNED;22342235if (FAST_IS_REG(src2))2236return emit_op_mem(compiler, inp_flags, src2, dst, dstw, TMP_REG1);2237}22382239if (FAST_IS_REG(src2) && dst_reg != TMP_REG2)2240flags |= REGISTER_OP;22412242src2_tmp_reg = dst_reg;2243} else {2244if (op == SLJIT_REV_U16 || op == SLJIT_REV_S16) {2245if (!(dst & SLJIT_MEM) && (!(src2 & SLJIT_MEM) || op == SLJIT_REV_S16))2246flags |= REGISTER_OP;2247}22482249src2_tmp_reg = FAST_IS_REG(src1) ? TMP_REG1 : TMP_REG2;2250}22512252if (src2_reg == 0 && (src2 & SLJIT_MEM)) {2253src2_reg = src2_tmp_reg;2254FAIL_IF(emit_op_mem(compiler, inp_flags | LOAD_DATA, src2_reg, src2, src2w, TMP_REG1));2255}22562257/* Source 1. */2258if (FAST_IS_REG(src1))2259src1_reg = src1;2260else if (src1 & SLJIT_MEM) {2261FAIL_IF(emit_op_mem(compiler, inp_flags | LOAD_DATA, TMP_REG1, src1, src1w, TMP_REG1));2262src1_reg = TMP_REG1;2263} else if (!(inp_flags & ALLOW_DOUBLE_IMM) || src2_reg != 0 || op == SLJIT_SUB || op == SLJIT_SUBC) {2264FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));2265src1_reg = TMP_REG1;2266}22672268/* Source 2. */2269if (src2_reg == 0) {2270src2_reg = src2_tmp_reg;22712272if (FAST_IS_REG(src2))2273src2_reg = src2;2274else if (!(inp_flags & ALLOW_DOUBLE_IMM))2275FAIL_IF(load_immediate(compiler, src2_reg, (sljit_uw)src2w));2276else {2277SLJIT_ASSERT(!(flags & SET_FLAGS));22782279if (src1_reg == 0) {2280FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));2281src1_reg = TMP_REG1;2282}22832284src2_reg = (sljit_s32)compute_imm((sljit_uw)src2w, &imm2);22852286if (src2_reg == 0 && neg_op != 0) {2287src2_reg = (sljit_s32)compute_imm((sljit_uw)-src2w, &imm2);2288if (src2_reg != 0)2289op = neg_op;2290}22912292if (src2_reg == 0) {2293FAIL_IF(load_immediate(compiler, src2_tmp_reg, (sljit_uw)src2w));2294src2_reg = src2_tmp_reg;2295} else {2296FAIL_IF(emit_single_op(compiler, op, flags, (sljit_uw)dst_reg, (sljit_uw)src1_reg, (sljit_uw)src2_reg));2297src1_reg = dst_reg;2298src2_reg = (sljit_s32)imm2;22992300if (op == SLJIT_ADDC)2301op = SLJIT_ADD;2302else if (op == SLJIT_SUBC)2303op = SLJIT_SUB;2304}2305}2306}23072308if (src1_reg == 0) {2309SLJIT_ASSERT((inp_flags & ALLOW_DOUBLE_IMM) && !(flags & SET_FLAGS));23102311src1_reg = (sljit_s32)compute_imm((sljit_uw)src1w, &imm2);23122313if (src1_reg == 0 && neg_op != 0) {2314src1_reg = (sljit_s32)compute_imm((sljit_uw)-src1w, &imm2);2315if (src1_reg != 0)2316op = neg_op;2317}23182319if (src1_reg == 0) {2320FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));2321src1_reg = TMP_REG1;2322} else {2323FAIL_IF(emit_single_op(compiler, op, flags, (sljit_uw)dst_reg, (sljit_uw)src2_reg, (sljit_uw)src1_reg));2324src1_reg = dst_reg;2325src2_reg = (sljit_s32)imm2;23262327if (op == SLJIT_ADDC)2328op = SLJIT_ADD;2329}2330}23312332FAIL_IF(emit_single_op(compiler, op, flags, (sljit_uw)dst_reg, (sljit_uw)src1_reg, (sljit_uw)src2_reg));23332334if (!(dst & SLJIT_MEM))2335return SLJIT_SUCCESS;23362337return emit_op_mem(compiler, inp_flags, dst_reg, dst, dstw, TMP_REG1);2338}23392340#ifdef __cplusplus2341extern "C" {2342#endif23432344#if defined(__GNUC__)2345extern unsigned int __aeabi_uidivmod(unsigned int numerator, unsigned int denominator);2346extern int __aeabi_idivmod(int numerator, int denominator);2347#else2348#error "Software divmod functions are needed"2349#endif23502351#ifdef __cplusplus2352}2353#endif23542355SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)2356{2357sljit_uw saved_reg_list[3];2358sljit_sw saved_reg_count;23592360CHECK_ERROR();2361CHECK(check_sljit_emit_op0(compiler, op));23622363op = GET_OPCODE(op);2364switch (op) {2365case SLJIT_BREAKPOINT:2366FAIL_IF(push_inst(compiler, BKPT));2367break;2368case SLJIT_NOP:2369FAIL_IF(push_inst(compiler, NOP));2370break;2371case SLJIT_LMUL_UW:2372case SLJIT_LMUL_SW:2373return push_inst(compiler, (op == SLJIT_LMUL_UW ? UMULL : SMULL)2374| RN(SLJIT_R1) | RD(SLJIT_R0) | RM8(SLJIT_R0) | RM(SLJIT_R1));2375case SLJIT_DIVMOD_UW:2376case SLJIT_DIVMOD_SW:2377case SLJIT_DIV_UW:2378case SLJIT_DIV_SW:2379SLJIT_COMPILE_ASSERT((SLJIT_DIVMOD_UW & 0x2) == 0 && SLJIT_DIV_UW - 0x2 == SLJIT_DIVMOD_UW, bad_div_opcode_assignments);2380SLJIT_ASSERT(reg_map[2] == 1 && reg_map[3] == 2 && reg_map[4] == 3);23812382saved_reg_count = 0;2383if (compiler->scratches >= 4)2384saved_reg_list[saved_reg_count++] = 3;2385if (compiler->scratches >= 3)2386saved_reg_list[saved_reg_count++] = 2;2387if (op >= SLJIT_DIV_UW)2388saved_reg_list[saved_reg_count++] = 1;23892390if (saved_reg_count > 0) {2391FAIL_IF(push_inst(compiler, STR | 0x2d0000 | (saved_reg_count >= 3 ? 16 : 8)2392| (saved_reg_list[0] << 12) /* str rX, [sp, #-8/-16]! */));2393if (saved_reg_count >= 2) {2394SLJIT_ASSERT(saved_reg_list[1] < 8);2395FAIL_IF(push_inst(compiler, STR | 0x8d0004 | (saved_reg_list[1] << 12) /* str rX, [sp, #4] */));2396}2397if (saved_reg_count >= 3) {2398SLJIT_ASSERT(saved_reg_list[2] < 8);2399FAIL_IF(push_inst(compiler, STR | 0x8d0008 | (saved_reg_list[2] << 12) /* str rX, [sp, #8] */));2400}2401}24022403#if defined(__GNUC__)2404FAIL_IF(sljit_emit_ijump(compiler, SLJIT_FAST_CALL, SLJIT_IMM,2405((op | 0x2) == SLJIT_DIV_UW ? SLJIT_FUNC_ADDR(__aeabi_uidivmod) : SLJIT_FUNC_ADDR(__aeabi_idivmod))));2406#else2407#error "Software divmod functions are needed"2408#endif24092410if (saved_reg_count > 0) {2411if (saved_reg_count >= 3) {2412SLJIT_ASSERT(saved_reg_list[2] < 8);2413FAIL_IF(push_inst(compiler, LDR | 0x8d0008 | (saved_reg_list[2] << 12) /* ldr rX, [sp, #8] */));2414}2415if (saved_reg_count >= 2) {2416SLJIT_ASSERT(saved_reg_list[1] < 8);2417FAIL_IF(push_inst(compiler, LDR | 0x8d0004 | (saved_reg_list[1] << 12) /* ldr rX, [sp, #4] */));2418}2419return push_inst(compiler, (LDR ^ (1 << 24)) | 0x8d0000 | (sljit_ins)(saved_reg_count >= 3 ? 16 : 8)2420| (saved_reg_list[0] << 12) /* ldr rX, [sp], #8/16 */);2421}2422return SLJIT_SUCCESS;2423case SLJIT_MEMORY_BARRIER:2424#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)2425return push_inst(compiler, DMB_SY);2426#else /* !SLJIT_CONFIG_ARM_V7 */2427return SLJIT_ERR_UNSUPPORTED;2428#endif /* SLJIT_CONFIG_ARM_V7 */2429case SLJIT_ENDBR:2430case SLJIT_SKIP_FRAMES_BEFORE_RETURN:2431return SLJIT_SUCCESS;2432}24332434return SLJIT_SUCCESS;2435}24362437SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,2438sljit_s32 dst, sljit_sw dstw,2439sljit_s32 src, sljit_sw srcw)2440{2441CHECK_ERROR();2442CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));2443ADJUST_LOCAL_OFFSET(dst, dstw);2444ADJUST_LOCAL_OFFSET(src, srcw);24452446switch (GET_OPCODE(op)) {2447case SLJIT_MOV:2448case SLJIT_MOV_U32:2449case SLJIT_MOV_S32:2450case SLJIT_MOV32:2451case SLJIT_MOV_P:2452return emit_op(compiler, SLJIT_MOV, ALLOW_ANY_IMM, dst, dstw, TMP_REG1, 0, src, srcw);24532454case SLJIT_MOV_U8:2455return emit_op(compiler, SLJIT_MOV_U8, ALLOW_ANY_IMM | BYTE_SIZE, dst, dstw, TMP_REG1, 0, src, (src == SLJIT_IMM) ? (sljit_u8)srcw : srcw);24562457case SLJIT_MOV_S8:2458return emit_op(compiler, SLJIT_MOV_S8, ALLOW_ANY_IMM | SIGNED | BYTE_SIZE, dst, dstw, TMP_REG1, 0, src, (src == SLJIT_IMM) ? (sljit_s8)srcw : srcw);24592460case SLJIT_MOV_U16:2461return emit_op(compiler, SLJIT_MOV_U16, ALLOW_ANY_IMM | HALF_SIZE, dst, dstw, TMP_REG1, 0, src, (src == SLJIT_IMM) ? (sljit_u16)srcw : srcw);24622463case SLJIT_MOV_S16:2464return emit_op(compiler, SLJIT_MOV_S16, ALLOW_ANY_IMM | SIGNED | HALF_SIZE, dst, dstw, TMP_REG1, 0, src, (src == SLJIT_IMM) ? (sljit_s16)srcw : srcw);24652466case SLJIT_CLZ:2467case SLJIT_CTZ:2468case SLJIT_REV:2469case SLJIT_REV_U32:2470case SLJIT_REV_S32:2471return emit_op(compiler, op, 0, dst, dstw, TMP_REG1, 0, src, srcw);24722473case SLJIT_REV_U16:2474case SLJIT_REV_S16:2475return emit_op(compiler, op, HALF_SIZE, dst, dstw, TMP_REG1, 0, src, srcw);2476}24772478return SLJIT_SUCCESS;2479}24802481SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,2482sljit_s32 dst, sljit_sw dstw,2483sljit_s32 src1, sljit_sw src1w,2484sljit_s32 src2, sljit_sw src2w)2485{2486sljit_s32 inp_flags;24872488CHECK_ERROR();2489CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));2490ADJUST_LOCAL_OFFSET(dst, dstw);2491ADJUST_LOCAL_OFFSET(src1, src1w);2492ADJUST_LOCAL_OFFSET(src2, src2w);24932494switch (GET_OPCODE(op)) {2495case SLJIT_ADD:2496case SLJIT_ADDC:2497case SLJIT_SUB:2498case SLJIT_SUBC:2499return emit_op(compiler, op, ALLOW_IMM | ALLOW_NEG_IMM | ALLOW_DOUBLE_IMM, dst, dstw, src1, src1w, src2, src2w);25002501case SLJIT_OR:2502return emit_op(compiler, op, ALLOW_IMM | ALLOW_DOUBLE_IMM, dst, dstw, src1, src1w, src2, src2w);25032504case SLJIT_XOR:2505inp_flags = ALLOW_IMM | ALLOW_DOUBLE_IMM;2506if ((src1 == SLJIT_IMM && src1w == -1) || (src2 == SLJIT_IMM && src2w == -1)) {2507inp_flags |= ALLOW_INV_IMM;2508}2509return emit_op(compiler, op, inp_flags, dst, dstw, src1, src1w, src2, src2w);25102511case SLJIT_MUL:2512return emit_op(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w);25132514case SLJIT_AND:2515return emit_op(compiler, op, ALLOW_ANY_IMM, dst, dstw, src1, src1w, src2, src2w);25162517case SLJIT_SHL:2518case SLJIT_MSHL:2519case SLJIT_LSHR:2520case SLJIT_MLSHR:2521case SLJIT_ASHR:2522case SLJIT_MASHR:2523case SLJIT_ROTL:2524case SLJIT_ROTR:2525if (src2 == SLJIT_IMM) {2526compiler->shift_imm = src2w & 0x1f;2527return emit_op(compiler, op, 0, dst, dstw, TMP_REG1, 0, src1, src1w);2528} else {2529compiler->shift_imm = 0x20;2530return emit_op(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w);2531}2532}25332534return SLJIT_SUCCESS;2535}25362537SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,2538sljit_s32 src1, sljit_sw src1w,2539sljit_s32 src2, sljit_sw src2w)2540{2541CHECK_ERROR();2542CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));25432544SLJIT_SKIP_CHECKS(compiler);2545return sljit_emit_op2(compiler, op, TMP_REG1, 0, src1, src1w, src2, src2w);2546}25472548SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2r(struct sljit_compiler *compiler, sljit_s32 op,2549sljit_s32 dst_reg,2550sljit_s32 src1, sljit_sw src1w,2551sljit_s32 src2, sljit_sw src2w)2552{2553CHECK_ERROR();2554CHECK(check_sljit_emit_op2r(compiler, op, dst_reg, src1, src1w, src2, src2w));2555ADJUST_LOCAL_OFFSET(src1, src1w);2556ADJUST_LOCAL_OFFSET(src2, src2w);25572558switch (GET_OPCODE(op)) {2559case SLJIT_MULADD:2560return emit_op(compiler, op, 0, dst_reg, 0, src1, src1w, src2, src2w);2561}25622563return SLJIT_SUCCESS;2564}25652566SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_shift_into(struct sljit_compiler *compiler, sljit_s32 op,2567sljit_s32 dst_reg,2568sljit_s32 src1_reg,2569sljit_s32 src2_reg,2570sljit_s32 src3, sljit_sw src3w)2571{2572sljit_s32 is_left;25732574CHECK_ERROR();2575CHECK(check_sljit_emit_shift_into(compiler, op, dst_reg, src1_reg, src2_reg, src3, src3w));25762577op = GET_OPCODE(op);2578is_left = (op == SLJIT_SHL || op == SLJIT_MSHL);25792580if (src1_reg == src2_reg) {2581SLJIT_SKIP_CHECKS(compiler);2582return sljit_emit_op2(compiler, is_left ? SLJIT_ROTL : SLJIT_ROTR, dst_reg, 0, src1_reg, 0, src3, src3w);2583}25842585ADJUST_LOCAL_OFFSET(src3, src3w);25862587/* Shift type of ROR is 3. */2588if (src3 == SLJIT_IMM) {2589src3w &= 0x1f;25902591if (src3w == 0)2592return SLJIT_SUCCESS;25932594FAIL_IF(push_inst(compiler, MOV | RD(dst_reg) | RM(src1_reg) | ((sljit_ins)(is_left ? 0 : 1) << 5) | ((sljit_ins)src3w << 7)));2595src3w = (src3w ^ 0x1f) + 1;2596return push_inst(compiler, ORR | RD(dst_reg) | RN(dst_reg) | RM(src2_reg) | ((sljit_ins)(is_left ? 1 : 0) << 5) | ((sljit_ins)src3w << 7));2597}25982599if (src3 & SLJIT_MEM) {2600FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG2, src3, src3w, TMP_REG2));2601src3 = TMP_REG2;2602}26032604if (op == SLJIT_MSHL || op == SLJIT_MLSHR || dst_reg == src3) {2605FAIL_IF(push_inst(compiler, AND | SRC2_IMM | RD(TMP_REG2) | RN(src3) | 0x1f));2606src3 = TMP_REG2;2607}26082609FAIL_IF(push_inst(compiler, MOV | RD(dst_reg) | RM8(src3) | ((sljit_ins)(is_left ? 0 : 1) << 5) | 0x10 | RM(src1_reg)));2610FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src2_reg) | ((sljit_ins)(is_left ? 1 : 0) << 5) | (1 << 7)));2611FAIL_IF(push_inst(compiler, EOR | SRC2_IMM | RD(TMP_REG2) | RN(src3) | 0x1f));2612return push_inst(compiler, ORR | RD(dst_reg) | RN(dst_reg) | RM8(TMP_REG2) | ((sljit_ins)(is_left ? 1 : 0) << 5) | 0x10 | RM(TMP_REG1));2613}26142615SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,2616sljit_s32 src, sljit_sw srcw)2617{2618CHECK_ERROR();2619CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));2620ADJUST_LOCAL_OFFSET(src, srcw);26212622switch (op) {2623case SLJIT_FAST_RETURN:2624SLJIT_ASSERT(reg_map[TMP_REG2] == 14);26252626if (FAST_IS_REG(src))2627FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG2) | RM(src)));2628else2629FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG2, src, srcw, TMP_REG1));26302631return push_inst(compiler, BX | RM(TMP_REG2));2632case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:2633return SLJIT_SUCCESS;2634case SLJIT_PREFETCH_L1:2635case SLJIT_PREFETCH_L2:2636case SLJIT_PREFETCH_L3:2637case SLJIT_PREFETCH_ONCE:2638SLJIT_ASSERT(src & SLJIT_MEM);2639return emit_op_mem(compiler, PRELOAD | LOAD_DATA, TMP_PC, src, srcw, TMP_REG1);2640}26412642return SLJIT_SUCCESS;2643}26442645SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_dst(struct sljit_compiler *compiler, sljit_s32 op,2646sljit_s32 dst, sljit_sw dstw)2647{2648sljit_s32 size, dst_r;26492650CHECK_ERROR();2651CHECK(check_sljit_emit_op_dst(compiler, op, dst, dstw));2652ADJUST_LOCAL_OFFSET(dst, dstw);26532654switch (op) {2655case SLJIT_FAST_ENTER:2656SLJIT_ASSERT(reg_map[TMP_REG2] == 14);26572658if (FAST_IS_REG(dst))2659return push_inst(compiler, MOV | RD(dst) | RM(TMP_REG2));2660break;2661case SLJIT_GET_RETURN_ADDRESS:2662size = GET_SAVED_REGISTERS_SIZE(compiler->scratches, compiler->saveds - SLJIT_KEPT_SAVEDS_COUNT(compiler->options), 0);26632664if (compiler->fsaveds > 0 || compiler->fscratches >= SLJIT_FIRST_SAVED_FLOAT_REG) {2665/* The size of pc is not added above. */2666if ((size & SSIZE_OF(sw)) == 0)2667size += SSIZE_OF(sw);26682669size += GET_SAVED_FLOAT_REGISTERS_SIZE(compiler->fscratches, compiler->fsaveds, f64);2670}26712672SLJIT_ASSERT(((compiler->local_size + size + SSIZE_OF(sw)) & 0x7) == 0);26732674dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;2675FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, dst_r, SLJIT_MEM1(SLJIT_SP), compiler->local_size + size, TMP_REG1));2676break;2677}26782679if (dst & SLJIT_MEM)2680return emit_op_mem(compiler, WORD_SIZE, TMP_REG2, dst, dstw, TMP_REG1);26812682return SLJIT_SUCCESS;2683}26842685SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 type, sljit_s32 reg)2686{2687CHECK_REG_INDEX(check_sljit_get_register_index(type, reg));26882689if (type == SLJIT_GP_REGISTER)2690return reg_map[reg];26912692if (type == SLJIT_FLOAT_REGISTER || type == SLJIT_SIMD_REG_64)2693return freg_map[reg];26942695if (type == SLJIT_SIMD_REG_128)2696return freg_map[reg] & ~0x1;26972698return -1;2699}27002701SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,2702void *instruction, sljit_u32 size)2703{2704SLJIT_UNUSED_ARG(size);2705CHECK_ERROR();2706CHECK(check_sljit_emit_op_custom(compiler, instruction, size));27072708return push_inst(compiler, *(sljit_ins*)instruction);2709}27102711/* --------------------------------------------------------------------- */2712/* Floating point operators */2713/* --------------------------------------------------------------------- */27142715#define FPU_LOAD (1 << 20)2716#define EMIT_FPU_DATA_TRANSFER(inst, add, base, freg, offs) \2717((inst) | (sljit_ins)((add) << 23) | RN(base) | VD(freg) | (sljit_ins)(offs))27182719static sljit_s32 emit_fop_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)2720{2721sljit_uw imm;2722sljit_ins inst = VSTR_F32 | (flags & (SLJIT_32 | FPU_LOAD));27232724SLJIT_ASSERT(arg & SLJIT_MEM);2725arg &= ~SLJIT_MEM;27262727if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {2728FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | (((sljit_ins)argw & 0x3) << 7)));2729arg = TMP_REG1;2730argw = 0;2731}27322733/* Fast loads and stores. */2734if (arg) {2735if (!(argw & ~0x3fc))2736return push_inst(compiler, EMIT_FPU_DATA_TRANSFER(inst, 1, arg & REG_MASK, reg, argw >> 2));2737if (!(-argw & ~0x3fc))2738return push_inst(compiler, EMIT_FPU_DATA_TRANSFER(inst, 0, arg & REG_MASK, reg, (-argw) >> 2));27392740imm = get_imm((sljit_uw)argw & ~(sljit_uw)0x3fc);2741if (imm) {2742FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg & REG_MASK) | imm));2743return push_inst(compiler, EMIT_FPU_DATA_TRANSFER(inst, 1, TMP_REG1, reg, (argw & 0x3fc) >> 2));2744}2745imm = get_imm((sljit_uw)-argw & ~(sljit_uw)0x3fc);2746if (imm) {2747argw = -argw;2748FAIL_IF(push_inst(compiler, SUB | RD(TMP_REG1) | RN(arg & REG_MASK) | imm));2749return push_inst(compiler, EMIT_FPU_DATA_TRANSFER(inst, 0, TMP_REG1, reg, (argw & 0x3fc) >> 2));2750}2751}27522753if (arg) {2754FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)argw));2755FAIL_IF(push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg & REG_MASK) | RM(TMP_REG1)));2756}2757else2758FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)argw));27592760return push_inst(compiler, EMIT_FPU_DATA_TRANSFER(inst, 1, TMP_REG1, reg, 0));2761}27622763static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,2764sljit_s32 dst, sljit_sw dstw,2765sljit_s32 src, sljit_sw srcw)2766{2767op ^= SLJIT_32;27682769if (src & SLJIT_MEM) {2770FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src, srcw));2771src = TMP_FREG1;2772}27732774FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VCVT_S32_F32, op & SLJIT_32, TMP_FREG1, src, 0)));27752776if (FAST_IS_REG(dst))2777return push_inst(compiler, VMOV | (1 << 20) | RD(dst) | VN(TMP_FREG1));27782779/* Store the integer value from a VFP register. */2780return emit_fop_mem(compiler, 0, TMP_FREG1, dst, dstw);2781}27822783static sljit_s32 sljit_emit_fop1_conv_f64_from_w(struct sljit_compiler *compiler, sljit_ins ins,2784sljit_s32 dst, sljit_sw dstw,2785sljit_s32 src, sljit_sw srcw)2786{2787sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;27882789if (FAST_IS_REG(src))2790FAIL_IF(push_inst(compiler, VMOV | RD(src) | VN(TMP_FREG1)));2791else if (src & SLJIT_MEM) {2792/* Load the integer value into a VFP register. */2793FAIL_IF(emit_fop_mem(compiler, FPU_LOAD, TMP_FREG1, src, srcw));2794}2795else {2796FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcw));2797FAIL_IF(push_inst(compiler, VMOV | RD(TMP_REG1) | VN(TMP_FREG1)));2798}27992800FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(ins, ins & SLJIT_32, dst_r, TMP_FREG1, 0)));28012802if (dst & SLJIT_MEM)2803return emit_fop_mem(compiler, (ins & SLJIT_32), TMP_FREG1, dst, dstw);2804return SLJIT_SUCCESS;2805}28062807static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,2808sljit_s32 dst, sljit_sw dstw,2809sljit_s32 src, sljit_sw srcw)2810{2811return sljit_emit_fop1_conv_f64_from_w(compiler, VCVT_F32_S32 | (~op & SLJIT_32), dst, dstw, src, srcw);2812}28132814static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_uw(struct sljit_compiler *compiler, sljit_s32 op,2815sljit_s32 dst, sljit_sw dstw,2816sljit_s32 src, sljit_sw srcw)2817{2818return sljit_emit_fop1_conv_f64_from_w(compiler, VCVT_F32_U32 | (~op & SLJIT_32), dst, dstw, src, srcw);2819}28202821static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,2822sljit_s32 src1, sljit_sw src1w,2823sljit_s32 src2, sljit_sw src2w)2824{2825op ^= SLJIT_32;28262827if (src1 & SLJIT_MEM) {2828FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w));2829src1 = TMP_FREG1;2830}28312832if (src2 & SLJIT_MEM) {2833FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w));2834src2 = TMP_FREG2;2835}28362837FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VCMP_F32, op & SLJIT_32, src1, src2, 0)));2838FAIL_IF(push_inst(compiler, VMRS));28392840if (GET_FLAG_TYPE(op) != SLJIT_UNORDERED_OR_EQUAL)2841return SLJIT_SUCCESS;28422843return push_inst(compiler, (CMP - CONDITIONAL) | (0x60000000 /* VS */) | SET_FLAGS | RN(TMP_REG1) | RM(TMP_REG1));2844}28452846SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,2847sljit_s32 dst, sljit_sw dstw,2848sljit_s32 src, sljit_sw srcw)2849{2850sljit_s32 dst_r;28512852CHECK_ERROR();28532854SLJIT_COMPILE_ASSERT((SLJIT_32 == 0x100), float_transfer_bit_error);2855SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);28562857dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;28582859if (GET_OPCODE(op) != SLJIT_CONV_F64_FROM_F32)2860op ^= SLJIT_32;28612862if (src & SLJIT_MEM) {2863FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, dst_r, src, srcw));2864src = dst_r;2865}28662867switch (GET_OPCODE(op)) {2868case SLJIT_MOV_F64:2869if (src != dst_r) {2870if (!(dst & SLJIT_MEM))2871FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMOV_F32, op & SLJIT_32, dst_r, src, 0)));2872else2873dst_r = src;2874}2875break;2876case SLJIT_NEG_F64:2877FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VNEG_F32, op & SLJIT_32, dst_r, src, 0)));2878break;2879case SLJIT_ABS_F64:2880FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VABS_F32, op & SLJIT_32, dst_r, src, 0)));2881break;2882case SLJIT_CONV_F64_FROM_F32:2883FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VCVT_F64_F32, op & SLJIT_32, dst_r, src, 0)));2884op ^= SLJIT_32;2885break;2886}28872888if (dst & SLJIT_MEM)2889return emit_fop_mem(compiler, (op & SLJIT_32), dst_r, dst, dstw);2890return SLJIT_SUCCESS;2891}28922893SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,2894sljit_s32 dst, sljit_sw dstw,2895sljit_s32 src1, sljit_sw src1w,2896sljit_s32 src2, sljit_sw src2w)2897{2898sljit_s32 dst_r;28992900CHECK_ERROR();2901CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));2902ADJUST_LOCAL_OFFSET(dst, dstw);2903ADJUST_LOCAL_OFFSET(src1, src1w);2904ADJUST_LOCAL_OFFSET(src2, src2w);29052906op ^= SLJIT_32;29072908dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;29092910if (src2 & SLJIT_MEM) {2911FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG2, src2, src2w));2912src2 = TMP_FREG2;2913}29142915if (src1 & SLJIT_MEM) {2916FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32) | FPU_LOAD, TMP_FREG1, src1, src1w));2917src1 = TMP_FREG1;2918}29192920switch (GET_OPCODE(op)) {2921case SLJIT_ADD_F64:2922FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VADD_F32, op & SLJIT_32, dst_r, src2, src1)));2923break;2924case SLJIT_SUB_F64:2925FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VSUB_F32, op & SLJIT_32, dst_r, src2, src1)));2926break;2927case SLJIT_MUL_F64:2928FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMUL_F32, op & SLJIT_32, dst_r, src2, src1)));2929break;2930case SLJIT_DIV_F64:2931FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VDIV_F32, op & SLJIT_32, dst_r, src2, src1)));2932break;2933case SLJIT_COPYSIGN_F64:2934FAIL_IF(push_inst(compiler, VMOV | (1 << 20) | VN(src2) | RD(TMP_REG1) | ((op & SLJIT_32) ? (1 << 7) : 0)));2935FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VABS_F32, op & SLJIT_32, dst_r, src1, 0)));2936FAIL_IF(push_inst(compiler, CMP | SET_FLAGS | RN(TMP_REG1) | SRC2_IMM | 0));2937return push_inst(compiler, EMIT_FPU_OPERATION((VNEG_F32 & ~COND_MASK) | 0xb0000000, op & SLJIT_32, dst_r, dst_r, 0));2938}29392940if (dst_r != dst)2941FAIL_IF(emit_fop_mem(compiler, (op & SLJIT_32), TMP_FREG1, dst, dstw));29422943return SLJIT_SUCCESS;2944}29452946#undef EMIT_FPU_DATA_TRANSFER29472948SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset32(struct sljit_compiler *compiler,2949sljit_s32 freg, sljit_f32 value)2950{2951#if defined(__ARM_NEON) && __ARM_NEON2952sljit_u32 exp;2953sljit_ins ins;2954#endif /* NEON */2955union {2956sljit_u32 imm;2957sljit_f32 value;2958} u;29592960CHECK_ERROR();2961CHECK(check_sljit_emit_fset32(compiler, freg, value));29622963u.value = value;29642965#if defined(__ARM_NEON) && __ARM_NEON2966if ((u.imm << (32 - 19)) == 0) {2967exp = (u.imm >> (23 + 2)) & 0x3f;29682969if (exp == 0x20 || exp == 0x1f) {2970ins = ((u.imm >> 24) & 0x80) | ((u.imm >> 19) & 0x7f);2971return push_inst(compiler, (VMOV_F32 ^ (1 << 6)) | ((ins & 0xf0) << 12) | VD(freg) | (ins & 0xf));2972}2973}2974#endif /* NEON */29752976FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm));2977return push_inst(compiler, VMOV | VN(freg) | RD(TMP_REG1));2978}29792980SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,2981sljit_s32 freg, sljit_f64 value)2982{2983#if defined(__ARM_NEON) && __ARM_NEON2984sljit_u32 exp;2985sljit_ins ins;2986#endif /* NEON */2987union {2988sljit_u32 imm[2];2989sljit_f64 value;2990} u;29912992CHECK_ERROR();2993CHECK(check_sljit_emit_fset64(compiler, freg, value));29942995u.value = value;29962997#if defined(__ARM_NEON) && __ARM_NEON2998if (u.imm[0] == 0 && (u.imm[1] << (64 - 48)) == 0) {2999exp = (u.imm[1] >> ((52 - 32) + 2)) & 0x1ff;30003001if (exp == 0x100 || exp == 0xff) {3002ins = ((u.imm[1] >> (56 - 32)) & 0x80) | ((u.imm[1] >> (48 - 32)) & 0x7f);3003return push_inst(compiler, (VMOV_F32 ^ (1 << 6)) | (1 << 8) | ((ins & 0xf0) << 12) | VD(freg) | (ins & 0xf));3004}3005}3006#endif /* NEON */30073008FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm[0]));3009if (u.imm[0] == u.imm[1])3010return push_inst(compiler, VMOV2 | RN(TMP_REG1) | RD(TMP_REG1) | VM(freg));30113012FAIL_IF(load_immediate(compiler, TMP_REG2, u.imm[1]));3013return push_inst(compiler, VMOV2 | RN(TMP_REG2) | RD(TMP_REG1) | VM(freg));3014}30153016SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,3017sljit_s32 freg, sljit_s32 reg)3018{3019sljit_s32 reg2;3020sljit_ins inst;30213022CHECK_ERROR();3023CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));30243025if (reg & REG_PAIR_MASK) {3026reg2 = REG_PAIR_SECOND(reg);3027reg = REG_PAIR_FIRST(reg);30283029inst = VMOV2 | RN(reg) | RD(reg2) | VM(freg);3030} else {3031inst = VMOV | VN(freg) | RD(reg);30323033if (!(op & SLJIT_32))3034inst |= 1 << 7;3035}30363037if (GET_OPCODE(op) == SLJIT_COPY_FROM_F64)3038inst |= 1 << 20;30393040return push_inst(compiler, inst);3041}30423043/* --------------------------------------------------------------------- */3044/* Conditional instructions */3045/* --------------------------------------------------------------------- */30463047static sljit_ins get_cc(struct sljit_compiler *compiler, sljit_s32 type)3048{3049switch (type) {3050case SLJIT_EQUAL:3051case SLJIT_ATOMIC_STORED:3052case SLJIT_F_EQUAL:3053case SLJIT_ORDERED_EQUAL:3054case SLJIT_UNORDERED_OR_EQUAL:3055return 0x00000000;30563057case SLJIT_NOT_EQUAL:3058case SLJIT_ATOMIC_NOT_STORED:3059case SLJIT_F_NOT_EQUAL:3060case SLJIT_UNORDERED_OR_NOT_EQUAL:3061case SLJIT_ORDERED_NOT_EQUAL:3062return 0x10000000;30633064case SLJIT_CARRY:3065if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)3066return 0x20000000;3067/* fallthrough */30683069case SLJIT_LESS:3070return 0x30000000;30713072case SLJIT_NOT_CARRY:3073if (compiler->status_flags_state & SLJIT_CURRENT_FLAGS_ADD)3074return 0x30000000;3075/* fallthrough */30763077case SLJIT_GREATER_EQUAL:3078return 0x20000000;30793080case SLJIT_GREATER:3081case SLJIT_UNORDERED_OR_GREATER:3082return 0x80000000;30833084case SLJIT_LESS_EQUAL:3085case SLJIT_F_LESS_EQUAL:3086case SLJIT_ORDERED_LESS_EQUAL:3087return 0x90000000;30883089case SLJIT_SIG_LESS:3090case SLJIT_UNORDERED_OR_LESS:3091return 0xb0000000;30923093case SLJIT_SIG_GREATER_EQUAL:3094case SLJIT_F_GREATER_EQUAL:3095case SLJIT_ORDERED_GREATER_EQUAL:3096return 0xa0000000;30973098case SLJIT_SIG_GREATER:3099case SLJIT_F_GREATER:3100case SLJIT_ORDERED_GREATER:3101return 0xc0000000;31023103case SLJIT_SIG_LESS_EQUAL:3104case SLJIT_UNORDERED_OR_LESS_EQUAL:3105return 0xd0000000;31063107case SLJIT_OVERFLOW:3108if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))3109return 0x10000000;3110/* fallthrough */31113112case SLJIT_UNORDERED:3113return 0x60000000;31143115case SLJIT_NOT_OVERFLOW:3116if (!(compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)))3117return 0x00000000;3118/* fallthrough */31193120case SLJIT_ORDERED:3121return 0x70000000;31223123case SLJIT_F_LESS:3124case SLJIT_ORDERED_LESS:3125return 0x40000000;31263127case SLJIT_UNORDERED_OR_GREATER_EQUAL:3128return 0x50000000;31293130default:3131SLJIT_ASSERT(type >= SLJIT_JUMP && type <= SLJIT_CALL_REG_ARG);3132return 0xe0000000;3133}3134}31353136SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)3137{3138struct sljit_label *label;31393140CHECK_ERROR_PTR();3141CHECK_PTR(check_sljit_emit_label(compiler));31423143if (compiler->last_label && compiler->last_label->size == compiler->size)3144return compiler->last_label;31453146label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));3147PTR_FAIL_IF(!label);3148set_label(label, compiler);3149return label;3150}31513152SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)3153{3154struct sljit_jump *jump;31553156CHECK_ERROR_PTR();3157CHECK_PTR(check_sljit_emit_jump(compiler, type));31583159jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3160PTR_FAIL_IF(!jump);3161set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);3162type &= 0xff;31633164SLJIT_ASSERT(reg_map[TMP_REG1] != 14);31653166#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)3167if (type >= SLJIT_FAST_CALL)3168PTR_FAIL_IF(prepare_blx(compiler));31693170PTR_FAIL_IF(push_inst_with_unique_literal(compiler, ((EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1,3171type <= SLJIT_JUMP ? TMP_PC : TMP_REG1, TMP_PC, 0)) & ~COND_MASK) | get_cc(compiler, type), 0));3172jump->addr = compiler->size - 1;31733174if (jump->flags & SLJIT_REWRITABLE_JUMP)3175compiler->patches++;31763177if (type >= SLJIT_FAST_CALL) {3178jump->flags |= IS_BL;3179jump->addr = compiler->size;3180PTR_FAIL_IF(emit_blx(compiler));3181}3182#else /* !SLJIT_CONFIG_ARM_V6 */3183jump->addr = compiler->size;3184if (type >= SLJIT_FAST_CALL)3185jump->flags |= IS_BL;3186PTR_FAIL_IF(push_inst(compiler, (((type <= SLJIT_JUMP ? BX : BLX) | RM(TMP_REG1)) & ~COND_MASK) | get_cc(compiler, type)));3187compiler->size += JUMP_MAX_SIZE - 1;3188#endif /* SLJIT_CONFIG_ARM_V6 */3189return jump;3190}31913192#ifdef __SOFTFP__31933194static sljit_s32 softfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types, sljit_s32 *src, sljit_u32 *extra_space)3195{3196sljit_u32 is_tail_call = *extra_space & SLJIT_CALL_RETURN;3197sljit_u32 offset = 0;3198sljit_u32 word_arg_offset = 0;3199sljit_u32 src_offset = 4 * sizeof(sljit_sw);3200sljit_u32 float_arg_count = 0;3201sljit_s32 types = 0;3202sljit_u8 offsets[4];3203sljit_u8 *offset_ptr = offsets;32043205if (src && FAST_IS_REG(*src))3206src_offset = (sljit_u32)reg_map[*src] * sizeof(sljit_sw);32073208arg_types >>= SLJIT_ARG_SHIFT;32093210while (arg_types) {3211types = (types << SLJIT_ARG_SHIFT) | (arg_types & SLJIT_ARG_MASK);32123213switch (arg_types & SLJIT_ARG_MASK) {3214case SLJIT_ARG_TYPE_F64:3215if (offset & 0x7)3216offset += sizeof(sljit_sw);3217*offset_ptr++ = (sljit_u8)offset;3218offset += sizeof(sljit_f64);3219float_arg_count++;3220break;3221case SLJIT_ARG_TYPE_F32:3222*offset_ptr++ = (sljit_u8)offset;3223offset += sizeof(sljit_f32);3224float_arg_count++;3225break;3226default:3227*offset_ptr++ = (sljit_u8)offset;3228offset += sizeof(sljit_sw);3229word_arg_offset += sizeof(sljit_sw);3230break;3231}32323233arg_types >>= SLJIT_ARG_SHIFT;3234}32353236if (offset > 4 * sizeof(sljit_sw) && (!is_tail_call || offset > compiler->args_size)) {3237/* Keep lr register on the stack. */3238if (is_tail_call)3239offset += sizeof(sljit_sw);32403241offset = ((offset - 4 * sizeof(sljit_sw)) + 0x7) & ~(sljit_u32)0x7;32423243*extra_space = offset;32443245if (is_tail_call)3246FAIL_IF(emit_stack_frame_release(compiler, (sljit_s32)offset));3247else3248FAIL_IF(push_inst(compiler, SUB | RD(SLJIT_SP) | RN(SLJIT_SP) | SRC2_IMM | offset));3249} else {3250if (is_tail_call)3251FAIL_IF(emit_stack_frame_release(compiler, -1));3252*extra_space = 0;3253}32543255/* Process arguments in reversed direction. */3256while (types) {3257switch (types & SLJIT_ARG_MASK) {3258case SLJIT_ARG_TYPE_F64:3259float_arg_count--;3260offset = *(--offset_ptr);32613262SLJIT_ASSERT((offset & 0x7) == 0);32633264if (offset < 4 * sizeof(sljit_sw)) {3265if (src_offset == offset || src_offset == offset + sizeof(sljit_sw)) {3266FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | (src_offset >> 2)));3267*src = TMP_REG1;3268}3269FAIL_IF(push_inst(compiler, VMOV2 | 0x100000 | (offset << 10) | ((offset + sizeof(sljit_sw)) << 14) | float_arg_count));3270} else3271FAIL_IF(push_inst(compiler, VSTR_F32 | 0x800100 | RN(SLJIT_SP)3272| (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));3273break;3274case SLJIT_ARG_TYPE_F32:3275float_arg_count--;3276offset = *(--offset_ptr);32773278if (offset < 4 * sizeof(sljit_sw)) {3279if (src_offset == offset) {3280FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | (src_offset >> 2)));3281*src = TMP_REG1;3282}3283FAIL_IF(push_inst(compiler, VMOV | 0x100000 | (float_arg_count << 16) | (offset << 10)));3284} else3285FAIL_IF(push_inst(compiler, VSTR_F32 | 0x800000 | RN(SLJIT_SP)3286| (float_arg_count << 12) | ((offset - 4 * sizeof(sljit_sw)) >> 2)));3287break;3288default:3289word_arg_offset -= sizeof(sljit_sw);3290offset = *(--offset_ptr);32913292SLJIT_ASSERT(offset >= word_arg_offset);32933294if (offset != word_arg_offset) {3295if (offset < 4 * sizeof(sljit_sw)) {3296if (src_offset == offset) {3297FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | (src_offset >> 2)));3298*src = TMP_REG1;3299}3300else if (src_offset == word_arg_offset) {3301*src = (sljit_s32)(SLJIT_R0 + (offset >> 2));3302src_offset = offset;3303}3304FAIL_IF(push_inst(compiler, MOV | (offset << 10) | (word_arg_offset >> 2)));3305} else3306FAIL_IF(push_inst(compiler, STR | 0x800000 | RN(SLJIT_SP) | (word_arg_offset << 10) | (offset - 4 * sizeof(sljit_sw))));3307}3308break;3309}33103311types >>= SLJIT_ARG_SHIFT;3312}33133314return SLJIT_SUCCESS;3315}33163317static sljit_s32 softfloat_post_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)3318{3319if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F64)3320FAIL_IF(push_inst(compiler, VMOV2 | (1 << 16) | (0 << 12) | 0));3321if ((arg_types & SLJIT_ARG_MASK) == SLJIT_ARG_TYPE_F32)3322FAIL_IF(push_inst(compiler, VMOV | (0 << 16) | (0 << 12)));33233324return SLJIT_SUCCESS;3325}33263327#else /* !__SOFTFP__ */33283329static sljit_s32 hardfloat_call_with_args(struct sljit_compiler *compiler, sljit_s32 arg_types)3330{3331sljit_u32 offset = SLJIT_FR0;3332sljit_u32 new_offset = SLJIT_FR0;3333sljit_u32 f32_offset = 0;33343335/* Remove return value. */3336arg_types >>= SLJIT_ARG_SHIFT;33373338while (arg_types) {3339switch (arg_types & SLJIT_ARG_MASK) {3340case SLJIT_ARG_TYPE_F64:3341if (offset != new_offset)3342FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMOV_F32,3343SLJIT_32, new_offset, offset, 0)));33443345new_offset++;3346offset++;3347break;3348case SLJIT_ARG_TYPE_F32:3349if (f32_offset != 0) {3350FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMOV_F32,33510x400000, f32_offset, offset, 0)));3352f32_offset = 0;3353} else {3354if (offset != new_offset)3355FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMOV_F32,33560, new_offset, offset, 0)));3357f32_offset = new_offset;3358new_offset++;3359}3360offset++;3361break;3362}3363arg_types >>= SLJIT_ARG_SHIFT;3364}33653366return SLJIT_SUCCESS;3367}33683369#endif /* __SOFTFP__ */33703371SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,3372sljit_s32 arg_types)3373{3374#ifdef __SOFTFP__3375struct sljit_jump *jump;3376sljit_u32 extra_space = (sljit_u32)type;3377#endif33783379CHECK_ERROR_PTR();3380CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));33813382#ifdef __SOFTFP__3383if ((type & 0xff) != SLJIT_CALL_REG_ARG) {3384PTR_FAIL_IF(softfloat_call_with_args(compiler, arg_types, NULL, &extra_space));3385SLJIT_ASSERT((extra_space & 0x7) == 0);33863387if ((type & SLJIT_CALL_RETURN) && extra_space == 0)3388type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);33893390SLJIT_SKIP_CHECKS(compiler);3391jump = sljit_emit_jump(compiler, type);3392PTR_FAIL_IF(jump == NULL);33933394if (extra_space > 0) {3395if (type & SLJIT_CALL_RETURN)3396PTR_FAIL_IF(push_inst(compiler, EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1,3397TMP_REG2, SLJIT_SP, extra_space - sizeof(sljit_sw))));33983399PTR_FAIL_IF(push_inst(compiler, ADD | RD(SLJIT_SP) | RN(SLJIT_SP) | SRC2_IMM | extra_space));34003401if (type & SLJIT_CALL_RETURN) {3402PTR_FAIL_IF(push_inst(compiler, BX | RM(TMP_REG2)));3403return jump;3404}3405}34063407SLJIT_ASSERT(!(type & SLJIT_CALL_RETURN));3408PTR_FAIL_IF(softfloat_post_call_with_args(compiler, arg_types));3409return jump;3410}3411#endif /* __SOFTFP__ */34123413if (type & SLJIT_CALL_RETURN) {3414PTR_FAIL_IF(emit_stack_frame_release(compiler, -1));3415type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);3416}34173418#ifndef __SOFTFP__3419if ((type & 0xff) != SLJIT_CALL_REG_ARG)3420PTR_FAIL_IF(hardfloat_call_with_args(compiler, arg_types));3421#endif /* !__SOFTFP__ */34223423SLJIT_SKIP_CHECKS(compiler);3424return sljit_emit_jump(compiler, type);3425}34263427SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)3428{3429struct sljit_jump *jump;34303431CHECK_ERROR();3432CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));3433ADJUST_LOCAL_OFFSET(src, srcw);34343435SLJIT_ASSERT(reg_map[TMP_REG1] != 14);34363437if (src != SLJIT_IMM) {3438if (FAST_IS_REG(src)) {3439SLJIT_ASSERT(reg_map[src] != 14);3440return push_inst(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RM(src));3441}34423443SLJIT_ASSERT(src & SLJIT_MEM);3444FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG1, src, srcw, TMP_REG1));3445return push_inst(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RM(TMP_REG1));3446}34473448/* These jumps are converted to jump/call instructions when possible. */3449jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3450FAIL_IF(!jump);3451set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_BL : 0));3452jump->u.target = (sljit_uw)srcw;34533454#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)3455if (type >= SLJIT_FAST_CALL)3456FAIL_IF(prepare_blx(compiler));3457jump->addr = compiler->size;3458FAIL_IF(push_inst_with_unique_literal(compiler, EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1, type <= SLJIT_JUMP ? TMP_PC : TMP_REG1, TMP_PC, 0), 0));3459if (type >= SLJIT_FAST_CALL) {3460jump->addr = compiler->size;3461FAIL_IF(emit_blx(compiler));3462}3463#else /* !SLJIT_CONFIG_ARM_V6 */3464jump->addr = compiler->size;3465FAIL_IF(push_inst(compiler, (type <= SLJIT_JUMP ? BX : BLX) | RM(TMP_REG1)));3466compiler->size += JUMP_MAX_SIZE - 1;3467#endif /* SLJIT_CONFIG_ARM_V6 */3468return SLJIT_SUCCESS;3469}34703471SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,3472sljit_s32 arg_types,3473sljit_s32 src, sljit_sw srcw)3474{3475#ifdef __SOFTFP__3476sljit_u32 extra_space = (sljit_u32)type;3477#endif34783479CHECK_ERROR();3480CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));34813482if (src & SLJIT_MEM) {3483FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG1, src, srcw, TMP_REG1));3484src = TMP_REG1;3485}34863487if ((type & SLJIT_CALL_RETURN) && (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options)))) {3488FAIL_IF(push_inst(compiler, MOV | RD(TMP_REG1) | RM(src)));3489src = TMP_REG1;3490}34913492#ifdef __SOFTFP__3493if ((type & 0xff) != SLJIT_CALL_REG_ARG) {3494FAIL_IF(softfloat_call_with_args(compiler, arg_types, &src, &extra_space));3495SLJIT_ASSERT((extra_space & 0x7) == 0);34963497if ((type & SLJIT_CALL_RETURN) && extra_space == 0)3498type = SLJIT_JUMP;34993500SLJIT_SKIP_CHECKS(compiler);3501FAIL_IF(sljit_emit_ijump(compiler, type, src, srcw));35023503if (extra_space > 0) {3504if (type & SLJIT_CALL_RETURN)3505FAIL_IF(push_inst(compiler, EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1,3506TMP_REG2, SLJIT_SP, extra_space - sizeof(sljit_sw))));35073508FAIL_IF(push_inst(compiler, ADD | RD(SLJIT_SP) | RN(SLJIT_SP) | SRC2_IMM | extra_space));35093510if (type & SLJIT_CALL_RETURN)3511return push_inst(compiler, BX | RM(TMP_REG2));3512}35133514SLJIT_ASSERT(!(type & SLJIT_CALL_RETURN));3515return softfloat_post_call_with_args(compiler, arg_types);3516}3517#endif /* __SOFTFP__ */35183519if (type & SLJIT_CALL_RETURN) {3520FAIL_IF(emit_stack_frame_release(compiler, -1));3521type = SLJIT_JUMP;3522}35233524#ifndef __SOFTFP__3525if ((type & 0xff) != SLJIT_CALL_REG_ARG)3526FAIL_IF(hardfloat_call_with_args(compiler, arg_types));3527#endif /* !__SOFTFP__ */35283529SLJIT_SKIP_CHECKS(compiler);3530return sljit_emit_ijump(compiler, type, src, srcw);3531}35323533#ifdef __SOFTFP__35343535static SLJIT_INLINE sljit_s32 emit_fmov_before_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw)3536{3537if (compiler->options & SLJIT_ENTER_REG_ARG) {3538if (src == SLJIT_FR0)3539return SLJIT_SUCCESS;35403541SLJIT_SKIP_CHECKS(compiler);3542return sljit_emit_fop1(compiler, op, SLJIT_RETURN_FREG, 0, src, srcw);3543}35443545if (FAST_IS_REG(src)) {3546if (op & SLJIT_32)3547return push_inst(compiler, VMOV | (1 << 20) | RD(SLJIT_R0) | VN(src));3548return push_inst(compiler, VMOV2 | (1 << 20) | RD(SLJIT_R0) | RN(SLJIT_R1) | VM(src));3549}35503551SLJIT_SKIP_CHECKS(compiler);35523553if (op & SLJIT_32)3554return sljit_emit_op1(compiler, SLJIT_MOV, SLJIT_R0, 0, src, srcw);3555return sljit_emit_mem(compiler, SLJIT_MOV, SLJIT_REG_PAIR(SLJIT_R0, SLJIT_R1), src, srcw);3556}35573558#endif /* __SOFTFP__ */35593560SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,3561sljit_s32 dst, sljit_sw dstw,3562sljit_s32 type)3563{3564sljit_s32 dst_reg, flags = GET_ALL_FLAGS(op);3565sljit_ins cc, ins;35663567CHECK_ERROR();3568CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));3569ADJUST_LOCAL_OFFSET(dst, dstw);35703571op = GET_OPCODE(op);3572cc = get_cc(compiler, type);3573dst_reg = FAST_IS_REG(dst) ? dst : TMP_REG1;35743575if (op < SLJIT_ADD) {3576FAIL_IF(push_inst(compiler, MOV | RD(dst_reg) | SRC2_IMM | 0));3577FAIL_IF(push_inst(compiler, ((MOV | RD(dst_reg) | SRC2_IMM | 1) & ~COND_MASK) | cc));3578if (dst & SLJIT_MEM)3579return emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2);3580return SLJIT_SUCCESS;3581}35823583ins = (op == SLJIT_AND ? AND : (op == SLJIT_OR ? ORR : EOR));35843585if (dst & SLJIT_MEM)3586FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG1, dst, dstw, TMP_REG2));35873588FAIL_IF(push_inst(compiler, ((ins | RD(dst_reg) | RN(dst_reg) | SRC2_IMM | 1) & ~COND_MASK) | cc));35893590if (op == SLJIT_AND)3591FAIL_IF(push_inst(compiler, ((ins | RD(dst_reg) | RN(dst_reg) | SRC2_IMM | 0) & ~COND_MASK) | (cc ^ 0x10000000)));35923593if (dst & SLJIT_MEM)3594FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2));35953596if (flags & SLJIT_SET_Z)3597return push_inst(compiler, MOV | SET_FLAGS | RD(TMP_REG2) | RM(dst_reg));3598return SLJIT_SUCCESS;3599}36003601SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_select(struct sljit_compiler *compiler, sljit_s32 type,3602sljit_s32 dst_reg,3603sljit_s32 src1, sljit_sw src1w,3604sljit_s32 src2_reg)3605{3606sljit_ins cc, tmp;36073608CHECK_ERROR();3609CHECK(check_sljit_emit_select(compiler, type, dst_reg, src1, src1w, src2_reg));36103611ADJUST_LOCAL_OFFSET(src1, src1w);36123613if (src2_reg != dst_reg && src1 == dst_reg) {3614src1 = src2_reg;3615src1w = 0;3616src2_reg = dst_reg;3617type ^= 0x1;3618}36193620if (src1 & SLJIT_MEM) {3621FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, (src2_reg != dst_reg) ? dst_reg : TMP_REG1, src1, src1w, TMP_REG1));36223623if (src2_reg != dst_reg) {3624src1 = src2_reg;3625src1w = 0;3626type ^= 0x1;3627} else {3628src1 = TMP_REG1;3629src1w = 0;3630}3631} else if (dst_reg != src2_reg)3632FAIL_IF(push_inst(compiler, MOV | RD(dst_reg) | RM(src2_reg)));36333634cc = get_cc(compiler, type & ~SLJIT_32);36353636if (SLJIT_UNLIKELY(src1 == SLJIT_IMM)) {3637tmp = get_imm((sljit_uw)src1w);3638if (tmp)3639return push_inst(compiler, ((MOV | RD(dst_reg) | tmp) & ~COND_MASK) | cc);36403641tmp = get_imm(~(sljit_uw)src1w);3642if (tmp)3643return push_inst(compiler, ((MVN | RD(dst_reg) | tmp) & ~COND_MASK) | cc);36443645#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)3646tmp = (sljit_ins)src1w;3647FAIL_IF(push_inst(compiler, (MOVW & ~COND_MASK) | cc | RD(dst_reg) | ((tmp << 4) & 0xf0000) | (tmp & 0xfff)));3648if (tmp <= 0xffff)3649return SLJIT_SUCCESS;3650return push_inst(compiler, (MOVT & ~COND_MASK) | cc | RD(dst_reg) | ((tmp >> 12) & 0xf0000) | ((tmp >> 16) & 0xfff));3651#else /* !SLJIT_CONFIG_ARM_V7 */3652FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)src1w));3653src1 = TMP_REG1;3654#endif /* SLJIT_CONFIG_ARM_V7 */3655}36563657return push_inst(compiler, ((MOV | RD(dst_reg) | RM(src1)) & ~COND_MASK) | cc);3658}36593660SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fselect(struct sljit_compiler *compiler, sljit_s32 type,3661sljit_s32 dst_freg,3662sljit_s32 src1, sljit_sw src1w,3663sljit_s32 src2_freg)3664{3665sljit_ins cc;36663667CHECK_ERROR();3668CHECK(check_sljit_emit_fselect(compiler, type, dst_freg, src1, src1w, src2_freg));36693670ADJUST_LOCAL_OFFSET(src1, src1w);36713672type ^= SLJIT_32;36733674if (dst_freg != src2_freg) {3675if (dst_freg == src1) {3676src1 = src2_freg;3677src1w = 0;3678type ^= 0x1;3679} else3680FAIL_IF(push_inst(compiler, EMIT_FPU_OPERATION(VMOV_F32, (type & SLJIT_32), dst_freg, src2_freg, 0)));3681}36823683if (src1 & SLJIT_MEM) {3684FAIL_IF(emit_fop_mem(compiler, (type & SLJIT_32) | FPU_LOAD, TMP_FREG2, src1, src1w));3685src1 = TMP_FREG2;3686}36873688cc = get_cc(compiler, type & ~SLJIT_32);3689return push_inst(compiler, EMIT_FPU_OPERATION((VMOV_F32 & ~COND_MASK) | cc, (type & SLJIT_32), dst_freg, src1, 0));3690}36913692#undef EMIT_FPU_OPERATION36933694static sljit_s32 update_mem_addr(struct sljit_compiler *compiler, sljit_s32 *mem, sljit_sw *memw, sljit_s32 max_offset)3695{3696sljit_s32 arg = *mem;3697sljit_sw argw = *memw;3698sljit_uw imm, tmp;3699sljit_sw mask = 0xfff;3700sljit_sw sign = 0x1000;37013702SLJIT_ASSERT(max_offset >= 0xf00);37033704*mem = TMP_REG1;37053706if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {3707*memw = 0;3708return push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg & REG_MASK) | RM(OFFS_REG(arg)) | ((sljit_ins)(argw & 0x3) << 7));3709}37103711arg &= REG_MASK;37123713if (arg) {3714if (argw <= max_offset && argw >= -mask) {3715*mem = arg;3716return SLJIT_SUCCESS;3717}37183719if (argw >= 0) {3720tmp = (sljit_uw)(argw & (sign | mask));3721tmp = (sljit_uw)((argw + ((tmp <= (sljit_uw)max_offset || tmp == (sljit_uw)sign) ? 0 : sign)) & ~mask);3722imm = get_imm(tmp);37233724if (imm) {3725*memw = argw - (sljit_sw)tmp;3726SLJIT_ASSERT(*memw >= -mask && *memw <= max_offset);37273728return push_inst(compiler, ADD | RD(TMP_REG1) | RN(arg) | imm);3729}3730} else {3731tmp = (sljit_uw)(-argw & (sign | mask));3732tmp = (sljit_uw)((-argw + ((tmp <= (sljit_uw)((sign << 1) - max_offset - 1)) ? 0 : sign)) & ~mask);3733imm = get_imm(tmp);37343735if (imm) {3736*memw = argw + (sljit_sw)tmp;3737SLJIT_ASSERT(*memw >= -mask && *memw <= max_offset);37383739return push_inst(compiler, SUB | RD(TMP_REG1) | RN(arg) | imm);3740}3741}3742}37433744tmp = (sljit_uw)(argw & (sign | mask));3745tmp = (sljit_uw)((argw + ((tmp <= (sljit_uw)max_offset || tmp == (sljit_uw)sign) ? 0 : sign)) & ~mask);3746*memw = argw - (sljit_sw)tmp;37473748FAIL_IF(load_immediate(compiler, TMP_REG1, tmp));37493750if (arg == 0)3751return SLJIT_SUCCESS;37523753return push_inst(compiler, ADD | RD(TMP_REG1) | RN(TMP_REG1) | RM(arg));3754}37553756SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,3757sljit_s32 reg,3758sljit_s32 mem, sljit_sw memw)3759{3760sljit_s32 flags;37613762CHECK_ERROR();3763CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));37643765if (!(reg & REG_PAIR_MASK))3766return sljit_emit_mem_unaligned(compiler, type, reg, mem, memw);37673768ADJUST_LOCAL_OFFSET(mem, memw);37693770FAIL_IF(update_mem_addr(compiler, &mem, &memw, 0xfff - 4));37713772flags = WORD_SIZE;37733774if (!(type & SLJIT_MEM_STORE)) {3775if (REG_PAIR_FIRST(reg) == (mem & REG_MASK)) {3776FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, REG_PAIR_SECOND(reg), SLJIT_MEM1(mem), memw + SSIZE_OF(sw), TMP_REG1));3777return emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, REG_PAIR_FIRST(reg), SLJIT_MEM1(mem), memw, TMP_REG1);3778}37793780flags = WORD_SIZE | LOAD_DATA;3781}37823783FAIL_IF(emit_op_mem(compiler, flags, REG_PAIR_FIRST(reg), SLJIT_MEM1(mem), memw, TMP_REG1));3784return emit_op_mem(compiler, flags, REG_PAIR_SECOND(reg), SLJIT_MEM1(mem), memw + SSIZE_OF(sw), TMP_REG1);3785}37863787SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem_update(struct sljit_compiler *compiler, sljit_s32 type,3788sljit_s32 reg,3789sljit_s32 mem, sljit_sw memw)3790{3791sljit_s32 flags;3792sljit_ins is_type1_transfer, inst;37933794CHECK_ERROR();3795CHECK(check_sljit_emit_mem_update(compiler, type, reg, mem, memw));37963797is_type1_transfer = 1;37983799switch (type & 0xff) {3800case SLJIT_MOV:3801case SLJIT_MOV_U32:3802case SLJIT_MOV_S32:3803case SLJIT_MOV32:3804case SLJIT_MOV_P:3805flags = WORD_SIZE;3806break;3807case SLJIT_MOV_U8:3808flags = BYTE_SIZE;3809break;3810case SLJIT_MOV_S8:3811if (!(type & SLJIT_MEM_STORE))3812is_type1_transfer = 0;3813flags = BYTE_SIZE | SIGNED;3814break;3815case SLJIT_MOV_U16:3816is_type1_transfer = 0;3817flags = HALF_SIZE;3818break;3819case SLJIT_MOV_S16:3820is_type1_transfer = 0;3821flags = HALF_SIZE | SIGNED;3822break;3823default:3824SLJIT_UNREACHABLE();3825flags = WORD_SIZE;3826break;3827}38283829if (!(type & SLJIT_MEM_STORE))3830flags |= LOAD_DATA;38313832SLJIT_ASSERT(is_type1_transfer == !!IS_TYPE1_TRANSFER(flags));38333834if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3835if (!is_type1_transfer && memw != 0)3836return SLJIT_ERR_UNSUPPORTED;3837} else {3838if (is_type1_transfer) {3839if (memw > 4095 || memw < -4095)3840return SLJIT_ERR_UNSUPPORTED;3841} else if (memw > 255 || memw < -255)3842return SLJIT_ERR_UNSUPPORTED;3843}38443845if (type & SLJIT_MEM_SUPP)3846return SLJIT_SUCCESS;38473848if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3849memw &= 0x3;38503851inst = EMIT_DATA_TRANSFER(flags, 1, reg, mem & REG_MASK, RM(OFFS_REG(mem)) | ((sljit_ins)memw << 7));38523853if (is_type1_transfer)3854inst |= (1 << 25);38553856if (type & SLJIT_MEM_POST)3857inst ^= (1 << 24);3858else3859inst |= (1 << 21);38603861return push_inst(compiler, inst);3862}38633864inst = EMIT_DATA_TRANSFER(flags, 0, reg, mem & REG_MASK, 0);38653866if (type & SLJIT_MEM_POST)3867inst ^= (1 << 24);3868else3869inst |= (1 << 21);38703871if (is_type1_transfer) {3872if (memw >= 0)3873inst |= (1 << 23);3874else3875memw = -memw;38763877return push_inst(compiler, inst | (sljit_ins)memw);3878}38793880if (memw >= 0)3881inst |= (1 << 23);3882else3883memw = -memw;38843885return push_inst(compiler, inst | TYPE2_TRANSFER_IMM((sljit_ins)memw));3886}38873888SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fmem(struct sljit_compiler *compiler, sljit_s32 type,3889sljit_s32 freg,3890sljit_s32 mem, sljit_sw memw)3891{3892CHECK_ERROR();3893CHECK(check_sljit_emit_fmem(compiler, type, freg, mem, memw));38943895if (type & SLJIT_MEM_ALIGNED_32)3896return emit_fop_mem(compiler, ((type ^ SLJIT_32) & SLJIT_32) | ((type & SLJIT_MEM_STORE) ? 0 : FPU_LOAD), freg, mem, memw);38973898if (type & SLJIT_MEM_STORE) {3899FAIL_IF(push_inst(compiler, VMOV | (1 << 20) | VN(freg) | RD(TMP_REG2)));39003901if (type & SLJIT_32)3902return emit_op_mem(compiler, WORD_SIZE, TMP_REG2, mem, memw, TMP_REG1);39033904FAIL_IF(update_mem_addr(compiler, &mem, &memw, 0xfff - 4));3905mem |= SLJIT_MEM;39063907FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, mem, memw, TMP_REG1));3908FAIL_IF(push_inst(compiler, VMOV | (1 << 20) | VN(freg) | 0x80 | RD(TMP_REG2)));3909return emit_op_mem(compiler, WORD_SIZE, TMP_REG2, mem, memw + 4, TMP_REG1);3910}39113912if (type & SLJIT_32) {3913FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG2, mem, memw, TMP_REG1));3914return push_inst(compiler, VMOV | VN(freg) | RD(TMP_REG2));3915}39163917FAIL_IF(update_mem_addr(compiler, &mem, &memw, 0xfff - 4));3918mem |= SLJIT_MEM;39193920FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG2, mem, memw, TMP_REG1));3921FAIL_IF(emit_op_mem(compiler, WORD_SIZE | LOAD_DATA, TMP_REG1, mem, memw + 4, TMP_REG1));3922return push_inst(compiler, VMOV2 | VM(freg) | RD(TMP_REG2) | RN(TMP_REG1));3923}39243925static sljit_s32 sljit_emit_simd_mem_offset(struct sljit_compiler *compiler, sljit_s32 *mem_ptr, sljit_sw memw)3926{3927sljit_s32 mem = *mem_ptr;3928sljit_uw imm;39293930if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3931*mem_ptr = TMP_REG1;3932return push_inst(compiler, ADD | RD(TMP_REG1) | RN(mem & REG_MASK) | RM(OFFS_REG(mem)) | ((sljit_ins)(memw & 0x3) << 7));3933}39343935if (SLJIT_UNLIKELY(!(mem & REG_MASK))) {3936*mem_ptr = TMP_REG1;3937return load_immediate(compiler, TMP_REG1, (sljit_uw)memw);3938}39393940mem &= REG_MASK;39413942if (memw == 0) {3943*mem_ptr = mem;3944return SLJIT_SUCCESS;3945}39463947*mem_ptr = TMP_REG1;3948imm = get_imm((sljit_uw)(memw < 0 ? -memw : memw));39493950if (imm != 0)3951return push_inst(compiler, ((memw < 0) ? SUB : ADD) | RD(TMP_REG1) | RN(mem) | imm);39523953FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)memw));3954return push_inst(compiler, ADD | RD(TMP_REG1) | RN(TMP_REG1) | RM(mem));3955}39563957static SLJIT_INLINE sljit_s32 simd_get_quad_reg_index(sljit_s32 freg)3958{3959freg += freg & 0x1;39603961SLJIT_ASSERT((freg_map[freg] & 0x1) == (freg <= SLJIT_NUMBER_OF_SCRATCH_FLOAT_REGISTERS));39623963if (freg <= SLJIT_NUMBER_OF_SCRATCH_FLOAT_REGISTERS)3964freg--;39653966return freg;3967}39683969#define SLJIT_QUAD_OTHER_HALF(freg) ((((freg) & 0x1) << 1) - 1)39703971SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_mov(struct sljit_compiler *compiler, sljit_s32 type,3972sljit_s32 vreg,3973sljit_s32 srcdst, sljit_sw srcdstw)3974{3975sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3976sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3977sljit_s32 alignment = SLJIT_SIMD_GET_ELEM2_SIZE(type);3978sljit_ins ins;39793980CHECK_ERROR();3981CHECK(check_sljit_emit_simd_mov(compiler, type, vreg, srcdst, srcdstw));39823983ADJUST_LOCAL_OFFSET(srcdst, srcdstw);39843985if (reg_size != 3 && reg_size != 4)3986return SLJIT_ERR_UNSUPPORTED;39873988if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3989return SLJIT_ERR_UNSUPPORTED;39903991if (type & SLJIT_SIMD_TEST)3992return SLJIT_SUCCESS;39933994if (reg_size == 4)3995vreg = simd_get_quad_reg_index(vreg);39963997if (!(srcdst & SLJIT_MEM)) {3998if (reg_size == 4)3999srcdst = simd_get_quad_reg_index(srcdst);40004001if (type & SLJIT_SIMD_STORE)4002ins = VD(srcdst) | VN(vreg) | VM(vreg);4003else4004ins = VD(vreg) | VN(srcdst) | VM(srcdst);40054006if (reg_size == 4)4007ins |= (sljit_ins)1 << 6;40084009return push_inst(compiler, VORR | ins);4010}40114012FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));40134014if (elem_size > 3)4015elem_size = 3;40164017ins = ((type & SLJIT_SIMD_STORE) ? VST1 : VLD1) | VD(vreg)4018| (sljit_ins)((reg_size == 3) ? (0x7 << 8) : (0xa << 8));40194020SLJIT_ASSERT(reg_size >= alignment);40214022if (alignment == 3)4023ins |= 0x10;4024else if (alignment >= 3)4025ins |= 0x20;40264027return push_inst(compiler, ins | RN(srcdst) | ((sljit_ins)elem_size) << 6 | 0xf);4028}40294030static sljit_ins simd_get_imm(sljit_s32 elem_size, sljit_uw value)4031{4032sljit_ins result;40334034if (elem_size > 1 && (sljit_u16)value == (value >> 16)) {4035elem_size = 1;4036value = (sljit_u16)value;4037}40384039if (elem_size == 1 && (sljit_u8)value == (value >> 8)) {4040elem_size = 0;4041value = (sljit_u8)value;4042}40434044switch (elem_size) {4045case 0:4046SLJIT_ASSERT(value <= 0xff);4047result = 0xe00;4048break;4049case 1:4050SLJIT_ASSERT(value <= 0xffff);4051result = 0;40524053while (1) {4054if (value <= 0xff) {4055result |= 0x800;4056break;4057}40584059if ((value & 0xff) == 0) {4060value >>= 8;4061result |= 0xa00;4062break;4063}40644065if (result != 0)4066return ~(sljit_ins)0;40674068value ^= (sljit_uw)0xffff;4069result = (1 << 5);4070}4071break;4072default:4073SLJIT_ASSERT(value <= 0xffffffff);4074result = 0;40754076while (1) {4077if (value <= 0xff) {4078result |= 0x000;4079break;4080}40814082if ((value & ~(sljit_uw)0xff00) == 0) {4083value >>= 8;4084result |= 0x200;4085break;4086}40874088if ((value & ~(sljit_uw)0xff0000) == 0) {4089value >>= 16;4090result |= 0x400;4091break;4092}40934094if ((value & ~(sljit_uw)0xff000000) == 0) {4095value >>= 24;4096result |= 0x600;4097break;4098}40994100if ((value & (sljit_uw)0xff) == 0xff && (value >> 16) == 0) {4101value >>= 8;4102result |= 0xc00;4103break;4104}41054106if ((value & (sljit_uw)0xffff) == 0xffff && (value >> 24) == 0) {4107value >>= 16;4108result |= 0xd00;4109break;4110}41114112if (result != 0)4113return ~(sljit_ins)0;41144115value = ~value;4116result = (1 << 5);4117}4118break;4119}41204121return ((sljit_ins)value & 0xf) | (((sljit_ins)value & 0x70) << 12) | (((sljit_ins)value & 0x80) << 17) | result;4122}41234124SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_replicate(struct sljit_compiler *compiler, sljit_s32 type,4125sljit_s32 vreg,4126sljit_s32 src, sljit_sw srcw)4127{4128sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4129sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4130sljit_ins ins, imm;41314132CHECK_ERROR();4133CHECK(check_sljit_emit_simd_replicate(compiler, type, vreg, src, srcw));41344135ADJUST_LOCAL_OFFSET(src, srcw);41364137if (reg_size != 3 && reg_size != 4)4138return SLJIT_ERR_UNSUPPORTED;41394140if ((type & SLJIT_SIMD_FLOAT) ? (elem_size < 2 || elem_size > 3) : (elem_size > 2))4141return SLJIT_ERR_UNSUPPORTED;41424143if (type & SLJIT_SIMD_TEST)4144return SLJIT_SUCCESS;41454146if (reg_size == 4)4147vreg = simd_get_quad_reg_index(vreg);41484149if (src == SLJIT_IMM && srcw == 0)4150return push_inst(compiler, VMOV_i | ((reg_size == 4) ? (1 << 6) : 0) | VD(vreg));41514152if (SLJIT_UNLIKELY(elem_size == 3)) {4153SLJIT_ASSERT(type & SLJIT_SIMD_FLOAT);41544155if (src & SLJIT_MEM) {4156FAIL_IF(emit_fop_mem(compiler, FPU_LOAD | SLJIT_32, vreg, src, srcw));4157src = vreg;4158} else if (vreg != src)4159FAIL_IF(push_inst(compiler, VORR | VD(vreg) | VN(src) | VM(src)));41604161vreg += SLJIT_QUAD_OTHER_HALF(vreg);41624163if (vreg != src)4164return push_inst(compiler, VORR | VD(vreg) | VN(src) | VM(src));4165return SLJIT_SUCCESS;4166}41674168if (src & SLJIT_MEM) {4169FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));41704171ins = (sljit_ins)(elem_size << 6);41724173if (reg_size == 4)4174ins |= (sljit_ins)1 << 5;41754176return push_inst(compiler, VLD1_r | ins | VD(vreg) | RN(src) | 0xf);4177}41784179if (type & SLJIT_SIMD_FLOAT) {4180SLJIT_ASSERT(elem_size == 2);4181ins = ((sljit_ins)freg_ebit_map[src] << (16 + 2 + 1)) | ((sljit_ins)1 << (16 + 2));41824183if (reg_size == 4)4184ins |= (sljit_ins)1 << 6;41854186return push_inst(compiler, VDUP_s | ins | VD(vreg) | (sljit_ins)freg_map[src]);4187}41884189if (src == SLJIT_IMM) {4190if (elem_size < 2)4191srcw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;41924193imm = simd_get_imm(elem_size, (sljit_uw)srcw);41944195if (imm != ~(sljit_ins)0) {4196if (reg_size == 4)4197imm |= (sljit_ins)1 << 6;41984199return push_inst(compiler, VMOV_i | imm | VD(vreg));4200}42014202FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcw));4203src = TMP_REG1;4204}42054206switch (elem_size) {4207case 0:4208ins = 1 << 22;4209break;4210case 1:4211ins = 1 << 5;4212break;4213default:4214ins = 0;4215break;4216}42174218if (reg_size == 4)4219ins |= (sljit_ins)1 << 21;42204221return push_inst(compiler, VDUP | ins | VN(vreg) | RD(src));4222}42234224SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_mov(struct sljit_compiler *compiler, sljit_s32 type,4225sljit_s32 vreg, sljit_s32 lane_index,4226sljit_s32 srcdst, sljit_sw srcdstw)4227{4228sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4229sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4230sljit_ins ins;42314232CHECK_ERROR();4233CHECK(check_sljit_emit_simd_lane_mov(compiler, type, vreg, lane_index, srcdst, srcdstw));42344235ADJUST_LOCAL_OFFSET(srcdst, srcdstw);42364237if (reg_size != 3 && reg_size != 4)4238return SLJIT_ERR_UNSUPPORTED;42394240if ((type & SLJIT_SIMD_FLOAT) ? (elem_size < 2 || elem_size > 3) : (elem_size > 2))4241return SLJIT_ERR_UNSUPPORTED;42424243if (type & SLJIT_SIMD_TEST)4244return SLJIT_SUCCESS;42454246if (reg_size == 4)4247vreg = simd_get_quad_reg_index(vreg);42484249if (type & SLJIT_SIMD_LANE_ZERO) {4250ins = (reg_size == 3) ? 0 : ((sljit_ins)1 << 6);42514252if (type & SLJIT_SIMD_FLOAT) {4253if (elem_size == 3 && !(srcdst & SLJIT_MEM)) {4254if (lane_index == 1)4255vreg += SLJIT_QUAD_OTHER_HALF(vreg);42564257if (srcdst != vreg)4258FAIL_IF(push_inst(compiler, VORR | VD(vreg) | VN(srcdst) | VM(srcdst)));42594260vreg += SLJIT_QUAD_OTHER_HALF(vreg);4261return push_inst(compiler, VMOV_i | VD(vreg));4262}42634264if (srcdst == vreg || (elem_size == 3 && srcdst == (vreg + SLJIT_QUAD_OTHER_HALF(vreg)))) {4265FAIL_IF(push_inst(compiler, VORR | ins | VD(TMP_FREG2) | VN(vreg) | VM(vreg)));4266srcdst = TMP_FREG2;4267srcdstw = 0;4268}4269}42704271FAIL_IF(push_inst(compiler, VMOV_i | ins | VD(vreg)));4272}42734274if (reg_size == 4 && lane_index >= (0x8 >> elem_size)) {4275lane_index -= (0x8 >> elem_size);4276vreg += SLJIT_QUAD_OTHER_HALF(vreg);4277}42784279if (srcdst & SLJIT_MEM) {4280if (elem_size == 3)4281return emit_fop_mem(compiler, ((type & SLJIT_SIMD_STORE) ? 0 : FPU_LOAD) | SLJIT_32, vreg, srcdst, srcdstw);42824283FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));42844285lane_index = lane_index << elem_size;4286ins = (sljit_ins)((elem_size << 10) | (lane_index << 5));4287return push_inst(compiler, ((type & SLJIT_SIMD_STORE) ? VST1_s : VLD1_s) | ins | VD(vreg) | RN(srcdst) | 0xf);4288}42894290if (type & SLJIT_SIMD_FLOAT) {4291if (elem_size == 3) {4292if (type & SLJIT_SIMD_STORE)4293return push_inst(compiler, VORR | VD(srcdst) | VN(vreg) | VM(vreg));4294return push_inst(compiler, VMOV_F32 | SLJIT_32 | VD(vreg) | VM(srcdst));4295}42964297if (type & SLJIT_SIMD_STORE) {4298if (freg_ebit_map[vreg] == 0) {4299if (lane_index == 1)4300vreg = SLJIT_F64_SECOND(vreg);43014302return push_inst(compiler, VMOV_F32 | VD(srcdst) | VM(vreg));4303}43044305FAIL_IF(push_inst(compiler, VMOV_s | (1 << 20) | ((sljit_ins)lane_index << 21) | VN(vreg) | RD(TMP_REG1)));4306return push_inst(compiler, VMOV | VN(srcdst) | RD(TMP_REG1));4307}43084309FAIL_IF(push_inst(compiler, VMOV | (1 << 20) | VN(srcdst) | RD(TMP_REG1)));4310return push_inst(compiler, VMOV_s | ((sljit_ins)lane_index << 21) | VN(vreg) | RD(TMP_REG1));4311}43124313if (srcdst == SLJIT_IMM) {4314if (elem_size < 2)4315srcdstw &= ((sljit_sw)1 << (((sljit_sw)1 << elem_size) << 3)) - 1;43164317FAIL_IF(load_immediate(compiler, TMP_REG1, (sljit_uw)srcdstw));4318srcdst = TMP_REG1;4319}43204321if (elem_size == 0)4322ins = 0x400000;4323else if (elem_size == 1)4324ins = 0x20;4325else4326ins = 0;43274328lane_index = lane_index << elem_size;4329ins |= (sljit_ins)(((lane_index & 0x4) << 19) | ((lane_index & 0x3) << 5));43304331if (type & SLJIT_SIMD_STORE) {4332ins |= (1 << 20);43334334if (elem_size < 2 && !(type & SLJIT_SIMD_LANE_SIGNED))4335ins |= (1 << 23);4336}43374338return push_inst(compiler, VMOV_s | ins | VN(vreg) | RD(srcdst));4339}43404341SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_replicate(struct sljit_compiler *compiler, sljit_s32 type,4342sljit_s32 vreg,4343sljit_s32 src, sljit_s32 src_lane_index)4344{4345sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4346sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4347sljit_ins ins;43484349CHECK_ERROR();4350CHECK(check_sljit_emit_simd_lane_replicate(compiler, type, vreg, src, src_lane_index));43514352if (reg_size != 3 && reg_size != 4)4353return SLJIT_ERR_UNSUPPORTED;43544355if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4356return SLJIT_ERR_UNSUPPORTED;43574358if (type & SLJIT_SIMD_TEST)4359return SLJIT_SUCCESS;43604361if (reg_size == 4) {4362vreg = simd_get_quad_reg_index(vreg);4363src = simd_get_quad_reg_index(src);43644365if (src_lane_index >= (0x8 >> elem_size)) {4366src_lane_index -= (0x8 >> elem_size);4367src += SLJIT_QUAD_OTHER_HALF(src);4368}4369}43704371if (elem_size == 3) {4372if (vreg != src)4373FAIL_IF(push_inst(compiler, VORR | VD(vreg) | VN(src) | VM(src)));43744375vreg += SLJIT_QUAD_OTHER_HALF(vreg);43764377if (vreg != src)4378return push_inst(compiler, VORR | VD(vreg) | VN(src) | VM(src));4379return SLJIT_SUCCESS;4380}43814382ins = ((((sljit_ins)src_lane_index << 1) | 1) << (16 + elem_size));43834384if (reg_size == 4)4385ins |= (sljit_ins)1 << 6;43864387return push_inst(compiler, VDUP_s | ins | VD(vreg) | VM(src));4388}43894390SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_extend(struct sljit_compiler *compiler, sljit_s32 type,4391sljit_s32 vreg,4392sljit_s32 src, sljit_sw srcw)4393{4394sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4395sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4396sljit_s32 elem2_size = SLJIT_SIMD_GET_ELEM2_SIZE(type);4397sljit_s32 dst_reg;43984399CHECK_ERROR();4400CHECK(check_sljit_emit_simd_extend(compiler, type, vreg, src, srcw));44014402ADJUST_LOCAL_OFFSET(src, srcw);44034404if (reg_size != 3 && reg_size != 4)4405return SLJIT_ERR_UNSUPPORTED;44064407if ((type & SLJIT_SIMD_FLOAT) && (elem_size != 2 || elem2_size != 3))4408return SLJIT_ERR_UNSUPPORTED;44094410if (type & SLJIT_SIMD_TEST)4411return SLJIT_SUCCESS;44124413if (reg_size == 4)4414vreg = simd_get_quad_reg_index(vreg);44154416if (src & SLJIT_MEM) {4417FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));4418if (reg_size == 4 && elem2_size - elem_size == 1)4419FAIL_IF(push_inst(compiler, VLD1 | (0x7 << 8) | VD(vreg) | RN(src) | 0xf));4420else4421FAIL_IF(push_inst(compiler, VLD1_s | (sljit_ins)((reg_size - elem2_size + elem_size) << 10) | VD(vreg) | RN(src) | 0xf));4422src = vreg;4423} else if (reg_size == 4)4424src = simd_get_quad_reg_index(src);44254426if (!(type & SLJIT_SIMD_FLOAT)) {4427dst_reg = (reg_size == 4) ? vreg : TMP_FREG2;44284429do {4430FAIL_IF(push_inst(compiler, VSHLL | ((type & SLJIT_SIMD_EXTEND_SIGNED) ? 0 : (1 << 24))4431| ((sljit_ins)1 << (19 + elem_size)) | VD(dst_reg) | VM(src)));4432src = dst_reg;4433} while (++elem_size < elem2_size);44344435if (dst_reg == TMP_FREG2)4436return push_inst(compiler, VORR | VD(vreg) | VN(TMP_FREG2) | VM(TMP_FREG2));4437return SLJIT_SUCCESS;4438}44394440/* No SIMD variant, must use VFP instead. */4441SLJIT_ASSERT(reg_size == 4);44424443if (vreg == src) {4444vreg += SLJIT_QUAD_OTHER_HALF(vreg);4445FAIL_IF(push_inst(compiler, VCVT_F64_F32 | VD(vreg) | VM(src) | 0x20));4446vreg += SLJIT_QUAD_OTHER_HALF(vreg);4447return push_inst(compiler, VCVT_F64_F32 | VD(vreg) | VM(src));4448}44494450FAIL_IF(push_inst(compiler, VCVT_F64_F32 | VD(vreg) | VM(src)));4451vreg += SLJIT_QUAD_OTHER_HALF(vreg);4452return push_inst(compiler, VCVT_F64_F32 | VD(vreg) | VM(src) | 0x20);4453}44544455SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_sign(struct sljit_compiler *compiler, sljit_s32 type,4456sljit_s32 vreg,4457sljit_s32 dst, sljit_sw dstw)4458{4459sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4460sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4461sljit_ins ins, imms;4462sljit_s32 dst_r;44634464CHECK_ERROR();4465CHECK(check_sljit_emit_simd_sign(compiler, type, vreg, dst, dstw));44664467ADJUST_LOCAL_OFFSET(dst, dstw);44684469if (reg_size != 3 && reg_size != 4)4470return SLJIT_ERR_UNSUPPORTED;44714472if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4473return SLJIT_ERR_UNSUPPORTED;44744475if (type & SLJIT_SIMD_TEST)4476return SLJIT_SUCCESS;44774478switch (elem_size) {4479case 0:4480imms = 0x243219;4481ins = VSHR | (1 << 24) | (0x9 << 16);4482break;4483case 1:4484imms = (reg_size == 4) ? 0x243219 : 0x2231;4485ins = VSHR | (1 << 24) | (0x11 << 16);4486break;4487case 2:4488imms = (reg_size == 4) ? 0x2231 : 0x21;4489ins = VSHR | (1 << 24) | (0x21 << 16);4490break;4491default:4492imms = 0x21;4493ins = VSHR | (1 << 24) | (0x1 << 16) | (1 << 7);4494break;4495}44964497if (reg_size == 4) {4498vreg = simd_get_quad_reg_index(vreg);4499ins |= (sljit_ins)1 << 6;4500}45014502SLJIT_ASSERT((freg_map[TMP_FREG2] & 0x1) == 0);4503FAIL_IF(push_inst(compiler, ins | VD(TMP_FREG2) | VM(vreg)));45044505if (reg_size == 4 && elem_size > 0)4506FAIL_IF(push_inst(compiler, VMOVN | ((sljit_ins)(elem_size - 1) << 18) | VD(TMP_FREG2) | VM(TMP_FREG2)));45074508ins = (reg_size == 4 && elem_size == 0) ? (1 << 6) : 0;45094510while (imms >= 0x100) {4511FAIL_IF(push_inst(compiler, VSRA | (1 << 24) | ins | ((imms & 0xff) << 16) | VD(TMP_FREG2) | VM(TMP_FREG2)));4512imms >>= 8;4513}45144515FAIL_IF(push_inst(compiler, VSRA | (1 << 24) | ins | (1 << 7) | (imms << 16) | VD(TMP_FREG2) | VM(TMP_FREG2)));45164517dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1;4518FAIL_IF(push_inst(compiler, VMOV_s | (1 << 20) | (1 << 23) | (0x2 << 21) | RD(dst_r) | VN(TMP_FREG2)));45194520if (reg_size == 4 && elem_size == 0) {4521SLJIT_ASSERT(freg_map[TMP_FREG2] + 1 == freg_map[TMP_FREG1]);4522FAIL_IF(push_inst(compiler, VMOV_s | (1 << 20) | (1 << 23) | (0x2 << 21) | RD(TMP_REG2) | VN(TMP_FREG1)));4523FAIL_IF(push_inst(compiler, ORR | RD(dst_r) | RN(dst_r) | RM(TMP_REG2) | (0x8 << 7)));4524}45254526if (dst_r == TMP_REG1)4527return emit_op_mem(compiler, WORD_SIZE, TMP_REG1, dst, dstw, TMP_REG2);45284529return SLJIT_SUCCESS;4530}45314532SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_op2(struct sljit_compiler *compiler, sljit_s32 type,4533sljit_s32 dst_vreg, sljit_s32 src1_vreg, sljit_s32 src2, sljit_sw src2w)4534{4535sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);4536sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);4537sljit_s32 alignment;4538sljit_ins ins = 0, load_ins;45394540CHECK_ERROR();4541CHECK(check_sljit_emit_simd_op2(compiler, type, dst_vreg, src1_vreg, src2, src2w));4542ADJUST_LOCAL_OFFSET(src2, src2w);45434544if (reg_size != 3 && reg_size != 4)4545return SLJIT_ERR_UNSUPPORTED;45464547if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))4548return SLJIT_ERR_UNSUPPORTED;45494550if (type & SLJIT_SIMD_TEST)4551return SLJIT_SUCCESS;45524553switch (SLJIT_SIMD_GET_OPCODE(type)) {4554case SLJIT_SIMD_OP2_AND:4555ins = VAND;4556break;4557case SLJIT_SIMD_OP2_OR:4558ins = VORR;4559break;4560case SLJIT_SIMD_OP2_XOR:4561ins = VEOR;4562break;4563case SLJIT_SIMD_OP2_SHUFFLE:4564ins = VTBL;4565break;4566}45674568if (src2 & SLJIT_MEM) {4569if (elem_size > 3)4570elem_size = 3;45714572load_ins = VLD1 | (sljit_ins)((reg_size == 3) ? (0x7 << 8) : (0xa << 8));4573alignment = SLJIT_SIMD_GET_ELEM2_SIZE(type);45744575SLJIT_ASSERT(reg_size >= alignment);45764577if (alignment == 3)4578load_ins |= 0x10;4579else if (alignment >= 4)4580load_ins |= 0x20;45814582FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src2, src2w));4583FAIL_IF(push_inst(compiler, load_ins | VD(TMP_FREG2) | RN(src2) | ((sljit_ins)elem_size) << 6 | 0xf));4584src2 = TMP_FREG2;4585}45864587if (reg_size == 4) {4588dst_vreg = simd_get_quad_reg_index(dst_vreg);4589src1_vreg = simd_get_quad_reg_index(src1_vreg);4590src2 = simd_get_quad_reg_index(src2);45914592if (SLJIT_SIMD_GET_OPCODE(type) == SLJIT_SIMD_OP2_SHUFFLE) {4593ins |= (sljit_ins)1 << 8;45944595FAIL_IF(push_inst(compiler, ins | VD(dst_vreg != src1_vreg ? dst_vreg : TMP_FREG2) | VN(src1_vreg) | VM(src2)));4596src2 += SLJIT_QUAD_OTHER_HALF(src2);4597FAIL_IF(push_inst(compiler, ins | VD(dst_vreg + SLJIT_QUAD_OTHER_HALF(dst_vreg)) | VN(src1_vreg) | VM(src2)));45984599if (dst_vreg == src1_vreg)4600return push_inst(compiler, VORR | VD(dst_vreg) | VN(TMP_FREG2) | VM(TMP_FREG2));4601return SLJIT_SUCCESS;4602}46034604ins |= (sljit_ins)1 << 6;4605}46064607return push_inst(compiler, ins | VD(dst_vreg) | VN(src1_vreg) | VM(src2));4608}46094610#undef FPU_LOAD46114612SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_load(struct sljit_compiler *compiler, sljit_s32 op,4613sljit_s32 dst_reg,4614sljit_s32 mem_reg)4615{4616sljit_u32 ins;46174618CHECK_ERROR();4619CHECK(check_sljit_emit_atomic_load(compiler, op, dst_reg, mem_reg));46204621if (op & SLJIT_ATOMIC_USE_CAS)4622return SLJIT_ERR_UNSUPPORTED;46234624switch (GET_OPCODE(op)) {4625case SLJIT_MOV_S8:4626case SLJIT_MOV_S16:4627case SLJIT_MOV_S32:4628return SLJIT_ERR_UNSUPPORTED;46294630case SLJIT_MOV_U8:4631ins = LDREXB;4632break;4633case SLJIT_MOV_U16:4634ins = LDREXH;4635break;4636default:4637ins = LDREX;4638break;4639}46404641if (op & SLJIT_ATOMIC_TEST)4642return SLJIT_SUCCESS;46434644return push_inst(compiler, ins | RN(mem_reg) | RD(dst_reg));4645}46464647SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_store(struct sljit_compiler *compiler, sljit_s32 op,4648sljit_s32 src_reg,4649sljit_s32 mem_reg,4650sljit_s32 temp_reg)4651{4652sljit_u32 ins;46534654/* temp_reg == mem_reg is undefined so use another temp register */4655SLJIT_UNUSED_ARG(temp_reg);46564657CHECK_ERROR();4658CHECK(check_sljit_emit_atomic_store(compiler, op, src_reg, mem_reg, temp_reg));46594660if (op & SLJIT_ATOMIC_USE_CAS)4661return SLJIT_ERR_UNSUPPORTED;46624663switch (GET_OPCODE(op)) {4664case SLJIT_MOV_S8:4665case SLJIT_MOV_S16:4666case SLJIT_MOV_S32:4667return SLJIT_ERR_UNSUPPORTED;46684669case SLJIT_MOV_U8:4670ins = STREXB;4671break;4672case SLJIT_MOV_U16:4673ins = STREXH;4674break;4675default:4676ins = STREX;4677break;4678}46794680if (op & SLJIT_ATOMIC_TEST)4681return SLJIT_SUCCESS;46824683FAIL_IF(push_inst(compiler, ins | RN(mem_reg) | RD(TMP_REG1) | RM(src_reg)));4684if (op & SLJIT_SET_ATOMIC_STORED)4685return push_inst(compiler, CMP | SET_FLAGS | SRC2_IMM | RN(TMP_REG1));46864687return SLJIT_SUCCESS;4688}46894690SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw, sljit_sw init_value)4691{4692struct sljit_const *const_;4693sljit_s32 dst_r;46944695CHECK_ERROR_PTR();4696CHECK_PTR(check_sljit_emit_const(compiler, dst, dstw, init_value));4697ADJUST_LOCAL_OFFSET(dst, dstw);46984699const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));4700PTR_FAIL_IF(!const_);4701set_const(const_, compiler);47024703dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;47044705#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)4706PTR_FAIL_IF(push_inst_with_unique_literal(compiler,4707EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1, dst_r, TMP_PC, 0), (sljit_ins)init_value));4708compiler->patches++;4709#else /* !SLJIT_CONFIG_ARM_V6 */4710PTR_FAIL_IF(emit_imm(compiler, dst_r, init_value));4711#endif /* SLJIT_CONFIG_ARM_V6 */47124713if (dst & SLJIT_MEM)4714PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, dst, dstw, TMP_REG1));4715return const_;4716}47174718SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_mov_addr(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw)4719{4720struct sljit_jump *jump;4721sljit_s32 dst_r;47224723CHECK_ERROR_PTR();4724CHECK_PTR(check_sljit_emit_mov_addr(compiler, dst, dstw));4725ADJUST_LOCAL_OFFSET(dst, dstw);47264727dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;47284729#if (defined SLJIT_CONFIG_ARM_V6 && SLJIT_CONFIG_ARM_V6)4730PTR_FAIL_IF(push_inst_with_unique_literal(compiler, EMIT_DATA_TRANSFER(WORD_SIZE | LOAD_DATA, 1, dst_r, TMP_PC, 0), 0));4731compiler->patches++;4732#else /* !SLJIT_CONFIG_ARM_V6 */4733PTR_FAIL_IF(push_inst(compiler, RD(dst_r)));4734#endif /* SLJIT_CONFIG_ARM_V6 */47354736jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));4737PTR_FAIL_IF(!jump);4738set_mov_addr(jump, compiler, 1);47394740#if (defined SLJIT_CONFIG_ARM_V7 && SLJIT_CONFIG_ARM_V7)4741compiler->size += 1;4742#endif /* SLJIT_CONFIG_ARM_V7 */47434744if (dst & SLJIT_MEM)4745PTR_FAIL_IF(emit_op_mem(compiler, WORD_SIZE, TMP_REG2, dst, dstw, TMP_REG1));4746return jump;4747}47484749SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)4750{4751set_jump_addr(addr, executable_offset, new_target, 1);4752}47534754SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_sw new_constant, sljit_sw executable_offset)4755{4756set_const_value(addr, executable_offset, (sljit_uw)new_constant, 1);4757}475847594760