forked from openjdk/valhalla
/
Bytecodes.java
868 lines (810 loc) · 57.6 KB
/
Bytecodes.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
/*
* Copyright (c) 2001, 2020, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*
*/
package sun.jvm.hotspot.interpreter;
import java.util.*;
import sun.jvm.hotspot.oops.*;
import sun.jvm.hotspot.runtime.*;
import sun.jvm.hotspot.utilities.*;
import sun.jvm.hotspot.utilities.Observable;
import sun.jvm.hotspot.utilities.Observer;
// Bytecodes specifies all bytecodes used in the VM and
// provides utility functions to get bytecode attributes.
public class Bytecodes {
public static final int _illegal = -1;
// Java bytecodes
public static final int _nop = 0; // 0x00
public static final int _aconst_null = 1; // 0x01
public static final int _iconst_m1 = 2; // 0x02
public static final int _iconst_0 = 3; // 0x03
public static final int _iconst_1 = 4; // 0x04
public static final int _iconst_2 = 5; // 0x05
public static final int _iconst_3 = 6; // 0x06
public static final int _iconst_4 = 7; // 0x07
public static final int _iconst_5 = 8; // 0x08
public static final int _lconst_0 = 9; // 0x09
public static final int _lconst_1 = 10; // 0x0a
public static final int _fconst_0 = 11; // 0x0b
public static final int _fconst_1 = 12; // 0x0c
public static final int _fconst_2 = 13; // 0x0d
public static final int _dconst_0 = 14; // 0x0e
public static final int _dconst_1 = 15; // 0x0f
public static final int _bipush = 16; // 0x10
public static final int _sipush = 17; // 0x11
public static final int _ldc = 18; // 0x12
public static final int _ldc_w = 19; // 0x13
public static final int _ldc2_w = 20; // 0x14
public static final int _iload = 21; // 0x15
public static final int _lload = 22; // 0x16
public static final int _fload = 23; // 0x17
public static final int _dload = 24; // 0x18
public static final int _aload = 25; // 0x19
public static final int _iload_0 = 26; // 0x1a
public static final int _iload_1 = 27; // 0x1b
public static final int _iload_2 = 28; // 0x1c
public static final int _iload_3 = 29; // 0x1d
public static final int _lload_0 = 30; // 0x1e
public static final int _lload_1 = 31; // 0x1f
public static final int _lload_2 = 32; // 0x20
public static final int _lload_3 = 33; // 0x21
public static final int _fload_0 = 34; // 0x22
public static final int _fload_1 = 35; // 0x23
public static final int _fload_2 = 36; // 0x24
public static final int _fload_3 = 37; // 0x25
public static final int _dload_0 = 38; // 0x26
public static final int _dload_1 = 39; // 0x27
public static final int _dload_2 = 40; // 0x28
public static final int _dload_3 = 41; // 0x29
public static final int _aload_0 = 42; // 0x2a
public static final int _aload_1 = 43; // 0x2b
public static final int _aload_2 = 44; // 0x2c
public static final int _aload_3 = 45; // 0x2d
public static final int _iaload = 46; // 0x2e
public static final int _laload = 47; // 0x2f
public static final int _faload = 48; // 0x30
public static final int _daload = 49; // 0x31
public static final int _aaload = 50; // 0x32
public static final int _baload = 51; // 0x33
public static final int _caload = 52; // 0x34
public static final int _saload = 53; // 0x35
public static final int _istore = 54; // 0x36
public static final int _lstore = 55; // 0x37
public static final int _fstore = 56; // 0x38
public static final int _dstore = 57; // 0x39
public static final int _astore = 58; // 0x3a
public static final int _istore_0 = 59; // 0x3b
public static final int _istore_1 = 60; // 0x3c
public static final int _istore_2 = 61; // 0x3d
public static final int _istore_3 = 62; // 0x3e
public static final int _lstore_0 = 63; // 0x3f
public static final int _lstore_1 = 64; // 0x40
public static final int _lstore_2 = 65; // 0x41
public static final int _lstore_3 = 66; // 0x42
public static final int _fstore_0 = 67; // 0x43
public static final int _fstore_1 = 68; // 0x44
public static final int _fstore_2 = 69; // 0x45
public static final int _fstore_3 = 70; // 0x46
public static final int _dstore_0 = 71; // 0x47
public static final int _dstore_1 = 72; // 0x48
public static final int _dstore_2 = 73; // 0x49
public static final int _dstore_3 = 74; // 0x4a
public static final int _astore_0 = 75; // 0x4b
public static final int _astore_1 = 76; // 0x4c
public static final int _astore_2 = 77; // 0x4d
public static final int _astore_3 = 78; // 0x4e
public static final int _iastore = 79; // 0x4f
public static final int _lastore = 80; // 0x50
public static final int _fastore = 81; // 0x51
public static final int _dastore = 82; // 0x52
public static final int _aastore = 83; // 0x53
public static final int _bastore = 84; // 0x54
public static final int _castore = 85; // 0x55
public static final int _sastore = 86; // 0x56
public static final int _pop = 87; // 0x57
public static final int _pop2 = 88; // 0x58
public static final int _dup = 89; // 0x59
public static final int _dup_x1 = 90; // 0x5a
public static final int _dup_x2 = 91; // 0x5b
public static final int _dup2 = 92; // 0x5c
public static final int _dup2_x1 = 93; // 0x5d
public static final int _dup2_x2 = 94; // 0x5e
public static final int _swap = 95; // 0x5f
public static final int _iadd = 96; // 0x60
public static final int _ladd = 97; // 0x61
public static final int _fadd = 98; // 0x62
public static final int _dadd = 99; // 0x63
public static final int _isub = 100; // 0x64
public static final int _lsub = 101; // 0x65
public static final int _fsub = 102; // 0x66
public static final int _dsub = 103; // 0x67
public static final int _imul = 104; // 0x68
public static final int _lmul = 105; // 0x69
public static final int _fmul = 106; // 0x6a
public static final int _dmul = 107; // 0x6b
public static final int _idiv = 108; // 0x6c
public static final int _ldiv = 109; // 0x6d
public static final int _fdiv = 110; // 0x6e
public static final int _ddiv = 111; // 0x6f
public static final int _irem = 112; // 0x70
public static final int _lrem = 113; // 0x71
public static final int _frem = 114; // 0x72
public static final int _drem = 115; // 0x73
public static final int _ineg = 116; // 0x74
public static final int _lneg = 117; // 0x75
public static final int _fneg = 118; // 0x76
public static final int _dneg = 119; // 0x77
public static final int _ishl = 120; // 0x78
public static final int _lshl = 121; // 0x79
public static final int _ishr = 122; // 0x7a
public static final int _lshr = 123; // 0x7b
public static final int _iushr = 124; // 0x7c
public static final int _lushr = 125; // 0x7d
public static final int _iand = 126; // 0x7e
public static final int _land = 127; // 0x7f
public static final int _ior = 128; // 0x80
public static final int _lor = 129; // 0x81
public static final int _ixor = 130; // 0x82
public static final int _lxor = 131; // 0x83
public static final int _iinc = 132; // 0x84
public static final int _i2l = 133; // 0x85
public static final int _i2f = 134; // 0x86
public static final int _i2d = 135; // 0x87
public static final int _l2i = 136; // 0x88
public static final int _l2f = 137; // 0x89
public static final int _l2d = 138; // 0x8a
public static final int _f2i = 139; // 0x8b
public static final int _f2l = 140; // 0x8c
public static final int _f2d = 141; // 0x8d
public static final int _d2i = 142; // 0x8e
public static final int _d2l = 143; // 0x8f
public static final int _d2f = 144; // 0x90
public static final int _i2b = 145; // 0x91
public static final int _i2c = 146; // 0x92
public static final int _i2s = 147; // 0x93
public static final int _lcmp = 148; // 0x94
public static final int _fcmpl = 149; // 0x95
public static final int _fcmpg = 150; // 0x96
public static final int _dcmpl = 151; // 0x97
public static final int _dcmpg = 152; // 0x98
public static final int _ifeq = 153; // 0x99
public static final int _ifne = 154; // 0x9a
public static final int _iflt = 155; // 0x9b
public static final int _ifge = 156; // 0x9c
public static final int _ifgt = 157; // 0x9d
public static final int _ifle = 158; // 0x9e
public static final int _if_icmpeq = 159; // 0x9f
public static final int _if_icmpne = 160; // 0xa0
public static final int _if_icmplt = 161; // 0xa1
public static final int _if_icmpge = 162; // 0xa2
public static final int _if_icmpgt = 163; // 0xa3
public static final int _if_icmple = 164; // 0xa4
public static final int _if_acmpeq = 165; // 0xa5
public static final int _if_acmpne = 166; // 0xa6
public static final int _goto = 167; // 0xa7
public static final int _jsr = 168; // 0xa8
public static final int _ret = 169; // 0xa9
public static final int _tableswitch = 170; // 0xaa
public static final int _lookupswitch = 171; // 0xab
public static final int _ireturn = 172; // 0xac
public static final int _lreturn = 173; // 0xad
public static final int _freturn = 174; // 0xae
public static final int _dreturn = 175; // 0xaf
public static final int _areturn = 176; // 0xb0
public static final int _return = 177; // 0xb1
public static final int _getstatic = 178; // 0xb2
public static final int _putstatic = 179; // 0xb3
public static final int _getfield = 180; // 0xb4
public static final int _putfield = 181; // 0xb5
public static final int _invokevirtual = 182; // 0xb6
public static final int _invokespecial = 183; // 0xb7
public static final int _invokestatic = 184; // 0xb8
public static final int _invokeinterface = 185; // 0xb9
public static final int _invokedynamic = 186; // 0xba
public static final int _new = 187; // 0xbb
public static final int _newarray = 188; // 0xbc
public static final int _anewarray = 189; // 0xbd
public static final int _arraylength = 190; // 0xbe
public static final int _athrow = 191; // 0xbf
public static final int _checkcast = 192; // 0xc0
public static final int _instanceof = 193; // 0xc1
public static final int _monitorenter = 194; // 0xc2
public static final int _monitorexit = 195; // 0xc3
public static final int _wide = 196; // 0xc4
public static final int _multianewarray = 197; // 0xc5
public static final int _ifnull = 198; // 0xc6
public static final int _ifnonnull = 199; // 0xc7
public static final int _goto_w = 200; // 0xc8
public static final int _jsr_w = 201; // 0xc9
public static final int _breakpoint = 202; // 0xca
public static final int _defaultvalue = 203; // 0xcb
public static final int _withfield = 204; // 0xcc
public static final int number_of_java_codes = 205;
// JVM bytecodes
public static final int _fast_agetfield = number_of_java_codes;
public static final int _fast_qgetfield = 206;
public static final int _fast_bgetfield = 207;
public static final int _fast_cgetfield = 208;
public static final int _fast_dgetfield = 209;
public static final int _fast_fgetfield = 210;
public static final int _fast_igetfield = 211;
public static final int _fast_lgetfield = 212;
public static final int _fast_sgetfield = 213;
public static final int _fast_aputfield = 214;
public static final int _fast_qputfield = 215;
public static final int _fast_bputfield = 216;
public static final int _fast_zputfield = 217;
public static final int _fast_cputfield = 218;
public static final int _fast_dputfield = 219;
public static final int _fast_fputfield = 220;
public static final int _fast_iputfield = 221;
public static final int _fast_lputfield = 222;
public static final int _fast_sputfield = 223;
public static final int _fast_aload_0 = 224;
public static final int _fast_iaccess_0 = 225;
public static final int _fast_aaccess_0 = 226;
public static final int _fast_faccess_0 = 227;
public static final int _fast_iload = 228;
public static final int _fast_iload2 = 229;
public static final int _fast_icaload = 230;
public static final int _fast_invokevfinal = 231;
public static final int _fast_linearswitch = 232;
public static final int _fast_binaryswitch = 233;
public static final int _fast_aldc = 234;
public static final int _fast_aldc_w = 235;
public static final int _return_register_finalizer = 236;
public static final int _invokehandle = 237;
// Bytecodes rewritten at CDS dump time
public static final int _nofast_getfield = 238;
public static final int _nofast_putfield = 239;
public static final int _nofast_aload_0 = 240;
public static final int _nofast_iload = 241;
public static final int _shouldnotreachhere = 242; // For debugging
public static final int number_of_codes = 243;
// Flag bits derived from format strings, can_trap, can_rewrite, etc.:
// semantic flags:
static final int _bc_can_trap = 1<<0; // bytecode execution can trap or block
static final int _bc_can_rewrite = 1<<1; // bytecode execution has an alternate form
// format bits (determined only by the format string):
static final int _fmt_has_c = 1<<2; // constant, such as sipush "bcc"
static final int _fmt_has_j = 1<<3; // constant pool cache index, such as getfield "bjj"
static final int _fmt_has_k = 1<<4; // constant pool index, such as ldc "bk"
static final int _fmt_has_i = 1<<5; // local index, such as iload
static final int _fmt_has_o = 1<<6; // offset, such as ifeq
static final int _fmt_has_nbo = 1<<7; // contains native-order field(s)
static final int _fmt_has_u2 = 1<<8; // contains double-byte field(s)
static final int _fmt_has_u4 = 1<<9; // contains quad-byte field
static final int _fmt_not_variable = 1<<10; // not of variable length (simple or wide)
static final int _fmt_not_simple = 1<<11; // either wide or variable length
static final int _all_fmt_bits = (_fmt_not_simple*2 - _fmt_has_c);
// Example derived format syndromes:
static final int _fmt_b = _fmt_not_variable;
static final int _fmt_bc = _fmt_b | _fmt_has_c;
static final int _fmt_bi = _fmt_b | _fmt_has_i;
static final int _fmt_bkk = _fmt_b | _fmt_has_k | _fmt_has_u2;
static final int _fmt_bJJ = _fmt_b | _fmt_has_j | _fmt_has_u2 | _fmt_has_nbo;
static final int _fmt_bo2 = _fmt_b | _fmt_has_o | _fmt_has_u2;
static final int _fmt_bo4 = _fmt_b | _fmt_has_o | _fmt_has_u4;
public static int specialLengthAt(Method method, int bci) {
int code = codeAt(method, bci);
switch (code) {
case _wide:
return wideLengthFor(method.getBytecodeOrBPAt(bci + 1));
case _tableswitch:
{
int alignedBCI = Bits.roundTo(bci + 1, jintSize);
int lo = method.getBytecodeIntArg(alignedBCI + 1*jintSize);
int hi = method.getBytecodeIntArg(alignedBCI + 2*jintSize);
return (alignedBCI - bci) + (3 + hi - lo + 1)*jintSize;
}
case _lookupswitch: // fall through
case _fast_binaryswitch: // fall through
case _fast_linearswitch:
{
int alignedBCI = Bits.roundTo(bci + 1, jintSize);
int npairs = method.getBytecodeIntArg(alignedBCI + jintSize);
return (alignedBCI - bci) + (2 + 2*npairs)*jintSize;
}
}
throw new RuntimeException("should not reach here");
}
// Conversion
public static void check(int code) {
if (Assert.ASSERTS_ENABLED) {
Assert.that(isDefined(code), "illegal code " + code);
}
}
public static void wideCheck(int code) {
if (Assert.ASSERTS_ENABLED) {
Assert.that(wideIsDefined(code), "illegal code " + code);
}
}
/** Fetches a bytecode, hiding breakpoints as necessary */
public static int codeAt(Method method, int bci) {
int res = codeOrBPAt(method, bci);
if (res == _breakpoint) {
res = method.getOrigBytecodeAt(bci);
}
return res;
}
/** Fetches a bytecode or a breakpoint */
public static int codeOrBPAt(Method method, int bci) {
return method.getBytecodeOrBPAt(bci);
}
public static boolean isActiveBreakpointAt(Method method, int bci) {
return (codeOrBPAt(method, bci) == _breakpoint);
}
// find a bytecode, behind a breakpoint if necessary:
// FIXME: not yet implementable
// static Code non_breakpoint_code_at(address bcp, Method* method = null);
// Bytecode attributes
public static boolean isDefined (int code) { return 0 <= code && code < number_of_codes && flags(code, false) != 0; }
public static boolean wideIsDefined(int code) { return isDefined(code) && flags(code, true) != 0; }
public static String name (int code) { check(code); return _name [code]; }
public static String format (int code) { check(code); return _format [code]; }
public static String wideFormat (int code) { wideCheck(code); return _wide_format [code]; }
public static int resultType (int code) { check(code); return _result_type [code]; }
public static int depth (int code) { check(code); return _depth [code]; }
public static int lengthFor (int code) { check(code); return _lengths [code] & 0xF; }
public static int wideLengthFor(int code) { check(code); return _lengths [code] >> 4; }
public static boolean canTrap (int code) { check(code); return has_all_flags(code, _bc_can_trap, false); }
public static int javaCode (int code) { check(code); return _java_code [code]; }
public static boolean canRewrite (int code) { check(code); return has_all_flags(code, _bc_can_rewrite, false); }
public static boolean native_byte_order(int code) { check(code); return has_all_flags(code, _fmt_has_nbo, false); }
public static boolean uses_cp_cache (int code) { check(code); return has_all_flags(code, _fmt_has_j, false); }
public static int lengthAt (Method method, int bci) { int l = lengthFor(codeAt(method, bci)); return l > 0 ? l : specialLengthAt(method, bci); }
public static int javaLengthAt (Method method, int bci) { int l = lengthFor(javaCode(codeAt(method, bci))); return l > 0 ? l : specialLengthAt(method, bci); }
public static boolean isJavaCode (int code) { return 0 <= code && code < number_of_java_codes; }
public static boolean isFastCode (int code) { return number_of_java_codes <= code && code < number_of_codes; }
public static boolean isAload (int code) { return (code == _aload || code == _aload_0 || code == _aload_1
|| code == _aload_2 || code == _aload_3); }
public static boolean isAstore (int code) { return (code == _astore || code == _astore_0 || code == _astore_1
|| code == _astore_2 || code == _astore_3); }
public static boolean isZeroConst (int code) { return (code == _aconst_null || code == _iconst_0
|| code == _fconst_0 || code == _dconst_0); }
static int flags (int code, boolean is_wide) {
assert code == (code & 0xff) : "must be a byte";
return _flags[code + (is_wide ? 256 : 0)];
}
static int format_bits (int code, boolean is_wide) { return flags(code, is_wide) & _all_fmt_bits; }
static boolean has_all_flags (int code, int test_flags, boolean is_wide) {
return (flags(code, is_wide) & test_flags) == test_flags;
}
static char compute_flags(String format) {
return compute_flags(format, 0);
}
static char compute_flags(String format, int more_flags) {
if (format == null) return 0; // not even more_flags
int flags = more_flags;
int fp = 0;
if (format.length() == 0) {
flags |= _fmt_not_simple; // but variable
} else {
switch (format.charAt(fp)) {
case 'b':
flags |= _fmt_not_variable; // but simple
++fp; // skip 'b'
break;
case 'w':
flags |= _fmt_not_variable | _fmt_not_simple;
++fp; // skip 'w'
assert(format.charAt(fp) == 'b') : "wide format must start with 'wb'";
++fp; // skip 'b'
break;
}
}
boolean has_nbo = false, has_jbo = false;
int has_size = 0;
while (fp < format.length()) {
int this_flag = 0;
char fc = format.charAt(fp++);
switch (fc) {
case '_': continue; // ignore these
case 'j': this_flag = _fmt_has_j; has_jbo = true; break;
case 'k': this_flag = _fmt_has_k; has_jbo = true; break;
case 'i': this_flag = _fmt_has_i; has_jbo = true; break;
case 'c': this_flag = _fmt_has_c; has_jbo = true; break;
case 'o': this_flag = _fmt_has_o; has_jbo = true; break;
// uppercase versions mark native byte order (from Rewriter)
// actually, only the 'J' case happens currently
case 'J': this_flag = _fmt_has_j; has_nbo = true; break;
case 'K': this_flag = _fmt_has_k; has_nbo = true; break;
case 'I': this_flag = _fmt_has_i; has_nbo = true; break;
case 'C': this_flag = _fmt_has_c; has_nbo = true; break;
case 'O': this_flag = _fmt_has_o; has_nbo = true; break;
default: assert false : "bad char in format";
}
flags |= this_flag;
assert !(has_jbo && has_nbo) : "mixed byte orders in format";
if (has_nbo)
flags |= _fmt_has_nbo;
int this_size = 1;
if (fp < format.length() && format.charAt(fp) == fc) {
// advance beyond run of the same characters
this_size = 2;
while (fp + 1 < format.length() && format.charAt(++fp) == fc) this_size++;
switch (this_size) {
case 2: flags |= _fmt_has_u2; break;
case 4: flags |= _fmt_has_u4; break;
default: assert false : "bad rep count in format";
}
}
assert has_size == 0 || // no field yet
this_size == has_size || // same size
this_size < has_size && fp == format.length() : // last field can be short
"mixed field sizes in format";
has_size = this_size;
}
assert flags == (char)flags : "change _format_flags";
return (char)flags;
}
//----------------------------------------------------------------------
// Internals only below this point
//
private static String[] _name;
private static String[] _format;
private static String[] _wide_format;
private static int[] _result_type;
private static byte[] _depth;
private static byte[] _lengths;
private static int[] _java_code;
private static char[] _flags;
static {
_name = new String [number_of_codes];
_format = new String [number_of_codes];
_wide_format = new String [number_of_codes];
_result_type = new int [number_of_codes]; // See BasicType.java
_depth = new byte [number_of_codes];
_lengths = new byte [number_of_codes];
_java_code = new int [number_of_codes];
_flags = new char[256 * 2]; // all second page for wide formats
// In case we want to fetch this information from the VM in the
// future
VM.registerVMInitializedObserver(new Observer() {
public void update(Observable o, Object data) {
initialize();
}
});
}
private static final int jintSize = 4;
// private static String[] _name = new String [number_of_codes];
// private static String[] _format = new String [number_of_codes];
// private static String[] _wide_format = new String [number_of_codes];
// private static int[] _result_type = new int [number_of_codes]; // See BasicType.java
// private static byte[] _depth = new byte [number_of_codes];
// private static byte[] _length = new byte [number_of_codes];
// private static boolean[] _can_trap = new boolean[number_of_codes];
// private static int[] _java_code = new int [number_of_codes];
// private static boolean[] _can_rewrite = new boolean[number_of_codes];
// Initialization
private static void initialize() {
if (Assert.ASSERTS_ENABLED) {
Assert.that(number_of_codes <= 256, "too many bytecodes");
}
// Format strings interpretation:
//
// b: bytecode
// c: signed constant, Java byte-ordering
// i: unsigned index , Java byte-ordering
// j: unsigned index , native byte-ordering
// o: branch offset , Java byte-ordering
// _: unused/ignored
// w: wide bytecode
//
// Note: Right now the format strings are used for 2 purposes:
// 1. to specify the length of the bytecode
// (= number of characters in format string)
// 2. to specify the bytecode attributes
//
// The bytecode attributes are currently used only for bytecode tracing
// (see BytecodeTracer); thus if more specific format information is
// used, one would also have to adjust the bytecode tracer.
//
// Note: For bytecodes with variable length, the format string is the empty string.
// Note 1: null for the format string means the bytecode doesn't exist
// in that form.
//
// Note 2: The result type is T_ILLEGAL for bytecodes where the top of stack
// type after execution is not only determined by the bytecode itself.
// Java bytecodes
// bytecode bytecode name format wide f. result tp stk traps
def(_nop , "nop" , "b" , null , BasicType.getTVoid() , 0, false);
def(_aconst_null , "aconst_null" , "b" , null , BasicType.getTObject() , 1, false);
def(_iconst_m1 , "iconst_m1" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_0 , "iconst_0" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_1 , "iconst_1" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_2 , "iconst_2" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_3 , "iconst_3" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_4 , "iconst_4" , "b" , null , BasicType.getTInt() , 1, false);
def(_iconst_5 , "iconst_5" , "b" , null , BasicType.getTInt() , 1, false);
def(_lconst_0 , "lconst_0" , "b" , null , BasicType.getTLong() , 2, false);
def(_lconst_1 , "lconst_1" , "b" , null , BasicType.getTLong() , 2, false);
def(_fconst_0 , "fconst_0" , "b" , null , BasicType.getTFloat() , 1, false);
def(_fconst_1 , "fconst_1" , "b" , null , BasicType.getTFloat() , 1, false);
def(_fconst_2 , "fconst_2" , "b" , null , BasicType.getTFloat() , 1, false);
def(_dconst_0 , "dconst_0" , "b" , null , BasicType.getTDouble() , 2, false);
def(_dconst_1 , "dconst_1" , "b" , null , BasicType.getTDouble() , 2, false);
def(_bipush , "bipush" , "bc" , null , BasicType.getTInt() , 1, false);
def(_sipush , "sipush" , "bcc" , null , BasicType.getTInt() , 1, false);
def(_ldc , "ldc" , "bk" , null , BasicType.getTIllegal(), 1, true );
def(_ldc_w , "ldc_w" , "bkk" , null , BasicType.getTIllegal(), 1, true );
def(_ldc2_w , "ldc2_w" , "bkk" , null , BasicType.getTIllegal(), 2, true );
def(_iload , "iload" , "bi" , "wbii" , BasicType.getTInt() , 1, false);
def(_lload , "lload" , "bi" , "wbii" , BasicType.getTLong() , 2, false);
def(_fload , "fload" , "bi" , "wbii" , BasicType.getTFloat() , 1, false);
def(_dload , "dload" , "bi" , "wbii" , BasicType.getTDouble() , 2, false);
def(_aload , "aload" , "bi" , "wbii" , BasicType.getTObject() , 1, false);
def(_iload_0 , "iload_0" , "b" , null , BasicType.getTInt() , 1, false);
def(_iload_1 , "iload_1" , "b" , null , BasicType.getTInt() , 1, false);
def(_iload_2 , "iload_2" , "b" , null , BasicType.getTInt() , 1, false);
def(_iload_3 , "iload_3" , "b" , null , BasicType.getTInt() , 1, false);
def(_lload_0 , "lload_0" , "b" , null , BasicType.getTLong() , 2, false);
def(_lload_1 , "lload_1" , "b" , null , BasicType.getTLong() , 2, false);
def(_lload_2 , "lload_2" , "b" , null , BasicType.getTLong() , 2, false);
def(_lload_3 , "lload_3" , "b" , null , BasicType.getTLong() , 2, false);
def(_fload_0 , "fload_0" , "b" , null , BasicType.getTFloat() , 1, false);
def(_fload_1 , "fload_1" , "b" , null , BasicType.getTFloat() , 1, false);
def(_fload_2 , "fload_2" , "b" , null , BasicType.getTFloat() , 1, false);
def(_fload_3 , "fload_3" , "b" , null , BasicType.getTFloat() , 1, false);
def(_dload_0 , "dload_0" , "b" , null , BasicType.getTDouble() , 2, false);
def(_dload_1 , "dload_1" , "b" , null , BasicType.getTDouble() , 2, false);
def(_dload_2 , "dload_2" , "b" , null , BasicType.getTDouble() , 2, false);
def(_dload_3 , "dload_3" , "b" , null , BasicType.getTDouble() , 2, false);
def(_aload_0 , "aload_0" , "b" , null , BasicType.getTObject() , 1, true ); // rewriting in interpreter
def(_aload_1 , "aload_1" , "b" , null , BasicType.getTObject() , 1, false);
def(_aload_2 , "aload_2" , "b" , null , BasicType.getTObject() , 1, false);
def(_aload_3 , "aload_3" , "b" , null , BasicType.getTObject() , 1, false);
def(_iaload , "iaload" , "b" , null , BasicType.getTInt() , -1, true );
def(_laload , "laload" , "b" , null , BasicType.getTLong() , 0, true );
def(_faload , "faload" , "b" , null , BasicType.getTFloat() , -1, true );
def(_daload , "daload" , "b" , null , BasicType.getTDouble() , 0, true );
def(_aaload , "aaload" , "b" , null , BasicType.getTObject() , -1, true );
def(_baload , "baload" , "b" , null , BasicType.getTInt() , -1, true );
def(_caload , "caload" , "b" , null , BasicType.getTInt() , -1, true );
def(_saload , "saload" , "b" , null , BasicType.getTInt() , -1, true );
def(_istore , "istore" , "bi" , "wbii" , BasicType.getTVoid() , -1, false);
def(_lstore , "lstore" , "bi" , "wbii" , BasicType.getTVoid() , -2, false);
def(_fstore , "fstore" , "bi" , "wbii" , BasicType.getTVoid() , -1, false);
def(_dstore , "dstore" , "bi" , "wbii" , BasicType.getTVoid() , -2, false);
def(_astore , "astore" , "bi" , "wbii" , BasicType.getTVoid() , -1, false);
def(_istore_0 , "istore_0" , "b" , null , BasicType.getTVoid() , -1, false);
def(_istore_1 , "istore_1" , "b" , null , BasicType.getTVoid() , -1, false);
def(_istore_2 , "istore_2" , "b" , null , BasicType.getTVoid() , -1, false);
def(_istore_3 , "istore_3" , "b" , null , BasicType.getTVoid() , -1, false);
def(_lstore_0 , "lstore_0" , "b" , null , BasicType.getTVoid() , -2, false);
def(_lstore_1 , "lstore_1" , "b" , null , BasicType.getTVoid() , -2, false);
def(_lstore_2 , "lstore_2" , "b" , null , BasicType.getTVoid() , -2, false);
def(_lstore_3 , "lstore_3" , "b" , null , BasicType.getTVoid() , -2, false);
def(_fstore_0 , "fstore_0" , "b" , null , BasicType.getTVoid() , -1, false);
def(_fstore_1 , "fstore_1" , "b" , null , BasicType.getTVoid() , -1, false);
def(_fstore_2 , "fstore_2" , "b" , null , BasicType.getTVoid() , -1, false);
def(_fstore_3 , "fstore_3" , "b" , null , BasicType.getTVoid() , -1, false);
def(_dstore_0 , "dstore_0" , "b" , null , BasicType.getTVoid() , -2, false);
def(_dstore_1 , "dstore_1" , "b" , null , BasicType.getTVoid() , -2, false);
def(_dstore_2 , "dstore_2" , "b" , null , BasicType.getTVoid() , -2, false);
def(_dstore_3 , "dstore_3" , "b" , null , BasicType.getTVoid() , -2, false);
def(_astore_0 , "astore_0" , "b" , null , BasicType.getTVoid() , -1, false);
def(_astore_1 , "astore_1" , "b" , null , BasicType.getTVoid() , -1, false);
def(_astore_2 , "astore_2" , "b" , null , BasicType.getTVoid() , -1, false);
def(_astore_3 , "astore_3" , "b" , null , BasicType.getTVoid() , -1, false);
def(_iastore , "iastore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_lastore , "lastore" , "b" , null , BasicType.getTVoid() , -4, true );
def(_fastore , "fastore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_dastore , "dastore" , "b" , null , BasicType.getTVoid() , -4, true );
def(_aastore , "aastore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_bastore , "bastore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_castore , "castore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_sastore , "sastore" , "b" , null , BasicType.getTVoid() , -3, true );
def(_pop , "pop" , "b" , null , BasicType.getTVoid() , -1, false);
def(_pop2 , "pop2" , "b" , null , BasicType.getTVoid() , -2, false);
def(_dup , "dup" , "b" , null , BasicType.getTVoid() , 1, false);
def(_dup_x1 , "dup_x1" , "b" , null , BasicType.getTVoid() , 1, false);
def(_dup_x2 , "dup_x2" , "b" , null , BasicType.getTVoid() , 1, false);
def(_dup2 , "dup2" , "b" , null , BasicType.getTVoid() , 2, false);
def(_dup2_x1 , "dup2_x1" , "b" , null , BasicType.getTVoid() , 2, false);
def(_dup2_x2 , "dup2_x2" , "b" , null , BasicType.getTVoid() , 2, false);
def(_swap , "swap" , "b" , null , BasicType.getTVoid() , 0, false);
def(_iadd , "iadd" , "b" , null , BasicType.getTInt() , -1, false);
def(_ladd , "ladd" , "b" , null , BasicType.getTLong() , -2, false);
def(_fadd , "fadd" , "b" , null , BasicType.getTFloat() , -1, false);
def(_dadd , "dadd" , "b" , null , BasicType.getTDouble() , -2, false);
def(_isub , "isub" , "b" , null , BasicType.getTInt() , -1, false);
def(_lsub , "lsub" , "b" , null , BasicType.getTLong() , -2, false);
def(_fsub , "fsub" , "b" , null , BasicType.getTFloat() , -1, false);
def(_dsub , "dsub" , "b" , null , BasicType.getTDouble() , -2, false);
def(_imul , "imul" , "b" , null , BasicType.getTInt() , -1, false);
def(_lmul , "lmul" , "b" , null , BasicType.getTLong() , -2, false);
def(_fmul , "fmul" , "b" , null , BasicType.getTFloat() , -1, false);
def(_dmul , "dmul" , "b" , null , BasicType.getTDouble() , -2, false);
def(_idiv , "idiv" , "b" , null , BasicType.getTInt() , -1, true );
def(_ldiv , "ldiv" , "b" , null , BasicType.getTLong() , -2, true );
def(_fdiv , "fdiv" , "b" , null , BasicType.getTFloat() , -1, false);
def(_ddiv , "ddiv" , "b" , null , BasicType.getTDouble() , -2, false);
def(_irem , "irem" , "b" , null , BasicType.getTInt() , -1, true );
def(_lrem , "lrem" , "b" , null , BasicType.getTLong() , -2, true );
def(_frem , "frem" , "b" , null , BasicType.getTFloat() , -1, false);
def(_drem , "drem" , "b" , null , BasicType.getTDouble() , -2, false);
def(_ineg , "ineg" , "b" , null , BasicType.getTInt() , 0, false);
def(_lneg , "lneg" , "b" , null , BasicType.getTLong() , 0, false);
def(_fneg , "fneg" , "b" , null , BasicType.getTFloat() , 0, false);
def(_dneg , "dneg" , "b" , null , BasicType.getTDouble() , 0, false);
def(_ishl , "ishl" , "b" , null , BasicType.getTInt() , -1, false);
def(_lshl , "lshl" , "b" , null , BasicType.getTLong() , -1, false);
def(_ishr , "ishr" , "b" , null , BasicType.getTInt() , -1, false);
def(_lshr , "lshr" , "b" , null , BasicType.getTLong() , -1, false);
def(_iushr , "iushr" , "b" , null , BasicType.getTInt() , -1, false);
def(_lushr , "lushr" , "b" , null , BasicType.getTLong() , -1, false);
def(_iand , "iand" , "b" , null , BasicType.getTInt() , -1, false);
def(_land , "land" , "b" , null , BasicType.getTLong() , -2, false);
def(_ior , "ior" , "b" , null , BasicType.getTInt() , -1, false);
def(_lor , "lor" , "b" , null , BasicType.getTLong() , -2, false);
def(_ixor , "ixor" , "b" , null , BasicType.getTInt() , -1, false);
def(_lxor , "lxor" , "b" , null , BasicType.getTLong() , -2, false);
def(_iinc , "iinc" , "bic" , "wbiicc", BasicType.getTVoid() , 0, false);
def(_i2l , "i2l" , "b" , null , BasicType.getTLong() , 1, false);
def(_i2f , "i2f" , "b" , null , BasicType.getTFloat() , 0, false);
def(_i2d , "i2d" , "b" , null , BasicType.getTDouble() , 1, false);
def(_l2i , "l2i" , "b" , null , BasicType.getTInt() , -1, false);
def(_l2f , "l2f" , "b" , null , BasicType.getTFloat() , -1, false);
def(_l2d , "l2d" , "b" , null , BasicType.getTDouble() , 0, false);
def(_f2i , "f2i" , "b" , null , BasicType.getTInt() , 0, false);
def(_f2l , "f2l" , "b" , null , BasicType.getTLong() , 1, false);
def(_f2d , "f2d" , "b" , null , BasicType.getTDouble() , 1, false);
def(_d2i , "d2i" , "b" , null , BasicType.getTInt() , -1, false);
def(_d2l , "d2l" , "b" , null , BasicType.getTLong() , 0, false);
def(_d2f , "d2f" , "b" , null , BasicType.getTFloat() , -1, false);
def(_i2b , "i2b" , "b" , null , BasicType.getTByte() , 0, false);
def(_i2c , "i2c" , "b" , null , BasicType.getTChar() , 0, false);
def(_i2s , "i2s" , "b" , null , BasicType.getTShort() , 0, false);
def(_lcmp , "lcmp" , "b" , null , BasicType.getTVoid() , -3, false);
def(_fcmpl , "fcmpl" , "b" , null , BasicType.getTVoid() , -1, false);
def(_fcmpg , "fcmpg" , "b" , null , BasicType.getTVoid() , -1, false);
def(_dcmpl , "dcmpl" , "b" , null , BasicType.getTVoid() , -3, false);
def(_dcmpg , "dcmpg" , "b" , null , BasicType.getTVoid() , -3, false);
def(_ifeq , "ifeq" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_ifne , "ifne" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_iflt , "iflt" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_ifge , "ifge" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_ifgt , "ifgt" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_ifle , "ifle" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_if_icmpeq , "if_icmpeq" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_icmpne , "if_icmpne" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_icmplt , "if_icmplt" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_icmpge , "if_icmpge" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_icmpgt , "if_icmpgt" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_icmple , "if_icmple" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_acmpeq , "if_acmpeq" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_if_acmpne , "if_acmpne" , "boo" , null , BasicType.getTVoid() , -2, false);
def(_goto , "goto" , "boo" , null , BasicType.getTVoid() , 0, false);
def(_jsr , "jsr" , "boo" , null , BasicType.getTInt() , 0, false);
def(_ret , "ret" , "bi" , "wbii" , BasicType.getTVoid() , 0, false);
def(_tableswitch , "tableswitch" , "" , null , BasicType.getTVoid() , -1, false); // may have backward branches
def(_lookupswitch , "lookupswitch" , "" , null , BasicType.getTVoid() , -1, false); // rewriting in interpreter
def(_ireturn , "ireturn" , "b" , null , BasicType.getTInt() , -1, true );
def(_lreturn , "lreturn" , "b" , null , BasicType.getTLong() , -2, true );
def(_freturn , "freturn" , "b" , null , BasicType.getTFloat() , -1, true );
def(_dreturn , "dreturn" , "b" , null , BasicType.getTDouble() , -2, true );
def(_areturn , "areturn" , "b" , null , BasicType.getTObject() , -1, true );
def(_return , "return" , "b" , null , BasicType.getTVoid() , 0, true );
def(_getstatic , "getstatic" , "bJJ" , null , BasicType.getTIllegal(), 1, true );
def(_putstatic , "putstatic" , "bJJ" , null , BasicType.getTIllegal(), -1, true );
def(_getfield , "getfield" , "bJJ" , null , BasicType.getTIllegal(), 0, true );
def(_putfield , "putfield" , "bJJ" , null , BasicType.getTIllegal(), -2, true );
def(_invokevirtual , "invokevirtual" , "bJJ" , null , BasicType.getTIllegal(), -1, true );
def(_invokespecial , "invokespecial" , "bJJ" , null , BasicType.getTIllegal(), -1, true );
def(_invokestatic , "invokestatic" , "bJJ" , null , BasicType.getTIllegal(), 0, true );
def(_invokeinterface , "invokeinterface" , "bJJ__", null , BasicType.getTIllegal(), -1, true );
def(_invokedynamic , "invokedynamic" , "bJJJJ", null , BasicType.getTIllegal(), 0, true );
def(_new , "new" , "bkk" , null , BasicType.getTObject() , 1, true );
def(_newarray , "newarray" , "bc" , null , BasicType.getTObject() , 0, true );
def(_anewarray , "anewarray" , "bkk" , null , BasicType.getTObject() , 0, true );
def(_arraylength , "arraylength" , "b" , null , BasicType.getTVoid() , 0, true );
def(_athrow , "athrow" , "b" , null , BasicType.getTVoid() , -1, true );
def(_checkcast , "checkcast" , "bkk" , null , BasicType.getTObject() , 0, true );
def(_instanceof , "instanceof" , "bkk" , null , BasicType.getTInt() , 0, true );
def(_monitorenter , "monitorenter" , "b" , null , BasicType.getTVoid() , -1, true );
def(_monitorexit , "monitorexit" , "b" , null , BasicType.getTVoid() , -1, true );
def(_wide , "wide" , "" , null , BasicType.getTVoid() , 0, false);
def(_multianewarray , "multianewarray" , "bkkc" , null , BasicType.getTObject() , 1, true );
def(_ifnull , "ifnull" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_ifnonnull , "ifnonnull" , "boo" , null , BasicType.getTVoid() , -1, false);
def(_goto_w , "goto_w" , "boooo", null , BasicType.getTVoid() , 0, false);
def(_jsr_w , "jsr_w" , "boooo", null , BasicType.getTInt() , 0, false);
def(_breakpoint , "breakpoint" , "" , null , BasicType.getTVoid() , 0, true );
// JVM bytecodes
// bytecode bytecode name format wide f. result tp stk traps std code
def(_fast_agetfield , "fast_agetfield" , "bJJ" , null , BasicType.getTObject() , 0, true , _getfield );
def(_fast_bgetfield , "fast_bgetfield" , "bJJ" , null , BasicType.getTInt() , 0, true , _getfield );
def(_fast_cgetfield , "fast_cgetfield" , "bJJ" , null , BasicType.getTChar() , 0, true , _getfield );
def(_fast_dgetfield , "fast_dgetfield" , "bJJ" , null , BasicType.getTDouble() , 0, true , _getfield );
def(_fast_fgetfield , "fast_fgetfield" , "bJJ" , null , BasicType.getTFloat() , 0, true , _getfield );
def(_fast_igetfield , "fast_igetfield" , "bJJ" , null , BasicType.getTInt() , 0, true , _getfield );
def(_fast_lgetfield , "fast_lgetfield" , "bJJ" , null , BasicType.getTLong() , 0, true , _getfield );
def(_fast_sgetfield , "fast_sgetfield" , "bJJ" , null , BasicType.getTShort() , 0, true , _getfield );
def(_fast_aputfield , "fast_aputfield" , "bJJ" , null , BasicType.getTObject() , 0, true , _putfield );
def(_fast_bputfield , "fast_bputfield" , "bJJ" , null , BasicType.getTInt() , 0, true , _putfield );
def(_fast_zputfield , "fast_zputfield" , "bJJ" , null , BasicType.getTInt() , 0, true , _putfield );
def(_fast_cputfield , "fast_cputfield" , "bJJ" , null , BasicType.getTChar() , 0, true , _putfield );
def(_fast_dputfield , "fast_dputfield" , "bJJ" , null , BasicType.getTDouble() , 0, true , _putfield );
def(_fast_fputfield , "fast_fputfield" , "bJJ" , null , BasicType.getTFloat() , 0, true , _putfield );
def(_fast_iputfield , "fast_iputfield" , "bJJ" , null , BasicType.getTInt() , 0, true , _putfield );
def(_fast_lputfield , "fast_lputfield" , "bJJ" , null , BasicType.getTLong() , 0, true , _putfield );
def(_fast_sputfield , "fast_sputfield" , "bJJ" , null , BasicType.getTShort() , 0, true , _putfield );
def(_fast_aload_0 , "fast_aload_0" , "b" , null , BasicType.getTObject() , 1, true , _aload_0 );
def(_fast_iaccess_0 , "fast_iaccess_0" , "b_JJ" , null , BasicType.getTInt() , 1, true , _aload_0 );
def(_fast_aaccess_0 , "fast_aaccess_0" , "b_JJ" , null , BasicType.getTObject() , 1, true , _aload_0 );
def(_fast_faccess_0 , "fast_faccess_0" , "b_JJ" , null , BasicType.getTObject() , 1, true , _aload_0 );
def(_fast_iload , "fast_iload" , "bi" , null , BasicType.getTInt() , 1, false, _iload );
def(_fast_iload2 , "fast_iload2" , "bi_i" , null , BasicType.getTInt() , 2, false, _iload );
def(_fast_icaload , "fast_icaload" , "bi_" , null , BasicType.getTInt() , 0, false, _iload );
// Faster method invocation.
def(_fast_invokevfinal , "fast_invokevfinal" , "bJJ" , null , BasicType.getTIllegal(), -1, true, _invokevirtual );
def(_fast_linearswitch , "fast_linearswitch" , "" , null , BasicType.getTVoid() , -1, false, _lookupswitch );
def(_fast_binaryswitch , "fast_binaryswitch" , "" , null , BasicType.getTVoid() , -1, false, _lookupswitch );
def(_fast_aldc , "fast_aldc" , "bj" , null , BasicType.getTObject(), 1, true, _ldc );
def(_fast_aldc_w , "fast_aldc_w" , "bJJ" , null , BasicType.getTObject(), 1, true, _ldc_w );
def(_return_register_finalizer, "return_register_finalizer", "b" , null , BasicType.getTVoid() , 0, true, _return );
// special handling of signature-polymorphic methods
def(_invokehandle , "invokehandle" , "bJJ" , null , BasicType.getTIllegal(), -1, true, _invokevirtual );
// CDS specific. Bytecodes rewritten at CDS dump time
def(_nofast_getfield , "_nofast_getfield" , "bJJ" , null , BasicType.getTIllegal() , 0, true, _getfield );
def(_nofast_putfield , "_nofast_putfield" , "bJJ" , null , BasicType.getTIllegal() ,-2, true, _putfield );
def(_nofast_aload_0 , "_nofast_aload_0" , "b" , null , BasicType.getTIllegal() , 1, true, _aload_0 );
def(_nofast_iload , "_nofast_iload" , "bi" , null , BasicType.getTIllegal() , 1, false, _iload );
def(_shouldnotreachhere , "_shouldnotreachhere" , "b" , null , BasicType.getTVoid() , 0, false);
if (Assert.ASSERTS_ENABLED) {
// compare can_trap information for each bytecode with the
// can_trap information for the corresponding base bytecode
// (if a rewritten bytecode can trap, so must the base bytecode)
for (int i = 0; i < number_of_codes; i++) {
if (isDefined(i)) {
int j = javaCode(i);
if (canTrap(i) && !canTrap(j)) {
Assert.that(false, name(i) + " can trap => " + name(j) + " can trap, too");
}
}
}
}
}
private static void def(int code, String name, String format, String wide_format, int result_type, int depth, boolean can_trap) {
def(code, name, format, wide_format, result_type, depth, can_trap, code);
}
private static void def(int code, String name, String format, String wide_format, int result_type, int depth, boolean can_trap, int java_code) {
if (Assert.ASSERTS_ENABLED) {
Assert.that(wide_format == null || format != null, "short form must exist if there's a wide form");
}
int len = (format != null ? format.length() : 0);
int wlen = (wide_format != null ? wide_format.length() : 0);
_name [code] = name;
_result_type [code] = result_type;
_depth [code] = (byte) depth;
_lengths [code] = (byte)((wlen << 4) | (len & 0xF));
_java_code [code] = java_code;
_format [code] = format;
_wide_format [code] = wide_format;
int bc_flags = 0;
if (can_trap) bc_flags |= _bc_can_trap;
if (java_code != code) bc_flags |= _bc_can_rewrite;
_flags[code+0*256] = compute_flags(format, bc_flags);
_flags[code+1*256] = compute_flags(wide_format, bc_flags);
}
}