1 /* vm/jit/replace.h - on-stack replacement of methods
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
8 This file is part of CACAO.
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.
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.
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
25 Contact: cacao@cacaojvm.org
27 Authors: Edwin Steiner
39 /* forward typedefs ***********************************************************/
41 typedef struct rplpoint rplpoint;
42 typedef struct executionstate_t executionstate_t;
43 typedef struct sourcestate_t sourcestate_t;
44 typedef struct sourceframe_t sourceframe_t;
45 typedef struct replace_safestack_t replace_safestack_t;
46 typedef union replace_val_t replace_val_t;
54 #include "vm/method.h"
55 #include "vm/jit/reg.h"
56 #include "vm/jit/stacktrace.h"
59 /* alignment for the safe stack used during replacement */
61 #define REPLACE_STACK_ALIGNMENT 16
63 /* the size of the safe stack we use during replacement */
64 /* Must be a multiple of REPLACE_STACK_ALIGNMENT. */
66 #define REPLACE_SAFESTACK_SIZE 16384 /* bytes */
69 /*** structs *********************************************************/
71 typedef struct rplalloc rplalloc;
73 #define RPLALLOC_STACK -1
74 #define RPLALLOC_PARAM -2
75 #define RPLALLOC_SYNC -3
77 /* `rplalloc` is a compact struct for register allocation info */
79 /* XXX optimize this for space efficiency */
81 s4 index; /* local index, -1 for stack slot */
82 s4 regoff; /* register index / stack slot offset */
83 unsigned int flags:4; /* OR of (INMEMORY,...) */
84 unsigned int type:4; /* TYPE_... constant */
88 #error value of INMEMORY is too big to fit in rplalloc.flags
92 /* XXX what to do about overlapping rplpoints? */
93 /* CAUTION: Do not change the numerical values. These are used as */
94 /* indices into replace_normalize_type_map. */
95 #define RPLPOINT_TYPE_STD BBTYPE_STD
96 #define RPLPOINT_TYPE_EXH BBTYPE_EXH
97 #define RPLPOINT_TYPE_SBR BBTYPE_SBR
98 #define RPLPOINT_TYPE_CALL 3
99 #define RPLPOINT_TYPE_INLINE 4
100 #define RPLPOINT_TYPE_RETURN 5
101 #define RPLPOINT_TYPE_BODY 6
103 #define RPLPOINT_FLAG_NOTRAP 0x01 /* rplpoint cannot be trapped */
104 #define RPLPOINT_FLAG_ACTIVE 0x08 /* trap is active */
108 #define RPLPOINT_CHECK(type) , RPLPOINT_TYPE_##type
109 #define RPLPOINT_CHECK_BB(bptr) , (bptr)->type
111 #define RPLPOINT_CHECK(type)
112 #define RPLPOINT_CHECK_BB(bptr)
116 /* An `rplpoint` represents a replacement point in a compiled method */
119 u1 *pc; /* machine code PC of this point */
120 methodinfo *method; /* source method this point is in */
121 rplpoint *parent; /* rplpoint of the inlined body */ /* XXX unify with code */
122 rplalloc *regalloc; /* pointer to register index table */
123 s4 id; /* id of the rplpoint within method */
124 s4 callsize; /* size of call code in bytes */
125 unsigned int regalloccount:20; /* number of local allocations */
126 unsigned int type:4; /* RPLPOINT_TYPE_... constant */
127 unsigned int flags:8; /* OR of RPLPOINT_... constants */
131 union replace_val_t {
141 java_objectheader *a;
145 /* An `executionsstate` represents the state of a thread as it reached */
146 /* an replacement point or is about to enter one. */
148 struct executionstate_t {
149 u1 *pc; /* program counter */
150 u1 *sp; /* stack pointer within method */
151 u1 *pv; /* procedure value. NULL means */
152 /* search the AVL tree */
154 ptrint intregs[INT_REG_CNT]; /* register values */
155 double fltregs[FLT_REG_CNT]; /* register values */
157 codeinfo *code; /* codeinfo corresponding to the pv */
161 struct sourceframe_t {
162 sourceframe_t *down; /* source frame down the call chain */
164 methodinfo *method; /* method this frame is in */
169 replace_val_t instance;
171 replace_val_t *javastack; /* values of stack vars */
172 u1 *javastacktype; /* types of stack vars */
173 s4 javastackdepth; /* number of stack vars */
175 replace_val_t *javalocals; /* values of javalocals */
176 u1 *javalocaltype; /* types of javalocals */
177 s4 javalocalcount; /* number of javalocals */
179 replace_val_t *syncslots;
180 s4 syncslotcount; /* XXX do we need more than one? */
183 rplpoint *fromrp; /* rplpoint used to read this frame */
184 codeinfo *fromcode; /* code this frame was using */
185 rplpoint *torp; /* rplpoint this frame was mapped to */
186 codeinfo *tocode; /* code this frame was mapped to */
188 /* info for native frames */
189 stackframeinfo *sfi; /* sfi for native frames, otherwise NULL */
190 s4 nativeframesize; /* size (bytes) of native frame */
192 ptrint nativesavint[INT_SAV_CNT]; /* XXX temporary */
193 double nativesavflt[FLT_REG_CNT]; /* XXX temporary */
196 #define REPLACE_IS_NATIVE_FRAME(frame) ((frame)->sfi != NULL)
197 #define REPLACE_IS_JAVA_FRAME(frame) ((frame)->sfi == NULL)
200 struct sourcestate_t {
201 sourceframe_t *frames; /* list of source frames, from bottom up */
205 /* replace_safestack_t *********************************************************
207 This struct is used to allocate a safe stack area to be used during the
208 last phase of replacement. It also contains copies of all data needed
209 during this phase. (The data cannot be kept in normal variables, as
210 the C stack may be destroyed during replacement.)
212 CAUTION: Do not change the layout of this struct! The assembler code
213 depends on the order of fields. (`stack` must be first,
214 directly followed by `es`.)
216 *******************************************************************************/
218 struct replace_safestack_t {
219 u1 stack[REPLACE_SAFESTACK_SIZE];
222 u1 *mem; /* start of the allocated memory chunk */
227 /*** macros for the codegens *******************************************/
229 #define REPLACEMENT_POINTS_INIT(cd, jd) \
230 if (!replace_create_replacement_points(jd)) \
232 (cd)->replacementpoint = (jd)->code->rplpoints;
234 #define REPLACEMENT_POINTS_RESET(cd, jd) \
235 (cd)->replacementpoint = (jd)->code->rplpoints;
237 #define REPLACEMENT_POINT_BLOCK_START(cd, bptr) \
238 if ((bptr)->bitflags & BBFLAG_REPLACEMENT) \
239 codegen_set_replacement_point((cd) RPLPOINT_CHECK_BB(bptr));
241 #define REPLACEMENT_POINT_INLINE_START(cd, iptr) \
242 codegen_set_replacement_point(cd RPLPOINT_CHECK(INLINE));
244 #define REPLACEMENT_POINT_INLINE_BODY(cd, iptr) \
245 codegen_set_replacement_point_notrap(cd RPLPOINT_CHECK(BODY));
247 #define REPLACEMENT_POINT_RETURN(cd, iptr) \
248 codegen_set_replacement_point(cd RPLPOINT_CHECK(RETURN));
250 #define REPLACEMENT_POINT_INVOKE(cd, iptr) \
251 codegen_set_replacement_point(cd RPLPOINT_CHECK(CALL));
253 #define REPLACEMENT_POINT_INVOKE_RETURN(cd, iptr) \
254 if (iptr->opc != ICMD_BUILTIN) \
255 cd->replacementpoint[-1].callsize = (cd->mcodeptr - cd->mcodebase)\
256 - (ptrint) cd->replacementpoint[-1].pc;
258 #define REPLACEMENT_EMIT_STUBS(jd) \
259 emit_replacement_stubs(jd);
261 /*** prototypes ********************************************************/
263 bool replace_create_replacement_points(jitdata *jd);
264 void replace_free_replacement_points(codeinfo *code);
266 void replace_activate_replacement_points(codeinfo *code, bool mappable);
267 void replace_deactivate_replacement_points(codeinfo *code);
269 void replace_me(rplpoint *rp,executionstate_t *es);
272 void replace_show_replacement_points(codeinfo *code);
273 void replace_replacement_point_println(rplpoint *rp, int depth);
274 void replace_executionstate_println(executionstate_t *es);
275 void replace_sourcestate_println(sourcestate_t *ss);
276 void replace_sourcestate_println_short(sourcestate_t *ss);
277 void replace_source_frame_println(sourceframe_t *frame);
280 /* machine dependent functions (code in ARCH_DIR/md.c) */
282 #if defined(ENABLE_JIT)
283 void md_patch_replacement_point(codeinfo *code, s4 index, rplpoint *rp,
290 * These are local overrides for various environment variables in Emacs.
291 * Please do not remove this and leave it at the end of the file, where
292 * Emacs will automagically detect them.
293 * ---------------------------------------------------------------------
296 * indent-tabs-mode: t
300 * vim:noexpandtab:sw=4:ts=4: