1 /* src/vm/jit/jit.c - calls the code generation functions
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
8 This file is part of CACAO.
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.
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.
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
25 Contact: cacao@complang.tuwien.ac.at
27 Authors: Andreas Krall
30 Changes: Edwin Steiner
34 $Id: jit.c 4055 2006-01-02 12:59:54Z christian $
43 #include "mm/memory.h"
44 #include "native/native.h"
45 #include "toolbox/logging.h"
46 #include "vm/builtin.h"
48 #include "vm/global.h"
49 #include "vm/initialize.h"
50 #include "vm/loader.h"
51 #include "vm/method.h"
52 #include "vm/options.h"
53 #include "vm/statistics.h"
54 #include "vm/jit/asmpart.h"
55 #include "vm/jit/codegen-common.h"
56 #include "vm/jit/disass.h"
57 #include "vm/jit/dseg.h"
58 #include "vm/jit/jit.h"
61 #include "vm/jit/parse.h"
62 #include "vm/jit/reg.h"
63 #include "vm/jit/stack.h"
64 #include "vm/jit/allocator/simplereg.h"
65 #if defined(ENABLE_LSRA)
66 # include "vm/jit/allocator/lsra.h"
69 #if defined(USE_INLINING)
70 # include "vm/jit/inline/inline.h"
71 # include "vm/jit/inline/parseRT.h"
72 # include "vm/jit/inline/parseXTA.h"
75 #include "vm/jit/loop/analyze.h"
76 #include "vm/jit/loop/graph.h"
77 #include "vm/jit/loop/loop.h"
78 #include "vm/jit/verify/typecheck.h"
80 #if defined(USE_THREADS)
81 # if defined(NATIVE_THREADS)
82 # include "threads/native/threads.h"
84 # include "threads/green/threads.h"
89 /* debug macros ***************************************************************/
92 #define DEBUG_JIT_COMPILEVERBOSE(x) \
94 if (compileverbose) { \
95 log_message_method(x, m); \
99 #define DEBUG_JIT_COMPILEVERBOSE(x) /* nothing */
103 /* global switches ************************************************************/
108 int jcommandsize[256] = {
113 #define JAVA_ACONST_NULL 1
114 #define ICMD_ACONST 1 /* val.a = constant */
116 #define JAVA_ICONST_M1 2
117 #define ICMD_CHECKNULL 2
119 #define JAVA_ICONST_0 3
120 #define ICMD_ICONST 3 /* val.i = constant */
122 #define JAVA_ICONST_1 4
124 #define JAVA_ICONST_2 5
125 #define ICMD_IDIVPOW2 5 /* val.i = constant */
127 #define JAVA_ICONST_3 6
128 #define ICMD_LDIVPOW2 6 /* val.l = constant */
130 #define JAVA_ICONST_4 7
132 #define JAVA_ICONST_5 8
134 #define JAVA_LCONST_0 9
135 #define ICMD_LCONST 9 /* val.l = constant */
137 #define JAVA_LCONST_1 10
138 #define ICMD_LCMPCONST 10 /* val.l = constant */
140 #define JAVA_FCONST_0 11
141 #define ICMD_FCONST 11 /* val.f = constant */
143 #define JAVA_FCONST_1 12
145 #define JAVA_FCONST_2 13
146 #define ICMD_ELSE_ICONST 13
148 #define JAVA_DCONST_0 14
149 #define ICMD_DCONST 14 /* val.d = constant */
151 #define JAVA_DCONST_1 15
152 #define ICMD_IFEQ_ICONST 15
154 #define JAVA_BIPUSH 16
155 #define ICMD_IFNE_ICONST 16
157 #define JAVA_SIPUSH 17
158 #define ICMD_IFLT_ICONST 17
161 #define ICMD_IFGE_ICONST 18
164 #define ICMD_IFGT_ICONST 19
166 #define JAVA_LDC2W 20
167 #define ICMD_IFLE_ICONST 20
169 /* order of LOAD instructions must be */
170 /* equal to order of TYPE_XXX defines */
171 #define JAVA_ILOAD 21
172 #define ICMD_ILOAD 21 /* op1 = local variable */
174 #define JAVA_LLOAD 22
175 #define ICMD_LLOAD 22 /* op1 = local variable */
177 #define JAVA_FLOAD 23
178 #define ICMD_FLOAD 23 /* op1 = local variable */
180 #define JAVA_DLOAD 24
181 #define ICMD_DLOAD 24 /* op1 = local variable */
183 #define JAVA_ALOAD 25
184 #define ICMD_ALOAD 25 /* op1 = local variable */
186 #define JAVA_ILOAD_0 26
187 #define ICMD_IADDCONST 26 /* val.i = constant */
189 #define JAVA_ILOAD_1 27
190 #define ICMD_ISUBCONST 27 /* val.i = constant */
192 #define JAVA_ILOAD_2 28
193 #define ICMD_IMULCONST 28 /* val.i = constant */
195 #define JAVA_ILOAD_3 29
196 #define ICMD_IANDCONST 29 /* val.i = constant */
198 #define JAVA_LLOAD_0 30
199 #define ICMD_IORCONST 30 /* val.i = constant */
201 #define JAVA_LLOAD_1 31
202 #define ICMD_IXORCONST 31 /* val.i = constant */
204 #define JAVA_LLOAD_2 32
205 #define ICMD_ISHLCONST 32 /* val.i = constant */
207 #define JAVA_LLOAD_3 33
208 #define ICMD_ISHRCONST 33 /* val.i = constant */
210 #define JAVA_FLOAD_0 34
211 #define ICMD_IUSHRCONST 34 /* val.i = constant */
213 #define JAVA_FLOAD_1 35
214 #define ICMD_IREMPOW2 35 /* val.i = constant */
216 #define JAVA_FLOAD_2 36
217 #define ICMD_LADDCONST 36 /* val.l = constant */
219 #define JAVA_FLOAD_3 37
220 #define ICMD_LSUBCONST 37 /* val.l = constant */
222 #define JAVA_DLOAD_0 38
223 #define ICMD_LMULCONST 38 /* val.l = constant */
225 #define JAVA_DLOAD_1 39
226 #define ICMD_LANDCONST 39 /* val.l = constant */
228 #define JAVA_DLOAD_2 40
229 #define ICMD_LORCONST 40 /* val.l = constant */
231 #define JAVA_DLOAD_3 41
232 #define ICMD_LXORCONST 41 /* val.l = constant */
234 #define JAVA_ALOAD_0 42
235 #define ICMD_LSHLCONST 42 /* val.l = constant */
237 #define JAVA_ALOAD_1 43
238 #define ICMD_LSHRCONST 43 /* val.l = constant */
240 #define JAVA_ALOAD_2 44
241 #define ICMD_LUSHRCONST 44 /* val.l = constant */
243 #define JAVA_ALOAD_3 45
244 #define ICMD_LREMPOW2 45 /* val.l = constant */
246 #define JAVA_IALOAD 46
247 #define ICMD_IALOAD 46
249 #define JAVA_LALOAD 47
250 #define ICMD_LALOAD 47
252 #define JAVA_FALOAD 48
253 #define ICMD_FALOAD 48
255 #define JAVA_DALOAD 49
256 #define ICMD_DALOAD 49
258 #define JAVA_AALOAD 50
259 #define ICMD_AALOAD 50
261 #define JAVA_BALOAD 51
262 #define ICMD_BALOAD 51
264 #define JAVA_CALOAD 52
265 #define ICMD_CALOAD 52
267 #define JAVA_SALOAD 53
268 #define ICMD_SALOAD 53
270 /* order of STORE instructions must be*/
271 /* equal to order of TYPE_XXX defines */
272 #define JAVA_ISTORE 54
273 #define ICMD_ISTORE 54 /* op1 = local variable */
275 #define JAVA_LSTORE 55
276 #define ICMD_LSTORE 55 /* op1 = local variable */
278 #define JAVA_FSTORE 56
279 #define ICMD_FSTORE 56 /* op1 = local variable */
281 #define JAVA_DSTORE 57
282 #define ICMD_DSTORE 57 /* op1 = local variable */
284 #define JAVA_ASTORE 58
285 #define ICMD_ASTORE 58 /* op1 = local variable */
287 #define JAVA_ISTORE_0 59
288 #define ICMD_IF_LEQ 59 /* op1 = target JavaVM pc, val.l */
290 #define JAVA_ISTORE_1 60
291 #define ICMD_IF_LNE 60 /* op1 = target JavaVM pc, val.l */
293 #define JAVA_ISTORE_2 61
294 #define ICMD_IF_LLT 61 /* op1 = target JavaVM pc, val.l */
296 #define JAVA_ISTORE_3 62
297 #define ICMD_IF_LGE 62 /* op1 = target JavaVM pc, val.l */
299 #define JAVA_LSTORE_0 63
300 #define ICMD_IF_LGT 63 /* op1 = target JavaVM pc, val.l */
302 #define JAVA_LSTORE_1 64
303 #define ICMD_IF_LLE 64 /* op1 = target JavaVM pc, val.l */
305 #define JAVA_LSTORE_2 65
306 #define ICMD_IF_LCMPEQ 65 /* op1 = target JavaVM pc */
308 #define JAVA_LSTORE_3 66
309 #define ICMD_IF_LCMPNE 66 /* op1 = target JavaVM pc */
311 #define JAVA_FSTORE_0 67
312 #define ICMD_IF_LCMPLT 67 /* op1 = target JavaVM pc */
314 #define JAVA_FSTORE_1 68
315 #define ICMD_IF_LCMPGE 68 /* op1 = target JavaVM pc */
317 #define JAVA_FSTORE_2 69
318 #define ICMD_IF_LCMPGT 69 /* op1 = target JavaVM pc */
320 #define JAVA_FSTORE_3 70
321 #define ICMD_IF_LCMPLE 70 /* op1 = target JavaVM pc */
323 #define JAVA_DSTORE_0 71
325 #define JAVA_DSTORE_1 72
327 #define JAVA_DSTORE_2 73
329 #define JAVA_DSTORE_3 74
331 #define JAVA_ASTORE_0 75
333 #define JAVA_ASTORE_1 76
335 #define JAVA_ASTORE_2 77
337 #define JAVA_ASTORE_3 78
339 #define JAVA_IASTORE 79
340 #define ICMD_IASTORE 79
342 #define JAVA_LASTORE 80
343 #define ICMD_LASTORE 80
345 #define JAVA_FASTORE 81
346 #define ICMD_FASTORE 81
348 #define JAVA_DASTORE 82
349 #define ICMD_DASTORE 82
351 #define JAVA_AASTORE 83
352 #define ICMD_AASTORE 83
354 #define JAVA_BASTORE 84
355 #define ICMD_BASTORE 84
357 #define JAVA_CASTORE 85
358 #define ICMD_CASTORE 85
360 #define JAVA_SASTORE 86
361 #define ICMD_SASTORE 86
372 #define JAVA_DUP_X1 90
373 #define ICMD_DUP_X1 90
375 #define JAVA_DUP_X2 91
376 #define ICMD_DUP_X2 91
381 #define JAVA_DUP2_X1 93
382 #define ICMD_DUP2_X1 93
384 #define JAVA_DUP2_X2 94
385 #define ICMD_DUP2_X2 94
402 #define JAVA_ISUB 100
403 #define ICMD_ISUB 100
405 #define JAVA_LSUB 101
406 #define ICMD_LSUB 101
408 #define JAVA_FSUB 102
409 #define ICMD_FSUB 102
411 #define JAVA_DSUB 103
412 #define ICMD_DSUB 103
414 #define JAVA_IMUL 104
415 #define ICMD_IMUL 104
417 #define JAVA_LMUL 105
418 #define ICMD_LMUL 105
420 #define JAVA_FMUL 106
421 #define ICMD_FMUL 106
423 #define JAVA_DMUL 107
424 #define ICMD_DMUL 107
426 #define JAVA_IDIV 108
427 #define ICMD_IDIV 108
429 #define JAVA_LDIV 109
430 #define ICMD_LDIV 109
432 #define JAVA_FDIV 110
433 #define ICMD_FDIV 110
435 #define JAVA_DDIV 111
436 #define ICMD_DDIV 111
438 #define JAVA_IREM 112
439 #define ICMD_IREM 112
441 #define JAVA_LREM 113
442 #define ICMD_LREM 113
444 #define JAVA_FREM 114
445 #define ICMD_FREM 114
447 #define JAVA_DREM 115
448 #define ICMD_DREM 115
450 #define JAVA_INEG 116
451 #define ICMD_INEG 116
453 #define JAVA_LNEG 117
454 #define ICMD_LNEG 117
456 #define JAVA_FNEG 118
457 #define ICMD_FNEG 118
459 #define JAVA_DNEG 119
460 #define ICMD_DNEG 119
462 #define JAVA_ISHL 120
463 #define ICMD_ISHL 120
465 #define JAVA_LSHL 121
466 #define ICMD_LSHL 121
468 #define JAVA_ISHR 122
469 #define ICMD_ISHR 122
471 #define JAVA_LSHR 123
472 #define ICMD_LSHR 123
474 #define JAVA_IUSHR 124
475 #define ICMD_IUSHR 124
477 #define JAVA_LUSHR 125
478 #define ICMD_LUSHR 125
480 #define JAVA_IAND 126
481 #define ICMD_IAND 126
483 #define JAVA_LAND 127
484 #define ICMD_LAND 127
492 #define JAVA_IXOR 130
493 #define ICMD_IXOR 130
495 #define JAVA_LXOR 131
496 #define ICMD_LXOR 131
498 #define JAVA_IINC 132
499 #define ICMD_IINC 132 /* op1 = local variable, val.i = constant */
537 #define JAVA_INT2BYTE 145
538 #define ICMD_INT2BYTE 145
540 #define JAVA_INT2CHAR 146
541 #define ICMD_INT2CHAR 146
543 #define JAVA_INT2SHORT 147
544 #define ICMD_INT2SHORT 147
546 #define JAVA_LCMP 148
547 #define ICMD_LCMP 148
549 #define JAVA_FCMPL 149
550 #define ICMD_FCMPL 149
552 #define JAVA_FCMPG 150
553 #define ICMD_FCMPG 150
555 #define JAVA_DCMPL 151
556 #define ICMD_DCMPL 151
558 #define JAVA_DCMPG 152
559 #define ICMD_DCMPG 152
561 #define JAVA_IFEQ 153
562 #define ICMD_IFEQ 153 /* op1 = target JavaVM pc, val.i */
564 #define JAVA_IFNE 154
565 #define ICMD_IFNE 154 /* op1 = target JavaVM pc, val.i */
567 #define JAVA_IFLT 155
568 #define ICMD_IFLT 155 /* op1 = target JavaVM pc, val.i */
570 #define JAVA_IFGE 156
571 #define ICMD_IFGE 156 /* op1 = target JavaVM pc, val.i */
573 #define JAVA_IFGT 157
574 #define ICMD_IFGT 157 /* op1 = target JavaVM pc, val.i */
576 #define JAVA_IFLE 158
577 #define ICMD_IFLE 158 /* op1 = target JavaVM pc, val.i */
579 #define JAVA_IF_ICMPEQ 159
580 #define ICMD_IF_ICMPEQ 159 /* op1 = target JavaVM pc */
582 #define JAVA_IF_ICMPNE 160
583 #define ICMD_IF_ICMPNE 160 /* op1 = target JavaVM pc */
585 #define JAVA_IF_ICMPLT 161
586 #define ICMD_IF_ICMPLT 161 /* op1 = target JavaVM pc */
588 #define JAVA_IF_ICMPGE 162
589 #define ICMD_IF_ICMPGE 162 /* op1 = target JavaVM pc */
591 #define JAVA_IF_ICMPGT 163
592 #define ICMD_IF_ICMPGT 163 /* op1 = target JavaVM pc */
594 #define JAVA_IF_ICMPLE 164
595 #define ICMD_IF_ICMPLE 164 /* op1 = target JavaVM pc */
597 #define JAVA_IF_ACMPEQ 165
598 #define ICMD_IF_ACMPEQ 165 /* op1 = target JavaVM pc */
600 #define JAVA_IF_ACMPNE 166
601 #define ICMD_IF_ACMPNE 166 /* op1 = target JavaVM pc */
603 #define JAVA_GOTO 167
604 #define ICMD_GOTO 167 /* op1 = target JavaVM pc */
607 #define ICMD_JSR 168 /* op1 = target JavaVM pc */
610 #define ICMD_RET 169 /* op1 = local variable */
612 #define JAVA_TABLESWITCH 170
613 #define ICMD_TABLESWITCH 170 /* val.a = pointer to s4 table */
614 0, /* length must be computed */
615 #define JAVA_LOOKUPSWITCH 171
616 #define ICMD_LOOKUPSWITCH 171 /* val.a = pointer to s4 table */
617 0, /* length must be computed */
618 #define JAVA_IRETURN 172
619 #define ICMD_IRETURN 172
621 #define JAVA_LRETURN 173
622 #define ICMD_LRETURN 173
624 #define JAVA_FRETURN 174
625 #define ICMD_FRETURN 174
627 #define JAVA_DRETURN 175
628 #define ICMD_DRETURN 175
630 #define JAVA_ARETURN 176
631 #define ICMD_ARETURN 176
633 #define JAVA_RETURN 177
634 #define ICMD_RETURN 177
636 #define JAVA_GETSTATIC 178
637 #define ICMD_GETSTATIC 178 /* op1 = type, val.a = field address */
639 #define JAVA_PUTSTATIC 179
640 #define ICMD_PUTSTATIC 179 /* op1 = type, val.a = field address */
642 #define JAVA_GETFIELD 180
643 #define ICMD_GETFIELD 180 /* op1 = type, val.i = field offset */
645 #define JAVA_PUTFIELD 181
646 #define ICMD_PUTFIELD 181 /* op1 = type, val.i = field offset */
648 #define JAVA_INVOKEVIRTUAL 182
649 #define ICMD_INVOKEVIRTUAL 182 /* val.a = method info pointer */
651 #define JAVA_INVOKESPECIAL 183
652 #define ICMD_INVOKESPECIAL 183 /* val.a = method info pointer */
654 #define JAVA_INVOKESTATIC 184
655 #define ICMD_INVOKESTATIC 184 /* val.a = method info pointer */
657 #define JAVA_INVOKEINTERFACE 185
658 #define ICMD_INVOKEINTERFACE 185 /* val.a = method info pointer */
663 #define ICMD_NEW 187 /* op1 = 1, val.a = class pointer */
665 #define JAVA_NEWARRAY 188
666 #define ICMD_NEWARRAY 188 /* op1 = basic type */
668 #define JAVA_ANEWARRAY 189
669 #define ICMD_ANEWARRAY 189 /* op1 = 0, val.a = array pointer */
670 3, /* op1 = 1, val.a = class pointer */
671 #define JAVA_ARRAYLENGTH 190
672 #define ICMD_ARRAYLENGTH 190
674 #define JAVA_ATHROW 191
675 #define ICMD_ATHROW 191
677 #define JAVA_CHECKCAST 192
678 #define ICMD_CHECKCAST 192 /* op1 = 0, val.a = array pointer */
679 3, /* op1 = 1, val.a = class pointer */
680 #define JAVA_INSTANCEOF 193
681 #define ICMD_INSTANCEOF 193 /* op1 = 0, val.a = array pointer */
682 3, /* op1 = 1, val.a = class pointer */
683 #define JAVA_MONITORENTER 194
684 #define ICMD_MONITORENTER 194
686 #define JAVA_MONITOREXIT 195
687 #define ICMD_MONITOREXIT 195
689 #define JAVA_WIDE 196
690 0, /* length must be computed */
691 #define JAVA_MULTIANEWARRAY 197
692 #define ICMD_MULTIANEWARRAY 197 /* op1 = dimension, val.a = array */
694 #define JAVA_IFNULL 198
695 #define ICMD_IFNULL 198 /* op1 = target JavaVM pc */
697 #define JAVA_IFNONNULL 199
698 #define ICMD_IFNONNULL 199 /* op1 = target JavaVM pc */
700 #define JAVA_GOTO_W 200
702 #define JAVA_JSR_W 201
704 #define JAVA_BREAKPOINT 202
708 #define ICMD_IASTORECONST 204
710 #define ICMD_LASTORECONST 205
712 #define ICMD_FASTORECONST 206
714 #define ICMD_DASTORECONST 207
716 #define ICMD_AASTORECONST 208
718 #define ICMD_BASTORECONST 209
720 #define ICMD_CASTORECONST 210
722 #define ICMD_SASTORECONST 211
724 #define ICMD_PUTSTATICCONST 212
726 #define ICMD_PUTFIELDCONST 213
728 #define ICMD_IMULPOW2 214
730 #define ICMD_LMULPOW2 215
735 1,1,1,1,1,1,1,1,1,1,
736 1,1,1,1,1,1,1,1,1,1,
737 1,1,1,1,1,1,1,1,1,1,
742 char *icmd_names[256] = {
745 "CHECKNULL ", /* ICONST_M1 2 */
747 "UNDEF4 ", /* ICONST_1 4 */
748 "IDIVPOW2 ", /* ICONST_2 5 */
749 "LDIVPOW2 ", /* ICONST_3 6 */
750 "UNDEF7 ", /* ICONST_4 7 */
751 "UNDEF8 ", /* ICONST_5 8 */
753 "LCMPCONST ", /* LCONST_1 10 */
755 "UNDEF12 ", /* FCONST_1 12 */
756 "ELSE_ICONST ", /* FCONST_2 13 */
758 "IFEQ_ICONST ", /* DCONST_1 15 */
759 "IFNE_ICONST ", /* BIPUSH 16 */
760 "IFLT_ICONST ", /* SIPUSH 17 */
761 "IFGE_ICONST ", /* LDC1 18 */
762 "IFGT_ICONST ", /* LDC2 19 */
763 "IFLE_ICONST ", /* LDC2W 20 */
769 "IADDCONST ", /* ILOAD_0 26 */
770 "ISUBCONST ", /* ILOAD_1 27 */
771 "IMULCONST ", /* ILOAD_2 28 */
772 "IANDCONST ", /* ILOAD_3 29 */
773 "IORCONST ", /* LLOAD_0 30 */
774 "IXORCONST ", /* LLOAD_1 31 */
775 "ISHLCONST ", /* LLOAD_2 32 */
776 "ISHRCONST ", /* LLOAD_3 33 */
777 "IUSHRCONST ", /* FLOAD_0 34 */
778 "IREMPOW2 ", /* FLOAD_1 35 */
779 "LADDCONST ", /* FLOAD_2 36 */
780 "LSUBCONST ", /* FLOAD_3 37 */
781 "LMULCONST ", /* DLOAD_0 38 */
782 "LANDCONST ", /* DLOAD_1 39 */
783 "LORCONST ", /* DLOAD_2 40 */
784 "LXORCONST ", /* DLOAD_3 41 */
785 "LSHLCONST ", /* ALOAD_0 42 */
786 "LSHRCONST ", /* ALOAD_1 43 */
787 "LUSHRCONST ", /* ALOAD_2 44 */
788 "LREMPOW2 ", /* ALOAD_3 45 */
802 "IF_LEQ ", /* ISTORE_0 59 */
803 "IF_LNE ", /* ISTORE_1 60 */
804 "IF_LLT ", /* ISTORE_2 61 */
805 "IF_LGE ", /* ISTORE_3 62 */
806 "IF_LGT ", /* LSTORE_0 63 */
807 "IF_LLE ", /* LSTORE_1 64 */
808 "IF_LCMPEQ ", /* LSTORE_2 65 */
809 "IF_LCMPNE ", /* LSTORE_3 66 */
810 "IF_LCMPLT ", /* FSTORE_0 67 */
811 "IF_LCMPGE ", /* FSTORE_1 68 */
812 "IF_LCMPGT ", /* FSTORE_2 69 */
813 "IF_LCMPLE ", /* FSTORE_3 70 */
814 "UNDEF71 ", /* DSTORE_0 71 */
815 "UNDEF72 ", /* DSTORE_1 72 */
816 "UNDEF73 ", /* DSTORE_2 73 */
817 "UNDEF74 ", /* DSTORE_3 74 */
818 "UNDEF75 ", /* ASTORE_0 75 */
819 "UNDEF76 ", /* ASTORE_1 76 */
820 "UNDEF77 ", /* ASTORE_2 77 */
821 "UNDEF78 ", /* ASTORE_3 78 */
888 "INT2BYTE ", /* 145 */
889 "INT2CHAR ", /* 146 */
890 "INT2SHORT ", /* 147 */
902 "IF_ICMPEQ ", /* 159 */
903 "IF_ICMPNE ", /* 160 */
904 "IF_ICMPLT ", /* 161 */
905 "IF_ICMPGE ", /* 162 */
906 "IF_ICMPGT ", /* 163 */
907 "IF_ICMPLE ", /* 164 */
908 "IF_ACMPEQ ", /* 165 */
909 "IF_ACMPNE ", /* 166 */
913 "TABLESWITCH ", /* 170 */
914 "LOOKUPSWITCH ", /* 171 */
915 "IRETURN ", /* 172 */
916 "LRETURN ", /* 173 */
917 "FRETURN ", /* 174 */
918 "DRETURN ", /* 175 */
919 "ARETURN ", /* 176 */
921 "GETSTATIC ", /* 178 */
922 "PUTSTATIC ", /* 179 */
923 "GETFIELD ", /* 180 */
924 "PUTFIELD ", /* 181 */
925 "INVOKEVIRTUAL ", /* 182 */
926 "INVOKESPECIAL ", /* 183 */
927 "INVOKESTATIC ", /* 184 */
928 "INVOKEINTERFACE", /* 185 */
929 "UNDEF186 ", /* UNDEF186 186 */
931 "NEWARRAY ", /* 188 */
932 "ANEWARRAY ", /* 189 */
933 "ARRAYLENGTH ", /* 190 */
935 "CHECKCAST ", /* 192 */
936 "INSTANCEOF ", /* 193 */
937 "MONITORENTER ", /* 194 */
938 "MONITOREXIT ", /* 195 */
939 "UNDEF196 ", /* WIDE 196 */
940 "MULTIANEWARRAY ", /* 197 */
942 "IFNONNULL ", /* 199 */
943 "UNDEF200 ", /* GOTO_W 200 */
944 "UNDEF201 ", /* JSR_W 201 */
945 "UNDEF202 ", /* BREAKPOINT 202 */
946 "UNDEF203 ", /* UNDEF203 203 */
947 "IASTORECONST ", /* 204 */
948 "LASTORECONST ", /* 205 */
949 "FASTORECONST ", /* 206 */
950 "DASTORECONST ", /* 207 */
951 "AASTORECONST ", /* 208 */
952 "BASTORECONST ", /* 209 */
953 "CASTORECONST ", /* 210 */
954 "SASTORECONST ", /* 211 */
955 "PUTSTATICCONST ", /* 212 */
956 "PUTFIELDCONST ", /* 213 */
957 "IMULPOW2 ", /* 214 */
958 "LMULPOW2 ", /* 215 */
960 "UNDEF216", "UNDEF217", "UNDEF218", "UNDEF219", "UNDEF220",
961 "UNDEF221", "UNDEF222", "UNDEF223", "UNDEF224", "UNDEF225",
962 "UNDEF226", "UNDEF227", "UNDEF228", "UNDEF229", "UNDEF230",
963 "UNDEF231", "UNDEF232", "UNDEF233", "UNDEF234", "UNDEF235",
964 "UNDEF236", "UNDEF237", "UNDEF238", "UNDEF239", "UNDEF240",
965 "UNDEF241", "UNDEF242", "UNDEF243", "UNDEF244", "UNDEF245",
966 "UNDEF246", "UNDEF247", "UNDEF248", "UNDEF249", "UNDEF250",
968 "INLINE_START ", /* 251 */
969 "INLINE_END ", /* 252 */
971 "UNDEF253", "UNDEF254",
977 char *opcode_names[256] = {
980 "ICONST_M1 ", /* ICONST_M1 2 */
981 "ICONST_0 ", /* ICONST_0 3 */
982 "ICONST_1 ", /* ICONST_1 4 */
983 "ICONST_2 ", /* ICONST_2 5 */
984 "ICONST_3 ", /* ICONST_3 6 */
985 "ICONST_4 ", /* ICONST_4 7 */
986 "ICONST_5 ", /* ICONST_5 8 */
987 "LCONST_0 ", /* LCONST_0 9 */
988 "LCONST_1 ", /* LCONST_1 10 */
989 "FCONST_0 ", /* FCONST_0 11 */
990 "FCONST_1 ", /* FCONST_1 12 */
991 "FCONST_2 ", /* FCONST_2 13 */
992 "DCONST_0 ", /* DCONST_0 14 */
993 "DCONST_1 ", /* DCONST_1 15 */
994 "BIPUSH ", /* BIPUSH 16 */
995 "SIPUSH ", /* SIPUSH 17 */
997 "LDC_W ", /* LDC_W 19 */
998 "LDC2_W ", /* LDC2_W 20 */
1004 "ILOAD_0 ", /* ILOAD_0 26 */
1005 "ILOAD_1 ", /* ILOAD_1 27 */
1006 "ILOAD_2 ", /* ILOAD_2 28 */
1007 "ILOAD_3 ", /* ILOAD_3 29 */
1008 "LLOAD_0 ", /* LLOAD_0 30 */
1009 "LLOAD_1 ", /* LLOAD_1 31 */
1010 "LLOAD_2 ", /* LLOAD_2 32 */
1011 "LLOAD_3 ", /* LLOAD_3 33 */
1012 "FLOAD_0 ", /* FLOAD_0 34 */
1013 "FLOAD_1 ", /* FLOAD_1 35 */
1014 "FLOAD_2 ", /* FLOAD_2 36 */
1015 "FLOAD_3 ", /* FLOAD_3 37 */
1016 "DLOAD_0 ", /* DLOAD_0 38 */
1017 "DLOAD_1 ", /* DLOAD_1 39 */
1018 "DLOAD_2 ", /* DLOAD_2 40 */
1019 "DLOAD_3 ", /* DLOAD_3 41 */
1020 "ALOAD_0 ", /* ALOAD_0 42 */
1021 "ALOAD_1 ", /* ALOAD_1 43 */
1022 "ALOAD_2 ", /* ALOAD_2 44 */
1023 "ALOAD_3 ", /* ALOAD_3 45 */
1037 "ISTORE_0 ", /* ISTORE_0 59 */
1038 "ISTORE_1 ", /* ISTORE_1 60 */
1039 "ISTORE_2 ", /* ISTORE_2 61 */
1040 "ISTORE_3 ", /* ISTORE_3 62 */
1041 "LSTORE_0 ", /* LSTORE_0 63 */
1042 "LSTORE_1 ", /* LSTORE_1 64 */
1043 "LSTORE_2 ", /* LSTORE_2 65 */
1044 "LSTORE_3 ", /* LSTORE_3 66 */
1045 "FSTORE_0 ", /* FSTORE_0 67 */
1046 "FSTORE_1 ", /* FSTORE_1 68 */
1047 "FSTORE_2 ", /* FSTORE_2 69 */
1048 "FSTORE_3 ", /* FSTORE_3 70 */
1049 "DSTORE_0 ", /* DSTORE_0 71 */
1050 "DSTORE_1 ", /* DSTORE_1 72 */
1051 "DSTORE_2 ", /* DSTORE_2 73 */
1052 "DSTORE_3 ", /* DSTORE_3 74 */
1053 "ASTORE_0 ", /* ASTORE_0 75 */
1054 "ASTORE_1 ", /* ASTORE_1 76 */
1055 "ASTORE_2 ", /* ASTORE_2 77 */
1056 "ASTORE_3 ", /* ASTORE_3 78 */
1057 "IASTORE ", /* 79 */
1058 "LASTORE ", /* 80 */
1059 "FASTORE ", /* 81 */
1060 "DASTORE ", /* 82 */
1061 "AASTORE ", /* 83 */
1062 "BASTORE ", /* 84 */
1063 "CASTORE ", /* 85 */
1064 "SASTORE ", /* 86 */
1071 "DUP2_X1 ", /* 93 */
1072 "DUP2_X2 ", /* 94 */
1123 "INT2BYTE ", /* 145 */
1124 "INT2CHAR ", /* 146 */
1125 "INT2SHORT ", /* 147 */
1137 "IF_ICMPEQ ", /* 159 */
1138 "IF_ICMPNE ", /* 160 */
1139 "IF_ICMPLT ", /* 161 */
1140 "IF_ICMPGE ", /* 162 */
1141 "IF_ICMPGT ", /* 163 */
1142 "IF_ICMPLE ", /* 164 */
1143 "IF_ACMPEQ ", /* 165 */
1144 "IF_ACMPNE ", /* 166 */
1148 "TABLESWITCH ", /* 170 */
1149 "LOOKUPSWITCH ", /* 171 */
1150 "IRETURN ", /* 172 */
1151 "LRETURN ", /* 173 */
1152 "FRETURN ", /* 174 */
1153 "DRETURN ", /* 175 */
1154 "ARETURN ", /* 176 */
1155 "RETURN ", /* 177 */
1156 "GETSTATIC ", /* 178 */
1157 "PUTSTATIC ", /* 179 */
1158 "GETFIELD ", /* 180 */
1159 "PUTFIELD ", /* 181 */
1160 "INVOKEVIRTUAL ", /* 182 */
1161 "INVOKESPECIAL ", /* 183 */
1162 "INVOKESTATIC ", /* 184 */
1163 "INVOKEINTERFACE", /* 185 */
1164 "UNDEF186 ", /* 186 */
1166 "NEWARRAY ", /* 188 */
1167 "ANEWARRAY ", /* 189 */
1168 "ARRAYLENGTH ", /* 190 */
1169 "ATHROW ", /* 191 */
1170 "CHECKCAST ", /* 192 */
1171 "INSTANCEOF ", /* 193 */
1172 "MONITORENTER ", /* 194 */
1173 "MONITOREXIT ", /* 195 */
1174 "WIDE ", /* WIDE 196 */
1175 "MULTIANEWARRAY ", /* 197 */
1176 "IFNULL ", /* 198 */
1177 "IFNONNULL ", /* 199 */
1178 "GOTO_W ", /* GOTO_W 200 */
1179 "JSR_W ", /* JSR_W 201 */
1180 "BREAKPOINT ", /* BREAKPOINT 202 */
1182 "UNDEF203", "UNDEF204", "UNDEF205",
1183 "UNDEF206", "UNDEF207", "UNDEF208", "UNDEF209", "UNDEF210",
1184 "UNDEF211", "UNDEF212", "UNDEF213", "UNDEF214", "UNDEF215",
1185 "UNDEF216", "UNDEF217", "UNDEF218", "UNDEF219", "UNDEF220",
1186 "UNDEF221", "UNDEF222", "UNDEF223", "UNDEF224", "UNDEF225",
1187 "UNDEF226", "UNDEF227", "UNDEF228", "UNDEF229", "UNDEF230",
1188 "UNDEF231", "UNDEF232", "UNDEF233", "UNDEF234", "UNDEF235",
1189 "UNDEF236", "UNDEF237", "UNDEF238", "UNDEF239", "UNDEF240",
1190 "UNDEF241", "UNDEF242", "UNDEF243", "UNDEF244", "UNDEF245",
1191 "UNDEF246", "UNDEF247", "UNDEF248", "UNDEF249", "UNDEF250",
1192 "UNDEF251", "UNDEF252", "UNDEF253", "UNDEF254", "UNDEF255"
1196 /* jit_init ********************************************************************
1198 Initializes the JIT subsystem.
1200 *******************************************************************************/
1206 #if defined(__ALPHA__)
1207 has_ext_instr_set = ! has_no_x_instr_set();
1210 for (i = 0; i < 256; i++)
1213 stackreq[JAVA_NOP] = 0;
1214 stackreq[JAVA_ISTORE] = 0;
1215 stackreq[JAVA_LSTORE] = 0;
1216 stackreq[JAVA_FSTORE] = 0;
1217 stackreq[JAVA_DSTORE] = 0;
1218 stackreq[JAVA_ASTORE] = 0;
1219 stackreq[JAVA_ISTORE_0] = 0;
1220 stackreq[JAVA_ISTORE_1] = 0;
1221 stackreq[JAVA_ISTORE_2] = 0;
1222 stackreq[JAVA_ISTORE_3] = 0;
1223 stackreq[JAVA_LSTORE_0] = 0;
1224 stackreq[JAVA_LSTORE_1] = 0;
1225 stackreq[JAVA_LSTORE_2] = 0;
1226 stackreq[JAVA_LSTORE_3] = 0;
1227 stackreq[JAVA_FSTORE_0] = 0;
1228 stackreq[JAVA_FSTORE_1] = 0;
1229 stackreq[JAVA_FSTORE_2] = 0;
1230 stackreq[JAVA_FSTORE_3] = 0;
1231 stackreq[JAVA_DSTORE_0] = 0;
1232 stackreq[JAVA_DSTORE_1] = 0;
1233 stackreq[JAVA_DSTORE_2] = 0;
1234 stackreq[JAVA_DSTORE_3] = 0;
1235 stackreq[JAVA_ASTORE_0] = 0;
1236 stackreq[JAVA_ASTORE_1] = 0;
1237 stackreq[JAVA_ASTORE_2] = 0;
1238 stackreq[JAVA_ASTORE_3] = 0;
1239 stackreq[JAVA_IASTORE] = 0;
1240 stackreq[JAVA_LASTORE] = 0;
1241 stackreq[JAVA_FASTORE] = 0;
1242 stackreq[JAVA_DASTORE] = 0;
1243 stackreq[JAVA_AASTORE] = 0;
1244 stackreq[JAVA_BASTORE] = 0;
1245 stackreq[JAVA_CASTORE] = 0;
1246 stackreq[JAVA_SASTORE] = 0;
1247 stackreq[JAVA_POP] = 0;
1248 stackreq[JAVA_POP2] = 0;
1249 stackreq[JAVA_IFEQ] = 0;
1250 stackreq[JAVA_IFNE] = 0;
1251 stackreq[JAVA_IFLT] = 0;
1252 stackreq[JAVA_IFGE] = 0;
1253 stackreq[JAVA_IFGT] = 0;
1254 stackreq[JAVA_IFLE] = 0;
1255 stackreq[JAVA_IF_ICMPEQ] = 0;
1256 stackreq[JAVA_IF_ICMPNE] = 0;
1257 stackreq[JAVA_IF_ICMPLT] = 0;
1258 stackreq[JAVA_IF_ICMPGE] = 0;
1259 stackreq[JAVA_IF_ICMPGT] = 0;
1260 stackreq[JAVA_IF_ICMPLE] = 0;
1261 stackreq[JAVA_IF_ACMPEQ] = 0;
1262 stackreq[JAVA_IF_ACMPNE] = 0;
1263 stackreq[JAVA_GOTO] = 0;
1264 stackreq[JAVA_RET] = 0;
1265 stackreq[JAVA_TABLESWITCH] = 0;
1266 stackreq[JAVA_LOOKUPSWITCH] = 0;
1267 stackreq[JAVA_IRETURN] = 0;
1268 stackreq[JAVA_LRETURN] = 0;
1269 stackreq[JAVA_FRETURN] = 0;
1270 stackreq[JAVA_DRETURN] = 0;
1271 stackreq[JAVA_ARETURN] = 0;
1272 stackreq[JAVA_RETURN] = 0;
1273 stackreq[JAVA_PUTSTATIC] = 0;
1274 stackreq[JAVA_PUTFIELD] = 0;
1275 stackreq[JAVA_MONITORENTER] = 0;
1276 stackreq[JAVA_MONITOREXIT] = 0;
1277 stackreq[JAVA_WIDE] = 0;
1278 stackreq[JAVA_IFNULL] = 0;
1279 stackreq[JAVA_IFNONNULL] = 0;
1280 stackreq[JAVA_GOTO_W] = 0;
1281 stackreq[JAVA_BREAKPOINT] = 0;
1283 /* we need one dummy stack slot for IINC in order to */
1284 /* avoid that the modified local variable is */
1285 /* kept on the stack (see stack.c, ICMD_IINC) */
1286 stackreq[JAVA_IINC] = 1;
1288 stackreq[JAVA_SWAP] = 2;
1289 stackreq[JAVA_DUP2] = 2;
1290 stackreq[JAVA_DUP_X1] = 3;
1291 stackreq[JAVA_DUP_X2] = 4;
1292 stackreq[JAVA_DUP2_X1] = 3;
1293 stackreq[JAVA_DUP2_X2] = 4;
1295 /* initialize stack analysis subsystem */
1297 (void) stack_init();
1299 /* initialize codegen subsystem */
1305 /* jit_close *******************************************************************
1307 Close the JIT subsystem.
1309 *******************************************************************************/
1311 void jit_close(void)
1317 /* dummy function, used when there is no JavaVM code available */
1319 static u1 *do_nothing_function(void)
1325 /* jit_compile *****************************************************************
1327 jit_compile, new version of compiler, translates one method to machine code
1329 *******************************************************************************/
1331 static u1 *jit_compile_intern(methodinfo *m, codegendata *cd, registerdata *rd,
1332 loopdata *ld, t_inlining_globals *id);
1334 u1 *jit_compile(methodinfo *m)
1340 t_inlining_globals *id;
1343 STATISTICS(count_jit_calls++);
1345 #if defined(USE_THREADS)
1346 /* enter a monitor on the method */
1348 builtin_monitorenter((java_objectheader *) m);
1351 /* if method has been already compiled return immediately */
1353 if (m->entrypoint) {
1354 #if defined(USE_THREADS)
1355 builtin_monitorexit((java_objectheader *) m);
1358 return m->entrypoint;
1361 STATISTICS(count_methods++);
1363 #if defined(ENABLE_STATISTICS)
1366 if (getcompilingtime)
1367 compilingtime_start();
1370 /* mark start of dump memory area */
1372 dumpsize = dump_size();
1374 /* allocate memory */
1376 cd = DNEW(codegendata);
1377 rd = DNEW(registerdata);
1378 ld = DNEW(loopdata);
1379 id = DNEW(t_inlining_globals);
1381 #if defined(USE_INLINING)
1382 /* RTA static analysis must be called before inlining */
1384 RT_jit_parse(m); /* will be called just once */
1385 /* return value ignored for now */
1386 /* XTA static analysis must be called before inlining */
1388 XTA_jit_parse(m); /* will be called just once */
1389 /* return value ignored for now */
1391 /* must be called before reg_setup, because it can change maxlocals */
1392 /* init reqd to initialize for parse even in no inlining */
1393 inlining_setup(m, id);
1396 #if defined(ENABLE_JIT)
1397 # if defined(ENABLE_INTRP)
1400 /* initialize the register allocator */
1401 reg_setup(m, rd, id);
1404 /* setup the codegendata memory */
1405 codegen_setup(m, cd, id);
1407 /* now call internal compile function */
1409 r = jit_compile_intern(m, cd, rd, ld, id);
1411 /* free some memory */
1413 #if defined(ENABLE_JIT)
1414 # if defined(ENABLE_INTRP)
1417 codegen_free(m, cd);
1420 /* clear pointers to dump memory area */
1422 m->basicblocks = NULL;
1423 m->basicblockindex = NULL;
1424 m->instructions = NULL;
1426 /* NO !!! m->exceptiontable = NULL; */
1428 /* release dump area */
1430 dump_release(dumpsize);
1432 #if defined(ENABLE_STATISTICS)
1435 if (getcompilingtime)
1436 compilingtime_stop();
1439 /* define in options.h; Used in main.c, jit.c & inline.c */
1441 if ((utf_new_char("main") == m->name) && (useinliningm))
1442 useinlining = false;
1445 #if defined(USE_THREADS)
1446 /* leave the monitor */
1448 builtin_monitorexit((java_objectheader *) m );
1453 log_message_method("Running: ", m);
1456 /* return pointer to the methods entry point */
1462 /* jit_compile_intern **********************************************************
1464 Static internal function which does the actual compilation.
1466 *******************************************************************************/
1468 static u1 *jit_compile_intern(methodinfo *m, codegendata *cd, registerdata *rd,
1469 loopdata *ld, t_inlining_globals *id)
1471 /* print log message for compiled method */
1473 DEBUG_JIT_COMPILEVERBOSE("Compiling: ");
1475 /* initialize the static function's class */
1477 if ((m->flags & ACC_STATIC) && !(m->class->state & CLASS_INITIALIZED)) {
1478 #if !defined(NDEBUG)
1480 log_message_class("Initialize class ", m->class);
1483 if (!initialize_class(m->class))
1487 /* handle native methods and create a native stub */
1489 if (m->flags & ACC_NATIVE) {
1492 #if defined(ENABLE_STATICVM)
1493 f = native_findfunction(m->class->name, m->name, m->descriptor,
1494 (m->flags & ACC_STATIC));
1502 m->entrypoint = codegen_createnativestub(f, m);
1504 return m->entrypoint;
1507 /* if there is no javacode, print error message and return empty method */
1510 DEBUG_JIT_COMPILEVERBOSE("No code given for: ");
1512 m->entrypoint = (u1 *) (ptrint) do_nothing_function;
1514 return m->entrypoint; /* return empty method */
1517 /* initialisation of variables and subsystems */
1519 m->isleafmethod = true;
1521 #if defined(ENABLE_STATISTICS)
1523 count_tryblocks += m->exceptiontablelength;
1524 count_javacodesize += m->jcodelength + 18;
1525 count_javaexcsize += m->exceptiontablelength * SIZEOF_VOID_P;
1529 /* initialise parameter type descriptor */
1531 method_descriptor2types(m);
1533 /* call the compiler passes ***********************************************/
1535 DEBUG_JIT_COMPILEVERBOSE("Parsing: ");
1537 /* call parse pass */
1539 if (!parse(m, cd, id)) {
1540 DEBUG_JIT_COMPILEVERBOSE("Exception while parsing: ");
1545 DEBUG_JIT_COMPILEVERBOSE("Parsing done: ");
1546 DEBUG_JIT_COMPILEVERBOSE("Analysing: ");
1548 /* call stack analysis pass */
1550 if (!analyse_stack(m, cd, rd)) {
1551 DEBUG_JIT_COMPILEVERBOSE("Exception while analysing: ");
1556 DEBUG_JIT_COMPILEVERBOSE("Analysing done: ");
1558 #ifdef ENABLE_VERIFIER
1560 DEBUG_JIT_COMPILEVERBOSE("Typechecking: ");
1562 /* call typecheck pass */
1563 if (!typecheck(m, cd, rd)) {
1564 DEBUG_JIT_COMPILEVERBOSE("Exception while typechecking: ");
1569 DEBUG_JIT_COMPILEVERBOSE("Typechecking done: ");
1575 analyseGraph(m, ld);
1576 optimize_loops(m, cd, ld);
1579 #if defined(ENABLE_JIT)
1580 # if defined(ENABLE_INTRP)
1583 DEBUG_JIT_COMPILEVERBOSE("Allocating registers: ");
1585 /* allocate registers */
1586 # if defined(ENABLE_LSRA)
1588 lsra(m, cd, rd, id);
1590 STATISTICS(count_methods_allocated_by_lsra++);
1593 # endif /* defined(ENABLE_LSRA) */
1595 STATISTICS(count_locals_conflicts += (cd->maxlocals - 1) * (cd->maxlocals));
1597 regalloc(m, cd, rd);
1600 STATISTICS(reg_make_statistics(m, cd, rd));
1602 DEBUG_JIT_COMPILEVERBOSE("Allocating registers done: ");
1603 # if defined(ENABLE_INTRP)
1606 #endif /* defined(ENABLE_JIT) */
1608 DEBUG_JIT_COMPILEVERBOSE("Generating code: ");
1610 /* now generate the machine code */
1612 if (!codegen(m, cd, rd)) {
1613 DEBUG_JIT_COMPILEVERBOSE("Exception while generating code: ");
1618 DEBUG_JIT_COMPILEVERBOSE("Generating code done: ");
1620 #if !defined(NDEBUG)
1621 /* intermediate and assembly code listings */
1623 if (opt_showintermediate) {
1624 show_icmd_method(m, cd, rd);
1626 } else if (opt_showdisassemble) {
1627 disassemble(m->entrypoint,
1628 m->entrypoint + (m->mcodelength - cd->dseglen));
1631 if (opt_showddatasegment)
1632 dseg_display(m, cd);
1635 DEBUG_JIT_COMPILEVERBOSE("Compiling done: ");
1637 /* return pointer to the methods entry point */
1639 return m->entrypoint;
1644 * These are local overrides for various environment variables in Emacs.
1645 * Please do not remove this and leave it at the end of the file, where
1646 * Emacs will automagically detect them.
1647 * ---------------------------------------------------------------------
1650 * indent-tabs-mode: t