src/vm/jit/jit.h

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