Thu, 19 Mar 2009 09:13:24 -0700
Merge
duke@435 | 1 | /* |
duke@435 | 2 | * Copyright 1997-2007 Sun Microsystems, Inc. All Rights Reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
duke@435 | 19 | * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, |
duke@435 | 20 | * CA 95054 USA or visit www.sun.com if you need additional information or |
duke@435 | 21 | * have any questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
twisti@1040 | 25 | // This file contains the platform-independent parts |
duke@435 | 26 | // of the abstract interpreter and the abstract interpreter generator. |
duke@435 | 27 | |
duke@435 | 28 | // Organization of the interpreter(s). There exists two different interpreters in hotpot |
duke@435 | 29 | // an assembly language version (aka template interpreter) and a high level language version |
duke@435 | 30 | // (aka c++ interpreter). Th division of labor is as follows: |
duke@435 | 31 | |
duke@435 | 32 | // Template Interpreter C++ Interpreter Functionality |
duke@435 | 33 | // |
duke@435 | 34 | // templateTable* bytecodeInterpreter* actual interpretation of bytecodes |
duke@435 | 35 | // |
duke@435 | 36 | // templateInterpreter* cppInterpreter* generation of assembly code that creates |
duke@435 | 37 | // and manages interpreter runtime frames. |
duke@435 | 38 | // Also code for populating interpreter |
duke@435 | 39 | // frames created during deoptimization. |
duke@435 | 40 | // |
duke@435 | 41 | // For both template and c++ interpreter. There are common files for aspects of the interpreter |
duke@435 | 42 | // that are generic to both interpreters. This is the layout: |
duke@435 | 43 | // |
duke@435 | 44 | // abstractInterpreter.hpp: generic description of the interpreter. |
duke@435 | 45 | // interpreter*: generic frame creation and handling. |
duke@435 | 46 | // |
duke@435 | 47 | |
duke@435 | 48 | //------------------------------------------------------------------------------------------------------------------------ |
duke@435 | 49 | // The C++ interface to the bytecode interpreter(s). |
duke@435 | 50 | |
duke@435 | 51 | class AbstractInterpreter: AllStatic { |
duke@435 | 52 | friend class VMStructs; |
duke@435 | 53 | friend class Interpreter; |
duke@435 | 54 | friend class CppInterpreterGenerator; |
duke@435 | 55 | public: |
duke@435 | 56 | enum MethodKind { |
duke@435 | 57 | zerolocals, // method needs locals initialization |
duke@435 | 58 | zerolocals_synchronized, // method needs locals initialization & is synchronized |
duke@435 | 59 | native, // native method |
duke@435 | 60 | native_synchronized, // native method & is synchronized |
duke@435 | 61 | empty, // empty method (code: _return) |
duke@435 | 62 | accessor, // accessor method (code: _aload_0, _getfield, _(a|i)return) |
duke@435 | 63 | abstract, // abstract method (throws an AbstractMethodException) |
duke@435 | 64 | java_lang_math_sin, // implementation of java.lang.Math.sin (x) |
duke@435 | 65 | java_lang_math_cos, // implementation of java.lang.Math.cos (x) |
duke@435 | 66 | java_lang_math_tan, // implementation of java.lang.Math.tan (x) |
duke@435 | 67 | java_lang_math_abs, // implementation of java.lang.Math.abs (x) |
duke@435 | 68 | java_lang_math_sqrt, // implementation of java.lang.Math.sqrt (x) |
duke@435 | 69 | java_lang_math_log, // implementation of java.lang.Math.log (x) |
duke@435 | 70 | java_lang_math_log10, // implementation of java.lang.Math.log10 (x) |
duke@435 | 71 | number_of_method_entries, |
duke@435 | 72 | invalid = -1 |
duke@435 | 73 | }; |
duke@435 | 74 | |
duke@435 | 75 | enum SomeConstants { |
duke@435 | 76 | number_of_result_handlers = 10 // number of result handlers for native calls |
duke@435 | 77 | }; |
duke@435 | 78 | |
duke@435 | 79 | protected: |
duke@435 | 80 | static StubQueue* _code; // the interpreter code (codelets) |
duke@435 | 81 | |
duke@435 | 82 | static bool _notice_safepoints; // true if safepoints are activated |
duke@435 | 83 | |
duke@435 | 84 | static address _native_entry_begin; // Region for native entry code |
duke@435 | 85 | static address _native_entry_end; |
duke@435 | 86 | |
duke@435 | 87 | // method entry points |
duke@435 | 88 | static address _entry_table[number_of_method_entries]; // entry points for a given method |
duke@435 | 89 | static address _native_abi_to_tosca[number_of_result_handlers]; // for native method result handlers |
duke@435 | 90 | static address _slow_signature_handler; // the native method generic (slow) signature handler |
duke@435 | 91 | |
duke@435 | 92 | static address _rethrow_exception_entry; // rethrows an activation in previous frame |
duke@435 | 93 | |
duke@435 | 94 | |
duke@435 | 95 | |
duke@435 | 96 | friend class AbstractInterpreterGenerator; |
duke@435 | 97 | friend class InterpreterGenerator; |
duke@435 | 98 | friend class InterpreterMacroAssembler; |
duke@435 | 99 | |
duke@435 | 100 | public: |
duke@435 | 101 | // Initialization/debugging |
duke@435 | 102 | static void initialize(); |
duke@435 | 103 | static StubQueue* code() { return _code; } |
duke@435 | 104 | |
duke@435 | 105 | |
duke@435 | 106 | // Method activation |
duke@435 | 107 | static MethodKind method_kind(methodHandle m); |
duke@435 | 108 | static address entry_for_kind(MethodKind k) { assert(0 <= k && k < number_of_method_entries, "illegal kind"); return _entry_table[k]; } |
duke@435 | 109 | static address entry_for_method(methodHandle m) { return _entry_table[method_kind(m)]; } |
duke@435 | 110 | |
duke@435 | 111 | static void print_method_kind(MethodKind kind) PRODUCT_RETURN; |
duke@435 | 112 | |
duke@435 | 113 | // Runtime support |
duke@435 | 114 | |
duke@435 | 115 | // length = invoke bytecode length (to advance to next bytecode) |
duke@435 | 116 | static address deopt_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; } |
duke@435 | 117 | static address return_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; } |
duke@435 | 118 | |
duke@435 | 119 | static address rethrow_exception_entry() { return _rethrow_exception_entry; } |
duke@435 | 120 | |
duke@435 | 121 | // Activation size in words for a method that is just being called. |
duke@435 | 122 | // Parameters haven't been pushed so count them too. |
duke@435 | 123 | static int size_top_interpreter_activation(methodOop method); |
duke@435 | 124 | |
duke@435 | 125 | // Deoptimization support |
duke@435 | 126 | static address continuation_for(methodOop method, |
duke@435 | 127 | address bcp, |
duke@435 | 128 | int callee_parameters, |
duke@435 | 129 | bool is_top_frame, |
duke@435 | 130 | bool& use_next_mdp); |
duke@435 | 131 | |
duke@435 | 132 | // share implementation of size_activation and layout_activation: |
duke@435 | 133 | static int size_activation(methodOop method, |
duke@435 | 134 | int temps, |
duke@435 | 135 | int popframe_args, |
duke@435 | 136 | int monitors, |
duke@435 | 137 | int callee_params, |
duke@435 | 138 | int callee_locals, |
duke@435 | 139 | bool is_top_frame); |
duke@435 | 140 | |
duke@435 | 141 | static int layout_activation(methodOop method, |
duke@435 | 142 | int temps, |
duke@435 | 143 | int popframe_args, |
duke@435 | 144 | int monitors, |
duke@435 | 145 | int callee_params, |
duke@435 | 146 | int callee_locals, |
duke@435 | 147 | frame* caller, |
duke@435 | 148 | frame* interpreter_frame, |
duke@435 | 149 | bool is_top_frame); |
duke@435 | 150 | |
duke@435 | 151 | // Runtime support |
duke@435 | 152 | static bool is_not_reached( methodHandle method, int bci); |
duke@435 | 153 | // Safepoint support |
duke@435 | 154 | static void notice_safepoints() { ShouldNotReachHere(); } // stops the thread when reaching a safepoint |
duke@435 | 155 | static void ignore_safepoints() { ShouldNotReachHere(); } // ignores safepoints |
duke@435 | 156 | |
duke@435 | 157 | // Support for native calls |
duke@435 | 158 | static address slow_signature_handler() { return _slow_signature_handler; } |
duke@435 | 159 | static address result_handler(BasicType type) { return _native_abi_to_tosca[BasicType_as_index(type)]; } |
duke@435 | 160 | static int BasicType_as_index(BasicType type); // computes index into result_handler_by_index table |
duke@435 | 161 | static bool in_native_entry(address pc) { return _native_entry_begin <= pc && pc < _native_entry_end; } |
duke@435 | 162 | // Debugging/printing |
duke@435 | 163 | static void print(); // prints the interpreter code |
duke@435 | 164 | |
duke@435 | 165 | // Support for Tagged Stacks |
duke@435 | 166 | // |
duke@435 | 167 | // Tags are stored on the Java Expression stack above the value: |
duke@435 | 168 | // |
duke@435 | 169 | // tag |
duke@435 | 170 | // value |
duke@435 | 171 | // |
duke@435 | 172 | // For double values: |
duke@435 | 173 | // |
duke@435 | 174 | // tag2 |
duke@435 | 175 | // high word |
duke@435 | 176 | // tag1 |
duke@435 | 177 | // low word |
duke@435 | 178 | |
duke@435 | 179 | public: |
duke@435 | 180 | static int stackElementWords() { return TaggedStackInterpreter ? 2 : 1; } |
duke@435 | 181 | static int stackElementSize() { return stackElementWords()*wordSize; } |
duke@435 | 182 | static int logStackElementSize() { return |
duke@435 | 183 | TaggedStackInterpreter? LogBytesPerWord+1 : LogBytesPerWord; } |
duke@435 | 184 | |
duke@435 | 185 | // Tag is at pointer, value is one below for a stack growing down |
duke@435 | 186 | // (or above for stack growing up) |
duke@435 | 187 | static int value_offset_in_bytes() { |
duke@435 | 188 | return TaggedStackInterpreter ? |
duke@435 | 189 | frame::interpreter_frame_expression_stack_direction() * wordSize : 0; |
duke@435 | 190 | } |
duke@435 | 191 | static int tag_offset_in_bytes() { |
duke@435 | 192 | assert(TaggedStackInterpreter, "should not call this"); |
duke@435 | 193 | return 0; |
duke@435 | 194 | } |
duke@435 | 195 | |
duke@435 | 196 | // Tagged Locals |
duke@435 | 197 | // Locals are stored relative to Llocals: |
duke@435 | 198 | // |
duke@435 | 199 | // tag <- Llocals[n] |
duke@435 | 200 | // value |
duke@435 | 201 | // |
duke@435 | 202 | // Category 2 types are indexed as: |
duke@435 | 203 | // |
duke@435 | 204 | // tag <- Llocals[-n] |
duke@435 | 205 | // high word |
duke@435 | 206 | // tag <- Llocals[-n+1] |
duke@435 | 207 | // low word |
duke@435 | 208 | // |
duke@435 | 209 | |
duke@435 | 210 | // Local values relative to locals[n] |
duke@435 | 211 | static int local_offset_in_bytes(int n) { |
duke@435 | 212 | return ((frame::interpreter_frame_expression_stack_direction() * n) * |
duke@435 | 213 | stackElementSize()) + value_offset_in_bytes(); |
duke@435 | 214 | } |
duke@435 | 215 | static int local_tag_offset_in_bytes(int n) { |
duke@435 | 216 | assert(TaggedStackInterpreter, "should not call this"); |
duke@435 | 217 | return ((frame::interpreter_frame_expression_stack_direction() * n) * |
duke@435 | 218 | stackElementSize()) + tag_offset_in_bytes(); |
duke@435 | 219 | } |
duke@435 | 220 | |
duke@435 | 221 | }; |
duke@435 | 222 | |
duke@435 | 223 | //------------------------------------------------------------------------------------------------------------------------ |
duke@435 | 224 | // The interpreter generator. |
duke@435 | 225 | |
duke@435 | 226 | class Template; |
duke@435 | 227 | class AbstractInterpreterGenerator: public StackObj { |
duke@435 | 228 | protected: |
duke@435 | 229 | InterpreterMacroAssembler* _masm; |
duke@435 | 230 | |
duke@435 | 231 | // shared code sequences |
duke@435 | 232 | // Converter for native abi result to tosca result |
duke@435 | 233 | address generate_result_handler_for(BasicType type); |
duke@435 | 234 | address generate_slow_signature_handler(); |
duke@435 | 235 | |
duke@435 | 236 | // entry point generator |
duke@435 | 237 | address generate_method_entry(AbstractInterpreter::MethodKind kind); |
duke@435 | 238 | |
duke@435 | 239 | void bang_stack_shadow_pages(bool native_call); |
duke@435 | 240 | |
duke@435 | 241 | void generate_all(); |
duke@435 | 242 | |
duke@435 | 243 | public: |
duke@435 | 244 | AbstractInterpreterGenerator(StubQueue* _code); |
duke@435 | 245 | }; |