src/vm/jit/intrp/intrp.h

   1 /* src/vm/jit/intrp/intrp.h - definitions for Interpreter
   2
   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
   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    Contact: cacao@cacaojvm.org
  26
  27    Authors: Christian Thalinger
  28             Anton Ertl
  29
  30    Changes: Edwin Steiner
  31
  32    $Id: intrp.h 6204 2006-12-16 20:51:32Z edwin $
  33
  34 */
  35
  36
  37 #ifndef _INTRP_H
  38 #define _INTRP_H
  39
  40 /* #define VM_PROFILING */
  41
  42 #include "config.h"
  43
  44 #include <stdio.h>
  45
  46 #include "vm/types.h"
  47 #include "arch.h"
  48
  49 /* we need Cell in some headers below */
  50
  51 #if SIZEOF_VOID_P == 8
  52 typedef s8 Cell;
  53 #else
  54 typedef s4 Cell;
  55 #endif
  56
  57 #include "vm/class.h"
  58 #include "vm/global.h"
  59 #include "vm/method.h"
  60 #include "vm/references.h"
  61 #include "vm/resolve.h"
  62 #include "vm/jit/codegen-common.h"
  63
  64
  65 typedef void *Label;
  66 typedef void *Inst;
  67
  68 #if 1
  69 #define MAYBE_UNUSED __attribute__((unused))
  70 #else
  71 #define MAYBE_UNUSED
  72 #endif
  73
  74 #if SIZEOF_VOID_P == 4
  75
  76 typedef union {
  77     struct {
  78                 u4 low;
  79                 s4 high;
  80     } cells;
  81     s8 l;
  82     double d;
  83 } Double_Store;
  84
  85 #define FETCH_DCELL_T(d_,lo,hi,t_)      ({ \
  86                                      Double_Store _d; \
  87                                      _d.cells.low = (lo); \
  88                                      _d.cells.high = (hi); \
  89                                      (d_) = _d.t_; \
  90                                  })
  91
  92 #define STORE_DCELL_T(d_,lo,hi,t_)      ({ \
  93                                      Double_Store _d; \
  94                                      _d.t_ = (d_); \
  95                                      (lo) = _d.cells.low; \
  96                                      (hi) = _d.cells.high; \
  97                                  })
  98
  99 #else /* SIZEOF_VOID_P == 4 */
 100
 101 typedef union {
 102         s8 low;
 103         s8 l;
 104         double d;
 105 } Double_Store;
 106
 107
 108 #define FETCH_DCELL_T(d_,lo,hi,t_)      ({ (d_) = ((Double_Store)(lo)).t_; })
 109 #define STORE_DCELL_T(d_,lo,hi,t_)      ({ (lo) = ((Double_Store)(d_)).low; })
 110
 111 #endif /* SIZEOF_VOID_P == 4 */
 112
 113
 114 #if defined(ENABLE_THREADS)
 115
 116 #define global_sp    (THREADOBJECT->_global_sp)
 117
 118 #else /* defined(ENABLE_THREADS) */
 119
 120 #define MAX_STACK_SIZE 128*1024
 121 static char stack[MAX_STACK_SIZE];
 122
 123 static Cell *_global_sp = (Cell *)(stack+MAX_STACK_SIZE);
 124 #define global_sp    _global_sp
 125
 126 #endif /* defined(ENABLE_THREADS) */
 127
 128 #define CLEAR_global_sp (global_sp=NULL)
 129
 130
 131 #define vm_twoCell2l(hi,lo,d_)  FETCH_DCELL_T(d_,lo,hi,l);
 132 #define vm_twoCell2d(hi,lo,d_)  FETCH_DCELL_T(d_,lo,hi,d);
 133
 134 #define vm_l2twoCell(d_,hi,lo)  STORE_DCELL_T(d_,lo,hi,l);
 135 #define vm_d2twoCell(d_,hi,lo)  STORE_DCELL_T(d_,lo,hi,d);
 136
 137 #define vm_Cell2v(cell, v) ((v)=(Cell)(cell))
 138 #define vm_Cell2b(cell, b) ((b)=(u1)(Cell)(cell))
 139 #define vm_Cell2i(cell, i) ((i)=(s4)(Cell)(cell))
 140
 141 #define vm_Cell2aRef(x1,x2)       ((x2) = (java_objectheader *)(x1))
 142 #define vm_Cell2aArray(x1,x2)     ((x2) = (java_arrayheader * )(x1))
 143 #define vm_Cell2aaTarget(x1,x2)   ((x2) = (Inst **            )(x1))
 144 #define vm_Cell2aClass(x1,x2)     ((x2) = (classinfo *        )(x1))
 145 #define vm_Cell2acr(x1,x2)        ((x2) = (constant_classref *)(x1))
 146 #define vm_Cell2addr(x1,x2)       ((x2) = (u1 *               )(x1))
 147 #define vm_Cell2af(x1,x2)         ((x2) = (functionptr        )(x1))
 148 #define vm_Cell2afi(x1,x2)        ((x2) = (fieldinfo *        )(x1))
 149 #define vm_Cell2am(x1,x2)         ((x2) = (methodinfo *       )(x1))
 150 #define vm_Cell2acell(x1,x2)      ((x2) = (Cell *             )(x1))
 151 #define vm_Cell2ainst(x1,x2)      ((x2) = (Inst *             )(x1))
 152 #define vm_Cell2auf(x1,x2)        ((x2) = (unresolved_field * )(x1))
 153 #define vm_Cell2aum(x1,x2)        ((x2) = (unresolved_method *)(x1))
 154 #define vm_Cell2avftbl(x1,x2)     ((x2) = (vftbl_t *          )(x1))
 155
 156 #define vm_ui2Cell(x1,x2) ((x2) = (Cell)(x1))
 157 #define vm_v2Cell(x1,x2) ((x2) = (Cell)(x1))
 158 #define vm_b2Cell(x1,x2) ((x2) = (Cell)(x1))
 159 #define vm_s2Cell(x1,x2) ((x2) = (Cell)(x1))
 160 #define vm_i2Cell(x1,x2) ((x2) = (Cell)(x1))
 161 #define vm_aRef2Cell(x1,x2) ((x2) = (Cell)(x1))
 162 #define vm_aArray2Cell(x1,x2) ((x2) = (Cell)(x1))
 163 #define vm_aaTarget2Cell(x1,x2) ((x2) = (Cell)(x1))
 164 #define vm_aClass2Cell(x1,x2) ((x2) = (Cell)(x1))
 165 #define vm_acr2Cell(x1,x2) ((x2) = (Cell)(x1))
 166 #define vm_addr2Cell(x1,x2) ((x2) = (Cell)(x1))
 167 #define vm_af2Cell(x1,x2) ((x2) = (Cell)(x1))
 168 #define vm_afi2Cell(x1,x2) ((x2) = (Cell)(x1))
 169 #define vm_am2Cell(x1,x2) ((x2) = (Cell)(x1))
 170 #define vm_acell2Cell(x1,x2) ((x2) = (Cell)(x1))
 171 #define vm_ainst2Cell(x1,x2) ((x2) = (Cell)(x1))
 172 #define vm_auf2Cell(x1,x2) ((x2) = (Cell)(x1))
 173 #define vm_aum2Cell(x1,x2) ((x2) = (Cell)(x1))
 174 #define vm_avftbl2Cell(x1,x2) ((x2) = (Cell)(x1))
 175
 176 #define vm_Cell2Cell(x1,x2) ((x2)=(Cell)(x1))
 177
 178 #define IMM_ARG(access,value)           (access)
 179
 180 /* for disassembler and tracer */
 181 #define VM_IS_INST(inst, n) ((inst) == vm_prim[n])
 182
 183
 184 #define gen_BBSTART (cd->lastmcodeptr = NULL, append_dispatch(cd))
 185 #define gen_BBEND (finish_ss(cd))
 186
 187
 188 union Cell_float {
 189     Cell cell;
 190     float f;
 191 };
 192
 193
 194 #define access_local_int(_offset) \
 195         ( *(Cell*)(((u1 *)fp) + (_offset)) )
 196
 197 #define access_local_ref(_offset) \
 198         ( *(void **)(((u1 *)fp) + (_offset)) )
 199
 200 #define access_local_cell(_offset) \
 201         ( *(Cell *)(((u1 *)fp) + (_offset)) )
 202
 203
 204 typedef struct block_count block_count;
 205
 206 #define vm_f2Cell(x1,x2)        ((x2) =(((union Cell_float)(x1)).cell))
 207 #define vm_Cell2f(x1,x2)        ((x2) =(((union Cell_float)(x1)).f))
 208
 209 extern Inst *vm_prim;
 210 extern Cell peeptable;
 211 extern FILE *vm_out;
 212
 213 /* defined in peephole.c: */
 214 void init_peeptable(void);
 215 ptrint peephole_opt(ptrint inst1, ptrint inst2, Cell peeptable);
 216
 217 /* defined in engine.c: */
 218 java_objectheader *engine(Inst *ip0, Cell * sp, Cell * fp);
 219
 220 /* defined in disass.c: */
 221 void vm_disassemble(Inst *ip, Inst *endp, Inst vm_prim[]);
 222 Inst *vm_disassemble_inst(Inst *ip, Inst vm_prim[]);
 223
 224 /* print types for disassembler and tracer */
 225 void printarg_ui      (u4                 ui      );
 226 void printarg_v       (Cell               v       );
 227 void printarg_b       (s4                 b       );
 228 void printarg_s       (s4                 s       );
 229 void printarg_i       (s4                 i       );
 230 void printarg_l       (s8                 l       );
 231 void printarg_f       (float              f       );
 232 void printarg_d       (double             d       );
 233 void printarg_aRef    (java_objectheader *aRef    );
 234 void printarg_aArray  (java_arrayheader * aArray  );
 235 void printarg_aaTarget(Inst **            aaTarget);
 236 void printarg_aClass  (classinfo *        aClass  );
 237 void printarg_acr     (constant_classref *acr     );
 238 void printarg_addr    (u1 *               addr    );
 239 void printarg_af      (functionptr        af      );
 240 void printarg_afi     (fieldinfo *        afi     );
 241 void printarg_am      (methodinfo *       am      );
 242 void printarg_acell   (Cell *             acell   );
 243 void printarg_ainst   (Inst *             ainst   );
 244 void printarg_auf     (unresolved_field * auf     );
 245 void printarg_aum     (unresolved_method *aum     );
 246 void printarg_avftbl  (vftbl_t *          avftbl  );
 247 void printarg_Cell    (Cell               x       );
 248
 249 /* defined in profile.c: */
 250 void vm_uncount_block(Inst *ip);
 251 block_count *vm_block_insert(Inst *ip);
 252
 253 /* defined in codegen.c: */
 254 Cell *nativecall(functionptr f, methodinfo *m, Cell *sp, Inst *ra, Cell *fp, u1 *addrcif);
 255 u1 *createcalljavafunction(methodinfo *m);
 256
 257 /* defined in asmpart.c: */
 258 Inst *intrp_asm_handle_exception(Inst *ip, java_objectheader *o, Cell *fp, Cell **new_spp, Cell **new_fpp);
 259
 260 /* defined in dynamic-super.c: */
 261 void gen_inst(codegendata *cd, ptrint instr);
 262 void append_dispatch(codegendata *cd);
 263 void finish_ss(codegendata *cd);
 264 void patchersuper_rewrite(Inst *p);
 265 void dynamic_super_init(void);
 266 void dynamic_super_rewrite(codegendata *cd);
 267
 268 #endif /* _INTRP_H */
 269
 270
 271 /*
 272  * These are local overrides for various environment variables in Emacs.
 273  * Please do not remove this and leave it at the end of the file, where
 274  * Emacs will automagically detect them.
 275  * ---------------------------------------------------------------------
 276  * Local variables:
 277  * mode: c
 278  * indent-tabs-mode: t
 279  * c-basic-offset: 4
 280  * tab-width: 4
 281  * End:
 282  * vim:noexpandtab:sw=4:ts=4:
 283  */