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 executionstate;
43 typedef struct sourcestate sourcestate;
51 #include "vm/method.h"
52 #include "vm/jit/reg.h"
55 /*** structs *********************************************************/
57 typedef struct rplalloc rplalloc;
59 /* `rplalloc` is a compact struct for register allocation info */
61 /* XXX optimize this for space efficiency */
63 s4 index; /* local index, -1 for stack slot */
64 s4 regoff; /* register index / stack slot offset */
65 unsigned int flags:4; /* OR of (INMEMORY,...) */
66 int type:4; /* TYPE_... constant */
70 #error value of INMEMORY is too big to fit in rplalloc.flags
73 /* An `rplpoint` represents a replacement point in a compiled method */
76 u1 *pc; /* machine code PC of this point */
77 u1 *outcode; /* pointer to replacement-out code */
78 codeinfo *code; /* codeinfo this point belongs to */
79 rplpoint *target; /* target of the replacement */
80 u8 mcode; /* saved maching code for patching */
81 rplalloc *regalloc; /* pointer to register index table */
82 unsigned int regalloccount:24; /* number of local allocations */
83 unsigned int type:4; /* BBTYPE_... constant */
84 unsigned int flags:8; /* OR of RPLPOINT_... constants */
87 /* An `executionsstate` represents the state of a thread as it reached */
88 /* an replacement point or is about to enter one. */
90 struct executionstate {
91 u1 *pc; /* program counter */
92 u1 *sp; /* stack pointer within method */
93 u1 *pv; /* procedure value. NULL means */
94 /* search the AVL tree */
96 u8 intregs[INT_REG_CNT]; /* register values */
97 u8 fltregs[FLT_REG_CNT]; /* register values */
102 /* `sourcestate` will probably only be used for debugging */
113 u8 savedintregs[INT_SAV_CNT + 1]; /* XXX */
114 u8 savedfltregs[FLT_SAV_CNT + 1]; /* XXX */
122 /*** prototypes ********************************************************/
124 bool replace_create_replacement_points(jitdata *jd);
125 void replace_free_replacement_points(codeinfo *code);
127 void replace_activate_replacement_point(rplpoint *rp,rplpoint *target);
128 void replace_deactivate_replacement_point(rplpoint *rp);
129 void replace_activate(codeinfo *code,codeinfo *target);
131 void replace_pop_activation_record(executionstate *es,
134 void replace_me(rplpoint *rp,executionstate *es);
137 void replace_show_replacement_points(codeinfo *code);
138 void replace_replacement_point_println(rplpoint *rp);
139 void replace_executionstate_println(executionstate *es);
140 void replace_sourcestate_println(sourcestate *ss);
143 /* machine dependent functions (code in ARCH_DIR/md.c) */
145 #if defined(ENABLE_JIT)
146 void md_patch_replacement_point(rplpoint *rp);
152 * These are local overrides for various environment variables in Emacs.
153 * Please do not remove this and leave it at the end of the file, where
154 * Emacs will automagically detect them.
155 * ---------------------------------------------------------------------
158 * indent-tabs-mode: t
162 * vim:noexpandtab:sw=4:ts=4: