1 /* src/vm/jit/i386/codegen.h - code generation macros and definitions for i386
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
32 #include "vm/jit/i386/emit.h"
34 #include "vm/jit/jit.hpp"
37 #if defined(ENABLE_LSRA)
38 /* let LSRA allocate reserved registers (REG_ITMP[1|2|3]) */
39 # define LSRA_USES_REG_RES
43 /* additional functions and macros to generate code ***************************/
45 #define CALCOFFSETBYTES(var, reg, val) \
46 if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
47 else if ((s4) (val) != 0) (var) += 1; \
48 else if ((reg) == EBP) (var) += 1;
51 #define CALCIMMEDIATEBYTES(var, val) \
52 if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
56 #define ALIGNCODENOP \
58 for (s1 = 0; s1 < (s4) (((ptrint) cd->mcodeptr) & 7); s1++) \
63 /* MCODECHECK(icnt) */
65 #define MCODECHECK(icnt) \
67 if ((cd->mcodeptr + (icnt)) > (u1 *) cd->mcodeend) \
68 codegen_increase(cd); \
72 #define M_FMOV(reg,dreg) \
78 #define M_DMOV(a,b) M_FMOV(a,b)
92 M_CLR(GET_LOW_REG(d)); \
93 M_CLR(GET_HIGH_REG(d)); \
95 M_MOV_IMM((c), GET_LOW_REG(d)); \
96 M_MOV_IMM((c) >> 32, GET_HIGH_REG(d)); \
101 /* branch defines *************************************************************/
103 #define BRANCH_UNCONDITIONAL_SIZE 5 /* size in bytes of a branch */
104 #define BRANCH_CONDITIONAL_SIZE 6 /* size in bytes of a branch */
106 #define BRANCH_NOPS \
117 /* patcher defines ************************************************************/
119 #define PATCHER_CALL_SIZE 2 /* size in bytes of a patcher call */
121 #define PATCHER_NOPS \
128 /* macros to create code ******************************************************/
132 *(cd->mcodeptr) = (a); \
137 #define M_BYTE2(a, b) \
144 #define M_ILD(a,b,disp) emit_mov_membase_reg(cd, (b), (disp), (a))
145 #define M_ILD32(a,b,disp) emit_mov_membase32_reg(cd, (b), (disp), (a))
147 #define M_ALD(a,b,disp) M_ILD(a,b,disp)
148 #define M_ALD32(a,b,disp) M_ILD32(a,b,disp)
150 #define M_ALD_MEM(a,disp) emit_mov_mem_reg(cd, (disp), (a))
152 #define M_ALD_MEM_GET_OPC(p) (*(p))
153 #define M_ALD_MEM_GET_MOD(p) (((*(p + 1)) >> 6) & 0x03)
154 #define M_ALD_MEM_GET_REG(p) (((*(p + 1)) >> 3) & 0x07)
155 #define M_ALD_MEM_GET_RM(p) (((*(p + 1)) ) & 0x07)
156 #define M_ALD_MEM_GET_DISP(p) (*((u4 *) (p + 2)))
158 #define M_LLD(a,b,disp) \
160 M_ILD(GET_LOW_REG(a),b,disp); \
161 M_ILD(GET_HIGH_REG(a),b,disp + 4); \
164 #define M_LLD32(a,b,disp) \
166 M_ILD32(GET_LOW_REG(a),b,disp); \
167 M_ILD32(GET_HIGH_REG(a),b,disp + 4); \
170 #define M_IST(a,b,disp) emit_mov_reg_membase(cd, (a), (b), (disp))
171 #define M_IST_IMM(a,b,disp) emit_mov_imm_membase(cd, (u4) (a), (b), (disp))
172 #define M_AST(a,b,disp) M_IST(a,b,disp)
173 #define M_AST_IMM(a,b,disp) M_IST_IMM(a,b,disp)
175 #define M_IST32(a,b,disp) emit_mov_reg_membase32(cd, (a), (b), (disp))
176 #define M_IST32_IMM(a,b,disp) emit_mov_imm_membase32(cd, (u4) (a), (b), (disp))
178 #define M_LST(a,b,disp) \
180 M_IST(GET_LOW_REG(a),b,disp); \
181 M_IST(GET_HIGH_REG(a),b,disp + 4); \
184 #define M_LST32(a,b,disp) \
186 M_IST32(GET_LOW_REG(a),b,disp); \
187 M_IST32(GET_HIGH_REG(a),b,disp + 4); \
190 #define M_LST_IMM(a,b,disp) \
192 M_IST_IMM(a,b,disp); \
193 M_IST_IMM(a >> 32,b,disp + 4); \
196 #define M_LST32_IMM(a,b,disp) \
198 M_IST32_IMM(a,b,disp); \
199 M_IST32_IMM(a >> 32,b,disp + 4); \
202 #define M_IADD(a,b) emit_alu_reg_reg(cd, ALU_ADD, (a), (b))
203 #define M_ISUB(a,b) emit_alu_reg_reg(cd, ALU_SUB, (a), (b))
204 #define M_IMUL(a,b) emit_imul_reg_reg(cd, (a), (b))
205 #define M_IDIV(a) emit_idiv_reg(cd, (a))
207 #define M_MUL(a) emit_mul_reg(cd, (a))
209 #define M_IADD_IMM(a,b) emit_alu_imm_reg(cd, ALU_ADD, (a), (b))
210 #define M_ISUB_IMM(a,b) emit_alu_imm_reg(cd, ALU_SUB, (a), (b))
211 #define M_IMUL_IMM(a,b,c) emit_imul_imm_reg_reg(cd, (b), (a), (c))
213 #define M_IADD_IMM32(a,b) emit_alu_imm32_reg(cd, ALU_ADD, (a), (b))
214 #define M_ISUB_IMM32(a,b) emit_alu_imm32_reg(cd, ALU_SUB, (a), (b))
216 #define M_IADD_IMM_MEMBASE(a,b,c) emit_alu_imm_membase(cd, ALU_ADD, (a), (b), (c))
218 #define M_ISUB_IMM_MEMABS(a,b) emit_alu_imm_memabs(cd, ALU_SUB, (a), (b))
220 #define M_IINC(a) emit_inc_reg(cd, (a))
222 #define M_IADDC(a,b) emit_alu_reg_reg(cd, ALU_ADC, (a), (b))
223 #define M_ISUBB(a,b) emit_alu_reg_reg(cd, ALU_SBB, (a), (b))
225 #define M_IADDC_IMM(a,b) emit_alu_imm_reg(cd, ALU_ADC, (a), (b))
226 #define M_ISUBB_IMM(a,b) emit_alu_imm_reg(cd, ALU_SBB, (a), (b))
228 #define M_AADD_IMM(a,b) M_IADD_IMM(a,b)
229 #define M_AADD_IMM32(a,b) M_IADD_IMM32(a,b)
230 #define M_ASUB_IMM(a,b) M_ISUB_IMM(a,b)
232 #define M_NEG(a) emit_neg_reg(cd, (a))
234 #define M_AND(a,b) emit_alu_reg_reg(cd, ALU_AND, (a), (b))
235 #define M_OR(a,b) emit_alu_reg_reg(cd, ALU_OR, (a), (b))
236 #define M_XOR(a,b) emit_alu_reg_reg(cd, ALU_XOR, (a), (b))
238 #define M_AND_IMM(a,b) emit_alu_imm_reg(cd, ALU_AND, (a), (b))
239 #define M_OR_IMM(a,b) emit_alu_imm_reg(cd, ALU_OR, (a), (b))
240 #define M_XOR_IMM(a,b) emit_alu_imm_reg(cd, ALU_XOR, (a), (b))
242 #define M_AND_IMM32(a,b) emit_alu_imm32_reg(cd, ALU_AND, (a), (b))
244 #define M_CLR(a) M_XOR(a,a)
246 #define M_PUSH(a) emit_push_reg(cd, (a))
247 #define M_PUSH_IMM(a) emit_push_imm(cd, (s4) (a))
248 #define M_POP(a) emit_pop_reg(cd, (a))
250 #define M_MOV(a,b) emit_mov_reg_reg(cd, (a), (b))
251 #define M_MOV_IMM(a,b) emit_mov_imm_reg(cd, (u4) (a), (b))
252 #define M_MOV_IMM2(a,b) emit_mov_imm2_reg(cd, (u4) (a), (b))
254 #define M_TEST(a) emit_test_reg_reg(cd, (a), (a))
255 #define M_TEST_IMM(a,b) emit_test_imm_reg(cd, (a), (b))
257 #define M_CMP(a,b) emit_alu_reg_reg(cd, ALU_CMP, (a), (b))
258 #define M_CMP_MEMBASE(a,b,c) emit_alu_membase_reg(cd, ALU_CMP, (a), (b), (c))
259 #define M_CMP_MEMINDEX(a,b,c,d,e) emit_alu_memindex_reg(cd, ALU_CMP, (b), (a), (c), (d), (e))
261 #define M_CMP_IMM(a,b) emit_alu_imm_reg(cd, ALU_CMP, (a), (b))
262 #define M_CMP_IMM_MEMBASE(a,b,c) emit_alu_imm_membase(cd, ALU_CMP, (a), (b), (c))
264 #define M_CMP_IMM32(a,b) emit_alu_imm32_reg(cd, ALU_CMP, (a), (b))
266 #define M_BSEXT(a,b) emit_movsbl_reg_reg(cd, (a), (b))
267 #define M_SSEXT(a,b) emit_movswl_reg_reg(cd, (a), (b))
269 #define M_BZEXT(a,b) emit_movzbl_reg_reg(cd, (a), (b))
270 #define M_CZEXT(a,b) emit_movzwl_reg_reg(cd, (a), (b))
272 #define M_CLTD M_BYTE1(0x99)
274 #define M_SLL(a) emit_shift_reg(cd, SHIFT_SHL, (a))
275 #define M_SRA(a) emit_shift_reg(cd, SHIFT_SAR, (a))
276 #define M_SRL(a) emit_shift_reg(cd, SHIFT_SHR, (a))
278 #define M_SLL_IMM(a,b) emit_shift_imm_reg(cd, SHIFT_SHL, (a), (b))
279 #define M_SRA_IMM(a,b) emit_shift_imm_reg(cd, SHIFT_SAR, (a), (b))
280 #define M_SRL_IMM(a,b) emit_shift_imm_reg(cd, SHIFT_SHR, (a), (b))
282 #define M_SLLD(a,b) emit_shld_reg_reg(cd, (a), (b))
283 #define M_SRLD(a,b) emit_shrd_reg_reg(cd, (a), (b))
285 #define M_SLLD_IMM(a,b,c) emit_shld_imm_reg_reg(cd, (a), (b), (c))
286 #define M_SRLD_IMM(a,b,c) emit_shrd_imm_reg_reg(cd, (a), (b), (c))
288 #define M_CALL(a) emit_call_reg(cd, (a))
289 #define M_CALL_IMM(a) emit_call_imm(cd, (a))
290 #define M_RET M_BYTE1(0xc3)
292 #define M_ACMP(a,b) M_CMP(a,b)
294 #define M_ICMP(a,b) M_CMP(a,b)
295 #define M_ICMP_IMM(a,b) emit_alu_imm_reg(cd, ALU_CMP, (a), (b))
297 #define M_BEQ(a) emit_jcc(cd, CC_E, (a))
298 #define M_BNE(a) emit_jcc(cd, CC_NE, (a))
299 #define M_BLT(a) emit_jcc(cd, CC_L, (a))
300 #define M_BLE(a) emit_jcc(cd, CC_LE, (a))
301 #define M_BGE(a) emit_jcc(cd, CC_GE, (a))
302 #define M_BGT(a) emit_jcc(cd, CC_G, (a))
304 #define M_BB(a) emit_jcc(cd, CC_B, (a))
305 #define M_BBE(a) emit_jcc(cd, CC_BE, (a))
306 #define M_BAE(a) emit_jcc(cd, CC_AE, (a))
307 #define M_BA(a) emit_jcc(cd, CC_A, (a))
308 #define M_BNS(a) emit_jcc(cd, CC_NS, (a))
309 #define M_BS(a) emit_jcc(cd, CC_S, (a))
311 #define M_SETE(a) emit_setcc_reg(cd, CC_E, (a))
313 #define M_JMP(a) emit_jmp_reg(cd, (a))
314 #define M_JMP_IMM(a) emit_jmp_imm(cd, (a))
316 #define M_NOP M_BYTE1(0x90)
317 #define M_UD2 M_BYTE2(0x0f, 0x0b)
320 #define M_FLD(a,b,disp) emit_flds_membase(cd, (b), (disp))
321 #define M_DLD(a,b,disp) emit_fldl_membase(cd, (b), (disp))
323 #define M_FLD32(a,b,disp) emit_flds_membase32(cd, (b), (disp))
324 #define M_DLD32(a,b,disp) emit_fldl_membase32(cd, (b), (disp))
326 #define M_FST(a,b,disp) emit_fstps_membase(cd, (b), (disp))
327 #define M_DST(a,b,disp) emit_fstpl_membase(cd, (b), (disp))
329 #define M_FSTNP(a,b,disp) emit_fsts_membase(cd, (b), (disp))
330 #define M_DSTNP(a,b,disp) emit_fstl_membase(cd, (b), (disp))
332 #endif /* _CODEGEN_H */
336 * These are local overrides for various environment variables in Emacs.
337 * Please do not remove this and leave it at the end of the file, where
338 * Emacs will automagically detect them.
339 * ---------------------------------------------------------------------
342 * indent-tabs-mode: t