diff src/share/vm/interpreter/bytecodeInterpreter.hpp @ 0:a61af66fc99e jdk7-b24

Initial load
author duke
date Sat, 01 Dec 2007 00:00:00 +0000
parents
children 52a431267315
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/share/vm/interpreter/bytecodeInterpreter.hpp	Sat Dec 01 00:00:00 2007 +0000
@@ -0,0 +1,572 @@
+/*
+ * Copyright 2002-2007 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
+ * CA 95054 USA or visit www.sun.com if you need additional information or
+ * have any questions.
+ *
+ */
+
+#ifdef CC_INTERP
+
+// CVM definitions find hotspot equivalents...
+
+union VMJavaVal64 {
+    jlong   l;
+    jdouble d;
+    uint32_t      v[2];
+};
+
+
+typedef class BytecodeInterpreter* interpreterState;
+
+struct call_message {
+    class methodOopDesc* _callee;    /* method to call during call_method request */
+    address   _callee_entry_point;   /* address to jump to for call_method request */
+    int       _bcp_advance;          /* size of the invoke bytecode operation */
+};
+
+struct osr_message {
+    address _osr_buf;                 /* the osr buffer */
+    address _osr_entry;               /* the entry to the osr method */
+};
+
+struct osr_result {
+  nmethod* nm;                       /* osr nmethod */
+  address return_addr;               /* osr blob return address */
+};
+
+// Result returned to frame manager
+union frame_manager_message {
+    call_message _to_call;            /* describes callee */
+    Bytecodes::Code _return_kind;     /* i_return, a_return, ... */
+    osr_message _osr;                 /* describes the osr */
+    osr_result _osr_result;           /* result of OSR request */
+};
+
+class BytecodeInterpreter : StackObj {
+friend class SharedRuntime;
+friend class AbstractInterpreterGenerator;
+friend class CppInterpreterGenerator;
+friend class InterpreterGenerator;
+friend class InterpreterMacroAssembler;
+friend class frame;
+friend class SharedRuntime;
+friend class VMStructs;
+
+public:
+    enum messages {
+         no_request = 0,            // unused
+         initialize,                // Perform one time interpreter initializations (assumes all switches set)
+         // status message to C++ interpreter
+         method_entry,              // initial method entry to interpreter
+         method_resume,             // frame manager response to return_from_method request (assuming a frame to resume)
+         deopt_resume,              // returning from a native call into a deopted frame
+         deopt_resume2,             // deopt resume as a result of a PopFrame
+         got_monitors,              // frame manager response to more_monitors request
+         rethrow_exception,         // unwinding and throwing exception
+         // requests to frame manager from C++ interpreter
+         call_method,               // request for new frame from interpreter, manager responds with method_entry
+         return_from_method,        // request from interpreter to unwind, manager responds with method_continue
+         more_monitors,             // need a new monitor
+         throwing_exception,        // unwind stack and rethrow
+         popping_frame,             // unwind call and retry call
+         do_osr                     // request this invocation be OSR's
+    };
+
+private:
+    JavaThread*           _thread;        // the vm's java thread pointer
+    address               _bcp;           // instruction pointer
+    intptr_t*             _locals;        // local variable pointer
+    constantPoolCacheOop  _constants;     // constant pool cache
+    methodOop             _method;        // method being executed
+    DataLayout*           _mdx;           // compiler profiling data for current bytecode
+    intptr_t*             _stack;         // expression stack
+    messages              _msg;           // frame manager <-> interpreter message
+    frame_manager_message _result;        // result to frame manager
+    interpreterState      _prev_link;     // previous interpreter state
+    oop                   _oop_temp;      // mirror for interpreted native, null otherwise
+    intptr_t*             _stack_base;    // base of expression stack
+    intptr_t*             _stack_limit;   // limit of expression stack
+    BasicObjectLock*      _monitor_base;  // base of monitors on the native stack
+
+
+public:
+  // Constructor is only used by the initialization step. All other instances are created
+  // by the frame manager.
+  BytecodeInterpreter(messages msg);
+
+//
+// Deoptimization support
+//
+static void layout_interpreterState(interpreterState to_fill,
+                                    frame* caller,
+                                    frame* interpreter_frame,
+                                    methodOop method,
+                                    intptr_t* locals,
+                                    intptr_t* stack,
+                                    intptr_t* stack_base,
+                                    intptr_t* monitor_base,
+                                    intptr_t* frame_bottom,
+                                    bool top_frame);
+
+/*
+ * Generic 32-bit wide "Java slot" definition. This type occurs
+ * in operand stacks, Java locals, object fields, constant pools.
+ */
+union VMJavaVal32 {
+    jint     i;
+    jfloat   f;
+    class oopDesc*   r;
+    uint32_t raw;
+};
+
+/*
+ * Generic 64-bit Java value definition
+ */
+union VMJavaVal64 {
+    jlong   l;
+    jdouble d;
+    uint32_t      v[2];
+};
+
+/*
+ * Generic 32-bit wide "Java slot" definition. This type occurs
+ * in Java locals, object fields, constant pools, and
+ * operand stacks (as a CVMStackVal32).
+ */
+typedef union VMSlotVal32 {
+    VMJavaVal32    j;     /* For "Java" values */
+    address        a;     /* a return created by jsr or jsr_w */
+} VMSlotVal32;
+
+
+/*
+ * Generic 32-bit wide stack slot definition.
+ */
+union VMStackVal32 {
+    VMJavaVal32    j;     /* For "Java" values */
+    VMSlotVal32    s;     /* any value from a "slot" or locals[] */
+};
+
+inline JavaThread* thread() { return _thread; }
+
+inline address bcp() { return _bcp; }
+inline void set_bcp(address new_bcp) { _bcp = new_bcp; }
+
+inline intptr_t* locals() { return _locals; }
+
+inline constantPoolCacheOop constants() { return _constants; }
+inline methodOop method() { return _method; }
+inline DataLayout* mdx() { return _mdx; }
+inline void set_mdx(DataLayout *new_mdx) { _mdx = new_mdx; }
+
+inline messages msg() { return _msg; }
+inline void set_msg(messages new_msg) { _msg = new_msg; }
+
+inline methodOop callee() { return _result._to_call._callee; }
+inline void set_callee(methodOop new_callee) { _result._to_call._callee = new_callee; }
+inline void set_callee_entry_point(address entry) { _result._to_call._callee_entry_point = entry; }
+inline void set_osr_buf(address buf) { _result._osr._osr_buf = buf; }
+inline void set_osr_entry(address entry) { _result._osr._osr_entry = entry; }
+inline int bcp_advance() { return _result._to_call._bcp_advance; }
+inline void set_bcp_advance(int count) { _result._to_call._bcp_advance = count; }
+
+inline void set_return_kind(Bytecodes::Code kind) { _result._return_kind = kind; }
+
+inline interpreterState prev() { return _prev_link; }
+
+inline intptr_t* stack() { return _stack; }
+inline void set_stack(intptr_t* new_stack) { _stack = new_stack; }
+
+
+inline intptr_t* stack_base() { return _stack_base; }
+inline intptr_t* stack_limit() { return _stack_limit; }
+
+inline BasicObjectLock* monitor_base() { return _monitor_base; }
+
+/*
+ * 64-bit Arithmetic:
+ *
+ * The functions below follow the semantics of the
+ * ladd, land, ldiv, lmul, lor, lxor, and lrem bytecodes,
+ * respectively.
+ */
+
+static jlong VMlongAdd(jlong op1, jlong op2);
+static jlong VMlongAnd(jlong op1, jlong op2);
+static jlong VMlongDiv(jlong op1, jlong op2);
+static jlong VMlongMul(jlong op1, jlong op2);
+static jlong VMlongOr (jlong op1, jlong op2);
+static jlong VMlongSub(jlong op1, jlong op2);
+static jlong VMlongXor(jlong op1, jlong op2);
+static jlong VMlongRem(jlong op1, jlong op2);
+
+/*
+ * Shift:
+ *
+ * The functions below follow the semantics of the
+ * lushr, lshl, and lshr bytecodes, respectively.
+ */
+
+static jlong VMlongUshr(jlong op1, jint op2);
+static jlong VMlongShl (jlong op1, jint op2);
+static jlong VMlongShr (jlong op1, jint op2);
+
+/*
+ * Unary:
+ *
+ * Return the negation of "op" (-op), according to
+ * the semantics of the lneg bytecode.
+ */
+
+static jlong VMlongNeg(jlong op);
+
+/*
+ * Return the complement of "op" (~op)
+ */
+
+static jlong VMlongNot(jlong op);
+
+
+/*
+ * Comparisons to 0:
+ */
+
+static int32_t VMlongLtz(jlong op);     /* op <= 0 */
+static int32_t VMlongGez(jlong op);     /* op >= 0 */
+static int32_t VMlongEqz(jlong op);     /* op == 0 */
+
+/*
+ * Between operands:
+ */
+
+static int32_t VMlongEq(jlong op1, jlong op2);    /* op1 == op2 */
+static int32_t VMlongNe(jlong op1, jlong op2);    /* op1 != op2 */
+static int32_t VMlongGe(jlong op1, jlong op2);    /* op1 >= op2 */
+static int32_t VMlongLe(jlong op1, jlong op2);    /* op1 <= op2 */
+static int32_t VMlongLt(jlong op1, jlong op2);    /* op1 <  op2 */
+static int32_t VMlongGt(jlong op1, jlong op2);    /* op1 >  op2 */
+
+/*
+ * Comparisons (returning an jint value: 0, 1, or -1)
+ *
+ * Between operands:
+ *
+ * Compare "op1" and "op2" according to the semantics of the
+ * "lcmp" bytecode.
+ */
+
+static int32_t VMlongCompare(jlong op1, jlong op2);
+
+/*
+ * Convert int to long, according to "i2l" bytecode semantics
+ */
+static jlong VMint2Long(jint val);
+
+/*
+ * Convert long to int, according to "l2i" bytecode semantics
+ */
+static jint VMlong2Int(jlong val);
+
+/*
+ * Convert long to float, according to "l2f" bytecode semantics
+ */
+static jfloat VMlong2Float(jlong val);
+
+/*
+ * Convert long to double, according to "l2d" bytecode semantics
+ */
+static jdouble VMlong2Double(jlong val);
+
+/*
+ * Java floating-point float value manipulation.
+ *
+ * The result argument is, once again, an lvalue.
+ *
+ * Arithmetic:
+ *
+ * The functions below follow the semantics of the
+ * fadd, fsub, fmul, fdiv, and frem bytecodes,
+ * respectively.
+ */
+
+static jfloat VMfloatAdd(jfloat op1, jfloat op2);
+static jfloat VMfloatSub(jfloat op1, jfloat op2);
+static jfloat VMfloatMul(jfloat op1, jfloat op2);
+static jfloat VMfloatDiv(jfloat op1, jfloat op2);
+static jfloat VMfloatRem(jfloat op1, jfloat op2);
+
+/*
+ * Unary:
+ *
+ * Return the negation of "op" (-op), according to
+ * the semantics of the fneg bytecode.
+ */
+
+static jfloat VMfloatNeg(jfloat op);
+
+/*
+ * Comparisons (returning an int value: 0, 1, or -1)
+ *
+ * Between operands:
+ *
+ * Compare "op1" and "op2" according to the semantics of the
+ * "fcmpl" (direction is -1) or "fcmpg" (direction is 1) bytecodes.
+ */
+
+static int32_t VMfloatCompare(jfloat op1, jfloat op2,
+                              int32_t direction);
+/*
+ * Conversion:
+ */
+
+/*
+ * Convert float to double, according to "f2d" bytecode semantics
+ */
+
+static jdouble VMfloat2Double(jfloat op);
+
+/*
+ ******************************************
+ * Java double floating-point manipulation.
+ ******************************************
+ *
+ * The result argument is, once again, an lvalue.
+ *
+ * Conversions:
+ */
+
+/*
+ * Convert double to int, according to "d2i" bytecode semantics
+ */
+
+static jint VMdouble2Int(jdouble val);
+
+/*
+ * Convert double to float, according to "d2f" bytecode semantics
+ */
+
+static jfloat VMdouble2Float(jdouble val);
+
+/*
+ * Convert int to double, according to "i2d" bytecode semantics
+ */
+
+static jdouble VMint2Double(jint val);
+
+/*
+ * Arithmetic:
+ *
+ * The functions below follow the semantics of the
+ * dadd, dsub, ddiv, dmul, and drem bytecodes, respectively.
+ */
+
+static jdouble VMdoubleAdd(jdouble op1, jdouble op2);
+static jdouble VMdoubleSub(jdouble op1, jdouble op2);
+static jdouble VMdoubleDiv(jdouble op1, jdouble op2);
+static jdouble VMdoubleMul(jdouble op1, jdouble op2);
+static jdouble VMdoubleRem(jdouble op1, jdouble op2);
+
+/*
+ * Unary:
+ *
+ * Return the negation of "op" (-op), according to
+ * the semantics of the dneg bytecode.
+ */
+
+static jdouble VMdoubleNeg(jdouble op);
+
+/*
+ * Comparisons (returning an int32_t value: 0, 1, or -1)
+ *
+ * Between operands:
+ *
+ * Compare "op1" and "op2" according to the semantics of the
+ * "dcmpl" (direction is -1) or "dcmpg" (direction is 1) bytecodes.
+ */
+
+static int32_t VMdoubleCompare(jdouble op1, jdouble op2, int32_t direction);
+
+/*
+ * Copy two typeless 32-bit words from one location to another.
+ * This is semantically equivalent to:
+ *
+ * to[0] = from[0];
+ * to[1] = from[1];
+ *
+ * but this interface is provided for those platforms that could
+ * optimize this into a single 64-bit transfer.
+ */
+
+static void VMmemCopy64(uint32_t to[2], const uint32_t from[2]);
+
+
+// Arithmetic operations
+
+/*
+ * Java arithmetic methods.
+ * The functions below follow the semantics of the
+ * iadd, isub, imul, idiv, irem, iand, ior, ixor,
+ * and ineg bytecodes, respectively.
+ */
+
+static jint VMintAdd(jint op1, jint op2);
+static jint VMintSub(jint op1, jint op2);
+static jint VMintMul(jint op1, jint op2);
+static jint VMintDiv(jint op1, jint op2);
+static jint VMintRem(jint op1, jint op2);
+static jint VMintAnd(jint op1, jint op2);
+static jint VMintOr (jint op1, jint op2);
+static jint VMintXor(jint op1, jint op2);
+
+/*
+ * Shift Operation:
+ * The functions below follow the semantics of the
+ * iushr, ishl, and ishr bytecodes, respectively.
+ */
+
+static jint VMintUshr(jint op, jint num);
+static jint VMintShl (jint op, jint num);
+static jint VMintShr (jint op, jint num);
+
+/*
+ * Unary Operation:
+ *
+ * Return the negation of "op" (-op), according to
+ * the semantics of the ineg bytecode.
+ */
+
+static jint VMintNeg(jint op);
+
+/*
+ * Int Conversions:
+ */
+
+/*
+ * Convert int to float, according to "i2f" bytecode semantics
+ */
+
+static jfloat VMint2Float(jint val);
+
+/*
+ * Convert int to byte, according to "i2b" bytecode semantics
+ */
+
+static jbyte VMint2Byte(jint val);
+
+/*
+ * Convert int to char, according to "i2c" bytecode semantics
+ */
+
+static jchar VMint2Char(jint val);
+
+/*
+ * Convert int to short, according to "i2s" bytecode semantics
+ */
+
+static jshort VMint2Short(jint val);
+
+/*=========================================================================
+ * Bytecode interpreter operations
+ *=======================================================================*/
+
+static void dup(intptr_t *tos);
+static void dup2(intptr_t *tos);
+static void dup_x1(intptr_t *tos);    /* insert top word two down */
+static void dup_x2(intptr_t *tos);    /* insert top word three down  */
+static void dup2_x1(intptr_t *tos);   /* insert top 2 slots three down */
+static void dup2_x2(intptr_t *tos);   /* insert top 2 slots four down */
+static void swap(intptr_t *tos);      /* swap top two elements */
+
+// umm don't like this method modifies its object
+
+// The Interpreter used when
+static void run(interpreterState istate);
+// The interpreter used if JVMTI needs interpreter events
+static void runWithChecks(interpreterState istate);
+static void End_Of_Interpreter(void);
+
+// Inline static functions for Java Stack and Local manipulation
+
+static address stack_slot(intptr_t *tos, int offset);
+static jint stack_int(intptr_t *tos, int offset);
+static jfloat stack_float(intptr_t *tos, int offset);
+static oop stack_object(intptr_t *tos, int offset);
+static jdouble stack_double(intptr_t *tos, int offset);
+static jlong stack_long(intptr_t *tos, int offset);
+
+static void tag_stack(intptr_t *tos, frame::Tag tag, int offset);
+
+// only used for value types
+static void set_stack_slot(intptr_t *tos, address value, int offset);
+static void set_stack_int(intptr_t *tos, int value, int offset);
+static void set_stack_float(intptr_t *tos, jfloat value, int offset);
+static void set_stack_object(intptr_t *tos, oop value, int offset);
+
+// needs to be platform dep for the 32 bit platforms.
+static void set_stack_double(intptr_t *tos, jdouble value, int offset);
+static void set_stack_long(intptr_t *tos, jlong value, int offset);
+
+static void set_stack_double_from_addr(intptr_t *tos, address addr, int offset);
+static void set_stack_long_from_addr(intptr_t *tos, address addr, int offset);
+
+// Locals
+
+static address locals_slot(intptr_t* locals, int offset);
+static jint locals_int(intptr_t* locals, int offset);
+static jfloat locals_float(intptr_t* locals, int offset);
+static oop locals_object(intptr_t* locals, int offset);
+static jdouble locals_double(intptr_t* locals, int offset);
+static jlong locals_long(intptr_t* locals, int offset);
+
+static address locals_long_at(intptr_t* locals, int offset);
+static address locals_double_at(intptr_t* locals, int offset);
+
+static void tag_locals(intptr_t *locals, frame::Tag tag, int offset);
+
+static void set_locals_slot(intptr_t *locals, address value, int offset);
+static void set_locals_int(intptr_t *locals, jint value, int offset);
+static void set_locals_float(intptr_t *locals, jfloat value, int offset);
+static void set_locals_object(intptr_t *locals, oop value, int offset);
+static void set_locals_double(intptr_t *locals, jdouble value, int offset);
+static void set_locals_long(intptr_t *locals, jlong value, int offset);
+static void set_locals_double_from_addr(intptr_t *locals,
+                                   address addr, int offset);
+static void set_locals_long_from_addr(intptr_t *locals,
+                                   address addr, int offset);
+
+static void astore(intptr_t* topOfStack, int stack_offset,
+                   intptr_t* locals,     int locals_offset);
+
+// Support for dup and swap
+static void copy_stack_slot(intptr_t *tos, int from_offset, int to_offset);
+
+#ifndef PRODUCT
+static void verify_locals_tag(intptr_t *locals, frame::Tag tag, int offset);
+static void verify_stack_tag(intptr_t *tos, frame::Tag tag, int offset);
+static const char* C_msg(BytecodeInterpreter::messages msg);
+void print();
+#endif // PRODUCT
+
+    // Platform fields/methods
+# include "incls/_bytecodeInterpreter_pd.hpp.incl"
+
+}; // BytecodeInterpreter
+
+#endif // CC_INTERP