src/vm/jit/jit.h

   1 /* src/vm/jit/jit.h - code generation header
   2
   3    Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
   4    C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
   5    E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
   6    J. Wenninger, 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., 51 Franklin Street, Fifth Floor, Boston, MA
  23    02110-1301, USA.
  24
  25    Contact: cacao@cacaojvm.org
  26
  27    Authors: Andreas Krall
  28             Reinhard Grafl
  29
  30    Changes: Christian Thalinger
  31                         Edwin Steiner
  32
  33    $Id: jit.h 4758 2006-04-12 17:51:10Z edwin $
  34
  35 */
  36
  37
  38 #ifndef _JIT_H
  39 #define _JIT_H
  40
  41 /* forward typedefs ***********************************************************/
  42
  43 typedef struct jitdata jitdata;
  44 typedef struct stackelement stackelement;
  45 typedef stackelement *stackptr;
  46 typedef struct basicblock basicblock;
  47 typedef struct branchref branchref;
  48 typedef struct instruction instruction;
  49 typedef struct subroutineinfo subroutineinfo;
  50 typedef struct insinfo_inline insinfo_inline;
  51
  52
  53 #include "config.h"
  54 #include "vm/types.h"
  55
  56 #include "toolbox/chain.h"
  57 #include "vm/global.h"
  58 #include "vm/method.h"
  59 #include "vm/references.h"
  60 #include "vm/statistics.h"
  61 #include "vm/jit/codegen-common.h"
  62 #include "vm/jit/reg.h"
  63
  64 #if defined(ENABLE_INLINING)
  65 # include "vm/jit/inline/inline.h"
  66 #endif
  67
  68 #if defined(ENABLE_LOOP)
  69 # include "vm/jit/loop/loop.h"
  70 #endif
  71
  72 #include "vm/jit/verify/typeinfo.h"
  73
  74
  75 /* common jit/codegen macros **************************************************/
  76
  77 #if defined(ENABLE_STATISTICS)
  78 # define COUNT(x)        (x)++
  79 # define COUNT_SPILLS    count_spills++
  80 #else
  81 # define COUNT(x)        /* nothing */
  82 # define COUNT_SPILLS    /* nothing */
  83 #endif
  84
  85
  86 /* jitdata ********************************************************************/
  87
  88 #define JITDATA_FLAG_IFCONV    0x00000001
  89
  90 struct jitdata {
  91         methodinfo   *m;                    /* methodinfo of the method compiled  */
  92         codeinfo     *code;
  93         codegendata  *cd;
  94         registerdata *rd;
  95 #if defined(ENABLE_LOOP)
  96         loopdata     *ld;
  97 #endif
  98         u4            flags;                /* contains JIT compiler flags        */
  99 };
 100
 101
 102 /************************** stack element structure ***************************/
 103
 104 /* slot types */
 105
 106 /* Unified these with longer names. Maybe someday use only
 107  * one set of names? -Edwin
 108  */
 109 /*#define TYPE_INT   0*/               /* the stack slot types must numbered in the  */
 110 #define TYPE_LNG   TYPE_LONG    /*1*/  /* same order as the ICMD_Ixxx to ICMD_Axxx   */
 111 #define TYPE_FLT   TYPE_FLOAT   /*2*/  /* instructions (LOAD and STORE)              */
 112 #define TYPE_DBL   TYPE_DOUBLE  /*3*/  /* integer, long, float, double, address      */
 113 #define TYPE_ADR   TYPE_ADDRESS /*4*/
 114
 115 #define IS_INT_LNG_TYPE(a)      (!((a) & TYPE_FLT))
 116 #define IS_FLT_DBL_TYPE(a)      ((a) & TYPE_FLT)
 117 #define IS_2_WORD_TYPE(a)       ((a) & TYPE_LNG)
 118 #define IS_ADR_TYPE(a)          ((a) & TYPE_ADR)
 119
 120
 121 /* flags */
 122
 123 #define SAVEDVAR   1            /* variable has to survive method invocations */
 124 #define INMEMORY   2            /* variable stored in memory                  */
 125 #define SAVEDTMP   4            /* temporary variable using a saved register  */
 126 #define TMPARG     8            /* temporary variable using a arg register    */
 127 #define STCOPY    16            /* there is another stackslot alive "below"   */
 128                                 /* using the same register/memory location    */
 129 #define STKEEP    32            /* to prevent reg_mark_copy to free this      */
 130                                 /* stackslot */
 131
 132 /* variable kinds */
 133
 134 #define UNDEFVAR   0            /* stack slot will become temp during regalloc*/
 135 #define TEMPVAR    1            /* stack slot is temp register                */
 136 #define STACKVAR   2            /* stack slot is numbered stack slot          */
 137 #define LOCALVAR   3            /* stack slot is local variable               */
 138 #define ARGVAR     4            /* stack slot is argument variable            */
 139
 140
 141 struct stackelement {
 142         stackptr prev;              /* pointer to next element towards bottom     */
 143         s4       type;              /* slot type of stack element                 */
 144 #ifdef ENABLE_VERIFIER
 145         typeinfo typeinfo;          /* info on reference types                    */
 146 #endif
 147         s4       flags;             /* flags (SAVED, INMEMORY)                    */
 148         s4       varkind;           /* kind of variable or register               */
 149         s4       varnum;            /* number of variable                         */
 150         s4       regoff;            /* register number or memory offset           */
 151 };
 152
 153
 154 /**************************** instruction structure ***************************/
 155
 156 struct instruction {
 157         stackptr    dst;            /* stack index of destination operand stack   */
 158         u2          opc;            /* opcode of intermediate code command        */
 159         s4          op1;            /* first operand, usually variable number     */
 160         imm_union   val;            /* immediate constant                         */
 161         void       *target;         /* used for targets of branches and jumps     */
 162                                     /* and as address for list of targets for     */
 163                                     /* statements                                 */
 164         u2          line;           /* line number in source file                 */
 165 };
 166
 167 #define INSTRUCTION_IS_RESOLVED(iptr) \
 168         ((iptr)->target == NULL) /* XXX target used temporarily as flag */
 169
 170 #define INSTRUCTION_IS_UNRESOLVED(iptr) \
 171         ((iptr)->target != NULL) /* XXX target used temporarily as flag */
 172
 173 #define INSTRUCTION_GET_FIELDREF(iptr,fref) \
 174         do { \
 175                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) \
 176                         fref = ((unresolved_field *) (iptr)->val.a)->fieldref; \
 177                 else \
 178                         fref = ((constant_FMIref *)(iptr)->val.a); \
 179         } while (0)
 180
 181 #define INSTRUCTION_GET_METHODREF(iptr,mref) \
 182         do { \
 183                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) \
 184                         mref = ((unresolved_method *) (iptr)->val.a)->methodref; \
 185                 else \
 186                         mref = ((constant_FMIref *)(iptr)->val.a); \
 187         } while (0)
 188
 189 #define INSTRUCTION_GET_FIELDDESC(iptr,fd) \
 190         do { \
 191                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) \
 192                         fd = ((unresolved_field *)(iptr)->val.a)->fieldref->parseddesc.fd; \
 193                 else \
 194                         fd = ((constant_FMIref *)(iptr)->val.a)->parseddesc.fd; \
 195         } while (0)
 196
 197 #define INSTRUCTION_GET_METHODDESC(iptr,md) \
 198         do { \
 199                 if (INSTRUCTION_IS_UNRESOLVED(iptr)) \
 200                         md = ((unresolved_method *) (iptr)->val.a)->methodref->parseddesc.md; \
 201                 else \
 202                         md = ((constant_FMIref *)(iptr)->val.a)->parseddesc.md; \
 203         } while (0)
 204
 205 #define INSTRUCTION_UNRESOLVED_METHOD(iptr) \
 206         ((unresolved_method *) (iptr)->val.a)
 207
 208 #define INSTRUCTION_UNRESOLVED_FIELD(iptr) \
 209         ((unresolved_field *) (iptr)->val.a)
 210
 211 #define INSTRUCTION_RESOLVED_FMIREF(iptr) \
 212     ((constant_FMIref *)(iptr)->val.a)
 213
 214 #define INSTRUCTION_RESOLVED_FIELDINFO(iptr) \
 215     (INSTRUCTION_RESOLVED_FMIREF(iptr)->p.field)
 216
 217 #define INSTRUCTION_RESOLVED_METHODINFO(iptr) \
 218     (INSTRUCTION_RESOLVED_FMIREF(iptr)->p.method)
 219
 220 #define INSTRUCTION_PUTCONST_TYPE(iptr) \
 221         ((iptr)[0].op1)
 222
 223 #define INSTRUCTION_PUTCONST_VALUE_ADR(iptr) \
 224         ((iptr)[0].val.a)
 225
 226 #define INSTRUCTION_PUTCONST_FIELDINFO(iptr) \
 227         ((fieldinfo *)((iptr)[1].val.a))
 228
 229 #define INSTRUCTION_PUTCONST_FIELDINFO_PTR(iptr) \
 230         ((fieldinfo **) &((iptr)[1].val.a))
 231
 232 #define INSTRUCTION_PUTCONST_FIELDREF(iptr) \
 233         ((unresolved_field *)((iptr)[1].target))
 234
 235
 236 /* additional info structs for special instructions ***************************/
 237
 238 /* for ICMD_INLINE_START and ICMD_INLINE_END */
 239
 240 struct insinfo_inline {
 241         methodinfo *method;         /* the inlined method starting/ending here    */
 242         methodinfo *outer;          /* the outer method suspended/resumed here    */
 243         s4          startmpc;       /* machine code offset of start of inlining   */
 244         s4          synclocal;      /* local index used for synchronization       */
 245         bool        synchronize;    /* true if synchronization is needed          */
 246 };
 247
 248 /* basicblock *****************************************************************/
 249
 250 /* flags */
 251
 252 #define BBDELETED            -2
 253 #define BBUNDEF              -1
 254 #define BBREACHED            0
 255 #define BBFINISHED           1
 256
 257 #define BBTYPECHECK_UNDEF    2
 258 #define BBTYPECHECK_REACHED  3
 259
 260 #define BBTYPE_STD           0  /* standard basic block type                  */
 261 #define BBTYPE_EXH           1  /* exception handler basic block type         */
 262 #define BBTYPE_SBR           2  /* subroutine basic block type                */
 263
 264 #define BBFLAG_REPLACEMENT   0x01  /* put a replacement point at the start    */
 265
 266 /* XXX basicblock wastes quite a lot of memory by having four flag fields     */
 267 /* (flags, bitflags, type and lflags). Probably the last three could be       */
 268 /* combined without loss of efficiency. The first one could be combined with  */
 269 /* the others by using bitfields.                                             */
 270
 271 struct basicblock {
 272         s4           debug_nr;      /* basic block number                         */
 273         s4           flags;         /* used during stack analysis, init with -1   */
 274         s4           bitflags;      /* OR of BBFLAG_... constants, init with 0    */
 275         s4           type;          /* basic block type (std, xhandler, subroutine*/
 276         instruction *iinstr;        /* pointer to intermediate code instructions  */
 277         s4           icount;        /* number of intermediate code instructions   */
 278         s4           mpc;           /* machine code pc at start of block          */
 279         stackptr     instack;       /* stack at begin of basic block              */
 280         stackptr     outstack;      /* stack at end of basic block                */
 281         s4           indepth;       /* stack depth at begin of basic block        */
 282         s4           outdepth;      /* stack depth end of basic block             */
 283         s4           pre_count;     /* count of predecessor basic blocks          */
 284         branchref   *branchrefs;    /* list of branches to be patched             */
 285
 286         basicblock  *next;          /* used to build a BB list (instead of array) */
 287         s4           lflags;        /* used during loop copying, init with 0      */
 288         basicblock  *copied_to;     /* points to the copy of this basic block     */
 289                                 /* when loop nodes are copied                 */
 290         stackptr     stack;         /* start of stack array for this block        */
 291                                     /* (see doc/stack.txt)                        */
 292         methodinfo  *method;        /* method this block belongs to               */
 293 };
 294
 295 /* macro for initializing newly allocated basicblock:s                        */
 296
 297 #define BASICBLOCK_INIT(bptr,m)                            \
 298                 do {                                               \
 299                         bptr->mpc = -1;                                \
 300                         bptr->flags = -1;                              \
 301                         bptr->bitflags = 0;                            \
 302                         bptr->lflags = 0;                              \
 303                         bptr->type = BBTYPE_STD;                       \
 304                         bptr->branchrefs = NULL;                       \
 305                         bptr->pre_count = 0;                           \
 306                         bptr->method = (m);                            \
 307                         bptr->debug_nr = (m)->c_debug_nr++;            \
 308                 } while (0)
 309
 310
 311 /* branchref *****************************************************************/
 312
 313 struct branchref {
 314         s4         branchpos;       /* patching position in code segment          */
 315         branchref *next;            /* next element in branchref list             */
 316 };
 317
 318
 319 /********** op1 values for ACONST instructions ********************************/
 320
 321 #define ACONST_LOAD     0  /* ACONST_NULL or LDC instruction                  */
 322 #define ACONST_BUILTIN  1  /* constant argument for a builtin function call   */
 323
 324
 325 /********** JavaVM operation codes (sorted) and instruction lengths ***********/
 326
 327 extern char *icmd_names[256];
 328 extern char *opcode_names[256];
 329 extern int jcommandsize[256];
 330
 331 #define JAVA_NOP               0
 332 #define ICMD_NOP               0
 333
 334 #define JAVA_ACONST_NULL       1
 335 #define ICMD_ACONST            1        /* val.a = constant                   */
 336
 337 #define JAVA_ICONST_M1         2
 338 #define ICMD_CHECKNULL         2
 339
 340 #define JAVA_ICONST_0          3
 341 #define ICMD_ICONST            3        /* val.i = constant                   */
 342
 343 #define JAVA_ICONST_1          4
 344
 345 #define JAVA_ICONST_2          5
 346 #define ICMD_IDIVPOW2          5        /* val.i = constant                   */
 347
 348 #define JAVA_ICONST_3          6
 349 #define ICMD_LDIVPOW2          6        /* val.l = constant                   */
 350
 351 #define JAVA_ICONST_4          7
 352
 353 #define JAVA_ICONST_5          8
 354
 355 #define JAVA_LCONST_0          9
 356 #define ICMD_LCONST            9        /* val.l = constant                   */
 357
 358 #define JAVA_LCONST_1         10
 359 #define ICMD_LCMPCONST        10        /* val.l = constant                   */
 360
 361 #define JAVA_FCONST_0         11
 362 #define ICMD_FCONST           11        /* val.f = constant                   */
 363
 364 #define JAVA_FCONST_1         12
 365
 366 #define JAVA_FCONST_2         13
 367 #define ICMD_ELSE_ICONST      13
 368
 369 #define JAVA_DCONST_0         14
 370 #define ICMD_DCONST           14        /* val.d = constant                   */
 371
 372 #define JAVA_DCONST_1         15
 373 #define ICMD_IFEQ_ICONST      15
 374
 375 #define JAVA_BIPUSH           16
 376 #define ICMD_IFNE_ICONST      16
 377
 378 #define JAVA_SIPUSH           17
 379 #define ICMD_IFLT_ICONST      17
 380
 381 #define JAVA_LDC1             18
 382 #define ICMD_IFGE_ICONST      18
 383
 384 #define JAVA_LDC2             19
 385 #define ICMD_IFGT_ICONST      19
 386
 387 #define JAVA_LDC2W            20
 388 #define ICMD_IFLE_ICONST      20
 389
 390                                             /* order of LOAD instructions must be */
 391                                             /* equal to order of TYPE_XXX defines */
 392 #define JAVA_ILOAD            21
 393 #define ICMD_ILOAD            21        /* op1 = local variable               */
 394
 395 #define JAVA_LLOAD            22
 396 #define ICMD_LLOAD            22        /* op1 = local variable               */
 397
 398 #define JAVA_FLOAD            23
 399 #define ICMD_FLOAD            23        /* op1 = local variable               */
 400
 401 #define JAVA_DLOAD            24
 402 #define ICMD_DLOAD            24        /* op1 = local variable               */
 403
 404 #define JAVA_ALOAD            25
 405 #define ICMD_ALOAD            25        /* op1 = local variable               */
 406
 407 #define JAVA_ILOAD_0          26
 408 #define ICMD_IADDCONST        26        /* val.i = constant                   */
 409
 410 #define JAVA_ILOAD_1          27
 411 #define ICMD_ISUBCONST        27        /* val.i = constant                   */
 412
 413 #define JAVA_ILOAD_2          28
 414 #define ICMD_IMULCONST        28        /* val.i = constant                   */
 415
 416 #define JAVA_ILOAD_3          29
 417 #define ICMD_IANDCONST        29        /* val.i = constant                   */
 418
 419 #define JAVA_LLOAD_0          30
 420 #define ICMD_IORCONST         30        /* val.i = constant                   */
 421
 422 #define JAVA_LLOAD_1          31
 423 #define ICMD_IXORCONST        31        /* val.i = constant                   */
 424
 425 #define JAVA_LLOAD_2          32
 426 #define ICMD_ISHLCONST        32        /* val.i = constant                   */
 427
 428 #define JAVA_LLOAD_3          33
 429 #define ICMD_ISHRCONST        33        /* val.i = constant                   */
 430
 431 #define JAVA_FLOAD_0          34
 432 #define ICMD_IUSHRCONST       34        /* val.i = constant                   */
 433
 434 #define JAVA_FLOAD_1          35
 435 #define ICMD_IREMPOW2         35        /* val.i = constant                   */
 436
 437 #define JAVA_FLOAD_2          36
 438 #define ICMD_LADDCONST        36        /* val.l = constant                   */
 439
 440 #define JAVA_FLOAD_3          37
 441 #define ICMD_LSUBCONST        37        /* val.l = constant                   */
 442
 443 #define JAVA_DLOAD_0          38
 444 #define ICMD_LMULCONST        38        /* val.l = constant                   */
 445
 446 #define JAVA_DLOAD_1          39
 447 #define ICMD_LANDCONST        39        /* val.l = constant                   */
 448
 449 #define JAVA_DLOAD_2          40
 450 #define ICMD_LORCONST         40        /* val.l = constant                   */
 451
 452 #define JAVA_DLOAD_3          41
 453 #define ICMD_LXORCONST        41        /* val.l = constant                   */
 454
 455 #define JAVA_ALOAD_0          42
 456 #define ICMD_LSHLCONST        42        /* val.l = constant                   */
 457
 458 #define JAVA_ALOAD_1          43
 459 #define ICMD_LSHRCONST        43        /* val.l = constant                   */
 460
 461 #define JAVA_ALOAD_2          44
 462 #define ICMD_LUSHRCONST       44        /* val.l = constant                   */
 463
 464 #define JAVA_ALOAD_3          45
 465 #define ICMD_LREMPOW2         45        /* val.l = constant                   */
 466
 467 #define JAVA_IALOAD           46
 468 #define ICMD_IALOAD           46
 469
 470 #define JAVA_LALOAD           47
 471 #define ICMD_LALOAD           47
 472
 473 #define JAVA_FALOAD           48
 474 #define ICMD_FALOAD           48
 475
 476 #define JAVA_DALOAD           49
 477 #define ICMD_DALOAD           49
 478
 479 #define JAVA_AALOAD           50
 480 #define ICMD_AALOAD           50
 481
 482 #define JAVA_BALOAD           51
 483 #define ICMD_BALOAD           51
 484
 485 #define JAVA_CALOAD           52
 486 #define ICMD_CALOAD           52
 487
 488 #define JAVA_SALOAD           53
 489 #define ICMD_SALOAD           53
 490
 491                                             /* order of STORE instructions must be*/
 492                                             /* equal to order of TYPE_XXX defines */
 493 #define JAVA_ISTORE           54
 494 #define ICMD_ISTORE           54        /* op1 = local variable               */
 495
 496 #define JAVA_LSTORE           55
 497 #define ICMD_LSTORE           55        /* op1 = local variable               */
 498
 499 #define JAVA_FSTORE           56
 500 #define ICMD_FSTORE           56        /* op1 = local variable               */
 501
 502 #define JAVA_DSTORE           57
 503 #define ICMD_DSTORE           57        /* op1 = local variable               */
 504
 505 #define JAVA_ASTORE           58
 506 #define ICMD_ASTORE           58        /* op1 = local variable               */
 507
 508 #define JAVA_ISTORE_0         59
 509 #define ICMD_IF_LEQ           59        /* op1 = target JavaVM pc, val.l      */
 510
 511 #define JAVA_ISTORE_1         60
 512 #define ICMD_IF_LNE           60        /* op1 = target JavaVM pc, val.l      */
 513
 514 #define JAVA_ISTORE_2         61
 515 #define ICMD_IF_LLT           61        /* op1 = target JavaVM pc, val.l      */
 516
 517 #define JAVA_ISTORE_3         62
 518 #define ICMD_IF_LGE           62        /* op1 = target JavaVM pc, val.l      */
 519
 520 #define JAVA_LSTORE_0         63
 521 #define ICMD_IF_LGT           63        /* op1 = target JavaVM pc, val.l      */
 522
 523 #define JAVA_LSTORE_1         64
 524 #define ICMD_IF_LLE           64        /* op1 = target JavaVM pc, val.l      */
 525
 526 #define JAVA_LSTORE_2         65
 527 #define ICMD_IF_LCMPEQ        65        /* op1 = target JavaVM pc             */
 528
 529 #define JAVA_LSTORE_3         66
 530 #define ICMD_IF_LCMPNE        66        /* op1 = target JavaVM pc             */
 531
 532 #define JAVA_FSTORE_0         67
 533 #define ICMD_IF_LCMPLT        67        /* op1 = target JavaVM pc             */
 534
 535 #define JAVA_FSTORE_1         68
 536 #define ICMD_IF_LCMPGE        68        /* op1 = target JavaVM pc             */
 537
 538 #define JAVA_FSTORE_2         69
 539 #define ICMD_IF_LCMPGT        69        /* op1 = target JavaVM pc             */
 540
 541 #define JAVA_FSTORE_3         70
 542 #define ICMD_IF_LCMPLE        70        /* op1 = target JavaVM pc             */
 543
 544 #define JAVA_DSTORE_0         71
 545
 546 #define JAVA_DSTORE_1         72
 547
 548 #define JAVA_DSTORE_2         73
 549
 550 #define JAVA_DSTORE_3         74
 551
 552 #define JAVA_ASTORE_0         75
 553
 554 #define JAVA_ASTORE_1         76
 555
 556 #define JAVA_ASTORE_2         77
 557
 558 #define JAVA_ASTORE_3         78
 559
 560 #define JAVA_IASTORE          79
 561 #define ICMD_IASTORE          79
 562
 563 #define JAVA_LASTORE          80
 564 #define ICMD_LASTORE          80
 565
 566 #define JAVA_FASTORE          81
 567 #define ICMD_FASTORE          81
 568
 569 #define JAVA_DASTORE          82
 570 #define ICMD_DASTORE          82
 571
 572 #define JAVA_AASTORE          83
 573 #define ICMD_AASTORE          83
 574
 575 #define JAVA_BASTORE          84
 576 #define ICMD_BASTORE          84
 577
 578 #define JAVA_CASTORE          85
 579 #define ICMD_CASTORE          85
 580
 581 #define JAVA_SASTORE          86
 582 #define ICMD_SASTORE          86
 583
 584 #define JAVA_POP              87
 585 #define ICMD_POP              87
 586
 587 #define JAVA_POP2             88
 588 #define ICMD_POP2             88
 589
 590 #define JAVA_DUP              89
 591 #define ICMD_DUP              89
 592
 593 #define JAVA_DUP_X1           90
 594 #define ICMD_DUP_X1           90
 595
 596 #define JAVA_DUP_X2           91
 597 #define ICMD_DUP_X2           91
 598
 599 #define JAVA_DUP2             92
 600 #define ICMD_DUP2             92
 601
 602 #define JAVA_DUP2_X1          93
 603 #define ICMD_DUP2_X1          93
 604
 605 #define JAVA_DUP2_X2          94
 606 #define ICMD_DUP2_X2          94
 607
 608 #define JAVA_SWAP             95
 609 #define ICMD_SWAP             95
 610
 611 #define JAVA_IADD             96
 612 #define ICMD_IADD             96
 613
 614 #define JAVA_LADD             97
 615 #define ICMD_LADD             97
 616
 617 #define JAVA_FADD             98
 618 #define ICMD_FADD             98
 619
 620 #define JAVA_DADD             99
 621 #define ICMD_DADD             99
 622
 623 #define JAVA_ISUB             100
 624 #define ICMD_ISUB             100
 625
 626 #define JAVA_LSUB             101
 627 #define ICMD_LSUB             101
 628
 629 #define JAVA_FSUB             102
 630 #define ICMD_FSUB             102
 631
 632 #define JAVA_DSUB             103
 633 #define ICMD_DSUB             103
 634
 635 #define JAVA_IMUL             104
 636 #define ICMD_IMUL             104
 637
 638 #define JAVA_LMUL             105
 639 #define ICMD_LMUL             105
 640
 641 #define JAVA_FMUL             106
 642 #define ICMD_FMUL             106
 643
 644 #define JAVA_DMUL             107
 645 #define ICMD_DMUL             107
 646
 647 #define JAVA_IDIV             108
 648 #define ICMD_IDIV             108
 649
 650 #define JAVA_LDIV             109
 651 #define ICMD_LDIV             109
 652
 653 #define JAVA_FDIV             110
 654 #define ICMD_FDIV             110
 655
 656 #define JAVA_DDIV             111
 657 #define ICMD_DDIV             111
 658
 659 #define JAVA_IREM             112
 660 #define ICMD_IREM             112
 661
 662 #define JAVA_LREM             113
 663 #define ICMD_LREM             113
 664
 665 #define JAVA_FREM             114
 666 #define ICMD_FREM             114
 667
 668 #define JAVA_DREM             115
 669 #define ICMD_DREM             115
 670
 671 #define JAVA_INEG             116
 672 #define ICMD_INEG             116
 673
 674 #define JAVA_LNEG             117
 675 #define ICMD_LNEG             117
 676
 677 #define JAVA_FNEG             118
 678 #define ICMD_FNEG             118
 679
 680 #define JAVA_DNEG             119
 681 #define ICMD_DNEG             119
 682
 683 #define JAVA_ISHL             120
 684 #define ICMD_ISHL             120
 685
 686 #define JAVA_LSHL             121
 687 #define ICMD_LSHL             121
 688
 689 #define JAVA_ISHR             122
 690 #define ICMD_ISHR             122
 691
 692 #define JAVA_LSHR             123
 693 #define ICMD_LSHR             123
 694
 695 #define JAVA_IUSHR            124
 696 #define ICMD_IUSHR            124
 697
 698 #define JAVA_LUSHR            125
 699 #define ICMD_LUSHR            125
 700
 701 #define JAVA_IAND             126
 702 #define ICMD_IAND             126
 703
 704 #define JAVA_LAND             127
 705 #define ICMD_LAND             127
 706
 707 #define JAVA_IOR              128
 708 #define ICMD_IOR              128
 709
 710 #define JAVA_LOR              129
 711 #define ICMD_LOR              129
 712
 713 #define JAVA_IXOR             130
 714 #define ICMD_IXOR             130
 715
 716 #define JAVA_LXOR             131
 717 #define ICMD_LXOR             131
 718
 719 #define JAVA_IINC             132
 720 #define ICMD_IINC             132   /* op1 = local variable, val.i = constant */
 721
 722 #define JAVA_I2L              133
 723 #define ICMD_I2L              133
 724
 725 #define JAVA_I2F              134
 726 #define ICMD_I2F              134
 727
 728 #define JAVA_I2D              135
 729 #define ICMD_I2D              135
 730
 731 #define JAVA_L2I              136
 732 #define ICMD_L2I              136
 733
 734 #define JAVA_L2F              137
 735 #define ICMD_L2F              137
 736
 737 #define JAVA_L2D              138
 738 #define ICMD_L2D              138
 739
 740 #define JAVA_F2I              139
 741 #define ICMD_F2I              139
 742
 743 #define JAVA_F2L              140
 744 #define ICMD_F2L              140
 745
 746 #define JAVA_F2D              141
 747 #define ICMD_F2D              141
 748
 749 #define JAVA_D2I              142
 750 #define ICMD_D2I              142
 751
 752 #define JAVA_D2L              143
 753 #define ICMD_D2L              143
 754
 755 #define JAVA_D2F              144
 756 #define ICMD_D2F              144
 757
 758 #define JAVA_INT2BYTE         145
 759 #define ICMD_INT2BYTE         145
 760
 761 #define JAVA_INT2CHAR         146
 762 #define ICMD_INT2CHAR         146
 763
 764 #define JAVA_INT2SHORT        147
 765 #define ICMD_INT2SHORT        147
 766
 767 #define JAVA_LCMP             148
 768 #define ICMD_LCMP             148
 769
 770 #define JAVA_FCMPL            149
 771 #define ICMD_FCMPL            149
 772
 773 #define JAVA_FCMPG            150
 774 #define ICMD_FCMPG            150
 775
 776 #define JAVA_DCMPL            151
 777 #define ICMD_DCMPL            151
 778
 779 #define JAVA_DCMPG            152
 780 #define ICMD_DCMPG            152
 781
 782 #define JAVA_IFEQ             153
 783 #define ICMD_IFEQ             153       /* op1 = target JavaVM pc, val.i      */
 784
 785 #define JAVA_IFNE             154
 786 #define ICMD_IFNE             154       /* op1 = target JavaVM pc, val.i      */
 787
 788 #define JAVA_IFLT             155
 789 #define ICMD_IFLT             155       /* op1 = target JavaVM pc, val.i      */
 790
 791 #define JAVA_IFGE             156
 792 #define ICMD_IFGE             156       /* op1 = target JavaVM pc, val.i      */
 793
 794 #define JAVA_IFGT             157
 795 #define ICMD_IFGT             157       /* op1 = target JavaVM pc, val.i      */
 796
 797 #define JAVA_IFLE             158
 798 #define ICMD_IFLE             158       /* op1 = target JavaVM pc, val.i      */
 799
 800 #define JAVA_IF_ICMPEQ        159
 801 #define ICMD_IF_ICMPEQ        159       /* op1 = target JavaVM pc             */
 802
 803 #define JAVA_IF_ICMPNE        160
 804 #define ICMD_IF_ICMPNE        160       /* op1 = target JavaVM pc             */
 805
 806 #define JAVA_IF_ICMPLT        161
 807 #define ICMD_IF_ICMPLT        161       /* op1 = target JavaVM pc             */
 808
 809 #define JAVA_IF_ICMPGE        162
 810 #define ICMD_IF_ICMPGE        162       /* op1 = target JavaVM pc             */
 811
 812 #define JAVA_IF_ICMPGT        163
 813 #define ICMD_IF_ICMPGT        163       /* op1 = target JavaVM pc             */
 814
 815 #define JAVA_IF_ICMPLE        164
 816 #define ICMD_IF_ICMPLE        164       /* op1 = target JavaVM pc             */
 817
 818 #define JAVA_IF_ACMPEQ        165
 819 #define ICMD_IF_ACMPEQ        165       /* op1 = target JavaVM pc             */
 820
 821 #define JAVA_IF_ACMPNE        166
 822 #define ICMD_IF_ACMPNE        166       /* op1 = target JavaVM pc             */
 823
 824 #define JAVA_GOTO             167
 825 #define ICMD_GOTO             167       /* op1 = target JavaVM pc             */
 826
 827 #define JAVA_JSR              168
 828 #define ICMD_JSR              168       /* op1 = target JavaVM pc             */
 829
 830 #define JAVA_RET              169
 831 #define ICMD_RET              169       /* op1 = local variable               */
 832
 833 #define JAVA_TABLESWITCH      170
 834 #define ICMD_TABLESWITCH      170       /* val.a = pointer to s4 table        */
 835                                         /* length must be computed            */
 836 #define JAVA_LOOKUPSWITCH     171
 837 #define ICMD_LOOKUPSWITCH     171       /* val.a = pointer to s4 table        */
 838                                         /* length must be computed            */
 839 #define JAVA_IRETURN          172
 840 #define ICMD_IRETURN          172
 841
 842 #define JAVA_LRETURN          173
 843 #define ICMD_LRETURN          173
 844
 845 #define JAVA_FRETURN          174
 846 #define ICMD_FRETURN          174
 847
 848 #define JAVA_DRETURN          175
 849 #define ICMD_DRETURN          175
 850
 851 #define JAVA_ARETURN          176
 852 #define ICMD_ARETURN          176
 853
 854 #define JAVA_RETURN           177
 855 #define ICMD_RETURN           177
 856
 857 #define JAVA_GETSTATIC        178
 858 #define ICMD_GETSTATIC        178       /* op1 = type, val.a = field address  */
 859
 860 #define JAVA_PUTSTATIC        179
 861 #define ICMD_PUTSTATIC        179       /* op1 = type, val.a = field address  */
 862
 863 #define JAVA_GETFIELD         180
 864 #define ICMD_GETFIELD         180       /* op1 = type, val.i = field offset   */
 865
 866 #define JAVA_PUTFIELD         181
 867 #define ICMD_PUTFIELD         181       /* op1 = type, val.i = field offset   */
 868
 869 #define JAVA_INVOKEVIRTUAL    182
 870 #define ICMD_INVOKEVIRTUAL    182       /* val.a = method info pointer        */
 871
 872 #define JAVA_INVOKESPECIAL    183
 873 #define ICMD_INVOKESPECIAL    183       /* val.a = method info pointer        */
 874
 875 #define JAVA_INVOKESTATIC     184
 876 #define ICMD_INVOKESTATIC     184       /* val.a = method info pointer        */
 877
 878 #define JAVA_INVOKEINTERFACE  185
 879 #define ICMD_INVOKEINTERFACE  185       /* val.a = method info pointer        */
 880
 881 /* UNDEF186 */
 882
 883 #define JAVA_NEW              187
 884 #define ICMD_NEW              187       /* op1 = 1, val.a = class pointer     */
 885
 886 #define JAVA_NEWARRAY         188
 887 #define ICMD_NEWARRAY         188       /* op1 = basic type                   */
 888
 889 #define JAVA_ANEWARRAY        189
 890 #define ICMD_ANEWARRAY        189       /* op1 = 0, val.a = array pointer     */
 891                                         /* op1 = 1, val.a = class pointer     */
 892 #define JAVA_ARRAYLENGTH      190
 893 #define ICMD_ARRAYLENGTH      190
 894
 895 #define JAVA_ATHROW           191
 896 #define ICMD_ATHROW           191
 897
 898 #define JAVA_CHECKCAST        192
 899 #define ICMD_CHECKCAST        192       /* op1 = 0, val.a = array pointer     */
 900                                         /* op1 = 1, val.a = class pointer     */
 901 #define JAVA_INSTANCEOF       193
 902 #define ICMD_INSTANCEOF       193       /* op1 = 0, val.a = array pointer     */
 903                                         /* op1 = 1, val.a = class pointer     */
 904 #define JAVA_MONITORENTER     194
 905 #define ICMD_MONITORENTER     194
 906
 907 #define JAVA_MONITOREXIT      195
 908 #define ICMD_MONITOREXIT      195
 909
 910 #define JAVA_WIDE             196
 911
 912 #define JAVA_MULTIANEWARRAY   197
 913 #define ICMD_MULTIANEWARRAY   197       /* op1 = dimension, val.a = array     */
 914                                         /* pointer                            */
 915 #define JAVA_IFNULL           198
 916 #define ICMD_IFNULL           198       /* op1 = target JavaVM pc             */
 917
 918 #define JAVA_IFNONNULL        199
 919 #define ICMD_IFNONNULL        199       /* op1 = target JavaVM pc             */
 920
 921 #define JAVA_GOTO_W           200
 922
 923 #define JAVA_JSR_W            201
 924
 925 #define JAVA_BREAKPOINT       202
 926
 927 /* UNDEF203 */
 928
 929 #define ICMD_IASTORECONST     204
 930
 931 #define ICMD_LASTORECONST     205
 932
 933 #define ICMD_FASTORECONST     206
 934
 935 #define ICMD_DASTORECONST     207
 936
 937 #define ICMD_AASTORECONST     208
 938
 939 #define ICMD_BASTORECONST     209
 940
 941 #define ICMD_CASTORECONST     210
 942
 943 #define ICMD_SASTORECONST     211
 944
 945 #define ICMD_PUTSTATICCONST   212
 946
 947 #define ICMD_PUTFIELDCONST    213
 948
 949 #define ICMD_IMULPOW2         214
 950
 951 #define ICMD_LMULPOW2         215
 952
 953 #define ICMD_INLINE_START     251       /* instruction before inlined method  */
 954 #define ICMD_INLINE_END       252       /* instruction after inlined method   */
 955 #define ICMD_INLINE_GOTO      253       /* jump to caller of inlined method   */
 956
 957 #define ICMD_BUILTIN          255       /* internal opcode                    */
 958
 959 /* define some ICMD masks *****************************************************/
 960
 961 #define ICMD_OPCODE_MASK      0x00ff    /* mask to get the opcode             */
 962 #define ICMD_CONDITION_MASK   0xff00    /* mask to get the condition          */
 963
 964
 965 /******************* description of JavaVM instructions ***********************/
 966
 967
 968
 969 /***************************** register types *********************************/
 970
 971 #define REG_RES   0         /* reserved register for OS or code generator     */
 972 #define REG_RET   1         /* return value register                          */
 973 #define REG_EXC   2         /* exception value register                       */
 974 #define REG_SAV   3         /* (callee) saved register                        */
 975 #define REG_TMP   4         /* scratch temporary register (caller saved)      */
 976 #define REG_ARG   5         /* argument register (caller saved)               */
 977
 978 #define REG_END   -1        /* last entry in tables                           */
 979
 980 #define PARAMMODE_NUMBERED  0
 981 #define PARAMMODE_STUFFED   1
 982
 983
 984 /***************************** register info block ****************************/
 985
 986 extern int stackreq[256];
 987
 988
 989 /* function prototypes ********************************************************/
 990
 991 /* compiler initialisation */
 992 void jit_init(void);
 993
 994 /* compiler finalisation */
 995 void jit_close(void);
 996
 997 /* compile a method with jit compiler */
 998 u1 *jit_compile(methodinfo *m);
 999
1000 /* machine dependent functions */
1001 #if defined(ENABLE_JIT)
1002 void md_init(void);
1003
1004 void md_cacheflush(u1 *addr, s4 nbytes);
1005 void md_icacheflush(u1 *addr, s4 nbytes);
1006 void md_dcacheflush(u1 *addr, s4 nbytes);
1007 #endif
1008
1009 #if defined(ENABLE_INTRP)
1010 void intrp_md_init(void);
1011 #endif
1012
1013 #if defined(ENABLE_RT_TIMING)
1014 void jit_print_time_stats(FILE *file);
1015 #endif
1016
1017 #endif /* _JIT_H */
1018
1019
1020 /*
1021  * These are local overrides for various environment variables in Emacs.
1022  * Please do not remove this and leave it at the end of the file, where
1023  * Emacs will automagically detect them.
1024  * ---------------------------------------------------------------------
1025  * Local variables:
1026  * mode: c
1027  * indent-tabs-mode: t
1028  * c-basic-offset: 4
1029  * tab-width: 4
1030  * End:
1031  * vim:noexpandtab:sw=4:ts=4:
1032  */