1f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* 2f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * Stack-less Just-In-Time compiler 3f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 4f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved. 5f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 6f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * Redistribution and use in source and binary forms, with or without modification, are 7f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * permitted provided that the following conditions are met: 8f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 9f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 1. Redistributions of source code must retain the above copyright notice, this list of 10f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * conditions and the following disclaimer. 11f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 12f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 2. Redistributions in binary form must reproduce the above copyright notice, this list 13f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * of conditions and the following disclaimer in the documentation and/or other materials 14f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * provided with the distribution. 15f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * 16f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY 17f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 18f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT 19f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 20f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED 21f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR 22f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 23f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN 24f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 25f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich */ 26f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 27f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* x86 64-bit arch dependent functions. */ 28f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 298b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_s32 emit_load_imm64(struct sljit_compiler *compiler, sljit_s32 reg, sljit_sw imm) 30f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 318b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 32f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 338b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 2 + sizeof(sljit_sw)); 34f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 35f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(2 + sizeof(sljit_sw)); 36f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W | ((reg_map[reg] <= 7) ? 0 : REX_B); 37f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_i32 + (reg_map[reg] & 0x7); 388b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_sw(inst, imm); 39f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 40f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 41f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 428b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_u8* generate_far_jump_code(struct sljit_jump *jump, sljit_u8 *code_ptr, sljit_s32 type) 43f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 44f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (type < SLJIT_JUMP) { 45f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Invert type. */ 46f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = get_jump_code(type ^ 0x1) - 0x10; 47f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = 10 + 3; 48f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 49f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 50f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_COMPILE_ASSERT(reg_map[TMP_REG3] == 9, tmp3_is_9_first); 51f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = REX_W | REX_B; 52f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = MOV_r_i32 + 1; 53f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich jump->addr = (sljit_uw)code_ptr; 54f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 55f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (jump->flags & JUMP_LABEL) 56f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich jump->flags |= PATCH_MD; 57f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 588b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_sw(code_ptr, jump->u.target); 59f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 60f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich code_ptr += sizeof(sljit_sw); 61f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = REX_B; 62f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = GROUP_FF; 63f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = (type >= SLJIT_FAST_CALL) ? (MOD_REG | CALL_rm | 1) : (MOD_REG | JMP_rm | 1); 64f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 65f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return code_ptr; 66f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 67f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 688b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_u8* generate_fixed_jump(sljit_u8 *code_ptr, sljit_sw addr, sljit_s32 type) 69f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 708b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_sw delta = addr - ((sljit_sw)code_ptr + 1 + sizeof(sljit_s32)); 71f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 72f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (delta <= HALFWORD_MAX && delta >= HALFWORD_MIN) { 73f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = (type == 2) ? CALL_i32 : JMP_i32; 748b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_sw(code_ptr, delta); 75f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 76f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 77f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_COMPILE_ASSERT(reg_map[TMP_REG3] == 9, tmp3_is_9_second); 78f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = REX_W | REX_B; 79f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = MOV_r_i32 + 1; 808b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_sw(code_ptr, addr); 81f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich code_ptr += sizeof(sljit_sw); 82f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = REX_B; 83f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = GROUP_FF; 84f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *code_ptr++ = (type == 2) ? (MOD_REG | CALL_rm | 1) : (MOD_REG | JMP_rm | 1); 85f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 86f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 87f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return code_ptr; 88f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 89f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 908b979b2abae173bb836d8e85a842cfd00447d4beJanis DanisevskisSLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_enter(struct sljit_compiler *compiler, 918b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds, 928b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size) 93f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 948b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 i, tmp, size, saved_register_size; 958b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 96f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 97f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich CHECK_ERROR(); 988366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK(check_sljit_emit_enter(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size)); 998366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes set_emit_enter(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size); 100f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 101f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->flags_saved = 0; 102f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 103f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Including the return address saved by the call instruction. */ 104f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich saved_register_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 1); 105f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 106f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich tmp = saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - saveds) : SLJIT_FIRST_SAVED_REG; 107f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich for (i = SLJIT_S0; i >= tmp; i--) { 108f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size = reg_map[i] >= 8 ? 2 : 1; 1098b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + size); 110f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 111f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(size); 112f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[i] >= 8) 113f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 114f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich PUSH_REG(reg_lmap[i]); 115f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 116f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 117f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich for (i = scratches; i >= SLJIT_FIRST_SAVED_REG; i--) { 118f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size = reg_map[i] >= 8 ? 2 : 1; 1198b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + size); 120f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 121f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(size); 122f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[i] >= 8) 123f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 124f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich PUSH_REG(reg_lmap[i]); 125f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 126f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 127f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 0) { 128f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size = args * 3; 1298b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + size); 130f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 131f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 132f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(size); 133f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 134f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#ifndef _WIN64 135f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 0) { 136f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 137f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 138f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S0] << 3) | 0x7 /* rdi */; 139f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 140f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 1) { 141f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W | REX_R; 142f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 143f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_lmap[SLJIT_S1] << 3) | 0x6 /* rsi */; 144f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 145f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 2) { 146f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W | REX_R; 147f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 148f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_lmap[SLJIT_S2] << 3) | 0x2 /* rdx */; 149f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 150f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#else 151f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 0) { 152f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 153f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 154f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S0] << 3) | 0x1 /* rcx */; 155f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 156f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 1) { 157f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 158f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 159f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S1] << 3) | 0x2 /* rdx */; 160f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 161f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (args > 2) { 162f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W | REX_B; 163f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 164f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (reg_map[SLJIT_S2] << 3) | 0x0 /* r8 */; 165f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 166f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 167f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 168f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 1698366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes local_size = ((local_size + SLJIT_LOCALS_OFFSET + saved_register_size + 15) & ~15) - saved_register_size; 170f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->local_size = local_size; 171f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 172f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#ifdef _WIN64 173f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (local_size > 1024) { 174f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Allocate stack for the callback, which grows the stack. */ 1758b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 4 + (3 + sizeof(sljit_s32))); 176f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 1778b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis INC_SIZE(4 + (3 + sizeof(sljit_s32))); 178f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 179f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_BINARY_83; 180f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | SUB | 4; 181f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Allocated size for registers must be divisible by 8. */ 182f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(!(saved_register_size & 0x7)); 183f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Aligned to 16 byte. */ 184f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (saved_register_size & 0x8) { 185f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = 5 * sizeof(sljit_sw); 186f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich local_size -= 5 * sizeof(sljit_sw); 187f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } else { 188f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = 4 * sizeof(sljit_sw); 189f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich local_size -= 4 * sizeof(sljit_sw); 190f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 191f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Second instruction */ 192f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_COMPILE_ASSERT(reg_map[SLJIT_R0] < 8, temporary_reg1_is_loreg); 193f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 194f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_rm_i32; 195f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | reg_lmap[SLJIT_R0]; 1968b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, local_size); 1978366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes#if (defined SLJIT_VERBOSE && SLJIT_VERBOSE) \ 1988366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes || (defined SLJIT_ARGUMENT_CHECKS && SLJIT_ARGUMENT_CHECKS) 199f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->skip_checks = 1; 200f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 201f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(sljit_emit_ijump(compiler, SLJIT_CALL1, SLJIT_IMM, SLJIT_FUNC_OFFSET(sljit_grow_stack))); 202f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 203f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 204f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 205f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(local_size > 0); 206f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (local_size <= 127) { 2078b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 4); 208f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 209f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(4); 210f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 211f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_BINARY_83; 212f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | SUB | 4; 213f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = local_size; 214f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 215f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 2168b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 7); 217f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 218f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(7); 219f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 220f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_BINARY_81; 221f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | SUB | 4; 2228b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, local_size); 2238b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst += sizeof(sljit_s32); 224f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 225f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 226f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#ifdef _WIN64 227f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Save xmm6 register: movaps [rsp + 0x20], xmm6 */ 228f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (fscratches >= 6 || fsaveds >= 1) { 2298b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 5); 230f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 231f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(5); 232f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_0F; 2338b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, 0x20247429); 234f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 235f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 236f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 237f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 238f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 239f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 2408b979b2abae173bb836d8e85a842cfd00447d4beJanis DanisevskisSLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_set_context(struct sljit_compiler *compiler, 2418b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 options, sljit_s32 args, sljit_s32 scratches, sljit_s32 saveds, 2428b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 fscratches, sljit_s32 fsaveds, sljit_s32 local_size) 243f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 2448b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 saved_register_size; 245f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 2468366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK_ERROR(); 2478366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK(check_sljit_set_context(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size)); 2488366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes set_set_context(compiler, options, args, scratches, saveds, fscratches, fsaveds, local_size); 249f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 250f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Including the return address saved by the call instruction. */ 251f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich saved_register_size = GET_SAVED_REGISTERS_SIZE(scratches, saveds, 1); 2528366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes compiler->local_size = ((local_size + SLJIT_LOCALS_OFFSET + saved_register_size + 15) & ~15) - saved_register_size; 2538366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes return SLJIT_SUCCESS; 254f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 255f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 2568b979b2abae173bb836d8e85a842cfd00447d4beJanis DanisevskisSLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_return(struct sljit_compiler *compiler, sljit_s32 op, sljit_s32 src, sljit_sw srcw) 257f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 2588b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 i, tmp, size; 2598b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 260f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 261f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich CHECK_ERROR(); 2628366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK(check_sljit_emit_return(compiler, op, src, srcw)); 263f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 264f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->flags_saved = 0; 265f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(emit_mov_before_return(compiler, op, src, srcw)); 266f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 267f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#ifdef _WIN64 268f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Restore xmm6 register: movaps xmm6, [rsp + 0x20] */ 269f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (compiler->fscratches >= 6 || compiler->fsaveds >= 1) { 2708b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 5); 271f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 272f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(5); 273f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_0F; 2748b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, 0x20247428); 275f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 276f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 277f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 278f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(compiler->local_size > 0); 279f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (compiler->local_size <= 127) { 2808b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 4); 281f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 282f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(4); 283f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 284f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_BINARY_83; 285f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | ADD | 4; 286f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = compiler->local_size; 287f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 288f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 2898b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 7); 290f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 291f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(7); 292f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 293f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_BINARY_81; 294f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | ADD | 4; 2958b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, compiler->local_size); 296f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 297f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 298f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich tmp = compiler->scratches; 299f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich for (i = SLJIT_FIRST_SAVED_REG; i <= tmp; i++) { 300f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size = reg_map[i] >= 8 ? 2 : 1; 3018b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + size); 302f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 303f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(size); 304f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[i] >= 8) 305f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 306f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich POP_REG(reg_lmap[i]); 307f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 308f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 309f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich tmp = compiler->saveds < SLJIT_NUMBER_OF_SAVED_REGISTERS ? (SLJIT_S0 + 1 - compiler->saveds) : SLJIT_FIRST_SAVED_REG; 310f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich for (i = tmp; i <= SLJIT_S0; i++) { 311f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size = reg_map[i] >= 8 ? 2 : 1; 3128b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + size); 313f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 314f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(size); 315f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[i] >= 8) 316f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 317f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich POP_REG(reg_lmap[i]); 318f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 319f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 3208b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 1); 321f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 322f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(1); 323f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich RET(); 324f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 325f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 326f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 327f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 328f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* Operators */ 329f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 330f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 3318b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_s32 emit_do_imm32(struct sljit_compiler *compiler, sljit_u8 rex, sljit_u8 opcode, sljit_sw imm) 332f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 3338b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 3348b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 length = 1 + (rex ? 1 : 0) + sizeof(sljit_s32); 335f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 3368b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + length); 337f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 338f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(length); 339f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (rex) 340f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = rex; 341f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = opcode; 3428b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, imm); 343f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 344f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 345f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 3468b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_u8* emit_x86_instruction(struct sljit_compiler *compiler, sljit_s32 size, 347f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* The register or immediate operand. */ 3488b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 a, sljit_sw imma, 349f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* The general operand (not immediate). */ 3508b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 b, sljit_sw immb) 351f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 3528b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 3538b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *buf_ptr; 3548b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 rex = 0; 3558b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 flags = size & ~0xf; 3568b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 inst_size; 357f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 358f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* The immediate operand must be 32 bit. */ 359f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(!(a & SLJIT_IMM) || compiler->mode32 || IS_HALFWORD(imma)); 360f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Both cannot be switched on. */ 361f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT((flags & (EX86_BIN_INS | EX86_SHIFT_INS)) != (EX86_BIN_INS | EX86_SHIFT_INS)); 362f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Size flags not allowed for typed instructions. */ 363f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(!(flags & (EX86_BIN_INS | EX86_SHIFT_INS)) || (flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) == 0); 364f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Both size flags cannot be switched on. */ 365f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT((flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) != (EX86_BYTE_ARG | EX86_HALF_ARG)); 366f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* SSE2 and immediate is not possible. */ 367f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(!(a & SLJIT_IMM) || !(flags & EX86_SSE2)); 368f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT((flags & (EX86_PREF_F2 | EX86_PREF_F3)) != (EX86_PREF_F2 | EX86_PREF_F3) 369f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich && (flags & (EX86_PREF_F2 | EX86_PREF_66)) != (EX86_PREF_F2 | EX86_PREF_66) 370f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich && (flags & (EX86_PREF_F3 | EX86_PREF_66)) != (EX86_PREF_F3 | EX86_PREF_66)); 371f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 372f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich size &= 0xf; 373f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size = size; 374f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 375f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (!compiler->mode32 && !(flags & EX86_NO_REXW)) 376f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX_W; 377f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (flags & EX86_REX) 378f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX; 379f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 380f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & (EX86_PREF_F2 | EX86_PREF_F3)) 381f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size++; 382f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_PREF_66) 383f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size++; 384f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 385f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Calculate size of b. */ 386f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size += 1; /* mod r/m byte. */ 387f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (b & SLJIT_MEM) { 388f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (!(b & OFFS_REG_MASK)) { 389f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (NOT_HALFWORD(immb)) { 390f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (emit_load_imm64(compiler, TMP_REG3, immb)) 391f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return NULL; 392f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich immb = 0; 393f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (b & REG_MASK) 394f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich b |= TO_OFFS_REG(TMP_REG3); 395f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 396f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich b |= TMP_REG3; 397f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 398f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (reg_lmap[b & REG_MASK] == 4) 399f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich b |= TO_OFFS_REG(SLJIT_SP); 400f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 401f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 402f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((b & REG_MASK) == SLJIT_UNUSED) 4038b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst_size += 1 + sizeof(sljit_s32); /* SIB byte required to avoid RIP based addressing. */ 404f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 405f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[b & REG_MASK] >= 8) 406f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX_B; 407f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 408f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb != 0 && (!(b & OFFS_REG_MASK) || (b & OFFS_REG_MASK) == TO_OFFS_REG(SLJIT_SP))) { 409f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Immediate operand. */ 410f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb <= 127 && immb >= -128) 4118b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst_size += sizeof(sljit_s8); 412f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 4138b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst_size += sizeof(sljit_s32); 414f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 415f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (reg_lmap[b & REG_MASK] == 5) 4168b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst_size += sizeof(sljit_s8); 417f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 418f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((b & OFFS_REG_MASK) != SLJIT_UNUSED) { 419f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size += 1; /* SIB byte. */ 420f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[OFFS_REG(b)] >= 8) 421f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX_X; 422f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 423f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 424f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 425f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (!(flags & EX86_SSE2_OP2) && reg_map[b] >= 8) 426f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX_B; 427f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 428f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (a & SLJIT_IMM) { 429f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_BIN_INS) { 430f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (imma <= 127 && imma >= -128) { 431f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size += 1; 432f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich flags |= EX86_BYTE_ARG; 433f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } else 434f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size += 4; 435f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 436f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (flags & EX86_SHIFT_INS) { 437f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich imma &= compiler->mode32 ? 0x1f : 0x3f; 438f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (imma != 1) { 439f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size ++; 440f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich flags |= EX86_BYTE_ARG; 441f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 442f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } else if (flags & EX86_BYTE_ARG) 443f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size++; 444f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (flags & EX86_HALF_ARG) 445f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size += sizeof(short); 446f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 4478b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst_size += sizeof(sljit_s32); 448f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 449f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 450f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(!(flags & EX86_SHIFT_INS) || a == SLJIT_PREF_SHIFT_REG); 451f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* reg_map[SLJIT_PREF_SHIFT_REG] is less than 8. */ 452f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (!(flags & EX86_SSE2_OP1) && reg_map[a] >= 8) 453f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich rex |= REX_R; 454f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 455f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 456f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (rex) 457f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst_size++; 458f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 4598b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + inst_size); 460f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich PTR_FAIL_IF(!inst); 461f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 462f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Encoding the byte. */ 463f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(inst_size); 464f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_PREF_F2) 465f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = 0xf2; 466f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_PREF_F3) 467f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = 0xf3; 468f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_PREF_66) 469f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = 0x66; 470f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (rex) 471f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = rex; 472f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich buf_ptr = inst + size; 473f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 474f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* Encode mod/rm byte. */ 475f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (!(flags & EX86_SHIFT_INS)) { 476f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((flags & EX86_BIN_INS) && (a & SLJIT_IMM)) 477f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = (flags & EX86_BYTE_ARG) ? GROUP_BINARY_83 : GROUP_BINARY_81; 478f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 479f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((a & SLJIT_IMM) || (a == 0)) 480f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr = 0; 481f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (!(flags & EX86_SSE2_OP1)) 482f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr = reg_lmap[a] << 3; 483f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 484f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr = a << 3; 485f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 486f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 487f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (a & SLJIT_IMM) { 488f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (imma == 1) 489f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = GROUP_SHIFT_1; 490f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 491f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = GROUP_SHIFT_N; 492f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } else 493f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = GROUP_SHIFT_CL; 494f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr = 0; 495f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 496f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 497f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (!(b & SLJIT_MEM)) 498f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ |= MOD_REG + ((!(flags & EX86_SSE2_OP2)) ? reg_lmap[b] : b); 499f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if ((b & REG_MASK) != SLJIT_UNUSED) { 500f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((b & OFFS_REG_MASK) == SLJIT_UNUSED || (b & OFFS_REG_MASK) == TO_OFFS_REG(SLJIT_SP)) { 501f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb != 0 || reg_lmap[b & REG_MASK] == 5) { 502f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb <= 127 && immb >= -128) 503f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr |= 0x40; 504f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else 505f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr |= 0x80; 506f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 507f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 508f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((b & OFFS_REG_MASK) == SLJIT_UNUSED) 509f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ |= reg_lmap[b & REG_MASK]; 510f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 511f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ |= 0x04; 512f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ = reg_lmap[b & REG_MASK] | (reg_lmap[OFFS_REG(b)] << 3); 513f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 514f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 515f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb != 0 || reg_lmap[b & REG_MASK] == 5) { 516f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (immb <= 127 && immb >= -128) 517f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ = immb; /* 8 bit displacement. */ 518f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 5198b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(buf_ptr, immb); /* 32 bit displacement. */ 5208b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis buf_ptr += sizeof(sljit_s32); 521f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 522f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 523f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 524f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 525f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_lmap[b & REG_MASK] == 5) 526f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr |= 0x40; 527f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ |= 0x04; 528f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ = reg_lmap[b & REG_MASK] | (reg_lmap[OFFS_REG(b)] << 3) | (immb << 6); 529f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_lmap[b & REG_MASK] == 5) 530f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ = 0; 531f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 532f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 533f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 534f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ |= 0x04; 535f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr++ = 0x25; 5368b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(buf_ptr, immb); /* 32 bit displacement. */ 5378b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis buf_ptr += sizeof(sljit_s32); 538f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 539f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 540f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (a & SLJIT_IMM) { 541f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (flags & EX86_BYTE_ARG) 542f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *buf_ptr = imma; 543f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (flags & EX86_HALF_ARG) 5448b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s16(buf_ptr, imma); 545f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (!(flags & EX86_SHIFT_INS)) 5468b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(buf_ptr, imma); 547f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 548f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 549f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return !(flags & EX86_SHIFT_INS) ? inst : (inst + 1); 550f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 551f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 552f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 553f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* Call / return instructions */ 554f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 555f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 5568b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic SLJIT_INLINE sljit_s32 call_with_args(struct sljit_compiler *compiler, sljit_s32 type) 557f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 5588b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 559f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 560f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#ifndef _WIN64 561f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_COMPILE_ASSERT(reg_map[SLJIT_R1] == 6 && reg_map[SLJIT_R0] < 8 && reg_map[SLJIT_R2] < 8, args_registers); 562f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 5638b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + ((type < SLJIT_CALL3) ? 3 : 6)); 564f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 565f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE((type < SLJIT_CALL3) ? 3 : 6); 566f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (type >= SLJIT_CALL3) { 567f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 568f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 569f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (0x2 /* rdx */ << 3) | reg_lmap[SLJIT_R2]; 570f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 571f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 572f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 573f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (0x7 /* rdi */ << 3) | reg_lmap[SLJIT_R0]; 574f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#else 575f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_COMPILE_ASSERT(reg_map[SLJIT_R1] == 2 && reg_map[SLJIT_R0] < 8 && reg_map[SLJIT_R2] < 8, args_registers); 576f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 5778b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + ((type < SLJIT_CALL3) ? 3 : 6)); 578f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 579f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE((type < SLJIT_CALL3) ? 3 : 6); 580f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (type >= SLJIT_CALL3) { 581f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W | REX_R; 582f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 583f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (0x0 /* r8 */ << 3) | reg_lmap[SLJIT_R2]; 584f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 585f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_W; 586f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOV_r_rm; 587f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOD_REG | (0x1 /* rcx */ << 3) | reg_lmap[SLJIT_R0]; 588f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich#endif 589f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 590f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 591f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 5928b979b2abae173bb836d8e85a842cfd00447d4beJanis DanisevskisSLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_s32 dst, sljit_sw dstw) 593f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 5948b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 595f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 596f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich CHECK_ERROR(); 5978366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK(check_sljit_emit_fast_enter(compiler, dst, dstw)); 598f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich ADJUST_LOCAL_OFFSET(dst, dstw); 599f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 600f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* For UNUSED dst. Uncommon, but possible. */ 601f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (dst == SLJIT_UNUSED) 602f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich dst = TMP_REG1; 603f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 604f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (FAST_IS_REG(dst)) { 605f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[dst] < 8) { 6068b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 1); 607f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 608f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(1); 609f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich POP_REG(reg_lmap[dst]); 610f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 611f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 612f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 6138b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 2); 614f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 615f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(2); 616f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 617f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich POP_REG(reg_lmap[dst]); 618f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 619f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 620f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 621f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* REX_W is not necessary (src is not immediate). */ 622f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 1; 623f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst = emit_x86_instruction(compiler, 1, 0, 0, dst, dstw); 624f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 625f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = POP_rm; 626f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 627f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 628f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 6298b979b2abae173bb836d8e85a842cfd00447d4beJanis DanisevskisSLJIT_API_FUNC_ATTRIBUTE sljit_s32 sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_s32 src, sljit_sw srcw) 630f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 6318b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8 *inst; 632f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 633f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich CHECK_ERROR(); 6348366e8beecf85b8e61b5c1a1369666db7a292eaeElliott Hughes CHECK(check_sljit_emit_fast_return(compiler, src, srcw)); 635f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich ADJUST_LOCAL_OFFSET(src, srcw); 636f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 637f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((src & SLJIT_IMM) && NOT_HALFWORD(srcw)) { 638f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(emit_load_imm64(compiler, TMP_REG1, srcw)); 639f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich src = TMP_REG1; 640f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 641f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 642f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (FAST_IS_REG(src)) { 643f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (reg_map[src] < 8) { 6448b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 1 + 1); 645f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 646f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 647f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(1 + 1); 648f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich PUSH_REG(reg_lmap[src]); 649f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 650f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 6518b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 2 + 1); 652f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 653f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 654f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(2 + 1); 655f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = REX_B; 656f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich PUSH_REG(reg_lmap[src]); 657f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 658f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 659f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else if (src & SLJIT_MEM) { 660f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* REX_W is not necessary (src is not immediate). */ 661f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 1; 662f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst = emit_x86_instruction(compiler, 1, 0, 0, src, srcw); 663f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 664f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = GROUP_FF; 665f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst |= PUSH_rm; 666f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 6678b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 1); 668f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 669f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(1); 670f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 671f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 672f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich SLJIT_ASSERT(IS_HALFWORD(srcw)); 673f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich /* SLJIT_IMM. */ 6748b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = (sljit_u8*)ensure_buf(compiler, 1 + 5 + 1); 675f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 676f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 677f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich INC_SIZE(5 + 1); 678f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = PUSH_i32; 6798b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_unaligned_store_s32(inst, srcw); 6808b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst += sizeof(sljit_s32); 681f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 682f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 683f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich RET(); 684f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 685f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 686f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 687f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 688f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 689f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* Extend input */ 690f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich/* --------------------------------------------------------------------- */ 691f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 6928b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskisstatic sljit_s32 emit_mov_int(struct sljit_compiler *compiler, sljit_s32 sign, 6938b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 dst, sljit_sw dstw, 6948b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 src, sljit_sw srcw) 695f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich{ 6968b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_u8* inst; 6978b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis sljit_s32 dst_r; 698f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 699f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 0; 700f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 701f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (dst == SLJIT_UNUSED && !(src & SLJIT_MEM)) 702f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; /* Empty instruction. */ 703f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 704f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (src & SLJIT_IMM) { 705f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (FAST_IS_REG(dst)) { 706f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (sign || ((sljit_uw)srcw <= 0x7fffffff)) { 7078b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = emit_x86_instruction(compiler, 1, SLJIT_IMM, (sljit_sw)(sljit_s32)srcw, dst, dstw); 708f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 709f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = MOV_rm_i32; 710f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 711f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 712f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return emit_load_imm64(compiler, dst, srcw); 713f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 714f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 1; 7158b979b2abae173bb836d8e85a842cfd00447d4beJanis Danisevskis inst = emit_x86_instruction(compiler, 1, SLJIT_IMM, (sljit_sw)(sljit_s32)srcw, dst, dstw); 716f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 717f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = MOV_rm_i32; 718f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 0; 719f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 720f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 721f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 722f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich dst_r = FAST_IS_REG(dst) ? dst : TMP_REG1; 723f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 724f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if ((dst & SLJIT_MEM) && FAST_IS_REG(src)) 725f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich dst_r = src; 726f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich else { 727f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (sign) { 728f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst = emit_x86_instruction(compiler, 1, dst_r, 0, src, srcw); 729f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 730f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst++ = MOVSXD_r_rm; 731f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } else { 732f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 1; 733f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(emit_mov(compiler, dst_r, 0, src, srcw)); 734f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 0; 735f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 736f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 737f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 738f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich if (dst & SLJIT_MEM) { 739f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 1; 740f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich inst = emit_x86_instruction(compiler, 1, dst_r, 0, dst, dstw); 741f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich FAIL_IF(!inst); 742f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich *inst = MOV_rm_r; 743f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich compiler->mode32 = 0; 744f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich } 745f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich 746f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich return SLJIT_SUCCESS; 747f73ff17bddb7dc18ff9044773dd65d040e8f4fcfNick Kralevich} 748