annotate src/share/vm/interpreter/abstractInterpreter.hpp @ 6972:bd7a7ce2e264

6830717: replay of compilations would help with debugging Summary: When java process crashed in compiler thread, repeat the compilation process will help finding root cause. This is done with using SA dump application class data and replay data from core dump, then use debug version of jvm to recompile the problematic java method. Reviewed-by: kvn, twisti, sspitsyn Contributed-by: yumin.qi@oracle.com
author minqi
date Mon, 12 Nov 2012 14:03:53 -0800
parents a3e2f723f2a5
children f34d701e952e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
2 * Copyright (c) 1997, 2012, 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)
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
102 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
103 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
104 + (vmIntrinsics::LAST_MH_SIG_POLY
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
105 - vmIntrinsics::FIRST_MH_SIG_POLY)),
0
a61af66fc99e Initial load
duke
parents:
diff changeset
106 java_lang_math_sin, // implementation of java.lang.Math.sin (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
107 java_lang_math_cos, // implementation of java.lang.Math.cos (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
108 java_lang_math_tan, // implementation of java.lang.Math.tan (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
109 java_lang_math_abs, // implementation of java.lang.Math.abs (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
110 java_lang_math_sqrt, // implementation of java.lang.Math.sqrt (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
111 java_lang_math_log, // implementation of java.lang.Math.log (x)
a61af66fc99e Initial load
duke
parents:
diff changeset
112 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
113 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
114 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
115 java_lang_ref_reference_get, // implementation of java.lang.ref.Reference.get()
0
a61af66fc99e Initial load
duke
parents:
diff changeset
116 number_of_method_entries,
a61af66fc99e Initial load
duke
parents:
diff changeset
117 invalid = -1
a61af66fc99e Initial load
duke
parents:
diff changeset
118 };
a61af66fc99e Initial load
duke
parents:
diff changeset
119
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
120 // 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
121 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
122 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
123 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
124 else
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
125 return vmIntrinsics::_none;
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
126 }
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
127
0
a61af66fc99e Initial load
duke
parents:
diff changeset
128 enum SomeConstants {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 number_of_result_handlers = 10 // number of result handlers for native calls
a61af66fc99e Initial load
duke
parents:
diff changeset
130 };
a61af66fc99e Initial load
duke
parents:
diff changeset
131
a61af66fc99e Initial load
duke
parents:
diff changeset
132 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
133 static StubQueue* _code; // the interpreter code (codelets)
a61af66fc99e Initial load
duke
parents:
diff changeset
134
a61af66fc99e Initial load
duke
parents:
diff changeset
135 static bool _notice_safepoints; // true if safepoints are activated
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 static address _native_entry_begin; // Region for native entry code
a61af66fc99e Initial load
duke
parents:
diff changeset
138 static address _native_entry_end;
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 // method entry points
a61af66fc99e Initial load
duke
parents:
diff changeset
141 static address _entry_table[number_of_method_entries]; // entry points for a given method
a61af66fc99e Initial load
duke
parents:
diff changeset
142 static address _native_abi_to_tosca[number_of_result_handlers]; // for native method result handlers
a61af66fc99e Initial load
duke
parents:
diff changeset
143 static address _slow_signature_handler; // the native method generic (slow) signature handler
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 static address _rethrow_exception_entry; // rethrows an activation in previous frame
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 friend class AbstractInterpreterGenerator;
a61af66fc99e Initial load
duke
parents:
diff changeset
148 friend class InterpreterGenerator;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 friend class InterpreterMacroAssembler;
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // Initialization/debugging
a61af66fc99e Initial load
duke
parents:
diff changeset
153 static void initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
154 static StubQueue* code() { return _code; }
a61af66fc99e Initial load
duke
parents:
diff changeset
155
a61af66fc99e Initial load
duke
parents:
diff changeset
156
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // Method activation
a61af66fc99e Initial load
duke
parents:
diff changeset
158 static MethodKind method_kind(methodHandle m);
a61af66fc99e Initial load
duke
parents:
diff changeset
159 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
160 static address entry_for_method(methodHandle m) { return entry_for_kind(method_kind(m)); }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
161
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
162 // used for bootstrapping method handles:
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6084
diff changeset
163 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
164
0
a61af66fc99e Initial load
duke
parents:
diff changeset
165 static void print_method_kind(MethodKind kind) PRODUCT_RETURN;
a61af66fc99e Initial load
duke
parents:
diff changeset
166
1174
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 900
diff changeset
167 static bool can_be_compiled(methodHandle m);
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 900
diff changeset
168
0
a61af66fc99e Initial load
duke
parents:
diff changeset
169 // Runtime support
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // length = invoke bytecode length (to advance to next bytecode)
a61af66fc99e Initial load
duke
parents:
diff changeset
172 static address deopt_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
173 static address return_entry (TosState state, int length) { ShouldNotReachHere(); return NULL; }
a61af66fc99e Initial load
duke
parents:
diff changeset
174
a61af66fc99e Initial load
duke
parents:
diff changeset
175 static address rethrow_exception_entry() { return _rethrow_exception_entry; }
a61af66fc99e Initial load
duke
parents:
diff changeset
176
a61af66fc99e Initial load
duke
parents:
diff changeset
177 // Activation size in words for a method that is just being called.
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // 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
179 static int size_top_interpreter_activation(Method* method);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 // Deoptimization support
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
182 // Compute the entry address for continuation after
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
183 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
184 address bcp,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
185 int callee_parameters,
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
186 bool is_top_frame);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
187 // Compute the entry address for reexecution
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
188 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
189 // Deoptimization should reexecute this bytecode
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 726
diff changeset
190 static bool bytecode_should_reexecute(Bytecodes::Code code);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
191
a61af66fc99e Initial load
duke
parents:
diff changeset
192 // 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
193 static int size_activation(Method* method,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
194 int temps,
a61af66fc99e Initial load
duke
parents:
diff changeset
195 int popframe_args,
a61af66fc99e Initial load
duke
parents:
diff changeset
196 int monitors,
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
197 int caller_actual_parameters,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
198 int callee_params,
a61af66fc99e Initial load
duke
parents:
diff changeset
199 int callee_locals,
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
200 bool is_top_frame) {
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
201 return layout_activation(method,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
202 temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
203 popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
204 monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
205 caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
206 callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
207 callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
208 (frame*)NULL,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
209 (frame*)NULL,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
210 is_top_frame);
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
211 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
212
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
213 static int layout_activation(Method* method,
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
214 int temps,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
215 int popframe_args,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
216 int monitors,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
217 int caller_actual_parameters,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
218 int callee_params,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
219 int callee_locals,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
220 frame* caller,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
221 frame* interpreter_frame,
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3249
diff changeset
222 bool is_top_frame);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
223
a61af66fc99e Initial load
duke
parents:
diff changeset
224 // Runtime support
a61af66fc99e Initial load
duke
parents:
diff changeset
225 static bool is_not_reached( methodHandle method, int bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
226 // Safepoint support
a61af66fc99e Initial load
duke
parents:
diff changeset
227 static void notice_safepoints() { ShouldNotReachHere(); } // stops the thread when reaching a safepoint
a61af66fc99e Initial load
duke
parents:
diff changeset
228 static void ignore_safepoints() { ShouldNotReachHere(); } // ignores safepoints
a61af66fc99e Initial load
duke
parents:
diff changeset
229
a61af66fc99e Initial load
duke
parents:
diff changeset
230 // Support for native calls
a61af66fc99e Initial load
duke
parents:
diff changeset
231 static address slow_signature_handler() { return _slow_signature_handler; }
a61af66fc99e Initial load
duke
parents:
diff changeset
232 static address result_handler(BasicType type) { return _native_abi_to_tosca[BasicType_as_index(type)]; }
a61af66fc99e Initial load
duke
parents:
diff changeset
233 static int BasicType_as_index(BasicType type); // computes index into result_handler_by_index table
a61af66fc99e Initial load
duke
parents:
diff changeset
234 static bool in_native_entry(address pc) { return _native_entry_begin <= pc && pc < _native_entry_end; }
a61af66fc99e Initial load
duke
parents:
diff changeset
235 // Debugging/printing
a61af66fc99e Initial load
duke
parents:
diff changeset
236 static void print(); // prints the interpreter code
a61af66fc99e Initial load
duke
parents:
diff changeset
237
a61af66fc99e Initial load
duke
parents:
diff changeset
238 public:
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
239 // Interpreter helpers
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
240 const static int stackElementWords = 1;
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
241 const static int stackElementSize = stackElementWords * wordSize;
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
242 const static int logStackElementSize = LogBytesPerWord;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
243
a61af66fc99e Initial load
duke
parents:
diff changeset
244 // Local values relative to locals[n]
a61af66fc99e Initial load
duke
parents:
diff changeset
245 static int local_offset_in_bytes(int n) {
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
246 return ((frame::interpreter_frame_expression_stack_direction() * n) * stackElementSize);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
247 }
a61af66fc99e Initial load
duke
parents:
diff changeset
248
726
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
249 // access to stacked values according to type:
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
250 static oop* oop_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
251 return (oop*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
252 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
253 static jint* int_addr_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
254 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
255 // big-endian LP64
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
256 return (jint*)(slot_addr + 1) - 1;
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
257 else
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
258 return (jint*) slot_addr;
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
259 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
260 static jlong long_in_slot(intptr_t* slot_addr) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
261 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
262 return *(jlong*) slot_addr;
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
263 } else {
726
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
264 return Bytes::get_native_u8((address)slot_addr);
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
265 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
266 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
267 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
268 if (sizeof(intptr_t) >= sizeof(jlong)) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
269 *(jlong*) slot_addr = value;
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1174
diff changeset
270 } else {
726
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
271 Bytes::put_native_u8((address)slot_addr, value);
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
272 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
273 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
274 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
275 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
276 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
277 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
278 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
279 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
280 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
281 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
282 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
283 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
284 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
285 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
286 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
287 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
288 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
289 switch (type) {
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
290 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
291 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
292 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
293 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
294 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
295 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
296 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
297 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
298 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
299 default: ShouldNotReachHere();
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
300 }
be93aad57795 6655646: dynamic languages need dynamically linked call sites
jrose
parents: 710
diff changeset
301 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
302 };
a61af66fc99e Initial load
duke
parents:
diff changeset
303
a61af66fc99e Initial load
duke
parents:
diff changeset
304 //------------------------------------------------------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
305 // The interpreter generator.
a61af66fc99e Initial load
duke
parents:
diff changeset
306
a61af66fc99e Initial load
duke
parents:
diff changeset
307 class Template;
a61af66fc99e Initial load
duke
parents:
diff changeset
308 class AbstractInterpreterGenerator: public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
309 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
310 InterpreterMacroAssembler* _masm;
a61af66fc99e Initial load
duke
parents:
diff changeset
311
a61af66fc99e Initial load
duke
parents:
diff changeset
312 // shared code sequences
a61af66fc99e Initial load
duke
parents:
diff changeset
313 // Converter for native abi result to tosca result
a61af66fc99e Initial load
duke
parents:
diff changeset
314 address generate_result_handler_for(BasicType type);
a61af66fc99e Initial load
duke
parents:
diff changeset
315 address generate_slow_signature_handler();
a61af66fc99e Initial load
duke
parents:
diff changeset
316
a61af66fc99e Initial load
duke
parents:
diff changeset
317 // entry point generator
a61af66fc99e Initial load
duke
parents:
diff changeset
318 address generate_method_entry(AbstractInterpreter::MethodKind kind);
a61af66fc99e Initial load
duke
parents:
diff changeset
319
a61af66fc99e Initial load
duke
parents:
diff changeset
320 void bang_stack_shadow_pages(bool native_call);
a61af66fc99e Initial load
duke
parents:
diff changeset
321
a61af66fc99e Initial load
duke
parents:
diff changeset
322 void generate_all();
6926
a3e2f723f2a5 8000780: make Zero build and run with JDK8
twisti
parents: 6725
diff changeset
323 void initialize_method_handle_entries();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
324
a61af66fc99e Initial load
duke
parents:
diff changeset
325 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
326 AbstractInterpreterGenerator(StubQueue* _code);
a61af66fc99e Initial load
duke
parents:
diff changeset
327 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
328
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
329 #endif // SHARE_VM_INTERPRETER_ABSTRACTINTERPRETER_HPP