1 /* builtin.h - prototypes of builtin functions
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
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
31 $Id: builtin.h 879 2004-01-12 13:31:56Z twisti $
40 #include "toolbox/loging.h"
43 /* define infinity for floating point numbers */
45 #define FLT_NAN 0x7fc00000
46 #define FLT_POSINF 0x7f800000
47 #define FLT_NEGINF 0xff800000
49 /* define infinity for double floating point numbers */
51 #define DBL_NAN 0x7ff8000000000000LL
52 #define DBL_POSINF 0x7ff0000000000000LL
53 #define DBL_NEGINF 0xfff0000000000000LL
56 /* float versions are not defined in gnu classpath's fdlibm */
58 #define copysignf copysign
59 #define finitef finite
64 /**********************************************************************/
65 /* BUILTIN FUNCTIONS TABLE */
66 /**********************************************************************/
69 * For each builtin function which is used in a BUILTIN* opcode there
70 * must be an entry in the builtin_desc table in jit/jit.c.
75 typedef struct builtin_descriptor {
81 typedef struct builtin_descriptor builtin_descriptor;
83 /* There is a builtin_descriptor in builtin_desc for every builtin
84 * function used in BUILTIN* opcodes.
86 struct builtin_descriptor {
87 int opcode; /* opcode which is replaced by this builtin */
88 /* (255 means no automatic replacement, */
89 /* 0 means end of list.) */
90 functionptr builtin; /* the builtin function (specify BUILTIN_...*/
92 int icmd; /* the BUILTIN* opcode to use (# of args) */
93 u1 type_s1; /* type of 1st argument */
94 u1 type_s2; /* type of 2nd argument, or TYPE_VOID */
95 u1 type_s3; /* type of 3rd argument, or TYPE_VOID */
96 u1 type_d; /* type of result (may be TYPE_VOID) */
97 bool supported;/* is <opcode> supported without builtin? */
98 bool isfloat; /* is this a floating point operation? */
99 char *name; /* display name of the builtin function */
102 extern builtin_descriptor builtin_desc[];
104 /**********************************************************************/
105 /* GLOBAL VARIABLES */
106 /**********************************************************************/
108 #define THREADSPECIFIC
109 #define exceptionptr (&_exceptionptr)
111 #if defined(USE_THREADS) && defined(NATIVE_THREADS)
114 #undef THREADSPECIFIC
115 #define THREADSPECIFIC __thread
120 #define exceptionptr builtin_get_exceptionptrptr()
125 extern THREADSPECIFIC java_objectheader* _exceptionptr;
128 /**********************************************************************/
129 /* BUILTIN FUNCTIONS */
130 /**********************************************************************/
132 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
133 * have a BUILTIN_... macro defined as seen below. In code dealing
134 * with the BUILTIN* opcodes the functions may only be addressed by
135 * these macros, never by their actual name! (This helps to make this
136 * code more portable.)
138 * C and assembler code which does not deal with the BUILTIN* opcodes,
139 * can use the builtin functions normally (like all other functions).
142 * For each builtin function which is used in a BUILTIN* opcode there
143 * must be an entry in the builtin_desc table in jit/jit.c.
145 * Below each prototype is either the BUILTIN_ macro definition or a
146 * comment specifiying that this function is not used in BUILTIN*
149 * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
153 s4 builtin_instanceof(java_objectheader *obj, classinfo *class);
154 #define BUILTIN_instanceof (functionptr) builtin_instanceof
155 s4 builtin_isanysubclass (classinfo *sub, classinfo *super);
157 s4 builtin_isanysubclass_vftbl (vftbl *sub, vftbl *super);
159 s4 builtin_checkcast(java_objectheader *obj, classinfo *class);
161 s4 builtin_arrayinstanceof(java_objectheader *obj, vftbl *target);
162 #define BUILTIN_arrayinstanceof (functionptr) builtin_arrayinstanceof
164 #if defined(__I386__)
165 s4 asm_builtin_arrayinstanceof(java_objectheader *obj, classinfo *class); /* XXX ? */
166 #undef BUILTIN_arrayinstanceof
167 #define BUILTIN_arrayinstanceof (functionptr) asm_builtin_arrayinstanceof
170 s4 builtin_checkarraycast(java_objectheader *obj, vftbl *target);
172 s4 asm_builtin_checkarraycast(java_objectheader *obj, vftbl *target);
173 #define BUILTIN_checkarraycast (functionptr) asm_builtin_checkarraycast
175 java_objectheader *builtin_throw_exception(java_objectheader *exception);
177 java_objectheader *builtin_trace_exception(java_objectheader *_exceptionptr,
179 int *pos, int noindent);
182 static inline java_objectheader **builtin_get_exceptionptrptr();
184 void builtin_reset_exceptionptr();
187 java_objectheader *builtin_new(classinfo *c);
188 #define BUILTIN_new (functionptr) builtin_new
190 java_arrayheader *builtin_newarray(s4 size, vftbl *arrayvftbl);
191 #define BUILTIN_newarray (functionptr) builtin_newarray
192 java_objectarray *builtin_anewarray(s4 size, classinfo *component);
195 #if defined(__I386__)
196 void asm_builtin_newarray(s4 size, vftbl *arrayvftbl);
197 #undef BUILTIN_newarray
198 #define BUILTIN_newarray (functionptr) asm_builtin_newarray
201 java_booleanarray *builtin_newarray_boolean(s4 size);
202 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
203 java_chararray *builtin_newarray_char(s4 size);
204 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
205 java_floatarray *builtin_newarray_float(s4 size);
206 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
207 java_doublearray *builtin_newarray_double(s4 size);
208 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
209 java_bytearray *builtin_newarray_byte(s4 size);
210 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
211 java_shortarray *builtin_newarray_short(s4 size);
212 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
213 java_intarray *builtin_newarray_int(s4 size);
214 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
215 java_longarray *builtin_newarray_long(s4 size);
216 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
217 java_arrayheader *builtin_nmultianewarray(int n,
218 vftbl *arrayvftbl, long *dims);
221 s4 builtin_canstore(java_objectarray *a, java_objectheader *o);
223 void asm_builtin_aastore(java_objectarray *a, s4 index, java_objectheader *o);
224 #define BUILTIN_aastore (functionptr) asm_builtin_aastore
226 #ifdef TRACE_ARGS_NUM
227 #if TRACE_ARGS_NUM == 6
228 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3, s8 a4, s8 a5, methodinfo *method);
231 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3, s8 a4, s8 a5, s8 a6, s8 a7, methodinfo *method);
235 void builtin_displaymethodstart(methodinfo *method); /* XXX? */
237 void builtin_displaymethodstop(methodinfo *method, s8 l, double d, float f);
239 /* void builtin_displaymethodstop(methodinfo *method); */ /* XXX? */
240 void builtin_displaymethodexception(methodinfo *method); /* XXX? */
243 void builtin_monitorenter(java_objectheader *o);
245 void asm_builtin_monitorenter(java_objectheader *o);
246 #define BUILTIN_monitorenter (functionptr) asm_builtin_monitorenter
247 void builtin_monitorexit(java_objectheader *o);
249 void asm_builtin_monitorexit(java_objectheader *o);
250 #define BUILTIN_monitorexit (functionptr) asm_builtin_monitorexit
252 s4 builtin_idiv(s4 a, s4 b);
254 s4 asm_builtin_idiv(s4 a, s4 b);
255 #define BUILTIN_idiv (functionptr) asm_builtin_idiv
256 s4 builtin_irem(s4 a, s4 b);
258 s4 asm_builtin_irem(s4 a, s4 b);
259 #define BUILTIN_irem (functionptr) asm_builtin_irem
261 s8 builtin_ladd(s8 a, s8 b);
262 #define BUILTIN_ladd (functionptr) builtin_ladd
263 s8 builtin_lsub(s8 a, s8 b);
264 #define BUILTIN_lsub (functionptr) builtin_lsub
265 s8 builtin_lmul(s8 a, s8 b);
266 #define BUILTIN_lmul (functionptr) builtin_lmul
267 s8 builtin_ldiv(s8 a, s8 b);
269 s8 asm_builtin_ldiv(s8 a, s8 b);
270 #define BUILTIN_ldiv (functionptr) asm_builtin_ldiv
271 s8 builtin_lrem(s8 a, s8 b);
273 s8 asm_builtin_lrem(s8 a, s8 b);
274 #define BUILTIN_lrem (functionptr) asm_builtin_lrem
275 s8 builtin_lshl(s8 a, s4 b);
276 #define BUILTIN_lshl (functionptr) builtin_lshl
277 s8 builtin_lshr(s8 a, s4 b);
278 #define BUILTIN_lshr (functionptr) builtin_lshr
279 s8 builtin_lushr(s8 a, s4 b);
280 #define BUILTIN_lushr (functionptr) builtin_lushr
281 s8 builtin_land(s8 a, s8 b);
282 #define BUILTIN_land (functionptr) builtin_land
283 s8 builtin_lor(s8 a, s8 b);
284 #define BUILTIN_lor (functionptr) builtin_lor
285 s8 builtin_lxor(s8 a, s8 b);
286 #define BUILTIN_lxor (functionptr) builtin_lxor
287 s8 builtin_lneg(s8 a);
288 #define BUILTIN_lneg (functionptr) builtin_lneg
289 s4 builtin_lcmp(s8 a, s8 b);
290 #define BUILTIN_lcmp (functionptr) builtin_lcmp
292 float builtin_fadd(float a, float b); /* XXX? */
294 float builtin_fsub(float a, float b); /* XXX? */
296 float builtin_fmul(float a, float b); /* XXX? */
298 float builtin_fdiv(float a, float b); /* XXX? */
300 float builtin_fneg(float a); /* XXX? */
302 s4 builtin_fcmpl(float a, float b); /* XXX? */
304 s4 builtin_fcmpg(float a, float b); /* XXX? */
306 float builtin_frem(float a, float b);
307 #define BUILTIN_frem (functionptr) builtin_frem
309 double builtin_dadd(double a, double b); /* XXX? */
311 double builtin_dsub(double a, double b); /* XXX? */
313 double builtin_dmul(double a, double b); /* XXX? */
315 double builtin_ddiv(double a, double b); /* XXX? */
317 double builtin_dneg(double a); /* XXX? */
319 s4 builtin_dcmpl(double a, double b); /* XXX? */
321 s4 builtin_dcmpg(double a, double b); /* XXX? */
323 double builtin_drem(double a, double b);
324 #define BUILTIN_drem (functionptr) builtin_drem
326 s8 builtin_i2l(s4 i);
328 float builtin_i2f(s4 i);
329 #define BUILTIN_i2f (functionptr) builtin_i2f
330 double builtin_i2d(s4 i);
331 #define BUILTIN_i2d (functionptr) builtin_i2d
332 s4 builtin_l2i(s8 l);
334 float builtin_l2f(s8 l);
335 #define BUILTIN_l2f (functionptr) builtin_l2f
336 double builtin_l2d(s8 l);
337 #define BUILTIN_l2d (functionptr) builtin_l2d
339 s4 builtin_f2i(float a);
340 #define BUILTIN_f2i (functionptr) builtin_f2i
341 s4 asm_builtin_f2i(float a);
343 s8 builtin_f2l(float a);
344 #define BUILTIN_f2l (functionptr) builtin_f2l
345 s8 asm_builtin_f2l(float a);
348 double builtin_f2d(float a); /* XXX? */
351 s4 builtin_d2i(double a);
352 #define BUILTIN_d2i (functionptr) builtin_d2i
353 s4 asm_builtin_d2i(double a);
355 s8 builtin_d2l(double a);
356 #define BUILTIN_d2l (functionptr) builtin_d2l
357 s8 asm_builtin_d2l(double a);
360 float builtin_d2f(double a); /* XXX? */
363 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
366 /* builtin_dummy just panics if it is executed. */
370 /* conversion helper functions */
372 inline float intBitsToFloat(s4 i);
373 inline float longBitsToDouble(s8 l);
376 static inline java_objectheader **builtin_get_exceptionptrptr()
378 #if defined(USE_THREADS) && defined(NATIVE_THREADS)
380 return &_exceptionptr;
382 return &((nativethread*) pthread_getspecific(tkey_exceptionptr))->_exceptionptr;
385 panic("builtin_get_exceptionptrptr should not be used in this configuration");
390 #endif /* _BUILTIN_H */
394 * These are local overrides for various environment variables in Emacs.
395 * Please do not remove this and leave it at the end of the file, where
396 * Emacs will automagically detect them.
397 * ---------------------------------------------------------------------
400 * indent-tabs-mode: t