verifier documentation
[cacao.git] / asmpart.h
1 /* asmpart.h - prototypes for machine specfic functions
2
3    Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
4    R. Grafl, A. Krall, C. Kruegel, C. Oates, R. Obermaisser,
5    M. Probst, S. Ring, E. Steiner, C. Thalinger, D. Thuernbeck,
6    P. Tomsich, J. Wenninger
7
8    This file is part of CACAO.
9
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.
14
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.
19
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., 59 Temple Place - Suite 330, Boston, MA
23    02111-1307, USA.
24
25    Contact: cacao@complang.tuwien.ac.at
26
27    Authors: Reinhard Grafl
28             Andreas Krall
29
30    Changes: Christian Thalinger
31
32    $Id: asmpart.h 810 2003-12-30 21:35:46Z twisti $
33
34 */
35
36
37 #ifndef _ASMPART_H
38 #define _ASMPART_H
39
40 #include "global.h"
41 #include "jni.h"
42
43 /* 
44    determines if the byte support instruction set (21164a and higher)
45    is available.
46 */
47 int has_no_x_instr_set();
48
49 void synchronize_caches();
50
51
52 /* 
53    invokes the compiler for untranslated JavaVM methods.
54    Register R0 contains a pointer to the method info structure
55    (prepared by createcompilerstub).
56 */
57 void asm_call_jit_compiler();
58
59
60 /* 
61    This function calls a Java-method (which possibly needs compilation)
62    with up to 4 parameters. This function calls a Java-method (which
63    possibly needs compilation) with up to 4 parameters.
64 */
65
66 /* 
67    This function calls a Java-method (which possibly needs compilation)
68    with up to 4 parameters. This function calls a Java-method (which
69    possibly needs compilation) with up to 4 parameters. 
70    also supports a return value
71 */
72 java_objectheader *asm_calljavafunction(methodinfo *m, void *arg1, void *arg2,
73                                         void *arg3, void *arg4);
74 java_objectheader *asm_calljavafunction2(methodinfo *m, u4 count, u4 size , void *callblock);
75 jdouble asm_calljavafunction2double(methodinfo *m, u4 count, u4 size , void *callblock);
76 jlong asm_calljavafunction2long(methodinfo *m, u4 count, u4 size , void *callblock);
77
78
79
80 void asm_handle_exception();
81 void asm_handle_nat_exception();
82
83 void asm_check_clinit();
84
85 void asm_handle_builtin_exception(classinfo *);
86
87 /* 
88    gets the class of the caller from the stack frame
89 */
90 methodinfo *asm_getcallingmethod();
91
92
93 /* 
94    This funtion saves all callee saved registers and calls the function
95    which is passed as parameter.
96    This function is needed by the garbage collector, which needs to access
97    all registers which are stored on the stack. Unused registers are
98    cleared to avoid interferances with the GC.
99 */
100 void asm_dumpregistersandcall(functionptr f);
101
102
103 void *asm_switchstackandcall(void *stack, void *func, void **stacktopsave, void * p);
104
105 void asm_builtin_trace();
106 void asm_builtin_exittrace();
107
108 int asm_xadd(int *, int);
109
110 #endif /* _ASMPART_H */
111
112
113 /*
114  * These are local overrides for various environment variables in Emacs.
115  * Please do not remove this and leave it at the end of the file, where
116  * Emacs will automagically detect them.
117  * ---------------------------------------------------------------------
118  * Local variables:
119  * mode: c
120  * indent-tabs-mode: t
121  * c-basic-offset: 4
122  * tab-width: 4
123  * End:
124  */