src/vm/jit/x86_64/codegen.h

   1 /* src/vm/jit/x86_64/codegen.h - code generation macros for x86_64
   2
   3    Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates,
   4    R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner,
   5    C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger,
   6    Institut f. Computersprachen - TU Wien
   7
   8    This file is part of CACAO.
   9
  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.
  14
  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.
  19
  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., 59 Temple Place - Suite 330, Boston, MA
  23    02111-1307, USA.
  24
  25    Contact: cacao@complang.tuwien.ac.at
  26
  27    Authors: Andreas Krall
  28             Christian Thalinger
  29
  30
  31    $Id: codegen.h 2585 2005-06-08 10:56:25Z twisti $
  32
  33 */
  34
  35 #ifndef _CODEGEN_H
  36 #define _CODEGEN_H
  37
  38 #include <ucontext.h>
  39
  40 #include "vm/jit/x86_64/types.h"
  41
  42
  43 /* macros to create code ******************************************************/
  44
  45 /* immediate data union */
  46
  47 typedef union {
  48     s4 i;
  49     s8 l;
  50     float f;
  51     double d;
  52     void *a;
  53     u1 b[8];
  54 } x86_64_imm_buf;
  55
  56
  57 /* opcodes for alu instructions */
  58
  59 typedef enum {
  60     X86_64_ADD = 0,
  61     X86_64_OR  = 1,
  62     X86_64_ADC = 2,
  63     X86_64_SBB = 3,
  64     X86_64_AND = 4,
  65     X86_64_SUB = 5,
  66     X86_64_XOR = 6,
  67     X86_64_CMP = 7,
  68     X86_64_NALU
  69 } X86_64_ALU_Opcode;
  70
  71
  72 typedef enum {
  73     X86_64_ROL = 0,
  74     X86_64_ROR = 1,
  75     X86_64_RCL = 2,
  76     X86_64_RCR = 3,
  77     X86_64_SHL = 4,
  78     X86_64_SHR = 5,
  79     X86_64_SAR = 7,
  80     X86_64_NSHIFT = 8
  81 } X86_64_Shift_Opcode;
  82
  83
  84 typedef enum {
  85     X86_64_CC_O = 0,
  86     X86_64_CC_NO = 1,
  87     X86_64_CC_B = 2, X86_64_CC_C = 2, X86_64_CC_NAE = 2,
  88     X86_64_CC_BE = 6, X86_64_CC_NA = 6,
  89     X86_64_CC_AE = 3, X86_64_CC_NB = 3, X86_64_CC_NC = 3,
  90     X86_64_CC_E = 4, X86_64_CC_Z = 4,
  91     X86_64_CC_NE = 5, X86_64_CC_NZ = 5,
  92     X86_64_CC_A = 7, X86_64_CC_NBE = 7,
  93     X86_64_CC_S = 8, X86_64_CC_LZ = 8,
  94     X86_64_CC_NS = 9, X86_64_CC_GEZ = 9,
  95     X86_64_CC_P = 0x0a, X86_64_CC_PE = 0x0a,
  96     X86_64_CC_NP = 0x0b, X86_64_CC_PO = 0x0b,
  97     X86_64_CC_L = 0x0c, X86_64_CC_NGE = 0x0c,
  98     X86_64_CC_GE = 0x0d, X86_64_CC_NL = 0x0d,
  99     X86_64_CC_LE = 0x0e, X86_64_CC_NG = 0x0e,
 100     X86_64_CC_G = 0x0f, X86_64_CC_NLE = 0x0f,
 101     X86_64_NCC
 102 } X86_64_CC;
 103
 104
 105 #define IS_IMM8(imm) \
 106     (((long) (imm) >= -128) && ((long) (imm) <= 127))
 107
 108
 109 #define IS_IMM32(imm) \
 110     (((long) (imm) >= (-2147483647-1)) && ((long) (imm) <= 2147483647))
 111
 112
 113 /* modrm and stuff */
 114
 115 #define x86_64_address_byte(mod,reg,rm) \
 116     *(cd->mcodeptr++) = ((((mod) & 0x03) << 6) | (((reg) & 0x07) << 3) | ((rm) & 0x07));
 117
 118
 119 #define x86_64_emit_reg(reg,rm) \
 120     x86_64_address_byte(3,(reg),(rm));
 121
 122
 123 #define x86_64_emit_rex(size,reg,index,rm) \
 124     if ((size) == 1 || (reg) > 7 || (index) > 7 || (rm) > 7) { \
 125         *(cd->mcodeptr++) = (0x40 | (((size) & 0x01) << 3) | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01)); \
 126     }
 127
 128
 129 #define x86_64_emit_byte_rex(reg,index,rm) \
 130     *(cd->mcodeptr++) = (0x40 | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01));
 131
 132
 133 #define x86_64_emit_mem(r,disp) \
 134     do { \
 135         x86_64_address_byte(0,(r),5); \
 136         x86_64_emit_imm32((disp)); \
 137     } while (0)
 138
 139
 140 #define x86_64_emit_membase(basereg,disp,dreg) \
 141     do { \
 142         if ((basereg) == REG_SP || (basereg) == R12) { \
 143             if ((disp) == 0) { \
 144                 x86_64_address_byte(0,(dreg),REG_SP); \
 145                 x86_64_address_byte(0,REG_SP,REG_SP); \
 146             } else if (IS_IMM8((disp))) { \
 147                 x86_64_address_byte(1,(dreg),REG_SP); \
 148                 x86_64_address_byte(0,REG_SP,REG_SP); \
 149                 x86_64_emit_imm8((disp)); \
 150             } else { \
 151                 x86_64_address_byte(2,(dreg),REG_SP); \
 152                 x86_64_address_byte(0,REG_SP,REG_SP); \
 153                 x86_64_emit_imm32((disp)); \
 154             } \
 155             break; \
 156         } \
 157         if ((disp) == 0 && (basereg) != RBP && (basereg) != R13) { \
 158             x86_64_address_byte(0,(dreg),(basereg)); \
 159             break; \
 160         } \
 161         \
 162         if ((basereg) == RIP) { \
 163             x86_64_address_byte(0,(dreg),RBP); \
 164             x86_64_emit_imm32((disp)); \
 165             break; \
 166         } \
 167         \
 168         if (IS_IMM8((disp))) { \
 169             x86_64_address_byte(1,(dreg),(basereg)); \
 170             x86_64_emit_imm8((disp)); \
 171         } else { \
 172             x86_64_address_byte(2,(dreg),(basereg)); \
 173             x86_64_emit_imm32((disp)); \
 174         } \
 175     } while (0)
 176
 177
 178 #define x86_64_emit_membase32(basereg,disp,dreg) \
 179     do { \
 180         if ((basereg) == REG_SP || (basereg) == R12) { \
 181             x86_64_address_byte(2,(dreg),REG_SP); \
 182             x86_64_address_byte(0,REG_SP,REG_SP); \
 183             x86_64_emit_imm32((disp)); \
 184         } else {\
 185             x86_64_address_byte(2,(dreg),(basereg)); \
 186             x86_64_emit_imm32((disp)); \
 187         } \
 188     } while (0)
 189
 190
 191 #define x86_64_emit_memindex(reg,disp,basereg,indexreg,scale) \
 192     do { \
 193         if ((basereg) == -1) { \
 194             x86_64_address_byte(0,(reg),4); \
 195             x86_64_address_byte((scale),(indexreg),5); \
 196             x86_64_emit_imm32((disp)); \
 197         \
 198         } else if ((disp) == 0 && (basereg) != RBP && (basereg) != R13) { \
 199             x86_64_address_byte(0,(reg),4); \
 200             x86_64_address_byte((scale),(indexreg),(basereg)); \
 201         \
 202         } else if (IS_IMM8((disp))) { \
 203             x86_64_address_byte(1,(reg),4); \
 204             x86_64_address_byte((scale),(indexreg),(basereg)); \
 205             x86_64_emit_imm8 ((disp)); \
 206         \
 207         } else { \
 208             x86_64_address_byte(2,(reg),4); \
 209             x86_64_address_byte((scale),(indexreg),(basereg)); \
 210             x86_64_emit_imm32((disp)); \
 211         }    \
 212      } while (0)
 213
 214
 215 #define x86_64_emit_imm8(imm) \
 216     *(cd->mcodeptr++) = (u1) ((imm) & 0xff);
 217
 218
 219 #define x86_64_emit_imm16(imm) \
 220     do { \
 221         x86_64_imm_buf imb; \
 222         imb.i = (s4) (imm); \
 223         *(cd->mcodeptr++) = imb.b[0]; \
 224         *(cd->mcodeptr++) = imb.b[1]; \
 225     } while (0)
 226
 227
 228 #define x86_64_emit_imm32(imm) \
 229     do { \
 230         x86_64_imm_buf imb; \
 231         imb.i = (s4) (imm); \
 232         *(cd->mcodeptr++) = imb.b[0]; \
 233         *(cd->mcodeptr++) = imb.b[1]; \
 234         *(cd->mcodeptr++) = imb.b[2]; \
 235         *(cd->mcodeptr++) = imb.b[3]; \
 236     } while (0)
 237
 238
 239 #define x86_64_emit_imm64(imm) \
 240     do { \
 241         x86_64_imm_buf imb; \
 242         imb.l = (s8) (imm); \
 243         *(cd->mcodeptr++) = imb.b[0]; \
 244         *(cd->mcodeptr++) = imb.b[1]; \
 245         *(cd->mcodeptr++) = imb.b[2]; \
 246         *(cd->mcodeptr++) = imb.b[3]; \
 247         *(cd->mcodeptr++) = imb.b[4]; \
 248         *(cd->mcodeptr++) = imb.b[5]; \
 249         *(cd->mcodeptr++) = imb.b[6]; \
 250         *(cd->mcodeptr++) = imb.b[7]; \
 251     } while (0)
 252
 253
 254 /* additional functions and macros to generate code ***************************/
 255
 256 #define BlockPtrOfPC(pc)  ((basicblock *) iptr->target)
 257
 258
 259 #ifdef STATISTICS
 260 #define COUNT_SPILLS count_spills++
 261 #else
 262 #define COUNT_SPILLS
 263 #endif
 264
 265
 266 #define CALCOFFSETBYTES(var, reg, val) \
 267     if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
 268     else if ((s4) (val) != 0) (var) += 1; \
 269     else if ((reg) == RBP || (reg) == RSP || (reg) == R12 || (reg) == R13) (var) += 1;
 270
 271
 272 #define CALCIMMEDIATEBYTES(var, val) \
 273     if ((s4) (val) < -128 || (s4) (val) > 127) (var) += 4; \
 274     else (var) += 1;
 275
 276
 277 /* gen_nullptr_check(objreg) */
 278
 279 #define gen_nullptr_check(objreg) \
 280         if (checknull) { \
 281         x86_64_test_reg_reg(cd, (objreg), (objreg)); \
 282         x86_64_jcc(cd, X86_64_CC_E, 0); \
 283             codegen_addxnullrefs(cd, cd->mcodeptr); \
 284         }
 285
 286
 287 #define gen_bound_check \
 288     if (checkbounds) { \
 289         x86_64_alul_membase_reg(cd, X86_64_CMP, s1, OFFSET(java_arrayheader, size), s2); \
 290         x86_64_jcc(cd, X86_64_CC_AE, 0); \
 291         codegen_addxboundrefs(cd, cd->mcodeptr, s2); \
 292     }
 293
 294
 295 #define gen_div_check(v) \
 296     if (checknull) { \
 297         if ((v)->flags & INMEMORY) { \
 298             x86_64_alu_imm_membase(cd, X86_64_CMP, 0, REG_SP, src->regoff * 8); \
 299         } else { \
 300             x86_64_test_reg_reg(cd, src->regoff, src->regoff); \
 301         } \
 302         x86_64_jcc(cd, X86_64_CC_E, 0); \
 303         codegen_addxdivrefs(cd, cd->mcodeptr); \
 304     }
 305
 306
 307 /* MCODECHECK(icnt) */
 308
 309 #define MCODECHECK(icnt) \
 310         if ((cd->mcodeptr + (icnt)) > (u1 *) cd->mcodeend) \
 311         cd->mcodeptr = (u1 *) codegen_increase(cd, cd->mcodeptr)
 312
 313 /* M_INTMOVE:
 314     generates an integer-move from register a to b.
 315     if a and b are the same int-register, no code will be generated.
 316 */
 317
 318 #define M_INTMOVE(reg,dreg) \
 319     if ((reg) != (dreg)) { \
 320         x86_64_mov_reg_reg(cd, (reg),(dreg)); \
 321     }
 322
 323
 324 /* M_FLTMOVE:
 325     generates a floating-point-move from register a to b.
 326     if a and b are the same float-register, no code will be generated
 327 */
 328
 329 #define M_FLTMOVE(reg,dreg) \
 330     if ((reg) != (dreg)) { \
 331         x86_64_movq_reg_reg(cd, (reg),(dreg)); \
 332     }
 333
 334
 335 /* var_to_reg_xxx:
 336     this function generates code to fetch data from a pseudo-register
 337     into a real register.
 338     If the pseudo-register has actually been assigned to a real
 339     register, no code will be emitted, since following operations
 340     can use this register directly.
 341
 342     v: pseudoregister to be fetched from
 343     tempregnum: temporary register to be used if v is actually spilled to ram
 344
 345     return: the register number, where the operand can be found after
 346             fetching (this wil be either tempregnum or the register
 347             number allready given to v)
 348 */
 349
 350 #define var_to_reg_int(regnr,v,tempnr) \
 351     if ((v)->flags & INMEMORY) { \
 352         COUNT_SPILLS; \
 353         if ((v)->type == TYPE_INT) { \
 354             x86_64_movl_membase_reg(cd, REG_SP, (v)->regoff * 8, tempnr); \
 355         } else { \
 356             x86_64_mov_membase_reg(cd, REG_SP, (v)->regoff * 8, tempnr); \
 357         } \
 358         regnr = tempnr; \
 359     } else { \
 360         regnr = (v)->regoff; \
 361     }
 362
 363
 364
 365 #define var_to_reg_flt(regnr,v,tempnr) \
 366     if ((v)->flags & INMEMORY) { \
 367         COUNT_SPILLS; \
 368         if ((v)->type == TYPE_FLT) { \
 369             x86_64_movlps_membase_reg(cd, REG_SP, (v)->regoff * 8, tempnr); \
 370         } else { \
 371             x86_64_movlpd_membase_reg(cd, REG_SP, (v)->regoff * 8, tempnr); \
 372         } \
 373 /*        x86_64_movq_membase_reg(REG_SP, (v)->regoff * 8, tempnr);*/ \
 374         regnr = tempnr; \
 375     } else { \
 376         regnr = (v)->regoff; \
 377     }
 378
 379
 380 /* store_reg_to_var_xxx:
 381     This function generates the code to store the result of an operation
 382     back into a spilled pseudo-variable.
 383     If the pseudo-variable has not been spilled in the first place, this
 384     function will generate nothing.
 385
 386     v ............ Pseudovariable
 387     tempregnum ... Number of the temporary registers as returned by
 388                    reg_of_var.
 389 */
 390
 391 #define store_reg_to_var_int(sptr, tempregnum) \
 392     if ((sptr)->flags & INMEMORY) { \
 393         COUNT_SPILLS; \
 394         x86_64_mov_reg_membase(cd, tempregnum, REG_SP, (sptr)->regoff * 8); \
 395     }
 396
 397
 398 #define store_reg_to_var_flt(sptr, tempregnum) \
 399     if ((sptr)->flags & INMEMORY) { \
 400          COUNT_SPILLS; \
 401          x86_64_movq_reg_membase(cd, tempregnum, REG_SP, (sptr)->regoff * 8); \
 402     }
 403
 404
 405 #define M_COPY(from,to) \
 406     d = reg_of_var(rd, to, REG_ITMP1); \
 407         if ((from->regoff != to->regoff) || \
 408             ((from->flags ^ to->flags) & INMEMORY)) { \
 409                 if (IS_FLT_DBL_TYPE(from->type)) { \
 410                         var_to_reg_flt(s1, from, d); \
 411                         M_FLTMOVE(s1, d); \
 412                         store_reg_to_var_flt(to, d); \
 413                 } else { \
 414                         var_to_reg_int(s1, from, d); \
 415                         M_INTMOVE(s1, d); \
 416                         store_reg_to_var_int(to, d); \
 417                 } \
 418         }
 419
 420
 421 /* macros to create code ******************************************************/
 422
 423 #define M_MOV(a,b)              x86_64_mov_reg_reg(cd, (a), (b))
 424
 425 #define M_ILD(a,b,disp)         x86_64_movl_membase_reg(cd, (b), (disp), (a))
 426 #define M_LLD(a,b,disp)         x86_64_mov_membase_reg(cd, (b), (disp), (a))
 427 #define M_DLD(a,b,disp)         x86_64_movq_membase_reg(cd, (b), (disp), (a))
 428
 429 #define M_IST(a,b,disp)         x86_64_movl_reg_membase(cd, (a), (b), (disp))
 430 #define M_LST(a,b,disp)         x86_64_mov_reg_membase(cd, (a), (b), (disp))
 431 #define M_DST(a,b,disp)         x86_64_movq_reg_membase(cd, (a), (b), (disp))
 432
 433 #define M_LADD_IMM(a,b)         x86_64_alu_imm_reg(cd, X86_64_ADD, (a), (b))
 434 #define M_LSUB_IMM(a,b)         x86_64_alu_imm_reg(cd, X86_64_SUB, (a), (b))
 435
 436 #define M_AADD_IMM(a,b)         M_LADD_IMM(a,b)
 437 #define M_ASUB_IMM(a,b)         M_LSUB_IMM(a,b)
 438
 439 #define M_NOP                   x86_64_nop(cd)
 440
 441
 442 /* function gen_resolvebranch **************************************************
 443
 444     backpatches a branch instruction
 445
 446     parameters: ip ... pointer to instruction after branch (void*)
 447                 so ... offset of instruction after branch  (s8)
 448                 to ... offset of branch target             (s8)
 449
 450 *******************************************************************************/
 451
 452 #define gen_resolvebranch(ip,so,to) \
 453     *((s4*) ((ip) - 4)) = (s4) ((to) - (so));
 454
 455
 456 /* function prototypes ********************************************************/
 457
 458 void thread_restartcriticalsection(ucontext_t *uc);
 459
 460 #endif /* _CODEGEN_H */
 461
 462
 463 /*
 464  * These are local overrides for various environment variables in Emacs.
 465  * Please do not remove this and leave it at the end of the file, where
 466  * Emacs will automagically detect them.
 467  * ---------------------------------------------------------------------
 468  * Local variables:
 469  * mode: c
 470  * indent-tabs-mode: t
 471  * c-basic-offset: 4
 472  * tab-width: 4
 473  * End:
 474  */