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