1 /* vm/jit/stack.h - stack analysis header
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: Christian Thalinger
29 Changes: Christian Ullrich
31 $Id: stack.h 5404 2006-09-07 13:29:05Z christian $
43 #include "vm/exceptions.h"
44 #include "vm/global.h"
45 #include "vm/jit/jit.h"
46 #include "vm/jit/reg.h"
49 /* macros used internally by analyse_stack ************************************/
51 /* convenient abbreviations */
52 #define CURKIND curstack->varkind
53 #define CURTYPE curstack->type
56 /*--------------------------------------------------*/
57 /* STACK DEPTH CHECKING */
58 /*--------------------------------------------------*/
60 #if defined(ENABLE_VERIFIER)
61 #define CHECK_STACK_DEPTH(depthA,depthB) \
63 if ((depthA) != (depthB)) \
64 goto throw_stack_depth_error; \
66 #else /* !ENABLE_VERIFIER */
67 #define CHECK_STACK_DEPTH(depthA,depthB)
68 #endif /* ENABLE_VERIFIER */
71 /*--------------------------------------------------*/
72 /* BASIC TYPE CHECKING */
73 /*--------------------------------------------------*/
75 /* XXX would be nice if we did not have to pass the expected type */
77 #if defined(ENABLE_VERIFIER)
78 #define CHECK_BASIC_TYPE(expected,actual) \
80 if ((actual) != (expected)) { \
81 expectedtype = (expected); \
82 goto throw_stack_type_error; \
85 #else /* !ENABLE_VERIFIER */
86 #define CHECK_BASIC_TYPE(expected,actual)
87 #endif /* ENABLE_VERIFIER */
89 /*--------------------------------------------------*/
90 /* STACK UNDERFLOW/OVERFLOW CHECKS */
91 /*--------------------------------------------------*/
93 /* underflow checks */
95 #if defined(ENABLE_VERIFIER)
96 #define REQUIRE(num) \
98 if (stackdepth < (num)) \
99 goto throw_stack_underflow; \
101 #else /* !ENABLE_VERIFIER */
103 #endif /* ENABLE_VERIFIER */
105 #define REQUIRE_1 REQUIRE(1)
106 #define REQUIRE_2 REQUIRE(2)
107 #define REQUIRE_3 REQUIRE(3)
108 #define REQUIRE_4 REQUIRE(4)
112 /* We allow ACONST instructions inserted as arguments to builtin
113 * functions to exceed the maximum stack depth. Maybe we should check
114 * against maximum stack depth only at block boundaries?
117 /* XXX we should find a way to remove the opc/op1 check */
118 #if defined(ENABLE_VERIFIER)
119 #define CHECKOVERFLOW \
121 if (stackdepth > m->maxstack) \
122 if ((iptr->opc != ICMD_ACONST) || INSTRUCTION_MUST_CHECK(iptr)) \
123 goto throw_stack_overflow; \
125 #else /* !ENABLE_VERIFIER */
126 #define CHECKOVERFLOW
127 #endif /* ENABLE_VERIFIER */
129 /*--------------------------------------------------*/
130 /* ALLOCATING STACK SLOTS */
131 /*--------------------------------------------------*/
133 #define NEWSTACK(s,v,n) \
135 new->prev = curstack; \
138 new->varkind = (v); \
141 jd->var[(n)].type = (s); \
142 jd->var[(n)].flags = 0; \
146 /* Initialize regoff, so -sia can show regnames even before reg.inc */
147 /* regs[rd->intregargnum] has to be set for this */
148 /* new->regoff = (IS_FLT_DBL_TYPE(s))?-1:rd->intreg_argnum; } */
150 #define NEWSTACKn(s,n) NEWSTACK(s,UNDEFVAR,n)
151 #define NEWSTACK0(s) NEWSTACK(s,UNDEFVAR,0)
153 /* allocate the input stack for an exception handler */
154 #define NEWXSTACK {NEWSTACK(TYPE_ADR,STACKVAR,0);curstack=0;}
156 /*--------------------------------------------------*/
157 /* STACK MANIPULATION */
158 /*--------------------------------------------------*/
160 /* resetting to an empty operand stack */
169 /* set the output stack of the current instruction */
171 #define SETDST iptr->dst = curstack;
174 /* The following macros do NOT check stackdepth, set stackdepth or iptr->dst */
178 CHECK_BASIC_TYPE((s),curstack->type); \
179 if (curstack->varkind == UNDEFVAR) \
180 curstack->varkind = TEMPVAR; \
181 curstack = curstack->prev; \
186 if (curstack->varkind == UNDEFVAR) \
187 curstack->varkind = TEMPVAR; \
188 curstack = curstack->prev; \
191 /* Do not copy Interface Stackslots over DUPx, Swaps! */
195 (d)->type = (s)->type; \
196 if ( (s)->varkind != STACKVAR) { \
197 (d)->varkind = (s)->varkind; \
198 (d)->varnum = (s)->varnum; \
200 (d)->varkind = TEMPVAR; \
206 /*--------------------------------------------------*/
207 /* MACROS FOR HANDLING BASIC BLOCKS */
208 /*--------------------------------------------------*/
210 /* COPYCURSTACK makes a copy of the current operand stack (curstack)
211 * and returns it in the variable copy.
213 * This macro is used to propagate the operand stack from one basic
214 * block to another. The destination block receives the copy as its
218 # define COPYCURSTACK(copy) {\
229 copy->varkind=STACKVAR;\
230 copy->varnum=s->varnum;\
241 # define COPYCURSTACK(copy) {\
254 copy->varkind=STACKVAR;\
266 /* MARKREACHED marks the destination block <b> as reached. If this
267 * block has been reached before we check if stack depth and types
268 * match. Otherwise the destination block receives a copy of the
269 * current stack as its input stack.
271 * b...destination block
275 /* XXX this macro is much too big! */
277 #define MARKREACHED(b,c) \
280 (b)->bitflags |= BBFLAG_REPLACEMENT; \
281 if ((b)->flags < BBREACHED) { \
284 (b)->flags = BBREACHED; \
285 (b)->instack = (c); \
286 (b)->indepth = stackdepth; \
287 (b)->invars = DMNEW(s4, stackdepth); \
288 for (locali = stackdepth; locali--; (c) = (c)->prev) { \
289 (b)->invars[locali] = (c)->varnum; \
293 stackptr s = curstack; \
294 stackptr t = (b)->instack; \
295 CHECK_STACK_DEPTH((b)->indepth, stackdepth); \
297 CHECK_BASIC_TYPE(s->type,t->type); \
305 /* external macros ************************************************************/
307 #define BLOCK_OF(index) \
308 (jd->new_basicblocks + jd->new_basicblockindex[index])
311 /* function prototypes ********************************************************/
313 bool stack_init(void);
315 bool new_stack_analyse(jitdata *jd);
317 #endif /* _STACK_H */
321 * These are local overrides for various environment variables in Emacs.
322 * Please do not remove this and leave it at the end of the file, where
323 * Emacs will automagically detect them.
324 * ---------------------------------------------------------------------
327 * indent-tabs-mode: t
331 * vim:noexpandtab:sw=4:ts=4: