/* src/vm/jit/dseg.c - data segment handling stuff
- Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+ Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
J. Wenninger, Institut f. Computersprachen - TU Wien
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Reinhard Grafl
- Andreas Krall
-
- Changes: Christian Thalinger
- Joseph Wenninger
-
- $Id: dseg.h 4826 2006-04-24 16:06:16Z twisti $
-
*/
/* forward typedefs ***********************************************************/
-typedef struct jumpref jumpref;
-typedef struct dataref dataref;
-typedef struct exceptionref exceptionref;
-typedef struct patchref patchref;
-typedef struct linenumberref linenumberref;
+typedef struct dsegentry dsegentry;
+typedef struct linenumbertable_entry linenumbertable_entry;
+typedef struct dseg_exception_entry dseg_exception_entry;
#include "config.h"
-
#include "vm/types.h"
+#include "toolbox/list.h"
+
#include "vm/jit/jit.h"
#include "vm/jit/codegen-common.h"
+#include "vmcore/references.h"
-/* global macros **************************************************************/
-
-#if SIZEOF_VOID_P == 8
-# define dseg_addaddress(cd,value) dseg_adds8((cd), (s8) (value))
-#else
-# define dseg_addaddress(cd,value) dseg_adds4((cd), (s4) (value))
-#endif
+/* convenience macros *********************************************************/
-/* jumpref ********************************************************************/
+#define dseg_add_functionptr(cd,value) \
+ dseg_add_address((cd), (void *) (ptrint) (value))
-struct jumpref {
- s4 tablepos; /* patching position in data segment */
- basicblock *target; /* target basic block */
- jumpref *next; /* next element in jumpref list */
-};
+/* dataentry ******************************************************************/
-/* dataref ********************************************************************/
+#define DSEG_FLAG_UNIQUE 0x0001
+#define DSEG_FLAG_READONLY 0x0002
-struct dataref {
- s4 datapos; /* patching position in generated code */
- dataref *next; /* next element in dataref list */
+struct dsegentry {
+ u2 type;
+ u2 flags;
+ s4 disp;
+ imm_union val;
+ dsegentry *next;
};
-/* exceptionref ***************************************************************/
+/* linenumbertable_entry ******************************************************/
-struct exceptionref {
- s4 branchpos; /* patching position in code segment */
- s4 reg; /* used for ArrayIndexOutOfBounds index reg */
- functionptr function; /* function pointer to generate exception */
- exceptionref *next; /* next element in exceptionref list */
+/* Keep the type of line the same as the pointer type, otherwise we
+ run into alignment troubles (like on MIPS64). */
+
+struct linenumbertable_entry {
+ ptrint line; /* NOTE: see doc/inlining_stacktrace.txt for */
+ u1 *pc; /* special meanings of line and pc. */
};
-/* patchref *******************************************************************/
+/* dseg_exception_entry ********************************************************
-struct patchref {
- s4 branchpos;
- functionptr patcher;
- voidptr ref;
- patchref *next;
- s4 disp;
-};
+ Datastructure which represents an exception entry in the exception
+ table residing in the data segment.
+*******************************************************************************/
-/* linenumberref **************************************************************/
-
-struct linenumberref {
- s4 tablepos; /* patching position in data segment */
- s4 linenumber; /* line number, used for inserting into the */
- /* table and for validity checking */
- /* -1......start of inlined body */
- /* -2......end of inlined body */
- /* <= -3...special entry with methodinfo * */
- /* (see doc/inlining_stacktrace.txt) */
- ptrint targetmpc; /* machine code program counter of first */
- /* instruction for given line */
- /* NOTE: for linenumber <= -3 this is a the */
- /* (methodinfo *) of the inlined method */
- linenumberref *next; /* next element in linenumberref list */
+struct dseg_exception_entry {
+ classref_or_classinfo catchtype;
+ u1 *handlerpc;
+ u1 *endpc;
+ u1 *startpc;
};
/* function prototypes ********************************************************/
-s4 dseg_adds4(codegendata *cd, s4 value);
-s4 dseg_adds8(codegendata *cd, s8 value);
-s4 dseg_addfloat(codegendata *cd, float value);
-s4 dseg_adddouble(codegendata *cd, double value);
+void dseg_finish(jitdata *jd);
-void dseg_addtarget(codegendata *cd, basicblock *target);
+s4 dseg_add_unique_s4(codegendata *cd, s4 value);
+s4 dseg_add_unique_s8(codegendata *cd, s8 value);
+s4 dseg_add_unique_float(codegendata *cd, float value);
+s4 dseg_add_unique_double(codegendata *cd, double value);
+s4 dseg_add_unique_address(codegendata *cd, void *value);
+
+s4 dseg_add_s4(codegendata *cd, s4 value);
+s4 dseg_add_s8(codegendata *cd, s8 value);
+s4 dseg_add_float(codegendata *cd, float value);
+s4 dseg_add_double(codegendata *cd, double value);
+s4 dseg_add_address(codegendata *cd, void *value);
+
+void dseg_add_unique_target(codegendata *cd, basicblock *target);
+void dseg_add_target(codegendata *cd, basicblock *target);
void dseg_addlinenumbertablesize(codegendata *cd);
void dseg_addlinenumber(codegendata *cd, u2 linenumber);
void dseg_createlinenumbertable(codegendata *cd);
-#if defined(__I386__) || defined(__X86_64__) || defined(__XDSPCORE__) || defined(ENABLE_INTRP)
+s4 dseg_get_linenumber_from_pc(methodinfo **pm, u1 *pv, u1 *pc);
+
+#if defined(__I386__) || defined(__X86_64__) || defined(__XDSPCORE__) || defined(__M68K__) || defined(ENABLE_INTRP)
void dseg_adddata(codegendata *cd);
void dseg_resolve_datareferences(jitdata *jd);
#endif
projects / cacao.git / blobdiff