2 * Stack-less Just-In-Time compiler
4 * Copyright 2009-2012 Zoltan Herczeg (hzmester@freemail.hu). All rights reserved.
6 * Redistribution and use in source and binary forms, with or without modification, are
7 * permitted provided that the following conditions are met:
9 * 1. Redistributions of source code must retain the above copyright notice, this list of
10 * conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright notice, this list
13 * of conditions and the following disclaimer in the documentation and/or other materials
14 * provided with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) AND CONTRIBUTORS ``AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT
19 * SHALL THE COPYRIGHT HOLDER(S) OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
21 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
22 * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
24 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 /* x86 32-bit arch dependent functions. */
29 static sljit_si emit_do_imm(struct sljit_compiler *compiler, sljit_ub opcode, sljit_sw imm)
33 inst = (sljit_ub*)ensure_buf(compiler, 1 + 1 + sizeof(sljit_sw));
35 INC_SIZE(1 + sizeof(sljit_sw));
37 *(sljit_sw*)inst = imm;
41 static sljit_ub* generate_far_jump_code(struct sljit_jump *jump, sljit_ub *code_ptr, sljit_si type)
43 if (type == SLJIT_JUMP) {
44 *code_ptr++ = JMP_i32;
47 else if (type >= SLJIT_FAST_CALL) {
48 *code_ptr++ = CALL_i32;
52 *code_ptr++ = GROUP_0F;
53 *code_ptr++ = get_jump_code(type);
57 if (jump->flags & JUMP_LABEL)
58 jump->flags |= PATCH_MW;
60 *(sljit_sw*)code_ptr = jump->u.target - (jump->addr + 4);
66 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_enter(struct sljit_compiler *compiler, sljit_si args, sljit_si scratches, sljit_si saveds, sljit_si local_size)
69 sljit_si locals_offset;
73 check_sljit_emit_enter(compiler, args, scratches, saveds, local_size);
75 compiler->scratches = scratches;
76 compiler->saveds = saveds;
77 compiler->args = args;
78 compiler->flags_saved = 0;
79 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
80 compiler->logical_local_size = local_size;
83 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
84 size = 1 + (saveds <= 3 ? saveds : 3) + (args > 0 ? (args * 2) : 0) + (args > 2 ? 2 : 0);
86 size = 1 + (saveds <= 3 ? saveds : 3) + (args > 0 ? (2 + args * 3) : 0);
88 inst = (sljit_ub*)ensure_buf(compiler, 1 + size);
92 PUSH_REG(reg_map[TMP_REG1]);
93 #if !(defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
96 *inst++ = MOD_REG | (reg_map[TMP_REG1] << 3) | 0x4 /* esp */;
100 PUSH_REG(reg_map[SLJIT_SAVED_REG3]);
102 PUSH_REG(reg_map[SLJIT_SAVED_REG2]);
104 PUSH_REG(reg_map[SLJIT_SAVED_REG1]);
106 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
109 *inst++ = MOD_REG | (reg_map[SLJIT_SAVED_REG1] << 3) | reg_map[SLJIT_SCRATCH_REG3];
113 *inst++ = MOD_REG | (reg_map[SLJIT_SAVED_REG2] << 3) | reg_map[SLJIT_SCRATCH_REG2];
117 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SAVED_REG3] << 3) | 0x4 /* esp */;
119 *inst++ = sizeof(sljit_sw) * (3 + 2); /* saveds >= 3 as well. */
124 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SAVED_REG1] << 3) | reg_map[TMP_REG1];
125 *inst++ = sizeof(sljit_sw) * 2;
129 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SAVED_REG2] << 3) | reg_map[TMP_REG1];
130 *inst++ = sizeof(sljit_sw) * 3;
134 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SAVED_REG3] << 3) | reg_map[TMP_REG1];
135 *inst++ = sizeof(sljit_sw) * 4;
139 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
140 locals_offset = 2 * sizeof(sljit_uw);
142 SLJIT_COMPILE_ASSERT(FIXED_LOCALS_OFFSET >= 2 * sizeof(sljit_uw), require_at_least_two_words);
143 locals_offset = FIXED_LOCALS_OFFSET;
145 compiler->scratches_start = locals_offset;
147 locals_offset += (scratches - 3) * sizeof(sljit_uw);
148 compiler->saveds_start = locals_offset;
150 locals_offset += (saveds - 3) * sizeof(sljit_uw);
151 compiler->locals_offset = locals_offset;
152 #if defined(__APPLE__)
153 saveds = (2 + (saveds <= 3 ? saveds : 3)) * sizeof(sljit_uw);
154 local_size = ((locals_offset + saveds + local_size + 15) & ~15) - saveds;
156 local_size = locals_offset + ((local_size + sizeof(sljit_uw) - 1) & ~(sizeof(sljit_uw) - 1));
159 compiler->local_size = local_size;
161 if (local_size > 1024) {
162 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
163 FAIL_IF(emit_do_imm(compiler, MOV_r_i32 + reg_map[SLJIT_SCRATCH_REG1], local_size));
165 local_size -= FIXED_LOCALS_OFFSET;
166 FAIL_IF(emit_do_imm(compiler, MOV_r_i32 + reg_map[SLJIT_SCRATCH_REG1], local_size));
167 FAIL_IF(emit_non_cum_binary(compiler, SUB_r_rm, SUB_rm_r, SUB, SUB_EAX_i32,
168 SLJIT_LOCALS_REG, 0, SLJIT_LOCALS_REG, 0, SLJIT_IMM, FIXED_LOCALS_OFFSET));
170 FAIL_IF(sljit_emit_ijump(compiler, SLJIT_CALL1, SLJIT_IMM, SLJIT_FUNC_OFFSET(sljit_grow_stack)));
174 SLJIT_ASSERT(local_size > 0);
175 return emit_non_cum_binary(compiler, SUB_r_rm, SUB_rm_r, SUB, SUB_EAX_i32,
176 SLJIT_LOCALS_REG, 0, SLJIT_LOCALS_REG, 0, SLJIT_IMM, local_size);
179 SLJIT_API_FUNC_ATTRIBUTE void sljit_set_context(struct sljit_compiler *compiler, sljit_si args, sljit_si scratches, sljit_si saveds, sljit_si local_size)
181 sljit_si locals_offset;
184 check_sljit_set_context(compiler, args, scratches, saveds, local_size);
186 compiler->scratches = scratches;
187 compiler->saveds = saveds;
188 compiler->args = args;
189 #if (defined SLJIT_DEBUG && SLJIT_DEBUG)
190 compiler->logical_local_size = local_size;
193 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
194 locals_offset = 2 * sizeof(sljit_uw);
196 locals_offset = FIXED_LOCALS_OFFSET;
198 compiler->scratches_start = locals_offset;
200 locals_offset += (scratches - 3) * sizeof(sljit_uw);
201 compiler->saveds_start = locals_offset;
203 locals_offset += (saveds - 3) * sizeof(sljit_uw);
204 compiler->locals_offset = locals_offset;
205 #if defined(__APPLE__)
206 saveds = (2 + (saveds <= 3 ? saveds : 3)) * sizeof(sljit_uw);
207 compiler->local_size = ((locals_offset + saveds + local_size + 15) & ~15) - saveds;
209 compiler->local_size = locals_offset + ((local_size + sizeof(sljit_uw) - 1) & ~(sizeof(sljit_uw) - 1));
213 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_return(struct sljit_compiler *compiler, sljit_si op, sljit_si src, sljit_sw srcw)
219 check_sljit_emit_return(compiler, op, src, srcw);
220 SLJIT_ASSERT(compiler->args >= 0);
222 compiler->flags_saved = 0;
223 FAIL_IF(emit_mov_before_return(compiler, op, src, srcw));
225 SLJIT_ASSERT(compiler->local_size > 0);
226 FAIL_IF(emit_cum_binary(compiler, ADD_r_rm, ADD_rm_r, ADD, ADD_EAX_i32,
227 SLJIT_LOCALS_REG, 0, SLJIT_LOCALS_REG, 0, SLJIT_IMM, compiler->local_size));
229 size = 2 + (compiler->saveds <= 3 ? compiler->saveds : 3);
230 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
231 if (compiler->args > 2)
234 if (compiler->args > 0)
237 inst = (sljit_ub*)ensure_buf(compiler, 1 + size);
242 if (compiler->saveds > 0)
243 POP_REG(reg_map[SLJIT_SAVED_REG1]);
244 if (compiler->saveds > 1)
245 POP_REG(reg_map[SLJIT_SAVED_REG2]);
246 if (compiler->saveds > 2)
247 POP_REG(reg_map[SLJIT_SAVED_REG3]);
248 POP_REG(reg_map[TMP_REG1]);
249 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
250 if (compiler->args > 2)
251 RET_I16(sizeof(sljit_sw));
258 return SLJIT_SUCCESS;
261 /* --------------------------------------------------------------------- */
263 /* --------------------------------------------------------------------- */
265 /* Size contains the flags as well. */
266 static sljit_ub* emit_x86_instruction(struct sljit_compiler *compiler, sljit_si size,
267 /* The register or immediate operand. */
268 sljit_si a, sljit_sw imma,
269 /* The general operand (not immediate). */
270 sljit_si b, sljit_sw immb)
274 sljit_si flags = size & ~0xf;
277 /* Both cannot be switched on. */
278 SLJIT_ASSERT((flags & (EX86_BIN_INS | EX86_SHIFT_INS)) != (EX86_BIN_INS | EX86_SHIFT_INS));
279 /* Size flags not allowed for typed instructions. */
280 SLJIT_ASSERT(!(flags & (EX86_BIN_INS | EX86_SHIFT_INS)) || (flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) == 0);
281 /* Both size flags cannot be switched on. */
282 SLJIT_ASSERT((flags & (EX86_BYTE_ARG | EX86_HALF_ARG)) != (EX86_BYTE_ARG | EX86_HALF_ARG));
283 #if (defined SLJIT_SSE2 && SLJIT_SSE2)
284 /* SSE2 and immediate is not possible. */
285 SLJIT_ASSERT(!(a & SLJIT_IMM) || !(flags & EX86_SSE2));
286 SLJIT_ASSERT((flags & (EX86_PREF_F2 | EX86_PREF_F3)) != (EX86_PREF_F2 | EX86_PREF_F3)
287 && (flags & (EX86_PREF_F2 | EX86_PREF_66)) != (EX86_PREF_F2 | EX86_PREF_66)
288 && (flags & (EX86_PREF_F3 | EX86_PREF_66)) != (EX86_PREF_F3 | EX86_PREF_66));
294 #if (defined SLJIT_SSE2 && SLJIT_SSE2)
295 if (flags & (EX86_PREF_F2 | EX86_PREF_F3))
298 if (flags & EX86_PREF_66)
301 /* Calculate size of b. */
302 inst_size += 1; /* mod r/m byte. */
304 if ((b & REG_MASK) == SLJIT_UNUSED)
305 inst_size += sizeof(sljit_sw);
306 else if (immb != 0 && !(b & OFFS_REG_MASK)) {
307 /* Immediate operand. */
308 if (immb <= 127 && immb >= -128)
309 inst_size += sizeof(sljit_sb);
311 inst_size += sizeof(sljit_sw);
314 if ((b & REG_MASK) == SLJIT_LOCALS_REG && !(b & OFFS_REG_MASK))
315 b |= TO_OFFS_REG(SLJIT_LOCALS_REG);
317 if ((b & OFFS_REG_MASK) != SLJIT_UNUSED)
318 inst_size += 1; /* SIB byte. */
321 /* Calculate size of a. */
323 if (flags & EX86_BIN_INS) {
324 if (imma <= 127 && imma >= -128) {
326 flags |= EX86_BYTE_ARG;
330 else if (flags & EX86_SHIFT_INS) {
334 flags |= EX86_BYTE_ARG;
336 } else if (flags & EX86_BYTE_ARG)
338 else if (flags & EX86_HALF_ARG)
339 inst_size += sizeof(short);
341 inst_size += sizeof(sljit_sw);
344 SLJIT_ASSERT(!(flags & EX86_SHIFT_INS) || a == SLJIT_PREF_SHIFT_REG);
346 inst = (sljit_ub*)ensure_buf(compiler, 1 + inst_size);
349 /* Encoding the byte. */
351 #if (defined SLJIT_SSE2 && SLJIT_SSE2)
352 if (flags & EX86_PREF_F2)
354 if (flags & EX86_PREF_F3)
357 if (flags & EX86_PREF_66)
360 buf_ptr = inst + size;
362 /* Encode mod/rm byte. */
363 if (!(flags & EX86_SHIFT_INS)) {
364 if ((flags & EX86_BIN_INS) && (a & SLJIT_IMM))
365 *inst = (flags & EX86_BYTE_ARG) ? GROUP_BINARY_83 : GROUP_BINARY_81;
367 if ((a & SLJIT_IMM) || (a == 0))
369 #if (defined SLJIT_SSE2 && SLJIT_SSE2)
370 else if (!(flags & EX86_SSE2))
371 *buf_ptr = reg_map[a] << 3;
376 *buf_ptr = reg_map[a] << 3;
382 *inst = GROUP_SHIFT_1;
384 *inst = GROUP_SHIFT_N;
386 *inst = GROUP_SHIFT_CL;
390 if (!(b & SLJIT_MEM))
391 #if (defined SLJIT_SSE2 && SLJIT_SSE2)
392 *buf_ptr++ |= MOD_REG + ((!(flags & EX86_SSE2)) ? reg_map[b] : b);
394 *buf_ptr++ |= MOD_REG + reg_map[b];
396 else if ((b & REG_MASK) != SLJIT_UNUSED) {
397 if ((b & OFFS_REG_MASK) == SLJIT_UNUSED || (b & OFFS_REG_MASK) == TO_OFFS_REG(SLJIT_LOCALS_REG)) {
399 if (immb <= 127 && immb >= -128)
405 if ((b & OFFS_REG_MASK) == SLJIT_UNUSED)
406 *buf_ptr++ |= reg_map[b & REG_MASK];
409 *buf_ptr++ = reg_map[b & REG_MASK] | (reg_map[OFFS_REG(b)] << 3);
413 if (immb <= 127 && immb >= -128)
414 *buf_ptr++ = immb; /* 8 bit displacement. */
416 *(sljit_sw*)buf_ptr = immb; /* 32 bit displacement. */
417 buf_ptr += sizeof(sljit_sw);
423 *buf_ptr++ = reg_map[b & REG_MASK] | (reg_map[OFFS_REG(b)] << 3) | (immb << 6);
428 *(sljit_sw*)buf_ptr = immb; /* 32 bit displacement. */
429 buf_ptr += sizeof(sljit_sw);
433 if (flags & EX86_BYTE_ARG)
435 else if (flags & EX86_HALF_ARG)
436 *(short*)buf_ptr = imma;
437 else if (!(flags & EX86_SHIFT_INS))
438 *(sljit_sw*)buf_ptr = imma;
441 return !(flags & EX86_SHIFT_INS) ? inst : (inst + 1);
444 /* --------------------------------------------------------------------- */
445 /* Call / return instructions */
446 /* --------------------------------------------------------------------- */
448 static SLJIT_INLINE sljit_si call_with_args(struct sljit_compiler *compiler, sljit_si type)
452 #if (defined SLJIT_X86_32_FASTCALL && SLJIT_X86_32_FASTCALL)
453 inst = (sljit_ub*)ensure_buf(compiler, type >= SLJIT_CALL3 ? 1 + 2 + 1 : 1 + 2);
455 INC_SIZE(type >= SLJIT_CALL3 ? 2 + 1 : 2);
457 if (type >= SLJIT_CALL3)
458 PUSH_REG(reg_map[SLJIT_SCRATCH_REG3]);
460 *inst++ = MOD_REG | (reg_map[SLJIT_SCRATCH_REG3] << 3) | reg_map[SLJIT_SCRATCH_REG1];
462 inst = (sljit_ub*)ensure_buf(compiler, 1 + 4 * (type - SLJIT_CALL0));
464 INC_SIZE(4 * (type - SLJIT_CALL0));
467 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SCRATCH_REG1] << 3) | 0x4 /* SIB */;
468 *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_LOCALS_REG];
470 if (type >= SLJIT_CALL2) {
472 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SCRATCH_REG2] << 3) | 0x4 /* SIB */;
473 *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_LOCALS_REG];
474 *inst++ = sizeof(sljit_sw);
476 if (type >= SLJIT_CALL3) {
478 *inst++ = MOD_DISP8 | (reg_map[SLJIT_SCRATCH_REG3] << 3) | 0x4 /* SIB */;
479 *inst++ = (0x4 /* none*/ << 3) | reg_map[SLJIT_LOCALS_REG];
480 *inst++ = 2 * sizeof(sljit_sw);
483 return SLJIT_SUCCESS;
486 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_enter(struct sljit_compiler *compiler, sljit_si dst, sljit_sw dstw)
491 check_sljit_emit_fast_enter(compiler, dst, dstw);
492 ADJUST_LOCAL_OFFSET(dst, dstw);
494 CHECK_EXTRA_REGS(dst, dstw, (void)0);
496 /* For UNUSED dst. Uncommon, but possible. */
497 if (dst == SLJIT_UNUSED)
500 if (FAST_IS_REG(dst)) {
501 /* Unused dest is possible here. */
502 inst = (sljit_ub*)ensure_buf(compiler, 1 + 1);
506 POP_REG(reg_map[dst]);
507 return SLJIT_SUCCESS;
511 inst = emit_x86_instruction(compiler, 1, 0, 0, dst, dstw);
514 return SLJIT_SUCCESS;
517 SLJIT_API_FUNC_ATTRIBUTE sljit_si sljit_emit_fast_return(struct sljit_compiler *compiler, sljit_si src, sljit_sw srcw)
522 check_sljit_emit_fast_return(compiler, src, srcw);
523 ADJUST_LOCAL_OFFSET(src, srcw);
525 CHECK_EXTRA_REGS(src, srcw, (void)0);
527 if (FAST_IS_REG(src)) {
528 inst = (sljit_ub*)ensure_buf(compiler, 1 + 1 + 1);
532 PUSH_REG(reg_map[src]);
534 else if (src & SLJIT_MEM) {
535 inst = emit_x86_instruction(compiler, 1, 0, 0, src, srcw);
540 inst = (sljit_ub*)ensure_buf(compiler, 1 + 1);
546 inst = (sljit_ub*)ensure_buf(compiler, 1 + 5 + 1);
551 *(sljit_sw*)inst = srcw;
552 inst += sizeof(sljit_sw);
556 return SLJIT_SUCCESS;