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 */
  26
  27
  28 #ifndef _MD_EMIT_H
  29 #define _MD_EMIT_H
  30
  31 #include "config.h"
  32 #include "vm/types.h"
  33
  34 #include "vm/jit/codegen-common.h"
  35 #include "vm/jit/jit.h"
  36
  37
  38 /* macros to create code ******************************************************/
  39
  40 /* immediate data union */
  41
  42 typedef union {
  43     s4 i;
  44     s8 l;
  45     float f;
  46     double d;
  47     void *a;
  48     u1 b[8];
  49 } imm_buf;
  50
  51
  52 /* opcodes for alu instructions */
  53
  54 #define ALU_ADD      0
  55 #define ALU_OR       1
  56 #define ALU_ADC      2
  57 #define ALU_SBB      3
  58 #define ALU_AND      4
  59 #define ALU_SUB      5
  60 #define ALU_XOR      6
  61 #define ALU_CMP      7
  62
  63
  64 #define SHIFT_ROL    0
  65 #define SHIFT_ROR    1
  66 #define SHIFT_RCL    2
  67 #define SHIFT_RCR    3
  68 #define SHIFT_SHL    4
  69 #define SHIFT_SHR    5
  70 #define SHIFT_SAR    7
  71
  72
  73 #define CC_O         0
  74 #define CC_NO        1
  75 #define CC_B         2
  76 #define CC_C         2
  77 #define CC_NAE       2
  78 #define CC_AE        3
  79 #define CC_NB        3
  80 #define CC_NC        3
  81 #define CC_E         4
  82 #define CC_Z         4
  83 #define CC_NE        5
  84 #define CC_NZ        5
  85 #define CC_BE        6
  86 #define CC_NA        6
  87 #define CC_A         7
  88 #define CC_NBE       7
  89 #define CC_S         8
  90 #define CC_LZ        8
  91 #define CC_NS        9
  92 #define CC_GEZ       9
  93 #define CC_P         0x0a
  94 #define CC_PE        0x0a
  95 #define CC_NP        0x0b
  96 #define CC_PO        0x0b
  97 #define CC_L         0x0c
  98 #define CC_NGE       0x0c
  99 #define CC_GE        0x0d
 100 #define CC_NL        0x0d
 101 #define CC_LE        0x0e
 102 #define CC_NG        0x0e
 103 #define CC_G         0x0f
 104 #define CC_NLE       0x0f
 105
 106
 107 /* modrm and stuff */
 108
 109 #define emit_address_byte(mod,reg,rm) \
 110     do { \
 111         *(cd->mcodeptr++) = ((((mod) & 0x03) << 6) | (((reg) & 0x07) << 3) | ((rm) & 0x07)); \
 112     } while (0);
 113
 114
 115 #define emit_rex(size,reg,index,rm) \
 116     do { \
 117         if (((size) == 1) || ((reg) > 7) || ((index) > 7) || ((rm) > 7)) \
 118             *(cd->mcodeptr++) = (0x40 | (((size) & 0x01) << 3) | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01)); \
 119     } while (0)
 120
 121
 122 #define emit_byte_rex(reg,index,rm) \
 123     do { \
 124         *(cd->mcodeptr++) = (0x40 | ((((reg) >> 3) & 0x01) << 2) | ((((index) >> 3) & 0x01) << 1) | (((rm) >> 3) & 0x01)); \
 125     } while (0)
 126
 127
 128 #define emit_mem(r,disp) \
 129     do { \
 130         emit_address_byte(0,(r),5); \
 131         emit_imm32((disp)); \
 132     } while (0)
 133
 134
 135 #define emit_imm8(imm) \
 136     do { \
 137         *(cd->mcodeptr++) = (u1) ((imm) & 0xff); \
 138     } while (0)
 139
 140
 141 #define emit_imm16(imm) \
 142     do { \
 143         imm_buf imb; \
 144         imb.i = (s4) (imm); \
 145         *(cd->mcodeptr++) = imb.b[0]; \
 146         *(cd->mcodeptr++) = imb.b[1]; \
 147     } while (0)
 148
 149
 150 #define emit_imm32(imm) \
 151     do { \
 152         imm_buf imb; \
 153         imb.i = (s4) (imm); \
 154         *(cd->mcodeptr++) = imb.b[0]; \
 155         *(cd->mcodeptr++) = imb.b[1]; \
 156         *(cd->mcodeptr++) = imb.b[2]; \
 157         *(cd->mcodeptr++) = imb.b[3]; \
 158     } while (0)
 159
 160
 161 #define emit_imm64(imm) \
 162     do { \
 163         imm_buf imb; \
 164         imb.l = (s8) (imm); \
 165         *(cd->mcodeptr++) = imb.b[0]; \
 166         *(cd->mcodeptr++) = imb.b[1]; \
 167         *(cd->mcodeptr++) = imb.b[2]; \
 168         *(cd->mcodeptr++) = imb.b[3]; \
 169         *(cd->mcodeptr++) = imb.b[4]; \
 170         *(cd->mcodeptr++) = imb.b[5]; \
 171         *(cd->mcodeptr++) = imb.b[6]; \
 172         *(cd->mcodeptr++) = imb.b[7]; \
 173     } while (0)
 174
 175
 176 /* convenience macros *********************************************************/
 177
 178 #define emit_reg(reg,rm)                emit_address_byte(3,(reg),(rm))
 179
 180
 181 /* function prototypes ********************************************************/
 182
 183 void emit_cmovxx(codegendata *cd, instruction *iptr, s4 s, s4 d);
 184
 185
 186 /* code generation prototypes */
 187
 188 void emit_ishift(jitdata *jd, s4 shift_op, instruction *iptr);
 189 void emit_lshift(jitdata *jd, s4 shift_op, instruction *iptr);
 190
 191
 192 /* integer instructions */
 193
 194 void emit_mov_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 195 void emit_mov_imm_reg(codegendata *cd, s8 imm, s8 reg);
 196 void emit_movl_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 197 void emit_movl_imm_reg(codegendata *cd, s8 imm, s8 reg);
 198 void emit_mov_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 199 void emit_mov_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 200 void emit_movl_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 201 void emit_movl_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 202 void emit_mov_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 203 void emit_mov_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 204 void emit_movl_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 205 void emit_movl_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp);
 206 void emit_mov_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 207 void emit_movl_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 208 void emit_mov_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 209 void emit_movl_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 210 void emit_movw_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 211 void emit_movb_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale);
 212 void emit_mov_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 213 void emit_mov_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 214 void emit_movl_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 215 void emit_movl_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp);
 216 void emit_movsbq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 217 void emit_movsbq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 218 void emit_movswq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 219 void emit_movswq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 220 void emit_movslq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 221 void emit_movslq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 222 void emit_movzbq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 223 void emit_movzwq_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 224 void emit_movzwq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 225 void emit_movswq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 226 void emit_movsbq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 227 void emit_movzwq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg);
 228 void emit_mov_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 229 void emit_movl_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 230 void emit_movw_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 231 void emit_movb_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale);
 232
 233 void emit_mov_mem_reg(codegendata *cd, s4 disp, s4 dreg);
 234
 235 void emit_alu_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg);
 236 void emit_alul_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg);
 237 void emit_alu_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp);
 238 void emit_alul_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp);
 239 void emit_alu_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg);
 240 void emit_alul_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg);
 241 void emit_alu_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 242 void emit_alu_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg);
 243 void emit_alul_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg);
 244 void emit_alul_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 245 void emit_alu_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 246 void emit_alul_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 247 void emit_test_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 248 void emit_testl_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 249 void emit_test_imm_reg(codegendata *cd, s8 imm, s8 reg);
 250 void emit_testw_imm_reg(codegendata *cd, s8 imm, s8 reg);
 251 void emit_testb_imm_reg(codegendata *cd, s8 imm, s8 reg);
 252 void emit_lea_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 253 void emit_leal_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg);
 254
 255 void emit_incl_reg(codegendata *cd, s8 reg);
 256 void emit_incq_reg(codegendata *cd, s8 reg);
 257 void emit_incl_membase(codegendata *cd, s8 basereg, s8 disp);
 258 void emit_incq_membase(codegendata *cd, s8 basereg, s8 disp);
 259
 260 void emit_cltd(codegendata *cd);
 261 void emit_cqto(codegendata *cd);
 262 void emit_imul_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 263 void emit_imull_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 264 void emit_imul_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 265 void emit_imull_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg);
 266 void emit_imul_imm_reg(codegendata *cd, s8 imm, s8 dreg);
 267 void emit_imul_imm_reg_reg(codegendata *cd, s8 imm,s8 reg, s8 dreg);
 268 void emit_imull_imm_reg_reg(codegendata *cd, s8 imm, s8 reg, s8 dreg);
 269 void emit_imul_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg);
 270 void emit_imull_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg);
 271 void emit_idiv_reg(codegendata *cd, s8 reg);
 272 void emit_idivl_reg(codegendata *cd, s8 reg);
 273 void emit_shift_reg(codegendata *cd, s8 opc, s8 reg);
 274 void emit_shiftl_reg(codegendata *cd, s8 opc, s8 reg);
 275 void emit_shift_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp);
 276 void emit_shiftl_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp);
 277 void emit_shift_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 278 void emit_shiftl_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg);
 279 void emit_shift_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 280 void emit_shiftl_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp);
 281 void emit_jmp_imm(codegendata *cd, s8 imm);
 282 void emit_jmp_reg(codegendata *cd, s8 reg);
 283 void emit_jcc(codegendata *cd, s8 opc, s8 imm);
 284
 285 void emit_setcc_reg(codegendata *cd, s4 opc, s4 reg);
 286 void emit_setcc_membase(codegendata *cd, s4 opc, s4 basereg, s4 disp);
 287
 288 void emit_cmovcc_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg);
 289 void emit_cmovccl_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg);
 290
 291 void emit_neg_reg(codegendata *cd, s8 reg);
 292 void emit_negl_reg(codegendata *cd, s8 reg);
 293 void emit_neg_membase(codegendata *cd, s8 basereg, s8 disp);
 294 void emit_negl_membase(codegendata *cd, s8 basereg, s8 disp);
 295 void emit_push_reg(codegendata *cd, s8 reg);
 296 void emit_push_imm(codegendata *cd, s8 imm);
 297 void emit_pop_reg(codegendata *cd, s8 reg);
 298 void emit_xchg_reg_reg(codegendata *cd, s8 reg, s8 dreg);
 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  */