graal-compiler: src/share/vm/interpreter/abstractInterpreter.hpp annotate

annotate src/share/vm/interpreter/abstractInterpreter.hpp @ 3992:d1bdeef3e3e2

7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76 Summary: There is a race between one thread successfully forwarding and copying the klass mirror for the SoftReference class (including the static master clock) and another thread attempting to use the master clock while attempting to discover a soft reference object. Maintain a shadow copy of the soft reference master clock and use the shadow during reference discovery and reference processing. Reviewed-by: tonyp, brutisso, ysr

author	johnc
date	Wed, 12 Oct 2011 10:25:51 -0700
parents	f08d439fab8c
children	6759698e3140

rev	line source
0 a61af66fc99e Initial load duke parents: diff changeset	1 /*
2357 8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2192 diff changeset	2 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
0 a61af66fc99e Initial load duke parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load duke parents: diff changeset	4 *
a61af66fc99e Initial load duke parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load duke parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load duke parents: diff changeset	7 * published by the Free Software Foundation.
a61af66fc99e Initial load duke parents: diff changeset	8 *
a61af66fc99e Initial load duke parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load duke parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load duke parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load duke parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load duke parents: diff changeset	13 * accompanied this code).
a61af66fc99e Initial load duke parents: diff changeset	14 *
a61af66fc99e Initial load duke parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load duke parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load duke parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load duke parents: diff changeset	18 *
1552 c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1506 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1506 diff changeset	20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 1506 diff changeset	21 * questions.
0 a61af66fc99e Initial load duke parents: diff changeset	22 *
a61af66fc99e Initial load duke parents: diff changeset	23 */
a61af66fc99e Initial load duke parents: diff changeset	24
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	25 #ifndef SHARE_VM_INTERPRETER_ABSTRACTINTERPRETER_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	26 #define SHARE_VM_INTERPRETER_ABSTRACTINTERPRETER_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	27
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	28 #include "code/stubs.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	29 #include "interpreter/bytecodes.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	30 #include "runtime/vmThread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	31 #include "utilities/top.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	32 #ifdef TARGET_ARCH_MODEL_x86_32
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	33 # include "interp_masm_x86_32.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	34 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	35 #ifdef TARGET_ARCH_MODEL_x86_64
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	36 # include "interp_masm_x86_64.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	37 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	38 #ifdef TARGET_ARCH_MODEL_sparc
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	39 # include "interp_masm_sparc.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	40 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	41 #ifdef TARGET_ARCH_MODEL_zero
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	42 # include "interp_masm_zero.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	43 #endif
2192 b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	44 #ifdef TARGET_ARCH_MODEL_arm
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	45 # include "interp_masm_arm.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	46 #endif
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	47 #ifdef TARGET_ARCH_MODEL_ppc
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	48 # include "interp_masm_ppc.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	49 #endif
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	50 #ifdef TARGET_OS_FAMILY_linux
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	51 # include "thread_linux.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	52 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	53 #ifdef TARGET_OS_FAMILY_solaris
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	54 # include "thread_solaris.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	55 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	56 #ifdef TARGET_OS_FAMILY_windows
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	57 # include "thread_windows.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	58 #endif
3960 f08d439fab8c 7089790: integrate bsd-port changes never parents: 3369 diff changeset	59 #ifdef TARGET_OS_FAMILY_bsd
f08d439fab8c 7089790: integrate bsd-port changes never parents: 3369 diff changeset	60 # include "thread_bsd.inline.hpp"
f08d439fab8c 7089790: integrate bsd-port changes never parents: 3369 diff changeset	61 #endif
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	62
605 98cb887364d3 6810672: Comment typos twisti parents: 0 diff changeset	63 // This file contains the platform-independent parts
0 a61af66fc99e Initial load duke parents: diff changeset	64 // of the abstract interpreter and the abstract interpreter generator.
a61af66fc99e Initial load duke parents: diff changeset	65
a61af66fc99e Initial load duke parents: diff changeset	66 // Organization of the interpreter(s). There exists two different interpreters in hotpot
a61af66fc99e Initial load duke parents: diff changeset	67 // an assembly language version (aka template interpreter) and a high level language version
a61af66fc99e Initial load duke parents: diff changeset	68 // (aka c++ interpreter). Th division of labor is as follows:
a61af66fc99e Initial load duke parents: diff changeset	69
a61af66fc99e Initial load duke parents: diff changeset	70 // Template Interpreter C++ Interpreter Functionality
a61af66fc99e Initial load duke parents: diff changeset	71 //
a61af66fc99e Initial load duke parents: diff changeset	72 // templateTable* bytecodeInterpreter* actual interpretation of bytecodes
a61af66fc99e Initial load duke parents: diff changeset	73 //
a61af66fc99e Initial load duke parents: diff changeset	74 // templateInterpreter* cppInterpreter* generation of assembly code that creates
a61af66fc99e Initial load duke parents: diff changeset	75 // and manages interpreter runtime frames.
a61af66fc99e Initial load duke parents: diff changeset	76 // Also code for populating interpreter
a61af66fc99e Initial load duke parents: diff changeset	77 // frames created during deoptimization.
a61af66fc99e Initial load duke parents: diff changeset	78 //
a61af66fc99e Initial load duke parents: diff changeset	79 // For both template and c++ interpreter. There are common files for aspects of the interpreter
a61af66fc99e Initial load duke parents: diff changeset	80 // that are generic to both interpreters. This is the layout:
a61af66fc99e Initial load duke parents: diff changeset	81 //
a61af66fc99e Initial load duke parents: diff changeset	82 // abstractInterpreter.hpp: generic description of the interpreter.
a61af66fc99e Initial load duke parents: diff changeset	83 // interpreter*: generic frame creation and handling.
a61af66fc99e Initial load duke parents: diff changeset	84 //
a61af66fc99e Initial load duke parents: diff changeset	85
a61af66fc99e Initial load duke parents: diff changeset	86 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	87 // The C++ interface to the bytecode interpreter(s).
a61af66fc99e Initial load duke parents: diff changeset	88
a61af66fc99e Initial load duke parents: diff changeset	89 class AbstractInterpreter: AllStatic {
a61af66fc99e Initial load duke parents: diff changeset	90 friend class VMStructs;
a61af66fc99e Initial load duke parents: diff changeset	91 friend class Interpreter;
a61af66fc99e Initial load duke parents: diff changeset	92 friend class CppInterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	93 public:
a61af66fc99e Initial load duke parents: diff changeset	94 enum MethodKind {
a61af66fc99e Initial load duke parents: diff changeset	95 zerolocals, // method needs locals initialization
a61af66fc99e Initial load duke parents: diff changeset	96 zerolocals_synchronized, // method needs locals initialization & is synchronized
a61af66fc99e Initial load duke parents: diff changeset	97 native, // native method
a61af66fc99e Initial load duke parents: diff changeset	98 native_synchronized, // native method & is synchronized
a61af66fc99e Initial load duke parents: diff changeset	99 empty, // empty method (code: _return)
a61af66fc99e Initial load duke parents: diff changeset	100 accessor, // accessor method (code: _aload_0, _getfield, _(a\|i)return)
a61af66fc99e Initial load duke parents: diff changeset	101 abstract, // abstract method (throws an AbstractMethodException)
2357 8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names jrose parents: 2192 diff changeset	102 method_handle, // java.lang.invoke.MethodHandles::invoke
0 a61af66fc99e Initial load duke parents: diff changeset	103 java_lang_math_sin, // implementation of java.lang.Math.sin (x)
a61af66fc99e Initial load duke parents: diff changeset	104 java_lang_math_cos, // implementation of java.lang.Math.cos (x)
a61af66fc99e Initial load duke parents: diff changeset	105 java_lang_math_tan, // implementation of java.lang.Math.tan (x)
a61af66fc99e Initial load duke parents: diff changeset	106 java_lang_math_abs, // implementation of java.lang.Math.abs (x)
a61af66fc99e Initial load duke parents: diff changeset	107 java_lang_math_sqrt, // implementation of java.lang.Math.sqrt (x)
a61af66fc99e Initial load duke parents: diff changeset	108 java_lang_math_log, // implementation of java.lang.Math.log (x)
a61af66fc99e Initial load duke parents: diff changeset	109 java_lang_math_log10, // implementation of java.lang.Math.log10 (x)
3249 e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error johnc parents: 2357 diff changeset	110 java_lang_ref_reference_get, // implementation of java.lang.ref.Reference.get()
0 a61af66fc99e Initial load duke parents: diff changeset	111 number_of_method_entries,
a61af66fc99e Initial load duke parents: diff changeset	112 invalid = -1
a61af66fc99e Initial load duke parents: diff changeset	113 };
a61af66fc99e Initial load duke parents: diff changeset	114
a61af66fc99e Initial load duke parents: diff changeset	115 enum SomeConstants {
a61af66fc99e Initial load duke parents: diff changeset	116 number_of_result_handlers = 10 // number of result handlers for native calls
a61af66fc99e Initial load duke parents: diff changeset	117 };
a61af66fc99e Initial load duke parents: diff changeset	118
a61af66fc99e Initial load duke parents: diff changeset	119 protected:
a61af66fc99e Initial load duke parents: diff changeset	120 static StubQueue* _code; // the interpreter code (codelets)
a61af66fc99e Initial load duke parents: diff changeset	121
a61af66fc99e Initial load duke parents: diff changeset	122 static bool _notice_safepoints; // true if safepoints are activated
a61af66fc99e Initial load duke parents: diff changeset	123
a61af66fc99e Initial load duke parents: diff changeset	124 static address _native_entry_begin; // Region for native entry code
a61af66fc99e Initial load duke parents: diff changeset	125 static address _native_entry_end;
a61af66fc99e Initial load duke parents: diff changeset	126
a61af66fc99e Initial load duke parents: diff changeset	127 // method entry points
a61af66fc99e Initial load duke parents: diff changeset	128 static address _entry_table[number_of_method_entries]; // entry points for a given method
a61af66fc99e Initial load duke parents: diff changeset	129 static address _native_abi_to_tosca[number_of_result_handlers]; // for native method result handlers
a61af66fc99e Initial load duke parents: diff changeset	130 static address _slow_signature_handler; // the native method generic (slow) signature handler
a61af66fc99e Initial load duke parents: diff changeset	131
a61af66fc99e Initial load duke parents: diff changeset	132 static address _rethrow_exception_entry; // rethrows an activation in previous frame
a61af66fc99e Initial load duke parents: diff changeset	133
a61af66fc99e Initial load duke parents: diff changeset	134 friend class AbstractInterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	135 friend class InterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	136 friend class InterpreterMacroAssembler;
a61af66fc99e Initial load duke parents: diff changeset	137
a61af66fc99e Initial load duke parents: diff changeset	138 public:
a61af66fc99e Initial load duke parents: diff changeset	139 // Initialization/debugging
a61af66fc99e Initial load duke parents: diff changeset	140 static void initialize();
a61af66fc99e Initial load duke parents: diff changeset	141 static StubQueue* code() { return _code; }
a61af66fc99e Initial load duke parents: diff changeset	142
a61af66fc99e Initial load duke parents: diff changeset	143
a61af66fc99e Initial load duke parents: diff changeset	144 // Method activation
a61af66fc99e Initial load duke parents: diff changeset	145 static MethodKind method_kind(methodHandle m);
a61af66fc99e Initial load duke parents: diff changeset	146 static address entry_for_kind(MethodKind k) { assert(0 <= k && k < number_of_method_entries, "illegal kind"); return _entry_table[k]; }
3249 e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error johnc parents: 2357 diff changeset	147 static address entry_for_method(methodHandle m) { return entry_for_kind(method_kind(m)); }
0 a61af66fc99e Initial load duke parents: diff changeset	148
a61af66fc99e Initial load duke parents: diff changeset	149 static void print_method_kind(MethodKind kind) PRODUCT_RETURN;
a61af66fc99e Initial load duke parents: diff changeset	150
1174 ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly never parents: 900 diff changeset	151 static bool can_be_compiled(methodHandle m);
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly never parents: 900 diff changeset	152
0 a61af66fc99e Initial load duke parents: diff changeset	153 // Runtime support
a61af66fc99e Initial load duke parents: diff changeset	154
a61af66fc99e Initial load duke parents: diff changeset	155 // length = invoke bytecode length (to advance to next bytecode)
a61af66fc99e Initial load duke parents: diff changeset	156 static address deopt_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
a61af66fc99e Initial load duke parents: diff changeset	157 static address return_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
a61af66fc99e Initial load duke parents: diff changeset	158
a61af66fc99e Initial load duke parents: diff changeset	159 static address rethrow_exception_entry() { return _rethrow_exception_entry; }
a61af66fc99e Initial load duke parents: diff changeset	160
a61af66fc99e Initial load duke parents: diff changeset	161 // Activation size in words for a method that is just being called.
a61af66fc99e Initial load duke parents: diff changeset	162 // Parameters haven't been pushed so count them too.
a61af66fc99e Initial load duke parents: diff changeset	163 static int size_top_interpreter_activation(methodOop method);
a61af66fc99e Initial load duke parents: diff changeset	164
a61af66fc99e Initial load duke parents: diff changeset	165 // Deoptimization support
900 9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	166 // Compute the entry address for continuation after
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	167 static address deopt_continue_after_entry(methodOop method,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	168 address bcp,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	169 int callee_parameters,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	170 bool is_top_frame);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	171 // Compute the entry address for reexecution
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	172 static address deopt_reexecute_entry(methodOop method, address bcp);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	173 // Deoptimization should reexecute this bytecode
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	174 static bool bytecode_should_reexecute(Bytecodes::Code code);
0 a61af66fc99e Initial load duke parents: diff changeset	175
a61af66fc99e Initial load duke parents: diff changeset	176 // share implementation of size_activation and layout_activation:
a61af66fc99e Initial load duke parents: diff changeset	177 static int size_activation(methodOop method,
a61af66fc99e Initial load duke parents: diff changeset	178 int temps,
a61af66fc99e Initial load duke parents: diff changeset	179 int popframe_args,
a61af66fc99e Initial load duke parents: diff changeset	180 int monitors,
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	181 int caller_actual_parameters,
0 a61af66fc99e Initial load duke parents: diff changeset	182 int callee_params,
a61af66fc99e Initial load duke parents: diff changeset	183 int callee_locals,
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	184 bool is_top_frame) {
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	185 return layout_activation(method,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	186 temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	187 popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	188 monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	189 caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	190 callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	191 callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	192 (frame*)NULL,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	193 (frame*)NULL,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	194 is_top_frame);
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	195 }
0 a61af66fc99e Initial load duke parents: diff changeset	196
a61af66fc99e Initial load duke parents: diff changeset	197 static int layout_activation(methodOop method,
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	198 int temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	199 int popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	200 int monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	201 int caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	202 int callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	203 int callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	204 frame* caller,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	205 frame* interpreter_frame,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	206 bool is_top_frame);
0 a61af66fc99e Initial load duke parents: diff changeset	207
a61af66fc99e Initial load duke parents: diff changeset	208 // Runtime support
a61af66fc99e Initial load duke parents: diff changeset	209 static bool is_not_reached( methodHandle method, int bci);
a61af66fc99e Initial load duke parents: diff changeset	210 // Safepoint support
a61af66fc99e Initial load duke parents: diff changeset	211 static void notice_safepoints() { ShouldNotReachHere(); } // stops the thread when reaching a safepoint
a61af66fc99e Initial load duke parents: diff changeset	212 static void ignore_safepoints() { ShouldNotReachHere(); } // ignores safepoints
a61af66fc99e Initial load duke parents: diff changeset	213
a61af66fc99e Initial load duke parents: diff changeset	214 // Support for native calls
a61af66fc99e Initial load duke parents: diff changeset	215 static address slow_signature_handler() { return _slow_signature_handler; }
a61af66fc99e Initial load duke parents: diff changeset	216 static address result_handler(BasicType type) { return _native_abi_to_tosca[BasicType_as_index(type)]; }
a61af66fc99e Initial load duke parents: diff changeset	217 static int BasicType_as_index(BasicType type); // computes index into result_handler_by_index table
a61af66fc99e Initial load duke parents: diff changeset	218 static bool in_native_entry(address pc) { return _native_entry_begin <= pc && pc < _native_entry_end; }
a61af66fc99e Initial load duke parents: diff changeset	219 // Debugging/printing
a61af66fc99e Initial load duke parents: diff changeset	220 static void print(); // prints the interpreter code
a61af66fc99e Initial load duke parents: diff changeset	221
a61af66fc99e Initial load duke parents: diff changeset	222 public:
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	223 // Interpreter helpers
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	224 const static int stackElementWords = 1;
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	225 const static int stackElementSize = stackElementWords * wordSize;
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	226 const static int logStackElementSize = LogBytesPerWord;
0 a61af66fc99e Initial load duke parents: diff changeset	227
a61af66fc99e Initial load duke parents: diff changeset	228 // Local values relative to locals[n]
a61af66fc99e Initial load duke parents: diff changeset	229 static int local_offset_in_bytes(int n) {
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	230 return ((frame::interpreter_frame_expression_stack_direction() * n) * stackElementSize);
0 a61af66fc99e Initial load duke parents: diff changeset	231 }
a61af66fc99e Initial load duke parents: diff changeset	232
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	233 // access to stacked values according to type:
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	234 static oop* oop_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	235 return (oop*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	236 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	237 static jint* int_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	238 if ((int) sizeof(jint) < wordSize && !Bytes::is_Java_byte_ordering_different())
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	239 // big-endian LP64
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	240 return (jint*)(slot_addr + 1) - 1;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	241 else
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	242 return (jint*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	243 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	244 static jlong long_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	245 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	246 return (jlong) slot_addr;
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	247 } else {
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	248 return Bytes::get_native_u8((address)slot_addr);
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	249 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	250 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	251 static void set_long_in_slot(intptr_t* slot_addr, jlong value) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	252 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	253 (jlong) slot_addr = value;
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	254 } else {
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	255 Bytes::put_native_u8((address)slot_addr, value);
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	256 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	257 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	258 static void get_jvalue_in_slot(intptr_t* slot_addr, BasicType type, jvalue* value) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	259 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	260 case T_BOOLEAN: value->z = *int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	261 case T_CHAR: value->c = *int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	262 case T_BYTE: value->b = *int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	263 case T_SHORT: value->s = *int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	264 case T_INT: value->i = *int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	265 case T_LONG: value->j = long_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	266 case T_FLOAT: value->f = (jfloat)int_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	267 case T_DOUBLE: value->d = jdouble_cast(long_in_slot(slot_addr)); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	268 case T_OBJECT: value->l = (jobject)*oop_addr_in_slot(slot_addr); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	269 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	270 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	271 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	272 static void set_jvalue_in_slot(intptr_t* slot_addr, BasicType type, jvalue* value) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	273 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	274 case T_BOOLEAN: *int_addr_in_slot(slot_addr) = (value->z != 0); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	275 case T_CHAR: *int_addr_in_slot(slot_addr) = value->c; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	276 case T_BYTE: *int_addr_in_slot(slot_addr) = value->b; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	277 case T_SHORT: *int_addr_in_slot(slot_addr) = value->s; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	278 case T_INT: *int_addr_in_slot(slot_addr) = value->i; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	279 case T_LONG: set_long_in_slot(slot_addr, value->j); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	280 case T_FLOAT: (jfloat)int_addr_in_slot(slot_addr) = value->f; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	281 case T_DOUBLE: set_long_in_slot(slot_addr, jlong_cast(value->d)); break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	282 case T_OBJECT: *oop_addr_in_slot(slot_addr) = (oop) value->l; break;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	283 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	284 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	285 }
0 a61af66fc99e Initial load duke parents: diff changeset	286 };
a61af66fc99e Initial load duke parents: diff changeset	287
a61af66fc99e Initial load duke parents: diff changeset	288 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	289 // The interpreter generator.
a61af66fc99e Initial load duke parents: diff changeset	290
a61af66fc99e Initial load duke parents: diff changeset	291 class Template;
a61af66fc99e Initial load duke parents: diff changeset	292 class AbstractInterpreterGenerator: public StackObj {
a61af66fc99e Initial load duke parents: diff changeset	293 protected:
a61af66fc99e Initial load duke parents: diff changeset	294 InterpreterMacroAssembler* _masm;
a61af66fc99e Initial load duke parents: diff changeset	295
a61af66fc99e Initial load duke parents: diff changeset	296 // shared code sequences
a61af66fc99e Initial load duke parents: diff changeset	297 // Converter for native abi result to tosca result
a61af66fc99e Initial load duke parents: diff changeset	298 address generate_result_handler_for(BasicType type);
a61af66fc99e Initial load duke parents: diff changeset	299 address generate_slow_signature_handler();
a61af66fc99e Initial load duke parents: diff changeset	300
a61af66fc99e Initial load duke parents: diff changeset	301 // entry point generator
a61af66fc99e Initial load duke parents: diff changeset	302 address generate_method_entry(AbstractInterpreter::MethodKind kind);
a61af66fc99e Initial load duke parents: diff changeset	303
a61af66fc99e Initial load duke parents: diff changeset	304 void bang_stack_shadow_pages(bool native_call);
a61af66fc99e Initial load duke parents: diff changeset	305
a61af66fc99e Initial load duke parents: diff changeset	306 void generate_all();
a61af66fc99e Initial load duke parents: diff changeset	307
a61af66fc99e Initial load duke parents: diff changeset	308 public:
a61af66fc99e Initial load duke parents: diff changeset	309 AbstractInterpreterGenerator(StubQueue* _code);
a61af66fc99e Initial load duke parents: diff changeset	310 };
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	311
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	312 #endif // SHARE_VM_INTERPRETER_ABSTRACTINTERPRETER_HPP

Mercurial > hg > graal-compiler

annotate src/share/vm/interpreter/abstractInterpreter.hpp @ 3992:d1bdeef3e3e2