165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* 265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * Stack-less Just-In-Time compiler 365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved. 565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * Redistribution and use in source and binary forms, with or without modification, are 765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * permitted provided that the following conditions are met: 865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 1. Redistributions of source code must retain the above copyright notice, this list of 1065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * conditions and the following disclaimer. 1165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 1265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 2. Redistributions in binary form must reproduce the above copyright notice, this list 1365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * of conditions and the following disclaimer in the documentation and/or other materials 1465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * provided with the distribution. 1565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * 1665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY 1765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 1865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 1965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 2065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED 2165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR 2265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 2365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN 2465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich */ 2665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 2765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* x86 32-bit arch dependent functions. */ 2865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 2965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevichstatic sljit_si emit_do_imm(struct sljit_compiler *compiler, sljit_ub opcode, sljit_sw imm) 3065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 3165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 3265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 3365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 1 + sizeof(sljit_sw)); 3465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 3565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(1 + sizeof(sljit_sw)); 3665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = opcode; 3765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)inst = imm; 3865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 3965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 4065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 4165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevichstatic sljit_ub* generate_far_jump_code(struct sljit_jump *jump, sljit_ub *code_ptr, sljit_si type) 4265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 4365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (type == SLJIT_JUMP) { 4465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *code_ptr++ = JMP_i32; 4565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich jump->addr++; 4665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 4765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (type >= SLJIT_FAST_CALL) { 4865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *code_ptr++ = CALL_i32; 4965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich jump->addr++; 5065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 5165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 5265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *code_ptr++ = GROUP_0F; 5365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *code_ptr++ = get_jump_code(type); 5465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich jump->addr += 2; 5565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 5665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 5765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (jump->flags & JUMP_LABEL) 5865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich jump->flags |= PATCH_MW; 5965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 6065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)code_ptr = jump->u.target - (jump->addr + 4); 6165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich code_ptr += 4; 6265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 6365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return code_ptr; 6465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 6565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 6665de34233da93a3d65c00b8aad3ff9aad44c57deNick KralevichSLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_enter(struct sljit_compiler *compiler, 6765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si options, sljit_si args, sljit_si scratches, sljit_si saveds, 6865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si fscratches, sljit_si fsaveds, sljit_si local_size) 6965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 7065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si size; 7165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 7265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 7365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_ERROR(); 7465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich check_sljit_emit_enter(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size); 7565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 7665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->options = options; 7765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->scratches = scratches; 7865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->saveds = saveds; 7965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->fscratches = fscratches; 8065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->fsaveds = fsaveds; 8165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->args = args; 8265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->flags_saved = 0; 8365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_DEBUG && SLJIT_DEBUG) 8465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->logical_local_size = local_size; 8565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 8665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 8765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size = 1 + (scratches > 7 ? (scratches - 7) : 0) + (saveds <= 3 ? saveds : 3); 8865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 8965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size += (args > 0 ? (args * 2) : 0) + (args > 2 ? 2 : 0); 9065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 9165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size += (args > 0 ? (2 + args * 3) : 0); 9265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 9365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + size); 9465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 9565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 9665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(size); 9765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[TMP_REG1]); 9865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if !(defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 9965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 0) { 10065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 10165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_REG | (reg_map[TMP_REG1] << 3) | 0x4 /* esp */; 10265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 10365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 10465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (saveds > 2 || scratches > 7) 10565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[SLJIT_S2]); 10665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (saveds > 1 || scratches > 8) 10765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[SLJIT_S1]); 10865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (saveds > 0 || scratches > 9) 10965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[SLJIT_S0]); 11065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 11165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 11265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 0) { 11365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 11465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S0] << 3) | reg_map[SLJIT_R2]; 11565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 11665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 1) { 11765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 11865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S1] << 3) | reg_map[SLJIT_R1]; 11965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 12065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 2) { 12165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 12265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_S2] << 3) | 0x4 /* esp */; 12365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 0x24; 12465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = sizeof(sljit_sw) * (3 + 2); /* saveds >= 3 as well. */ 12565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 12665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 12765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 0) { 12865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 12965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_S0] << 3) | reg_map[TMP_REG1]; 13065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = sizeof(sljit_sw) * 2; 13165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 13265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 1) { 13365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 13465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_S1] << 3) | reg_map[TMP_REG1]; 13565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = sizeof(sljit_sw) * 3; 13665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 13765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (args > 2) { 13865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 13965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_S2] << 3) | reg_map[TMP_REG1]; 14065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = sizeof(sljit_sw) * 4; 14165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 14265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 14365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 14465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_COMPILE_ASSERT(FIXED_LOCALS_OFFSET >= (2 + 4) * sizeof(sljit_uw), require_at_least_two_words); 14565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if defined(__APPLE__) 14665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Ignore pushed registers and FIXED_LOCALS_OFFSET when 14765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich computing the aligned local size. */ 14865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich saveds = (2 + (scratches > 7 ? (scratches - 7) : 0) + (saveds <= 3 ? saveds : 3)) * sizeof(sljit_uw); 14965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich local_size = ((FIXED_LOCALS_OFFSET + saveds + local_size + 15) & ~15) - saveds; 15065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 15165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich local_size = FIXED_LOCALS_OFFSET + ((local_size + sizeof(sljit_uw) - 1) & ~(sizeof(sljit_uw) - 1)); 15265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 15365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 15465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->local_size = local_size; 15565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#ifdef _WIN32 15665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (local_size > 1024) { 15765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 15865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(emit_do_imm(compiler, MOV_r_i32 + reg_map[SLJIT_R0], local_size)); 15965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 16065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich local_size -= FIXED_LOCALS_OFFSET; 16165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(emit_do_imm(compiler, MOV_r_i32 + reg_map[SLJIT_R0], local_size)); 16265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(emit_non_cum_binary(compiler, SUB_r_rm, SUB_rm_r, SUB, SUB_EAX_i32, 16365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_SP, 0, SLJIT_SP, 0, SLJIT_IMM, FIXED_LOCALS_OFFSET)); 16465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 16565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(sljit_emit_ijump(compiler, SLJIT_CALL1, SLJIT_IMM, SLJIT_FUNC_OFFSET(sljit_grow_stack))); 16665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 16765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 16865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 16965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(local_size > 0); 17065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return emit_non_cum_binary(compiler, SUB_r_rm, SUB_rm_r, SUB, SUB_EAX_i32, 17165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_SP, 0, SLJIT_SP, 0, SLJIT_IMM, local_size); 17265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 17365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 17465de34233da93a3d65c00b8aad3ff9aad44c57deNick KralevichSLJIT_API_FUNC_ATTRIBUTE void sljit_set_context(struct sljit_compiler *compiler, 17565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si options, sljit_si args, sljit_si scratches, sljit_si saveds, 17665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si fscratches, sljit_si fsaveds, sljit_si local_size) 17765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 17865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_ERROR_VOID(); 17965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich check_sljit_set_context(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size); 18065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 18165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->options = options; 18265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->scratches = scratches; 18365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->saveds = saveds; 18465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->fscratches = fscratches; 18565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->fsaveds = fsaveds; 18665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->args = args; 18765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_DEBUG && SLJIT_DEBUG) 18865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->logical_local_size = local_size; 18965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 19065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 19165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if defined(__APPLE__) 19265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich saveds = (2 + (scratches > 7 ? (scratches - 7) : 0) + (saveds <= 3 ? saveds : 3)) * sizeof(sljit_uw); 19365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->local_size = ((FIXED_LOCALS_OFFSET + saveds + local_size + 15) & ~15) - saveds; 19465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 19565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->local_size = FIXED_LOCALS_OFFSET + ((local_size + sizeof(sljit_uw) - 1) & ~(sizeof(sljit_uw) - 1)); 19665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 19765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 19865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 19965de34233da93a3d65c00b8aad3ff9aad44c57deNick KralevichSLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_return(struct sljit_compiler *compiler, sljit_si op, sljit_si src, sljit_sw srcw) 20065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 20165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si size; 20265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 20365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 20465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_ERROR(); 20565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich check_sljit_emit_return(compiler, op, src, srcw); 20665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(compiler->args >= 0); 20765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 20865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich compiler->flags_saved = 0; 20965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(emit_mov_before_return(compiler, op, src, srcw)); 21065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 21165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(compiler->local_size > 0); 21265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(emit_cum_binary(compiler, ADD_r_rm, ADD_rm_r, ADD, ADD_EAX_i32, 21365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_SP, 0, SLJIT_SP, 0, SLJIT_IMM, compiler->local_size)); 21465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 21565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size = 2 + (compiler->scratches > 7 ? (compiler->scratches - 7) : 0) + 21665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich (compiler->saveds <= 3 ? compiler->saveds : 3); 21765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 21865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->args > 2) 21965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size += 2; 22065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 22165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->args > 0) 22265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size += 2; 22365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 22465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + size); 22565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 22665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 22765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(size); 22865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 22965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->saveds > 0 || compiler->scratches > 9) 23065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich POP_REG(reg_map[SLJIT_S0]); 23165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->saveds > 1 || compiler->scratches > 8) 23265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich POP_REG(reg_map[SLJIT_S1]); 23365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->saveds > 2 || compiler->scratches > 7) 23465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich POP_REG(reg_map[SLJIT_S2]); 23565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich POP_REG(reg_map[TMP_REG1]); 23665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 23765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (compiler->args > 2) 23865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich RET_I16(sizeof(sljit_sw)); 23965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 24065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich RET(); 24165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 24265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich RET(); 24365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 24465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 24565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 24665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 24765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 24865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* --------------------------------------------------------------------- */ 24965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* Operators */ 25065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* --------------------------------------------------------------------- */ 25165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 25265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* Size contains the flags as well. */ 25365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevichstatic sljit_ub* emit_x86_instruction(struct sljit_compiler *compiler, sljit_si size, 25465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* The register or immediate operand. */ 25565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si a, sljit_sw imma, 25665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* The general operand (not immediate). */ 25765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si b, sljit_sw immb) 25865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 25965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 26065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *buf_ptr; 26165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si flags = size & ~0xf; 26265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_si inst_size; 26365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 26465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Both cannot be switched on. */ 26565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT((flags & (EX86_BIN_INS | EX86_SHIFT_INS)) != (EX86_BIN_INS | EX86_SHIFT_INS)); 26665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Size flags not allowed for typed instructions. */ 26765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(!(flags & (EX86_BIN_INS | EX86_SHIFT_INS)) || (flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) == 0); 26865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Both size flags cannot be switched on. */ 26965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT((flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) != (EX86_BYTE_ARG | EX86_HALF_ARG)); 27065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* SSE2 and immediate is not possible. */ 27165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(!(a & SLJIT_IMM) || !(flags & EX86_SSE2)); 27265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT((flags & (EX86_PREF_F2 | EX86_PREF_F3)) != (EX86_PREF_F2 | EX86_PREF_F3) 27365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich && (flags & (EX86_PREF_F2 | EX86_PREF_66)) != (EX86_PREF_F2 | EX86_PREF_66) 27465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich && (flags & (EX86_PREF_F3 | EX86_PREF_66)) != (EX86_PREF_F3 | EX86_PREF_66)); 27565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 27665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich size &= 0xf; 27765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size = size; 27865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 27965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & (EX86_PREF_F2 | EX86_PREF_F3)) 28065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size++; 28165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_PREF_66) 28265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size++; 28365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 28465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Calculate size of b. */ 28565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += 1; /* mod r/m byte. */ 28665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (b & SLJIT_MEM) { 28765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((b & REG_MASK) == SLJIT_UNUSED) 28865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += sizeof(sljit_sw); 28965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (immb != 0 && !(b & OFFS_REG_MASK)) { 29065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Immediate operand. */ 29165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (immb <= 127 && immb >= -128) 29265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += sizeof(sljit_sb); 29365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 29465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += sizeof(sljit_sw); 29565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 29665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 29765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((b & REG_MASK) == SLJIT_SP && !(b & OFFS_REG_MASK)) 29865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich b |= TO_OFFS_REG(SLJIT_SP); 29965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 30065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((b & OFFS_REG_MASK) != SLJIT_UNUSED) 30165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += 1; /* SIB byte. */ 30265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 30365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 30465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Calculate size of a. */ 30565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (a & SLJIT_IMM) { 30665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_BIN_INS) { 30765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (imma <= 127 && imma >= -128) { 30865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += 1; 30965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich flags |= EX86_BYTE_ARG; 31065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } else 31165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += 4; 31265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 31365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (flags & EX86_SHIFT_INS) { 31465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich imma &= 0x1f; 31565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (imma != 1) { 31665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size ++; 31765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich flags |= EX86_BYTE_ARG; 31865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 31965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } else if (flags & EX86_BYTE_ARG) 32065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size++; 32165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (flags & EX86_HALF_ARG) 32265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += sizeof(short); 32365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 32465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst_size += sizeof(sljit_sw); 32565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 32665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 32765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich SLJIT_ASSERT(!(flags & EX86_SHIFT_INS) || a == SLJIT_PREF_SHIFT_REG); 32865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 32965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + inst_size); 33065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PTR_FAIL_IF(!inst); 33165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 33265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Encoding the byte. */ 33365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(inst_size); 33465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_PREF_F2) 33565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 0xf2; 33665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_PREF_F3) 33765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 0xf3; 33865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_PREF_66) 33965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 0x66; 34065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 34165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich buf_ptr = inst + size; 34265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 34365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Encode mod/rm byte. */ 34465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (!(flags & EX86_SHIFT_INS)) { 34565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((flags & EX86_BIN_INS) && (a & SLJIT_IMM)) 34665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst = (flags & EX86_BYTE_ARG) ? GROUP_BINARY_83 : GROUP_BINARY_81; 34765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 34865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((a & SLJIT_IMM) || (a == 0)) 34965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr = 0; 35065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (!(flags & EX86_SSE2_OP1)) 35165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr = reg_map[a] << 3; 35265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 35365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr = a << 3; 35465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 35565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 35665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (a & SLJIT_IMM) { 35765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (imma == 1) 35865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst = GROUP_SHIFT_1; 35965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 36065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst = GROUP_SHIFT_N; 36165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } else 36265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst = GROUP_SHIFT_CL; 36365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr = 0; 36465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 36565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 36665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (!(b & SLJIT_MEM)) 36765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ |= MOD_REG + ((!(flags & EX86_SSE2_OP2)) ? reg_map[b] : b); 36865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if ((b & REG_MASK) != SLJIT_UNUSED) { 36965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((b & OFFS_REG_MASK) == SLJIT_UNUSED || (b & OFFS_REG_MASK) == TO_OFFS_REG(SLJIT_SP)) { 37065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (immb != 0) { 37165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (immb <= 127 && immb >= -128) 37265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr |= 0x40; 37365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else 37465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr |= 0x80; 37565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 37665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 37765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if ((b & OFFS_REG_MASK) == SLJIT_UNUSED) 37865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ |= reg_map[b & REG_MASK]; 37965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 38065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ |= 0x04; 38165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ = reg_map[b & REG_MASK] | (reg_map[OFFS_REG(b)] << 3); 38265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 38365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 38465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (immb != 0) { 38565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (immb <= 127 && immb >= -128) 38665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ = immb; /* 8 bit displacement. */ 38765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 38865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)buf_ptr = immb; /* 32 bit displacement. */ 38965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich buf_ptr += sizeof(sljit_sw); 39065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 39165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 39265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 39365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 39465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ |= 0x04; 39565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ = reg_map[b & REG_MASK] | (reg_map[OFFS_REG(b)] << 3) | (immb << 6); 39665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 39765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 39865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 39965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr++ |= 0x05; 40065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)buf_ptr = immb; /* 32 bit displacement. */ 40165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich buf_ptr += sizeof(sljit_sw); 40265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 40365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 40465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (a & SLJIT_IMM) { 40565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (flags & EX86_BYTE_ARG) 40665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *buf_ptr = imma; 40765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (flags & EX86_HALF_ARG) 40865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(short*)buf_ptr = imma; 40965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (!(flags & EX86_SHIFT_INS)) 41065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)buf_ptr = imma; 41165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 41265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 41365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return !(flags & EX86_SHIFT_INS) ? inst : (inst + 1); 41465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 41565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 41665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* --------------------------------------------------------------------- */ 41765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* Call / return instructions */ 41865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich/* --------------------------------------------------------------------- */ 41965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 42065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevichstatic SLJIT_INLINE sljit_si call_with_args(struct sljit_compiler *compiler, sljit_si type) 42165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 42265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 42365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 42465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL) 42565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, type >= SLJIT_CALL3 ? 1 + 2 + 1 : 1 + 2); 42665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 42765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(type >= SLJIT_CALL3 ? 2 + 1 : 2); 42865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 42965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (type >= SLJIT_CALL3) 43065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[SLJIT_R2]); 43165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_r_rm; 43265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_R2] << 3) | reg_map[SLJIT_R0]; 43365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#else 43465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 4 * (type - SLJIT_CALL0)); 43565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 43665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(4 * (type - SLJIT_CALL0)); 43765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 43865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_rm_r; 43965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_R0] << 3) | 0x4 /* SIB */; 44065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_SP]; 44165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 0; 44265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (type >= SLJIT_CALL2) { 44365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_rm_r; 44465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_R1] << 3) | 0x4 /* SIB */; 44565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_SP]; 44665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = sizeof(sljit_sw); 44765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 44865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (type >= SLJIT_CALL3) { 44965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOV_rm_r; 45065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = MOD_DISP8 | (reg_map[SLJIT_R2] << 3) | 0x4 /* SIB */; 45165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_SP]; 45265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = 2 * sizeof(sljit_sw); 45365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 45465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich#endif 45565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 45665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 45765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 45865de34233da93a3d65c00b8aad3ff9aad44c57deNick KralevichSLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_si dst, sljit_sw dstw) 45965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 46065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 46165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 46265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_ERROR(); 46365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich check_sljit_emit_fast_enter(compiler, dst, dstw); 46465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich ADJUST_LOCAL_OFFSET(dst, dstw); 46565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 46665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_EXTRA_REGS(dst, dstw, (void)0); 46765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 46865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* For UNUSED dst. Uncommon, but possible. */ 46965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (dst == SLJIT_UNUSED) 47065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich dst = TMP_REG1; 47165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 47265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (FAST_IS_REG(dst)) { 47365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Unused dest is possible here. */ 47465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 1); 47565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 47665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 47765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(1); 47865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich POP_REG(reg_map[dst]); 47965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 48065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 48165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 48265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* Memory. */ 48365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = emit_x86_instruction(compiler, 1, 0, 0, dst, dstw); 48465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 48565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = POP_rm; 48665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 48765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 48865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 48965de34233da93a3d65c00b8aad3ff9aad44c57deNick KralevichSLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_si src, sljit_sw srcw) 49065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich{ 49165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich sljit_ub *inst; 49265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 49365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_ERROR(); 49465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich check_sljit_emit_fast_return(compiler, src, srcw); 49565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich ADJUST_LOCAL_OFFSET(src, srcw); 49665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 49765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich CHECK_EXTRA_REGS(src, srcw, (void)0); 49865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 49965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich if (FAST_IS_REG(src)) { 50065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 1 + 1); 50165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 50265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 50365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(1 + 1); 50465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich PUSH_REG(reg_map[src]); 50565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 50665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else if (src & SLJIT_MEM) { 50765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = emit_x86_instruction(compiler, 1, 0, 0, src, srcw); 50865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 50965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = GROUP_FF; 51065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst |= PUSH_rm; 51165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 51265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 1); 51365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 51465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(1); 51565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 51665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich else { 51765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich /* SLJIT_IMM. */ 51865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst = (sljit_ub*)ensure_buf(compiler, 1 + 5 + 1); 51965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich FAIL_IF(!inst); 52065de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 52165de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich INC_SIZE(5 + 1); 52265de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *inst++ = PUSH_i32; 52365de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich *(sljit_sw*)inst = srcw; 52465de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich inst += sizeof(sljit_sw); 52565de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich } 52665de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich 52765de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich RET(); 52865de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich return SLJIT_SUCCESS; 52965de34233da93a3d65c00b8aad3ff9aad44c57deNick Kralevich} 530