* Merged in new atomic instructions (twisti branch).
[cacao.git] / src / vm / builtin.h
1 /* src/vm/builtin.h - prototypes of builtin functions
2
3    Copyright (C) 1996-2005, 2006, 2007, 2008
4    CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
5
6    This file is part of CACAO.
7
8    This program is free software; you can redistribute it and/or
9    modify it under the terms of the GNU General Public License as
10    published by the Free Software Foundation; either version 2, or (at
11    your option) any later version.
12
13    This program is distributed in the hope that it will be useful, but
14    WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
16    General Public License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with this program; if not, write to the Free Software
20    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
21    02110-1301, USA.
22
23 */
24
25
26 #ifndef _BUILTIN_H
27 #define _BUILTIN_H
28
29 #ifdef __cplusplus
30 extern "C" {
31 #endif
32
33 /* forward typedefs ***********************************************************/
34
35 typedef struct builtintable_entry builtintable_entry;
36
37 #include "config.h"
38 #include "vm/types.h"
39
40 #include "arch.h"
41 #include "md-abi.h"
42
43 #include "toolbox/logging.h"
44
45 #include "vmcore/utf8.h"
46
47
48 /* define infinity for floating point numbers */
49
50 #define FLT_NAN     0x7fc00000
51 #define FLT_POSINF  0x7f800000
52 #define FLT_NEGINF  0xff800000
53
54 /* define infinity for double floating point numbers */
55
56 #define DBL_NAN     0x7ff8000000000000LL
57 #define DBL_POSINF  0x7ff0000000000000LL
58 #define DBL_NEGINF  0xfff0000000000000LL
59
60
61 /* float versions are not defined in GNU classpath's fdlibm */
62
63 #define copysignf    copysign
64 #define finitef      finite
65 #define fmodf        fmod
66 #define isnanf       isnan
67
68
69 /* builtin functions table ****************************************************/
70
71 struct builtintable_entry {
72         s4           opcode;                /* opcode which is replaced           */
73         u4           flags;                 /* e.g. check for exception           */
74         functionptr  fp;                    /* function pointer of builtin        */
75         u1          *stub;                  /* pointer to builtin stub code       */
76         char        *cclassname;            /* char name of the class             */
77         char        *cname;                 /* char name of the function          */
78         char        *cdescriptor;           /* char name of the descriptor        */
79         utf         *classname;             /* class of the function              */
80         utf         *name;                  /* name of the function               */
81         utf         *descriptor;            /* descriptor of the function         */
82         methoddesc  *md;
83 };
84
85
86 /* builtin table flag defines *************************************************/
87
88 #define BUILTINTABLE_FLAG_STUB         0x0001 /* builtin needs a stub         */
89 #define BUILTINTABLE_FLAG_EXCEPTION    0x0002 /* check for excepion on return */
90
91
92 /* function prototypes ********************************************************/
93
94 bool builtin_init(void);
95
96 builtintable_entry *builtintable_get_internal(functionptr fp);
97 builtintable_entry *builtintable_get_automatic(s4 opcode);
98
99 bool builtintable_replace_function(void *iptr);
100
101
102 /**********************************************************************/
103 /* BUILTIN FUNCTIONS                                                  */
104 /**********************************************************************/
105
106 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
107  * have a BUILTIN_... macro defined as seen below. In code dealing
108  * with the BUILTIN* opcodes the functions may only be addressed by
109  * these macros, never by their actual name! (This helps to make this
110  * code more portable.)
111  *
112  * C and assembler code which does not deal with the BUILTIN* opcodes,
113  * can use the builtin functions normally (like all other functions).
114  *
115  * IMPORTANT:
116  * For each builtin function which is used in a BUILTIN* opcode there
117  * must be an entry in the builtin_desc table in jit/jit.c.
118  *
119  * Below each prototype is either the BUILTIN_ macro definition or a
120  * comment specifiying that this function is not used in BUILTIN*
121  * opcodes.
122  *
123  * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
124  * ICMD_BUILTIN3.)
125  */
126
127 bool builtin_instanceof(java_handle_t *obj, classinfo *c);
128 /* NOT AN OP */
129 bool builtin_checkcast(java_handle_t *obj, classinfo *c);
130 /* NOT AN OP */
131 bool builtin_arrayinstanceof(java_handle_t *h, classinfo *targetclass);
132 /* NOT AN OP */
133 bool builtin_fast_arrayinstanceof(java_object_t *o, classinfo *targetclass);
134 #define BUILTIN_arrayinstanceof (functionptr) builtin_fast_arrayinstanceof
135 bool builtin_fast_arraycheckcast(java_object_t *o, classinfo *targetclass);
136 #define BUILTIN_arraycheckcast (functionptr) builtin_fast_arraycheckcast
137
138 bool builtin_canstore(java_handle_objectarray_t *oa, java_handle_t *o);
139 /* NOT AN OP */
140 bool builtin_fast_canstore(java_objectarray_t *oa, java_object_t *o);
141 #define BUILTIN_FAST_canstore (functionptr) builtin_fast_canstore
142
143 void *builtin_throw_exception(java_object_t *exception);
144 /* NOT AN OP */
145 java_object_t *builtin_retrieve_exception(void);
146 /* NOT AN OP */
147
148 java_handle_t *builtin_new(classinfo *c);
149 /* NOT AN OP */
150 java_handle_t *builtin_java_new(java_handle_t *c);
151 #define BUILTIN_new (functionptr) builtin_java_new
152 java_object_t *builtin_fast_new(classinfo *c);
153 #define BUILTIN_FAST_new (functionptr) builtin_fast_new
154
155 java_handle_t *builtin_newarray(int32_t size, classinfo *arrayclass);
156 /* NOT AN OP */
157 java_handle_t *builtin_java_newarray(int32_t size, java_handle_t *arrayclass);
158 #define BUILTIN_newarray (functionptr) builtin_java_newarray
159
160 java_handle_objectarray_t *builtin_anewarray(int32_t size, classinfo *componentclass);
161 /* NOT AN OP */
162
163 java_handle_booleanarray_t *builtin_newarray_boolean(int32_t size);
164 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
165 java_handle_chararray_t *builtin_newarray_char(int32_t size);
166 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
167 java_handle_floatarray_t *builtin_newarray_float(int32_t size);
168 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
169 java_handle_doublearray_t *builtin_newarray_double(int32_t size);
170 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
171 java_handle_bytearray_t *builtin_newarray_byte(int32_t size);
172 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
173 java_handle_shortarray_t *builtin_newarray_short(int32_t size);
174 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
175 java_handle_intarray_t *builtin_newarray_int(int32_t size);
176 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
177 java_handle_longarray_t *builtin_newarray_long(int32_t size);
178 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
179
180 java_handle_objectarray_t *builtin_multianewarray(int n,
181                                                                                                   java_handle_t *arrayclass,
182                                                                                                   long *dims);
183 #define BUILTIN_multianewarray (functionptr) builtin_multianewarray
184
185 #if defined(TRACE_ARGS_NUM)
186 void builtin_verbosecall_enter(s8 a0, s8 a1,
187 # if TRACE_ARGS_NUM >= 4
188                                                            s8 a2, s8 a3,
189 # endif
190 # if TRACE_ARGS_NUM >= 6
191                                                            s8 a4, s8 a5,
192 # endif
193 # if TRACE_ARGS_NUM == 8
194                                                            s8 a6, s8 a7,
195 # endif
196                                                            methodinfo *m);
197 /* NOT AN OP */
198 #endif /* defined(TRACE_ARGS_NUM) */
199
200 void builtin_verbosecall_exit(s8 l, double d, float f, methodinfo *m);
201 /* NOT AN OP */
202
203 s4 builtin_idiv(s4 a, s4 b);
204 #define BUILTIN_idiv (functionptr) builtin_idiv
205 s4 builtin_irem(s4 a, s4 b);
206 #define BUILTIN_irem (functionptr) builtin_irem
207
208 s8 builtin_ladd(s8 a, s8 b);
209 #define BUILTIN_ladd (functionptr) builtin_ladd
210 s8 builtin_lsub(s8 a, s8 b);
211 #define BUILTIN_lsub (functionptr) builtin_lsub
212 s8 builtin_lmul(s8 a, s8 b);
213 #define BUILTIN_lmul (functionptr) builtin_lmul
214
215 s8 builtin_ldiv(s8 a, s8 b);
216 #define BUILTIN_ldiv (functionptr) builtin_ldiv
217 s8 builtin_lrem(s8 a, s8 b);
218 #define BUILTIN_lrem (functionptr) builtin_lrem
219
220 s8 builtin_lshl(s8 a, s4 b);
221 #define BUILTIN_lshl (functionptr) builtin_lshl
222 s8 builtin_lshr(s8 a, s4 b);
223 #define BUILTIN_lshr (functionptr) builtin_lshr
224 s8 builtin_lushr(s8 a, s4 b);
225 #define BUILTIN_lushr (functionptr) builtin_lushr
226 s8 builtin_land(s8 a, s8 b);
227 #define BUILTIN_land (functionptr) builtin_land
228 s8 builtin_lor(s8 a, s8 b);
229 #define BUILTIN_lor (functionptr) builtin_lor
230 s8 builtin_lxor(s8 a, s8 b);
231 #define BUILTIN_lxor (functionptr) builtin_lxor
232 s8 builtin_lneg(s8 a);
233 #define BUILTIN_lneg (functionptr) builtin_lneg
234 s4 builtin_lcmp(s8 a, s8 b);
235 #define BUILTIN_lcmp (functionptr) builtin_lcmp
236
237 float builtin_fadd(float a, float b);
238 #define BUILTIN_fadd (functionptr) builtin_fadd
239 float builtin_fsub(float a, float b);
240 #define BUILTIN_fsub (functionptr) builtin_fsub
241 float builtin_fmul(float a, float b);
242 #define BUILTIN_fmul (functionptr) builtin_fmul
243 float builtin_fdiv(float a, float b);
244 #define BUILTIN_fdiv (functionptr) builtin_fdiv
245 float builtin_fneg(float a);         
246 #define BUILTIN_fneg (functionptr) builtin_fneg
247 s4 builtin_fcmpl(float a, float b);  
248 #define BUILTIN_fcmpl (functionptr) builtin_fcmpl
249 s4 builtin_fcmpg(float a, float b);  
250 #define BUILTIN_fcmpg (functionptr) builtin_fcmpg
251 float builtin_frem(float a, float b);
252 #define BUILTIN_frem (functionptr) builtin_frem
253
254 double builtin_dadd(double a, double b);
255 #define BUILTIN_dadd (functionptr) builtin_dadd
256 double builtin_dsub(double a, double b);
257 #define BUILTIN_dsub (functionptr) builtin_dsub
258 double builtin_dmul(double a, double b);
259 #define BUILTIN_dmul (functionptr) builtin_dmul
260 double builtin_ddiv(double a, double b);
261 #define BUILTIN_ddiv (functionptr) builtin_ddiv
262 double builtin_dneg(double a);          
263 #define BUILTIN_dneg (functionptr) builtin_dneg
264 s4 builtin_dcmpl(double a, double b);   
265 #define BUILTIN_dcmpl (functionptr) builtin_dcmpl
266 s4 builtin_dcmpg(double a, double b);   
267 #define BUILTIN_dcmpg (functionptr) builtin_dcmpg
268 double builtin_drem(double a, double b);
269 #define BUILTIN_drem (functionptr) builtin_drem
270
271 s8       builtin_i2l(s4 i);
272 /* NOT AN OP */
273 float    builtin_i2f(s4 i);
274 #define BUILTIN_i2f (functionptr) builtin_i2f
275 double   builtin_i2d(s4 i);
276 #define BUILTIN_i2d (functionptr) builtin_i2d
277 s4       builtin_l2i(s8 l);
278 /* NOT AN OP */
279 float    builtin_l2f(s8 l);
280 #define BUILTIN_l2f (functionptr) builtin_l2f
281 double   builtin_l2d(s8 l);
282 #define BUILTIN_l2d (functionptr) builtin_l2d
283
284 s4       builtin_f2i(float a);
285 #define BUILTIN_f2i (functionptr) builtin_f2i
286 s4       asm_builtin_f2i(float a);
287 /* NOT AN OP */
288 s8       builtin_f2l(float a);
289 #define BUILTIN_f2l (functionptr) builtin_f2l
290 s8       asm_builtin_f2l(float a);
291 /* NOT AN OP */
292
293 double   builtin_f2d(float a);
294 #define BUILTIN_f2d (functionptr) builtin_f2d
295
296 s4       builtin_d2i(double a);
297 #define BUILTIN_d2i (functionptr) builtin_d2i
298 s4       asm_builtin_d2i(double a);
299 /* NOT AN OP */
300 s8       builtin_d2l(double a);
301 #define BUILTIN_d2l (functionptr) builtin_d2l
302 s8       asm_builtin_d2l(double a);
303 /* NOT AN OP */
304
305 float    builtin_d2f(double a);
306 #define BUILTIN_d2f (functionptr) builtin_d2f
307
308 java_handle_t *builtin_clone(void *env, java_handle_t *o);
309 #define BUILTIN_clone (functionptr) builtin_clone
310
311 void builtin_arraycopy(java_handle_t *src, s4 srcStart,
312                                            java_handle_t *dest, s4 destStart, s4 len);
313 #define BUILTIN_arraycopy (functionptr) builtin_arraycopy
314
315 s8 builtin_nanotime(void);
316 s8 builtin_currenttimemillis(void);
317 #define BUILTIN_currenttimemillis (functionptr) builtin_currenttimemillis
318
319 #if defined(ENABLE_CYCLES_STATS)
320 void builtin_print_cycles_stats(FILE *file);
321 #endif
322
323 #ifdef __cplusplus
324 }
325 #endif
326
327 #endif /* _BUILTIN_H */
328
329
330 /*
331  * These are local overrides for various environment variables in Emacs.
332  * Please do not remove this and leave it at the end of the file, where
333  * Emacs will automagically detect them.
334  * ---------------------------------------------------------------------
335  * Local variables:
336  * mode: c
337  * indent-tabs-mode: t
338  * c-basic-offset: 4
339  * tab-width: 4
340  * End:
341  * vim:noexpandtab:sw=4:ts=4:
342  */