* Updated header: Added 2006. Changed address of FSF. Changed email
[cacao.git] / src / vm / builtin.h
1 /* src/vm/builtin.h - prototypes of builtin functions
2
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
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., 51 Franklin Street, Fifth Floor, Boston, MA
23    02110-1301, USA.
24
25    Contact: cacao@cacaojvm.org
26
27    Authors: Reinhard Grafl
28
29    Changes: Edwin Steiner
30             Christian Thalinger
31
32    $Id: builtin.h 4357 2006-01-22 23:33:38Z twisti $
33
34 */
35
36
37 #ifndef _BUILTIN_H
38 #define _BUILTIN_H
39
40 #include "config.h"
41
42 #include "arch.h"
43 #include "toolbox/logging.h"
44
45 #if defined(USE_THREADS)
46 # if defined(NATIVE_THREADS)
47 #  include "threads/native/threads.h"
48 # else
49 #  include "threads/green/threads.h"
50 # endif
51 #endif
52
53 #include "vm/jit/stacktrace.h"
54
55
56 /* define infinity for floating point numbers */
57
58 #define FLT_NAN     0x7fc00000
59 #define FLT_POSINF  0x7f800000
60 #define FLT_NEGINF  0xff800000
61
62 /* define infinity for double floating point numbers */
63
64 #define DBL_NAN     0x7ff8000000000000LL
65 #define DBL_POSINF  0x7ff0000000000000LL
66 #define DBL_NEGINF  0xfff0000000000000LL
67
68
69 /* float versions are not defined in GNU classpath's fdlibm */
70
71 #define copysignf    copysign
72 #define finitef      finite
73 #define fmodf        fmod
74 #define isnanf       isnan
75
76
77 /* builtin functions table ****************************************************/
78
79 typedef struct builtintable_entry builtintable_entry;
80
81 struct builtintable_entry {
82         s4           opcode;                /* opcode which is replaced           */
83         functionptr  fp;                    /* function pointer of builtin        */
84         char        *descriptor;
85         char        *name;
86         methoddesc  *md;
87 };
88
89
90 /* function prototypes ********************************************************/
91
92 bool builtin_init(void);
93
94 builtintable_entry *builtintable_get_internal(functionptr fp);
95 builtintable_entry *builtintable_get_automatic(s4 opcode);
96
97
98 /**********************************************************************/
99 /* BUILTIN FUNCTIONS                                                  */
100 /**********************************************************************/
101
102 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
103  * have a BUILTIN_... macro defined as seen below. In code dealing
104  * with the BUILTIN* opcodes the functions may only be addressed by
105  * these macros, never by their actual name! (This helps to make this
106  * code more portable.)
107  *
108  * C and assembler code which does not deal with the BUILTIN* opcodes,
109  * can use the builtin functions normally (like all other functions).
110  *
111  * IMPORTANT:
112  * For each builtin function which is used in a BUILTIN* opcode there
113  * must be an entry in the builtin_desc table in jit/jit.c.
114  *
115  * Below each prototype is either the BUILTIN_ macro definition or a
116  * comment specifiying that this function is not used in BUILTIN*
117  * opcodes.
118  *
119  * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
120  * ICMD_BUILTIN3.)
121  */
122
123 s4 builtin_instanceof(java_objectheader *obj, classinfo *class);
124 #define BUILTIN_instanceof (functionptr) builtin_instanceof
125 s4 builtin_isanysubclass (classinfo *sub, classinfo *super);
126 /* NOT AN OP */
127 s4 builtin_isanysubclass_vftbl (vftbl_t *sub, vftbl_t *super);
128 /* NOT AN OP */
129 s4 builtin_checkcast(java_objectheader *obj, classinfo *class);
130 /* NOT AN OP */
131 s4 builtin_arrayinstanceof(java_objectheader *o, classinfo *targetclass);
132 #define BUILTIN_arrayinstanceof (functionptr) builtin_arrayinstanceof
133 s4 builtin_arraycheckcast(java_objectheader *o, classinfo *targetclass);
134 #define BUILTIN_arraycheckcast (functionptr) builtin_arraycheckcast
135
136 java_objectheader *builtin_throw_exception(java_objectheader *exception);
137 /* NOT AN OP */
138 java_objectheader *builtin_trace_exception(java_objectheader *xptr,
139                                                                                    methodinfo *m,
140                                                                                    void *pos,
141                                                                                    s4 indent);
142 /* NOT AN OP */
143
144 java_objectheader *builtin_new(classinfo *c);
145 #define BUILTIN_new (functionptr) builtin_new
146
147 java_arrayheader *builtin_newarray(s4 size, classinfo *arrayclass);
148 #define BUILTIN_newarray (functionptr) builtin_newarray
149
150 java_objectarray *builtin_anewarray(s4 size, classinfo *componentclass);
151 #define BUILTIN_anewarray (functionptr) builtin_anewarray
152
153 java_booleanarray *builtin_newarray_boolean(s4 size);
154 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
155 java_chararray *builtin_newarray_char(s4 size);
156 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
157 java_floatarray *builtin_newarray_float(s4 size);
158 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
159 java_doublearray *builtin_newarray_double(s4 size);
160 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
161 java_bytearray *builtin_newarray_byte(s4 size);
162 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
163 java_shortarray *builtin_newarray_short(s4 size);
164 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
165 java_intarray *builtin_newarray_int(s4 size);
166 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
167 java_longarray *builtin_newarray_long(s4 size);
168 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
169
170 java_arrayheader *builtin_multianewarray(int n, classinfo *arrayclass,
171                                                                                  long *dims);
172 #define BUILTIN_multianewarray (functionptr) builtin_multianewarray
173
174 s4 builtin_canstore(java_objectarray *oa, java_objectheader *o);
175 #define BUILTIN_canstore (functionptr) builtin_canstore
176
177 #if defined(TRACE_ARGS_NUM)
178 void builtin_trace_args(s8 a0, s8 a1,
179 #if TRACE_ARGS_NUM >= 4
180                                                 s8 a2, s8 a3,
181 #endif /* TRACE_ARGS_NUM >= 4 */
182 #if TRACE_ARGS_NUM >= 6
183                                                 s8 a4, s8 a5,
184 #endif /* TRACE_ARGS_NUM >= 6 */
185 #if TRACE_ARGS_NUM == 8
186                                                 s8 a6, s8 a7,
187 #endif /* TRACE_ARGS_NUM == 8 */
188                                                 methodinfo *m);
189 /* NOT AN OP */
190 #endif /* defined(TRACE_ARGS_NUM) */
191
192 void builtin_displaymethodstop(methodinfo *m, s8 l, double d, float f);
193 /* NOT AN OP */
194
195 #if defined(USE_THREADS)
196 void builtin_monitorenter(java_objectheader *o);
197 #define BUILTIN_monitorenter (functionptr) builtin_monitorenter
198 void builtin_staticmonitorenter(classinfo *c);
199 #define BUILTIN_staticmonitorenter (functionptr) builtin_staticmonitorenter
200 void builtin_monitorexit(java_objectheader *o);
201 #define BUILTIN_monitorexit (functionptr) builtin_monitorexit
202 #endif
203
204 s4 builtin_idiv(s4 a, s4 b);
205 #define BUILTIN_idiv (functionptr) builtin_idiv
206 s4 builtin_irem(s4 a, s4 b);
207 #define BUILTIN_irem (functionptr) builtin_irem
208
209 s8 builtin_ladd(s8 a, s8 b);
210 #define BUILTIN_ladd (functionptr) builtin_ladd
211 s8 builtin_lsub(s8 a, s8 b);
212 #define BUILTIN_lsub (functionptr) builtin_lsub
213 s8 builtin_lmul(s8 a, s8 b);
214 #define BUILTIN_lmul (functionptr) builtin_lmul
215
216 s8 builtin_ldiv(s8 a, s8 b);
217 #define BUILTIN_ldiv (functionptr) builtin_ldiv
218 s8 builtin_lrem(s8 a, s8 b);
219 #define BUILTIN_lrem (functionptr) builtin_lrem
220
221 s8 builtin_lshl(s8 a, s4 b);
222 #define BUILTIN_lshl (functionptr) builtin_lshl
223 s8 builtin_lshr(s8 a, s4 b);
224 #define BUILTIN_lshr (functionptr) builtin_lshr
225 s8 builtin_lushr(s8 a, s4 b);
226 #define BUILTIN_lushr (functionptr) builtin_lushr
227 s8 builtin_land(s8 a, s8 b);
228 #define BUILTIN_land (functionptr) builtin_land
229 s8 builtin_lor(s8 a, s8 b);
230 #define BUILTIN_lor (functionptr) builtin_lor
231 s8 builtin_lxor(s8 a, s8 b);
232 #define BUILTIN_lxor (functionptr) builtin_lxor
233 s8 builtin_lneg(s8 a);
234 #define BUILTIN_lneg (functionptr) builtin_lneg
235 s4 builtin_lcmp(s8 a, s8 b);
236 #define BUILTIN_lcmp (functionptr) builtin_lcmp
237
238 float builtin_fadd(float a, float b);
239 #define BUILTIN_fadd (functionptr) builtin_fadd
240 float builtin_fsub(float a, float b);
241 #define BUILTIN_fsub (functionptr) builtin_fsub
242 float builtin_fmul(float a, float b);
243 #define BUILTIN_fmul (functionptr) builtin_fmul
244 float builtin_fdiv(float a, float b);
245 #define BUILTIN_fdiv (functionptr) builtin_fdiv
246 float builtin_fneg(float a);         
247 #define BUILTIN_fneg (functionptr) builtin_fneg
248 s4 builtin_fcmpl(float a, float b);  
249 #define BUILTIN_fcmpl (functionptr) builtin_fcmpl
250 s4 builtin_fcmpg(float a, float b);  
251 #define BUILTIN_fcmpg (functionptr) builtin_fcmpg
252 float builtin_frem(float a, float b);
253 #define BUILTIN_frem (functionptr) builtin_frem
254
255 double builtin_dadd(double a, double b);
256 #define BUILTIN_dadd (functionptr) builtin_dadd
257 double builtin_dsub(double a, double b);
258 #define BUILTIN_dsub (functionptr) builtin_dsub
259 double builtin_dmul(double a, double b);
260 #define BUILTIN_dmul (functionptr) builtin_dmul
261 double builtin_ddiv(double a, double b);
262 #define BUILTIN_ddiv (functionptr) builtin_ddiv
263 double builtin_dneg(double a);          
264 #define BUILTIN_dneg (functionptr) builtin_dneg
265 s4 builtin_dcmpl(double a, double b);   
266 #define BUILTIN_dcmpl (functionptr) builtin_dcmpl
267 s4 builtin_dcmpg(double a, double b);   
268 #define BUILTIN_dcmpg (functionptr) builtin_dcmpg
269 double builtin_drem(double a, double b);
270 #define BUILTIN_drem (functionptr) builtin_drem
271
272 s8       builtin_i2l(s4 i);
273 /* NOT AN OP */
274 float    builtin_i2f(s4 i);
275 #define BUILTIN_i2f (functionptr) builtin_i2f
276 double   builtin_i2d(s4 i);
277 #define BUILTIN_i2d (functionptr) builtin_i2d
278 s4       builtin_l2i(s8 l);
279 /* NOT AN OP */
280 float    builtin_l2f(s8 l);
281 #define BUILTIN_l2f (functionptr) builtin_l2f
282 double   builtin_l2d(s8 l);
283 #define BUILTIN_l2d (functionptr) builtin_l2d
284
285 s4       builtin_f2i(float a);
286 #define BUILTIN_f2i (functionptr) builtin_f2i
287 s4       asm_builtin_f2i(float a);
288 /* NOT AN OP */
289 s8       builtin_f2l(float a);
290 #define BUILTIN_f2l (functionptr) builtin_f2l
291 s8       asm_builtin_f2l(float a);
292 /* NOT AN OP */
293
294 double   builtin_f2d(float a);
295 #define BUILTIN_f2d (functionptr) builtin_f2d
296
297 s4       builtin_d2i(double a);
298 #define BUILTIN_d2i (functionptr) builtin_d2i
299 s4       asm_builtin_d2i(double a);
300 /* NOT AN OP */
301 s8       builtin_d2l(double a);
302 #define BUILTIN_d2l (functionptr) builtin_d2l
303 s8       asm_builtin_d2l(double a);
304 /* NOT AN OP */
305
306 float    builtin_d2f(double a);
307 #define BUILTIN_d2f (functionptr) builtin_d2f
308
309 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
310 /* NOT AN OP */
311
312 /* this is a wrapper for calls from asmpart */
313 java_objectheader **builtin_asm_get_exceptionptrptr(void);
314
315 #if defined(USE_THREADS) && defined(NATIVE_THREADS)
316 static inline java_objectheader **builtin_get_exceptionptrptr(void);
317
318 inline java_objectheader **builtin_get_exceptionptrptr(void)
319 {
320         return &THREADINFO->_exceptionptr;
321 }
322 #endif
323
324 #endif /* _BUILTIN_H */
325
326
327 /*
328  * These are local overrides for various environment variables in Emacs.
329  * Please do not remove this and leave it at the end of the file, where
330  * Emacs will automagically detect them.
331  * ---------------------------------------------------------------------
332  * Local variables:
333  * mode: c
334  * indent-tabs-mode: t
335  * c-basic-offset: 4
336  * tab-width: 4
337  * End:
338  */