src/vm/jit/emit-common.h

   1 /* src/vm/jit/emit-common.h - common code emitter functions
   2
   3    Copyright (C) 2006, 2007 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., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    $Id: emitfuncs.c 4398 2006-01-31 23:43:08Z twisti $
  26
  27 */
  28
  29
  30 #ifndef _EMIT_COMMON_H
  31 #define _EMIT_COMMON_H
  32
  33 #include "config.h"
  34 #include "vm/types.h"
  35
  36 #include "arch.h"
  37
  38 #include "vm/jit/codegen-common.h"
  39 #include "vm/jit/jit.h"
  40
  41
  42 /* branch labels **************************************************************/
  43
  44 #define BRANCH_LABEL_1    1
  45 #define BRANCH_LABEL_2    2
  46 #define BRANCH_LABEL_3    3
  47 #define BRANCH_LABEL_4    4
  48 #define BRANCH_LABEL_5    5
  49
  50
  51 /* constant range macros ******************************************************/
  52
  53 #if SIZEOF_VOID_P == 8
  54
  55 # define IS_IMM8(c) \
  56     (((s8) (c) >= -128) && ((s8) (c) <= 127))
  57
  58 # define IS_IMM32(c) \
  59     (((s8) (c) >= (-2147483647-1)) && ((s8) (c) <= 2147483647))
  60
  61 #else
  62
  63 # define IS_IMM8(c) \
  64     (((s4) (c) >= -128) && ((s4) (c) <= 127))
  65
  66 # define IS_IMM16(c) \
  67     (((s4) (c) >= -32768) && ((s4) (c) <= 32767))
  68
  69 #endif
  70
  71
  72 /* code generation functions **************************************************/
  73
  74 s4 emit_load(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg);
  75 s4 emit_load_s1(jitdata *jd, instruction *iptr, s4 tempreg);
  76 s4 emit_load_s2(jitdata *jd, instruction *iptr, s4 tempreg);
  77 s4 emit_load_s3(jitdata *jd, instruction *iptr, s4 tempreg);
  78
  79 #if SIZEOF_VOID_P == 4
  80 s4 emit_load_low(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg);
  81 s4 emit_load_s1_low(jitdata *jd, instruction *iptr, s4 tempreg);
  82 s4 emit_load_s2_low(jitdata *jd, instruction *iptr, s4 tempreg);
  83 s4 emit_load_s3_low(jitdata *jd, instruction *iptr, s4 tempreg);
  84
  85 s4 emit_load_high(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg);
  86 s4 emit_load_s1_high(jitdata *jd, instruction *iptr, s4 tempreg);
  87 s4 emit_load_s2_high(jitdata *jd, instruction *iptr, s4 tempreg);
  88 s4 emit_load_s3_high(jitdata *jd, instruction *iptr, s4 tempreg);
  89 #endif
  90
  91 void emit_store(jitdata *jd, instruction *iptr, varinfo *dst, s4 d);
  92 void emit_store_dst(jitdata *jd, instruction *iptr, s4 d);
  93
  94 #if SIZEOF_VOID_P == 4
  95 void emit_store_low(jitdata *jd, instruction *iptr, varinfo *dst, s4 d);
  96 void emit_store_high(jitdata *jd, instruction *iptr, varinfo *dst, s4 d);
  97 #endif
  98
  99 void emit_copy(jitdata *jd, instruction *iptr);
 100
 101 void emit_iconst(codegendata *cd, s4 d, s4 value);
 102 void emit_lconst(codegendata *cd, s4 d, s8 value);
 103
 104 /* branch-emitting functions */
 105 void emit_bccz(codegendata *cd, basicblock *target, s4 condition, s4 reg, u4 options);
 106 void emit_bcc(codegendata *cd, basicblock *target, s4 condition, u4 options);
 107
 108 /* wrapper for unconditional branches */
 109 void emit_br(codegendata *cd, basicblock *target);
 110
 111 /* wrappers for branches on one integer register */
 112
 113 #if SUPPORT_BRANCH_CONDITIONAL_ONE_INTEGER_REGISTER
 114 void emit_beqz(codegendata *cd, basicblock *target, s4 reg);
 115 void emit_bnez(codegendata *cd, basicblock *target, s4 reg);
 116 void emit_bltz(codegendata *cd, basicblock *target, s4 reg);
 117 void emit_bgez(codegendata *cd, basicblock *target, s4 reg);
 118 void emit_bgtz(codegendata *cd, basicblock *target, s4 reg);
 119 void emit_blez(codegendata *cd, basicblock *target, s4 reg);
 120 #endif
 121
 122 /* wrappers for branches on two integer registers */
 123
 124 #if SUPPORT_BRANCH_CONDITIONAL_TWO_INTEGER_REGISTERS
 125 void emit_beq(codegendata *cd, basicblock *target, s4 s1, s4 s2);
 126 void emit_bne(codegendata *cd, basicblock *target, s4 s1, s4 s2);
 127 #endif
 128
 129 /* wrappers for branches on condition codes */
 130
 131 #if SUPPORT_BRANCH_CONDITIONAL_CONDITION_REGISTER
 132 void emit_beq(codegendata *cd, basicblock *target);
 133 void emit_bne(codegendata *cd, basicblock *target);
 134 void emit_blt(codegendata *cd, basicblock *target);
 135 void emit_bge(codegendata *cd, basicblock *target);
 136 void emit_bgt(codegendata *cd, basicblock *target);
 137 void emit_ble(codegendata *cd, basicblock *target);
 138 #endif
 139
 140 #if SUPPORT_BRANCH_CONDITIONAL_UNSIGNED_CONDITIONS
 141 void emit_bult(codegendata *cd, basicblock *target);
 142 void emit_bule(codegendata *cd, basicblock *target);
 143 void emit_buge(codegendata *cd, basicblock *target);
 144 void emit_bugt(codegendata *cd, basicblock *target);
 145 #endif
 146
 147 #if defined(__POWERPC__)
 148 void emit_bnan(codegendata *cd, basicblock *target);
 149 #endif
 150
 151 /* label-branches */
 152 void emit_label_bccz(codegendata *cd, s4 label, s4 condition, s4 reg, u4 options);
 153 void emit_label(codegendata *cd, s4 label);
 154 void emit_label_bcc(codegendata *cd, s4 label, s4 condition, u4 options);
 155
 156 void emit_label_br(codegendata *cd, s4 label);
 157
 158 #if SUPPORT_BRANCH_CONDITIONAL_ONE_INTEGER_REGISTER
 159 void emit_label_beqz(codegendata *cd, s4 label, s4 reg);
 160 #endif
 161
 162 #if SUPPORT_BRANCH_CONDITIONAL_CONDITION_REGISTER
 163 void emit_label_beq(codegendata *cd, s4 label);
 164 void emit_label_bne(codegendata *cd, s4 label);
 165 void emit_label_blt(codegendata *cd, s4 label);
 166 void emit_label_bge(codegendata *cd, s4 label);
 167 void emit_label_bgt(codegendata *cd, s4 label);
 168 void emit_label_ble(codegendata *cd, s4 label);
 169 #endif
 170
 171 /* machine dependent branch-emitting function */
 172 void emit_branch(codegendata *cd, s4 disp, s4 condition, s4 reg, u4 options);
 173
 174 void emit_arithmetic_check(codegendata *cd, instruction *iptr, s4 reg);
 175 void emit_arrayindexoutofbounds_check(codegendata *cd, instruction *iptr, s4 s1, s4 s2);
 176 void emit_classcast_check(codegendata *cd, instruction *iptr, s4 condition, s4 reg, s4 s1);
 177 void emit_nullpointer_check(codegendata *cd, instruction *iptr, s4 reg);
 178 void emit_exception_check(codegendata *cd, instruction *iptr);
 179
 180 void emit_patcher_stubs(jitdata *jd);
 181 #if defined(ENABLE_REPLACEMENT)
 182 void emit_replacement_stubs(jitdata *jd);
 183 #endif
 184
 185 void emit_verbosecall_enter(jitdata *jd);
 186 void emit_verbosecall_exit(jitdata *jd);
 187
 188 #endif /* _EMIT_COMMON_H */
 189
 190
 191 /*
 192  * These are local overrides for various environment variables in Emacs.
 193  * Please do not remove this and leave it at the end of the file, where
 194  * Emacs will automagically detect them.
 195  * ---------------------------------------------------------------------
 196  * Local variables:
 197  * mode: c
 198  * indent-tabs-mode: t
 199  * c-basic-offset: 4
 200  * tab-width: 4
 201  * End:
 202  * vim:noexpandtab:sw=4:ts=4:
 203  */