1 /* src/vm/jit/intrp/intrp.h - definitions for Interpreter
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
29 /* #define VM_PROFILING */
39 /* we need Cell in some headers below */
41 #if SIZEOF_VOID_P == 8
47 #include "vm/class.hpp"
48 #include "vm/global.h"
49 #include "vm/linker.hpp"
50 #include "vm/method.hpp"
51 #include "vm/references.h"
52 #include "vm/resolve.hpp"
54 #include "vm/jit/codegen-common.hpp"
61 #define MAYBE_UNUSED __attribute__((unused))
66 #if SIZEOF_VOID_P == 4
77 #define FETCH_DCELL_T(d_,lo,hi,t_) ({ \
79 _d.cells.low = (lo); \
80 _d.cells.high = (hi); \
84 #define STORE_DCELL_T(d_,lo,hi,t_) ({ \
87 (lo) = _d.cells.low; \
88 (hi) = _d.cells.high; \
91 #else /* SIZEOF_VOID_P == 4 */
100 #define FETCH_DCELL_T(d_,lo,hi,t_) ({ (d_) = ((Double_Store)(lo)).t_; })
101 #define STORE_DCELL_T(d_,lo,hi,t_) ({ (lo) = ((Double_Store)(d_)).low; })
103 #endif /* SIZEOF_VOID_P == 4 */
106 #if defined(ENABLE_THREADS)
108 #define global_sp (THREADOBJECT->_global_sp)
110 #else /* defined(ENABLE_THREADS) */
112 #define MAX_STACK_SIZE 128*1024
113 static char stack[MAX_STACK_SIZE];
115 static Cell *_global_sp = (Cell *)(stack+MAX_STACK_SIZE);
116 #define global_sp _global_sp
118 #endif /* defined(ENABLE_THREADS) */
120 #define CLEAR_global_sp (global_sp=NULL)
123 #define vm_twoCell2l(hi,lo,d_) FETCH_DCELL_T(d_,lo,hi,l);
124 #define vm_twoCell2d(hi,lo,d_) FETCH_DCELL_T(d_,lo,hi,d);
126 #define vm_l2twoCell(d_,hi,lo) STORE_DCELL_T(d_,lo,hi,l);
127 #define vm_d2twoCell(d_,hi,lo) STORE_DCELL_T(d_,lo,hi,d);
129 #define vm_Cell2v(cell, v) ((v)=(Cell)(cell))
130 #define vm_Cell2b(cell, b) ((b)=(u1)(Cell)(cell))
131 #define vm_Cell2i(cell, i) ((i)=(s4)(Cell)(cell))
133 #define vm_Cell2aRef(x1,x2) ((x2) = (java_objectheader *)(x1))
134 #define vm_Cell2aArray(x1,x2) ((x2) = (java_arrayheader * )(x1))
135 #define vm_Cell2aaTarget(x1,x2) ((x2) = (Inst ** )(x1))
136 #define vm_Cell2aClass(x1,x2) ((x2) = (classinfo * )(x1))
137 #define vm_Cell2acr(x1,x2) ((x2) = (constant_classref *)(x1))
138 #define vm_Cell2addr(x1,x2) ((x2) = (u1 * )(x1))
139 #define vm_Cell2af(x1,x2) ((x2) = (functionptr )(x1))
140 #define vm_Cell2afi(x1,x2) ((x2) = (fieldinfo * )(x1))
141 #define vm_Cell2am(x1,x2) ((x2) = (methodinfo * )(x1))
142 #define vm_Cell2acell(x1,x2) ((x2) = (Cell * )(x1))
143 #define vm_Cell2ainst(x1,x2) ((x2) = (Inst * )(x1))
144 #define vm_Cell2auf(x1,x2) ((x2) = (unresolved_field * )(x1))
145 #define vm_Cell2aum(x1,x2) ((x2) = (unresolved_method *)(x1))
146 #define vm_Cell2avftbl(x1,x2) ((x2) = (vftbl_t * )(x1))
148 #define vm_ui2Cell(x1,x2) ((x2) = (Cell)(x1))
149 #define vm_v2Cell(x1,x2) ((x2) = (Cell)(x1))
150 #define vm_b2Cell(x1,x2) ((x2) = (Cell)(x1))
151 #define vm_s2Cell(x1,x2) ((x2) = (Cell)(x1))
152 #define vm_i2Cell(x1,x2) ((x2) = (Cell)(x1))
153 #define vm_aRef2Cell(x1,x2) ((x2) = (Cell)(x1))
154 #define vm_aArray2Cell(x1,x2) ((x2) = (Cell)(x1))
155 #define vm_aaTarget2Cell(x1,x2) ((x2) = (Cell)(x1))
156 #define vm_aClass2Cell(x1,x2) ((x2) = (Cell)(x1))
157 #define vm_acr2Cell(x1,x2) ((x2) = (Cell)(x1))
158 #define vm_addr2Cell(x1,x2) ((x2) = (Cell)(x1))
159 #define vm_af2Cell(x1,x2) ((x2) = (Cell)(x1))
160 #define vm_afi2Cell(x1,x2) ((x2) = (Cell)(x1))
161 #define vm_am2Cell(x1,x2) ((x2) = (Cell)(x1))
162 #define vm_acell2Cell(x1,x2) ((x2) = (Cell)(x1))
163 #define vm_ainst2Cell(x1,x2) ((x2) = (Cell)(x1))
164 #define vm_auf2Cell(x1,x2) ((x2) = (Cell)(x1))
165 #define vm_aum2Cell(x1,x2) ((x2) = (Cell)(x1))
166 #define vm_avftbl2Cell(x1,x2) ((x2) = (Cell)(x1))
168 #define vm_Cell2Cell(x1,x2) ((x2)=(Cell)(x1))
170 #define IMM_ARG(access,value) (access)
172 /* for disassembler and tracer */
173 #define VM_IS_INST(inst, n) ((inst) == vm_prim[n])
176 #define gen_BBSTART (cd->lastmcodeptr = NULL, append_dispatch(cd))
177 #define gen_BBEND (finish_ss(cd))
186 #define access_local_int(_offset) \
187 ( *(Cell*)(((u1 *)fp) + (_offset)) )
189 #define access_local_ref(_offset) \
190 ( *(void **)(((u1 *)fp) + (_offset)) )
192 #define access_local_cell(_offset) \
193 ( *(Cell *)(((u1 *)fp) + (_offset)) )
196 typedef struct block_count block_count;
198 #define vm_f2Cell(x1,x2) ((x2) =(((union Cell_float)(x1)).cell))
199 #define vm_Cell2f(x1,x2) ((x2) =(((union Cell_float)(x1)).f))
201 extern Inst *vm_prim;
202 extern Cell peeptable;
205 /* defined in peephole.c: */
206 void init_peeptable(void);
207 ptrint peephole_opt(ptrint inst1, ptrint inst2, Cell peeptable);
209 /* defined in engine.c: */
210 java_objectheader *engine(Inst *ip0, Cell * sp, Cell * fp);
212 /* defined in disass.c: */
213 void vm_disassemble(Inst *ip, Inst *endp, Inst vm_prim[]);
214 Inst *vm_disassemble_inst(Inst *ip, Inst vm_prim[]);
216 /* print types for disassembler and tracer */
217 void printarg_ui (u4 ui );
218 void printarg_v (Cell v );
219 void printarg_b (s4 b );
220 void printarg_s (s4 s );
221 void printarg_i (s4 i );
222 void printarg_l (s8 l );
223 void printarg_f (float f );
224 void printarg_d (double d );
225 void printarg_aRef (java_objectheader *aRef );
226 void printarg_aArray (java_arrayheader * aArray );
227 void printarg_aaTarget(Inst ** aaTarget);
228 void printarg_aClass (classinfo * aClass );
229 void printarg_acr (constant_classref *acr );
230 void printarg_addr (u1 * addr );
231 void printarg_af (functionptr af );
232 void printarg_afi (fieldinfo * afi );
233 void printarg_am (methodinfo * am );
234 void printarg_acell (Cell * acell );
235 void printarg_ainst (Inst * ainst );
236 void printarg_auf (unresolved_field * auf );
237 void printarg_aum (unresolved_method *aum );
238 void printarg_avftbl (vftbl_t * avftbl );
239 void printarg_Cell (Cell x );
241 /* defined in profile.c: */
242 void vm_uncount_block(Inst *ip);
243 block_count *vm_block_insert(Inst *ip);
245 /* defined in codegen.c: */
246 Cell *nativecall(functionptr f, methodinfo *m, Cell *sp, Inst *ra, Cell *fp, u1 *addrcif);
247 u1 *createcalljavafunction(methodinfo *m);
249 /* defined in asmpart.c: */
250 Inst *intrp_asm_handle_exception(Inst *ip, java_objectheader *o, Cell *fp, Cell **new_spp, Cell **new_fpp);
252 /* defined in dynamic-super.c: */
253 void gen_inst(codegendata *cd, ptrint instr);
254 void append_dispatch(codegendata *cd);
255 void finish_ss(codegendata *cd);
256 void patchersuper_rewrite(Inst *p);
257 void dynamic_super_init(void);
258 void dynamic_super_rewrite(codegendata *cd);
260 #endif /* _INTRP_H */
264 * These are local overrides for various environment variables in Emacs.
265 * Please do not remove this and leave it at the end of the file, where
266 * Emacs will automagically detect them.
267 * ---------------------------------------------------------------------
270 * indent-tabs-mode: t
274 * vim:noexpandtab:sw=4:ts=4: