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