Path: blob/master/thirdparty/pcre2/deps/sljit/sljit_src/sljitNativeLOONGARCH_64.c
22240 views
/*1* Stack-less Just-In-Time compiler2*3* Copyright Zoltan Herczeg ([email protected]). All rights reserved.4*5* Redistribution and use in source and binary forms, with or without modification, are6* permitted provided that the following conditions are met:7*8* 1. Redistributions of source code must retain the above copyright notice, this list of9* conditions and the following disclaimer.10*11* 2. Redistributions in binary form must reproduce the above copyright notice, this list12* of conditions and the following disclaimer in the documentation and/or other materials13* provided with the distribution.14*15* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY16* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES17* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT18* SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,19* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED20* TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR21* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN22* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN23* ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.24*/2526SLJIT_API_FUNC_ATTRIBUTE const char* sljit_get_platform_name(void)27{28return "LOONGARCH" SLJIT_CPUINFO;29}3031typedef sljit_u32 sljit_ins;3233#define TMP_REG1 (SLJIT_NUMBER_OF_REGISTERS + 2)34#define TMP_REG2 (SLJIT_NUMBER_OF_REGISTERS + 3)35#define TMP_REG3 (SLJIT_NUMBER_OF_REGISTERS + 4)36#define TMP_ZERO 03738/* Flags are kept in volatile registers. */39#define EQUAL_FLAG (SLJIT_NUMBER_OF_REGISTERS + 5)40#define RETURN_ADDR_REG TMP_REG241#define OTHER_FLAG (SLJIT_NUMBER_OF_REGISTERS + 6)4243#define TMP_FREG1 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 1)44#define TMP_FREG2 (SLJIT_NUMBER_OF_FLOAT_REGISTERS + 2)4546static const sljit_u8 reg_map[SLJIT_NUMBER_OF_REGISTERS + 7] = {470, 4, 5, 6, 7, 8, 9, 10, 11, 16, 17, 18, 19, 20, 22, 31, 30, 29, 28, 27, 26, 25, 24, 23, 3, 13, 1, 14, 12, 1548};4950static const sljit_u8 freg_map[SLJIT_NUMBER_OF_FLOAT_REGISTERS + 3] = {510, 0, 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 31, 30, 29, 28, 27, 26, 25, 24, 8, 952};5354/* --------------------------------------------------------------------- */55/* Instruction forms */56/* --------------------------------------------------------------------- */5758/*59LoongArch instructions are 32 bits wide, belonging to 9 basic instruction formats (and variants of them):6061| Format name | Composition |62| 2R | Opcode + Rj + Rd |63| 3R | Opcode + Rk + Rj + Rd |64| 4R | Opcode + Ra + Rk + Rj + Rd |65| 2RI8 | Opcode + I8 + Rj + Rd |66| 2RI12 | Opcode + I12 + Rj + Rd |67| 2RI14 | Opcode + I14 + Rj + Rd |68| 2RI16 | Opcode + I16 + Rj + Rd |69| 1RI21 | Opcode + I21L + Rj + I21H |70| I26 | Opcode + I26L + I26H |7172Rd is the destination register operand, while Rj, Rk and Ra (“a” stands for “additional”) are the source register operands.73I8/I12/I14/I16/I21/I26 are immediate operands of respective width. The longer I21 and I26 are stored in separate higher and74lower parts in the instruction word, denoted by the “L” and “H” suffixes. */7576#define RD(rd) ((sljit_ins)reg_map[rd])77#define RJ(rj) ((sljit_ins)reg_map[rj] << 5)78#define RK(rk) ((sljit_ins)reg_map[rk] << 10)79#define RA(ra) ((sljit_ins)reg_map[ra] << 15)8081#define FD(fd) ((sljit_ins)reg_map[fd])82#define FRD(fd) ((sljit_ins)freg_map[fd])83#define FRJ(fj) ((sljit_ins)freg_map[fj] << 5)84#define FRK(fk) ((sljit_ins)freg_map[fk] << 10)85#define FRA(fa) ((sljit_ins)freg_map[fa] << 15)8687#define IMM_V(imm) ((sljit_ins)(imm) << 10)88#define IMM_I8(imm) (((sljit_ins)(imm)&0xff) << 10)89#define IMM_I12(imm) (((sljit_ins)(imm)&0xfff) << 10)90#define IMM_I14(imm) (((sljit_ins)(imm)&0xfff3) << 10)91#define IMM_I16(imm) (((sljit_ins)(imm)&0xffff) << 10)92#define IMM_I20(imm) (((sljit_ins)(imm)&0xffffffff) >> 12 << 5)93#define IMM_I21(imm) ((((sljit_ins)(imm)&0xffff) << 10) | (((sljit_ins)(imm) >> 16) & 0x1f))94#define IMM_I26(imm) ((((sljit_ins)(imm)&0xffff) << 10) | (((sljit_ins)(imm) >> 16) & 0x3ff))9596#define OPC_I26(opc) ((sljit_ins)(opc) << 26)97#define OPC_1RI21(opc) ((sljit_ins)(opc) << 26)98#define OPC_2RI16(opc) ((sljit_ins)(opc) << 26)99#define OPC_2RI14(opc) ((sljit_ins)(opc) << 24)100#define OPC_2RI12(opc) ((sljit_ins)(opc) << 22)101#define OPC_2RI8(opc) ((sljit_ins)(opc) << 18)102#define OPC_4R(opc) ((sljit_ins)(opc) << 20)103#define OPC_3R(opc) ((sljit_ins)(opc) << 15)104#define OPC_2R(opc) ((sljit_ins)(opc) << 10)105#define OPC_1RI20(opc) ((sljit_ins)(opc) << 25)106107/* Arithmetic operation instructions */108#define ADD_W OPC_3R(0x20)109#define ADD_D OPC_3R(0x21)110#define SUB_W OPC_3R(0x22)111#define SUB_D OPC_3R(0x23)112#define ADDI_W OPC_2RI12(0xa)113#define ADDI_D OPC_2RI12(0xb)114#define ANDI OPC_2RI12(0xd)115#define ORI OPC_2RI12(0xe)116#define XORI OPC_2RI12(0xf)117#define ADDU16I_D OPC_2RI16(0x4)118#define LU12I_W OPC_1RI20(0xa)119#define LU32I_D OPC_1RI20(0xb)120#define LU52I_D OPC_2RI12(0xc)121#define SLT OPC_3R(0x24)122#define SLTU OPC_3R(0x25)123#define SLTI OPC_2RI12(0x8)124#define SLTUI OPC_2RI12(0x9)125#define PCADDI OPC_1RI20(0xc)126#define PCALAU12I OPC_1RI20(0xd)127#define PCADDU12I OPC_1RI20(0xe)128#define PCADDU18I OPC_1RI20(0xf)129#define NOR OPC_3R(0x28)130#define AND OPC_3R(0x29)131#define OR OPC_3R(0x2a)132#define XOR OPC_3R(0x2b)133#define ORN OPC_3R(0x2c)134#define ANDN OPC_3R(0x2d)135#define MUL_W OPC_3R(0x38)136#define MULH_W OPC_3R(0x39)137#define MULH_WU OPC_3R(0x3a)138#define MUL_D OPC_3R(0x3b)139#define MULH_D OPC_3R(0x3c)140#define MULH_DU OPC_3R(0x3d)141#define MULW_D_W OPC_3R(0x3e)142#define MULW_D_WU OPC_3R(0x3f)143#define DIV_W OPC_3R(0x40)144#define MOD_W OPC_3R(0x41)145#define DIV_WU OPC_3R(0x42)146#define MOD_WU OPC_3R(0x43)147#define DIV_D OPC_3R(0x44)148#define MOD_D OPC_3R(0x45)149#define DIV_DU OPC_3R(0x46)150#define MOD_DU OPC_3R(0x47)151152/* Bit-shift instructions */153#define SLL_W OPC_3R(0x2e)154#define SRL_W OPC_3R(0x2f)155#define SRA_W OPC_3R(0x30)156#define SLL_D OPC_3R(0x31)157#define SRL_D OPC_3R(0x32)158#define SRA_D OPC_3R(0x33)159#define ROTR_W OPC_3R(0x36)160#define ROTR_D OPC_3R(0x37)161#define SLLI_W OPC_3R(0x81)162#define SLLI_D ((sljit_ins)(0x41) << 16)163#define SRLI_W OPC_3R(0x89)164#define SRLI_D ((sljit_ins)(0x45) << 16)165#define SRAI_W OPC_3R(0x91)166#define SRAI_D ((sljit_ins)(0x49) << 16)167#define ROTRI_W OPC_3R(0x99)168#define ROTRI_D ((sljit_ins)(0x4d) << 16)169170/* Bit-manipulation instructions */171#define CLO_W OPC_2R(0x4)172#define CLZ_W OPC_2R(0x5)173#define CTO_W OPC_2R(0x6)174#define CTZ_W OPC_2R(0x7)175#define CLO_D OPC_2R(0x8)176#define CLZ_D OPC_2R(0x9)177#define CTO_D OPC_2R(0xa)178#define CTZ_D OPC_2R(0xb)179#define REVB_2H OPC_2R(0xc)180#define REVB_4H OPC_2R(0xd)181#define REVB_2W OPC_2R(0xe)182#define REVB_D OPC_2R(0xf)183#define REVH_2W OPC_2R(0x10)184#define REVH_D OPC_2R(0x11)185#define BITREV_4B OPC_2R(0x12)186#define BITREV_8B OPC_2R(0x13)187#define BITREV_W OPC_2R(0x14)188#define BITREV_D OPC_2R(0x15)189#define EXT_W_H OPC_2R(0x16)190#define EXT_W_B OPC_2R(0x17)191#define BSTRINS_W (0x1 << 22 | 1 << 21)192#define BSTRPICK_W (0x1 << 22 | 1 << 21 | 1 << 15)193#define BSTRINS_D (0x2 << 22)194#define BSTRPICK_D (0x3 << 22)195196/* Branch instructions */197#define BEQZ OPC_1RI21(0x10)198#define BNEZ OPC_1RI21(0x11)199#define JIRL OPC_2RI16(0x13)200#define B OPC_I26(0x14)201#define BL OPC_I26(0x15)202#define BEQ OPC_2RI16(0x16)203#define BNE OPC_2RI16(0x17)204#define BLT OPC_2RI16(0x18)205#define BGE OPC_2RI16(0x19)206#define BLTU OPC_2RI16(0x1a)207#define BGEU OPC_2RI16(0x1b)208209/* Memory access instructions */210#define LD_B OPC_2RI12(0xa0)211#define LD_H OPC_2RI12(0xa1)212#define LD_W OPC_2RI12(0xa2)213#define LD_D OPC_2RI12(0xa3)214215#define ST_B OPC_2RI12(0xa4)216#define ST_H OPC_2RI12(0xa5)217#define ST_W OPC_2RI12(0xa6)218#define ST_D OPC_2RI12(0xa7)219220#define LD_BU OPC_2RI12(0xa8)221#define LD_HU OPC_2RI12(0xa9)222#define LD_WU OPC_2RI12(0xaa)223224#define LDX_B OPC_3R(0x7000)225#define LDX_H OPC_3R(0x7008)226#define LDX_W OPC_3R(0x7010)227#define LDX_D OPC_3R(0x7018)228229#define STX_B OPC_3R(0x7020)230#define STX_H OPC_3R(0x7028)231#define STX_W OPC_3R(0x7030)232#define STX_D OPC_3R(0x7038)233234#define LDX_BU OPC_3R(0x7040)235#define LDX_HU OPC_3R(0x7048)236#define LDX_WU OPC_3R(0x7050)237238#define PRELD OPC_2RI12(0xab)239240/* Atomic memory access instructions */241#define LL_W OPC_2RI14(0x20)242#define SC_W OPC_2RI14(0x21)243#define LL_D OPC_2RI14(0x22)244#define SC_D OPC_2RI14(0x23)245246/* LoongArch V1.10 Instructions */247#define AMCAS_B OPC_3R(0x70B0)248#define AMCAS_H OPC_3R(0x70B1)249#define AMCAS_W OPC_3R(0x70B2)250#define AMCAS_D OPC_3R(0x70B3)251252/* Memory barrier instructions */253#define DBAR OPC_3R(0x70e4)254255/* Other instructions */256#define BREAK OPC_3R(0x54)257#define DBGCALL OPC_3R(0x55)258#define NOP ANDI259#define SYSCALL OPC_3R(0x56)260261/* Basic Floating-Point Instructions */262/* Floating-Point Arithmetic Operation Instructions */263#define FADD_S OPC_3R(0x201)264#define FADD_D OPC_3R(0x202)265#define FSUB_S OPC_3R(0x205)266#define FSUB_D OPC_3R(0x206)267#define FMUL_S OPC_3R(0x209)268#define FMUL_D OPC_3R(0x20a)269#define FDIV_S OPC_3R(0x20d)270#define FDIV_D OPC_3R(0x20e)271#define FCMP_COND_S OPC_4R(0xc1)272#define FCMP_COND_D OPC_4R(0xc2)273#define FCOPYSIGN_S OPC_3R(0x225)274#define FCOPYSIGN_D OPC_3R(0x226)275#define FSEL OPC_4R(0xd0)276#define FABS_S OPC_2R(0x4501)277#define FABS_D OPC_2R(0x4502)278#define FNEG_S OPC_2R(0x4505)279#define FNEG_D OPC_2R(0x4506)280#define FMOV_S OPC_2R(0x4525)281#define FMOV_D OPC_2R(0x4526)282283/* Floating-Point Conversion Instructions */284#define FCVT_S_D OPC_2R(0x4646)285#define FCVT_D_S OPC_2R(0x4649)286#define FTINTRZ_W_S OPC_2R(0x46a1)287#define FTINTRZ_W_D OPC_2R(0x46a2)288#define FTINTRZ_L_S OPC_2R(0x46a9)289#define FTINTRZ_L_D OPC_2R(0x46aa)290#define FFINT_S_W OPC_2R(0x4744)291#define FFINT_S_L OPC_2R(0x4746)292#define FFINT_D_W OPC_2R(0x4748)293#define FFINT_D_L OPC_2R(0x474a)294295/* Floating-Point Move Instructions */296#define FMOV_S OPC_2R(0x4525)297#define FMOV_D OPC_2R(0x4526)298#define MOVGR2FR_W OPC_2R(0x4529)299#define MOVGR2FR_D OPC_2R(0x452a)300#define MOVGR2FRH_W OPC_2R(0x452b)301#define MOVFR2GR_S OPC_2R(0x452d)302#define MOVFR2GR_D OPC_2R(0x452e)303#define MOVFRH2GR_S OPC_2R(0x452f)304#define MOVGR2FCSR OPC_2R(0x4530)305#define MOVFCSR2GR OPC_2R(0x4532)306#define MOVFR2CF OPC_2R(0x4534)307#define MOVCF2FR OPC_2R(0x4535)308#define MOVGR2CF OPC_2R(0x4536)309#define MOVCF2GR OPC_2R(0x4537)310311/* Floating-Point Branch Instructions */312#define BCEQZ OPC_I26(0x12)313#define BCNEZ OPC_I26(0x12)314315/* Floating-Point Common Memory Access Instructions */316#define FLD_S OPC_2RI12(0xac)317#define FLD_D OPC_2RI12(0xae)318#define FST_S OPC_2RI12(0xad)319#define FST_D OPC_2RI12(0xaf)320321#define FLDX_S OPC_3R(0x7060)322#define FLDX_D OPC_3R(0x7068)323#define FSTX_S OPC_3R(0x7070)324#define FSTX_D OPC_3R(0x7078)325326/* Vector Instructions */327328/* Vector Arithmetic Instructions */329#define VOR_V OPC_3R(0xe24d)330#define VXOR_V OPC_3R(0xe24e)331#define VAND_V OPC_3R(0xe24c)332#define VMSKLTZ OPC_2R(0x1ca710)333334/* Vector Memory Access Instructions */335#define VLD OPC_2RI12(0xb0)336#define VST OPC_2RI12(0xb1)337#define XVLD OPC_2RI12(0xb2)338#define XVST OPC_2RI12(0xb3)339#define VSTELM OPC_2RI8(0xc40)340341/* Vector Float Conversion Instructions */342#define VFCVTL_D_S OPC_2R(0x1ca77c)343344/* Vector Bit Manipulate Instructions */345#define VSLLWIL OPC_2R(0x1cc200)346347/* Vector Move And Shuffle Instructions */348#define VLDREPL OPC_2R(0xc0000)349#define VINSGR2VR OPC_2R(0x1cbac0)350#define VPICKVE2GR_U OPC_2R(0x1cbce0)351#define VREPLGR2VR OPC_2R(0x1ca7c0)352#define VREPLVE OPC_3R(0xe244)353#define VREPLVEI OPC_2R(0x1cbde0)354#define VSHUF_B OPC_4R(0xd5)355#define XVPERMI OPC_2RI8(0x1dfa)356357#define I12_MAX (0x7ff)358#define I12_MIN (-0x800)359#define BRANCH16_MAX (0x7fff << 2)360#define BRANCH16_MIN (-(0x8000 << 2))361#define BRANCH21_MAX (0xfffff << 2)362#define BRANCH21_MIN (-(0x100000 << 2))363#define JUMP_MAX (0x1ffffff << 2)364#define JUMP_MIN (-(0x2000000 << 2))365#define JIRL_MAX (0x7fff << 2)366#define JIRL_MIN (-(0x8000 << 2))367368#define S32_MAX (0x7fffffffl)369#define S32_MIN (-0x80000000l)370#define S52_MAX (0x7ffffffffffffl)371372#define INST(inst, type) ((sljit_ins)((type & SLJIT_32) ? inst##_W : inst##_D))373374/* LoongArch CPUCFG register for feature detection */375#define LOONGARCH_CFG2 0x02376#define LOONGARCH_CFG2_LAMCAS (1 << 28)377378static sljit_u32 cfg2_feature_list = 0;379380/* According to Software Development and Build Convention for LoongArch Architectures,381+ the status of LSX and LASX extension must be checked through HWCAP */382#include <sys/auxv.h>383384#define LOONGARCH_HWCAP_LSX (1 << 4)385#define LOONGARCH_HWCAP_LASX (1 << 5)386387static sljit_u32 hwcap_feature_list = 0;388389/* Feature type */390#define GET_CFG2 0391#define GET_HWCAP 1392393#define LOONGARCH_SUPPORT_AMCAS (LOONGARCH_CFG2_LAMCAS & get_cpu_features(GET_CFG2))394395static SLJIT_INLINE sljit_u32 get_cpu_features(sljit_u32 feature_type)396{397if (cfg2_feature_list == 0)398__asm__ ("cpucfg %0, %1" : "+&r"(cfg2_feature_list) : "r"(LOONGARCH_CFG2));399if (hwcap_feature_list == 0)400hwcap_feature_list = (sljit_u32)getauxval(AT_HWCAP);401402return feature_type ? hwcap_feature_list : cfg2_feature_list;403}404405static sljit_s32 push_inst(struct sljit_compiler *compiler, sljit_ins ins)406{407sljit_ins *ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));408FAIL_IF(!ptr);409*ptr = ins;410compiler->size++;411return SLJIT_SUCCESS;412}413414static SLJIT_INLINE sljit_ins* detect_jump_type(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)415{416sljit_sw diff;417sljit_uw target_addr;418sljit_uw jump_addr = (sljit_uw)code_ptr;419sljit_uw orig_addr = jump->addr;420SLJIT_UNUSED_ARG(executable_offset);421422jump->addr = jump_addr;423if (jump->flags & SLJIT_REWRITABLE_JUMP)424goto exit;425426if (jump->flags & JUMP_ADDR)427target_addr = jump->u.target;428else {429SLJIT_ASSERT(jump->u.label != NULL);430target_addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);431432if (jump->u.label->size > orig_addr)433jump_addr = (sljit_uw)(code + orig_addr);434}435436diff = (sljit_sw)target_addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);437438if (jump->flags & IS_COND) {439diff += SSIZE_OF(ins);440441if (diff >= BRANCH16_MIN && diff <= BRANCH16_MAX) {442code_ptr--;443code_ptr[0] = (code_ptr[0] & 0xfc0003ff) ^ 0x4000000;444jump->flags |= PATCH_B;445jump->addr = (sljit_uw)code_ptr;446return code_ptr;447}448449diff -= SSIZE_OF(ins);450}451452if (diff >= JUMP_MIN && diff <= JUMP_MAX) {453if (jump->flags & IS_COND) {454code_ptr[-1] |= (sljit_ins)IMM_I16(2);455}456457jump->flags |= PATCH_J;458return code_ptr;459}460461if (diff >= S32_MIN && diff <= S32_MAX) {462if (jump->flags & IS_COND)463code_ptr[-1] |= (sljit_ins)IMM_I16(3);464465jump->flags |= PATCH_REL32;466code_ptr[1] = code_ptr[0];467return code_ptr + 1;468}469470if (target_addr <= (sljit_uw)S32_MAX) {471if (jump->flags & IS_COND)472code_ptr[-1] |= (sljit_ins)IMM_I16(3);473474jump->flags |= PATCH_ABS32;475code_ptr[1] = code_ptr[0];476return code_ptr + 1;477}478479if (target_addr <= S52_MAX) {480if (jump->flags & IS_COND)481code_ptr[-1] |= (sljit_ins)IMM_I16(4);482483jump->flags |= PATCH_ABS52;484code_ptr[2] = code_ptr[0];485return code_ptr + 2;486}487488exit:489if (jump->flags & IS_COND)490code_ptr[-1] |= (sljit_ins)IMM_I16(5);491code_ptr[3] = code_ptr[0];492return code_ptr + 3;493}494495static SLJIT_INLINE sljit_sw mov_addr_get_length(struct sljit_jump *jump, sljit_ins *code_ptr, sljit_ins *code, sljit_sw executable_offset)496{497sljit_uw addr;498sljit_uw jump_addr = (sljit_uw)code_ptr;499sljit_sw diff;500SLJIT_UNUSED_ARG(executable_offset);501502SLJIT_ASSERT(jump->flags < ((sljit_uw)6 << JUMP_SIZE_SHIFT));503if (jump->flags & JUMP_ADDR)504addr = jump->u.target;505else {506addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code + jump->u.label->size, executable_offset);507508if (jump->u.label->size > jump->addr)509jump_addr = (sljit_uw)(code + jump->addr);510}511512diff = (sljit_sw)addr - (sljit_sw)SLJIT_ADD_EXEC_OFFSET(jump_addr, executable_offset);513514if (diff >= S32_MIN && diff <= S32_MAX) {515SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));516jump->flags |= PATCH_REL32;517return 1;518}519520if (addr <= S32_MAX) {521SLJIT_ASSERT(jump->flags >= ((sljit_uw)1 << JUMP_SIZE_SHIFT));522jump->flags |= PATCH_ABS32;523return 1;524}525526if (addr <= S52_MAX) {527SLJIT_ASSERT(jump->flags >= ((sljit_uw)2 << JUMP_SIZE_SHIFT));528jump->flags |= PATCH_ABS52;529return 2;530}531532SLJIT_ASSERT(jump->flags >= ((sljit_uw)3 << JUMP_SIZE_SHIFT));533return 3;534}535536static SLJIT_INLINE void load_addr_to_reg(struct sljit_jump *jump, sljit_sw executable_offset)537{538sljit_uw flags = jump->flags;539sljit_uw addr = (flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr;540sljit_ins *ins = (sljit_ins*)jump->addr;541sljit_u32 reg = (flags & JUMP_MOV_ADDR) ? *ins : TMP_REG1;542SLJIT_UNUSED_ARG(executable_offset);543544if (flags & PATCH_REL32) {545addr -= (sljit_uw)SLJIT_ADD_EXEC_OFFSET(ins, executable_offset);546547SLJIT_ASSERT((sljit_sw)addr >= S32_MIN && (sljit_sw)addr <= S32_MAX);548549if ((addr & 0x800) != 0)550addr += 0x1000;551552ins[0] = PCADDU12I | RD(reg) | IMM_I20(addr);553554if (!(flags & JUMP_MOV_ADDR)) {555SLJIT_ASSERT((ins[1] & OPC_2RI16(0x3f)) == JIRL);556ins[1] = (ins[1] & (OPC_2RI16(0x3f) | 0x3ff)) | IMM_I16((addr & 0xfff) >> 2);557} else558ins[1] = ADDI_D | RD(reg) | RJ(reg) | IMM_I12(addr);559return;560}561562if (flags & PATCH_ABS32) {563SLJIT_ASSERT(addr <= S32_MAX);564ins[0] = LU12I_W | RD(reg) | (sljit_ins)(((addr & 0xffffffff) >> 12) << 5);565} else if (flags & PATCH_ABS52) {566ins[0] = LU12I_W | RD(reg) | (sljit_ins)(((addr & 0xffffffff) >> 12) << 5);567ins[1] = LU32I_D | RD(reg) | (sljit_ins)(((addr >> 32) & 0xfffff) << 5);568ins += 1;569} else {570ins[0] = LU12I_W | RD(reg) | (sljit_ins)(((addr & 0xffffffff) >> 12) << 5);571ins[1] = LU32I_D | RD(reg) | (sljit_ins)(((addr >> 32) & 0xfffff) << 5);572ins[2] = LU52I_D | RD(reg) | RJ(reg) | IMM_I12(addr >> 52);573ins += 2;574}575576if (!(flags & JUMP_MOV_ADDR)) {577SLJIT_ASSERT((ins[1] & OPC_2RI16(0x3f)) == JIRL);578ins[1] = (ins[1] & (OPC_2RI16(0x3f) | 0x3ff)) | IMM_I16((addr & 0xfff) >> 2);579} else580ins[1] = ORI | RD(reg) | RJ(reg) | IMM_I12(addr);581}582583static SLJIT_INLINE sljit_ins *process_extended_label(sljit_ins *code_ptr, struct sljit_extended_label *ext_label)584{585SLJIT_ASSERT(ext_label->label.u.index == SLJIT_LABEL_ALIGNED);586return (sljit_ins*)((sljit_uw)code_ptr & ~(ext_label->data));587}588589static void reduce_code_size(struct sljit_compiler *compiler)590{591struct sljit_label *label;592struct sljit_jump *jump;593struct sljit_const *const_;594SLJIT_NEXT_DEFINE_TYPES;595sljit_uw total_size;596sljit_uw size_reduce = 0;597sljit_sw diff;598599label = compiler->labels;600jump = compiler->jumps;601const_ = compiler->consts;602603SLJIT_NEXT_INIT_TYPES();604605while (1) {606SLJIT_GET_NEXT_MIN();607608if (next_min_addr == SLJIT_MAX_ADDRESS)609break;610611if (next_min_addr == next_label_size) {612label->size -= size_reduce;613614label = label->next;615next_label_size = SLJIT_GET_NEXT_SIZE(label);616}617618if (next_min_addr == next_const_addr) {619const_->addr -= size_reduce;620const_ = const_->next;621next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);622continue;623}624625if (next_min_addr != next_jump_addr)626continue;627628jump->addr -= size_reduce;629if (!(jump->flags & JUMP_MOV_ADDR)) {630total_size = JUMP_MAX_SIZE;631632if (!(jump->flags & SLJIT_REWRITABLE_JUMP)) {633if (jump->flags & JUMP_ADDR) {634if (jump->u.target <= S32_MAX)635total_size = 2;636else if (jump->u.target <= S52_MAX)637total_size = 3;638} else {639/* Unit size: instruction. */640diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;641if (jump->u.label->size > jump->addr) {642SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);643diff -= (sljit_sw)size_reduce;644}645646if ((jump->flags & IS_COND) && (diff + 1) <= (BRANCH16_MAX / SSIZE_OF(ins)) && (diff + 1) >= (BRANCH16_MIN / SSIZE_OF(ins)))647total_size = 0;648else if (diff >= (JUMP_MIN / SSIZE_OF(ins)) && diff <= (JUMP_MAX / SSIZE_OF(ins)))649total_size = 1;650else if (diff >= (S32_MIN / SSIZE_OF(ins)) && diff <= (S32_MAX / SSIZE_OF(ins)))651total_size = 2;652}653}654655size_reduce += JUMP_MAX_SIZE - total_size;656jump->flags |= total_size << JUMP_SIZE_SHIFT;657} else {658total_size = 3;659660if (!(jump->flags & JUMP_ADDR)) {661/* Real size minus 1. Unit size: instruction. */662diff = (sljit_sw)jump->u.label->size - (sljit_sw)jump->addr;663if (jump->u.label->size > jump->addr) {664SLJIT_ASSERT(jump->u.label->size - size_reduce >= jump->addr);665diff -= (sljit_sw)size_reduce;666}667668if (diff >= (S32_MIN / SSIZE_OF(ins)) && diff <= (S32_MAX / SSIZE_OF(ins)))669total_size = 1;670} else if (jump->u.target < S32_MAX)671total_size = 1;672else if (jump->u.target <= S52_MAX)673total_size = 2;674675size_reduce += 3 - total_size;676jump->flags |= total_size << JUMP_SIZE_SHIFT;677}678679jump = jump->next;680next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);681}682683compiler->size -= size_reduce;684}685686SLJIT_API_FUNC_ATTRIBUTE void* sljit_generate_code(struct sljit_compiler *compiler, sljit_s32 options, void *exec_allocator_data)687{688struct sljit_memory_fragment *buf;689sljit_ins *code;690sljit_ins *code_ptr;691sljit_ins *buf_ptr;692sljit_ins *buf_end;693sljit_uw word_count;694SLJIT_NEXT_DEFINE_TYPES;695sljit_sw executable_offset;696sljit_uw addr;697698struct sljit_label *label;699struct sljit_jump *jump;700struct sljit_const *const_;701702CHECK_ERROR_PTR();703CHECK_PTR(check_sljit_generate_code(compiler, options));704705reduce_code_size(compiler);706707code = (sljit_ins*)allocate_executable_memory(compiler->size * sizeof(sljit_ins), options, exec_allocator_data, &executable_offset);708PTR_FAIL_WITH_EXEC_IF(code);709710reverse_buf(compiler);711buf = compiler->buf;712713code_ptr = code;714word_count = 0;715label = compiler->labels;716jump = compiler->jumps;717const_ = compiler->consts;718SLJIT_NEXT_INIT_TYPES();719SLJIT_GET_NEXT_MIN();720721do {722buf_ptr = (sljit_ins*)buf->memory;723buf_end = buf_ptr + (buf->used_size >> 2);724do {725*code_ptr = *buf_ptr++;726if (next_min_addr == word_count) {727SLJIT_ASSERT(!label || label->size >= word_count);728SLJIT_ASSERT(!jump || jump->addr >= word_count);729SLJIT_ASSERT(!const_ || const_->addr >= word_count);730731/* These structures are ordered by their address. */732if (next_min_addr == next_label_size) {733if (label->u.index >= SLJIT_LABEL_ALIGNED) {734code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);735*code_ptr = buf_ptr[-1];736}737738label->u.addr = (sljit_uw)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);739label->size = (sljit_uw)(code_ptr - code);740label = label->next;741next_label_size = SLJIT_GET_NEXT_SIZE(label);742}743744if (next_min_addr == next_jump_addr) {745if (!(jump->flags & JUMP_MOV_ADDR)) {746word_count = word_count - 1 + (jump->flags >> JUMP_SIZE_SHIFT);747code_ptr = detect_jump_type(jump, code_ptr, code, executable_offset);748SLJIT_ASSERT((jump->flags & PATCH_B) || ((sljit_uw)code_ptr - jump->addr < (jump->flags >> JUMP_SIZE_SHIFT) * sizeof(sljit_ins)));749} else {750word_count += jump->flags >> JUMP_SIZE_SHIFT;751addr = (sljit_uw)code_ptr;752code_ptr += mov_addr_get_length(jump, code_ptr, code, executable_offset);753jump->addr = addr;754}755jump = jump->next;756next_jump_addr = SLJIT_GET_NEXT_ADDRESS(jump);757} else if (next_min_addr == next_const_addr) {758const_->addr = (sljit_uw)code_ptr;759const_ = const_->next;760next_const_addr = SLJIT_GET_NEXT_ADDRESS(const_);761}762763SLJIT_GET_NEXT_MIN();764}765code_ptr++;766word_count++;767} while (buf_ptr < buf_end);768769buf = buf->next;770} while (buf);771772if (label && label->size == word_count) {773if (label->u.index >= SLJIT_LABEL_ALIGNED)774code_ptr = process_extended_label(code_ptr, (struct sljit_extended_label*)label);775776label->u.addr = (sljit_uw)code_ptr;777label->size = (sljit_uw)(code_ptr - code);778label = label->next;779}780781SLJIT_ASSERT(!label);782SLJIT_ASSERT(!jump);783SLJIT_ASSERT(!const_);784SLJIT_ASSERT(code_ptr - code <= (sljit_sw)compiler->size);785786jump = compiler->jumps;787while (jump) {788do {789if (!(jump->flags & (PATCH_B | PATCH_J)) || (jump->flags & JUMP_MOV_ADDR)) {790load_addr_to_reg(jump, executable_offset);791break;792}793794addr = (jump->flags & JUMP_ADDR) ? jump->u.target : jump->u.label->u.addr;795buf_ptr = (sljit_ins *)jump->addr;796addr -= (sljit_uw)SLJIT_ADD_EXEC_OFFSET(buf_ptr, executable_offset);797798if (jump->flags & PATCH_B) {799SLJIT_ASSERT((sljit_sw)addr >= BRANCH16_MIN && (sljit_sw)addr <= BRANCH16_MAX);800buf_ptr[0] |= (sljit_ins)IMM_I16(addr >> 2);801break;802}803804SLJIT_ASSERT((sljit_sw)addr >= JUMP_MIN && (sljit_sw)addr <= JUMP_MAX);805if (jump->flags & IS_CALL)806buf_ptr[0] = BL | (sljit_ins)IMM_I26(addr >> 2);807else808buf_ptr[0] = B | (sljit_ins)IMM_I26(addr >> 2);809} while (0);810jump = jump->next;811}812813compiler->error = SLJIT_ERR_COMPILED;814compiler->executable_offset = executable_offset;815compiler->executable_size = (sljit_uw)(code_ptr - code) * sizeof(sljit_ins);816817code = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code, executable_offset);818code_ptr = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(code_ptr, executable_offset);819820SLJIT_CACHE_FLUSH(code, code_ptr);821SLJIT_UPDATE_WX_FLAGS(code, code_ptr, 1);822return code;823}824825SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_has_cpu_feature(sljit_s32 feature_type)826{827switch (feature_type)828{829case SLJIT_HAS_FPU:830#ifdef SLJIT_IS_FPU_AVAILABLE831return (SLJIT_IS_FPU_AVAILABLE) != 0;832#else833/* Available by default. */834return 1;835#endif836837case SLJIT_HAS_LASX:838return (LOONGARCH_HWCAP_LASX & get_cpu_features(GET_HWCAP));839840case SLJIT_HAS_SIMD:841return (LOONGARCH_HWCAP_LSX & get_cpu_features(GET_HWCAP));842843case SLJIT_HAS_CLZ:844case SLJIT_HAS_CTZ:845case SLJIT_HAS_REV:846case SLJIT_HAS_ROT:847case SLJIT_HAS_PREFETCH:848case SLJIT_HAS_COPY_F32:849case SLJIT_HAS_COPY_F64:850case SLJIT_HAS_ATOMIC:851case SLJIT_HAS_MEMORY_BARRIER:852return 1;853854default:855return 0;856}857}858859SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_cmp_info(sljit_s32 type)860{861SLJIT_UNUSED_ARG(type);862863return 0;864}865866/* --------------------------------------------------------------------- */867/* Entry, exit */868/* --------------------------------------------------------------------- */869870/* Creates an index in data_transfer_insts array. */871#define LOAD_DATA 0x01872#define WORD_DATA 0x00873#define BYTE_DATA 0x02874#define HALF_DATA 0x04875#define INT_DATA 0x06876#define SIGNED_DATA 0x08877/* Separates integer and floating point registers */878#define GPR_REG 0x0f879#define DOUBLE_DATA 0x10880#define SINGLE_DATA 0x12881882#define MEM_MASK 0x1f883884#define ARG_TEST 0x00020885#define ALT_KEEP_CACHE 0x00040886#define CUMULATIVE_OP 0x00080887#define IMM_OP 0x00100888#define MOVE_OP 0x00200889#define SRC2_IMM 0x00400890891#define UNUSED_DEST 0x00800892#define REG_DEST 0x01000893#define REG1_SOURCE 0x02000894#define REG2_SOURCE 0x04000895#define SLOW_SRC1 0x08000896#define SLOW_SRC2 0x10000897#define SLOW_DEST 0x20000898#define MEM_USE_TMP2 0x40000899900#define STACK_STORE ST_D901#define STACK_LOAD LD_D902903static sljit_s32 load_immediate(struct sljit_compiler *compiler, sljit_s32 dst_r, sljit_sw imm)904{905if (imm <= I12_MAX && imm >= I12_MIN)906return push_inst(compiler, ADDI_D | RD(dst_r) | RJ(TMP_ZERO) | IMM_I12(imm));907908if (imm <= 0x7fffffffl && imm >= -0x80000000l) {909FAIL_IF(push_inst(compiler, LU12I_W | RD(dst_r) | (sljit_ins)(((imm & 0xffffffff) >> 12) << 5)));910if (IMM_I12(imm) != 0)911return push_inst(compiler, ORI | RD(dst_r) | RJ(dst_r) | IMM_I12(imm));912return SLJIT_SUCCESS;913} else if (imm <= 0x7ffffffffffffl && imm >= -0x8000000000000l) {914FAIL_IF(push_inst(compiler, LU12I_W | RD(dst_r) | (sljit_ins)(((imm & 0xffffffff) >> 12) << 5)));915if (IMM_I12(imm) != 0)916FAIL_IF(push_inst(compiler, ORI | RD(dst_r) | RJ(dst_r) | IMM_I12(imm)));917return push_inst(compiler, LU32I_D | RD(dst_r) | (sljit_ins)(((imm >> 32) & 0xfffff) << 5));918}919FAIL_IF(push_inst(compiler, LU12I_W | RD(dst_r) | (sljit_ins)(((imm & 0xffffffff) >> 12) << 5)));920if (IMM_I12(imm) != 0)921FAIL_IF(push_inst(compiler, ORI | RD(dst_r) | RJ(dst_r) | IMM_I12(imm)));922FAIL_IF(push_inst(compiler, LU32I_D | RD(dst_r) | (sljit_ins)(((imm >> 32) & 0xfffff) << 5)));923return push_inst(compiler, LU52I_D | RD(dst_r) | RJ(dst_r) | IMM_I12(imm >> 52));924}925926#define STACK_MAX_DISTANCE (-I12_MIN)927928static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw);929930SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler,931sljit_s32 options, sljit_s32 arg_types,932sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)933{934sljit_s32 fscratches;935sljit_s32 fsaveds;936sljit_s32 i, tmp, offset;937sljit_s32 saved_arg_count = SLJIT_KEPT_SAVEDS_COUNT(options);938939CHECK_ERROR();940CHECK(check_sljit_emit_enter(compiler, options, arg_types, scratches, saveds, local_size));941set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);942943scratches = ENTER_GET_REGS(scratches);944saveds = ENTER_GET_REGS(saveds);945fscratches = compiler->fscratches;946fsaveds = compiler->fsaveds;947local_size += GET_SAVED_REGISTERS_SIZE(scratches, saveds - saved_arg_count, 1);948local_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);949950local_size = (local_size + SLJIT_LOCALS_OFFSET + 15) & ~0xf;951compiler->local_size = local_size;952953if (local_size <= STACK_MAX_DISTANCE) {954/* Frequent case. */955FAIL_IF(push_inst(compiler, ADDI_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | IMM_I12(-local_size)));956offset = local_size - SSIZE_OF(sw);957local_size = 0;958} else {959FAIL_IF(push_inst(compiler, ADDI_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | IMM_I12(STACK_MAX_DISTANCE)));960local_size -= STACK_MAX_DISTANCE;961962if (local_size > STACK_MAX_DISTANCE)963FAIL_IF(load_immediate(compiler, TMP_REG1, local_size));964offset = STACK_MAX_DISTANCE - SSIZE_OF(sw);965}966967FAIL_IF(push_inst(compiler, STACK_STORE | RD(RETURN_ADDR_REG) | RJ(SLJIT_SP) | IMM_I12(offset)));968969tmp = SLJIT_S0 - saveds;970for (i = SLJIT_S0 - saved_arg_count; i > tmp; i--) {971offset -= SSIZE_OF(sw);972FAIL_IF(push_inst(compiler, STACK_STORE | RD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));973}974975for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {976offset -= SSIZE_OF(sw);977FAIL_IF(push_inst(compiler, STACK_STORE | RD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));978}979980tmp = SLJIT_FS0 - fsaveds;981for (i = SLJIT_FS0; i > tmp; i--) {982offset -= SSIZE_OF(f64);983FAIL_IF(push_inst(compiler, FST_D | FRD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));984}985986for (i = fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {987offset -= SSIZE_OF(f64);988FAIL_IF(push_inst(compiler, FST_D | FRD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));989}990991if (local_size > STACK_MAX_DISTANCE)992FAIL_IF(push_inst(compiler, SUB_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | RK(TMP_REG1)));993else if (local_size > 0)994FAIL_IF(push_inst(compiler, ADDI_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | IMM_I12(-local_size)));995996if (options & SLJIT_ENTER_REG_ARG)997return SLJIT_SUCCESS;998999arg_types >>= SLJIT_ARG_SHIFT;1000saved_arg_count = 0;1001tmp = SLJIT_R0;10021003while (arg_types > 0) {1004if ((arg_types & SLJIT_ARG_MASK) < SLJIT_ARG_TYPE_F64) {1005if (!(arg_types & SLJIT_ARG_TYPE_SCRATCH_REG)) {1006FAIL_IF(push_inst(compiler, ADDI_D | RD(SLJIT_S0 - saved_arg_count) | RJ(tmp) | IMM_I12(0)));1007saved_arg_count++;1008}1009tmp++;1010}10111012arg_types >>= SLJIT_ARG_SHIFT;1013}10141015return SLJIT_SUCCESS;1016}10171018#undef STACK_MAX_DISTANCE10191020SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler,1021sljit_s32 options, sljit_s32 arg_types,1022sljit_s32 scratches, sljit_s32 saveds, sljit_s32 local_size)1023{1024sljit_s32 fscratches;1025sljit_s32 fsaveds;10261027CHECK_ERROR();1028CHECK(check_sljit_set_context(compiler, options, arg_types, scratches, saveds, local_size));1029set_emit_enter(compiler, options, arg_types, scratches, saveds, local_size);10301031scratches = ENTER_GET_REGS(scratches);1032saveds = ENTER_GET_REGS(saveds);1033fscratches = compiler->fscratches;1034fsaveds = compiler->fsaveds;1035local_size += GET_SAVED_REGISTERS_SIZE(scratches, saveds - SLJIT_KEPT_SAVEDS_COUNT(options), 1);1036local_size += GET_SAVED_FLOAT_REGISTERS_SIZE(fscratches, fsaveds, f64);10371038compiler->local_size = (local_size + SLJIT_LOCALS_OFFSET + 15) & ~0xf;10391040return SLJIT_SUCCESS;1041}10421043#define STACK_MAX_DISTANCE (-I12_MIN - 16)10441045static sljit_s32 emit_stack_frame_release(struct sljit_compiler *compiler, sljit_s32 is_return_to)1046{1047sljit_s32 i, tmp, offset;1048sljit_s32 local_size = compiler->local_size;10491050if (local_size > STACK_MAX_DISTANCE) {1051local_size -= STACK_MAX_DISTANCE;10521053if (local_size > STACK_MAX_DISTANCE) {1054FAIL_IF(load_immediate(compiler, TMP_REG2, local_size));1055FAIL_IF(push_inst(compiler, ADD_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | RK(TMP_REG2)));1056} else1057FAIL_IF(push_inst(compiler, ADDI_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | IMM_I12(local_size)));10581059local_size = STACK_MAX_DISTANCE;1060}10611062SLJIT_ASSERT(local_size > 0);10631064offset = local_size - SSIZE_OF(sw);1065if (!is_return_to)1066FAIL_IF(push_inst(compiler, STACK_LOAD | RD(RETURN_ADDR_REG) | RJ(SLJIT_SP) | IMM_I12(offset)));10671068tmp = SLJIT_S0 - compiler->saveds;1069for (i = SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options); i > tmp; i--) {1070offset -= SSIZE_OF(sw);1071FAIL_IF(push_inst(compiler, STACK_LOAD | RD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));1072}10731074for (i = compiler->scratches; i >= SLJIT_FIRST_SAVED_REG; i--) {1075offset -= SSIZE_OF(sw);1076FAIL_IF(push_inst(compiler, STACK_LOAD | RD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));1077}10781079tmp = SLJIT_FS0 - compiler->fsaveds;1080for (i = SLJIT_FS0; i > tmp; i--) {1081offset -= SSIZE_OF(f64);1082FAIL_IF(push_inst(compiler, FLD_D | FRD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));1083}10841085for (i = compiler->fscratches; i >= SLJIT_FIRST_SAVED_FLOAT_REG; i--) {1086offset -= SSIZE_OF(f64);1087FAIL_IF(push_inst(compiler, FLD_D | FRD(i) | RJ(SLJIT_SP) | IMM_I12(offset)));1088}10891090return push_inst(compiler, ADDI_D | RD(SLJIT_SP) | RJ(SLJIT_SP) | IMM_I12(local_size));1091}10921093#undef STACK_MAX_DISTANCE10941095SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_void(struct sljit_compiler *compiler)1096{1097CHECK_ERROR();1098CHECK(check_sljit_emit_return_void(compiler));10991100FAIL_IF(emit_stack_frame_release(compiler, 0));1101return push_inst(compiler, JIRL | RD(TMP_ZERO) | RJ(RETURN_ADDR_REG) | IMM_I12(0));1102}11031104SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return_to(struct sljit_compiler *compiler,1105sljit_s32 src, sljit_sw srcw)1106{1107CHECK_ERROR();1108CHECK(check_sljit_emit_return_to(compiler, src, srcw));11091110if (src & SLJIT_MEM) {1111ADJUST_LOCAL_OFFSET(src, srcw);1112FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, TMP_REG1, src, srcw));1113src = TMP_REG1;1114srcw = 0;1115} else if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {1116FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(src) | IMM_I12(0)));1117src = TMP_REG1;1118srcw = 0;1119}11201121FAIL_IF(emit_stack_frame_release(compiler, 1));11221123SLJIT_SKIP_CHECKS(compiler);1124return sljit_emit_ijump(compiler, SLJIT_JUMP, src, srcw);1125}11261127/* --------------------------------------------------------------------- */1128/* Operators */1129/* --------------------------------------------------------------------- */11301131static const sljit_ins data_transfer_insts[16 + 4] = {1132/* u w s */ ST_D /* st.d */,1133/* u w l */ LD_D /* ld.d */,1134/* u b s */ ST_B /* st.b */,1135/* u b l */ LD_BU /* ld.bu */,1136/* u h s */ ST_H /* st.h */,1137/* u h l */ LD_HU /* ld.hu */,1138/* u i s */ ST_W /* st.w */,1139/* u i l */ LD_WU /* ld.wu */,11401141/* s w s */ ST_D /* st.d */,1142/* s w l */ LD_D /* ld.d */,1143/* s b s */ ST_B /* st.b */,1144/* s b l */ LD_B /* ld.b */,1145/* s h s */ ST_H /* st.h */,1146/* s h l */ LD_H /* ld.h */,1147/* s i s */ ST_W /* st.w */,1148/* s i l */ LD_W /* ld.w */,11491150/* d s */ FST_D /* fst.d */,1151/* d l */ FLD_D /* fld.d */,1152/* s s */ FST_S /* fst.s */,1153/* s l */ FLD_S /* fld.s */,1154};11551156static const sljit_ins data_transfer_insts_x[16 + 4] = {1157/* u w s */ STX_D /* stx.d */,1158/* u w l */ LDX_D /* ldx.d */,1159/* u b s */ STX_B /* stx.b */,1160/* u b l */ LDX_BU /* ldx.bu */,1161/* u h s */ STX_H /* stx.h */,1162/* u h l */ LDX_HU /* ldx.hu */,1163/* u i s */ STX_W /* stx.w */,1164/* u i l */ LDX_WU /* ldx.wu */,11651166/* s w s */ STX_D /* stx.d */,1167/* s w l */ LDX_D /* ldx.d */,1168/* s b s */ STX_B /* stx.b */,1169/* s b l */ LDX_B /* ldx.b */,1170/* s h s */ STX_H /* stx.h */,1171/* s h l */ LDX_H /* ldx.h */,1172/* s i s */ STX_W /* stx.w */,1173/* s i l */ LDX_W /* ldx.w */,11741175/* d s */ FSTX_D /* fstx.d */,1176/* d l */ FLDX_D /* fldx.d */,1177/* s s */ FSTX_S /* fstx.s */,1178/* s l */ FLDX_S /* fldx.s */,1179};11801181static sljit_s32 push_mem_inst(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)1182{1183sljit_ins ins;1184sljit_s32 base = arg & REG_MASK;11851186SLJIT_ASSERT(arg & SLJIT_MEM);11871188if (arg & OFFS_REG_MASK) {1189sljit_s32 offs = OFFS_REG(arg);11901191SLJIT_ASSERT(!argw);1192ins = data_transfer_insts_x[flags & MEM_MASK] |1193((flags & MEM_MASK) <= GPR_REG ? RD(reg) : FRD(reg)) |1194RJ(base) | RK(offs);1195} else {1196SLJIT_ASSERT(argw <= 0xfff && argw >= I12_MIN);11971198ins = data_transfer_insts[flags & MEM_MASK] |1199((flags & MEM_MASK) <= GPR_REG ? RD(reg) : FRD(reg)) |1200RJ(base) | IMM_I12(argw);1201}1202return push_inst(compiler, ins);1203}12041205/* Can perform an operation using at most 1 instruction. */1206static sljit_s32 getput_arg_fast(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)1207{1208SLJIT_ASSERT(arg & SLJIT_MEM);12091210/* argw == 0 (ldx/stx rd, rj, rk) can be used.1211* argw in [-2048, 2047] (ld/st rd, rj, imm) can be used. */1212if (!argw || (!(arg & OFFS_REG_MASK) && (argw <= I12_MAX && argw >= I12_MIN))) {1213/* Works for both absolute and relative addresses. */1214if (SLJIT_UNLIKELY(flags & ARG_TEST))1215return 1;12161217FAIL_IF(push_mem_inst(compiler, flags, reg, arg, argw));1218return -1;1219}1220return 0;1221}12221223#define TO_ARGW_HI(argw) (((argw) & ~0xfff) + (((argw) & 0x800) ? 0x1000 : 0))12241225/* See getput_arg below.1226Note: can_cache is called only for binary operators. */1227static sljit_s32 can_cache(sljit_s32 arg, sljit_sw argw, sljit_s32 next_arg, sljit_sw next_argw)1228{1229SLJIT_ASSERT((arg & SLJIT_MEM) && (next_arg & SLJIT_MEM));12301231if (arg & OFFS_REG_MASK)1232return 0;12331234if (arg == next_arg) {1235if (((next_argw - argw) <= I12_MAX && (next_argw - argw) >= I12_MIN)1236|| TO_ARGW_HI(argw) == TO_ARGW_HI(next_argw))1237return 1;1238return 0;1239}12401241return 0;1242}12431244/* Emit the necessary instructions. See can_cache above. */1245static sljit_s32 getput_arg(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw, sljit_s32 next_arg, sljit_sw next_argw)1246{1247sljit_s32 base = arg & REG_MASK;1248sljit_s32 tmp_r = (flags & MEM_USE_TMP2) ? TMP_REG2 : TMP_REG1;1249sljit_sw offset;12501251SLJIT_ASSERT(arg & SLJIT_MEM);1252if (!(next_arg & SLJIT_MEM)) {1253next_arg = 0;1254next_argw = 0;1255}12561257if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {1258argw &= 0x3;12591260if (SLJIT_UNLIKELY(argw))1261FAIL_IF(push_inst(compiler, SLLI_D | RD(TMP_REG3) | RJ(OFFS_REG(arg)) | IMM_I12(argw)));1262return push_mem_inst(compiler, flags, reg, SLJIT_MEM2(base, TMP_REG3), 0);1263}12641265if (compiler->cache_arg == arg && argw - compiler->cache_argw <= I12_MAX && argw - compiler->cache_argw >= I12_MIN)1266return push_mem_inst(compiler, flags, reg, SLJIT_MEM1(TMP_REG3), argw - compiler->cache_argw);12671268if (compiler->cache_arg == SLJIT_MEM && (argw - compiler->cache_argw <= I12_MAX) && (argw - compiler->cache_argw >= I12_MIN)) {1269offset = argw - compiler->cache_argw;1270} else {1271sljit_sw argw_hi=TO_ARGW_HI(argw);1272compiler->cache_arg = SLJIT_MEM;12731274if (next_arg && next_argw - argw <= I12_MAX && next_argw - argw >= I12_MIN && argw_hi != TO_ARGW_HI(next_argw)) {1275FAIL_IF(load_immediate(compiler, TMP_REG3, argw));1276compiler->cache_argw = argw;1277offset = 0;1278} else {1279FAIL_IF(load_immediate(compiler, TMP_REG3, argw_hi));1280compiler->cache_argw = argw_hi;1281offset = argw & 0xfff;1282argw = argw_hi;1283}1284}12851286if (!base)1287return push_mem_inst(compiler, flags, reg, SLJIT_MEM1(TMP_REG3), offset);12881289if (arg == next_arg && next_argw - argw <= I12_MAX && next_argw - argw >= I12_MIN) {1290compiler->cache_arg = arg;1291FAIL_IF(push_inst(compiler, ADD_D | RD(TMP_REG3) | RJ(TMP_REG3) | RK(base)));1292return push_mem_inst(compiler, flags, reg, SLJIT_MEM1(TMP_REG3), offset);1293}12941295if (!offset)1296return push_mem_inst(compiler, flags, reg, SLJIT_MEM2(base, TMP_REG3), 0);12971298FAIL_IF(push_inst(compiler, ADD_D | RD(tmp_r) | RJ(TMP_REG3) | RK(base)));1299return push_mem_inst(compiler, flags, reg, SLJIT_MEM1(tmp_r), offset);1300}13011302static sljit_s32 emit_op_mem(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg, sljit_sw argw)1303{1304sljit_s32 base = arg & REG_MASK;1305sljit_s32 tmp_r = TMP_REG1;13061307if (getput_arg_fast(compiler, flags, reg, arg, argw))1308return compiler->error;13091310if ((flags & MEM_MASK) <= GPR_REG && (flags & LOAD_DATA))1311tmp_r = reg;13121313if (SLJIT_UNLIKELY(arg & OFFS_REG_MASK)) {1314argw &= 0x3;13151316if (SLJIT_UNLIKELY(argw))1317FAIL_IF(push_inst(compiler, SLLI_D | RD(tmp_r) | RJ(OFFS_REG(arg)) | IMM_I12(argw)));1318return push_mem_inst(compiler, flags, reg, SLJIT_MEM2(base, tmp_r), 0);1319} else {1320FAIL_IF(load_immediate(compiler, tmp_r, argw));13211322if (base != 0)1323return push_mem_inst(compiler, flags, reg, SLJIT_MEM2(base, tmp_r), 0);1324return push_mem_inst(compiler, flags, reg, SLJIT_MEM1(tmp_r), 0);1325}1326}13271328static SLJIT_INLINE sljit_s32 emit_op_mem2(struct sljit_compiler *compiler, sljit_s32 flags, sljit_s32 reg, sljit_s32 arg1, sljit_sw arg1w, sljit_s32 arg2, sljit_sw arg2w)1329{1330if (getput_arg_fast(compiler, flags, reg, arg1, arg1w))1331return compiler->error;1332return getput_arg(compiler, flags, reg, arg1, arg1w, arg2, arg2w);1333}13341335#define IMM_EXTEND(v) (IMM_I12((op & SLJIT_32) ? (v) : (32 + (v))))13361337/* andi/ori/xori are zero-extended */1338#define EMIT_LOGICAL(op_imm, op_reg) \1339if (flags & SRC2_IMM) { \1340if (op & SLJIT_SET_Z) {\1341FAIL_IF(push_inst(compiler, ADDI_D | RD(EQUAL_FLAG) | RJ(TMP_ZERO) | IMM_I12(src2))); \1342FAIL_IF(push_inst(compiler, op_reg | RD(EQUAL_FLAG) | RJ(src1) | RK(EQUAL_FLAG))); \1343} \1344if (!(flags & UNUSED_DEST)) { \1345if (dst == src1) { \1346FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(TMP_ZERO) | IMM_I12(src2))); \1347FAIL_IF(push_inst(compiler, op_reg | RD(dst) | RJ(src1) | RK(TMP_REG1))); \1348} else { \1349FAIL_IF(push_inst(compiler, ADDI_D | RD(dst) | RJ(TMP_ZERO) | IMM_I12(src2))); \1350FAIL_IF(push_inst(compiler, op_reg | RD(dst) | RJ(src1) | RK(dst))); \1351} \1352} \1353} else { \1354if (op & SLJIT_SET_Z) \1355FAIL_IF(push_inst(compiler, op_reg | RD(EQUAL_FLAG) | RJ(src1) | RK(src2))); \1356if (!(flags & UNUSED_DEST)) \1357FAIL_IF(push_inst(compiler, op_reg | RD(dst) | RJ(src1) | RK(src2))); \1358} \1359while (0)13601361#define EMIT_SHIFT(imm, reg) \1362op_imm = (imm); \1363op_reg = (reg)13641365static SLJIT_INLINE sljit_s32 emit_single_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 flags,1366sljit_s32 dst, sljit_s32 src1, sljit_sw src2)1367{1368sljit_s32 is_overflow, is_carry, carry_src_r, is_handled, reg;1369sljit_ins op_imm, op_reg;1370sljit_ins word_size = ((op & SLJIT_32) ? 32 : 64);13711372switch (GET_OPCODE(op)) {1373case SLJIT_MOV:1374SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1375if (dst != src2)1376return push_inst(compiler, INST(ADD, op) | RD(dst) | RJ(src2) | IMM_I12(0));1377return SLJIT_SUCCESS;13781379case SLJIT_MOV_U8:1380SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1381if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1382return push_inst(compiler, ANDI | RD(dst) | RJ(src2) | IMM_I12(0xff));1383SLJIT_ASSERT(dst == src2);1384return SLJIT_SUCCESS;13851386case SLJIT_MOV_S8:1387SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1388if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1389return push_inst(compiler, EXT_W_B | RD(dst) | RJ(src2));1390SLJIT_ASSERT(dst == src2);1391return SLJIT_SUCCESS;13921393case SLJIT_MOV_U16:1394SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1395if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1396return push_inst(compiler, INST(BSTRPICK, op) | RD(dst) | RJ(src2) | (15 << 16));1397SLJIT_ASSERT(dst == src2);1398return SLJIT_SUCCESS;13991400case SLJIT_MOV_S16:1401SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1402if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1403return push_inst(compiler, EXT_W_H | RD(dst) | RJ(src2));1404SLJIT_ASSERT(dst == src2);1405return SLJIT_SUCCESS;14061407case SLJIT_MOV_U32:1408SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1409if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1410return push_inst(compiler, BSTRPICK_D | RD(dst) | RJ(src2) | (31 << 16));1411SLJIT_ASSERT(dst == src2);1412return SLJIT_SUCCESS;14131414case SLJIT_MOV_S32:1415SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1416if ((flags & (REG_DEST | REG2_SOURCE)) == (REG_DEST | REG2_SOURCE))1417return push_inst(compiler, SLLI_W | RD(dst) | RJ(src2) | IMM_I12(0));1418SLJIT_ASSERT(dst == src2);1419return SLJIT_SUCCESS;14201421case SLJIT_CLZ:1422SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1423return push_inst(compiler, INST(CLZ, op) | RD(dst) | RJ(src2));14241425case SLJIT_CTZ:1426SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1427return push_inst(compiler, INST(CTZ, op) | RD(dst) | RJ(src2));14281429case SLJIT_REV:1430SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1431return push_inst(compiler, ((op & SLJIT_32) ? REVB_2W : REVB_D) | RD(dst) | RJ(src2));14321433case SLJIT_REV_S16:1434SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1435FAIL_IF(push_inst(compiler, REVB_2H | RD(dst) | RJ(src2)));1436return push_inst(compiler, EXT_W_H | RD(dst) | RJ(dst));14371438case SLJIT_REV_U16:1439SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM));1440FAIL_IF(push_inst(compiler, REVB_2H | RD(dst) | RJ(src2)));1441return push_inst(compiler, INST(BSTRPICK, op) | RD(dst) | RJ(dst) | (15 << 16));14421443case SLJIT_REV_S32:1444SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM) && dst != TMP_REG1);1445FAIL_IF(push_inst(compiler, REVB_2W | RD(dst) | RJ(src2)));1446return push_inst(compiler, SLLI_W | RD(dst) | RJ(dst) | IMM_I12(0));14471448case SLJIT_REV_U32:1449SLJIT_ASSERT(src1 == TMP_ZERO && !(flags & SRC2_IMM) && dst != TMP_REG1);1450FAIL_IF(push_inst(compiler, REVB_2W | RD(dst) | RJ(src2)));1451return push_inst(compiler, BSTRPICK_D | RD(dst) | RJ(dst) | (31 << 16));14521453case SLJIT_ADD:1454/* Overflow computation (both add and sub): overflow = src1_sign ^ src2_sign ^ result_sign ^ carry_flag */1455is_overflow = GET_FLAG_TYPE(op) == SLJIT_OVERFLOW;1456carry_src_r = GET_FLAG_TYPE(op) == SLJIT_CARRY;14571458if (flags & SRC2_IMM) {1459if (is_overflow) {1460if (src2 >= 0)1461FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(0)));1462else {1463FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(TMP_ZERO) | IMM_I12(-1)));1464FAIL_IF(push_inst(compiler, XOR | RD(EQUAL_FLAG) | RJ(src1) | RK(EQUAL_FLAG)));1465}1466} else if (op & SLJIT_SET_Z)1467FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(src2)));14681469/* Only the zero flag is needed. */1470if (!(flags & UNUSED_DEST) || (op & VARIABLE_FLAG_MASK))1471FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(dst) | RJ(src1) | IMM_I12(src2)));1472} else {1473if (is_overflow)1474FAIL_IF(push_inst(compiler, XOR | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));1475else if (op & SLJIT_SET_Z)1476FAIL_IF(push_inst(compiler, INST(ADD, op) | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));14771478if (is_overflow || carry_src_r != 0) {1479if (src1 != dst)1480carry_src_r = (sljit_s32)src1;1481else if (src2 != dst)1482carry_src_r = (sljit_s32)src2;1483else {1484FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(OTHER_FLAG) | RJ(src1) | IMM_I12(0)));1485carry_src_r = OTHER_FLAG;1486}1487}14881489/* Only the zero flag is needed. */1490if (!(flags & UNUSED_DEST) || (op & VARIABLE_FLAG_MASK))1491FAIL_IF(push_inst(compiler, INST(ADD, op) | RD(dst) | RJ(src1) | RK(src2)));1492}14931494/* Carry is zero if a + b >= a or a + b >= b, otherwise it is 1. */1495if (is_overflow || carry_src_r != 0) {1496if (flags & SRC2_IMM)1497FAIL_IF(push_inst(compiler, SLTUI | RD(OTHER_FLAG) | RJ(dst) | IMM_I12(src2)));1498else1499FAIL_IF(push_inst(compiler, SLTU | RD(OTHER_FLAG) | RJ(dst) | RK(carry_src_r)));1500}15011502if (!is_overflow)1503return SLJIT_SUCCESS;15041505FAIL_IF(push_inst(compiler, XOR | RD(TMP_REG1) | RJ(dst) | RK(EQUAL_FLAG)));1506if (op & SLJIT_SET_Z)1507FAIL_IF(push_inst(compiler, INST(ADD, op) | RD(EQUAL_FLAG) | RJ(dst) | IMM_I12(0)));1508FAIL_IF(push_inst(compiler, INST(SRLI, op) | RD(TMP_REG1) | RJ(TMP_REG1) | IMM_EXTEND(31)));1509return push_inst(compiler, XOR | RD(OTHER_FLAG) | RJ(TMP_REG1) | RK(OTHER_FLAG));15101511case SLJIT_ADDC:1512carry_src_r = GET_FLAG_TYPE(op) == SLJIT_CARRY;15131514if (flags & SRC2_IMM) {1515FAIL_IF(push_inst(compiler, ADDI_D | RD(dst) | RJ(src1) | IMM_I12(src2)));1516} else {1517if (carry_src_r != 0) {1518if (src1 != dst)1519carry_src_r = (sljit_s32)src1;1520else if (src2 != dst)1521carry_src_r = (sljit_s32)src2;1522else {1523FAIL_IF(push_inst(compiler, ADDI_D | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(0)));1524carry_src_r = EQUAL_FLAG;1525}1526}15271528FAIL_IF(push_inst(compiler, ADD_D | RD(dst) | RJ(src1) | RK(src2)));1529}15301531/* Carry is zero if a + b >= a or a + b >= b, otherwise it is 1. */1532if (carry_src_r != 0) {1533if (flags & SRC2_IMM)1534FAIL_IF(push_inst(compiler, SLTUI | RD(EQUAL_FLAG) | RJ(dst) | IMM_I12(src2)));1535else1536FAIL_IF(push_inst(compiler, SLTU | RD(EQUAL_FLAG) | RJ(dst) | RK(carry_src_r)));1537}15381539FAIL_IF(push_inst(compiler, ADD_D | RD(dst) | RJ(dst) | RK(OTHER_FLAG)));15401541if (carry_src_r == 0)1542return SLJIT_SUCCESS;15431544/* Set ULESS_FLAG (dst == 0) && (OTHER_FLAG == 1). */1545FAIL_IF(push_inst(compiler, SLTU | RD(OTHER_FLAG) | RJ(dst) | RK(OTHER_FLAG)));1546/* Set carry flag. */1547return push_inst(compiler, OR | RD(OTHER_FLAG) | RJ(OTHER_FLAG) | RK(EQUAL_FLAG));15481549case SLJIT_SUB:1550if ((flags & SRC2_IMM) && src2 == I12_MIN) {1551FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG2) | RJ(TMP_ZERO) | IMM_I12(src2)));1552src2 = TMP_REG2;1553flags &= ~SRC2_IMM;1554}15551556is_handled = 0;15571558if (flags & SRC2_IMM) {1559if (GET_FLAG_TYPE(op) == SLJIT_LESS) {1560FAIL_IF(push_inst(compiler, SLTUI | RD(OTHER_FLAG) | RJ(src1) | IMM_I12(src2)));1561is_handled = 1;1562} else if (GET_FLAG_TYPE(op) == SLJIT_SIG_LESS) {1563FAIL_IF(push_inst(compiler, SLTI | RD(OTHER_FLAG) | RJ(src1) | IMM_I12(src2)));1564is_handled = 1;1565}1566}15671568if (!is_handled && GET_FLAG_TYPE(op) >= SLJIT_LESS && GET_FLAG_TYPE(op) <= SLJIT_SIG_LESS_EQUAL) {1569is_handled = 1;15701571if (flags & SRC2_IMM) {1572reg = (src1 == TMP_REG1) ? TMP_REG2 : TMP_REG1;1573FAIL_IF(push_inst(compiler, ADDI_D | RD(reg) | RJ(TMP_ZERO) | IMM_I12(src2)));1574src2 = reg;1575flags &= ~SRC2_IMM;1576}15771578switch (GET_FLAG_TYPE(op)) {1579case SLJIT_LESS:1580FAIL_IF(push_inst(compiler, SLTU | RD(OTHER_FLAG) | RJ(src1) | RK(src2)));1581break;1582case SLJIT_GREATER:1583FAIL_IF(push_inst(compiler, SLTU | RD(OTHER_FLAG) | RJ(src2) | RK(src1)));1584break;1585case SLJIT_SIG_LESS:1586FAIL_IF(push_inst(compiler, SLT | RD(OTHER_FLAG) | RJ(src1) | RK(src2)));1587break;1588case SLJIT_SIG_GREATER:1589FAIL_IF(push_inst(compiler, SLT | RD(OTHER_FLAG) | RJ(src2) | RK(src1)));1590break;1591}1592}15931594if (is_handled) {1595if (flags & SRC2_IMM) {1596if (op & SLJIT_SET_Z)1597FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(-src2)));1598if (!(flags & UNUSED_DEST))1599return push_inst(compiler, INST(ADDI, op) | RD(dst) | RJ(src1) | IMM_I12(-src2));1600} else {1601if (op & SLJIT_SET_Z)1602FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));1603if (!(flags & UNUSED_DEST))1604return push_inst(compiler, INST(SUB, op) | RD(dst) | RJ(src1) | RK(src2));1605}1606return SLJIT_SUCCESS;1607}16081609is_overflow = GET_FLAG_TYPE(op) == SLJIT_OVERFLOW;1610is_carry = GET_FLAG_TYPE(op) == SLJIT_CARRY;16111612if (flags & SRC2_IMM) {1613if (is_overflow) {1614if (src2 >= 0)1615FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(0)));1616else {1617FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(TMP_ZERO) | IMM_I12(-1)));1618FAIL_IF(push_inst(compiler, XOR | RD(EQUAL_FLAG) | RJ(src1) | RK(EQUAL_FLAG)));1619}1620} else if (op & SLJIT_SET_Z)1621FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(-src2)));16221623if (is_overflow || is_carry)1624FAIL_IF(push_inst(compiler, SLTUI | RD(OTHER_FLAG) | RJ(src1) | IMM_I12(src2)));16251626/* Only the zero flag is needed. */1627if (!(flags & UNUSED_DEST) || (op & VARIABLE_FLAG_MASK))1628FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(dst) | RJ(src1) | IMM_I12(-src2)));1629} else {1630if (is_overflow)1631FAIL_IF(push_inst(compiler, XOR | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));1632else if (op & SLJIT_SET_Z)1633FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));16341635if (is_overflow || is_carry)1636FAIL_IF(push_inst(compiler, SLTU | RD(OTHER_FLAG) | RJ(src1) | RK(src2)));16371638/* Only the zero flag is needed. */1639if (!(flags & UNUSED_DEST) || (op & VARIABLE_FLAG_MASK))1640FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(dst) | RJ(src1) | RK(src2)));1641}16421643if (!is_overflow)1644return SLJIT_SUCCESS;16451646FAIL_IF(push_inst(compiler, XOR | RD(TMP_REG1) | RJ(dst) | RK(EQUAL_FLAG)));1647if (op & SLJIT_SET_Z)1648FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(EQUAL_FLAG) | RJ(dst) | IMM_I12(0)));1649FAIL_IF(push_inst(compiler, INST(SRLI, op) | RD(TMP_REG1) | RJ(TMP_REG1) | IMM_EXTEND(31)));1650return push_inst(compiler, XOR | RD(OTHER_FLAG) | RJ(TMP_REG1) | RK(OTHER_FLAG));16511652case SLJIT_SUBC:1653if ((flags & SRC2_IMM) && src2 == I12_MIN) {1654FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(TMP_REG2) | RJ(TMP_ZERO) | IMM_I12(src2)));1655src2 = TMP_REG2;1656flags &= ~SRC2_IMM;1657}16581659is_carry = GET_FLAG_TYPE(op) == SLJIT_CARRY;16601661if (flags & SRC2_IMM) {1662if (is_carry)1663FAIL_IF(push_inst(compiler, SLTUI | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(src2)));16641665FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(dst) | RJ(src1) | IMM_I12(-src2)));1666} else {1667if (is_carry)1668FAIL_IF(push_inst(compiler, SLTU | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));16691670FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(dst) | RJ(src1) | RK(src2)));1671}16721673if (is_carry)1674FAIL_IF(push_inst(compiler, SLTU | RD(TMP_REG1) | RJ(dst) | RK(OTHER_FLAG)));16751676FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(dst) | RJ(dst) | RK(OTHER_FLAG)));16771678if (!is_carry)1679return SLJIT_SUCCESS;16801681return push_inst(compiler, OR | RD(OTHER_FLAG) | RJ(EQUAL_FLAG) | RK(TMP_REG1));16821683case SLJIT_MUL:1684SLJIT_ASSERT(!(flags & SRC2_IMM));16851686if (GET_FLAG_TYPE(op) != SLJIT_OVERFLOW)1687return push_inst(compiler, INST(MUL, op) | RD(dst) | RJ(src1) | RK(src2));16881689if (op & SLJIT_32) {1690FAIL_IF(push_inst(compiler, MUL_D | RD(OTHER_FLAG) | RJ(src1) | RK(src2)));1691FAIL_IF(push_inst(compiler, MUL_W | RD(dst) | RJ(src1) | RK(src2)));1692return push_inst(compiler, SUB_D | RD(OTHER_FLAG) | RJ(dst) | RK(OTHER_FLAG));1693}16941695FAIL_IF(push_inst(compiler, MULH_D | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));1696FAIL_IF(push_inst(compiler, MUL_D | RD(dst) | RJ(src1) | RK(src2)));1697FAIL_IF(push_inst(compiler, SRAI_D | RD(OTHER_FLAG) | RJ(dst) | IMM_I12((63))));1698return push_inst(compiler, SUB_D | RD(OTHER_FLAG) | RJ(EQUAL_FLAG) | RK(OTHER_FLAG));16991700case SLJIT_AND:1701EMIT_LOGICAL(ANDI, AND);1702return SLJIT_SUCCESS;17031704case SLJIT_OR:1705EMIT_LOGICAL(ORI, OR);1706return SLJIT_SUCCESS;17071708case SLJIT_XOR:1709EMIT_LOGICAL(XORI, XOR);1710return SLJIT_SUCCESS;17111712case SLJIT_SHL:1713case SLJIT_MSHL:1714if (op & SLJIT_32) {1715EMIT_SHIFT(SLLI_W, SLL_W);1716} else {1717EMIT_SHIFT(SLLI_D, SLL_D);1718}1719break;17201721case SLJIT_LSHR:1722case SLJIT_MLSHR:1723if (op & SLJIT_32) {1724EMIT_SHIFT(SRLI_W, SRL_W);1725} else {1726EMIT_SHIFT(SRLI_D, SRL_D);1727}1728break;17291730case SLJIT_ASHR:1731case SLJIT_MASHR:1732if (op & SLJIT_32) {1733EMIT_SHIFT(SRAI_W, SRA_W);1734} else {1735EMIT_SHIFT(SRAI_D, SRA_D);1736}1737break;17381739case SLJIT_ROTL:1740case SLJIT_ROTR:1741if (flags & SRC2_IMM) {1742SLJIT_ASSERT(src2 != 0);17431744if (GET_OPCODE(op) == SLJIT_ROTL)1745src2 = word_size - src2;1746return push_inst(compiler, INST(ROTRI, op) | RD(dst) | RJ(src1) | IMM_I12(src2));1747}17481749if (src2 == TMP_ZERO) {1750if (dst != src1)1751return push_inst(compiler, INST(ADDI, op) | RD(dst) | RJ(src1) | IMM_I12(0));1752return SLJIT_SUCCESS;1753}17541755if (GET_OPCODE(op) == SLJIT_ROTL) {1756FAIL_IF(push_inst(compiler, INST(SUB, op)| RD(OTHER_FLAG) | RJ(TMP_ZERO) | RK(src2)));1757src2 = OTHER_FLAG;1758}1759return push_inst(compiler, INST(ROTR, op) | RD(dst) | RJ(src1) | RK(src2));17601761default:1762SLJIT_UNREACHABLE();1763return SLJIT_SUCCESS;1764}17651766if (flags & SRC2_IMM) {1767if (op & SLJIT_SET_Z)1768FAIL_IF(push_inst(compiler, op_imm | RD(EQUAL_FLAG) | RJ(src1) | IMM_I12(src2)));17691770if (flags & UNUSED_DEST)1771return SLJIT_SUCCESS;1772return push_inst(compiler, op_imm | RD(dst) | RJ(src1) | IMM_I12(src2));1773}17741775if (op & SLJIT_SET_Z)1776FAIL_IF(push_inst(compiler, op_reg | RD(EQUAL_FLAG) | RJ(src1) | RK(src2)));17771778if (flags & UNUSED_DEST)1779return SLJIT_SUCCESS;1780return push_inst(compiler, op_reg | RD(dst) | RJ(src1) | RK(src2));1781}17821783#undef IMM_EXTEND17841785static sljit_s32 emit_op(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 flags,1786sljit_s32 dst, sljit_sw dstw,1787sljit_s32 src1, sljit_sw src1w,1788sljit_s32 src2, sljit_sw src2w)1789{1790/* arg1 goes to TMP_REG1 or src reg1791arg2 goes to TMP_REG2, imm or src reg1792TMP_REG3 can be used for caching1793result goes to TMP_REG2, so put result can use TMP_REG1 and TMP_REG3. */1794sljit_s32 dst_r = TMP_REG2;1795sljit_s32 src1_r;1796sljit_sw src2_r = 0;1797sljit_s32 src2_tmp_reg = (GET_OPCODE(op) >= SLJIT_OP2_BASE && FAST_IS_REG(src1)) ? TMP_REG1 : TMP_REG2;17981799if (!(flags & ALT_KEEP_CACHE)) {1800compiler->cache_arg = 0;1801compiler->cache_argw = 0;1802}18031804if (dst == 0) {1805SLJIT_ASSERT(HAS_FLAGS(op));1806flags |= UNUSED_DEST;1807dst = TMP_REG2;1808} else if (FAST_IS_REG(dst)) {1809dst_r = dst;1810flags |= REG_DEST;1811if (flags & MOVE_OP)1812src2_tmp_reg = dst_r;1813} else if ((dst & SLJIT_MEM) && !getput_arg_fast(compiler, flags | ARG_TEST, TMP_REG1, dst, dstw))1814flags |= SLOW_DEST;18151816if (flags & IMM_OP) {1817if (src2 == SLJIT_IMM && src2w != 0 && src2w <= I12_MAX && src2w >= I12_MIN) {1818flags |= SRC2_IMM;1819src2_r = src2w;1820} else if ((flags & CUMULATIVE_OP) && src1 == SLJIT_IMM && src1w != 0 && src1w <= I12_MAX && src1w >= I12_MIN) {1821flags |= SRC2_IMM;1822src2_r = src1w;18231824/* And swap arguments. */1825src1 = src2;1826src1w = src2w;1827src2 = SLJIT_IMM;1828/* src2w = src2_r unneeded. */1829}1830}18311832/* Source 1. */1833if (FAST_IS_REG(src1)) {1834src1_r = src1;1835flags |= REG1_SOURCE;1836} else if (src1 == SLJIT_IMM) {1837if (src1w) {1838FAIL_IF(load_immediate(compiler, TMP_REG1, src1w));1839src1_r = TMP_REG1;1840}1841else1842src1_r = TMP_ZERO;1843} else {1844if (getput_arg_fast(compiler, flags | LOAD_DATA, TMP_REG1, src1, src1w))1845FAIL_IF(compiler->error);1846else1847flags |= SLOW_SRC1;1848src1_r = TMP_REG1;1849}18501851/* Source 2. */1852if (FAST_IS_REG(src2)) {1853src2_r = src2;1854flags |= REG2_SOURCE;1855if ((flags & (REG_DEST | MOVE_OP)) == MOVE_OP)1856dst_r = (sljit_s32)src2_r;1857} else if (src2 == SLJIT_IMM) {1858if (!(flags & SRC2_IMM)) {1859if (src2w) {1860FAIL_IF(load_immediate(compiler, src2_tmp_reg, src2w));1861src2_r = src2_tmp_reg;1862} else {1863src2_r = TMP_ZERO;1864if (flags & MOVE_OP) {1865if (dst & SLJIT_MEM)1866dst_r = 0;1867else1868op = SLJIT_MOV;1869}1870}1871}1872} else {1873if (getput_arg_fast(compiler, flags | LOAD_DATA, src2_tmp_reg, src2, src2w))1874FAIL_IF(compiler->error);1875else1876flags |= SLOW_SRC2;18771878src2_r = src2_tmp_reg;1879}18801881if ((flags & (SLOW_SRC1 | SLOW_SRC2)) == (SLOW_SRC1 | SLOW_SRC2)) {1882SLJIT_ASSERT(src2_r == TMP_REG2);1883if ((flags & SLOW_DEST) && !can_cache(src2, src2w, src1, src1w) && can_cache(src2, src2w, dst, dstw)) {1884FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, TMP_REG1, src1, src1w, src2, src2w));1885FAIL_IF(getput_arg(compiler, flags | LOAD_DATA | MEM_USE_TMP2, TMP_REG2, src2, src2w, dst, dstw));1886} else {1887FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, TMP_REG2, src2, src2w, src1, src1w));1888FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, TMP_REG1, src1, src1w, dst, dstw));1889}1890}1891else if (flags & SLOW_SRC1)1892FAIL_IF(getput_arg(compiler, flags | LOAD_DATA, TMP_REG1, src1, src1w, dst, dstw));1893else if (flags & SLOW_SRC2)1894FAIL_IF(getput_arg(compiler, flags | LOAD_DATA | ((src1_r == TMP_REG1) ? MEM_USE_TMP2 : 0), src2_tmp_reg, src2, src2w, dst, dstw));18951896FAIL_IF(emit_single_op(compiler, op, flags, dst_r, src1_r, src2_r));18971898if (dst & SLJIT_MEM) {1899if (!(flags & SLOW_DEST)) {1900getput_arg_fast(compiler, flags, dst_r, dst, dstw);1901return compiler->error;1902}1903return getput_arg(compiler, flags, dst_r, dst, dstw, 0, 0);1904}19051906return SLJIT_SUCCESS;1907}19081909SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op0(struct sljit_compiler *compiler, sljit_s32 op)1910{1911CHECK_ERROR();1912CHECK(check_sljit_emit_op0(compiler, op));19131914switch (GET_OPCODE(op)) {1915case SLJIT_BREAKPOINT:1916return push_inst(compiler, BREAK);1917case SLJIT_NOP:1918return push_inst(compiler, NOP);1919case SLJIT_LMUL_UW:1920FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(SLJIT_R1) | IMM_I12(0)));1921FAIL_IF(push_inst(compiler, MULH_DU | RD(SLJIT_R1) | RJ(SLJIT_R0) | RK(SLJIT_R1)));1922return push_inst(compiler, MUL_D | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(TMP_REG1));1923case SLJIT_LMUL_SW:1924FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(SLJIT_R1) | IMM_I12(0)));1925FAIL_IF(push_inst(compiler, MULH_D | RD(SLJIT_R1) | RJ(SLJIT_R0) | RK(SLJIT_R1)));1926return push_inst(compiler, MUL_D | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(TMP_REG1));1927case SLJIT_DIVMOD_UW:1928FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(TMP_REG1) | RJ(SLJIT_R0) | IMM_I12(0)));1929FAIL_IF(push_inst(compiler, ((op & SLJIT_32)? DIV_WU: DIV_DU) | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(SLJIT_R1)));1930return push_inst(compiler, ((op & SLJIT_32)? MOD_WU: MOD_DU) | RD(SLJIT_R1) | RJ(TMP_REG1) | RK(SLJIT_R1));1931case SLJIT_DIVMOD_SW:1932FAIL_IF(push_inst(compiler, INST(ADDI, op) | RD(TMP_REG1) | RJ(SLJIT_R0) | IMM_I12(0)));1933FAIL_IF(push_inst(compiler, INST(DIV, op) | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(SLJIT_R1)));1934return push_inst(compiler, INST(MOD, op) | RD(SLJIT_R1) | RJ(TMP_REG1) | RK(SLJIT_R1));1935case SLJIT_DIV_UW:1936return push_inst(compiler, ((op & SLJIT_32)? DIV_WU: DIV_DU) | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(SLJIT_R1));1937case SLJIT_DIV_SW:1938return push_inst(compiler, INST(DIV, op) | RD(SLJIT_R0) | RJ(SLJIT_R0) | RK(SLJIT_R1));1939case SLJIT_MEMORY_BARRIER:1940return push_inst(compiler, DBAR);1941case SLJIT_ENDBR:1942case SLJIT_SKIP_FRAMES_BEFORE_RETURN:1943return SLJIT_SUCCESS;1944}19451946SLJIT_UNREACHABLE();1947return SLJIT_ERR_UNSUPPORTED;1948}19491950SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op1(struct sljit_compiler *compiler, sljit_s32 op,1951sljit_s32 dst, sljit_sw dstw,1952sljit_s32 src, sljit_sw srcw)1953{1954sljit_s32 flags = 0;19551956CHECK_ERROR();1957CHECK(check_sljit_emit_op1(compiler, op, dst, dstw, src, srcw));1958ADJUST_LOCAL_OFFSET(dst, dstw);1959ADJUST_LOCAL_OFFSET(src, srcw);19601961if (op & SLJIT_32)1962flags = INT_DATA | SIGNED_DATA;19631964switch (GET_OPCODE(op)) {1965case SLJIT_MOV:1966case SLJIT_MOV_P:1967return emit_op(compiler, SLJIT_MOV, WORD_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, srcw);19681969case SLJIT_MOV_U32:1970return emit_op(compiler, SLJIT_MOV_U32, INT_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_u32)srcw : srcw);19711972case SLJIT_MOV_S32:1973/* Logical operators have no W variant, so sign extended input is necessary for them. */1974case SLJIT_MOV32:1975return emit_op(compiler, SLJIT_MOV_S32, INT_DATA | SIGNED_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_s32)srcw : srcw);19761977case SLJIT_MOV_U8:1978return emit_op(compiler, op, BYTE_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_u8)srcw : srcw);19791980case SLJIT_MOV_S8:1981return emit_op(compiler, op, BYTE_DATA | SIGNED_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_s8)srcw : srcw);19821983case SLJIT_MOV_U16:1984return emit_op(compiler, op, HALF_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_u16)srcw : srcw);19851986case SLJIT_MOV_S16:1987return emit_op(compiler, op, HALF_DATA | SIGNED_DATA | MOVE_OP, dst, dstw, TMP_ZERO, 0, src, (src == SLJIT_IMM) ? (sljit_s16)srcw : srcw);19881989case SLJIT_CLZ:1990case SLJIT_CTZ:1991case SLJIT_REV:1992return emit_op(compiler, op, flags, dst, dstw, TMP_ZERO, 0, src, srcw);19931994case SLJIT_REV_U16:1995case SLJIT_REV_S16:1996return emit_op(compiler, op, HALF_DATA, dst, dstw, TMP_ZERO, 0, src, srcw);19971998case SLJIT_REV_U32:1999case SLJIT_REV_S32:2000return emit_op(compiler, op | SLJIT_32, INT_DATA, dst, dstw, TMP_ZERO, 0, src, srcw);2001}20022003SLJIT_UNREACHABLE();2004return SLJIT_SUCCESS;2005}20062007SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2(struct sljit_compiler *compiler, sljit_s32 op,2008sljit_s32 dst, sljit_sw dstw,2009sljit_s32 src1, sljit_sw src1w,2010sljit_s32 src2, sljit_sw src2w)2011{2012sljit_s32 flags = 0;20132014CHECK_ERROR();2015CHECK(check_sljit_emit_op2(compiler, op, 0, dst, dstw, src1, src1w, src2, src2w));2016ADJUST_LOCAL_OFFSET(dst, dstw);2017ADJUST_LOCAL_OFFSET(src1, src1w);2018ADJUST_LOCAL_OFFSET(src2, src2w);20192020if (op & SLJIT_32) {2021flags |= INT_DATA | SIGNED_DATA;2022if (src1 == SLJIT_IMM)2023src1w = (sljit_s32)src1w;2024if (src2 == SLJIT_IMM)2025src2w = (sljit_s32)src2w;2026}202720282029switch (GET_OPCODE(op)) {2030case SLJIT_ADD:2031case SLJIT_ADDC:2032compiler->status_flags_state = SLJIT_CURRENT_FLAGS_ADD;2033return emit_op(compiler, op, flags | CUMULATIVE_OP | IMM_OP, dst, dstw, src1, src1w, src2, src2w);20342035case SLJIT_SUB:2036case SLJIT_SUBC:2037compiler->status_flags_state = SLJIT_CURRENT_FLAGS_SUB;2038return emit_op(compiler, op, flags | IMM_OP, dst, dstw, src1, src1w, src2, src2w);20392040case SLJIT_MUL:2041compiler->status_flags_state = 0;2042return emit_op(compiler, op, flags | CUMULATIVE_OP, dst, dstw, src1, src1w, src2, src2w);20432044case SLJIT_AND:2045case SLJIT_OR:2046case SLJIT_XOR:2047return emit_op(compiler, op, flags | CUMULATIVE_OP | IMM_OP, dst, dstw, src1, src1w, src2, src2w);20482049case SLJIT_SHL:2050case SLJIT_MSHL:2051case SLJIT_LSHR:2052case SLJIT_MLSHR:2053case SLJIT_ASHR:2054case SLJIT_MASHR:2055case SLJIT_ROTL:2056case SLJIT_ROTR:2057if (src2 == SLJIT_IMM) {2058if (op & SLJIT_32)2059src2w &= 0x1f;2060else2061src2w &= 0x3f;2062}20632064return emit_op(compiler, op, flags | IMM_OP, dst, dstw, src1, src1w, src2, src2w);2065}20662067SLJIT_UNREACHABLE();2068return SLJIT_SUCCESS;2069}20702071SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2u(struct sljit_compiler *compiler, sljit_s32 op,2072sljit_s32 src1, sljit_sw src1w,2073sljit_s32 src2, sljit_sw src2w)2074{2075CHECK_ERROR();2076CHECK(check_sljit_emit_op2(compiler, op, 1, 0, 0, src1, src1w, src2, src2w));20772078SLJIT_SKIP_CHECKS(compiler);2079return sljit_emit_op2(compiler, op, 0, 0, src1, src1w, src2, src2w);2080}20812082SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2r(struct sljit_compiler *compiler, sljit_s32 op,2083sljit_s32 dst_reg,2084sljit_s32 src1, sljit_sw src1w,2085sljit_s32 src2, sljit_sw src2w)2086{2087CHECK_ERROR();2088CHECK(check_sljit_emit_op2r(compiler, op, dst_reg, src1, src1w, src2, src2w));20892090switch (GET_OPCODE(op)) {2091case SLJIT_MULADD:2092SLJIT_SKIP_CHECKS(compiler);2093FAIL_IF(sljit_emit_op2(compiler, SLJIT_MUL | (op & SLJIT_32), TMP_REG2, 0, src1, src1w, src2, src2w));2094return push_inst(compiler, ADD_D | RD(dst_reg) | RJ(dst_reg) | RK(TMP_REG2));2095}20962097return SLJIT_SUCCESS;2098}20992100SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_shift_into(struct sljit_compiler *compiler, sljit_s32 op,2101sljit_s32 dst_reg,2102sljit_s32 src1_reg,2103sljit_s32 src2_reg,2104sljit_s32 src3, sljit_sw src3w)2105{2106sljit_s32 is_left;2107sljit_ins ins1, ins2, ins3;2108sljit_s32 inp_flags = ((op & SLJIT_32) ? INT_DATA : WORD_DATA) | LOAD_DATA;2109sljit_sw bit_length = (op & SLJIT_32) ? 32 : 64;211021112112CHECK_ERROR();2113CHECK(check_sljit_emit_shift_into(compiler, op, dst_reg, src1_reg, src2_reg, src3, src3w));21142115is_left = (GET_OPCODE(op) == SLJIT_SHL || GET_OPCODE(op) == SLJIT_MSHL);21162117if (src1_reg == src2_reg) {2118SLJIT_SKIP_CHECKS(compiler);2119return sljit_emit_op2(compiler, (is_left ? SLJIT_ROTL : SLJIT_ROTR) | (op & SLJIT_32), dst_reg, 0, src1_reg, 0, src3, src3w);2120}21212122ADJUST_LOCAL_OFFSET(src3, src3w);21232124if (src3 == SLJIT_IMM) {2125src3w &= bit_length - 1;21262127if (src3w == 0)2128return SLJIT_SUCCESS;21292130if (is_left) {2131ins1 = INST(SLLI, op) | IMM_I12(src3w);2132src3w = bit_length - src3w;2133ins2 = INST(SRLI, op) | IMM_I12(src3w);2134} else {2135ins1 = INST(SRLI, op) | IMM_I12(src3w);2136src3w = bit_length - src3w;2137ins2 = INST(SLLI, op) | IMM_I12(src3w);2138}21392140FAIL_IF(push_inst(compiler, ins1 | RD(dst_reg) | RJ(src1_reg)));2141FAIL_IF(push_inst(compiler, ins2 | RD(TMP_REG1) | RJ(src2_reg)));2142return push_inst(compiler, OR | RD(dst_reg) | RJ(dst_reg) | RK(TMP_REG1));2143}21442145if (src3 & SLJIT_MEM) {2146FAIL_IF(emit_op_mem(compiler, inp_flags, TMP_REG2, src3, src3w));2147src3 = TMP_REG2;2148} else if (dst_reg == src3) {2149push_inst(compiler, INST(ADDI, op) | RD(TMP_REG2) | RJ(src3) | IMM_I12(0));2150src3 = TMP_REG2;2151}21522153if (is_left) {2154ins1 = INST(SLL, op);2155ins2 = INST(SRLI, op);2156ins3 = INST(SRL, op);2157} else {2158ins1 = INST(SRL, op);2159ins2 = INST(SLLI, op);2160ins3 = INST(SLL, op);2161}21622163FAIL_IF(push_inst(compiler, ins1 | RD(dst_reg) | RJ(src1_reg) | RK(src3)));21642165if (!(op & SLJIT_SHIFT_INTO_NON_ZERO)) {2166FAIL_IF(push_inst(compiler, ins2 | RD(TMP_REG1) | RJ(src2_reg) | IMM_I12(1)));2167FAIL_IF(push_inst(compiler, XORI | RD(TMP_REG2) | RJ(src3) | IMM_I12((sljit_ins)bit_length - 1)));2168src2_reg = TMP_REG1;2169} else2170FAIL_IF(push_inst(compiler, INST(SUB, op) | RD(TMP_REG2) | RJ(TMP_ZERO) | RK(src3)));21712172FAIL_IF(push_inst(compiler, ins3 | RD(TMP_REG1) | RJ(src2_reg) | RK(TMP_REG2)));2173return push_inst(compiler, OR | RD(dst_reg) | RJ(dst_reg) | RK(TMP_REG1));2174}21752176SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op2_shift(struct sljit_compiler *compiler, sljit_s32 op,2177sljit_s32 dst, sljit_sw dstw,2178sljit_s32 src1, sljit_sw src1w,2179sljit_s32 src2, sljit_sw src2w,2180sljit_sw shift_arg)2181{2182sljit_s32 dst_r, tmp_r;21832184CHECK_ERROR();2185CHECK(check_sljit_emit_op2_shift(compiler, op, dst, dstw, src1, src1w, src2, src2w, shift_arg));2186ADJUST_LOCAL_OFFSET(dst, dstw);2187ADJUST_LOCAL_OFFSET(src1, src1w);2188ADJUST_LOCAL_OFFSET(src2, src2w);21892190shift_arg &= (sljit_sw)((sizeof(sljit_sw) * 8) - 1);21912192if (src2 == SLJIT_IMM) {2193src2w = src2w << shift_arg;2194shift_arg = 0;2195}21962197if (shift_arg == 0) {2198SLJIT_SKIP_CHECKS(compiler);2199return sljit_emit_op2(compiler, GET_OPCODE(op), dst, dstw, src1, src1w, src2, src2w);2200}22012202if (src2 & SLJIT_MEM) {2203FAIL_IF(emit_op_mem2(compiler, WORD_DATA | LOAD_DATA, TMP_REG2, src2, src2w, src1, src1w));2204src2 = TMP_REG2;2205}22062207if (src1 == SLJIT_IMM) {2208FAIL_IF(load_immediate(compiler, TMP_REG1, src1w));2209src1 = TMP_REG1;2210} else if (src1 & SLJIT_MEM) {2211FAIL_IF(emit_op_mem2(compiler, WORD_DATA | LOAD_DATA, TMP_REG1, src1, src1w, dst, dstw));2212src1 = TMP_REG1;2213}22142215dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;2216tmp_r = (src1 == TMP_REG1) ? TMP_REG2 : TMP_REG1;2217FAIL_IF(push_inst(compiler, SLLI_D | RD(tmp_r) | RJ(src2) | IMM_I12(shift_arg)));2218FAIL_IF(push_inst(compiler, ADD_D | RD(dst_r) | RJ(src1) | RK(tmp_r)));22192220if (dst & SLJIT_MEM)2221return emit_op_mem2(compiler, WORD_DATA, dst_r, dst, dstw, 0, 0);2222return SLJIT_SUCCESS;2223}22242225SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_src(struct sljit_compiler *compiler, sljit_s32 op,2226sljit_s32 src, sljit_sw srcw)2227{2228sljit_s32 base = src & REG_MASK;22292230CHECK_ERROR();2231CHECK(check_sljit_emit_op_src(compiler, op, src, srcw));2232ADJUST_LOCAL_OFFSET(src, srcw);22332234switch (op) {2235case SLJIT_FAST_RETURN:2236if (FAST_IS_REG(src)) {2237if (src != RETURN_ADDR_REG)2238FAIL_IF(push_inst(compiler, ADDI_D | RD(RETURN_ADDR_REG) | RJ(src) | IMM_I12(0)));2239} else2240FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, RETURN_ADDR_REG, src, srcw));22412242return push_inst(compiler, JIRL | RD(TMP_ZERO) | RJ(RETURN_ADDR_REG) | IMM_I12(0));2243case SLJIT_SKIP_FRAMES_BEFORE_FAST_RETURN:2244return SLJIT_SUCCESS;2245case SLJIT_PREFETCH_L1:2246case SLJIT_PREFETCH_L2:2247case SLJIT_PREFETCH_L3:2248case SLJIT_PREFETCH_ONCE:2249if (SLJIT_UNLIKELY(src & OFFS_REG_MASK)) {2250srcw &= 0x3;2251if (SLJIT_UNLIKELY(srcw))2252FAIL_IF(push_inst(compiler, SLLI_D | RD(TMP_REG1) | RJ(OFFS_REG(src)) | IMM_I12(srcw)));2253FAIL_IF(push_inst(compiler, ADD_D | RD(TMP_REG1) | RJ(base) | RK(TMP_REG1)));2254} else {2255if (base && srcw <= I12_MAX && srcw >= I12_MIN)2256return push_inst(compiler,PRELD | RJ(base) | IMM_I12(srcw));22572258FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2259if (base != 0)2260FAIL_IF(push_inst(compiler, ADD_D | RD(TMP_REG1) | RJ(base) | RK(TMP_REG1)));2261}2262return push_inst(compiler, PRELD | RD(0) | RJ(TMP_REG1));2263}2264return SLJIT_SUCCESS;2265}22662267SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_dst(struct sljit_compiler *compiler, sljit_s32 op,2268sljit_s32 dst, sljit_sw dstw)2269{2270sljit_s32 dst_r;22712272CHECK_ERROR();2273CHECK(check_sljit_emit_op_dst(compiler, op, dst, dstw));2274ADJUST_LOCAL_OFFSET(dst, dstw);22752276switch (op) {2277case SLJIT_FAST_ENTER:2278if (FAST_IS_REG(dst)) {2279if (dst == RETURN_ADDR_REG)2280return SLJIT_SUCCESS;2281return push_inst(compiler, ADDI_D | RD(dst) | RJ(RETURN_ADDR_REG) | IMM_I12(0));2282}22832284SLJIT_ASSERT(RETURN_ADDR_REG == TMP_REG2);2285break;2286case SLJIT_GET_RETURN_ADDRESS:2287dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;2288FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, dst_r, SLJIT_MEM1(SLJIT_SP), compiler->local_size - SSIZE_OF(sw)));2289break;2290}22912292if (dst & SLJIT_MEM)2293return emit_op_mem(compiler, WORD_DATA, TMP_REG2, dst, dstw);22942295return SLJIT_SUCCESS;2296}22972298SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_get_register_index(sljit_s32 type, sljit_s32 reg)2299{2300CHECK_REG_INDEX(check_sljit_get_register_index(type, reg));23012302if (type == SLJIT_GP_REGISTER)2303return reg_map[reg];23042305if (type != SLJIT_FLOAT_REGISTER && type != SLJIT_SIMD_REG_128 && type != SLJIT_SIMD_REG_256)2306return -1;23072308return freg_map[reg];2309}23102311SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_custom(struct sljit_compiler *compiler,2312void *instruction, sljit_u32 size)2313{2314SLJIT_UNUSED_ARG(size);2315CHECK_ERROR();2316CHECK(check_sljit_emit_op_custom(compiler, instruction, size));23172318return push_inst(compiler, *(sljit_ins*)instruction);2319}23202321/* --------------------------------------------------------------------- */2322/* Floating point operators */2323/* --------------------------------------------------------------------- */2324#define SET_COND(cond) (sljit_ins)(cond << 15)23252326#define COND_CUN SET_COND(0x8) /* UN */2327#define COND_CEQ SET_COND(0x4) /* EQ */2328#define COND_CUEQ SET_COND(0xc) /* UN EQ */2329#define COND_CLT SET_COND(0x2) /* LT */2330#define COND_CULT SET_COND(0xa) /* UN LT */2331#define COND_CLE SET_COND(0x6) /* LT EQ */2332#define COND_CULE SET_COND(0xe) /* UN LT EQ */2333#define COND_CNE SET_COND(0x10) /* GT LT */2334#define COND_CUNE SET_COND(0x18) /* UN GT LT */2335#define COND_COR SET_COND(0x14) /* GT LT EQ */23362337#define FINST(inst, type) (sljit_ins)((type & SLJIT_32) ? inst##_S : inst##_D)2338#define FCD(cd) (sljit_ins)(cd & 0x7)2339#define FCJ(cj) (sljit_ins)((cj & 0x7) << 5)2340#define FCA(ca) (sljit_ins)((ca & 0x7) << 15)2341#define F_OTHER_FLAG 123422343#define FLOAT_DATA(op) (DOUBLE_DATA | ((op & SLJIT_32) >> 7))23442345/* convert to inter exact toward zero */2346static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_sw_from_f64(struct sljit_compiler *compiler, sljit_s32 op,2347sljit_s32 dst, sljit_sw dstw,2348sljit_s32 src, sljit_sw srcw)2349{2350sljit_ins inst;2351sljit_u32 word_data = 0;2352sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;23532354switch (GET_OPCODE(op))2355{2356case SLJIT_CONV_SW_FROM_F64:2357word_data = 1;2358inst = FINST(FTINTRZ_L, op);2359break;2360case SLJIT_CONV_S32_FROM_F64:2361inst = FINST(FTINTRZ_W, op);2362break;2363default:2364inst = BREAK;2365SLJIT_UNREACHABLE();2366}23672368if (src & SLJIT_MEM) {2369FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src, srcw, dst, dstw));2370src = TMP_FREG1;2371}23722373FAIL_IF(push_inst(compiler, inst | FRD(TMP_FREG1) | FRJ(src)));2374FAIL_IF(push_inst(compiler, FINST(MOVFR2GR, word_data) | RD(dst_r) | FRJ(TMP_FREG1)));23752376if (dst & SLJIT_MEM)2377return emit_op_mem2(compiler, word_data ? WORD_DATA : INT_DATA, TMP_REG2, dst, dstw, 0, 0);2378return SLJIT_SUCCESS;2379}23802381static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_w(struct sljit_compiler *compiler, sljit_s32 op,2382sljit_s32 dst, sljit_sw dstw,2383sljit_s32 src, sljit_sw srcw)2384{2385sljit_ins inst;2386sljit_u32 word_data = 0;2387sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;23882389switch (GET_OPCODE(op))2390{2391case SLJIT_CONV_F64_FROM_SW:2392word_data = 1;2393inst = (sljit_ins)((op & SLJIT_32) ? FFINT_S_L : FFINT_D_L);2394break;2395case SLJIT_CONV_F64_FROM_S32:2396inst = (sljit_ins)((op & SLJIT_32) ? FFINT_S_W : FFINT_D_W);2397break;2398default:2399inst = BREAK;2400SLJIT_UNREACHABLE();2401}24022403if (src & SLJIT_MEM) {2404FAIL_IF(emit_op_mem2(compiler, (word_data ? WORD_DATA : INT_DATA) | LOAD_DATA, TMP_REG1, src, srcw, dst, dstw));2405src = TMP_REG1;2406} else if (src == SLJIT_IMM) {2407if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_S32)2408srcw = (sljit_s32)srcw;24092410FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2411src = TMP_REG1;2412}2413FAIL_IF(push_inst(compiler, (word_data ? MOVGR2FR_D : MOVGR2FR_W) | FRD(dst_r) | RJ(src)));2414FAIL_IF(push_inst(compiler, inst | FRD(dst_r) | FRJ(dst_r)));24152416if (dst & SLJIT_MEM)2417return emit_op_mem2(compiler, FLOAT_DATA(op), TMP_FREG1, dst, dstw, 0, 0);2418return SLJIT_SUCCESS;2419}24202421static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_sw(struct sljit_compiler *compiler, sljit_s32 op,2422sljit_s32 dst, sljit_sw dstw,2423sljit_s32 src, sljit_sw srcw)2424{2425return sljit_emit_fop1_conv_f64_from_w(compiler, op, dst, dstw, src, srcw);2426}24272428static SLJIT_INLINE sljit_s32 sljit_emit_fop1_conv_f64_from_uw(struct sljit_compiler *compiler, sljit_s32 op,2429sljit_s32 dst, sljit_sw dstw,2430sljit_s32 src, sljit_sw srcw)2431{2432sljit_ins inst;2433sljit_u32 word_data = 0;2434sljit_s32 dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;24352436switch (GET_OPCODE(op))2437{2438case SLJIT_CONV_F64_FROM_UW:2439word_data = 1;2440inst = (sljit_ins)((op & SLJIT_32) ? FFINT_S_L : FFINT_D_L);2441break;2442case SLJIT_CONV_F64_FROM_U32:2443inst = (sljit_ins)((op & SLJIT_32) ? FFINT_S_W : FFINT_D_W);2444break;2445default:2446inst = BREAK;2447SLJIT_UNREACHABLE();2448}24492450if (src & SLJIT_MEM) {2451FAIL_IF(emit_op_mem2(compiler, (word_data ? WORD_DATA : INT_DATA) | LOAD_DATA, TMP_REG1, src, srcw, dst, dstw));2452src = TMP_REG1;2453} else if (src == SLJIT_IMM) {2454if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_U32)2455srcw = (sljit_u32)srcw;24562457FAIL_IF(load_immediate(compiler, TMP_REG1, srcw));2458src = TMP_REG1;2459}24602461if (!word_data)2462FAIL_IF(push_inst(compiler, SRLI_W | RD(src) | RJ(src) | IMM_I12(0)));24632464FAIL_IF(push_inst(compiler, BLT | RJ(src) | RD(TMP_ZERO) | IMM_I16(4)));24652466FAIL_IF(push_inst(compiler, (word_data ? MOVGR2FR_D : MOVGR2FR_W) | FRD(dst_r) | RJ(src)));2467FAIL_IF(push_inst(compiler, inst | FRD(dst_r) | FRJ(dst_r)));2468FAIL_IF(push_inst(compiler, B | IMM_I26(7)));24692470FAIL_IF(push_inst(compiler, ANDI | RD(TMP_REG2) | RJ(src) | IMM_I12(1)));2471FAIL_IF(push_inst(compiler, (word_data ? SRLI_D : SRLI_W) | RD(TMP_REG1) | RJ(src) | IMM_I12(1)));2472FAIL_IF(push_inst(compiler, OR | RD(TMP_REG1) | RJ(TMP_REG1) | RK(TMP_REG2)));2473FAIL_IF(push_inst(compiler, INST(MOVGR2FR, (!word_data)) | FRD(dst_r) | RJ(TMP_REG1)));2474FAIL_IF(push_inst(compiler, inst | FRD(dst_r) | FRJ(dst_r)));2475FAIL_IF(push_inst(compiler, FINST(FADD, op) | FRD(dst_r) | FRJ(dst_r) | FRK(dst_r)));24762477if (dst & SLJIT_MEM)2478return emit_op_mem2(compiler, FLOAT_DATA(op), TMP_FREG1, dst, dstw, 0, 0);2479return SLJIT_SUCCESS;2480}24812482static SLJIT_INLINE sljit_s32 sljit_emit_fop1_cmp(struct sljit_compiler *compiler, sljit_s32 op,2483sljit_s32 src1, sljit_sw src1w,2484sljit_s32 src2, sljit_sw src2w)2485{2486if (src1 & SLJIT_MEM) {2487FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src1, src1w, src2, src2w));2488src1 = TMP_FREG1;2489}24902491if (src2 & SLJIT_MEM) {2492FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG2, src2, src2w, 0, 0));2493src2 = TMP_FREG2;2494}24952496FAIL_IF(push_inst(compiler, XOR | RD(OTHER_FLAG) | RJ(OTHER_FLAG) | RK(OTHER_FLAG)));24972498switch (GET_FLAG_TYPE(op)) {2499case SLJIT_F_EQUAL:2500case SLJIT_ORDERED_EQUAL:2501FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CEQ | FCD(F_OTHER_FLAG) | FRJ(src1) | FRK(src2)));2502break;2503case SLJIT_F_LESS:2504case SLJIT_ORDERED_LESS:2505FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CLT | FCD(F_OTHER_FLAG) | FRJ(src1) | FRK(src2)));2506break;2507case SLJIT_F_GREATER:2508case SLJIT_ORDERED_GREATER:2509FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CLT | FCD(F_OTHER_FLAG) | FRJ(src2) | FRK(src1)));2510break;2511case SLJIT_UNORDERED_OR_GREATER:2512FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CULT | FCD(F_OTHER_FLAG) | FRJ(src2) | FRK(src1)));2513break;2514case SLJIT_UNORDERED_OR_LESS:2515FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CULT | FCD(F_OTHER_FLAG) | FRJ(src1) | FRK(src2)));2516break;2517case SLJIT_UNORDERED_OR_EQUAL:2518FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CUEQ | FCD(F_OTHER_FLAG) | FRJ(src1) | FRK(src2)));2519break;2520default: /* SLJIT_UNORDERED */2521FAIL_IF(push_inst(compiler, FINST(FCMP_COND, op) | COND_CUN | FCD(F_OTHER_FLAG) | FRJ(src1) | FRK(src2)));2522}2523return push_inst(compiler, MOVCF2GR | RD(OTHER_FLAG) | FCJ(F_OTHER_FLAG));2524}25252526SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop1(struct sljit_compiler *compiler, sljit_s32 op,2527sljit_s32 dst, sljit_sw dstw,2528sljit_s32 src, sljit_sw srcw)2529{2530sljit_s32 dst_r;25312532CHECK_ERROR();2533compiler->cache_arg = 0;2534compiler->cache_argw = 0;25352536SLJIT_COMPILE_ASSERT((SLJIT_32 == 0x100) && !(DOUBLE_DATA & 0x2), float_transfer_bit_error);2537SELECT_FOP1_OPERATION_WITH_CHECKS(compiler, op, dst, dstw, src, srcw);25382539if (GET_OPCODE(op) == SLJIT_CONV_F64_FROM_F32)2540op ^= SLJIT_32;25412542dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG1;25432544if (src & SLJIT_MEM) {2545FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, dst_r, src, srcw, dst, dstw));2546src = dst_r;2547}25482549switch (GET_OPCODE(op)) {2550case SLJIT_MOV_F64:2551if (src != dst_r) {2552if (!(dst & SLJIT_MEM))2553FAIL_IF(push_inst(compiler, FINST(FMOV, op) | FRD(dst_r) | FRJ(src)));2554else2555dst_r = src;2556}2557break;2558case SLJIT_NEG_F64:2559FAIL_IF(push_inst(compiler, FINST(FNEG, op) | FRD(dst_r) | FRJ(src)));2560break;2561case SLJIT_ABS_F64:2562FAIL_IF(push_inst(compiler, FINST(FABS, op) | FRD(dst_r) | FRJ(src)));2563break;2564case SLJIT_CONV_F64_FROM_F32:2565/* The SLJIT_32 bit is inverted because sljit_f32 needs to be loaded from the memory. */2566FAIL_IF(push_inst(compiler, ((op & SLJIT_32) ? FCVT_D_S : FCVT_S_D) | FRD(dst_r) | FRJ(src)));2567op ^= SLJIT_32;2568break;2569}25702571if (dst & SLJIT_MEM)2572return emit_op_mem2(compiler, FLOAT_DATA(op), dst_r, dst, dstw, 0, 0);2573return SLJIT_SUCCESS;2574}25752576SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2(struct sljit_compiler *compiler, sljit_s32 op,2577sljit_s32 dst, sljit_sw dstw,2578sljit_s32 src1, sljit_sw src1w,2579sljit_s32 src2, sljit_sw src2w)2580{2581sljit_s32 dst_r, flags = 0;25822583CHECK_ERROR();2584CHECK(check_sljit_emit_fop2(compiler, op, dst, dstw, src1, src1w, src2, src2w));2585ADJUST_LOCAL_OFFSET(dst, dstw);2586ADJUST_LOCAL_OFFSET(src1, src1w);2587ADJUST_LOCAL_OFFSET(src2, src2w);25882589compiler->cache_arg = 0;2590compiler->cache_argw = 0;25912592dst_r = FAST_IS_REG(dst) ? dst : TMP_FREG2;25932594if (src1 & SLJIT_MEM) {2595if (getput_arg_fast(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src1, src1w)) {2596FAIL_IF(compiler->error);2597src1 = TMP_FREG1;2598} else2599flags |= SLOW_SRC1;2600}26012602if (src2 & SLJIT_MEM) {2603if (getput_arg_fast(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG2, src2, src2w)) {2604FAIL_IF(compiler->error);2605src2 = TMP_FREG2;2606} else2607flags |= SLOW_SRC2;2608}26092610if ((flags & (SLOW_SRC1 | SLOW_SRC2)) == (SLOW_SRC1 | SLOW_SRC2)) {2611if ((dst & SLJIT_MEM) && !can_cache(src1, src1w, src2, src2w) && can_cache(src1, src1w, dst, dstw)) {2612FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG2, src2, src2w, src1, src1w));2613FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src1, src1w, dst, dstw));2614} else {2615FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src1, src1w, src2, src2w));2616FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG2, src2, src2w, dst, dstw));2617}2618}2619else if (flags & SLOW_SRC1)2620FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src1, src1w, dst, dstw));2621else if (flags & SLOW_SRC2)2622FAIL_IF(getput_arg(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG2, src2, src2w, dst, dstw));26232624if (flags & SLOW_SRC1)2625src1 = TMP_FREG1;2626if (flags & SLOW_SRC2)2627src2 = TMP_FREG2;26282629switch (GET_OPCODE(op)) {2630case SLJIT_ADD_F64:2631FAIL_IF(push_inst(compiler, FINST(FADD, op) | FRD(dst_r) | FRJ(src1) | FRK(src2)));2632break;2633case SLJIT_SUB_F64:2634FAIL_IF(push_inst(compiler, FINST(FSUB, op) | FRD(dst_r) | FRJ(src1) | FRK(src2)));2635break;2636case SLJIT_MUL_F64:2637FAIL_IF(push_inst(compiler, FINST(FMUL, op) | FRD(dst_r) | FRJ(src1) | FRK(src2)));2638break;2639case SLJIT_DIV_F64:2640FAIL_IF(push_inst(compiler, FINST(FDIV, op) | FRD(dst_r) | FRJ(src1) | FRK(src2)));2641break;2642}26432644if (dst_r != dst)2645FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op), TMP_FREG2, dst, dstw, 0, 0));2646return SLJIT_SUCCESS;2647}26482649SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fop2r(struct sljit_compiler *compiler, sljit_s32 op,2650sljit_s32 dst_freg,2651sljit_s32 src1, sljit_sw src1w,2652sljit_s32 src2, sljit_sw src2w)2653{2654sljit_s32 reg;26552656CHECK_ERROR();2657CHECK(check_sljit_emit_fop2r(compiler, op, dst_freg, src1, src1w, src2, src2w));2658ADJUST_LOCAL_OFFSET(src1, src1w);2659ADJUST_LOCAL_OFFSET(src2, src2w);26602661if (src2 & SLJIT_MEM) {2662FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, TMP_FREG1, src2, src2w, 0, 0));2663src2 = TMP_FREG1;2664}26652666if (src1 & SLJIT_MEM) {2667reg = (dst_freg == src2) ? TMP_FREG1 : dst_freg;2668FAIL_IF(emit_op_mem2(compiler, FLOAT_DATA(op) | LOAD_DATA, reg, src1, src1w, 0, 0));2669src1 = reg;2670}26712672return push_inst(compiler, FINST(FCOPYSIGN, op) | FRD(dst_freg) | FRJ(src1) | FRK(src2));2673}26742675SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset32(struct sljit_compiler *compiler,2676sljit_s32 freg, sljit_f32 value)2677{2678union {2679sljit_s32 imm;2680sljit_f32 value;2681} u;26822683CHECK_ERROR();2684CHECK(check_sljit_emit_fset32(compiler, freg, value));26852686u.value = value;26872688if (u.imm == 0)2689return push_inst(compiler, MOVGR2FR_W | RJ(TMP_ZERO) | FRD(freg));26902691FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm));2692return push_inst(compiler, MOVGR2FR_W | RJ(TMP_REG1) | FRD(freg));2693}26942695SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fset64(struct sljit_compiler *compiler,2696sljit_s32 freg, sljit_f64 value)2697{2698union {2699sljit_sw imm;2700sljit_f64 value;2701} u;27022703CHECK_ERROR();2704CHECK(check_sljit_emit_fset64(compiler, freg, value));27052706u.value = value;27072708if (u.imm == 0)2709return push_inst(compiler, MOVGR2FR_D | RJ(TMP_ZERO) | FRD(freg));27102711FAIL_IF(load_immediate(compiler, TMP_REG1, u.imm));2712return push_inst(compiler, MOVGR2FR_D | RJ(TMP_REG1) | FRD(freg));2713}27142715SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fcopy(struct sljit_compiler *compiler, sljit_s32 op,2716sljit_s32 freg, sljit_s32 reg)2717{2718sljit_ins inst;27192720CHECK_ERROR();2721CHECK(check_sljit_emit_fcopy(compiler, op, freg, reg));27222723if (GET_OPCODE(op) == SLJIT_COPY_TO_F64)2724inst = ((op & SLJIT_32) ? MOVGR2FR_W : MOVGR2FR_D) | FRD(freg) | RJ(reg);2725else2726inst = ((op & SLJIT_32) ? MOVFR2GR_S : MOVFR2GR_D) | RD(reg) | FRJ(freg);2727return push_inst(compiler, inst);2728}27292730/* --------------------------------------------------------------------- */2731/* Conditional instructions */2732/* --------------------------------------------------------------------- */27332734SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_label(struct sljit_compiler *compiler)2735{2736struct sljit_label *label;27372738CHECK_ERROR_PTR();2739CHECK_PTR(check_sljit_emit_label(compiler));27402741if (compiler->last_label && compiler->last_label->size == compiler->size)2742return compiler->last_label;27432744label = (struct sljit_label*)ensure_abuf(compiler, sizeof(struct sljit_label));2745PTR_FAIL_IF(!label);2746set_label(label, compiler);2747return label;2748}27492750SLJIT_API_FUNC_ATTRIBUTE struct sljit_label* sljit_emit_aligned_label(struct sljit_compiler *compiler,2751sljit_s32 alignment, struct sljit_read_only_buffer *buffers)2752{2753sljit_uw mask, i;2754struct sljit_label *label;2755struct sljit_label *next_label;2756struct sljit_extended_label *ext_label;27572758CHECK_ERROR_PTR();2759CHECK_PTR(check_sljit_emit_aligned_label(compiler, alignment, buffers));27602761sljit_reset_read_only_buffers(buffers);27622763if (alignment <= SLJIT_LABEL_ALIGN_4) {2764SLJIT_SKIP_CHECKS(compiler);2765label = sljit_emit_label(compiler);2766PTR_FAIL_IF(!label);2767} else {2768/* The used space is filled with NOPs. */2769mask = ((sljit_uw)1 << alignment) - sizeof(sljit_ins);27702771for (i = (mask >> 2); i != 0; i--)2772PTR_FAIL_IF(push_inst(compiler, NOP));27732774ext_label = (struct sljit_extended_label*)ensure_abuf(compiler, sizeof(struct sljit_extended_label));2775PTR_FAIL_IF(!ext_label);2776set_extended_label(ext_label, compiler, SLJIT_LABEL_ALIGNED, mask);2777label = &ext_label->label;2778}27792780if (buffers == NULL)2781return label;27822783next_label = label;27842785while (1) {2786buffers->u.label = next_label;27872788for (i = (buffers->size + 3) >> 2; i > 0; i--)2789PTR_FAIL_IF(push_inst(compiler, NOP));27902791buffers = buffers->next;27922793if (buffers == NULL)2794break;27952796SLJIT_SKIP_CHECKS(compiler);2797next_label = sljit_emit_label(compiler);2798PTR_FAIL_IF(!next_label);2799}28002801return label;2802}28032804static sljit_ins get_jump_instruction(sljit_s32 type)2805{2806switch (type) {2807case SLJIT_EQUAL:2808return BNE | RJ(EQUAL_FLAG) | RD(TMP_ZERO);2809case SLJIT_NOT_EQUAL:2810return BEQ | RJ(EQUAL_FLAG) | RD(TMP_ZERO);2811case SLJIT_LESS:2812case SLJIT_GREATER:2813case SLJIT_SIG_LESS:2814case SLJIT_SIG_GREATER:2815case SLJIT_OVERFLOW:2816case SLJIT_CARRY:2817case SLJIT_ATOMIC_STORED:2818return BEQ | RJ(OTHER_FLAG) | RD(TMP_ZERO);2819case SLJIT_GREATER_EQUAL:2820case SLJIT_LESS_EQUAL:2821case SLJIT_SIG_GREATER_EQUAL:2822case SLJIT_SIG_LESS_EQUAL:2823case SLJIT_NOT_OVERFLOW:2824case SLJIT_NOT_CARRY:2825case SLJIT_ATOMIC_NOT_STORED:2826return BNE | RJ(OTHER_FLAG) | RD(TMP_ZERO);2827case SLJIT_F_EQUAL:2828case SLJIT_ORDERED_EQUAL:2829case SLJIT_F_LESS:2830case SLJIT_ORDERED_LESS:2831case SLJIT_ORDERED_GREATER:2832case SLJIT_UNORDERED_OR_GREATER:2833case SLJIT_F_GREATER:2834case SLJIT_UNORDERED_OR_LESS:2835case SLJIT_UNORDERED_OR_EQUAL:2836case SLJIT_UNORDERED:2837return BEQ | RJ(OTHER_FLAG) | RD(TMP_ZERO);2838case SLJIT_ORDERED_NOT_EQUAL:2839case SLJIT_ORDERED_LESS_EQUAL:2840case SLJIT_ORDERED_GREATER_EQUAL:2841case SLJIT_F_NOT_EQUAL:2842case SLJIT_UNORDERED_OR_NOT_EQUAL:2843case SLJIT_UNORDERED_OR_GREATER_EQUAL:2844case SLJIT_UNORDERED_OR_LESS_EQUAL:2845case SLJIT_F_LESS_EQUAL:2846case SLJIT_F_GREATER_EQUAL:2847case SLJIT_ORDERED:2848return BNE | RJ(OTHER_FLAG) | RD(TMP_ZERO);2849default:2850/* Not conditional branch. */2851return 0;2852}2853}28542855SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_jump(struct sljit_compiler *compiler, sljit_s32 type)2856{2857struct sljit_jump *jump;2858sljit_ins inst;28592860CHECK_ERROR_PTR();2861CHECK_PTR(check_sljit_emit_jump(compiler, type));28622863jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2864PTR_FAIL_IF(!jump);2865set_jump(jump, compiler, type & SLJIT_REWRITABLE_JUMP);2866type &= 0xff;28672868inst = get_jump_instruction(type);28692870if (inst != 0) {2871PTR_FAIL_IF(push_inst(compiler, inst));2872jump->flags |= IS_COND;2873}28742875jump->addr = compiler->size;2876inst = JIRL | RJ(TMP_REG1) | IMM_I16(0);28772878if (type >= SLJIT_FAST_CALL) {2879jump->flags |= IS_CALL;2880inst |= RD(RETURN_ADDR_REG);2881}28822883PTR_FAIL_IF(push_inst(compiler, inst));28842885/* Maximum number of instructions required for generating a constant. */2886compiler->size += JUMP_MAX_SIZE - 1;2887return jump;2888}28892890SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_call(struct sljit_compiler *compiler, sljit_s32 type,2891sljit_s32 arg_types)2892{2893SLJIT_UNUSED_ARG(arg_types);2894CHECK_ERROR_PTR();2895CHECK_PTR(check_sljit_emit_call(compiler, type, arg_types));28962897if (type & SLJIT_CALL_RETURN) {2898PTR_FAIL_IF(emit_stack_frame_release(compiler, 0));2899type = SLJIT_JUMP | (type & SLJIT_REWRITABLE_JUMP);2900}29012902SLJIT_SKIP_CHECKS(compiler);2903return sljit_emit_jump(compiler, type);2904}29052906SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_cmp(struct sljit_compiler *compiler, sljit_s32 type,2907sljit_s32 src1, sljit_sw src1w,2908sljit_s32 src2, sljit_sw src2w)2909{2910struct sljit_jump *jump;2911sljit_s32 flags;2912sljit_ins inst;2913sljit_s32 src2_tmp_reg = FAST_IS_REG(src1) ? TMP_REG1 : TMP_REG2;29142915CHECK_ERROR_PTR();2916CHECK_PTR(check_sljit_emit_cmp(compiler, type, src1, src1w, src2, src2w));2917ADJUST_LOCAL_OFFSET(src1, src1w);2918ADJUST_LOCAL_OFFSET(src2, src2w);29192920compiler->cache_arg = 0;2921compiler->cache_argw = 0;29222923flags = ((type & SLJIT_32) ? INT_DATA : WORD_DATA) | LOAD_DATA;29242925if (src1 & SLJIT_MEM) {2926PTR_FAIL_IF(emit_op_mem2(compiler, flags, TMP_REG1, src1, src1w, src2, src2w));2927src1 = TMP_REG1;2928}29292930if (src2 & SLJIT_MEM) {2931PTR_FAIL_IF(emit_op_mem2(compiler, flags, src2_tmp_reg, src2, src2w, 0, 0));2932src2 = src2_tmp_reg;2933}29342935if (src1 == SLJIT_IMM) {2936if (src1w != 0) {2937PTR_FAIL_IF(load_immediate(compiler, TMP_REG1, src1w));2938src1 = TMP_REG1;2939}2940else2941src1 = TMP_ZERO;2942}29432944if (src2 == SLJIT_IMM) {2945if (src2w != 0) {2946PTR_FAIL_IF(load_immediate(compiler, src2_tmp_reg, src2w));2947src2 = src2_tmp_reg;2948}2949else2950src2 = TMP_ZERO;2951}29522953jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));2954PTR_FAIL_IF(!jump);2955set_jump(jump, compiler, (sljit_u32)((type & SLJIT_REWRITABLE_JUMP) | IS_COND));2956type &= 0xff;29572958switch (type) {2959case SLJIT_EQUAL:2960inst = BNE | RJ(src1) | RD(src2);2961break;2962case SLJIT_NOT_EQUAL:2963inst = BEQ | RJ(src1) | RD(src2);2964break;2965case SLJIT_LESS:2966inst = BGEU | RJ(src1) | RD(src2);2967break;2968case SLJIT_GREATER_EQUAL:2969inst = BLTU | RJ(src1) | RD(src2);2970break;2971case SLJIT_GREATER:2972inst = BGEU | RJ(src2) | RD(src1);2973break;2974case SLJIT_LESS_EQUAL:2975inst = BLTU | RJ(src2) | RD(src1);2976break;2977case SLJIT_SIG_LESS:2978inst = BGE | RJ(src1) | RD(src2);2979break;2980case SLJIT_SIG_GREATER_EQUAL:2981inst = BLT | RJ(src1) | RD(src2);2982break;2983case SLJIT_SIG_GREATER:2984inst = BGE | RJ(src2) | RD(src1);2985break;2986case SLJIT_SIG_LESS_EQUAL:2987inst = BLT | RJ(src2) | RD(src1);2988break;2989default:2990inst = BREAK;2991SLJIT_UNREACHABLE();2992}29932994PTR_FAIL_IF(push_inst(compiler, inst));29952996jump->addr = compiler->size;2997PTR_FAIL_IF(push_inst(compiler, JIRL | RD(TMP_ZERO) | RJ(TMP_REG1) | IMM_I12(0)));29982999/* Maximum number of instructions required for generating a constant. */3000compiler->size += JUMP_MAX_SIZE - 1;30013002return jump;3003}30043005SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_ijump(struct sljit_compiler *compiler, sljit_s32 type, sljit_s32 src, sljit_sw srcw)3006{3007struct sljit_jump *jump;30083009CHECK_ERROR();3010CHECK(check_sljit_emit_ijump(compiler, type, src, srcw));30113012if (src != SLJIT_IMM) {3013if (src & SLJIT_MEM) {3014ADJUST_LOCAL_OFFSET(src, srcw);3015FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, TMP_REG1, src, srcw));3016src = TMP_REG1;3017}3018return push_inst(compiler, JIRL | RD((type >= SLJIT_FAST_CALL) ? RETURN_ADDR_REG : TMP_ZERO) | RJ(src) | IMM_I12(0));3019}30203021/* These jumps are converted to jump/call instructions when possible. */3022jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));3023FAIL_IF(!jump);3024set_jump(jump, compiler, JUMP_ADDR | ((type >= SLJIT_FAST_CALL) ? IS_CALL : 0));3025jump->u.target = (sljit_uw)srcw;30263027jump->addr = compiler->size;3028FAIL_IF(push_inst(compiler, JIRL | RD((type >= SLJIT_FAST_CALL) ? RETURN_ADDR_REG : TMP_ZERO) | RJ(TMP_REG1) | IMM_I12(0)));30293030/* Maximum number of instructions required for generating a constant. */3031compiler->size += JUMP_MAX_SIZE - 1;30323033return SLJIT_SUCCESS;3034}30353036SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_icall(struct sljit_compiler *compiler, sljit_s32 type,3037sljit_s32 arg_types,3038sljit_s32 src, sljit_sw srcw)3039{3040SLJIT_UNUSED_ARG(arg_types);3041CHECK_ERROR();3042CHECK(check_sljit_emit_icall(compiler, type, arg_types, src, srcw));30433044if (src & SLJIT_MEM) {3045ADJUST_LOCAL_OFFSET(src, srcw);3046FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, TMP_REG1, src, srcw));3047src = TMP_REG1;3048}30493050if (type & SLJIT_CALL_RETURN) {3051if (src >= SLJIT_FIRST_SAVED_REG && src <= (SLJIT_S0 - SLJIT_KEPT_SAVEDS_COUNT(compiler->options))) {3052FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(src) | IMM_I12(0)));3053src = TMP_REG1;3054}30553056FAIL_IF(emit_stack_frame_release(compiler, 0));3057type = SLJIT_JUMP;3058}30593060SLJIT_SKIP_CHECKS(compiler);3061return sljit_emit_ijump(compiler, type, src, srcw);3062}30633064SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_op_flags(struct sljit_compiler *compiler, sljit_s32 op,3065sljit_s32 dst, sljit_sw dstw,3066sljit_s32 type)3067{3068sljit_s32 src_r, dst_r, invert;3069sljit_s32 saved_op = op;3070sljit_s32 mem_type = ((op & SLJIT_32) || op == SLJIT_MOV32) ? (INT_DATA | SIGNED_DATA) : WORD_DATA;30713072CHECK_ERROR();3073CHECK(check_sljit_emit_op_flags(compiler, op, dst, dstw, type));3074ADJUST_LOCAL_OFFSET(dst, dstw);30753076op = GET_OPCODE(op);3077dst_r = (op < SLJIT_ADD && FAST_IS_REG(dst)) ? dst : TMP_REG2;30783079compiler->cache_arg = 0;3080compiler->cache_argw = 0;30813082if (op >= SLJIT_ADD && (dst & SLJIT_MEM))3083FAIL_IF(emit_op_mem2(compiler, mem_type | LOAD_DATA, TMP_REG1, dst, dstw, dst, dstw));30843085if (type < SLJIT_F_EQUAL) {3086src_r = OTHER_FLAG;3087invert = type & 0x1;30883089switch (type) {3090case SLJIT_EQUAL:3091case SLJIT_NOT_EQUAL:3092FAIL_IF(push_inst(compiler, SLTUI | RD(dst_r) | RJ(EQUAL_FLAG) | IMM_I12(1)));3093src_r = dst_r;3094break;3095case SLJIT_ATOMIC_STORED:3096case SLJIT_ATOMIC_NOT_STORED:3097FAIL_IF(push_inst(compiler, SLTUI | RD(dst_r) | RJ(OTHER_FLAG) | IMM_I12(1)));3098src_r = dst_r;3099invert ^= 0x1;3100break;3101case SLJIT_OVERFLOW:3102case SLJIT_NOT_OVERFLOW:3103if (compiler->status_flags_state & (SLJIT_CURRENT_FLAGS_ADD | SLJIT_CURRENT_FLAGS_SUB)) {3104src_r = OTHER_FLAG;3105break;3106}3107FAIL_IF(push_inst(compiler, SLTUI | RD(dst_r) | RJ(OTHER_FLAG) | IMM_I12(1)));3108src_r = dst_r;3109invert ^= 0x1;3110break;3111}3112} else {3113invert = 0;3114src_r = OTHER_FLAG;31153116switch (type) {3117case SLJIT_ORDERED_NOT_EQUAL:3118case SLJIT_ORDERED_LESS_EQUAL:3119case SLJIT_ORDERED_GREATER_EQUAL:3120case SLJIT_F_NOT_EQUAL:3121case SLJIT_UNORDERED_OR_NOT_EQUAL:3122case SLJIT_UNORDERED_OR_GREATER_EQUAL:3123case SLJIT_UNORDERED_OR_LESS_EQUAL:3124case SLJIT_F_LESS_EQUAL:3125case SLJIT_F_GREATER_EQUAL:3126case SLJIT_ORDERED:3127invert = 1;3128break;3129}3130}31313132if (invert) {3133FAIL_IF(push_inst(compiler, XORI | RD(dst_r) | RJ(src_r) | IMM_I12(1)));3134src_r = dst_r;3135}31363137if (op < SLJIT_ADD) {3138if (dst & SLJIT_MEM)3139return emit_op_mem(compiler, mem_type, src_r, dst, dstw);31403141if (src_r != dst_r)3142return push_inst(compiler, ADDI_D | RD(dst_r) | RJ(src_r) | IMM_I12(0));3143return SLJIT_SUCCESS;3144}31453146mem_type |= CUMULATIVE_OP | IMM_OP | ALT_KEEP_CACHE;31473148if (dst & SLJIT_MEM)3149return emit_op(compiler, saved_op, mem_type, dst, dstw, TMP_REG1, 0, src_r, 0);3150return emit_op(compiler, saved_op, mem_type, dst, dstw, dst, dstw, src_r, 0);3151}31523153SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_select(struct sljit_compiler *compiler, sljit_s32 type,3154sljit_s32 dst_reg,3155sljit_s32 src1, sljit_sw src1w,3156sljit_s32 src2_reg)3157{3158sljit_ins *ptr;3159sljit_uw size;3160sljit_s32 is_compare = (type & SLJIT_COMPARE_SELECT);3161sljit_s32 inp_flags = ((type & SLJIT_32) ? INT_DATA : WORD_DATA) | LOAD_DATA;31623163CHECK_ERROR();3164CHECK(check_sljit_emit_select(compiler, type, dst_reg, src1, src1w, src2_reg));3165ADJUST_LOCAL_OFFSET(src1, src1w);31663167if (src1 == SLJIT_IMM && type & SLJIT_32)3168src1w = (sljit_s32)src1w;31693170type &= ~(SLJIT_32 | SLJIT_COMPARE_SELECT);31713172if (dst_reg != src2_reg) {3173if (dst_reg == src1) {3174src1 = src2_reg;3175src1w = 0;3176if (!is_compare)3177type ^= 0x1;3178} else {3179if (ADDRESSING_DEPENDS_ON(src1, dst_reg)) {3180SLJIT_ASSERT(!(type & SLJIT_COMPARE_SELECT));3181FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG1) | RJ(dst_reg) | IMM_I12(0)));31823183if ((src1 & REG_MASK) == dst_reg)3184src1 = (src1 & ~REG_MASK) | TMP_REG1;31853186if (OFFS_REG(src1) == dst_reg)3187src1 = (src1 & ~OFFS_REG_MASK) | TO_OFFS_REG(TMP_REG1);3188}31893190FAIL_IF(push_inst(compiler, ADDI_D | RD(dst_reg) | RJ(src2_reg) | IMM_I12(0)));3191}3192}31933194if (is_compare) {3195if (src1 & SLJIT_MEM) {3196FAIL_IF(emit_op_mem(compiler, inp_flags, TMP_REG3, src1, src1w));3197} else if (src1 == SLJIT_IMM) {3198FAIL_IF(load_immediate(compiler, TMP_REG3, src1w));3199} else3200FAIL_IF(push_inst(compiler, ADDI_D | RD(TMP_REG3) | RJ(src1) | IMM_I12(0)));3201}32023203size = compiler->size;32043205ptr = (sljit_ins*)ensure_buf(compiler, sizeof(sljit_ins));3206FAIL_IF(!ptr);3207compiler->size++;32083209if (src1 & SLJIT_MEM) {3210FAIL_IF(emit_op_mem(compiler, inp_flags, dst_reg, src1, src1w));3211} else if (src1 == SLJIT_IMM) {3212FAIL_IF(load_immediate(compiler, dst_reg, src1w));3213} else3214FAIL_IF(push_inst(compiler, ADDI_D | RD(dst_reg) | RJ(src1) | IMM_I12(0)));32153216if (is_compare) {3217switch (type) {3218case SLJIT_LESS:3219case SLJIT_LESS_EQUAL:3220*ptr = BGEU;3221break;3222case SLJIT_GREATER:3223case SLJIT_GREATER_EQUAL:3224*ptr = BLTU;3225break;3226case SLJIT_SIG_LESS:3227case SLJIT_SIG_LESS_EQUAL:3228*ptr = BGE;3229break;3230default:3231*ptr = BLT;3232break;3233}32343235*ptr |= RJ(TMP_REG3) | RD(dst_reg);3236} else {3237*ptr = get_jump_instruction(type);3238}32393240*ptr |= IMM_I16(compiler->size - size);3241return SLJIT_SUCCESS;3242}32433244SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fselect(struct sljit_compiler *compiler, sljit_s32 type,3245sljit_s32 dst_freg,3246sljit_s32 src1, sljit_sw src1w,3247sljit_s32 src2_freg)3248{3249sljit_s32 invert = 0;32503251CHECK_ERROR();3252CHECK(check_sljit_emit_fselect(compiler, type, dst_freg, src1, src1w, src2_freg));32533254ADJUST_LOCAL_OFFSET(src1, src1w);32553256if ((type & ~SLJIT_32) == SLJIT_EQUAL || (type & ~SLJIT_32) == SLJIT_NOT_EQUAL) {3257if ((type & ~SLJIT_32) == SLJIT_EQUAL)3258invert = 1;3259FAIL_IF(push_inst(compiler, MOVGR2CF | FCD(F_OTHER_FLAG) | RJ(EQUAL_FLAG)));3260} else {3261if (get_jump_instruction(type & ~SLJIT_32) == (BNE | RJ(OTHER_FLAG) | RD(TMP_ZERO)))3262invert = 1;3263FAIL_IF(push_inst(compiler, MOVGR2CF | FCD(F_OTHER_FLAG) | RJ(OTHER_FLAG)));3264}32653266if (src1 & SLJIT_MEM) {3267FAIL_IF(emit_op_mem(compiler, FLOAT_DATA(type) | LOAD_DATA, TMP_FREG2, src1, src1w));3268if (invert)3269return push_inst(compiler, FSEL | FRD(dst_freg) | FRJ(TMP_FREG2) | FRK(src2_freg) | FCA(F_OTHER_FLAG));3270return push_inst(compiler, FSEL | FRD(dst_freg) | FRJ(src2_freg) | FRK(TMP_FREG2) | FCA(F_OTHER_FLAG));3271} else {3272if (invert)3273return push_inst(compiler, FSEL | FRD(dst_freg) | FRJ(src1) | FRK(src2_freg) | FCA(F_OTHER_FLAG));3274return push_inst(compiler, FSEL | FRD(dst_freg) | FRJ(src2_freg) | FRK(src1) | FCA(F_OTHER_FLAG));3275}3276}32773278#undef FLOAT_DATA32793280SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_mem(struct sljit_compiler *compiler, sljit_s32 type,3281sljit_s32 reg,3282sljit_s32 mem, sljit_sw memw)3283{3284sljit_s32 flags;32853286CHECK_ERROR();3287CHECK(check_sljit_emit_mem(compiler, type, reg, mem, memw));32883289if (!(reg & REG_PAIR_MASK))3290return sljit_emit_mem_unaligned(compiler, type, reg, mem, memw);32913292if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3293memw &= 0x3;32943295if (SLJIT_UNLIKELY(memw != 0)) {3296FAIL_IF(push_inst(compiler, SLLI_D | RD(TMP_REG1) | RJ(OFFS_REG(mem)) | IMM_I12(memw)));3297FAIL_IF(push_inst(compiler, ADD_D| RD(TMP_REG1) | RJ(TMP_REG1) | RK(mem & REG_MASK)));3298} else3299FAIL_IF(push_inst(compiler, ADD_D| RD(TMP_REG1) | RJ(mem & REG_MASK) | RK(OFFS_REG(mem))));33003301mem = TMP_REG1;3302memw = 0;3303} else if (memw > I12_MAX - SSIZE_OF(sw) || memw < I12_MIN) {3304if (((memw + 0x800) & 0xfff) <= 0xfff - SSIZE_OF(sw)) {3305FAIL_IF(load_immediate(compiler, TMP_REG1, TO_ARGW_HI(memw)));3306memw &= 0xfff;3307} else {3308FAIL_IF(load_immediate(compiler, TMP_REG1, memw));3309memw = 0;3310}33113312if (mem & REG_MASK)3313FAIL_IF(push_inst(compiler, ADD_D| RD(TMP_REG1) | RJ(TMP_REG1) | RK(mem & REG_MASK)));33143315mem = TMP_REG1;3316} else {3317mem &= REG_MASK;3318memw &= 0xfff;3319}33203321SLJIT_ASSERT((memw >= 0 && memw <= I12_MAX - SSIZE_OF(sw)) || (memw > I12_MAX && memw <= 0xfff));33223323if (!(type & SLJIT_MEM_STORE) && mem == REG_PAIR_FIRST(reg)) {3324FAIL_IF(push_mem_inst(compiler, WORD_DATA | LOAD_DATA, REG_PAIR_SECOND(reg), SLJIT_MEM1(mem), (memw + SSIZE_OF(sw)) & 0xfff));3325return push_mem_inst(compiler, WORD_DATA | LOAD_DATA, REG_PAIR_FIRST(reg), SLJIT_MEM1(mem), memw);3326}33273328flags = WORD_DATA | (!(type & SLJIT_MEM_STORE) ? LOAD_DATA : 0);33293330FAIL_IF(push_mem_inst(compiler, flags, REG_PAIR_FIRST(reg), SLJIT_MEM1(mem), memw));3331return push_mem_inst(compiler, flags, REG_PAIR_SECOND(reg), SLJIT_MEM1(mem), (memw + SSIZE_OF(sw)) & 0xfff);3332}33333334#undef TO_ARGW_HI33353336static sljit_s32 sljit_emit_simd_mem_offset(struct sljit_compiler *compiler, sljit_s32 *mem_ptr, sljit_sw memw)3337{3338sljit_s32 mem = *mem_ptr;33393340if (SLJIT_UNLIKELY(mem & OFFS_REG_MASK)) {3341*mem_ptr = TMP_REG3;3342FAIL_IF(push_inst(compiler, SLLI_D | RD(TMP_REG3) | RJ(OFFS_REG(mem)) | IMM_I12(memw & 0x3)));3343return push_inst(compiler, ADD_D | RD(TMP_REG3) | RJ(TMP_REG3) | RK(mem & REG_MASK));3344}33453346if (!(mem & REG_MASK)) {3347*mem_ptr = TMP_REG3;3348return load_immediate(compiler, TMP_REG3, memw);3349}33503351mem &= REG_MASK;33523353if (memw == 0) {3354*mem_ptr = mem;3355return SLJIT_SUCCESS;3356}33573358*mem_ptr = TMP_REG3;33593360FAIL_IF(load_immediate(compiler, TMP_REG3, memw));3361return push_inst(compiler, ADD_D | RD(TMP_REG3) | RJ(TMP_REG3) | RK(mem));3362}33633364SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_mov(struct sljit_compiler *compiler, sljit_s32 type,3365sljit_s32 vreg,3366sljit_s32 srcdst, sljit_sw srcdstw)3367{3368sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3369sljit_ins ins = 0;33703371CHECK_ERROR();3372CHECK(check_sljit_emit_simd_mov(compiler, type, vreg, srcdst, srcdstw));33733374ADJUST_LOCAL_OFFSET(srcdst, srcdstw);33753376if (reg_size != 5 && reg_size != 4)3377return SLJIT_ERR_UNSUPPORTED;33783379if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3380return SLJIT_ERR_UNSUPPORTED;33813382if (type & SLJIT_SIMD_TEST)3383return SLJIT_SUCCESS;33843385if (!(srcdst & SLJIT_MEM)) {3386if (type & SLJIT_SIMD_STORE)3387ins = FRD(srcdst) | FRJ(vreg) | FRK(vreg);3388else3389ins = FRD(vreg) | FRJ(srcdst) | FRK(srcdst);33903391if (reg_size == 5)3392ins |= VOR_V | (sljit_ins)1 << 26;3393else3394ins |= VOR_V;33953396return push_inst(compiler, ins);3397}33983399ins = (type & SLJIT_SIMD_STORE) ? VST : VLD;34003401if (reg_size == 5)3402ins = (type & SLJIT_SIMD_STORE) ? XVST : XVLD;34033404if (FAST_IS_REG(srcdst) && srcdst >= 0 && (srcdstw >= I12_MIN && srcdstw <= I12_MAX))3405return push_inst(compiler, ins | FRD(vreg) | RJ((sljit_u8)srcdst) | IMM_I12(srcdstw));3406else {3407FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));3408return push_inst(compiler, ins | FRD(vreg) | RJ(srcdst) | IMM_I12(0));3409}3410}34113412SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_replicate(struct sljit_compiler *compiler, sljit_s32 type,3413sljit_s32 vreg,3414sljit_s32 src, sljit_sw srcw)3415{3416sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3417sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3418sljit_ins ins = 0;34193420CHECK_ERROR();3421CHECK(check_sljit_emit_simd_replicate(compiler, type, vreg, src, srcw));34223423ADJUST_LOCAL_OFFSET(src, srcw);34243425if (reg_size != 5 && reg_size != 4)3426return SLJIT_ERR_UNSUPPORTED;34273428if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3429return SLJIT_ERR_UNSUPPORTED;34303431if (type & SLJIT_SIMD_TEST)3432return SLJIT_SUCCESS;34333434if (src & SLJIT_MEM) {3435FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));34363437if (reg_size == 5)3438ins = (sljit_ins)1 << 25;34393440return push_inst(compiler, VLDREPL | ins | FRD(vreg) | RJ(src) | (sljit_ins)1 << (23 - elem_size));3441}34423443if (reg_size == 5)3444ins = (sljit_ins)1 << 26;34453446if (type & SLJIT_SIMD_FLOAT) {3447if (src == SLJIT_IMM)3448return push_inst(compiler, VREPLGR2VR | ins | FRD(vreg) | RJ(TMP_ZERO) | (sljit_ins)elem_size << 10);34493450FAIL_IF(push_inst(compiler, VREPLVE | ins | FRD(vreg) | FRJ(src) | RK(TMP_ZERO) | (sljit_ins)elem_size << 15));34513452if (reg_size == 5) {3453ins = (sljit_ins)(0x44 << 10);3454return push_inst(compiler, XVPERMI | ins | FRD(vreg) | FRJ(vreg));3455}34563457return SLJIT_SUCCESS;3458}34593460ins |= VREPLGR2VR | (sljit_ins)elem_size << 10;34613462if (src == SLJIT_IMM) {3463FAIL_IF(load_immediate(compiler, TMP_REG2, srcw));3464src = TMP_REG2;3465}34663467return push_inst(compiler, ins | FRD(vreg) | RJ(src));3468}34693470SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_mov(struct sljit_compiler *compiler, sljit_s32 type,3471sljit_s32 vreg, sljit_s32 lane_index,3472sljit_s32 srcdst, sljit_sw srcdstw)3473{3474sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3475sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3476sljit_ins ins = 0;34773478CHECK_ERROR();3479CHECK(check_sljit_emit_simd_lane_mov(compiler, type, vreg, lane_index, srcdst, srcdstw));34803481ADJUST_LOCAL_OFFSET(srcdst, srcdstw);34823483if (reg_size != 5 && reg_size != 4)3484return SLJIT_ERR_UNSUPPORTED;34853486if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3487return SLJIT_ERR_UNSUPPORTED;34883489if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3490return SLJIT_ERR_UNSUPPORTED;34913492if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3493return SLJIT_ERR_UNSUPPORTED;34943495if (type & SLJIT_SIMD_TEST)3496return SLJIT_SUCCESS;34973498if (type & SLJIT_SIMD_LANE_ZERO) {3499ins = (reg_size == 5) ? ((sljit_ins)1 << 26) : 0;35003501if ((type & SLJIT_SIMD_FLOAT) && vreg == srcdst) {3502FAIL_IF(push_inst(compiler, VOR_V | ins | FRD(TMP_FREG1) | FRJ(vreg) | FRK(vreg)));3503srcdst = TMP_FREG1;3504srcdstw = 0;3505}35063507FAIL_IF(push_inst(compiler, VXOR_V | ins | FRD(vreg) | FRJ(vreg) | FRK(vreg)));3508}35093510if (srcdst & SLJIT_MEM) {3511FAIL_IF(sljit_emit_simd_mem_offset(compiler, &srcdst, srcdstw));35123513if (reg_size == 5)3514ins = (sljit_ins)1 << 25;35153516if (type & SLJIT_SIMD_STORE) {3517ins |= (sljit_ins)lane_index << 18 | (sljit_ins)(1 << (23 - elem_size));3518return push_inst(compiler, VSTELM | ins | FRD(vreg) | RJ(srcdst));3519} else {3520emit_op_mem(compiler, (elem_size == 3 ? WORD_DATA : (elem_size == 2 ? INT_DATA : (elem_size == 1 ? HALF_DATA : BYTE_DATA))) | LOAD_DATA, TMP_REG1, srcdst | SLJIT_MEM, 0);3521srcdst = TMP_REG1;3522ins = (sljit_ins)(0x3f ^ (0x1f >> elem_size)) << 10;35233524if (reg_size == 5) {3525if (elem_size < 2) {3526FAIL_IF(push_inst(compiler, VOR_V | (sljit_ins)1 << 26 | FRD(TMP_FREG1) | FRJ(vreg) | FRK(vreg)));3527if (lane_index >= (2 << (3 - elem_size))) {3528FAIL_IF(push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(TMP_FREG1) | FRJ(vreg) | IMM_I8(1)));3529FAIL_IF(push_inst(compiler, VINSGR2VR | ins | FRD(TMP_FREG1) | RJ(srcdst) | IMM_V(lane_index % (2 << (3 - elem_size)))));3530return push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(vreg) | FRJ(TMP_FREG1) | IMM_I8(2));3531} else {3532FAIL_IF(push_inst(compiler, VINSGR2VR | ins | FRD(vreg) | RJ(srcdst) | IMM_V(lane_index)));3533return push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(vreg) | FRJ(TMP_FREG1) | IMM_I8(18));3534}3535} else3536ins = (sljit_ins)(0x3f ^ (0x3f >> elem_size)) << 10 | (sljit_ins)1 << 26;3537}35383539return push_inst(compiler, VINSGR2VR | ins | FRD(vreg) | RJ(srcdst) | IMM_V(lane_index));3540}3541}35423543if (type & SLJIT_SIMD_FLOAT) {3544ins = (reg_size == 5) ? (sljit_ins)(0x3f ^ (0x3f >> elem_size)) << 10 | (sljit_ins)1 << 26 : (sljit_ins)(0x3f ^ (0x1f >> elem_size)) << 10;35453546if (type & SLJIT_SIMD_STORE) {3547FAIL_IF(push_inst(compiler, VPICKVE2GR_U | ins | RD(TMP_REG1) | FRJ(vreg) | IMM_V(lane_index)));3548return push_inst(compiler, VINSGR2VR | ins | FRD(srcdst) | RJ(TMP_REG1) | IMM_V(0));3549} else {3550FAIL_IF(push_inst(compiler, VPICKVE2GR_U | ins | RD(TMP_REG1) | FRJ(srcdst) | IMM_V(0)));3551return push_inst(compiler, VINSGR2VR | ins | FRD(vreg) | RJ(TMP_REG1) | IMM_V(lane_index));3552}3553}35543555if (srcdst == SLJIT_IMM) {3556FAIL_IF(load_immediate(compiler, TMP_REG1, srcdstw));3557srcdst = TMP_REG1;3558}35593560if (type & SLJIT_SIMD_STORE) {3561ins = (sljit_ins)(0x3f ^ (0x1f >> elem_size)) << 10;35623563if (type & SLJIT_SIMD_LANE_SIGNED)3564ins |= (sljit_ins)(VPICKVE2GR_U ^ (0x7 << 18));3565else3566ins |= VPICKVE2GR_U;35673568if (reg_size == 5) {3569if (elem_size < 2) {3570if (lane_index >= (2 << (3 - elem_size))) {3571if (type & SLJIT_SIMD_LANE_SIGNED)3572ins |= (sljit_ins)(VPICKVE2GR_U ^ (0x7 << 18));3573else3574ins |= VPICKVE2GR_U;35753576FAIL_IF(push_inst(compiler, VOR_V | (sljit_ins)1 << 26 | FRD(TMP_FREG1) | FRJ(vreg) | FRK(vreg)));3577FAIL_IF(push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(TMP_FREG1) | FRJ(vreg) | IMM_I8(1)));3578return push_inst(compiler, ins | RD(srcdst) | FRJ(TMP_FREG1) | IMM_V(lane_index % (2 << (3 - elem_size))));3579}3580} else {3581ins ^= (sljit_ins)1 << (15 - elem_size);3582ins |= (sljit_ins)1 << 26;3583}3584}35853586return push_inst(compiler, ins | RD(srcdst) | FRJ(vreg) | IMM_V(lane_index));3587} else {3588ins = (sljit_ins)(0x3f ^ (0x1f >> elem_size)) << 10;35893590if (reg_size == 5) {3591if (elem_size < 2) {3592FAIL_IF(push_inst(compiler, VOR_V | (sljit_ins)1 << 26 | FRD(TMP_FREG1) | FRJ(vreg) | FRK(vreg)));3593if (lane_index >= (2 << (3 - elem_size))) {3594FAIL_IF(push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(TMP_FREG1) | FRJ(vreg) | IMM_I8(1)));3595FAIL_IF(push_inst(compiler, VINSGR2VR | ins | FRD(TMP_FREG1) | RJ(srcdst) | IMM_V(lane_index % (2 << (3 - elem_size)))));3596return push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(vreg) | FRJ(TMP_FREG1) | IMM_I8(2));3597} else {3598FAIL_IF(push_inst(compiler, VINSGR2VR | ins | FRD(vreg) | RJ(srcdst) | IMM_V(lane_index)));3599return push_inst(compiler, XVPERMI | (sljit_ins)1 << 18 | FRD(vreg) | FRJ(TMP_FREG1) | IMM_I8(18));3600}3601} else3602ins = (sljit_ins)(0x3f ^ (0x3f >> elem_size)) << 10 | (sljit_ins)1 << 26;3603}36043605return push_inst(compiler, VINSGR2VR | ins | FRD(vreg) | RJ(srcdst) | IMM_V(lane_index));3606}36073608return SLJIT_ERR_UNSUPPORTED;3609}36103611SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_lane_replicate(struct sljit_compiler *compiler, sljit_s32 type,3612sljit_s32 vreg,3613sljit_s32 src, sljit_s32 src_lane_index)3614{3615sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3616sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3617sljit_ins ins = 0;36183619CHECK_ERROR();3620CHECK(check_sljit_emit_simd_lane_replicate(compiler, type, vreg, src, src_lane_index));36213622if (reg_size != 5 && reg_size != 4)3623return SLJIT_ERR_UNSUPPORTED;36243625if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3626return SLJIT_ERR_UNSUPPORTED;36273628if (type & SLJIT_SIMD_TEST)3629return SLJIT_SUCCESS;36303631ins = (sljit_ins)(0x3f ^ (0x1f >> elem_size)) << 10;36323633if (reg_size == 5) {3634FAIL_IF(push_inst(compiler, VREPLVEI | (sljit_ins)1 << 26 | ins | FRD(vreg) | FRJ(src) | IMM_V(src_lane_index % (2 << (3 - elem_size)))));36353636ins = (src_lane_index < (2 << (3 - elem_size))) ? (sljit_ins)(0x44 << 10) : (sljit_ins)(0xee << 10);36373638return push_inst(compiler, XVPERMI | ins | FRD(vreg) | FRJ(vreg));3639}36403641return push_inst(compiler, VREPLVEI | ins | FRD(vreg) | FRJ(src) | IMM_V(src_lane_index));3642}36433644SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_extend(struct sljit_compiler *compiler, sljit_s32 type,3645sljit_s32 vreg,3646sljit_s32 src, sljit_sw srcw)3647{3648sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3649sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3650sljit_s32 elem2_size = SLJIT_SIMD_GET_ELEM2_SIZE(type);3651sljit_ins ins = 0;36523653CHECK_ERROR();3654CHECK(check_sljit_emit_simd_extend(compiler, type, vreg, src, srcw));36553656ADJUST_LOCAL_OFFSET(src, srcw);36573658if (reg_size != 5 && reg_size != 4)3659return SLJIT_ERR_UNSUPPORTED;36603661if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3662return SLJIT_ERR_UNSUPPORTED;36633664if (type & SLJIT_SIMD_TEST)3665return SLJIT_SUCCESS;36663667if (src & SLJIT_MEM) {3668ins = (type & SLJIT_SIMD_STORE) ? VST : VLD;36693670if (reg_size == 5)3671ins = (type & SLJIT_SIMD_STORE) ? XVST : XVLD;36723673if (FAST_IS_REG(src) && src >= 0 && (srcw >= I12_MIN && srcw <= I12_MAX))3674FAIL_IF(push_inst(compiler, ins | FRD(vreg) | RJ(src) | IMM_I12(srcw)));3675else {3676FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src, srcw));3677FAIL_IF(push_inst(compiler, ins | FRD(vreg) | RJ(src) | IMM_I12(0)));3678}3679src = vreg;3680}36813682if (type & SLJIT_SIMD_FLOAT) {3683if (elem_size != 2 || elem2_size != 3)3684return SLJIT_ERR_UNSUPPORTED;36853686ins = 0;3687if (reg_size == 5) {3688ins = (sljit_ins)1 << 26;3689FAIL_IF(push_inst(compiler, XVPERMI | FRD(src) | FRJ(src) | IMM_I8(16)));3690}36913692return push_inst(compiler, VFCVTL_D_S | ins | FRD(vreg) | FRJ(src));3693}36943695ins = (type & SLJIT_SIMD_EXTEND_SIGNED) ? VSLLWIL : (VSLLWIL | (sljit_ins)1 << 18);36963697if (reg_size == 5)3698ins |= (sljit_ins)1 << 26;36993700do {3701if (reg_size == 5)3702FAIL_IF(push_inst(compiler, XVPERMI | FRD(src) | FRJ(src) | IMM_I8(16)));37033704FAIL_IF(push_inst(compiler, ins | ((sljit_ins)1 << (13 + elem_size)) | FRD(vreg) | FRJ(src)));3705src = vreg;3706} while (++elem_size < elem2_size);37073708return SLJIT_SUCCESS;3709}37103711SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_sign(struct sljit_compiler *compiler, sljit_s32 type,3712sljit_s32 vreg,3713sljit_s32 dst, sljit_sw dstw)3714{3715sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3716sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3717sljit_ins ins = 0;3718sljit_s32 dst_r;37193720CHECK_ERROR();3721CHECK(check_sljit_emit_simd_sign(compiler, type, vreg, dst, dstw));37223723ADJUST_LOCAL_OFFSET(dst, dstw);37243725if (reg_size != 5 && reg_size != 4)3726return SLJIT_ERR_UNSUPPORTED;37273728if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3729return SLJIT_ERR_UNSUPPORTED;37303731if (elem_size > 3 || ((type & SLJIT_SIMD_FLOAT) && elem_size < 2))3732return SLJIT_ERR_UNSUPPORTED;37333734if (type & SLJIT_SIMD_TEST)3735return SLJIT_SUCCESS;37363737dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;37383739if (reg_size == 5)3740ins = (sljit_ins)1 << 26;37413742FAIL_IF(push_inst(compiler, VMSKLTZ | ins | (sljit_ins)(elem_size << 10) | FRD(TMP_FREG1) | FRJ(vreg)));37433744FAIL_IF(push_inst(compiler, VPICKVE2GR_U | (sljit_ins)(0x3c << 10) | RD(dst_r) | FRJ(TMP_FREG1)));37453746if (reg_size == 5) {3747FAIL_IF(push_inst(compiler, VPICKVE2GR_U | (sljit_ins)(0x38 << 10) | ins | RD(TMP_REG3) | FRJ(TMP_FREG1) | IMM_V(2)));3748FAIL_IF(push_inst(compiler, SLLI_W | RD(TMP_REG3) | RJ(TMP_REG3) | IMM_I12(2 << (3 - elem_size))));3749FAIL_IF(push_inst(compiler, OR | RD(dst_r) | RJ(dst_r) | RK(TMP_REG3)));3750}37513752if (dst_r == TMP_REG2)3753return emit_op_mem(compiler, ((type & SLJIT_32) ? INT_DATA : WORD_DATA), TMP_REG2, dst, dstw);37543755return SLJIT_SUCCESS;3756}37573758SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_simd_op2(struct sljit_compiler *compiler, sljit_s32 type,3759sljit_s32 dst_vreg, sljit_s32 src1_vreg, sljit_s32 src2, sljit_sw src2w)3760{3761sljit_s32 reg_size = SLJIT_SIMD_GET_REG_SIZE(type);3762sljit_s32 elem_size = SLJIT_SIMD_GET_ELEM_SIZE(type);3763sljit_ins ins = 0;37643765CHECK_ERROR();3766CHECK(check_sljit_emit_simd_op2(compiler, type, dst_vreg, src1_vreg, src2, src2w));3767ADJUST_LOCAL_OFFSET(src2, src2w);37683769if (reg_size != 5 && reg_size != 4)3770return SLJIT_ERR_UNSUPPORTED;37713772if (reg_size == 5 && !(get_cpu_features(GET_HWCAP) & LOONGARCH_HWCAP_LASX))3773return SLJIT_ERR_UNSUPPORTED;37743775if ((type & SLJIT_SIMD_FLOAT) && (elem_size < 2 || elem_size > 3))3776return SLJIT_ERR_UNSUPPORTED;37773778if (type & SLJIT_SIMD_TEST)3779return SLJIT_SUCCESS;37803781if (src2 & SLJIT_MEM) {3782FAIL_IF(sljit_emit_simd_mem_offset(compiler, &src2, src2w));3783FAIL_IF(push_inst(compiler, (reg_size == 4 ? VLD : XVLD) | FRD(TMP_FREG1) | RJ(src2) | IMM_I12(0)));3784src2 = TMP_FREG1;3785}37863787switch (SLJIT_SIMD_GET_OPCODE(type)) {3788case SLJIT_SIMD_OP2_AND:3789ins = VAND_V;3790break;3791case SLJIT_SIMD_OP2_OR:3792ins = VOR_V;3793break;3794case SLJIT_SIMD_OP2_XOR:3795ins = VXOR_V;3796break;3797case SLJIT_SIMD_OP2_SHUFFLE:3798if (reg_size != 4)3799return SLJIT_ERR_UNSUPPORTED;38003801return push_inst(compiler, VSHUF_B | FRD(dst_vreg) | FRJ(src1_vreg) | FRK(src1_vreg) | FRA(src2));3802}38033804if (reg_size == 5)3805ins |= (sljit_ins)1 << 26;38063807return push_inst(compiler, ins | FRD(dst_vreg) | FRJ(src1_vreg) | FRK(src2));3808}38093810SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_load(struct sljit_compiler *compiler,3811sljit_s32 op,3812sljit_s32 dst_reg,3813sljit_s32 mem_reg)3814{3815sljit_ins ins;38163817CHECK_ERROR();3818CHECK(check_sljit_emit_atomic_load(compiler, op, dst_reg, mem_reg));38193820if ((op & SLJIT_ATOMIC_USE_LS) || !LOONGARCH_SUPPORT_AMCAS) {3821if (op & SLJIT_ATOMIC_USE_CAS)3822return SLJIT_ERR_UNSUPPORTED;38233824switch (GET_OPCODE(op)) {3825case SLJIT_MOV:3826case SLJIT_MOV_P:3827ins = LL_D;3828break;3829case SLJIT_MOV_S32:3830case SLJIT_MOV32:3831ins = LL_W;3832break;38333834default:3835return SLJIT_ERR_UNSUPPORTED;3836}38373838if (op & SLJIT_ATOMIC_TEST)3839return SLJIT_SUCCESS;38403841return push_inst(compiler, ins | RD(dst_reg) | RJ(mem_reg));3842}38433844switch(GET_OPCODE(op)) {3845case SLJIT_MOV_S8:3846ins = LD_B;3847break;3848case SLJIT_MOV_U8:3849ins = LD_BU;3850break;3851case SLJIT_MOV_S16:3852ins = LD_H;3853break;3854case SLJIT_MOV_U16:3855ins = LD_HU;3856break;3857case SLJIT_MOV32:3858case SLJIT_MOV_S32:3859ins = LD_W;3860break;3861case SLJIT_MOV_U32:3862ins = LD_WU;3863break;3864default:3865ins = LD_D;3866break;3867}38683869if (op & SLJIT_ATOMIC_TEST)3870return SLJIT_SUCCESS;38713872return push_inst(compiler, ins | RD(dst_reg) | RJ(mem_reg) | IMM_I12(0));3873}38743875SLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_atomic_store(struct sljit_compiler *compiler,3876sljit_s32 op,3877sljit_s32 src_reg,3878sljit_s32 mem_reg,3879sljit_s32 temp_reg)3880{3881sljit_ins ins = 0;3882sljit_ins unsign = 0;3883sljit_s32 tmp = temp_reg;38843885CHECK_ERROR();3886CHECK(check_sljit_emit_atomic_store(compiler, op, src_reg, mem_reg, temp_reg));38873888if ((op & SLJIT_ATOMIC_USE_LS) || !LOONGARCH_SUPPORT_AMCAS) {3889if (op & SLJIT_ATOMIC_USE_CAS)3890return SLJIT_ERR_UNSUPPORTED;38913892switch (GET_OPCODE(op)) {3893case SLJIT_MOV:3894case SLJIT_MOV_P:3895ins = SC_D;3896break;3897case SLJIT_MOV_S32:3898case SLJIT_MOV32:3899ins = SC_W;3900break;39013902default:3903return SLJIT_ERR_UNSUPPORTED;3904}39053906if (op & SLJIT_ATOMIC_TEST)3907return SLJIT_SUCCESS;39083909FAIL_IF(push_inst(compiler, ADD_D | RD(OTHER_FLAG) | RJ(src_reg) | RK(TMP_ZERO)));3910return push_inst(compiler, ins | RD(OTHER_FLAG) | RJ(mem_reg));3911}39123913switch (GET_OPCODE(op)) {3914case SLJIT_MOV_S8:3915ins = AMCAS_B;3916break;3917case SLJIT_MOV_U8:3918ins = AMCAS_B;3919unsign = BSTRPICK_D | (7 << 16);3920break;3921case SLJIT_MOV_S16:3922ins = AMCAS_H;3923break;3924case SLJIT_MOV_U16:3925ins = AMCAS_H;3926unsign = BSTRPICK_D | (15 << 16);3927break;3928case SLJIT_MOV32:3929case SLJIT_MOV_S32:3930ins = AMCAS_W;3931break;3932case SLJIT_MOV_U32:3933ins = AMCAS_W;3934unsign = BSTRPICK_D | (31 << 16);3935break;3936default:3937ins = AMCAS_D;3938break;3939}39403941if (op & SLJIT_ATOMIC_TEST)3942return SLJIT_SUCCESS;39433944if (op & SLJIT_SET_ATOMIC_STORED) {3945FAIL_IF(push_inst(compiler, XOR | RD(TMP_REG3) | RJ(temp_reg) | RK(TMP_ZERO)));3946tmp = TMP_REG3;3947}3948FAIL_IF(push_inst(compiler, ins | RD(tmp) | RJ(mem_reg) | RK(src_reg)));3949if (!(op & SLJIT_SET_ATOMIC_STORED))3950return SLJIT_SUCCESS;39513952if (unsign)3953FAIL_IF(push_inst(compiler, unsign | RD(tmp) | RJ(tmp)));39543955FAIL_IF(push_inst(compiler, XOR | RD(OTHER_FLAG) | RJ(tmp) | RK(temp_reg)));3956return push_inst(compiler, SLTUI | RD(OTHER_FLAG) | RJ(OTHER_FLAG) | IMM_I12(1));3957}39583959static SLJIT_INLINE sljit_s32 emit_const(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw init_value, sljit_ins last_ins)3960{3961SLJIT_UNUSED_ARG(last_ins);39623963FAIL_IF(push_inst(compiler, LU12I_W | RD(dst) | (sljit_ins)(((init_value & 0xffffffff) >> 12) << 5)));3964FAIL_IF(push_inst(compiler, LU32I_D | RD(dst) | (sljit_ins)(((init_value >> 32) & 0xfffff) << 5)));3965FAIL_IF(push_inst(compiler, LU52I_D | RD(dst) | RJ(dst) | (sljit_ins)(IMM_I12(init_value >> 52))));3966return push_inst(compiler, ORI | RD(dst) | RJ(dst) | IMM_I12(init_value));3967}39683969SLJIT_API_FUNC_ATTRIBUTE void sljit_set_jump_addr(sljit_uw addr, sljit_uw new_target, sljit_sw executable_offset)3970{3971sljit_ins *inst = (sljit_ins*)addr;3972SLJIT_UNUSED_ARG(executable_offset);39733974SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 0);39753976SLJIT_ASSERT((inst[0] & OPC_1RI20(0x7f)) == LU12I_W);3977inst[0] = (inst[0] & (OPC_1RI20(0x7f) | 0x1f)) | (sljit_ins)(((new_target & 0xffffffff) >> 12) << 5);39783979SLJIT_ASSERT((inst[1] & OPC_1RI20(0x7f)) == LU32I_D);3980inst[1] = (inst[1] & (OPC_1RI20(0x7f) | 0x1f)) | (sljit_ins)(sljit_ins)(((new_target >> 32) & 0xfffff) << 5);39813982SLJIT_ASSERT((inst[2] & OPC_2RI12(0x3ff)) == LU52I_D);3983inst[2] = (inst[2] & (OPC_2RI12(0x3ff) | 0x3ff)) | IMM_I12(new_target >> 52);39843985SLJIT_ASSERT((inst[3] & OPC_2RI12(0x3ff)) == ORI || (inst[3] & OPC_2RI16(0x3f)) == JIRL);3986if ((inst[3] & OPC_2RI12(0x3ff)) == ORI)3987inst[3] = (inst[3] & (OPC_2RI12(0x3ff) | 0x3ff)) | IMM_I12(new_target);3988else3989inst[3] = (inst[3] & (OPC_2RI16(0x3f) | 0x3ff)) | IMM_I12((new_target & 0xfff) >> 2);39903991SLJIT_UPDATE_WX_FLAGS(inst, inst + 4, 1);39923993inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);3994SLJIT_CACHE_FLUSH(inst, inst + 4);3995}39963997SLJIT_API_FUNC_ATTRIBUTE struct sljit_const* sljit_emit_const(struct sljit_compiler *compiler, sljit_s32 op,3998sljit_s32 dst, sljit_sw dstw,3999sljit_sw init_value)4000{4001struct sljit_const *const_;4002sljit_s32 dst_r;4003sljit_s32 mem_flags = WORD_DATA;40044005CHECK_ERROR_PTR();4006CHECK_PTR(check_sljit_emit_const(compiler, op, dst, dstw, init_value));4007ADJUST_LOCAL_OFFSET(dst, dstw);40084009const_ = (struct sljit_const*)ensure_abuf(compiler, sizeof(struct sljit_const));4010PTR_FAIL_IF(!const_);4011set_const(const_, compiler);40124013dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;40144015switch (GET_OPCODE(op)) {4016case SLJIT_MOV_U8:4017if (init_value & 0x100)4018init_value |= 0xf00;4019else4020init_value &= 0xff;40214022PTR_FAIL_IF(push_inst(compiler, ADDI_D | RD(dst_r) | RJ(TMP_ZERO) | IMM_I12(init_value)));4023mem_flags = BYTE_DATA;4024break;40254026case SLJIT_MOV32:4027mem_flags = INT_DATA;4028SLJIT_FALLTHROUGH4029case SLJIT_MOV_S32:4030PTR_FAIL_IF(push_inst(compiler, LU12I_W | RD(dst_r) | (sljit_ins)((init_value >> 7) & 0x1ffffe0)));4031PTR_FAIL_IF(push_inst(compiler, ORI | RD(dst_r) | RJ(dst_r) | IMM_I12(init_value)));4032break;40334034default:4035PTR_FAIL_IF(emit_const(compiler, dst_r, init_value, 0));4036break;4037}40384039if (dst & SLJIT_MEM)4040PTR_FAIL_IF(emit_op_mem(compiler, mem_flags, TMP_REG2, dst, dstw));40414042return const_;4043}40444045SLJIT_API_FUNC_ATTRIBUTE struct sljit_jump* sljit_emit_op_addr(struct sljit_compiler *compiler, sljit_s32 op,4046sljit_s32 dst, sljit_sw dstw)4047{4048struct sljit_jump *jump;4049sljit_s32 dst_r, target_r;4050SLJIT_UNUSED_ARG(op);40514052CHECK_ERROR_PTR();4053CHECK_PTR(check_sljit_emit_op_addr(compiler, op, dst, dstw));4054ADJUST_LOCAL_OFFSET(dst, dstw);40554056dst_r = FAST_IS_REG(dst) ? dst : TMP_REG2;40574058if (op != SLJIT_ADD_ABS_ADDR)4059target_r = dst_r;4060else {4061target_r = TMP_REG1;40624063if (dst & SLJIT_MEM)4064PTR_FAIL_IF(emit_op_mem(compiler, WORD_DATA | LOAD_DATA, TMP_REG2, dst, dstw));4065}40664067jump = (struct sljit_jump*)ensure_abuf(compiler, sizeof(struct sljit_jump));4068PTR_FAIL_IF(!jump);4069set_mov_addr(jump, compiler, 0);40704071PTR_FAIL_IF(push_inst(compiler, (sljit_ins)target_r));40724073compiler->size += JUMP_MAX_SIZE - 1;40744075if (op == SLJIT_ADD_ABS_ADDR)4076PTR_FAIL_IF(push_inst(compiler, ADD_D | RD(dst_r) | RJ(dst_r) | RK(TMP_REG1)));40774078if (dst & SLJIT_MEM)4079PTR_FAIL_IF(emit_op_mem(compiler, WORD_DATA, TMP_REG2, dst, dstw));40804081return jump;4082}40834084SLJIT_API_FUNC_ATTRIBUTE void sljit_set_const(sljit_uw addr, sljit_s32 op, sljit_sw new_constant, sljit_sw executable_offset)4085{4086sljit_ins* inst;40874088switch (GET_OPCODE(op)) {4089case SLJIT_MOV_U8:4090inst = (sljit_ins*)addr;4091SLJIT_ASSERT((inst[0] & OPC_2RI12(0xb)) == ADDI_D);40924093if (new_constant & 0x100)4094new_constant |= 0xf00;4095else4096new_constant &= 0xff;40974098SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 0);4099inst[0] = (inst[0] & 0xffc003ff) | (sljit_ins)((new_constant & 0xfff) << 10);4100SLJIT_UPDATE_WX_FLAGS(inst, inst + 1, 1);4101inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);4102SLJIT_CACHE_FLUSH(inst, inst + 1);4103return;41044105case SLJIT_MOV32:4106case SLJIT_MOV_S32:4107inst = (sljit_ins *)addr;4108SLJIT_ASSERT((inst[0] & OPC_1RI20(0xa)) == LU12I_W && (inst[1] & OPC_2RI12(0xe)) == ORI);41094110SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 0);4111inst[0] = (inst[0] & (OPC_1RI20(0xa) | 0x1f)) | (sljit_ins)((new_constant >> 7) & 0x1ffffe0);4112inst[1] = (inst[1] & (OPC_2RI12(0xe) | 0x3ff)) | (sljit_ins)((new_constant & 0xfff) << 10);4113SLJIT_UPDATE_WX_FLAGS(inst, inst + 2, 1);4114inst = (sljit_ins *)SLJIT_ADD_EXEC_OFFSET(inst, executable_offset);4115SLJIT_CACHE_FLUSH(inst, inst + 2);4116return;41174118default:4119sljit_set_jump_addr(addr, (sljit_uw)new_constant, executable_offset);4120return;4121}4122}412341244125