Mercurial > jdk8-mips64-public > hotspot / file revision
src/share/vm/interpreter/bytecodeInterpreter.hpp@126ea7725993
src/share/vm/interpreter/bytecodeInterpreter.hpp
Tue, 03 Aug 2010 08:13:38 -0400
- author
- bobv
- date
- Tue, 03 Aug 2010 08:13:38 -0400
- changeset 2036
- 126ea7725993
- parent 1907
- c18cbe5936b8
- child 2314
- f95d63e2154a
- permissions
- -rw-r--r--
6953477: Increase portability and flexibility of building Hotspot
Summary: A collection of portability improvements including shared code support for PPC, ARM platforms, software floating point, cross compilation support and improvements in error crash detail.
Reviewed-by: phh, never, coleenp, dholmes
1 /*
2 * Copyright (c) 2002, 2010, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #ifdef CC_INTERP
27 // CVM definitions find hotspot equivalents...
29 union VMJavaVal64 {
30 jlong l;
31 jdouble d;
32 uint32_t v[2];
33 };
36 typedef class BytecodeInterpreter* interpreterState;
38 struct call_message {
39 class methodOopDesc* _callee; /* method to call during call_method request */
40 address _callee_entry_point; /* address to jump to for call_method request */
41 int _bcp_advance; /* size of the invoke bytecode operation */
42 };
44 struct osr_message {
45 address _osr_buf; /* the osr buffer */
46 address _osr_entry; /* the entry to the osr method */
47 };
49 struct osr_result {
50 nmethod* nm; /* osr nmethod */
51 address return_addr; /* osr blob return address */
52 };
54 // Result returned to frame manager
55 union frame_manager_message {
56 call_message _to_call; /* describes callee */
57 Bytecodes::Code _return_kind; /* i_return, a_return, ... */
58 osr_message _osr; /* describes the osr */
59 osr_result _osr_result; /* result of OSR request */
60 };
62 class BytecodeInterpreter : StackObj {
63 friend class SharedRuntime;
64 friend class AbstractInterpreterGenerator;
65 friend class CppInterpreterGenerator;
66 friend class InterpreterGenerator;
67 friend class InterpreterMacroAssembler;
68 friend class frame;
69 friend class VMStructs;
71 public:
72 enum messages {
73 no_request = 0, // unused
74 initialize, // Perform one time interpreter initializations (assumes all switches set)
75 // status message to C++ interpreter
76 method_entry, // initial method entry to interpreter
77 method_resume, // frame manager response to return_from_method request (assuming a frame to resume)
78 deopt_resume, // returning from a native call into a deopted frame
79 deopt_resume2, // deopt resume as a result of a PopFrame
80 got_monitors, // frame manager response to more_monitors request
81 rethrow_exception, // unwinding and throwing exception
82 // requests to frame manager from C++ interpreter
83 call_method, // request for new frame from interpreter, manager responds with method_entry
84 return_from_method, // request from interpreter to unwind, manager responds with method_continue
85 more_monitors, // need a new monitor
86 throwing_exception, // unwind stack and rethrow
87 popping_frame, // unwind call and retry call
88 do_osr // request this invocation be OSR's
89 };
91 private:
92 JavaThread* _thread; // the vm's java thread pointer
93 address _bcp; // instruction pointer
94 intptr_t* _locals; // local variable pointer
95 constantPoolCacheOop _constants; // constant pool cache
96 methodOop _method; // method being executed
97 DataLayout* _mdx; // compiler profiling data for current bytecode
98 intptr_t* _stack; // expression stack
99 messages _msg; // frame manager <-> interpreter message
100 frame_manager_message _result; // result to frame manager
101 interpreterState _prev_link; // previous interpreter state
102 oop _oop_temp; // mirror for interpreted native, null otherwise
103 intptr_t* _stack_base; // base of expression stack
104 intptr_t* _stack_limit; // limit of expression stack
105 BasicObjectLock* _monitor_base; // base of monitors on the native stack
108 public:
109 // Constructor is only used by the initialization step. All other instances are created
110 // by the frame manager.
111 BytecodeInterpreter(messages msg);
113 //
114 // Deoptimization support
115 //
116 static void layout_interpreterState(interpreterState to_fill,
117 frame* caller,
118 frame* interpreter_frame,
119 methodOop method,
120 intptr_t* locals,
121 intptr_t* stack,
122 intptr_t* stack_base,
123 intptr_t* monitor_base,
124 intptr_t* frame_bottom,
125 bool top_frame);
127 /*
128 * Generic 32-bit wide "Java slot" definition. This type occurs
129 * in operand stacks, Java locals, object fields, constant pools.
130 */
131 union VMJavaVal32 {
132 jint i;
133 jfloat f;
134 class oopDesc* r;
135 uint32_t raw;
136 };
138 /*
139 * Generic 64-bit Java value definition
140 */
141 union VMJavaVal64 {
142 jlong l;
143 jdouble d;
144 uint32_t v[2];
145 };
147 /*
148 * Generic 32-bit wide "Java slot" definition. This type occurs
149 * in Java locals, object fields, constant pools, and
150 * operand stacks (as a CVMStackVal32).
151 */
152 typedef union VMSlotVal32 {
153 VMJavaVal32 j; /* For "Java" values */
154 address a; /* a return created by jsr or jsr_w */
155 } VMSlotVal32;
158 /*
159 * Generic 32-bit wide stack slot definition.
160 */
161 union VMStackVal32 {
162 VMJavaVal32 j; /* For "Java" values */
163 VMSlotVal32 s; /* any value from a "slot" or locals[] */
164 };
166 inline JavaThread* thread() { return _thread; }
168 inline address bcp() { return _bcp; }
169 inline void set_bcp(address new_bcp) { _bcp = new_bcp; }
171 inline intptr_t* locals() { return _locals; }
173 inline constantPoolCacheOop constants() { return _constants; }
174 inline methodOop method() { return _method; }
175 inline DataLayout* mdx() { return _mdx; }
176 inline void set_mdx(DataLayout *new_mdx) { _mdx = new_mdx; }
178 inline messages msg() { return _msg; }
179 inline void set_msg(messages new_msg) { _msg = new_msg; }
181 inline methodOop callee() { return _result._to_call._callee; }
182 inline void set_callee(methodOop new_callee) { _result._to_call._callee = new_callee; }
183 inline void set_callee_entry_point(address entry) { _result._to_call._callee_entry_point = entry; }
184 inline void set_osr_buf(address buf) { _result._osr._osr_buf = buf; }
185 inline void set_osr_entry(address entry) { _result._osr._osr_entry = entry; }
186 inline int bcp_advance() { return _result._to_call._bcp_advance; }
187 inline void set_bcp_advance(int count) { _result._to_call._bcp_advance = count; }
189 inline void set_return_kind(Bytecodes::Code kind) { _result._return_kind = kind; }
191 inline interpreterState prev() { return _prev_link; }
193 inline intptr_t* stack() { return _stack; }
194 inline void set_stack(intptr_t* new_stack) { _stack = new_stack; }
197 inline intptr_t* stack_base() { return _stack_base; }
198 inline intptr_t* stack_limit() { return _stack_limit; }
200 inline BasicObjectLock* monitor_base() { return _monitor_base; }
202 /*
203 * 64-bit Arithmetic:
204 *
205 * The functions below follow the semantics of the
206 * ladd, land, ldiv, lmul, lor, lxor, and lrem bytecodes,
207 * respectively.
208 */
210 static jlong VMlongAdd(jlong op1, jlong op2);
211 static jlong VMlongAnd(jlong op1, jlong op2);
212 static jlong VMlongDiv(jlong op1, jlong op2);
213 static jlong VMlongMul(jlong op1, jlong op2);
214 static jlong VMlongOr (jlong op1, jlong op2);
215 static jlong VMlongSub(jlong op1, jlong op2);
216 static jlong VMlongXor(jlong op1, jlong op2);
217 static jlong VMlongRem(jlong op1, jlong op2);
219 /*
220 * Shift:
221 *
222 * The functions below follow the semantics of the
223 * lushr, lshl, and lshr bytecodes, respectively.
224 */
226 static jlong VMlongUshr(jlong op1, jint op2);
227 static jlong VMlongShl (jlong op1, jint op2);
228 static jlong VMlongShr (jlong op1, jint op2);
230 /*
231 * Unary:
232 *
233 * Return the negation of "op" (-op), according to
234 * the semantics of the lneg bytecode.
235 */
237 static jlong VMlongNeg(jlong op);
239 /*
240 * Return the complement of "op" (~op)
241 */
243 static jlong VMlongNot(jlong op);
246 /*
247 * Comparisons to 0:
248 */
250 static int32_t VMlongLtz(jlong op); /* op <= 0 */
251 static int32_t VMlongGez(jlong op); /* op >= 0 */
252 static int32_t VMlongEqz(jlong op); /* op == 0 */
254 /*
255 * Between operands:
256 */
258 static int32_t VMlongEq(jlong op1, jlong op2); /* op1 == op2 */
259 static int32_t VMlongNe(jlong op1, jlong op2); /* op1 != op2 */
260 static int32_t VMlongGe(jlong op1, jlong op2); /* op1 >= op2 */
261 static int32_t VMlongLe(jlong op1, jlong op2); /* op1 <= op2 */
262 static int32_t VMlongLt(jlong op1, jlong op2); /* op1 < op2 */
263 static int32_t VMlongGt(jlong op1, jlong op2); /* op1 > op2 */
265 /*
266 * Comparisons (returning an jint value: 0, 1, or -1)
267 *
268 * Between operands:
269 *
270 * Compare "op1" and "op2" according to the semantics of the
271 * "lcmp" bytecode.
272 */
274 static int32_t VMlongCompare(jlong op1, jlong op2);
276 /*
277 * Convert int to long, according to "i2l" bytecode semantics
278 */
279 static jlong VMint2Long(jint val);
281 /*
282 * Convert long to int, according to "l2i" bytecode semantics
283 */
284 static jint VMlong2Int(jlong val);
286 /*
287 * Convert long to float, according to "l2f" bytecode semantics
288 */
289 static jfloat VMlong2Float(jlong val);
291 /*
292 * Convert long to double, according to "l2d" bytecode semantics
293 */
294 static jdouble VMlong2Double(jlong val);
296 /*
297 * Java floating-point float value manipulation.
298 *
299 * The result argument is, once again, an lvalue.
300 *
301 * Arithmetic:
302 *
303 * The functions below follow the semantics of the
304 * fadd, fsub, fmul, fdiv, and frem bytecodes,
305 * respectively.
306 */
308 static jfloat VMfloatAdd(jfloat op1, jfloat op2);
309 static jfloat VMfloatSub(jfloat op1, jfloat op2);
310 static jfloat VMfloatMul(jfloat op1, jfloat op2);
311 static jfloat VMfloatDiv(jfloat op1, jfloat op2);
312 static jfloat VMfloatRem(jfloat op1, jfloat op2);
314 /*
315 * Unary:
316 *
317 * Return the negation of "op" (-op), according to
318 * the semantics of the fneg bytecode.
319 */
321 static jfloat VMfloatNeg(jfloat op);
323 /*
324 * Comparisons (returning an int value: 0, 1, or -1)
325 *
326 * Between operands:
327 *
328 * Compare "op1" and "op2" according to the semantics of the
329 * "fcmpl" (direction is -1) or "fcmpg" (direction is 1) bytecodes.
330 */
332 static int32_t VMfloatCompare(jfloat op1, jfloat op2,
333 int32_t direction);
334 /*
335 * Conversion:
336 */
338 /*
339 * Convert float to double, according to "f2d" bytecode semantics
340 */
342 static jdouble VMfloat2Double(jfloat op);
344 /*
345 ******************************************
346 * Java double floating-point manipulation.
347 ******************************************
348 *
349 * The result argument is, once again, an lvalue.
350 *
351 * Conversions:
352 */
354 /*
355 * Convert double to int, according to "d2i" bytecode semantics
356 */
358 static jint VMdouble2Int(jdouble val);
360 /*
361 * Convert double to float, according to "d2f" bytecode semantics
362 */
364 static jfloat VMdouble2Float(jdouble val);
366 /*
367 * Convert int to double, according to "i2d" bytecode semantics
368 */
370 static jdouble VMint2Double(jint val);
372 /*
373 * Arithmetic:
374 *
375 * The functions below follow the semantics of the
376 * dadd, dsub, ddiv, dmul, and drem bytecodes, respectively.
377 */
379 static jdouble VMdoubleAdd(jdouble op1, jdouble op2);
380 static jdouble VMdoubleSub(jdouble op1, jdouble op2);
381 static jdouble VMdoubleDiv(jdouble op1, jdouble op2);
382 static jdouble VMdoubleMul(jdouble op1, jdouble op2);
383 static jdouble VMdoubleRem(jdouble op1, jdouble op2);
385 /*
386 * Unary:
387 *
388 * Return the negation of "op" (-op), according to
389 * the semantics of the dneg bytecode.
390 */
392 static jdouble VMdoubleNeg(jdouble op);
394 /*
395 * Comparisons (returning an int32_t value: 0, 1, or -1)
396 *
397 * Between operands:
398 *
399 * Compare "op1" and "op2" according to the semantics of the
400 * "dcmpl" (direction is -1) or "dcmpg" (direction is 1) bytecodes.
401 */
403 static int32_t VMdoubleCompare(jdouble op1, jdouble op2, int32_t direction);
405 /*
406 * Copy two typeless 32-bit words from one location to another.
407 * This is semantically equivalent to:
408 *
409 * to[0] = from[0];
410 * to[1] = from[1];
411 *
412 * but this interface is provided for those platforms that could
413 * optimize this into a single 64-bit transfer.
414 */
416 static void VMmemCopy64(uint32_t to[2], const uint32_t from[2]);
419 // Arithmetic operations
421 /*
422 * Java arithmetic methods.
423 * The functions below follow the semantics of the
424 * iadd, isub, imul, idiv, irem, iand, ior, ixor,
425 * and ineg bytecodes, respectively.
426 */
428 static jint VMintAdd(jint op1, jint op2);
429 static jint VMintSub(jint op1, jint op2);
430 static jint VMintMul(jint op1, jint op2);
431 static jint VMintDiv(jint op1, jint op2);
432 static jint VMintRem(jint op1, jint op2);
433 static jint VMintAnd(jint op1, jint op2);
434 static jint VMintOr (jint op1, jint op2);
435 static jint VMintXor(jint op1, jint op2);
437 /*
438 * Shift Operation:
439 * The functions below follow the semantics of the
440 * iushr, ishl, and ishr bytecodes, respectively.
441 */
443 static juint VMintUshr(jint op, jint num);
444 static jint VMintShl (jint op, jint num);
445 static jint VMintShr (jint op, jint num);
447 /*
448 * Unary Operation:
449 *
450 * Return the negation of "op" (-op), according to
451 * the semantics of the ineg bytecode.
452 */
454 static jint VMintNeg(jint op);
456 /*
457 * Int Conversions:
458 */
460 /*
461 * Convert int to float, according to "i2f" bytecode semantics
462 */
464 static jfloat VMint2Float(jint val);
466 /*
467 * Convert int to byte, according to "i2b" bytecode semantics
468 */
470 static jbyte VMint2Byte(jint val);
472 /*
473 * Convert int to char, according to "i2c" bytecode semantics
474 */
476 static jchar VMint2Char(jint val);
478 /*
479 * Convert int to short, according to "i2s" bytecode semantics
480 */
482 static jshort VMint2Short(jint val);
484 /*=========================================================================
485 * Bytecode interpreter operations
486 *=======================================================================*/
488 static void dup(intptr_t *tos);
489 static void dup2(intptr_t *tos);
490 static void dup_x1(intptr_t *tos); /* insert top word two down */
491 static void dup_x2(intptr_t *tos); /* insert top word three down */
492 static void dup2_x1(intptr_t *tos); /* insert top 2 slots three down */
493 static void dup2_x2(intptr_t *tos); /* insert top 2 slots four down */
494 static void swap(intptr_t *tos); /* swap top two elements */
496 // umm don't like this method modifies its object
498 // The Interpreter used when
499 static void run(interpreterState istate);
500 // The interpreter used if JVMTI needs interpreter events
501 static void runWithChecks(interpreterState istate);
502 static void End_Of_Interpreter(void);
504 // Inline static functions for Java Stack and Local manipulation
506 static address stack_slot(intptr_t *tos, int offset);
507 static jint stack_int(intptr_t *tos, int offset);
508 static jfloat stack_float(intptr_t *tos, int offset);
509 static oop stack_object(intptr_t *tos, int offset);
510 static jdouble stack_double(intptr_t *tos, int offset);
511 static jlong stack_long(intptr_t *tos, int offset);
513 // only used for value types
514 static void set_stack_slot(intptr_t *tos, address value, int offset);
515 static void set_stack_int(intptr_t *tos, int value, int offset);
516 static void set_stack_float(intptr_t *tos, jfloat value, int offset);
517 static void set_stack_object(intptr_t *tos, oop value, int offset);
519 // needs to be platform dep for the 32 bit platforms.
520 static void set_stack_double(intptr_t *tos, jdouble value, int offset);
521 static void set_stack_long(intptr_t *tos, jlong value, int offset);
523 static void set_stack_double_from_addr(intptr_t *tos, address addr, int offset);
524 static void set_stack_long_from_addr(intptr_t *tos, address addr, int offset);
526 // Locals
528 static address locals_slot(intptr_t* locals, int offset);
529 static jint locals_int(intptr_t* locals, int offset);
530 static jfloat locals_float(intptr_t* locals, int offset);
531 static oop locals_object(intptr_t* locals, int offset);
532 static jdouble locals_double(intptr_t* locals, int offset);
533 static jlong locals_long(intptr_t* locals, int offset);
535 static address locals_long_at(intptr_t* locals, int offset);
536 static address locals_double_at(intptr_t* locals, int offset);
538 static void set_locals_slot(intptr_t *locals, address value, int offset);
539 static void set_locals_int(intptr_t *locals, jint value, int offset);
540 static void set_locals_float(intptr_t *locals, jfloat value, int offset);
541 static void set_locals_object(intptr_t *locals, oop value, int offset);
542 static void set_locals_double(intptr_t *locals, jdouble value, int offset);
543 static void set_locals_long(intptr_t *locals, jlong value, int offset);
544 static void set_locals_double_from_addr(intptr_t *locals,
545 address addr, int offset);
546 static void set_locals_long_from_addr(intptr_t *locals,
547 address addr, int offset);
549 static void astore(intptr_t* topOfStack, int stack_offset,
550 intptr_t* locals, int locals_offset);
552 // Support for dup and swap
553 static void copy_stack_slot(intptr_t *tos, int from_offset, int to_offset);
555 #ifndef PRODUCT
556 static const char* C_msg(BytecodeInterpreter::messages msg);
557 void print();
558 #endif // PRODUCT
560 // Platform fields/methods
561 # include "incls/_bytecodeInterpreter_pd.hpp.incl"
563 }; // BytecodeInterpreter
565 #endif // CC_INTERP
