a30e246e84f15257f581e9ff3ac0190592cc43a7
[cacao.git] / src / vm / builtin.h
1 /* src/vm/builtin.h - prototypes of builtin functions
2
3    Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates,
4    R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner,
5    C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger,
6    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., 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
29    Changes: Edwin Steiner
30             Christian Thalinger
31
32    $Id: builtin.h 2368 2005-04-25 14:05:29Z twisti $
33
34 */
35
36
37 #ifndef _BUILTIN_H
38 #define _BUILTIN_H
39
40 #include "arch.h"
41 #include "config.h"
42 #include "toolbox/logging.h"
43
44 #if defined(USE_THREADS)
45 # if defined(NATIVE_THREADS)
46 #  include "threads/native/threads.h"
47 # else
48 #  include "threads/green/threads.h"
49 # endif
50 #endif
51
52 #include "vm/jit/stacktrace.h"
53
54
55 /* define infinity for floating point numbers */
56
57 #define FLT_NAN     0x7fc00000
58 #define FLT_POSINF  0x7f800000
59 #define FLT_NEGINF  0xff800000
60
61 /* define infinity for double floating point numbers */
62
63 #define DBL_NAN     0x7ff8000000000000LL
64 #define DBL_POSINF  0x7ff0000000000000LL
65 #define DBL_NEGINF  0xfff0000000000000LL
66
67
68 /* float versions are not defined in gnu classpath's fdlibm */
69
70 #define copysignf    copysign
71 #define finitef      finite
72 #define fmodf        fmod
73 #define isnanf       isnan
74
75
76 /**********************************************************************/
77 /* BUILTIN FUNCTIONS TABLE                                            */
78 /**********************************************************************/
79
80 /* IMPORTANT:
81  * For each builtin function which is used in a BUILTIN* opcode there
82  * must be an entry in the builtin_desc table in jit/jit.c.
83  */
84  
85 typedef struct builtin_descriptor builtin_descriptor;
86
87 /* There is a builtin_descriptor in builtin_desc for every builtin
88  * function used in BUILTIN* opcodes.
89  */
90 struct builtin_descriptor {
91         int         opcode;   /* opcode which is replaced by this builtin */
92                               /* (255 means no automatic replacement,     */
93                               /*    0 means end of list.)                 */
94         functionptr builtin;  /* the builtin function (specify BUILTIN_...*/
95                               /* macro)                                   */
96         int         icmd;     /* the BUILTIN* opcode to use (# of args)   */
97         u1          type_s1;  /* type of 1st argument                     */
98         u1          type_s2;  /* type of 2nd argument, or TYPE_VOID       */
99         u1          type_s3;  /* type of 3rd argument, or TYPE_VOID       */
100         u1          type_d;   /* type of result (may be TYPE_VOID)        */
101         bool        supported;/* is <opcode> supported without builtin?   */
102         bool        isfloat;  /* is this a floating point operation?      */
103         char        *name;    /* display name of the builtin function     */
104 };
105
106 extern builtin_descriptor builtin_desc[];
107
108 /**********************************************************************/
109 /* GLOBAL VARIABLES                                                   */
110 /**********************************************************************/
111
112 #if defined(USEBUILTINTABLE)
113 void sort_builtintable(void);
114 builtin_descriptor *find_builtin(int opcode);
115 #endif /* defined(USEBUILTINTABLE) */
116
117
118 /**********************************************************************/
119 /* BUILTIN FUNCTIONS                                                  */
120 /**********************************************************************/
121
122 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
123  * have a BUILTIN_... macro defined as seen below. In code dealing
124  * with the BUILTIN* opcodes the functions may only be addressed by
125  * these macros, never by their actual name! (This helps to make this
126  * code more portable.)
127  *
128  * C and assembler code which does not deal with the BUILTIN* opcodes,
129  * can use the builtin functions normally (like all other functions).
130  *
131  * IMPORTANT:
132  * For each builtin function which is used in a BUILTIN* opcode there
133  * must be an entry in the builtin_desc table in jit/jit.c.
134  *
135  * Below each prototype is either the BUILTIN_ macro definition or a
136  * comment specifiying that this function is not used in BUILTIN*
137  * opcodes.
138  *
139  * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
140  * ICMD_BUILTIN3.)
141  */
142
143 s4 builtin_instanceof(java_objectheader *obj, classinfo *class);
144 #define BUILTIN_instanceof (functionptr) builtin_instanceof
145 s4 builtin_isanysubclass (classinfo *sub, classinfo *super);
146 /* NOT AN OP */
147 s4 builtin_isanysubclass_vftbl (vftbl_t *sub, vftbl_t *super);
148 /* NOT AN OP */
149 s4 builtin_checkcast(java_objectheader *obj, classinfo *class);
150 /* NOT AN OP */
151 s4 builtin_arrayinstanceof(java_objectheader *obj, vftbl_t *target);
152 #define BUILTIN_arrayinstanceof (functionptr) builtin_arrayinstanceof
153
154 s4 builtin_checkarraycast(java_objectheader *o, vftbl_t *target);
155 /* NOT AN OP */
156 s4 asm_builtin_checkarraycast(java_objectheader *o, vftbl_t *target);
157 #define BUILTIN_checkarraycast (functionptr) asm_builtin_checkarraycast
158
159 java_objectheader *builtin_throw_exception(java_objectheader *exception);
160 /* NOT AN OP */
161 java_objectheader *builtin_trace_exception(java_objectheader *xptr,
162                                                                                    methodinfo *m,
163                                                                                    void *pos,
164                                                                                    s4 line,
165                                                                                    s4 noindent);
166 /* NOT AN OP */
167
168 java_objectheader *builtin_new(classinfo *c);
169 /*  #if defined(__I386__) */
170 /*  java_objectheader *asm_builtin_new(classinfo *c); */
171 /*  #define BUILTIN_new (functionptr) asm_builtin_new */
172 /*  #else */
173 #define BUILTIN_new (functionptr) builtin_new
174 /*  #endif */
175
176 java_arrayheader *builtin_newarray(s4 size, vftbl_t *arrayvftbl);
177 #define BUILTIN_newarray (functionptr) builtin_newarray
178
179 java_objectarray *builtin_anewarray(s4 size, classinfo *component);
180 #define BUILTIN_anewarray (functionptr) builtin_anewarray
181
182 java_booleanarray *builtin_newarray_boolean(s4 size);
183 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
184 java_chararray *builtin_newarray_char(s4 size);
185 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
186 java_floatarray *builtin_newarray_float(s4 size);
187 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
188 java_doublearray *builtin_newarray_double(s4 size);
189 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
190 java_bytearray *builtin_newarray_byte(s4 size);
191 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
192 java_shortarray *builtin_newarray_short(s4 size);
193 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
194 java_intarray *builtin_newarray_int(s4 size);
195 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
196 java_longarray *builtin_newarray_long(s4 size);
197 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
198 java_arrayheader *builtin_multianewarray(int n, vftbl_t *arrayvftbl, long *dims);
199 #define BUILTIN_multianewarray (functionptr) builtin_multianewarray
200
201 s4 builtin_canstore(java_objectarray *a, java_objectheader *o);
202 /* NOT AN OP */
203 void asm_builtin_aastore(java_objectarray *a, s4 index, java_objectheader *o);
204 #define BUILTIN_aastore (functionptr) asm_builtin_aastore
205
206 #if defined(TRACE_ARGS_NUM)
207 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3,
208 #if TRACE_ARGS_NUM >= 6
209                                                 s8 a4, s8 a5,
210 #endif /* TRACE_ARGS_NUM >= 6 */
211 #if TRACE_ARGS_NUM == 8
212                                                 s8 a6, s8 a7,
213 #endif /* TRACE_ARGS_NUM == 8 */
214                                                 methodinfo *m);
215 /* NOT AN OP */
216 #endif /* defined(TRACE_ARGS_NUM) */
217 void builtin_displaymethodstart(methodinfo *m);
218 /* NOT AN OP */
219 void builtin_displaymethodstop(methodinfo *m, s8 l, double d, float f);
220 /* NOT AN OP */
221
222 #if defined(USE_THREADS)
223 void builtin_monitorenter(java_objectheader *o);
224 #define BUILTIN_monitorenter (functionptr) builtin_monitorenter
225 void builtin_staticmonitorenter(classinfo *c);
226 #define BUILTIN_staticmonitorenter (functionptr) builtin_staticmonitorenter
227 void builtin_monitorexit(java_objectheader *o);
228 #define BUILTIN_monitorexit (functionptr) builtin_monitorexit
229 #endif
230
231 s4 builtin_idiv(s4 a, s4 b);
232 /* NOT AN OP */
233 s4 asm_builtin_idiv(s4 a, s4 b);
234 #define BUILTIN_idiv (functionptr) asm_builtin_idiv
235 s4 builtin_irem(s4 a, s4 b);
236 /* NOT AN OP */
237 s4 asm_builtin_irem(s4 a, s4 b);
238 #define BUILTIN_irem (functionptr) asm_builtin_irem
239
240 s8 builtin_ladd(s8 a, s8 b);
241 #define BUILTIN_ladd (functionptr) builtin_ladd
242 s8 builtin_lsub(s8 a, s8 b);
243 #define BUILTIN_lsub (functionptr) builtin_lsub
244 s8 builtin_lmul(s8 a, s8 b);
245 #define BUILTIN_lmul (functionptr) builtin_lmul
246 s8 builtin_ldiv(s8 a, s8 b);
247 /* NOT AN OP */
248 s8 asm_builtin_ldiv(s8 a, s8 b);
249 #define BUILTIN_ldiv (functionptr) asm_builtin_ldiv
250 s8 builtin_lrem(s8 a, s8 b);
251 /* NOT AN OP */
252 s8 asm_builtin_lrem(s8 a, s8 b);
253 #define BUILTIN_lrem (functionptr) asm_builtin_lrem
254 s8 builtin_lshl(s8 a, s4 b);
255 #define BUILTIN_lshl (functionptr) builtin_lshl
256 s8 builtin_lshr(s8 a, s4 b);
257 #define BUILTIN_lshr (functionptr) builtin_lshr
258 s8 builtin_lushr(s8 a, s4 b);
259 #define BUILTIN_lushr (functionptr) builtin_lushr
260 s8 builtin_land(s8 a, s8 b);
261 #define BUILTIN_land (functionptr) builtin_land
262 s8 builtin_lor(s8 a, s8 b);
263 #define BUILTIN_lor (functionptr) builtin_lor
264 s8 builtin_lxor(s8 a, s8 b);
265 #define BUILTIN_lxor (functionptr) builtin_lxor
266 s8 builtin_lneg(s8 a);
267 #define BUILTIN_lneg (functionptr) builtin_lneg
268 s4 builtin_lcmp(s8 a, s8 b);
269 #define BUILTIN_lcmp (functionptr) builtin_lcmp
270
271 float builtin_fadd(float a, float b);
272 #define BUILTIN_fadd (functionptr) builtin_fadd
273 float builtin_fsub(float a, float b);
274 #define BUILTIN_fsub (functionptr) builtin_fsub
275 float builtin_fmul(float a, float b);
276 #define BUILTIN_fmul (functionptr) builtin_fmul
277 float builtin_fdiv(float a, float b);
278 #define BUILTIN_fdiv (functionptr) builtin_fdiv
279 float builtin_fneg(float a);         
280 #define BUILTIN_fneg (functionptr) builtin_fneg
281 s4 builtin_fcmpl(float a, float b);  
282 #define BUILTIN_fcmpl (functionptr) builtin_fcmpl
283 s4 builtin_fcmpg(float a, float b);  
284 #define BUILTIN_fcmpg (functionptr) builtin_fcmpg
285 float builtin_frem(float a, float b);
286 #define BUILTIN_frem (functionptr) builtin_frem
287
288 double builtin_dadd(double a, double b);
289 #define BUILTIN_dadd (functionptr) builtin_dadd
290 double builtin_dsub(double a, double b);
291 #define BUILTIN_dsub (functionptr) builtin_dsub
292 double builtin_dmul(double a, double b);
293 #define BUILTIN_dmul (functionptr) builtin_dmul
294 double builtin_ddiv(double a, double b);
295 #define BUILTIN_ddiv (functionptr) builtin_ddiv
296 double builtin_dneg(double a);          
297 #define BUILTIN_dneg (functionptr) builtin_dneg
298 s4 builtin_dcmpl(double a, double b);   
299 #define BUILTIN_dcmpl (functionptr) builtin_dcmpl
300 s4 builtin_dcmpg(double a, double b);   
301 #define BUILTIN_dcmpg (functionptr) builtin_dcmpg
302 double builtin_drem(double a, double b);
303 #define BUILTIN_drem (functionptr) builtin_drem
304
305 s8       builtin_i2l(s4 i);
306 /* NOT AN OP */
307 float    builtin_i2f(s4 i);
308 #define BUILTIN_i2f (functionptr) builtin_i2f
309 double   builtin_i2d(s4 i);
310 #define BUILTIN_i2d (functionptr) builtin_i2d
311 s4       builtin_l2i(s8 l);
312 /* NOT AN OP */
313 float    builtin_l2f(s8 l);
314 #define BUILTIN_l2f (functionptr) builtin_l2f
315 double   builtin_l2d(s8 l);
316 #define BUILTIN_l2d (functionptr) builtin_l2d
317
318 s4       builtin_f2i(float a);
319 #define BUILTIN_f2i (functionptr) builtin_f2i
320 s4       asm_builtin_f2i(float a);
321 /* NOT AN OP */
322 s8       builtin_f2l(float a);
323 #define BUILTIN_f2l (functionptr) builtin_f2l
324 s8       asm_builtin_f2l(float a);
325 /* NOT AN OP */
326
327 double   builtin_f2d(float a);
328 #define BUILTIN_f2d (functionptr) builtin_f2d
329
330 s4       builtin_d2i(double a);
331 #define BUILTIN_d2i (functionptr) builtin_d2i
332 s4       asm_builtin_d2i(double a);
333 /* NOT AN OP */
334 s8       builtin_d2l(double a);
335 #define BUILTIN_d2l (functionptr) builtin_d2l
336 s8       asm_builtin_d2l(double a);
337 /* NOT AN OP */
338
339 float    builtin_d2f(double a);
340 #define BUILTIN_d2f (functionptr) builtin_d2f
341
342 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
343 /* NOT AN OP */
344
345 /* builtin_dummy just panics if it is executed. */
346 s4 builtin_dummy(void);
347 /* NOT AN OP */
348
349 /* conversion helper functions */
350 inline float intBitsToFloat(s4 i);
351 inline float longBitsToDouble(s8 l);
352
353 /* this is a wrapper for calls from asmpart */
354 java_objectheader **builtin_asm_get_exceptionptrptr(void);
355
356 #if defined(USE_THREADS) && defined(NATIVE_THREADS)
357 static inline java_objectheader **builtin_get_exceptionptrptr(void);
358 static inline u1 *builtin_get_dontfillinexceptionstacktrace(void);
359 /* NOT AN OP */
360 static inline methodinfo **builtin_get_threadrootmethod(void);
361 /* NOT AN OP */
362
363 inline java_objectheader **builtin_get_exceptionptrptr(void)
364 {
365         return &THREADINFO->_exceptionptr;
366 }
367
368 inline u1 *builtin_get_dontfillinexceptionstacktrace(void)
369 {
370         return &THREADINFO->_dontfillinexceptionstacktrace;
371 }
372
373 inline methodinfo **builtin_get_threadrootmethod(void)
374 {
375         return &THREADINFO->_threadrootmethod;
376 }
377 #endif
378
379
380 /* returns the root method of a thread. this is used in asmpart.S and delivers the abort condition
381    for the stack unwinding for getClassContext and getClassLoader. For the main thread this is the main function.
382    Otherwhise it is the thread's run method (at least that's how I see it) (jowenn) */
383 methodinfo *builtin_asm_get_threadrootmethod(void);
384
385 /* returns the current top element of the stack frame info list (needed for unwinding across native functions) */
386 /* on i386 this is a pointer to a structure 
387                 ------------------------------------------------
388                 | return adress out of native stub              |
389                 | pointer to method info                        | either i have to save an arbitrary adress within this native stub or the pointer to the method info, both are equaly costly, I have chosen the method  info (JOWENN)
390                 | pointer to thread specific top of this list   |<----stack frame begin
391 points here---->| previous element in list                      |
392                 ------------------------------------------------
393 */
394 void *builtin_asm_get_stackframeinfo(void);
395 stacktraceelement *builtin_stacktrace_copy(stacktraceelement **,stacktraceelement *begin, stacktraceelement *end);
396 #endif /* _BUILTIN_H */
397
398
399 /*
400  * These are local overrides for various environment variables in Emacs.
401  * Please do not remove this and leave it at the end of the file, where
402  * Emacs will automagically detect them.
403  * ---------------------------------------------------------------------
404  * Local variables:
405  * mode: c
406  * indent-tabs-mode: t
407  * c-basic-offset: 4
408  * tab-width: 4
409  * End:
410  */