src/vm/jit/x86_64/emit.h

   1 /* src/vm/jit/x86_64/emit.h - machine dependent emit function prototypes
   2
   3    Copyright (C) 1996-2005, 2006, 2007 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
   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., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    $Id: emit.h 7596 2007-03-28 21:05:53Z twisti $
  26
  27 */
  28
  29
  30 #ifndef _MD_EMIT_H
  31 #define _MD_EMIT_H
  32
  33 #include "config.h"
  34 #include "vm/types.h"
  35
  36 #include "vm/jit/codegen-common.h"
  37 #include "vm/jit/jit.h"
  38
  39
  40 /* macros to create code ******************************************************/
  41
  42 /* immediate data union */
  43
  44 typedef union {
  45     s4 i;
  46     s8 l;
  47     float f;
  48     double d;
  49     void *a;
  50     u1 b[8];
  51 } imm_buf;
  52
  53
  54 /* opcodes for alu instructions */
  55
  56 #define ALU_ADD      0
  57 #define ALU_OR       1
  58 #define ALU_ADC      2
  59 #define ALU_SBB      3
  60 #define ALU_AND      4
  61 #define ALU_SUB      5
  62 #define ALU_XOR      6
  63 #define ALU_CMP      7
  64
  65
  66 #define SHIFT_ROL    0
  67 #define SHIFT_ROR    1
  68 #define SHIFT_RCL    2
  69 #define SHIFT_RCR    3
  70 #define SHIFT_SHL    4
  71 #define SHIFT_SHR    5
  72 #define SHIFT_SAR    7
  73
  74
  75 #define CC_O         0
  76 #define CC_NO        1
  77 #define CC_B         2
  78 #define CC_C         2
  79 #define CC_NAE       2
  80 #define CC_AE        3
  81 #define CC_NB        3
  82 #define CC_NC        3
  83 #define CC_E         4
  84 #define CC_Z         4
  85 #define CC_NE        5
  86 #define CC_NZ        5
  87 #define CC_BE        6
  88 #define CC_NA        6
  89 #define CC_A         7
  90 #define CC_NBE       7
  91 #define CC_S         8
  92 #define CC_LZ        8
  93 #define CC_NS        9
  94 #define CC_GEZ       9
  95 #define CC_P         0x0a
  96 #define CC_PE        0x0a
  97 #define CC_NP        0x0b
  98 #define CC_PO        0x0b
  99 #define CC_L         0x0c
 100 #define CC_NGE       0x0c
 101 #define CC_GE        0x0d
 102 #define CC_NL        0x0d
 103 #define CC_LE        0x0e
 104 #define CC_NG        0x0e
 105 #define CC_G         0x0f
 106 #define CC_NLE       0x0f
 107
 108
 109 /* modrm and stuff */
 110
 111 #define emit_address_byte(mod,reg,rm) \
 112     do { \
 113         *(cd->mcodeptr++) = ((((mod) & 0x03) << 6) | (((reg) & 0x07) << 3) | ((rm) & 0x07)); \
 114     } while (0);
 115
 116
 117 #define emit_rex(size,reg,index,rm) \
 118     do { \
 119         if (((size) == 1) || ((reg) > 7) || ((index) > 7) || ((rm) > 7)) \
 120             *(cd->mcodeptr++) = (0x40 | (((size) & 0x01) << 3) | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01)); \
 121     } while (0)
 122
 123
 124 #define emit_byte_rex(reg,index,rm) \
 125     do { \
 126         *(cd->mcodeptr++) = (0x40 | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01)); \
 127     } while (0)
 128
 129
 130 #define emit_mem(r,disp) \
 131     do { \
 132         emit_address_byte(0,(r),5); \
 133         emit_imm32((disp)); \
 134     } while (0)
 135
 136
 137 #define emit_imm8(imm) \
 138     do { \
 139         *(cd->mcodeptr++) = (u1) ((imm) & 0xff); \
 140     } while (0)
 141
 142
 143 #define emit_imm16(imm) \
 144     do { \
 145         imm_buf imb; \
 146         imb.i = (s4) (imm); \
 147         *(cd->mcodeptr++) = imb.b[0]; \
 148         *(cd->mcodeptr++) = imb.b[1]; \
 149     } while (0)
 150
 151
 152 #define emit_imm32(imm) \
 153     do { \
 154         imm_buf imb; \
 155         imb.i = (s4) (imm); \
 156         *(cd->mcodeptr++) = imb.b[0]; \
 157         *(cd->mcodeptr++) = imb.b[1]; \
 158         *(cd->mcodeptr++) = imb.b[2]; \
 159         *(cd->mcodeptr++) = imb.b[3]; \
 160     } while (0)
 161
 162
 163 #define emit_imm64(imm) \
 164     do { \
 165         imm_buf imb; \
 166         imb.l = (s8) (imm); \
 167         *(cd->mcodeptr++) = imb.b[0]; \
 168         *(cd->mcodeptr++) = imb.b[1]; \
 169         *(cd->mcodeptr++) = imb.b[2]; \
 170         *(cd->mcodeptr++) = imb.b[3]; \
 171         *(cd->mcodeptr++) = imb.b[4]; \
 172         *(cd->mcodeptr++) = imb.b[5]; \
 173         *(cd->mcodeptr++) = imb.b[6]; \
 174         *(cd->mcodeptr++) = imb.b[7]; \
 175     } while (0)
 176
 177
 178 /* convenience macros *********************************************************/
 179
 180 #define emit_reg(reg,rm)                emit_address_byte(3,(reg),(rm))
 181
 182
 183 /* function prototypes ********************************************************/
 184
 185 void emit_cmovxx(codegendata *cd, instruction *iptr, s4 s, s4 d);
 186
 187
 188 /* code generation prototypes */
 189
 190 void emit_ishift(jitdata *jd, s4 shift_op, instruction *iptr);
 191 void emit_lshift(jitdata *jd, s4 shift_op, instruction *iptr);
 192
 193
 194 /* integer instructions */
 195
 196 void emit_mov_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 197 void emit_mov_imm_reg(codegendata *cd, s8 imm, s8 reg);
 198 void emit_movl_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 199 void emit_movl_imm_reg(codegendata *cd, s8 imm, s8 reg);
 200 void emit_mov_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 201 void emit_mov_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 202 void emit_movl_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 203 void emit_movl_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 204 void emit_mov_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 205 void emit_mov_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 206 void emit_movl_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 207 void emit_movl_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 208 void emit_mov_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 209 void emit_movl_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 210 void emit_mov_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 211 void emit_movl_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 212 void emit_movw_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 213 void emit_movb_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 214 void emit_mov_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 215 void emit_mov_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 216 void emit_movl_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 217 void emit_movl_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 218 void emit_movsbq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 219 void emit_movsbq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 220 void emit_movswq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 221 void emit_movswq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 222 void emit_movslq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 223 void emit_movslq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 224 void emit_movzwq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 225 void emit_movzwq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 226 void emit_movswq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 227 void emit_movsbq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 228 void emit_movzwq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 229 void emit_mov_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 230 void emit_movl_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 231 void emit_movw_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 232 void emit_movb_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 233
 234 void emit_mov_mem_reg(codegendata *cd, s4 disp, s4 dreg);
 235
 236 void emit_alu_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg);
 237 void emit_alul_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg);
 238 void emit_alu_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp);
 239 void emit_alul_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp);
 240 void emit_alu_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg);
 241 void emit_alul_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg);
 242 void emit_alu_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 243 void emit_alu_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg);
 244 void emit_alul_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg);
 245 void emit_alul_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 246 void emit_alu_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 247 void emit_alul_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 248 void emit_test_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 249 void emit_testl_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 250 void emit_test_imm_reg(codegendata *cd, s8 imm, s8 reg);
 251 void emit_testw_imm_reg(codegendata *cd, s8 imm, s8 reg);
 252 void emit_testb_imm_reg(codegendata *cd, s8 imm, s8 reg);
 253 void emit_lea_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 254 void emit_leal_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 255
 256 void emit_incl_membase(codegendata *cd, s8 basereg, s8 disp);
 257
 258 void emit_cltd(codegendata *cd);
 259 void emit_cqto(codegendata *cd);
 260 void emit_imul_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 261 void emit_imull_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 262 void emit_imul_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 263 void emit_imull_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 264 void emit_imul_imm_reg(codegendata *cd, s8 imm, s8 dreg);
 265 void emit_imul_imm_reg_reg(codegendata *cd, s8 imm,s8 reg, s8 dreg);
 266 void emit_imull_imm_reg_reg(codegendata *cd, s8 imm, s8 reg, s8 dreg);
 267 void emit_imul_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg);
 268 void emit_imull_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg);
 269 void emit_idiv_reg(codegendata *cd, s8 reg);
 270 void emit_idivl_reg(codegendata *cd, s8 reg);
 271 void emit_ret(codegendata *cd);
 272 void emit_shift_reg(codegendata *cd, s8 opc, s8 reg);
 273 void emit_shiftl_reg(codegendata *cd, s8 opc, s8 reg);
 274 void emit_shift_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp);
 275 void emit_shiftl_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp);
 276 void emit_shift_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 277 void emit_shiftl_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 278 void emit_shift_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 279 void emit_shiftl_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 280 void emit_jmp_imm(codegendata *cd, s8 imm);
 281 void emit_jmp_reg(codegendata *cd, s8 reg);
 282 void emit_jcc(codegendata *cd, s8 opc, s8 imm);
 283
 284 void emit_setcc_reg(codegendata *cd, s4 opc, s4 reg);
 285 void emit_setcc_membase(codegendata *cd, s4 opc, s4 basereg, s4 disp);
 286
 287 void emit_cmovcc_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg);
 288 void emit_cmovccl_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg);
 289
 290 void emit_neg_reg(codegendata *cd, s8 reg);
 291 void emit_negl_reg(codegendata *cd, s8 reg);
 292 void emit_neg_membase(codegendata *cd, s8 basereg, s8 disp);
 293 void emit_negl_membase(codegendata *cd, s8 basereg, s8 disp);
 294 void emit_push_reg(codegendata *cd, s8 reg);
 295 void emit_push_imm(codegendata *cd, s8 imm);
 296 void emit_pop_reg(codegendata *cd, s8 reg);
 297 void emit_xchg_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 298 void emit_nop(codegendata *cd);
 299 void emit_call_reg(codegendata *cd, s8 reg);
 300 void emit_call_imm(codegendata *cd, s8 imm);
 301 void emit_call_mem(codegendata *cd, ptrint mem);
 302
 303
 304 /* floating point instructions (SSE2) */
 305
 306 void emit_addsd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 307 void emit_addss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 308 void emit_cvtsi2ssq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 309 void emit_cvtsi2ss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 310 void emit_cvtsi2sdq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 311 void emit_cvtsi2sd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 312 void emit_cvtss2sd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 313 void emit_cvtsd2ss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 314 void emit_cvttss2siq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 315 void emit_cvttss2si_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 316 void emit_cvttsd2siq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 317 void emit_cvttsd2si_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 318 void emit_divss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 319 void emit_divsd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 320 void emit_movd_reg_freg(codegendata *cd, s8 reg, s8 freg);
 321 void emit_movd_freg_reg(codegendata *cd, s8 freg, s8 reg);
 322 void emit_movd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 323 void emit_movd_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 324 void emit_movd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 325 void emit_movdl_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 326 void emit_movd_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg);
 327 void emit_movq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 328 void emit_movq_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 329 void emit_movq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 330 void emit_movss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 331 void emit_movsd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 332 void emit_movss_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 333 void emit_movss_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 334 void emit_movsd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 335 void emit_movsd_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 336 void emit_movss_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 337 void emit_movss_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 338 void emit_movlps_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 339 void emit_movlps_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 340 void emit_movsd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 341 void emit_movsd_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 342 void emit_movlpd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 343 void emit_movlpd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 344 void emit_movss_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 345 void emit_movsd_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 346 void emit_movss_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg);
 347 void emit_movsd_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg);
 348 void emit_mulss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 349 void emit_mulsd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 350 void emit_subss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 351 void emit_subsd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 352 void emit_ucomiss_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 353 void emit_ucomisd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 354 void emit_xorps_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 355 void emit_xorps_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 356 void emit_xorpd_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 357 void emit_xorpd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 358
 359
 360 /* system instructions ********************************************************/
 361
 362 void emit_rdtsc(codegendata *cd);
 363
 364 #endif /* _MD_EMIT_H */
 365
 366
 367 /*
 368  * These are local overrides for various environment variables in Emacs.
 369  * Please do not remove this and leave it at the end of the file, where
 370  * Emacs will automagically detect them.
 371  * ---------------------------------------------------------------------
 372  * Local variables:
 373  * mode: c
 374  * indent-tabs-mode: t
 375  * c-basic-offset: 4
 376  * tab-width: 4
 377  * End:
 378  */