src/vm/builtin.h

   1 /* builtin.h - prototypes of builtin functions
   2
   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
   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
  31    $Id: builtin.h 851 2004-01-05 23:59:28Z stefan $
  32
  33 */
  34
  35
  36 #ifndef _BUILTIN_H
  37 #define _BUILTIN_H
  38
  39 #include "config.h"
  40
  41
  42 /* define infinity for floating point numbers */
  43
  44 #define FLT_NAN     0x7fc00000
  45 #define FLT_POSINF  0x7f800000
  46 #define FLT_NEGINF  0xff800000
  47
  48 /* define infinity for double floating point numbers */
  49
  50 #define DBL_NAN     0x7ff8000000000000LL
  51 #define DBL_POSINF  0x7ff0000000000000LL
  52 #define DBL_NEGINF  0xfff0000000000000LL
  53
  54
  55 /* some platforms do not have float versions of these functions */
  56
  57 #ifndef HAVE_COPYSIGNF
  58 #define copysignf copysign
  59 #endif
  60
  61 #ifndef HAVE_FINITEF
  62 #define finitef finite
  63 #endif
  64
  65 #ifndef HAVE_FMODF
  66 #define fmodf fmod
  67 #endif
  68
  69 #ifndef HAVE_ISNANF
  70 #define isnanf isnan
  71 #endif
  72
  73
  74 /**********************************************************************/
  75 /* BUILTIN FUNCTIONS TABLE                                            */
  76 /**********************************************************************/
  77
  78 /* IMPORTANT:
  79  * For each builtin function which is used in a BUILTIN* opcode there
  80  * must be an entry in the builtin_desc table in jit/jit.c.
  81  */
  82
  83 /* XXX delete */
  84 #if 0
  85 typedef struct builtin_descriptor {
  86         functionptr bptr;
  87         char        *name;
  88         } builtin_descriptor;
  89 #endif
  90
  91 typedef struct builtin_descriptor builtin_descriptor;
  92
  93 /* There is a builtin_descriptor in builtin_desc for every builtin
  94  * function used in BUILTIN* opcodes.
  95  */
  96 struct builtin_descriptor {
  97         int         opcode;   /* opcode which is replaced by this builtin */
  98                               /* (255 means no automatic replacement,     */
  99                               /*    0 means end of list.)                 */
 100         functionptr builtin;  /* the builtin function (specify BUILTIN_...*/
 101                               /* macro)                                   */
 102         int         icmd;     /* the BUILTIN* opcode to use (# of args)   */
 103         u1          type_s1;  /* type of 1st argument                     */
 104         u1          type_s2;  /* type of 2nd argument, or TYPE_VOID       */
 105         u1          type_s3;  /* type of 3rd argument, or TYPE_VOID       */
 106         u1          type_d;   /* type of result (may be TYPE_VOID)        */
 107         bool        supported;/* is <opcode> supported without builtin?   */
 108         bool        isfloat;  /* is this a floating point operation?      */
 109         char        *name;    /* display name of the builtin function     */
 110 };
 111
 112 extern builtin_descriptor builtin_desc[];
 113
 114 /**********************************************************************/
 115 /* GLOBAL VARIABLES                                                   */
 116 /**********************************************************************/
 117
 118 extern java_objectheader* exceptionptr;
 119
 120
 121 /**********************************************************************/
 122 /* BUILTIN FUNCTIONS                                                  */
 123 /**********************************************************************/
 124
 125 /* NOTE: Builtin functions which are used in the BUILTIN* opcodes must
 126  * have a BUILTIN_... macro defined as seen below. In code dealing
 127  * with the BUILTIN* opcodes the functions may only be addressed by
 128  * these macros, never by their actual name! (This helps to make this
 129  * code more portable.)
 130  *
 131  * C and assembler code which does not deal with the BUILTIN* opcodes,
 132  * can use the builtin functions normally (like all other functions).
 133  *
 134  * IMPORTANT:
 135  * For each builtin function which is used in a BUILTIN* opcode there
 136  * must be an entry in the builtin_desc table in jit/jit.c.
 137  *
 138  * Below each prototype is either the BUILTIN_ macro definition or a
 139  * comment specifiying that this function is not used in BUILTIN*
 140  * opcodes.
 141  *
 142  * (The BUILTIN* opcodes are ICMD_BUILTIN1, ICMD_BUILTIN2 and
 143  * ICMD_BUILTIN3.)
 144  */
 145
 146 s4 builtin_instanceof(java_objectheader *obj, classinfo *class);
 147 #define BUILTIN_instanceof (functionptr) builtin_instanceof
 148 s4 builtin_isanysubclass (classinfo *sub, classinfo *super);
 149 /* NOT AN OP */
 150 s4 builtin_isanysubclass_vftbl (vftbl *sub, vftbl *super);
 151 /* NOT AN OP */
 152 s4 builtin_checkcast(java_objectheader *obj, classinfo *class);
 153 /* NOT AN OP */
 154 s4 builtin_arrayinstanceof(java_objectheader *obj, vftbl *target);
 155 #define BUILTIN_arrayinstanceof (functionptr) builtin_arrayinstanceof
 156
 157 #if defined(__I386__)
 158 s4 asm_builtin_arrayinstanceof(java_objectheader *obj, classinfo *class); /* XXX ? */
 159 #undef  BUILTIN_arrayinstanceof
 160 #define BUILTIN_arrayinstanceof (functionptr) asm_builtin_arrayinstanceof
 161 #endif
 162
 163 s4 builtin_checkarraycast(java_objectheader *obj, vftbl *target);
 164 /* NOT AN OP */
 165 s4 asm_builtin_checkarraycast(java_objectheader *obj, vftbl *target);
 166 #define BUILTIN_checkarraycast (functionptr) asm_builtin_checkarraycast
 167
 168 java_objectheader *builtin_throw_exception(java_objectheader *exception);
 169 /* NOT AN OP */
 170 java_objectheader *builtin_trace_exception(java_objectheader *exceptionptr,
 171                                                                                    methodinfo *method,
 172                                                                                    int *pos, int noindent);
 173 /* NOT AN OP */
 174
 175 java_objectheader *builtin_get_exceptionptr();
 176 /* NOT AN OP */
 177 void builtin_set_exceptionptr(java_objectheader*);
 178 /* NOT AN OP */
 179
 180 java_objectheader *builtin_new(classinfo *c);
 181 #define BUILTIN_new (functionptr) builtin_new
 182
 183 java_arrayheader *builtin_newarray(s4 size, vftbl *arrayvftbl);
 184 #define BUILTIN_newarray (functionptr) builtin_newarray
 185 java_objectarray *builtin_anewarray(s4 size, classinfo *component);
 186 /* NOT AN OP */
 187
 188 #if defined(__I386__)
 189 void asm_builtin_newarray(s4 size, vftbl *arrayvftbl);
 190 #undef  BUILTIN_newarray
 191 #define BUILTIN_newarray (functionptr) asm_builtin_newarray
 192 #endif
 193
 194 java_booleanarray *builtin_newarray_boolean(s4 size);
 195 #define BUILTIN_newarray_boolean (functionptr) builtin_newarray_boolean
 196 java_chararray *builtin_newarray_char(s4 size);
 197 #define BUILTIN_newarray_char (functionptr) builtin_newarray_char
 198 java_floatarray *builtin_newarray_float(s4 size);
 199 #define BUILTIN_newarray_float (functionptr) builtin_newarray_float
 200 java_doublearray *builtin_newarray_double(s4 size);
 201 #define BUILTIN_newarray_double (functionptr) builtin_newarray_double
 202 java_bytearray *builtin_newarray_byte(s4 size);
 203 #define BUILTIN_newarray_byte (functionptr) builtin_newarray_byte
 204 java_shortarray *builtin_newarray_short(s4 size);
 205 #define BUILTIN_newarray_short (functionptr) builtin_newarray_short
 206 java_intarray *builtin_newarray_int(s4 size);
 207 #define BUILTIN_newarray_int (functionptr) builtin_newarray_int
 208 java_longarray *builtin_newarray_long(s4 size);
 209 #define BUILTIN_newarray_long (functionptr) builtin_newarray_long
 210 java_arrayheader *builtin_nmultianewarray(int n,
 211                                           vftbl *arrayvftbl, long *dims);
 212 /* NOT AN OP */
 213
 214 s4 builtin_canstore(java_objectarray *a, java_objectheader *o);
 215 /* NOT AN OP */
 216 void asm_builtin_aastore(java_objectarray *a, s4 index, java_objectheader *o);
 217 #define BUILTIN_aastore (functionptr) asm_builtin_aastore
 218
 219 #ifdef TRACE_ARGS_NUM
 220 #if TRACE_ARGS_NUM == 6
 221 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3, s8 a4, s8 a5, methodinfo *method);
 222 /* NOT AN OP */
 223 #else
 224 void builtin_trace_args(s8 a0, s8 a1, s8 a2, s8 a3, s8 a4, s8 a5, s8 a6, s8 a7, methodinfo *method);
 225 /* NOT AN OP */
 226 #endif
 227 #endif
 228 void builtin_displaymethodstart(methodinfo *method); /* XXX? */
 229 /* NOT AN OP */
 230 void builtin_displaymethodstop(methodinfo *method, s8 l, double d, float f);
 231 /* NOT AN OP */
 232 /* void builtin_displaymethodstop(methodinfo *method); */ /* XXX? */
 233 void builtin_displaymethodexception(methodinfo *method); /* XXX? */
 234 /* NOT AN OP */
 235
 236 void builtin_monitorenter(java_objectheader *o);
 237 /* NOT AN OP */
 238 void asm_builtin_monitorenter(java_objectheader *o);
 239 #define BUILTIN_monitorenter (functionptr) asm_builtin_monitorenter
 240 void builtin_monitorexit(java_objectheader *o);
 241 /* NOT AN OP */
 242 void asm_builtin_monitorexit(java_objectheader *o);
 243 #define BUILTIN_monitorexit (functionptr) asm_builtin_monitorexit
 244
 245 s4 builtin_idiv(s4 a, s4 b);
 246 /* NOT AN OP */
 247 s4 asm_builtin_idiv(s4 a, s4 b);
 248 #define BUILTIN_idiv (functionptr) asm_builtin_idiv
 249 s4 builtin_irem(s4 a, s4 b);
 250 /* NOT AN OP */
 251 s4 asm_builtin_irem(s4 a, s4 b);
 252 #define BUILTIN_irem (functionptr) asm_builtin_irem
 253
 254 s8 builtin_ladd(s8 a, s8 b);
 255 #define BUILTIN_ladd (functionptr) builtin_ladd
 256 s8 builtin_lsub(s8 a, s8 b);
 257 #define BUILTIN_lsub (functionptr) builtin_lsub
 258 s8 builtin_lmul(s8 a, s8 b);
 259 #define BUILTIN_lmul (functionptr) builtin_lmul
 260 s8 builtin_ldiv(s8 a, s8 b);
 261 /* NOT AN OP */
 262 s8 asm_builtin_ldiv(s8 a, s8 b);
 263 #define BUILTIN_ldiv (functionptr) asm_builtin_ldiv
 264 s8 builtin_lrem(s8 a, s8 b);
 265 /* NOT AN OP */
 266 s8 asm_builtin_lrem(s8 a, s8 b);
 267 #define BUILTIN_lrem (functionptr) asm_builtin_lrem
 268 s8 builtin_lshl(s8 a, s4 b);
 269 #define BUILTIN_lshl (functionptr) builtin_lshl
 270 s8 builtin_lshr(s8 a, s4 b);
 271 #define BUILTIN_lshr (functionptr) builtin_lshr
 272 s8 builtin_lushr(s8 a, s4 b);
 273 #define BUILTIN_lushr (functionptr) builtin_lushr
 274 s8 builtin_land(s8 a, s8 b);
 275 #define BUILTIN_land (functionptr) builtin_land
 276 s8 builtin_lor(s8 a, s8 b);
 277 #define BUILTIN_lor (functionptr) builtin_lor
 278 s8 builtin_lxor(s8 a, s8 b);
 279 #define BUILTIN_lxor (functionptr) builtin_lxor
 280 s8 builtin_lneg(s8 a);
 281 #define BUILTIN_lneg (functionptr) builtin_lneg
 282 s4 builtin_lcmp(s8 a, s8 b);
 283 #define BUILTIN_lcmp (functionptr) builtin_lcmp
 284
 285 float builtin_fadd(float a, float b); /* XXX? */
 286 /* NOT AN OP */
 287 float builtin_fsub(float a, float b); /* XXX? */
 288 /* NOT AN OP */
 289 float builtin_fmul(float a, float b); /* XXX? */
 290 /* NOT AN OP */
 291 float builtin_fdiv(float a, float b); /* XXX? */
 292 /* NOT AN OP */
 293 float builtin_fneg(float a);          /* XXX? */
 294 /* NOT AN OP */
 295 s4 builtin_fcmpl(float a, float b);   /* XXX? */
 296 /* NOT AN OP */
 297 s4 builtin_fcmpg(float a, float b);   /* XXX? */
 298 /* NOT AN OP */
 299 float builtin_frem(float a, float b);
 300 #define BUILTIN_frem (functionptr) builtin_frem
 301
 302 double builtin_dadd(double a, double b); /* XXX? */
 303 /* NOT AN OP */
 304 double builtin_dsub(double a, double b); /* XXX? */
 305 /* NOT AN OP */
 306 double builtin_dmul(double a, double b); /* XXX? */
 307 /* NOT AN OP */
 308 double builtin_ddiv(double a, double b); /* XXX? */
 309 /* NOT AN OP */
 310 double builtin_dneg(double a);           /* XXX? */
 311 /* NOT AN OP */
 312 s4 builtin_dcmpl(double a, double b);    /* XXX? */
 313 /* NOT AN OP */
 314 s4 builtin_dcmpg(double a, double b);    /* XXX? */
 315 /* NOT AN OP */
 316 double builtin_drem(double a, double b);
 317 #define BUILTIN_drem (functionptr) builtin_drem
 318
 319 s8       builtin_i2l(s4 i);
 320 /* NOT AN OP */
 321 float    builtin_i2f(s4 i);
 322 #define BUILTIN_i2f (functionptr) builtin_i2f
 323 double   builtin_i2d(s4 i);
 324 #define BUILTIN_i2d (functionptr) builtin_i2d
 325 s4       builtin_l2i(s8 l);
 326 /* NOT AN OP */
 327 float    builtin_l2f(s8 l);
 328 #define BUILTIN_l2f (functionptr) builtin_l2f
 329 double   builtin_l2d(s8 l);
 330 #define BUILTIN_l2d (functionptr) builtin_l2d
 331
 332 s4       builtin_f2i(float a);
 333 #define BUILTIN_f2i (functionptr) builtin_f2i
 334 s4       asm_builtin_f2i(float a);
 335 /* NOT AN OP */
 336 s8       builtin_f2l(float a);
 337 #define BUILTIN_f2l (functionptr) builtin_f2l
 338 s8       asm_builtin_f2l(float a);
 339 /* NOT AN OP */
 340
 341 double   builtin_f2d(float a);     /* XXX? */
 342 /* NOT AN OP */
 343
 344 s4       builtin_d2i(double a);
 345 #define BUILTIN_d2i (functionptr) builtin_d2i
 346 s4       asm_builtin_d2i(double a);
 347 /* NOT AN OP */
 348 s8       builtin_d2l(double a);
 349 #define BUILTIN_d2l (functionptr) builtin_d2l
 350 s8       asm_builtin_d2l(double a);
 351 /* NOT AN OP */
 352
 353 float    builtin_d2f(double a);    /* XXX? */
 354 /* NOT AN OP */
 355
 356 java_arrayheader *builtin_clone_array(void *env, java_arrayheader *o);
 357 /* NOT AN OP */
 358
 359 /* conversion helper functions */
 360
 361 inline float intBitsToFloat(s4 i);
 362 inline float longBitsToDouble(s8 l);
 363
 364 #endif /* _BUILTIN_H */
 365
 366
 367 /*
 368  * These are local overrides for various environment variables in Emacs.
 369  * Please do not remove this and leave it at the end of the file, where
 370  * Emacs will automagically detect them.
 371  * ---------------------------------------------------------------------
 372  * Local variables:
 373  * mode: c
 374  * indent-tabs-mode: t
 375  * c-basic-offset: 4
 376  * tab-width: 4
 377  * End:
 378  */