1 /* src/vm/jit/i386/codegen.h - code generation macros and definitions for i386
3 Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
4 C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5 E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6 J. Wenninger, Institut f. Computersprachen - TU Wien
8 This file is part of CACAO.
10 This program is free software; you can redistribute it and/or
11 modify it under the terms of the GNU General Public License as
12 published by the Free Software Foundation; either version 2, or (at
13 your option) any later version.
15 This program is distributed in the hope that it will be useful, but
16 WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
25 Contact: cacao@cacaojvm.org
27 Authors: Andreas Krall
32 $Id: codegen.h 4702 2006-03-28 15:41:58Z twisti $
43 #include "vm/jit/jit.h"
46 #if defined(ENABLE_LSRA)
47 /* let LSRA allocate reserved registers (REG_ITMP[1|2|3]) */
48 # define LSRA_USES_REG_RES
51 /* some defines ***************************************************************/
53 #define PATCHER_CALL_SIZE 5 /* size in bytes of a patcher call */
56 /* additional functions and macros to generate code ***************************/
58 #define CALCOFFSETBYTES(var, reg, val) \
59 if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
60 else if ((s4) (val) != 0) (var) += 1; \
61 else if ((reg) == EBP) (var) += 1;
64 #define CALCIMMEDIATEBYTES(var, val) \
65 if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
69 #define ALIGNCODENOP \
71 for (s1 = 0; s1 < (s4) (((ptrint) cd->mcodeptr) & 7); s1++) \
76 /* gen_nullptr_check(objreg) */
78 #define gen_nullptr_check(objreg) \
82 codegen_add_nullpointerexception_ref(cd, cd->mcodeptr); \
85 #define gen_bound_check \
87 M_CMP_MEMBASE(s1, OFFSET(java_arrayheader, size), s2); \
89 codegen_add_arrayindexoutofboundsexception_ref(cd, cd->mcodeptr, s2); \
92 #define gen_div_check(v) \
94 if ((v)->flags & INMEMORY) \
95 M_CMP_IMM_MEMBASE(0, REG_SP, src->regoff * 4); \
97 M_TEST(src->regoff); \
99 codegen_add_arithmeticexception_ref(cd, cd->mcodeptr); \
103 /* MCODECHECK(icnt) */
105 #define MCODECHECK(icnt) \
106 if ((cd->mcodeptr + (icnt)) > (u1 *) cd->mcodeend) \
107 cd->mcodeptr = (u1 *) codegen_increase(cd, cd->mcodeptr)
111 generates an integer-move from register a to b.
112 if a and b are the same int-register, no code will be generated.
115 #define M_INTMOVE(reg,dreg) \
116 if ((reg) != (dreg)) { \
117 i386_mov_reg_reg(cd, (reg),(dreg)); \
122 generates a floating-point-move from register a to b.
123 if a and b are the same float-register, no code will be generated
126 #define M_FLTMOVE(reg,dreg) \
128 log_text("M_FLTMOVE"); \
133 #define M_LNGMEMMOVE(reg,dreg) \
135 i386_mov_membase_reg(cd, REG_SP, (reg) * 4, REG_ITMP1); \
136 i386_mov_reg_membase(cd, REG_ITMP1, REG_SP, (dreg) * 4); \
137 i386_mov_membase_reg(cd, REG_SP, (reg) * 4 + 4, REG_ITMP1); \
138 i386_mov_reg_membase(cd, REG_ITMP1, REG_SP, (dreg) * 4 + 4); \
143 this function generates code to fetch data from a pseudo-register
144 into a real register.
145 If the pseudo-register has actually been assigned to a real
146 register, no code will be emitted, since following operations
147 can use this register directly.
149 v: pseudoregister to be fetched from
150 tempregnum: temporary register to be used if v is actually spilled to ram
152 return: the register number, where the operand can be found after
153 fetching (this wil be either tempregnum or the register
154 number allready given to v)
157 #define var_to_reg_int(regnr,v,tempnr) \
159 if ((v)->flags & INMEMORY) { \
161 M_ILD(tempnr, REG_SP, (v)->regoff * 4); \
164 regnr = (v)->regoff; \
168 #define var_to_reg_lng(regnr,v,tempnr) \
170 if ((v)->flags & INMEMORY) { \
172 M_LLD(tempnr, REG_SP, (v)->regoff * 4); \
175 regnr = (v)->regoff; \
179 #define var_to_reg_flt(regnr,v,tempnr) \
180 if ((v)->type == TYPE_FLT) { \
181 if ((v)->flags & INMEMORY) { \
183 i386_flds_membase(cd, REG_SP, (v)->regoff * 4); \
187 i386_fld_reg(cd, (v)->regoff + fpu_st_offset); \
189 regnr = (v)->regoff; \
192 if ((v)->flags & INMEMORY) { \
194 i386_fldl_membase(cd, REG_SP, (v)->regoff * 4); \
198 i386_fld_reg(cd, (v)->regoff + fpu_st_offset); \
200 regnr = (v)->regoff; \
204 #define NEW_var_to_reg_flt(regnr,v,tempnr) \
205 if ((v)->type == TYPE_FLT) { \
206 if ((v)->flags & INMEMORY) { \
208 i386_flds_membase(cd, REG_SP, (v)->regoff * 4); \
212 regnr = (v)->regoff; \
215 if ((v)->flags & INMEMORY) { \
217 i386_fldl_membase(cd, REG_SP, (v)->regoff * 4); \
221 regnr = (v)->regoff; \
226 /* store_reg_to_var_xxx:
227 This function generates the code to store the result of an operation
228 back into a spilled pseudo-variable.
229 If the pseudo-variable has not been spilled in the first place, this
230 function will generate nothing.
232 v ............ Pseudovariable
233 tempregnum ... Number of the temporary registers as returned by
237 #define store_reg_to_var_int(sptr, tempregnum) \
238 if ((sptr)->flags & INMEMORY) { \
240 M_IST(tempregnum, REG_SP, (sptr)->regoff * 4); \
244 #define store_reg_to_var_lng(sptr, tempregnum) \
245 if ((sptr)->flags & INMEMORY) { \
247 M_LST(tempregnum, REG_SP, (sptr)->regoff * 4); \
251 #define store_reg_to_var_flt(sptr, tempregnum) \
252 if ((sptr)->type == TYPE_FLT) { \
253 if ((sptr)->flags & INMEMORY) { \
255 i386_fstps_membase(cd, REG_SP, (sptr)->regoff * 4); \
258 /* i386_fxch_reg((sptr)->regoff);*/ \
259 i386_fstp_reg(cd, (sptr)->regoff + fpu_st_offset); \
263 if ((sptr)->flags & INMEMORY) { \
265 i386_fstpl_membase(cd, REG_SP, (sptr)->regoff * 4); \
268 /* i386_fxch_reg((sptr)->regoff);*/ \
269 i386_fstp_reg(cd, (sptr)->regoff + fpu_st_offset); \
275 #define M_COPY(from,to) \
276 d = codegen_reg_of_var(rd, iptr->opc, (to), REG_ITMP1); \
277 if ((from->regoff != to->regoff) || \
278 ((from->flags ^ to->flags) & INMEMORY)) { \
279 if (IS_FLT_DBL_TYPE(from->type)) { \
280 var_to_reg_flt(s1, from, d); \
281 /*M_FLTMOVE(s1, d);*/ \
282 store_reg_to_var_flt(to, d); \
284 if (!IS_2_WORD_TYPE(from->type)) { \
285 if (to->flags & INMEMORY) { \
286 if (from->flags & INMEMORY) { \
287 i386_mov_membase_reg(cd, REG_SP, from->regoff * 4, REG_ITMP1); \
288 i386_mov_reg_membase(cd, REG_ITMP1, REG_SP, to->regoff * 4); \
290 i386_mov_reg_membase(cd, from->regoff, REG_SP, to->regoff * 4); \
293 if (from->flags & INMEMORY) { \
294 i386_mov_membase_reg(cd, REG_SP, from->regoff * 4, to->regoff); \
296 i386_mov_reg_reg(cd, from->regoff, to->regoff); \
300 M_LNGMEMMOVE(from->regoff, to->regoff); \
305 /* macros to create code ******************************************************/
320 /* opcodes for alu instructions */
348 I386_CC_B = 2, I386_CC_C = 2, I386_CC_NAE = 2,
349 I386_CC_BE = 6, I386_CC_NA = 6,
350 I386_CC_AE = 3, I386_CC_NB = 3, I386_CC_NC = 3,
351 I386_CC_E = 4, I386_CC_Z = 4,
352 I386_CC_NE = 5, I386_CC_NZ = 5,
353 I386_CC_A = 7, I386_CC_NBE = 7,
354 I386_CC_S = 8, I386_CC_LZ = 8,
355 I386_CC_NS = 9, I386_CC_GEZ = 9,
356 I386_CC_P = 0x0a, I386_CC_PE = 0x0a,
357 I386_CC_NP = 0x0b, I386_CC_PO = 0x0b,
358 I386_CC_L = 0x0c, I386_CC_NGE = 0x0c,
359 I386_CC_GE = 0x0d, I386_CC_NL = 0x0d,
360 I386_CC_LE = 0x0e, I386_CC_NG = 0x0e,
361 I386_CC_G = 0x0f, I386_CC_NLE = 0x0f,
366 /* modrm and stuff */
368 #define i386_address_byte(mod,reg,rm) \
369 *(cd->mcodeptr++) = ((((mod) & 0x03) << 6) | (((reg) & 0x07) << 3) | (((rm) & 0x07)));
372 #define i386_emit_reg(reg,rm) \
373 i386_address_byte(3,(reg),(rm));
376 #define i386_is_imm8(imm) \
377 (((int)(imm) >= -128 && (int)(imm) <= 127))
380 #define i386_emit_imm8(imm) \
381 *(cd->mcodeptr++) = (u1) ((imm) & 0xff);
384 #define i386_emit_imm16(imm) \
387 imb.i = (int) (imm); \
388 *(cd->mcodeptr++) = imb.b[0]; \
389 *(cd->mcodeptr++) = imb.b[1]; \
393 #define i386_emit_imm32(imm) \
396 imb.i = (int) (imm); \
397 *(cd->mcodeptr++) = imb.b[0]; \
398 *(cd->mcodeptr++) = imb.b[1]; \
399 *(cd->mcodeptr++) = imb.b[2]; \
400 *(cd->mcodeptr++) = imb.b[3]; \
404 #define i386_emit_mem(r,mem) \
406 i386_address_byte(0,(r),5); \
407 i386_emit_imm32((mem)); \
411 #define i386_emit_membase(basereg,disp,dreg) \
413 if ((basereg) == ESP) { \
415 i386_address_byte(0, (dreg), ESP); \
416 i386_address_byte(0, ESP, ESP); \
417 } else if (i386_is_imm8((disp))) { \
418 i386_address_byte(1, (dreg), ESP); \
419 i386_address_byte(0, ESP, ESP); \
420 i386_emit_imm8((disp)); \
422 i386_address_byte(2, (dreg), ESP); \
423 i386_address_byte(0, ESP, ESP); \
424 i386_emit_imm32((disp)); \
429 if ((disp) == 0 && (basereg) != EBP) { \
430 i386_address_byte(0, (dreg), (basereg)); \
434 if (i386_is_imm8((disp))) { \
435 i386_address_byte(1, (dreg), (basereg)); \
436 i386_emit_imm8((disp)); \
438 i386_address_byte(2, (dreg), (basereg)); \
439 i386_emit_imm32((disp)); \
444 #define i386_emit_membase32(basereg,disp,dreg) \
446 if ((basereg) == ESP) { \
447 i386_address_byte(2, (dreg), ESP); \
448 i386_address_byte(0, ESP, ESP); \
449 i386_emit_imm32((disp)); \
451 i386_address_byte(2, (dreg), (basereg)); \
452 i386_emit_imm32((disp)); \
457 #define i386_emit_memindex(reg,disp,basereg,indexreg,scale) \
459 if ((basereg) == -1) { \
460 i386_address_byte(0, (reg), 4); \
461 i386_address_byte((scale), (indexreg), 5); \
462 i386_emit_imm32((disp)); \
464 } else if ((disp) == 0 && (basereg) != EBP) { \
465 i386_address_byte(0, (reg), 4); \
466 i386_address_byte((scale), (indexreg), (basereg)); \
468 } else if (i386_is_imm8((disp))) { \
469 i386_address_byte(1, (reg), 4); \
470 i386_address_byte((scale), (indexreg), (basereg)); \
471 i386_emit_imm8 ((disp)); \
474 i386_address_byte(2, (reg), 4); \
475 i386_address_byte((scale), (indexreg), (basereg)); \
476 i386_emit_imm32((disp)); \
481 /* macros to create code ******************************************************/
483 #define M_ILD(a,b,disp) i386_mov_membase_reg(cd, (b), (disp), (a))
484 #define M_ALD(a,b,disp) M_ILD(a,b,disp)
486 #define M_ILD32(a,b,disp) i386_mov_membase32_reg(cd, (b), (disp), (a))
488 #define M_LLD(a,b,disp) \
490 M_ILD(GET_LOW_REG(a),b,disp); \
491 M_ILD(GET_HIGH_REG(a),b,disp + 4); \
494 #define M_LLD32(a,b,disp) \
496 M_ILD32(GET_LOW_REG(a),b,disp); \
497 M_ILD32(GET_HIGH_REG(a),b,disp + 4); \
500 #define M_IST(a,b,disp) i386_mov_reg_membase(cd, (a), (b), (disp))
501 #define M_IST_IMM(a,b,disp) i386_mov_imm_membase(cd, (u4) (a), (b), (disp))
502 #define M_AST(a,b,disp) M_IST(a,b,disp)
503 #define M_AST_IMM(a,b,disp) M_IST_IMM(a,b,disp)
505 #define M_IST32(a,b,disp) i386_mov_reg_membase32(cd, (a), (b), (disp))
506 #define M_IST32_IMM(a,b,disp) i386_mov_imm_membase32(cd, (u4) (a), (b), (disp))
508 #define M_LST(a,b,disp) \
510 M_IST(GET_LOW_REG(a),b,disp); \
511 M_IST(GET_HIGH_REG(a),b,disp + 4); \
514 #define M_LST32(a,b,disp) \
516 M_IST32(GET_LOW_REG(a),b,disp); \
517 M_IST32(GET_HIGH_REG(a),b,disp + 4); \
520 #define M_LST_IMM(a,b,disp) \
522 M_IST_IMM(a,b,disp); \
523 M_IST_IMM(a >> 32,b,disp + 4); \
526 #define M_LST32_IMM(a,b,disp) \
528 M_IST32_IMM(a,b,disp); \
529 M_IST32_IMM(a >> 32,b,disp + 4); \
532 #define M_IADD_IMM(a,b) i386_alu_imm_reg(cd, ALU_ADD, (a), (b))
533 #define M_IADD_IMM32(a,b) i386_alu_imm32_reg(cd, ALU_ADD, (a), (b))
534 #define M_ISUB_IMM(a,b) i386_alu_imm_reg(cd, ALU_SUB, (a), (b))
536 #define M_IADD_IMM_MEMBASE(a,b,c) i386_alu_imm_membase(cd, ALU_ADD, (a), (b), (c))
538 #define M_AADD_IMM(a,b) M_IADD_IMM(a,b)
539 #define M_AADD_IMM32(a,b) M_IADD_IMM32(a,b)
540 #define M_ASUB_IMM(a,b) M_ISUB_IMM(a,b)
542 #define M_OR_MEMBASE(a,b,c) i386_alu_membase_reg(cd, ALU_OR, (a), (b), (c))
543 #define M_XOR(a,b) i386_alu_reg_reg(cd, ALU_XOR, (a), (b))
544 #define M_CLR(a) M_XOR(a,a)
546 #define M_PUSH(a) i386_push_reg(cd, (a))
547 #define M_PUSH_IMM(a) i386_push_imm(cd, (s4) (a))
548 #define M_POP(a) i386_pop_reg(cd, (a))
550 #define M_MOV(a,b) i386_mov_reg_reg(cd, (a), (b))
551 #define M_MOV_IMM(a,b) i386_mov_imm_reg(cd, (u4) (a), (b))
553 #define M_TEST(a) i386_test_reg_reg(cd, (a), (a))
555 #define M_CMP(a,b) i386_alu_reg_reg(cd, ALU_CMP, (a), (b))
556 #define M_CMP_MEMBASE(a,b,c) i386_alu_membase_reg(cd, ALU_CMP, (a), (b), (c))
558 #define M_CMP_IMM_MEMBASE(a,b,c) i386_alu_imm_membase(cd, ALU_CMP, (a), (b), (c))
560 #define M_CALL(a) i386_call_reg(cd, (a))
561 #define M_CALL_IMM(a) i386_call_imm(cd, (a))
562 #define M_RET i386_ret(cd)
564 #define M_BEQ(a) i386_jcc(cd, I386_CC_E, (a))
565 #define M_BNE(a) i386_jcc(cd, I386_CC_NE, (a))
566 #define M_BLT(a) i386_jcc(cd, I386_CC_L, (a))
567 #define M_BLE(a) i386_jcc(cd, I386_CC_LE, (a))
568 #define M_BGE(a) i386_jcc(cd, I386_CC_GE, (a))
569 #define M_BGT(a) i386_jcc(cd, I386_CC_G, (a))
571 #define M_BBE(a) i386_jcc(cd, I386_CC_BE, (a))
572 #define M_BAE(a) i386_jcc(cd, I386_CC_AE, (a))
574 #define M_JMP(a) i386_jmp_reg(cd, (a))
575 #define M_JMP_IMM(a) i386_jmp_imm(cd, (a))
577 #define M_NOP i386_nop(cd)
580 /* function gen_resolvebranch **************************************************
582 backpatches a branch instruction
584 parameters: ip ... pointer to instruction after branch (void*)
585 so ... offset of instruction after branch (s4)
586 to ... offset of branch target (s4)
588 *******************************************************************************/
590 #define gen_resolvebranch(ip,so,to) \
591 *((void **) ((ip) - 4)) = (void **) ((to) - (so));
594 #endif /* _CODEGEN_H */
598 * These are local overrides for various environment variables in Emacs.
599 * Please do not remove this and leave it at the end of the file, where
600 * Emacs will automagically detect them.
601 * ---------------------------------------------------------------------
604 * indent-tabs-mode: t