1 /* src/vm/builtin.h - prototypes of builtin functions
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
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., 59 Temple Place - Suite 330, Boston, MA
25 Contact: cacao@complang.tuwien.ac.at
27 Authors: Reinhard Grafl
29 Changes: Edwin Steiner
32 $Id: builtin.h 3001 2005-07-12 16:01:56Z twisti $
42 #include "toolbox/logging.h"
44 #if defined(USE_THREADS)
45 # if defined(NATIVE_THREADS)
46 # include "threads/native/threads.h"
48 # include "threads/green/threads.h"
52 #include "vm/jit/stacktrace.h"
55 /* define infinity for floating point numbers */
57 #define FLT_NAN 0x7fc00000
58 #define FLT_POSINF 0x7f800000
59 #define FLT_NEGINF 0xff800000
61 /* define infinity for double floating point numbers */
63 #define DBL_NAN 0x7ff8000000000000LL
64 #define DBL_POSINF 0x7ff0000000000000LL
65 #define DBL_NEGINF 0xfff0000000000000LL
68 /* float versions are not defined in gnu classpath's fdlibm */
70 #define copysignf copysign
71 #define finitef finite
76 /* builtin functions table ****************************************************/
78 typedef struct builtintable_entry builtintable_entry;
80 struct builtintable_entry {
81 s4 opcode; /* opcode which is replaced */
82 functionptr fp; /* function pointer of builtin */
88 void builtintable_entry_debug_dump(FILE *file,builtintable_entry *bte);
91 /* function prototypes ********************************************************/
93 bool builtin_init(void);
95 builtintable_entry *builtintable_get_internal(functionptr fp);
96 builtintable_entry *builtintable_get_automatic(s4 opcode);
99 /**********************************************************************/
100 /* BUILTIN FUNCTIONS */
101 /**********************************************************************/
103 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
104 * have a BUILTIN_... macro defined as seen below. In code dealing
105 * with the BUILTIN* opcodes the functions may only be addressed by
106 * these macros, never by their actual name! (This helps to make this
107 * code more portable.)
109 * C and assembler code which does not deal with the BUILTIN* opcodes,
110 * can use the builtin functions normally (like all other functions).
113 * For each builtin function which is used in a BUILTIN* opcode there
114 * must be an entry in the builtin_desc table in jit/jit.c.
116 * Below each prototype is either the BUILTIN_ macro definition or a
117 * comment specifiying that this function is not used in BUILTIN*
120 * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
124 s4 builtin_instanceof(java_objectheader *obj, classinfo *class);
125 #define BUILTIN_instanceof (functionptr) builtin_instanceof
126 s4 builtin_isanysubclass (classinfo *sub, classinfo *super);
128 s4 builtin_isanysubclass_vftbl (vftbl_t *sub, vftbl_t *super);
130 s4 builtin_checkcast(java_objectheader *obj, classinfo *class);
132 s4 builtin_arrayinstanceof(java_objectheader *obj, vftbl_t *target);
133 #define BUILTIN_arrayinstanceof (functionptr) builtin_arrayinstanceof
134 s4 builtin_arraycheckcast(java_objectheader *o, vftbl_t *target);
135 #define BUILTIN_arraycheckcast (functionptr) builtin_arraycheckcast
137 java_objectheader *builtin_throw_exception(java_objectheader *exception);
139 java_objectheader *builtin_trace_exception(java_objectheader *xptr,
146 java_objectheader *builtin_new(classinfo *c);
147 /* #if defined(__I386__) */
148 /* java_objectheader *asm_builtin_new(classinfo *c); */
149 /* #define BUILTIN_new (functionptr) asm_builtin_new */
151 #define BUILTIN_new (functionptr) builtin_new
154 java_arrayheader *builtin_newarray(s4 size, vftbl_t *arrayvftbl);
155 #define BUILTIN_newarray (functionptr) builtin_newarray
157 java_objectarray *builtin_anewarray(s4 size, classinfo *component);
158 #define BUILTIN_anewarray (functionptr) builtin_anewarray
160 java_booleanarray *builtin_newarray_boolean(s4 size);
161 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
162 java_chararray *builtin_newarray_char(s4 size);
163 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
164 java_floatarray *builtin_newarray_float(s4 size);
165 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
166 java_doublearray *builtin_newarray_double(s4 size);
167 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
168 java_bytearray *builtin_newarray_byte(s4 size);
169 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
170 java_shortarray *builtin_newarray_short(s4 size);
171 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
172 java_intarray *builtin_newarray_int(s4 size);
173 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
174 java_longarray *builtin_newarray_long(s4 size);
175 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
176 java_arrayheader *builtin_multianewarray(int n, vftbl_t *arrayvftbl, long *dims);
177 #define BUILTIN_multianewarray (functionptr) builtin_multianewarray
179 s4 builtin_canstore(java_objectarray *a, java_objectheader *o);
180 #define BUILTIN_canstore (functionptr) builtin_canstore
182 #if defined(TRACE_ARGS_NUM)
183 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3,
184 #if TRACE_ARGS_NUM >= 6
186 #endif /* TRACE_ARGS_NUM >= 6 */
187 #if TRACE_ARGS_NUM == 8
189 #endif /* TRACE_ARGS_NUM == 8 */
192 #endif /* defined(TRACE_ARGS_NUM) */
194 void builtin_displaymethodstop(methodinfo *m, s8 l, double d, float f);
197 #if defined(USE_THREADS)
198 void builtin_monitorenter(java_objectheader *o);
199 #define BUILTIN_monitorenter (functionptr) builtin_monitorenter
200 void builtin_staticmonitorenter(classinfo *c);
201 #define BUILTIN_staticmonitorenter (functionptr) builtin_staticmonitorenter
202 void builtin_monitorexit(java_objectheader *o);
203 #define BUILTIN_monitorexit (functionptr) builtin_monitorexit
206 s4 builtin_idiv(s4 a, s4 b);
207 #define BUILTIN_idiv (functionptr) builtin_idiv
208 s4 builtin_irem(s4 a, s4 b);
209 #define BUILTIN_irem (functionptr) builtin_irem
211 s8 builtin_ladd(s8 a, s8 b);
212 #define BUILTIN_ladd (functionptr) builtin_ladd
213 s8 builtin_lsub(s8 a, s8 b);
214 #define BUILTIN_lsub (functionptr) builtin_lsub
215 s8 builtin_lmul(s8 a, s8 b);
216 #define BUILTIN_lmul (functionptr) builtin_lmul
218 s8 builtin_ldiv(s8 a, s8 b);
219 #define BUILTIN_ldiv (functionptr) builtin_ldiv
220 s8 builtin_lrem(s8 a, s8 b);
221 #define BUILTIN_lrem (functionptr) builtin_lrem
223 s8 builtin_lshl(s8 a, s4 b);
224 #define BUILTIN_lshl (functionptr) builtin_lshl
225 s8 builtin_lshr(s8 a, s4 b);
226 #define BUILTIN_lshr (functionptr) builtin_lshr
227 s8 builtin_lushr(s8 a, s4 b);
228 #define BUILTIN_lushr (functionptr) builtin_lushr
229 s8 builtin_land(s8 a, s8 b);
230 #define BUILTIN_land (functionptr) builtin_land
231 s8 builtin_lor(s8 a, s8 b);
232 #define BUILTIN_lor (functionptr) builtin_lor
233 s8 builtin_lxor(s8 a, s8 b);
234 #define BUILTIN_lxor (functionptr) builtin_lxor
235 s8 builtin_lneg(s8 a);
236 #define BUILTIN_lneg (functionptr) builtin_lneg
237 s4 builtin_lcmp(s8 a, s8 b);
238 #define BUILTIN_lcmp (functionptr) builtin_lcmp
240 float builtin_fadd(float a, float b);
241 #define BUILTIN_fadd (functionptr) builtin_fadd
242 float builtin_fsub(float a, float b);
243 #define BUILTIN_fsub (functionptr) builtin_fsub
244 float builtin_fmul(float a, float b);
245 #define BUILTIN_fmul (functionptr) builtin_fmul
246 float builtin_fdiv(float a, float b);
247 #define BUILTIN_fdiv (functionptr) builtin_fdiv
248 float builtin_fneg(float a);
249 #define BUILTIN_fneg (functionptr) builtin_fneg
250 s4 builtin_fcmpl(float a, float b);
251 #define BUILTIN_fcmpl (functionptr) builtin_fcmpl
252 s4 builtin_fcmpg(float a, float b);
253 #define BUILTIN_fcmpg (functionptr) builtin_fcmpg
254 float builtin_frem(float a, float b);
255 #define BUILTIN_frem (functionptr) builtin_frem
257 double builtin_dadd(double a, double b);
258 #define BUILTIN_dadd (functionptr) builtin_dadd
259 double builtin_dsub(double a, double b);
260 #define BUILTIN_dsub (functionptr) builtin_dsub
261 double builtin_dmul(double a, double b);
262 #define BUILTIN_dmul (functionptr) builtin_dmul
263 double builtin_ddiv(double a, double b);
264 #define BUILTIN_ddiv (functionptr) builtin_ddiv
265 double builtin_dneg(double a);
266 #define BUILTIN_dneg (functionptr) builtin_dneg
267 s4 builtin_dcmpl(double a, double b);
268 #define BUILTIN_dcmpl (functionptr) builtin_dcmpl
269 s4 builtin_dcmpg(double a, double b);
270 #define BUILTIN_dcmpg (functionptr) builtin_dcmpg
271 double builtin_drem(double a, double b);
272 #define BUILTIN_drem (functionptr) builtin_drem
274 s8 builtin_i2l(s4 i);
276 float builtin_i2f(s4 i);
277 #define BUILTIN_i2f (functionptr) builtin_i2f
278 double builtin_i2d(s4 i);
279 #define BUILTIN_i2d (functionptr) builtin_i2d
280 s4 builtin_l2i(s8 l);
282 float builtin_l2f(s8 l);
283 #define BUILTIN_l2f (functionptr) builtin_l2f
284 double builtin_l2d(s8 l);
285 #define BUILTIN_l2d (functionptr) builtin_l2d
287 s4 builtin_f2i(float a);
288 #define BUILTIN_f2i (functionptr) builtin_f2i
289 s4 asm_builtin_f2i(float a);
291 s8 builtin_f2l(float a);
292 #define BUILTIN_f2l (functionptr) builtin_f2l
293 s8 asm_builtin_f2l(float a);
296 double builtin_f2d(float a);
297 #define BUILTIN_f2d (functionptr) builtin_f2d
299 s4 builtin_d2i(double a);
300 #define BUILTIN_d2i (functionptr) builtin_d2i
301 s4 asm_builtin_d2i(double a);
303 s8 builtin_d2l(double a);
304 #define BUILTIN_d2l (functionptr) builtin_d2l
305 s8 asm_builtin_d2l(double a);
308 float builtin_d2f(double a);
309 #define BUILTIN_d2f (functionptr) builtin_d2f
311 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
314 /* builtin_dummy just exits if it is executed. */
315 s4 builtin_dummy(void);
318 /* conversion helper functions */
319 inline float intBitsToFloat(s4 i);
320 inline float longBitsToDouble(s8 l);
322 /* this is a wrapper for calls from asmpart */
323 java_objectheader **builtin_asm_get_exceptionptrptr(void);
325 #if defined(USE_THREADS) && defined(NATIVE_THREADS)
326 static inline java_objectheader **builtin_get_exceptionptrptr(void);
327 static inline u1 *builtin_get_dontfillinexceptionstacktrace(void);
329 static inline methodinfo **builtin_get_threadrootmethod(void);
332 inline java_objectheader **builtin_get_exceptionptrptr(void)
334 return &THREADINFO->_exceptionptr;
337 inline u1 *builtin_get_dontfillinexceptionstacktrace(void)
339 return &THREADINFO->_dontfillinexceptionstacktrace;
342 inline methodinfo **builtin_get_threadrootmethod(void)
344 return &THREADINFO->_threadrootmethod;
349 /* returns the root method of a thread. this is used in asmpart.S and delivers the abort condition
350 for the stack unwinding for getClassContext and getClassLoader. For the main thread this is the main function.
351 Otherwhise it is the thread's run method (at least that's how I see it) (jowenn) */
352 methodinfo *builtin_asm_get_threadrootmethod(void);
354 /* returns the current top element of the stack frame info list (needed for unwinding across native functions) */
355 /* on i386 this is a pointer to a structure
356 ------------------------------------------------
357 | return adress out of native stub |
358 | 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)
359 | pointer to thread specific top of this list |<----stack frame begin
360 points here---->| previous element in list |
361 ------------------------------------------------
363 void *builtin_asm_get_stackframeinfo(void);
364 stacktraceelement *builtin_stacktrace_copy(stacktraceelement **el,
365 stacktraceelement *begin,
366 stacktraceelement *end);
368 #endif /* _BUILTIN_H */
372 * These are local overrides for various environment variables in Emacs.
373 * Please do not remove this and leave it at the end of the file, where
374 * Emacs will automagically detect them.
375 * ---------------------------------------------------------------------
378 * indent-tabs-mode: t