1
|
1 |
/*
|
|
2 |
* Copyright 1997-2005 Sun Microsystems, Inc. All Rights Reserved.
|
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
|
4 |
*
|
|
5 |
* This code is free software; you can redistribute it and/or modify it
|
|
6 |
* under the terms of the GNU General Public License version 2 only, as
|
|
7 |
* published by the Free Software Foundation.
|
|
8 |
*
|
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT
|
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that
|
|
13 |
* accompanied this code).
|
|
14 |
*
|
|
15 |
* You should have received a copy of the GNU General Public License version
|
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation,
|
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
18 |
*
|
|
19 |
* Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
|
|
20 |
* CA 95054 USA or visit www.sun.com if you need additional information or
|
|
21 |
* have any questions.
|
|
22 |
*
|
|
23 |
*/
|
|
24 |
|
|
25 |
// Bytecodes specifies all bytecodes used in the VM and
|
|
26 |
// provides utility functions to get bytecode attributes.
|
|
27 |
|
|
28 |
// NOTE: replicated in SA in vm/agent/sun/jvm/hotspot/interpreter/Bytecodes.java
|
|
29 |
class Bytecodes: AllStatic {
|
|
30 |
public:
|
|
31 |
enum Code {
|
|
32 |
_illegal = -1,
|
|
33 |
|
|
34 |
// Java bytecodes
|
|
35 |
_nop = 0, // 0x00
|
|
36 |
_aconst_null = 1, // 0x01
|
|
37 |
_iconst_m1 = 2, // 0x02
|
|
38 |
_iconst_0 = 3, // 0x03
|
|
39 |
_iconst_1 = 4, // 0x04
|
|
40 |
_iconst_2 = 5, // 0x05
|
|
41 |
_iconst_3 = 6, // 0x06
|
|
42 |
_iconst_4 = 7, // 0x07
|
|
43 |
_iconst_5 = 8, // 0x08
|
|
44 |
_lconst_0 = 9, // 0x09
|
|
45 |
_lconst_1 = 10, // 0x0a
|
|
46 |
_fconst_0 = 11, // 0x0b
|
|
47 |
_fconst_1 = 12, // 0x0c
|
|
48 |
_fconst_2 = 13, // 0x0d
|
|
49 |
_dconst_0 = 14, // 0x0e
|
|
50 |
_dconst_1 = 15, // 0x0f
|
|
51 |
_bipush = 16, // 0x10
|
|
52 |
_sipush = 17, // 0x11
|
|
53 |
_ldc = 18, // 0x12
|
|
54 |
_ldc_w = 19, // 0x13
|
|
55 |
_ldc2_w = 20, // 0x14
|
|
56 |
_iload = 21, // 0x15
|
|
57 |
_lload = 22, // 0x16
|
|
58 |
_fload = 23, // 0x17
|
|
59 |
_dload = 24, // 0x18
|
|
60 |
_aload = 25, // 0x19
|
|
61 |
_iload_0 = 26, // 0x1a
|
|
62 |
_iload_1 = 27, // 0x1b
|
|
63 |
_iload_2 = 28, // 0x1c
|
|
64 |
_iload_3 = 29, // 0x1d
|
|
65 |
_lload_0 = 30, // 0x1e
|
|
66 |
_lload_1 = 31, // 0x1f
|
|
67 |
_lload_2 = 32, // 0x20
|
|
68 |
_lload_3 = 33, // 0x21
|
|
69 |
_fload_0 = 34, // 0x22
|
|
70 |
_fload_1 = 35, // 0x23
|
|
71 |
_fload_2 = 36, // 0x24
|
|
72 |
_fload_3 = 37, // 0x25
|
|
73 |
_dload_0 = 38, // 0x26
|
|
74 |
_dload_1 = 39, // 0x27
|
|
75 |
_dload_2 = 40, // 0x28
|
|
76 |
_dload_3 = 41, // 0x29
|
|
77 |
_aload_0 = 42, // 0x2a
|
|
78 |
_aload_1 = 43, // 0x2b
|
|
79 |
_aload_2 = 44, // 0x2c
|
|
80 |
_aload_3 = 45, // 0x2d
|
|
81 |
_iaload = 46, // 0x2e
|
|
82 |
_laload = 47, // 0x2f
|
|
83 |
_faload = 48, // 0x30
|
|
84 |
_daload = 49, // 0x31
|
|
85 |
_aaload = 50, // 0x32
|
|
86 |
_baload = 51, // 0x33
|
|
87 |
_caload = 52, // 0x34
|
|
88 |
_saload = 53, // 0x35
|
|
89 |
_istore = 54, // 0x36
|
|
90 |
_lstore = 55, // 0x37
|
|
91 |
_fstore = 56, // 0x38
|
|
92 |
_dstore = 57, // 0x39
|
|
93 |
_astore = 58, // 0x3a
|
|
94 |
_istore_0 = 59, // 0x3b
|
|
95 |
_istore_1 = 60, // 0x3c
|
|
96 |
_istore_2 = 61, // 0x3d
|
|
97 |
_istore_3 = 62, // 0x3e
|
|
98 |
_lstore_0 = 63, // 0x3f
|
|
99 |
_lstore_1 = 64, // 0x40
|
|
100 |
_lstore_2 = 65, // 0x41
|
|
101 |
_lstore_3 = 66, // 0x42
|
|
102 |
_fstore_0 = 67, // 0x43
|
|
103 |
_fstore_1 = 68, // 0x44
|
|
104 |
_fstore_2 = 69, // 0x45
|
|
105 |
_fstore_3 = 70, // 0x46
|
|
106 |
_dstore_0 = 71, // 0x47
|
|
107 |
_dstore_1 = 72, // 0x48
|
|
108 |
_dstore_2 = 73, // 0x49
|
|
109 |
_dstore_3 = 74, // 0x4a
|
|
110 |
_astore_0 = 75, // 0x4b
|
|
111 |
_astore_1 = 76, // 0x4c
|
|
112 |
_astore_2 = 77, // 0x4d
|
|
113 |
_astore_3 = 78, // 0x4e
|
|
114 |
_iastore = 79, // 0x4f
|
|
115 |
_lastore = 80, // 0x50
|
|
116 |
_fastore = 81, // 0x51
|
|
117 |
_dastore = 82, // 0x52
|
|
118 |
_aastore = 83, // 0x53
|
|
119 |
_bastore = 84, // 0x54
|
|
120 |
_castore = 85, // 0x55
|
|
121 |
_sastore = 86, // 0x56
|
|
122 |
_pop = 87, // 0x57
|
|
123 |
_pop2 = 88, // 0x58
|
|
124 |
_dup = 89, // 0x59
|
|
125 |
_dup_x1 = 90, // 0x5a
|
|
126 |
_dup_x2 = 91, // 0x5b
|
|
127 |
_dup2 = 92, // 0x5c
|
|
128 |
_dup2_x1 = 93, // 0x5d
|
|
129 |
_dup2_x2 = 94, // 0x5e
|
|
130 |
_swap = 95, // 0x5f
|
|
131 |
_iadd = 96, // 0x60
|
|
132 |
_ladd = 97, // 0x61
|
|
133 |
_fadd = 98, // 0x62
|
|
134 |
_dadd = 99, // 0x63
|
|
135 |
_isub = 100, // 0x64
|
|
136 |
_lsub = 101, // 0x65
|
|
137 |
_fsub = 102, // 0x66
|
|
138 |
_dsub = 103, // 0x67
|
|
139 |
_imul = 104, // 0x68
|
|
140 |
_lmul = 105, // 0x69
|
|
141 |
_fmul = 106, // 0x6a
|
|
142 |
_dmul = 107, // 0x6b
|
|
143 |
_idiv = 108, // 0x6c
|
|
144 |
_ldiv = 109, // 0x6d
|
|
145 |
_fdiv = 110, // 0x6e
|
|
146 |
_ddiv = 111, // 0x6f
|
|
147 |
_irem = 112, // 0x70
|
|
148 |
_lrem = 113, // 0x71
|
|
149 |
_frem = 114, // 0x72
|
|
150 |
_drem = 115, // 0x73
|
|
151 |
_ineg = 116, // 0x74
|
|
152 |
_lneg = 117, // 0x75
|
|
153 |
_fneg = 118, // 0x76
|
|
154 |
_dneg = 119, // 0x77
|
|
155 |
_ishl = 120, // 0x78
|
|
156 |
_lshl = 121, // 0x79
|
|
157 |
_ishr = 122, // 0x7a
|
|
158 |
_lshr = 123, // 0x7b
|
|
159 |
_iushr = 124, // 0x7c
|
|
160 |
_lushr = 125, // 0x7d
|
|
161 |
_iand = 126, // 0x7e
|
|
162 |
_land = 127, // 0x7f
|
|
163 |
_ior = 128, // 0x80
|
|
164 |
_lor = 129, // 0x81
|
|
165 |
_ixor = 130, // 0x82
|
|
166 |
_lxor = 131, // 0x83
|
|
167 |
_iinc = 132, // 0x84
|
|
168 |
_i2l = 133, // 0x85
|
|
169 |
_i2f = 134, // 0x86
|
|
170 |
_i2d = 135, // 0x87
|
|
171 |
_l2i = 136, // 0x88
|
|
172 |
_l2f = 137, // 0x89
|
|
173 |
_l2d = 138, // 0x8a
|
|
174 |
_f2i = 139, // 0x8b
|
|
175 |
_f2l = 140, // 0x8c
|
|
176 |
_f2d = 141, // 0x8d
|
|
177 |
_d2i = 142, // 0x8e
|
|
178 |
_d2l = 143, // 0x8f
|
|
179 |
_d2f = 144, // 0x90
|
|
180 |
_i2b = 145, // 0x91
|
|
181 |
_i2c = 146, // 0x92
|
|
182 |
_i2s = 147, // 0x93
|
|
183 |
_lcmp = 148, // 0x94
|
|
184 |
_fcmpl = 149, // 0x95
|
|
185 |
_fcmpg = 150, // 0x96
|
|
186 |
_dcmpl = 151, // 0x97
|
|
187 |
_dcmpg = 152, // 0x98
|
|
188 |
_ifeq = 153, // 0x99
|
|
189 |
_ifne = 154, // 0x9a
|
|
190 |
_iflt = 155, // 0x9b
|
|
191 |
_ifge = 156, // 0x9c
|
|
192 |
_ifgt = 157, // 0x9d
|
|
193 |
_ifle = 158, // 0x9e
|
|
194 |
_if_icmpeq = 159, // 0x9f
|
|
195 |
_if_icmpne = 160, // 0xa0
|
|
196 |
_if_icmplt = 161, // 0xa1
|
|
197 |
_if_icmpge = 162, // 0xa2
|
|
198 |
_if_icmpgt = 163, // 0xa3
|
|
199 |
_if_icmple = 164, // 0xa4
|
|
200 |
_if_acmpeq = 165, // 0xa5
|
|
201 |
_if_acmpne = 166, // 0xa6
|
|
202 |
_goto = 167, // 0xa7
|
|
203 |
_jsr = 168, // 0xa8
|
|
204 |
_ret = 169, // 0xa9
|
|
205 |
_tableswitch = 170, // 0xaa
|
|
206 |
_lookupswitch = 171, // 0xab
|
|
207 |
_ireturn = 172, // 0xac
|
|
208 |
_lreturn = 173, // 0xad
|
|
209 |
_freturn = 174, // 0xae
|
|
210 |
_dreturn = 175, // 0xaf
|
|
211 |
_areturn = 176, // 0xb0
|
|
212 |
_return = 177, // 0xb1
|
|
213 |
_getstatic = 178, // 0xb2
|
|
214 |
_putstatic = 179, // 0xb3
|
|
215 |
_getfield = 180, // 0xb4
|
|
216 |
_putfield = 181, // 0xb5
|
|
217 |
_invokevirtual = 182, // 0xb6
|
|
218 |
_invokespecial = 183, // 0xb7
|
|
219 |
_invokestatic = 184, // 0xb8
|
|
220 |
_invokeinterface = 185, // 0xb9
|
|
221 |
_xxxunusedxxx = 186, // 0xba
|
|
222 |
_new = 187, // 0xbb
|
|
223 |
_newarray = 188, // 0xbc
|
|
224 |
_anewarray = 189, // 0xbd
|
|
225 |
_arraylength = 190, // 0xbe
|
|
226 |
_athrow = 191, // 0xbf
|
|
227 |
_checkcast = 192, // 0xc0
|
|
228 |
_instanceof = 193, // 0xc1
|
|
229 |
_monitorenter = 194, // 0xc2
|
|
230 |
_monitorexit = 195, // 0xc3
|
|
231 |
_wide = 196, // 0xc4
|
|
232 |
_multianewarray = 197, // 0xc5
|
|
233 |
_ifnull = 198, // 0xc6
|
|
234 |
_ifnonnull = 199, // 0xc7
|
|
235 |
_goto_w = 200, // 0xc8
|
|
236 |
_jsr_w = 201, // 0xc9
|
|
237 |
_breakpoint = 202, // 0xca
|
|
238 |
|
|
239 |
number_of_java_codes,
|
|
240 |
|
|
241 |
// JVM bytecodes
|
|
242 |
_fast_agetfield = number_of_java_codes,
|
|
243 |
_fast_bgetfield ,
|
|
244 |
_fast_cgetfield ,
|
|
245 |
_fast_dgetfield ,
|
|
246 |
_fast_fgetfield ,
|
|
247 |
_fast_igetfield ,
|
|
248 |
_fast_lgetfield ,
|
|
249 |
_fast_sgetfield ,
|
|
250 |
|
|
251 |
_fast_aputfield ,
|
|
252 |
_fast_bputfield ,
|
|
253 |
_fast_cputfield ,
|
|
254 |
_fast_dputfield ,
|
|
255 |
_fast_fputfield ,
|
|
256 |
_fast_iputfield ,
|
|
257 |
_fast_lputfield ,
|
|
258 |
_fast_sputfield ,
|
|
259 |
|
|
260 |
_fast_aload_0 ,
|
|
261 |
_fast_iaccess_0 ,
|
|
262 |
_fast_aaccess_0 ,
|
|
263 |
_fast_faccess_0 ,
|
|
264 |
|
|
265 |
_fast_iload ,
|
|
266 |
_fast_iload2 ,
|
|
267 |
_fast_icaload ,
|
|
268 |
|
|
269 |
_fast_invokevfinal ,
|
|
270 |
_fast_linearswitch ,
|
|
271 |
_fast_binaryswitch ,
|
|
272 |
|
|
273 |
_return_register_finalizer ,
|
|
274 |
|
|
275 |
_shouldnotreachhere, // For debugging
|
|
276 |
|
|
277 |
// Platform specific JVM bytecodes
|
|
278 |
#include "incls/_bytecodes_pd.hpp.incl"
|
|
279 |
|
|
280 |
number_of_codes
|
|
281 |
};
|
|
282 |
|
|
283 |
private:
|
|
284 |
static bool _is_initialized;
|
|
285 |
static const char* _name [number_of_codes];
|
|
286 |
static const char* _format [number_of_codes];
|
|
287 |
static const char* _wide_format [number_of_codes];
|
|
288 |
static BasicType _result_type [number_of_codes];
|
|
289 |
static s_char _depth [number_of_codes];
|
|
290 |
static u_char _length [number_of_codes];
|
|
291 |
static bool _can_trap [number_of_codes];
|
|
292 |
static Code _java_code [number_of_codes];
|
|
293 |
static bool _can_rewrite [number_of_codes];
|
|
294 |
|
|
295 |
static void def(Code code, const char* name, const char* format, const char* wide_format, BasicType result_type, int depth, bool can_trap);
|
|
296 |
static void def(Code code, const char* name, const char* format, const char* wide_format, BasicType result_type, int depth, bool can_trap, Code java_code);
|
|
297 |
static void pd_initialize(); // platform specific initialization
|
|
298 |
static Code pd_base_code_for(Code code); // platform specific base_code_for implementation
|
|
299 |
|
|
300 |
public:
|
|
301 |
// Conversion
|
|
302 |
static void check (Code code) { assert(is_defined(code), "illegal code"); }
|
|
303 |
static void wide_check (Code code) { assert(wide_is_defined(code), "illegal code"); }
|
|
304 |
static Code cast (int code) { return (Code)code; }
|
|
305 |
|
|
306 |
|
|
307 |
// Fetch a bytecode, hiding breakpoints as necessary:
|
|
308 |
static Code code_at(address bcp, methodOop method = NULL) {
|
|
309 |
Code code = cast(*bcp); return (code != _breakpoint) ? code : non_breakpoint_code_at(bcp, method);
|
|
310 |
}
|
|
311 |
static Code java_code_at(address bcp, methodOop method = NULL) {
|
|
312 |
return java_code(code_at(bcp, method));
|
|
313 |
}
|
|
314 |
|
|
315 |
// Fetch a bytecode or a breakpoint:
|
|
316 |
static Code code_or_bp_at(address bcp) { return (Code)cast(*bcp); }
|
|
317 |
|
|
318 |
static Code code_at(methodOop method, int bci);
|
|
319 |
static bool is_active_breakpoint_at(address bcp) { return (Code)*bcp == _breakpoint; }
|
|
320 |
|
|
321 |
// find a bytecode, behind a breakpoint if necessary:
|
|
322 |
static Code non_breakpoint_code_at(address bcp, methodOop method = NULL);
|
|
323 |
|
|
324 |
// Bytecode attributes
|
|
325 |
static bool is_defined (int code) { return 0 <= code && code < number_of_codes && _format[code] != NULL; }
|
|
326 |
static bool wide_is_defined(int code) { return is_defined(code) && _wide_format[code] != NULL; }
|
|
327 |
static const char* name (Code code) { check(code); return _name [code]; }
|
|
328 |
static const char* format (Code code) { check(code); return _format [code]; }
|
|
329 |
static const char* wide_format (Code code) { return _wide_format[code]; }
|
|
330 |
static BasicType result_type (Code code) { check(code); return _result_type [code]; }
|
|
331 |
static int depth (Code code) { check(code); return _depth [code]; }
|
|
332 |
static int length_for (Code code) { return _length[code]; }
|
|
333 |
static bool can_trap (Code code) { check(code); return _can_trap [code]; }
|
|
334 |
static Code java_code (Code code) { check(code); return _java_code [code]; }
|
|
335 |
static bool can_rewrite (Code code) { check(code); return _can_rewrite [code]; }
|
|
336 |
static int wide_length_for(Code code) {
|
|
337 |
if (!is_defined(code)) {
|
|
338 |
return 0;
|
|
339 |
}
|
|
340 |
const char* wf = wide_format(code);
|
|
341 |
return (wf == NULL) ? 0 : (int)strlen(wf);
|
|
342 |
}
|
|
343 |
static int special_length_at(address bcp);
|
|
344 |
static int raw_special_length_at(address bcp);
|
|
345 |
static int length_at (address bcp) { int l = length_for(code_at(bcp)); return l > 0 ? l : special_length_at(bcp); }
|
|
346 |
static int java_length_at (address bcp) { int l = length_for(java_code_at(bcp)); return l > 0 ? l : special_length_at(bcp); }
|
|
347 |
static bool is_java_code (Code code) { return 0 <= code && code < number_of_java_codes; }
|
|
348 |
|
|
349 |
static bool is_aload (Code code) { return (code == _aload || code == _aload_0 || code == _aload_1
|
|
350 |
|| code == _aload_2 || code == _aload_3); }
|
|
351 |
static bool is_astore (Code code) { return (code == _astore || code == _astore_0 || code == _astore_1
|
|
352 |
|| code == _astore_2 || code == _astore_3); }
|
|
353 |
|
|
354 |
static bool is_zero_const (Code code) { return (code == _aconst_null || code == _iconst_0
|
|
355 |
|| code == _fconst_0 || code == _dconst_0); }
|
|
356 |
// Initialization
|
|
357 |
static void initialize ();
|
|
358 |
};
|