truffle: src/share/vm/interpreter/abstractInterpreter.hpp annotate

annotate src/share/vm/interpreter/abstractInterpreter.hpp @ 14649:f6301b007a16

6498581: ThreadInterruptTest3 produces wrong output on Windows Summary: There is race condition between os::interrupt and os::is_interrupted on Windows. In JVM_Sleep(Thread.sleep), check if thread gets interrupted, it may see interrupted but not really interrupted so cause spurious waking up (early return from sleep). Fix by checking if interrupt event really gets set thus prevent false return. For intrinsic of _isInterrupted, on Windows, go fastpath only on bit not set. Reviewed-by: acorn, kvn Contributed-by: david.holmes@oracle.com, yumin.qi@oracle.com

author	minqi
date	Wed, 26 Feb 2014 15:20:41 -0800
parents	2b8e28fdf503
children	d8041d695d19 0bf37f737702

rev	line source
0 a61af66fc99e Initial load duke parents: diff changeset	1 /*
11080 b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32 drchase parents: 8727 diff changeset	2 * Copyright (c) 1997, 2013, 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"
7180 f34d701e952e 8003935: Simplify the needed includes for using Thread::current() stefank parents: 6926 diff changeset	30 #include "runtime/thread.inline.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	31 #include "runtime/vmThread.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	32 #include "utilities/top.hpp"
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 11080 diff changeset	33 #ifdef TARGET_ARCH_x86
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 11080 diff changeset	34 # include "interp_masm_x86.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	35 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	36 #ifdef TARGET_ARCH_MODEL_sparc
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	37 # include "interp_masm_sparc.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	38 #endif
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	39 #ifdef TARGET_ARCH_MODEL_zero
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	40 # include "interp_masm_zero.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	41 #endif
2192 b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	42 #ifdef TARGET_ARCH_MODEL_arm
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	43 # include "interp_masm_arm.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	44 #endif
14391 d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64 goetz parents: 8727 diff changeset	45 #ifdef TARGET_ARCH_MODEL_ppc_32
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64 goetz parents: 8727 diff changeset	46 # include "interp_masm_ppc_32.hpp"
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64 goetz parents: 8727 diff changeset	47 #endif
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64 goetz parents: 8727 diff changeset	48 #ifdef TARGET_ARCH_MODEL_ppc_64
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64 goetz parents: 8727 diff changeset	49 # include "interp_masm_ppc_64.hpp"
2192 b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository bobv parents: 1972 diff changeset	50 #endif
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	51
605 98cb887364d3 6810672: Comment typos twisti parents: 0 diff changeset	52 // This file contains the platform-independent parts
0 a61af66fc99e Initial load duke parents: diff changeset	53 // of the abstract interpreter and the abstract interpreter generator.
a61af66fc99e Initial load duke parents: diff changeset	54
a61af66fc99e Initial load duke parents: diff changeset	55 // Organization of the interpreter(s). There exists two different interpreters in hotpot
a61af66fc99e Initial load duke parents: diff changeset	56 // an assembly language version (aka template interpreter) and a high level language version
a61af66fc99e Initial load duke parents: diff changeset	57 // (aka c++ interpreter). Th division of labor is as follows:
a61af66fc99e Initial load duke parents: diff changeset	58
a61af66fc99e Initial load duke parents: diff changeset	59 // Template Interpreter C++ Interpreter Functionality
a61af66fc99e Initial load duke parents: diff changeset	60 //
a61af66fc99e Initial load duke parents: diff changeset	61 // templateTable* bytecodeInterpreter* actual interpretation of bytecodes
a61af66fc99e Initial load duke parents: diff changeset	62 //
a61af66fc99e Initial load duke parents: diff changeset	63 // templateInterpreter* cppInterpreter* generation of assembly code that creates
a61af66fc99e Initial load duke parents: diff changeset	64 // and manages interpreter runtime frames.
a61af66fc99e Initial load duke parents: diff changeset	65 // Also code for populating interpreter
a61af66fc99e Initial load duke parents: diff changeset	66 // frames created during deoptimization.
a61af66fc99e Initial load duke parents: diff changeset	67 //
a61af66fc99e Initial load duke parents: diff changeset	68 // For both template and c++ interpreter. There are common files for aspects of the interpreter
a61af66fc99e Initial load duke parents: diff changeset	69 // that are generic to both interpreters. This is the layout:
a61af66fc99e Initial load duke parents: diff changeset	70 //
a61af66fc99e Initial load duke parents: diff changeset	71 // abstractInterpreter.hpp: generic description of the interpreter.
a61af66fc99e Initial load duke parents: diff changeset	72 // interpreter*: generic frame creation and handling.
a61af66fc99e Initial load duke parents: diff changeset	73 //
a61af66fc99e Initial load duke parents: diff changeset	74
a61af66fc99e Initial load duke parents: diff changeset	75 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	76 // The C++ interface to the bytecode interpreter(s).
a61af66fc99e Initial load duke parents: diff changeset	77
a61af66fc99e Initial load duke parents: diff changeset	78 class AbstractInterpreter: AllStatic {
a61af66fc99e Initial load duke parents: diff changeset	79 friend class VMStructs;
a61af66fc99e Initial load duke parents: diff changeset	80 friend class Interpreter;
a61af66fc99e Initial load duke parents: diff changeset	81 friend class CppInterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	82 public:
a61af66fc99e Initial load duke parents: diff changeset	83 enum MethodKind {
a61af66fc99e Initial load duke parents: diff changeset	84 zerolocals, // method needs locals initialization
a61af66fc99e Initial load duke parents: diff changeset	85 zerolocals_synchronized, // method needs locals initialization & is synchronized
a61af66fc99e Initial load duke parents: diff changeset	86 native, // native method
a61af66fc99e Initial load duke parents: diff changeset	87 native_synchronized, // native method & is synchronized
a61af66fc99e Initial load duke parents: diff changeset	88 empty, // empty method (code: _return)
a61af66fc99e Initial load duke parents: diff changeset	89 accessor, // accessor method (code: _aload_0, _getfield, _(a\|i)return)
a61af66fc99e Initial load duke parents: diff changeset	90 abstract, // abstract method (throws an AbstractMethodException)
6266 1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	91 method_handle_invoke_FIRST, // java.lang.invoke.MethodHandles::invokeExact, etc.
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	92 method_handle_invoke_LAST = (method_handle_invoke_FIRST
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	93 + (vmIntrinsics::LAST_MH_SIG_POLY
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	94 - vmIntrinsics::FIRST_MH_SIG_POLY)),
0 a61af66fc99e Initial load duke parents: diff changeset	95 java_lang_math_sin, // implementation of java.lang.Math.sin (x)
a61af66fc99e Initial load duke parents: diff changeset	96 java_lang_math_cos, // implementation of java.lang.Math.cos (x)
a61af66fc99e Initial load duke parents: diff changeset	97 java_lang_math_tan, // implementation of java.lang.Math.tan (x)
a61af66fc99e Initial load duke parents: diff changeset	98 java_lang_math_abs, // implementation of java.lang.Math.abs (x)
a61af66fc99e Initial load duke parents: diff changeset	99 java_lang_math_sqrt, // implementation of java.lang.Math.sqrt (x)
a61af66fc99e Initial load duke parents: diff changeset	100 java_lang_math_log, // implementation of java.lang.Math.log (x)
a61af66fc99e Initial load duke parents: diff changeset	101 java_lang_math_log10, // implementation of java.lang.Math.log10 (x)
6084 6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86 roland parents: 3960 diff changeset	102 java_lang_math_pow, // implementation of java.lang.Math.pow (x,y)
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86 roland parents: 3960 diff changeset	103 java_lang_math_exp, // implementation of java.lang.Math.exp (x)
3249 e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error johnc parents: 2357 diff changeset	104 java_lang_ref_reference_get, // implementation of java.lang.ref.Reference.get()
11080 b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32 drchase parents: 8727 diff changeset	105 java_util_zip_CRC32_update, // implementation of java.util.zip.CRC32.update()
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32 drchase parents: 8727 diff changeset	106 java_util_zip_CRC32_updateBytes, // implementation of java.util.zip.CRC32.updateBytes()
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32 drchase parents: 8727 diff changeset	107 java_util_zip_CRC32_updateByteBuffer, // implementation of java.util.zip.CRC32.updateByteBuffer()
0 a61af66fc99e Initial load duke parents: diff changeset	108 number_of_method_entries,
a61af66fc99e Initial load duke parents: diff changeset	109 invalid = -1
a61af66fc99e Initial load duke parents: diff changeset	110 };
a61af66fc99e Initial load duke parents: diff changeset	111
6266 1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	112 // Conversion from the part of the above enum to vmIntrinsics::_invokeExact, etc.
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	113 static vmIntrinsics::ID method_handle_intrinsic(MethodKind kind) {
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	114 if (kind >= method_handle_invoke_FIRST && kind <= method_handle_invoke_LAST)
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	115 return (vmIntrinsics::ID)( vmIntrinsics::FIRST_MH_SIG_POLY + (kind - method_handle_invoke_FIRST) );
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	116 else
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	117 return vmIntrinsics::_none;
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	118 }
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	119
0 a61af66fc99e Initial load duke parents: diff changeset	120 enum SomeConstants {
a61af66fc99e Initial load duke parents: diff changeset	121 number_of_result_handlers = 10 // number of result handlers for native calls
a61af66fc99e Initial load duke parents: diff changeset	122 };
a61af66fc99e Initial load duke parents: diff changeset	123
a61af66fc99e Initial load duke parents: diff changeset	124 protected:
a61af66fc99e Initial load duke parents: diff changeset	125 static StubQueue* _code; // the interpreter code (codelets)
a61af66fc99e Initial load duke parents: diff changeset	126
a61af66fc99e Initial load duke parents: diff changeset	127 static bool _notice_safepoints; // true if safepoints are activated
a61af66fc99e Initial load duke parents: diff changeset	128
a61af66fc99e Initial load duke parents: diff changeset	129 static address _native_entry_begin; // Region for native entry code
a61af66fc99e Initial load duke parents: diff changeset	130 static address _native_entry_end;
a61af66fc99e Initial load duke parents: diff changeset	131
a61af66fc99e Initial load duke parents: diff changeset	132 // method entry points
a61af66fc99e Initial load duke parents: diff changeset	133 static address _entry_table[number_of_method_entries]; // entry points for a given method
a61af66fc99e Initial load duke parents: diff changeset	134 static address _native_abi_to_tosca[number_of_result_handlers]; // for native method result handlers
a61af66fc99e Initial load duke parents: diff changeset	135 static address _slow_signature_handler; // the native method generic (slow) signature handler
a61af66fc99e Initial load duke parents: diff changeset	136
a61af66fc99e Initial load duke parents: diff changeset	137 static address _rethrow_exception_entry; // rethrows an activation in previous frame
a61af66fc99e Initial load duke parents: diff changeset	138
a61af66fc99e Initial load duke parents: diff changeset	139 friend class AbstractInterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	140 friend class InterpreterGenerator;
a61af66fc99e Initial load duke parents: diff changeset	141 friend class InterpreterMacroAssembler;
a61af66fc99e Initial load duke parents: diff changeset	142
a61af66fc99e Initial load duke parents: diff changeset	143 public:
a61af66fc99e Initial load duke parents: diff changeset	144 // Initialization/debugging
a61af66fc99e Initial load duke parents: diff changeset	145 static void initialize();
a61af66fc99e Initial load duke parents: diff changeset	146 static StubQueue* code() { return _code; }
a61af66fc99e Initial load duke parents: diff changeset	147
a61af66fc99e Initial load duke parents: diff changeset	148
a61af66fc99e Initial load duke parents: diff changeset	149 // Method activation
a61af66fc99e Initial load duke parents: diff changeset	150 static MethodKind method_kind(methodHandle m);
a61af66fc99e Initial load duke parents: diff changeset	151 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	152 static address entry_for_method(methodHandle m) { return entry_for_kind(method_kind(m)); }
0 a61af66fc99e Initial load duke parents: diff changeset	153
6266 1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	154 // used for bootstrapping method handles:
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	155 static void set_entry_for_kind(MethodKind k, address e);
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code twisti parents: 6084 diff changeset	156
0 a61af66fc99e Initial load duke parents: diff changeset	157 static void print_method_kind(MethodKind kind) PRODUCT_RETURN;
a61af66fc99e Initial load duke parents: diff changeset	158
1174 ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly never parents: 900 diff changeset	159 static bool can_be_compiled(methodHandle m);
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly never parents: 900 diff changeset	160
0 a61af66fc99e Initial load duke parents: diff changeset	161 // Runtime support
a61af66fc99e Initial load duke parents: diff changeset	162
a61af66fc99e Initial load duke parents: diff changeset	163 // length = invoke bytecode length (to advance to next bytecode)
13010 bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM twisti parents: 12962 diff changeset	164 static address deopt_entry(TosState state, int length) { ShouldNotReachHere(); return NULL; }
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM twisti parents: 12962 diff changeset	165 static address return_entry(TosState state, int length, Bytecodes::Code code) { ShouldNotReachHere(); return NULL; }
0 a61af66fc99e Initial load duke parents: diff changeset	166
a61af66fc99e Initial load duke parents: diff changeset	167 static address rethrow_exception_entry() { return _rethrow_exception_entry; }
a61af66fc99e Initial load duke parents: diff changeset	168
a61af66fc99e Initial load duke parents: diff changeset	169 // Activation size in words for a method that is just being called.
a61af66fc99e Initial load duke parents: diff changeset	170 // Parameters haven't been pushed so count them too.
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	171 static int size_top_interpreter_activation(Method* method);
0 a61af66fc99e Initial load duke parents: diff changeset	172
a61af66fc99e Initial load duke parents: diff changeset	173 // Deoptimization support
900 9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	174 // Compute the entry address for continuation after
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	175 static address deopt_continue_after_entry(Method* method,
900 9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	176 address bcp,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	177 int callee_parameters,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	178 bool is_top_frame);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	179 // Compute the entry address for reexecution
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	180 static address deopt_reexecute_entry(Method* method, address bcp);
900 9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	181 // Deoptimization should reexecute this bytecode
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot cfang parents: 726 diff changeset	182 static bool bytecode_should_reexecute(Bytecodes::Code code);
0 a61af66fc99e Initial load duke parents: diff changeset	183
a61af66fc99e Initial load duke parents: diff changeset	184 // share implementation of size_activation and layout_activation:
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	185 static int size_activation(Method* method,
0 a61af66fc99e Initial load duke parents: diff changeset	186 int temps,
a61af66fc99e Initial load duke parents: diff changeset	187 int popframe_args,
a61af66fc99e Initial load duke parents: diff changeset	188 int monitors,
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	189 int caller_actual_parameters,
0 a61af66fc99e Initial load duke parents: diff changeset	190 int callee_params,
a61af66fc99e Initial load duke parents: diff changeset	191 int callee_locals,
8727 0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	192 bool is_top_frame,
0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	193 bool is_bottom_frame) {
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	194 return layout_activation(method,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	195 temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	196 popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	197 monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	198 caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	199 callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	200 callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	201 (frame*)NULL,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	202 (frame*)NULL,
8727 0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	203 is_top_frame,
0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	204 is_bottom_frame);
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	205 }
0 a61af66fc99e Initial load duke parents: diff changeset	206
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 6266 diff changeset	207 static int layout_activation(Method* method,
3369 3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	208 int temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	209 int popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	210 int monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	211 int caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	212 int callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	213 int callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	214 frame* caller,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method never parents: 3249 diff changeset	215 frame* interpreter_frame,
8727 0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	216 bool is_top_frame,
0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates roland parents: 7180 diff changeset	217 bool is_bottom_frame);
0 a61af66fc99e Initial load duke parents: diff changeset	218
a61af66fc99e Initial load duke parents: diff changeset	219 // Runtime support
a61af66fc99e Initial load duke parents: diff changeset	220 static bool is_not_reached( methodHandle method, int bci);
a61af66fc99e Initial load duke parents: diff changeset	221 // Safepoint support
a61af66fc99e Initial load duke parents: diff changeset	222 static void notice_safepoints() { ShouldNotReachHere(); } // stops the thread when reaching a safepoint
a61af66fc99e Initial load duke parents: diff changeset	223 static void ignore_safepoints() { ShouldNotReachHere(); } // ignores safepoints
a61af66fc99e Initial load duke parents: diff changeset	224
a61af66fc99e Initial load duke parents: diff changeset	225 // Support for native calls
a61af66fc99e Initial load duke parents: diff changeset	226 static address slow_signature_handler() { return _slow_signature_handler; }
a61af66fc99e Initial load duke parents: diff changeset	227 static address result_handler(BasicType type) { return _native_abi_to_tosca[BasicType_as_index(type)]; }
a61af66fc99e Initial load duke parents: diff changeset	228 static int BasicType_as_index(BasicType type); // computes index into result_handler_by_index table
a61af66fc99e Initial load duke parents: diff changeset	229 static bool in_native_entry(address pc) { return _native_entry_begin <= pc && pc < _native_entry_end; }
a61af66fc99e Initial load duke parents: diff changeset	230 // Debugging/printing
a61af66fc99e Initial load duke parents: diff changeset	231 static void print(); // prints the interpreter code
a61af66fc99e Initial load duke parents: diff changeset	232
a61af66fc99e Initial load duke parents: diff changeset	233 public:
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	234 // Interpreter helpers
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	235 const static int stackElementWords = 1;
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	236 const static int stackElementSize = stackElementWords * wordSize;
2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	237 const static int logStackElementSize = LogBytesPerWord;
0 a61af66fc99e Initial load duke parents: diff changeset	238
a61af66fc99e Initial load duke parents: diff changeset	239 // Local values relative to locals[n]
a61af66fc99e Initial load duke parents: diff changeset	240 static int local_offset_in_bytes(int n) {
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	241 return ((frame::interpreter_frame_expression_stack_direction() * n) * stackElementSize);
0 a61af66fc99e Initial load duke parents: diff changeset	242 }
a61af66fc99e Initial load duke parents: diff changeset	243
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	244 // access to stacked values according to type:
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	245 static oop* oop_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	246 return (oop*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	247 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	248 static jint* int_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	249 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	250 // big-endian LP64
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	251 return (jint*)(slot_addr + 1) - 1;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	252 else
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	253 return (jint*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	254 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	255 static jlong long_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	256 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	257 return (jlong) slot_addr;
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	258 } else {
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	259 return Bytes::get_native_u8((address)slot_addr);
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	260 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	261 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	262 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	263 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	264 (jlong) slot_addr = value;
1506 2338d41fbd81 6943304: remove tagged stack interpreter twisti parents: 1174 diff changeset	265 } else {
726 be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	266 Bytes::put_native_u8((address)slot_addr, value);
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	267 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	268 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	269 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	270 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	271 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	272 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	273 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	274 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	275 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	276 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	277 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	278 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	279 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	280 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	281 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	282 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	283 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	284 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	285 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	286 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	287 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	288 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	289 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	290 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	291 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	292 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	293 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	294 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	295 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites jrose parents: 710 diff changeset	296 }
0 a61af66fc99e Initial load duke parents: diff changeset	297 };
a61af66fc99e Initial load duke parents: diff changeset	298
a61af66fc99e Initial load duke parents: diff changeset	299 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	300 // The interpreter generator.
a61af66fc99e Initial load duke parents: diff changeset	301
a61af66fc99e Initial load duke parents: diff changeset	302 class Template;
a61af66fc99e Initial load duke parents: diff changeset	303 class AbstractInterpreterGenerator: public StackObj {
a61af66fc99e Initial load duke parents: diff changeset	304 protected:
a61af66fc99e Initial load duke parents: diff changeset	305 InterpreterMacroAssembler* _masm;
a61af66fc99e Initial load duke parents: diff changeset	306
a61af66fc99e Initial load duke parents: diff changeset	307 // shared code sequences
a61af66fc99e Initial load duke parents: diff changeset	308 // Converter for native abi result to tosca result
a61af66fc99e Initial load duke parents: diff changeset	309 address generate_result_handler_for(BasicType type);
a61af66fc99e Initial load duke parents: diff changeset	310 address generate_slow_signature_handler();
a61af66fc99e Initial load duke parents: diff changeset	311
a61af66fc99e Initial load duke parents: diff changeset	312 // entry point generator
a61af66fc99e Initial load duke parents: diff changeset	313 address generate_method_entry(AbstractInterpreter::MethodKind kind);
a61af66fc99e Initial load duke parents: diff changeset	314
a61af66fc99e Initial load duke parents: diff changeset	315 void bang_stack_shadow_pages(bool native_call);
a61af66fc99e Initial load duke parents: diff changeset	316
a61af66fc99e Initial load duke parents: diff changeset	317 void generate_all();
6926 a3e2f723f2a5 8000780: make Zero build and run with JDK8 twisti parents: 6725 diff changeset	318 void initialize_method_handle_entries();
0 a61af66fc99e Initial load duke parents: diff changeset	319
a61af66fc99e Initial load duke parents: diff changeset	320 public:
a61af66fc99e Initial load duke parents: diff changeset	321 AbstractInterpreterGenerator(StubQueue* _code);
a61af66fc99e Initial load duke parents: diff changeset	322 };
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	323
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1552 diff changeset	324 #endif // SHARE_VM_INTERPRETER_ABSTRACTINTERPRETER_HPP

Mercurial > hg > truffle

annotate src/share/vm/interpreter/abstractInterpreter.hpp @ 14649:f6301b007a16