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