annotate src/cpu/x86/vm/templateInterpreter_x86_64.cpp @ 15388:769fc3629f59

Add phase FlowSensitiveReductionPhase. It is possible to remove GuardingPiNodes, CheckCastNodes, and FixedGuards during HighTier under certain conditions (control-flow sensitive conditions). The phase added in this commit (FlowSensitiveReductionPhase) does that, and in addition replaces usages with "downcasting" PiNodes when possible thus resulting in more precise object stamps (e.g., non-null). Finally, usages of floating, side-effects free, expressions are also simplified (as per control-flow sensitive conditions). The newly added phase runs only during HighTier and can be deactivated using Graal option FlowSensitiveReduction (it is active by default).
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Fri, 25 Apr 2014 16:50:52 +0200
parents 4062efea018b
children 52b4284cb496
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
2 * Copyright (c) 2003, 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: 1783
diff changeset
25 #include "precompiled.hpp"
7199
cd3d6a6b95d9 8003240: x86: move MacroAssembler into separate file
twisti
parents: 6725
diff changeset
26 #include "asm/macroAssembler.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
27 #include "interpreter/bytecodeHistogram.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
28 #include "interpreter/interpreter.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
29 #include "interpreter/interpreterGenerator.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
30 #include "interpreter/interpreterRuntime.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
31 #include "interpreter/templateTable.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
32 #include "oops/arrayOop.hpp"
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
33 #include "oops/methodData.hpp"
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
34 #include "oops/method.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
35 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
36 #include "prims/jvmtiExport.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
37 #include "prims/jvmtiThreadState.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
38 #include "runtime/arguments.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
39 #include "runtime/deoptimization.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
40 #include "runtime/frame.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
41 #include "runtime/sharedRuntime.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
42 #include "runtime/stubRoutines.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
43 #include "runtime/synchronizer.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
44 #include "runtime/timer.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
45 #include "runtime/vframeArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1783
diff changeset
46 #include "utilities/debug.hpp"
8001
db9981fd3124 8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents: 7402
diff changeset
47 #include "utilities/macros.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 #define __ _masm->
a61af66fc99e Initial load
duke
parents:
diff changeset
50
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
51 #ifndef CC_INTERP
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
52
0
a61af66fc99e Initial load
duke
parents:
diff changeset
53 const int method_offset = frame::interpreter_frame_method_offset * wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
54 const int bci_offset = frame::interpreter_frame_bcx_offset * wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
55 const int locals_offset = frame::interpreter_frame_locals_offset * wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
56
a61af66fc99e Initial load
duke
parents:
diff changeset
57 //-----------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 address TemplateInterpreterGenerator::generate_StackOverflowError_handler() {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
63 {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 Label L;
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
65 __ lea(rax, Address(rbp,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
66 frame::interpreter_frame_monitor_block_top_offset *
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
67 wordSize));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
68 __ cmpptr(rax, rsp); // rax = maximal rsp for current rbp (stack
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
69 // grows negative)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
70 __ jcc(Assembler::aboveEqual, L); // check if frame is complete
a61af66fc99e Initial load
duke
parents:
diff changeset
71 __ stop ("interpreter frame not set up");
a61af66fc99e Initial load
duke
parents:
diff changeset
72 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
73 }
a61af66fc99e Initial load
duke
parents:
diff changeset
74 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Restore bcp under the assumption that the current frame is still
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // interpreted
a61af66fc99e Initial load
duke
parents:
diff changeset
77 __ restore_bcp();
a61af66fc99e Initial load
duke
parents:
diff changeset
78
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // expression stack must be empty before entering the VM if an
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // exception happened
a61af66fc99e Initial load
duke
parents:
diff changeset
81 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // throw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
83 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
84 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
85 InterpreterRuntime::throw_StackOverflowError));
a61af66fc99e Initial load
duke
parents:
diff changeset
86 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 }
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 address TemplateInterpreterGenerator::generate_ArrayIndexOutOfBounds_handler(
a61af66fc99e Initial load
duke
parents:
diff changeset
90 const char* name) {
a61af66fc99e Initial load
duke
parents:
diff changeset
91 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // expression stack must be empty before entering the VM if an
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // exception happened
a61af66fc99e Initial load
duke
parents:
diff changeset
94 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // setup parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // ??? convention: expect aberrant index in register ebx
a61af66fc99e Initial load
duke
parents:
diff changeset
97 __ lea(c_rarg1, ExternalAddress((address)name));
a61af66fc99e Initial load
duke
parents:
diff changeset
98 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
99 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
100 InterpreterRuntime::
a61af66fc99e Initial load
duke
parents:
diff changeset
101 throw_ArrayIndexOutOfBoundsException),
a61af66fc99e Initial load
duke
parents:
diff changeset
102 c_rarg1, rbx);
a61af66fc99e Initial load
duke
parents:
diff changeset
103 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 address TemplateInterpreterGenerator::generate_ClassCastException_handler() {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // object is at TOS
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
110 __ pop(c_rarg1);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
111
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // expression stack must be empty before entering the VM if an
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // exception happened
a61af66fc99e Initial load
duke
parents:
diff changeset
114 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
117 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
118 InterpreterRuntime::
a61af66fc99e Initial load
duke
parents:
diff changeset
119 throw_ClassCastException),
a61af66fc99e Initial load
duke
parents:
diff changeset
120 c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
121 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
122 }
a61af66fc99e Initial load
duke
parents:
diff changeset
123
a61af66fc99e Initial load
duke
parents:
diff changeset
124 address TemplateInterpreterGenerator::generate_exception_handler_common(
a61af66fc99e Initial load
duke
parents:
diff changeset
125 const char* name, const char* message, bool pass_oop) {
a61af66fc99e Initial load
duke
parents:
diff changeset
126 assert(!pass_oop || message == NULL, "either oop or message but not both");
a61af66fc99e Initial load
duke
parents:
diff changeset
127 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
128 if (pass_oop) {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 // object is at TOS
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
130 __ pop(c_rarg2);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // expression stack must be empty before entering the VM if an
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // exception happened
a61af66fc99e Initial load
duke
parents:
diff changeset
134 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // setup parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
136 __ lea(c_rarg1, ExternalAddress((address)name));
a61af66fc99e Initial load
duke
parents:
diff changeset
137 if (pass_oop) {
a61af66fc99e Initial load
duke
parents:
diff changeset
138 __ call_VM(rax, CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
139 InterpreterRuntime::
a61af66fc99e Initial load
duke
parents:
diff changeset
140 create_klass_exception),
a61af66fc99e Initial load
duke
parents:
diff changeset
141 c_rarg1, c_rarg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
142 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
143 // kind of lame ExternalAddress can't take NULL because
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // external_word_Relocation will assert.
a61af66fc99e Initial load
duke
parents:
diff changeset
145 if (message != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
146 __ lea(c_rarg2, ExternalAddress((address)message));
a61af66fc99e Initial load
duke
parents:
diff changeset
147 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
148 __ movptr(c_rarg2, NULL_WORD);
a61af66fc99e Initial load
duke
parents:
diff changeset
149 }
a61af66fc99e Initial load
duke
parents:
diff changeset
150 __ call_VM(rax,
a61af66fc99e Initial load
duke
parents:
diff changeset
151 CAST_FROM_FN_PTR(address, InterpreterRuntime::create_exception),
a61af66fc99e Initial load
duke
parents:
diff changeset
152 c_rarg1, c_rarg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
153 }
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // throw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
155 __ jump(ExternalAddress(Interpreter::throw_exception_entry()));
a61af66fc99e Initial load
duke
parents:
diff changeset
156 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
157 }
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 address TemplateInterpreterGenerator::generate_continuation_for(TosState state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
161 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
162 // NULL last_sp until next java call
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
163 __ movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
164 __ dispatch_next(state);
a61af66fc99e Initial load
duke
parents:
diff changeset
165 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
166 }
a61af66fc99e Initial load
duke
parents:
diff changeset
167
a61af66fc99e Initial load
duke
parents:
diff changeset
168
13010
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
169 address TemplateInterpreterGenerator::generate_return_entry_for(TosState state, int step, size_t index_size) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
170 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
171
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // Restore stack bottom in case i2c adjusted stack
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
173 __ movptr(rsp, Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // and NULL it as marker that esp is now tos until next java call
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
175 __ movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
176
a61af66fc99e Initial load
duke
parents:
diff changeset
177 __ restore_bcp();
a61af66fc99e Initial load
duke
parents:
diff changeset
178 __ restore_locals();
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
179
12882
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
180 if (state == atos) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
181 Register mdp = rbx;
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
182 Register tmp = rcx;
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
183 __ profile_return_type(mdp, rax, tmp);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
184 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls
roland
parents: 12076
diff changeset
185
13010
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
186 const Register cache = rbx;
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
187 const Register index = rcx;
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
188 __ get_cache_and_index_at_bcp(cache, index, 1, index_size);
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
189
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
190 const Register flags = cache;
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
191 __ movl(flags, Address(cache, index, Address::times_ptr, ConstantPoolCache::base_offset() + ConstantPoolCacheEntry::flags_offset()));
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
192 __ andl(flags, ConstantPoolCacheEntry::parameter_size_mask);
bd3237e0e18d 8026328: Setting a breakpoint on invokedynamic crashes the JVM
twisti
parents: 12962
diff changeset
193 __ lea(rsp, Address(rsp, flags, Interpreter::stackElementScale()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
194 __ dispatch_next(state, step);
1108
85f13cdfbc1d 6829192: JSR 292 needs to support 64-bit x86
twisti
parents: 1059
diff changeset
195
0
a61af66fc99e Initial load
duke
parents:
diff changeset
196 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
197 }
a61af66fc99e Initial load
duke
parents:
diff changeset
198
a61af66fc99e Initial load
duke
parents:
diff changeset
199
8328
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
200 address InterpreterGenerator::generate_deopt_entry_for(TosState state,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
201 int step) {
a61af66fc99e Initial load
duke
parents:
diff changeset
202 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // NULL last_sp until next java call
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
204 __ movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
205 __ restore_bcp();
a61af66fc99e Initial load
duke
parents:
diff changeset
206 __ restore_locals();
13220
2b43fcc68add Put _pending_deoptimization and _pending_monitorenter under ifdef GRAAL
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 13086
diff changeset
207 #ifdef GRAAL
8328
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
208 // Check if we need to take lock at entry of synchronized method.
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
209 {
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
210 Label L;
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
211 __ cmpb(Address(r15_thread, Thread::pending_monitorenter_offset()), 0);
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
212 __ jcc(Assembler::zero, L);
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
213 // Clear flag.
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
214 __ movb(Address(r15_thread, Thread::pending_monitorenter_offset()), 0);
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
215 // Satisfy calling convention for lock_method().
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
216 __ get_method(rbx);
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
217 // Take lock.
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
218 lock_method();
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
219 __ bind(L);
6b6cbd8b8914 Support deoptimizing before the entry to a synchronized method.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 8124
diff changeset
220 }
13220
2b43fcc68add Put _pending_deoptimization and _pending_monitorenter under ifdef GRAAL
Gilles Duboscq <duboscq@ssw.jku.at>
parents: 13086
diff changeset
221 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
222 // handle exceptions
a61af66fc99e Initial load
duke
parents:
diff changeset
223 {
a61af66fc99e Initial load
duke
parents:
diff changeset
224 Label L;
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
225 __ cmpptr(Address(r15_thread, Thread::pending_exception_offset()), (int32_t) NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
226 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
227 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
228 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
229 InterpreterRuntime::throw_pending_exception));
a61af66fc99e Initial load
duke
parents:
diff changeset
230 __ should_not_reach_here();
a61af66fc99e Initial load
duke
parents:
diff changeset
231 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
232 }
a61af66fc99e Initial load
duke
parents:
diff changeset
233 __ dispatch_next(state, step);
a61af66fc99e Initial load
duke
parents:
diff changeset
234 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
235 }
a61af66fc99e Initial load
duke
parents:
diff changeset
236
a61af66fc99e Initial load
duke
parents:
diff changeset
237 int AbstractInterpreter::BasicType_as_index(BasicType type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
238 int i = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
239 switch (type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
240 case T_BOOLEAN: i = 0; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
241 case T_CHAR : i = 1; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
242 case T_BYTE : i = 2; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
243 case T_SHORT : i = 3; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
244 case T_INT : i = 4; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
245 case T_LONG : i = 5; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
246 case T_VOID : i = 6; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
247 case T_FLOAT : i = 7; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
248 case T_DOUBLE : i = 8; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
249 case T_OBJECT : i = 9; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
250 case T_ARRAY : i = 9; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
251 default : ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
252 }
a61af66fc99e Initial load
duke
parents:
diff changeset
253 assert(0 <= i && i < AbstractInterpreter::number_of_result_handlers,
a61af66fc99e Initial load
duke
parents:
diff changeset
254 "index out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
255 return i;
a61af66fc99e Initial load
duke
parents:
diff changeset
256 }
a61af66fc99e Initial load
duke
parents:
diff changeset
257
a61af66fc99e Initial load
duke
parents:
diff changeset
258
a61af66fc99e Initial load
duke
parents:
diff changeset
259 address TemplateInterpreterGenerator::generate_result_handler_for(
a61af66fc99e Initial load
duke
parents:
diff changeset
260 BasicType type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
261 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
262 switch (type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
263 case T_BOOLEAN: __ c2bool(rax); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
264 case T_CHAR : __ movzwl(rax, rax); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
265 case T_BYTE : __ sign_extend_byte(rax); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
266 case T_SHORT : __ sign_extend_short(rax); break;
a61af66fc99e Initial load
duke
parents:
diff changeset
267 case T_INT : /* nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
268 case T_LONG : /* nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
269 case T_VOID : /* nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
270 case T_FLOAT : /* nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
271 case T_DOUBLE : /* nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
272 case T_OBJECT :
a61af66fc99e Initial load
duke
parents:
diff changeset
273 // retrieve result from frame
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
274 __ movptr(rax, Address(rbp, frame::interpreter_frame_oop_temp_offset*wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
275 // and verify it
a61af66fc99e Initial load
duke
parents:
diff changeset
276 __ verify_oop(rax);
a61af66fc99e Initial load
duke
parents:
diff changeset
277 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
278 default : ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
279 }
a61af66fc99e Initial load
duke
parents:
diff changeset
280 __ ret(0); // return from result handler
a61af66fc99e Initial load
duke
parents:
diff changeset
281 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
282 }
a61af66fc99e Initial load
duke
parents:
diff changeset
283
a61af66fc99e Initial load
duke
parents:
diff changeset
284 address TemplateInterpreterGenerator::generate_safept_entry_for(
a61af66fc99e Initial load
duke
parents:
diff changeset
285 TosState state,
a61af66fc99e Initial load
duke
parents:
diff changeset
286 address runtime_entry) {
a61af66fc99e Initial load
duke
parents:
diff changeset
287 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
288 __ push(state);
a61af66fc99e Initial load
duke
parents:
diff changeset
289 __ call_VM(noreg, runtime_entry);
a61af66fc99e Initial load
duke
parents:
diff changeset
290 __ dispatch_via(vtos, Interpreter::_normal_table.table_for(vtos));
a61af66fc99e Initial load
duke
parents:
diff changeset
291 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
292 }
a61af66fc99e Initial load
duke
parents:
diff changeset
293
a61af66fc99e Initial load
duke
parents:
diff changeset
294
a61af66fc99e Initial load
duke
parents:
diff changeset
295
a61af66fc99e Initial load
duke
parents:
diff changeset
296 // Helpers for commoning out cases in the various type of method entries.
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 // increment invocation count & check for overflow
a61af66fc99e Initial load
duke
parents:
diff changeset
301 //
a61af66fc99e Initial load
duke
parents:
diff changeset
302 // Note: checking for negative value instead of overflow
a61af66fc99e Initial load
duke
parents:
diff changeset
303 // so we have a 'sticky' overflow test
a61af66fc99e Initial load
duke
parents:
diff changeset
304 //
a61af66fc99e Initial load
duke
parents:
diff changeset
305 // rbx: method
a61af66fc99e Initial load
duke
parents:
diff changeset
306 // ecx: invocation counter
a61af66fc99e Initial load
duke
parents:
diff changeset
307 //
a61af66fc99e Initial load
duke
parents:
diff changeset
308 void InterpreterGenerator::generate_counter_incr(
a61af66fc99e Initial load
duke
parents:
diff changeset
309 Label* overflow,
a61af66fc99e Initial load
duke
parents:
diff changeset
310 Label* profile_method,
a61af66fc99e Initial load
duke
parents:
diff changeset
311 Label* profile_method_continue) {
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
312 Label done;
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
313 // Note: In tiered we increment either counters in Method* or in MDO depending if we're profiling or not.
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
314 if (TieredCompilation) {
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
315 int increment = InvocationCounter::count_increment;
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
316 int mask = ((1 << Tier0InvokeNotifyFreqLog) - 1) << InvocationCounter::count_shift;
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
317 Label no_mdo;
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
318 if (ProfileInterpreter) {
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
319 // Are we profiling?
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
320 __ movptr(rax, Address(rbx, Method::method_data_offset()));
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
321 __ testptr(rax, rax);
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
322 __ jccb(Assembler::zero, no_mdo);
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
323 // Increment counter in the MDO
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
324 const Address mdo_invocation_counter(rax, in_bytes(MethodData::invocation_counter_offset()) +
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
325 in_bytes(InvocationCounter::counter_offset()));
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
326 __ increment_mask_and_jump(mdo_invocation_counter, increment, mask, rcx, false, Assembler::zero, overflow);
10141
47766e2d2527 8013041: guarantee(this->is8bit(imm8)) failed: Short forward jump exceeds 8-bit offset.
jiangli
parents: 10105
diff changeset
327 __ jmp(done);
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
328 }
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
329 __ bind(no_mdo);
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
330 // Increment counter in MethodCounters
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
331 const Address invocation_counter(rax,
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
332 MethodCounters::invocation_counter_offset() +
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
333 InvocationCounter::counter_offset());
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
334 __ get_method_counters(rbx, rax, done);
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
335 __ increment_mask_and_jump(invocation_counter, increment, mask, rcx,
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
336 false, Assembler::zero, overflow);
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
337 __ bind(done);
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
338 } else {
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
339 const Address backedge_counter(rax,
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
340 MethodCounters::backedge_counter_offset() +
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
341 InvocationCounter::counter_offset());
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
342 const Address invocation_counter(rax,
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
343 MethodCounters::invocation_counter_offset() +
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
344 InvocationCounter::counter_offset());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
345
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
346 __ get_method_counters(rbx, rax, done);
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
347
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
348 if (ProfileInterpreter) {
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
349 __ incrementl(Address(rax,
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
350 MethodCounters::interpreter_invocation_counter_offset()));
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
351 }
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
352 // Update standard invocation counters
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
353 __ movl(rcx, invocation_counter);
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
354 __ incrementl(rcx, InvocationCounter::count_increment);
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
355 __ movl(invocation_counter, rcx); // save invocation count
0
a61af66fc99e Initial load
duke
parents:
diff changeset
356
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
357 __ movl(rax, backedge_counter); // load backedge counter
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
358 __ andl(rax, InvocationCounter::count_mask_value); // mask out the status bits
0
a61af66fc99e Initial load
duke
parents:
diff changeset
359
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
360 __ addl(rcx, rax); // add both counters
0
a61af66fc99e Initial load
duke
parents:
diff changeset
361
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
362 // profile_method is non-null only for interpreted method so
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
363 // profile_method != NULL == !native_call
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
364
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
365 if (ProfileInterpreter && profile_method != NULL) {
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
366 // Test to see if we should create a method data oop
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
367 __ cmp32(rcx, ExternalAddress((address)&InvocationCounter::InterpreterProfileLimit));
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
368 __ jcc(Assembler::less, *profile_method_continue);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
369
1783
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
370 // if no method data exists, go to profile_method
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
371 __ test_method_data_pointer(rax, *profile_method);
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
372 }
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
373
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
374 __ cmp32(rcx, ExternalAddress((address)&InvocationCounter::InterpreterInvocationLimit));
d5d065957597 6953144: Tiered compilation
iveresov
parents: 1579
diff changeset
375 __ jcc(Assembler::aboveEqual, *overflow);
10105
aeaca88565e6 8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents: 8873
diff changeset
376 __ bind(done);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
377 }
a61af66fc99e Initial load
duke
parents:
diff changeset
378 }
a61af66fc99e Initial load
duke
parents:
diff changeset
379
a61af66fc99e Initial load
duke
parents:
diff changeset
380 void InterpreterGenerator::generate_counter_overflow(Label* do_continue) {
a61af66fc99e Initial load
duke
parents:
diff changeset
381
a61af66fc99e Initial load
duke
parents:
diff changeset
382 // Asm interpreter on entry
a61af66fc99e Initial load
duke
parents:
diff changeset
383 // r14 - locals
a61af66fc99e Initial load
duke
parents:
diff changeset
384 // r13 - bcp
a61af66fc99e Initial load
duke
parents:
diff changeset
385 // rbx - method
a61af66fc99e Initial load
duke
parents:
diff changeset
386 // edx - cpool --- DOES NOT APPEAR TO BE TRUE
a61af66fc99e Initial load
duke
parents:
diff changeset
387 // rbp - interpreter frame
a61af66fc99e Initial load
duke
parents:
diff changeset
388
a61af66fc99e Initial load
duke
parents:
diff changeset
389 // On return (i.e. jump to entry_point) [ back to invocation of interpreter ]
a61af66fc99e Initial load
duke
parents:
diff changeset
390 // Everything as it was on entry
a61af66fc99e Initial load
duke
parents:
diff changeset
391 // rdx is not restored. Doesn't appear to really be set.
a61af66fc99e Initial load
duke
parents:
diff changeset
392
a61af66fc99e Initial load
duke
parents:
diff changeset
393 // InterpreterRuntime::frequency_counter_overflow takes two
a61af66fc99e Initial load
duke
parents:
diff changeset
394 // arguments, the first (thread) is passed by call_VM, the second
a61af66fc99e Initial load
duke
parents:
diff changeset
395 // indicates if the counter overflow occurs at a backwards branch
a61af66fc99e Initial load
duke
parents:
diff changeset
396 // (NULL bcp). We pass zero for it. The call returns the address
a61af66fc99e Initial load
duke
parents:
diff changeset
397 // of the verified entry point for the method or NULL if the
a61af66fc99e Initial load
duke
parents:
diff changeset
398 // compilation did not complete (either went background or bailed
a61af66fc99e Initial load
duke
parents:
diff changeset
399 // out).
a61af66fc99e Initial load
duke
parents:
diff changeset
400 __ movl(c_rarg1, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
401 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
402 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
403 InterpreterRuntime::frequency_counter_overflow),
a61af66fc99e Initial load
duke
parents:
diff changeset
404 c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
405
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
406 __ movptr(rbx, Address(rbp, method_offset)); // restore Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
407 // Preserve invariant that r13/r14 contain bcp/locals of sender frame
a61af66fc99e Initial load
duke
parents:
diff changeset
408 // and jump to the interpreted entry.
a61af66fc99e Initial load
duke
parents:
diff changeset
409 __ jmp(*do_continue, relocInfo::none);
a61af66fc99e Initial load
duke
parents:
diff changeset
410 }
a61af66fc99e Initial load
duke
parents:
diff changeset
411
a61af66fc99e Initial load
duke
parents:
diff changeset
412 // See if we've got enough room on the stack for locals plus overhead.
a61af66fc99e Initial load
duke
parents:
diff changeset
413 // The expression stack grows down incrementally, so the normal guard
a61af66fc99e Initial load
duke
parents:
diff changeset
414 // page mechanism will work for that.
a61af66fc99e Initial load
duke
parents:
diff changeset
415 //
a61af66fc99e Initial load
duke
parents:
diff changeset
416 // NOTE: Since the additional locals are also always pushed (wasn't
a61af66fc99e Initial load
duke
parents:
diff changeset
417 // obvious in generate_method_entry) so the guard should work for them
a61af66fc99e Initial load
duke
parents:
diff changeset
418 // too.
a61af66fc99e Initial load
duke
parents:
diff changeset
419 //
a61af66fc99e Initial load
duke
parents:
diff changeset
420 // Args:
a61af66fc99e Initial load
duke
parents:
diff changeset
421 // rdx: number of additional locals this frame needs (what we must check)
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
422 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
423 //
a61af66fc99e Initial load
duke
parents:
diff changeset
424 // Kills:
a61af66fc99e Initial load
duke
parents:
diff changeset
425 // rax
a61af66fc99e Initial load
duke
parents:
diff changeset
426 void InterpreterGenerator::generate_stack_overflow_check(void) {
a61af66fc99e Initial load
duke
parents:
diff changeset
427
a61af66fc99e Initial load
duke
parents:
diff changeset
428 // monitor entry size: see picture of stack set
a61af66fc99e Initial load
duke
parents:
diff changeset
429 // (generate_method_entry) and frame_amd64.hpp
a61af66fc99e Initial load
duke
parents:
diff changeset
430 const int entry_size = frame::interpreter_frame_monitor_size() * wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
431
a61af66fc99e Initial load
duke
parents:
diff changeset
432 // total overhead size: entry_size + (saved rbp through expr stack
a61af66fc99e Initial load
duke
parents:
diff changeset
433 // bottom). be sure to change this if you add/subtract anything
a61af66fc99e Initial load
duke
parents:
diff changeset
434 // to/from the overhead area
a61af66fc99e Initial load
duke
parents:
diff changeset
435 const int overhead_size =
a61af66fc99e Initial load
duke
parents:
diff changeset
436 -(frame::interpreter_frame_initial_sp_offset * wordSize) + entry_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
437
a61af66fc99e Initial load
duke
parents:
diff changeset
438 const int page_size = os::vm_page_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
439
a61af66fc99e Initial load
duke
parents:
diff changeset
440 Label after_frame_check;
a61af66fc99e Initial load
duke
parents:
diff changeset
441
a61af66fc99e Initial load
duke
parents:
diff changeset
442 // see if the frame is greater than one page in size. If so,
a61af66fc99e Initial load
duke
parents:
diff changeset
443 // then we need to verify there is enough stack space remaining
a61af66fc99e Initial load
duke
parents:
diff changeset
444 // for the additional locals.
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
445 __ cmpl(rdx, (page_size - overhead_size) / Interpreter::stackElementSize);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
446 __ jcc(Assembler::belowEqual, after_frame_check);
a61af66fc99e Initial load
duke
parents:
diff changeset
447
a61af66fc99e Initial load
duke
parents:
diff changeset
448 // compute rsp as if this were going to be the last frame on
a61af66fc99e Initial load
duke
parents:
diff changeset
449 // the stack before the red zone
a61af66fc99e Initial load
duke
parents:
diff changeset
450
a61af66fc99e Initial load
duke
parents:
diff changeset
451 const Address stack_base(r15_thread, Thread::stack_base_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
452 const Address stack_size(r15_thread, Thread::stack_size_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
453
a61af66fc99e Initial load
duke
parents:
diff changeset
454 // locals + overhead, in bytes
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
455 __ mov(rax, rdx);
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
456 __ shlptr(rax, Interpreter::logStackElementSize); // 2 slots per parameter.
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
457 __ addptr(rax, overhead_size);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
458
a61af66fc99e Initial load
duke
parents:
diff changeset
459 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
460 Label stack_base_okay, stack_size_okay;
a61af66fc99e Initial load
duke
parents:
diff changeset
461 // verify that thread stack base is non-zero
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
462 __ cmpptr(stack_base, (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
463 __ jcc(Assembler::notEqual, stack_base_okay);
a61af66fc99e Initial load
duke
parents:
diff changeset
464 __ stop("stack base is zero");
a61af66fc99e Initial load
duke
parents:
diff changeset
465 __ bind(stack_base_okay);
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // verify that thread stack size is non-zero
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
467 __ cmpptr(stack_size, 0);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
468 __ jcc(Assembler::notEqual, stack_size_okay);
a61af66fc99e Initial load
duke
parents:
diff changeset
469 __ stop("stack size is zero");
a61af66fc99e Initial load
duke
parents:
diff changeset
470 __ bind(stack_size_okay);
a61af66fc99e Initial load
duke
parents:
diff changeset
471 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
472
a61af66fc99e Initial load
duke
parents:
diff changeset
473 // Add stack base to locals and subtract stack size
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
474 __ addptr(rax, stack_base);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
475 __ subptr(rax, stack_size);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
476
1135
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
477 // Use the maximum number of pages we might bang.
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
478 const int max_pages = StackShadowPages > (StackRedPages+StackYellowPages) ? StackShadowPages :
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
479 (StackRedPages+StackYellowPages);
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
480
0
a61af66fc99e Initial load
duke
parents:
diff changeset
481 // add in the red and yellow zone sizes
1135
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
482 __ addptr(rax, max_pages * page_size);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
483
a61af66fc99e Initial load
duke
parents:
diff changeset
484 // check against the current stack bottom
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
485 __ cmpptr(rsp, rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
486 __ jcc(Assembler::above, after_frame_check);
a61af66fc99e Initial load
duke
parents:
diff changeset
487
4743
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
488 // Restore sender's sp as SP. This is necessary if the sender's
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
489 // frame is an extended compiled frame (see gen_c2i_adapter())
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
490 // and safer anyway in case of JSR292 adaptations.
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
491
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
492 __ pop(rax); // return address must be moved if SP is changed
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
493 __ mov(rsp, r13);
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
494 __ push(rax);
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
495
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
496 // Note: the restored frame is not necessarily interpreted.
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
497 // Use the shared runtime version of the StackOverflowError.
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
498 assert(StubRoutines::throw_StackOverflowError_entry() != NULL, "stub not yet generated");
dca455dea3a7 7116216: StackOverflow GC crash
bdelsart
parents: 4042
diff changeset
499 __ jump(ExternalAddress(StubRoutines::throw_StackOverflowError_entry()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
500
a61af66fc99e Initial load
duke
parents:
diff changeset
501 // all done with frame size check
a61af66fc99e Initial load
duke
parents:
diff changeset
502 __ bind(after_frame_check);
a61af66fc99e Initial load
duke
parents:
diff changeset
503 }
a61af66fc99e Initial load
duke
parents:
diff changeset
504
a61af66fc99e Initial load
duke
parents:
diff changeset
505 // Allocate monitor and lock method (asm interpreter)
a61af66fc99e Initial load
duke
parents:
diff changeset
506 //
a61af66fc99e Initial load
duke
parents:
diff changeset
507 // Args:
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
508 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
509 // r14: locals
a61af66fc99e Initial load
duke
parents:
diff changeset
510 //
a61af66fc99e Initial load
duke
parents:
diff changeset
511 // Kills:
a61af66fc99e Initial load
duke
parents:
diff changeset
512 // rax
a61af66fc99e Initial load
duke
parents:
diff changeset
513 // c_rarg0, c_rarg1, c_rarg2, c_rarg3, ...(param regs)
a61af66fc99e Initial load
duke
parents:
diff changeset
514 // rscratch1, rscratch2 (scratch regs)
a61af66fc99e Initial load
duke
parents:
diff changeset
515 void InterpreterGenerator::lock_method(void) {
a61af66fc99e Initial load
duke
parents:
diff changeset
516 // synchronize method
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
517 const Address access_flags(rbx, Method::access_flags_offset());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
518 const Address monitor_block_top(
a61af66fc99e Initial load
duke
parents:
diff changeset
519 rbp,
a61af66fc99e Initial load
duke
parents:
diff changeset
520 frame::interpreter_frame_monitor_block_top_offset * wordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
521 const int entry_size = frame::interpreter_frame_monitor_size() * wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
522
a61af66fc99e Initial load
duke
parents:
diff changeset
523 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
524 {
a61af66fc99e Initial load
duke
parents:
diff changeset
525 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
526 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
527 __ testl(rax, JVM_ACC_SYNCHRONIZED);
a61af66fc99e Initial load
duke
parents:
diff changeset
528 __ jcc(Assembler::notZero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
529 __ stop("method doesn't need synchronization");
a61af66fc99e Initial load
duke
parents:
diff changeset
530 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
531 }
a61af66fc99e Initial load
duke
parents:
diff changeset
532 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
533
a61af66fc99e Initial load
duke
parents:
diff changeset
534 // get synchronization object
a61af66fc99e Initial load
duke
parents:
diff changeset
535 {
4762
069ab3f976d3 7118863: Move sizeof(klassOopDesc) into the *Klass::*_offset_in_bytes() functions
stefank
parents: 4042
diff changeset
536 const int mirror_offset = in_bytes(Klass::java_mirror_offset());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
537 Label done;
a61af66fc99e Initial load
duke
parents:
diff changeset
538 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
539 __ testl(rax, JVM_ACC_STATIC);
a61af66fc99e Initial load
duke
parents:
diff changeset
540 // get receiver (assume this is frequent case)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
541 __ movptr(rax, Address(r14, Interpreter::local_offset_in_bytes(0)));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
542 __ jcc(Assembler::zero, done);
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
543 __ movptr(rax, Address(rbx, Method::const_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
544 __ movptr(rax, Address(rax, ConstMethod::constants_offset()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
545 __ movptr(rax, Address(rax,
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
546 ConstantPool::pool_holder_offset_in_bytes()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
547 __ movptr(rax, Address(rax, mirror_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
548
a61af66fc99e Initial load
duke
parents:
diff changeset
549 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
550 {
a61af66fc99e Initial load
duke
parents:
diff changeset
551 Label L;
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
552 __ testptr(rax, rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
553 __ jcc(Assembler::notZero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
554 __ stop("synchronization object is NULL");
a61af66fc99e Initial load
duke
parents:
diff changeset
555 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
556 }
a61af66fc99e Initial load
duke
parents:
diff changeset
557 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
558
a61af66fc99e Initial load
duke
parents:
diff changeset
559 __ bind(done);
a61af66fc99e Initial load
duke
parents:
diff changeset
560 }
a61af66fc99e Initial load
duke
parents:
diff changeset
561
a61af66fc99e Initial load
duke
parents:
diff changeset
562 // add space for monitor & lock
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
563 __ subptr(rsp, entry_size); // add space for a monitor entry
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
564 __ movptr(monitor_block_top, rsp); // set new monitor block top
0
a61af66fc99e Initial load
duke
parents:
diff changeset
565 // store object
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
566 __ movptr(Address(rsp, BasicObjectLock::obj_offset_in_bytes()), rax);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
567 __ movptr(c_rarg1, rsp); // object address
0
a61af66fc99e Initial load
duke
parents:
diff changeset
568 __ lock_object(c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
569 }
a61af66fc99e Initial load
duke
parents:
diff changeset
570
a61af66fc99e Initial load
duke
parents:
diff changeset
571 // Generate a fixed interpreter frame. This is identical setup for
a61af66fc99e Initial load
duke
parents:
diff changeset
572 // interpreted methods and for native methods hence the shared code.
a61af66fc99e Initial load
duke
parents:
diff changeset
573 //
a61af66fc99e Initial load
duke
parents:
diff changeset
574 // Args:
a61af66fc99e Initial load
duke
parents:
diff changeset
575 // rax: return address
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
576 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
577 // r14: pointer to locals
a61af66fc99e Initial load
duke
parents:
diff changeset
578 // r13: sender sp
a61af66fc99e Initial load
duke
parents:
diff changeset
579 // rdx: cp cache
a61af66fc99e Initial load
duke
parents:
diff changeset
580 void TemplateInterpreterGenerator::generate_fixed_frame(bool native_call) {
a61af66fc99e Initial load
duke
parents:
diff changeset
581 // initialize fixed part of activation frame
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
582 __ push(rax); // save return address
0
a61af66fc99e Initial load
duke
parents:
diff changeset
583 __ enter(); // save old & set new rbp
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
584 __ push(r13); // set sender sp
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
585 __ push((int)NULL_WORD); // leave last_sp as null
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
586 __ movptr(r13, Address(rbx, Method::const_offset())); // get ConstMethod*
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
587 __ lea(r13, Address(r13, ConstMethod::codes_offset())); // get codebase
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
588 __ push(rbx); // save Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
589 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
590 Label method_data_continue;
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
591 __ movptr(rdx, Address(rbx, in_bytes(Method::method_data_offset())));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
592 __ testptr(rdx, rdx);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
593 __ jcc(Assembler::zero, method_data_continue);
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
594 __ addptr(rdx, in_bytes(MethodData::data_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
595 __ bind(method_data_continue);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
596 __ push(rdx); // set the mdp (method data pointer)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
597 } else {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
598 __ push(0);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
599 }
a61af66fc99e Initial load
duke
parents:
diff changeset
600
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
601 __ movptr(rdx, Address(rbx, Method::const_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
602 __ movptr(rdx, Address(rdx, ConstMethod::constants_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
603 __ movptr(rdx, Address(rdx, ConstantPool::cache_offset_in_bytes()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
604 __ push(rdx); // set constant pool cache
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
605 __ push(r14); // set locals pointer
0
a61af66fc99e Initial load
duke
parents:
diff changeset
606 if (native_call) {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
607 __ push(0); // no bcp
0
a61af66fc99e Initial load
duke
parents:
diff changeset
608 } else {
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
609 __ push(r13); // set bcp
0
a61af66fc99e Initial load
duke
parents:
diff changeset
610 }
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
611 __ push(0); // reserve word for pointer to expression stack bottom
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
612 __ movptr(Address(rsp, 0), rsp); // set expression stack bottom
0
a61af66fc99e Initial load
duke
parents:
diff changeset
613 }
a61af66fc99e Initial load
duke
parents:
diff changeset
614
a61af66fc99e Initial load
duke
parents:
diff changeset
615 // End of helpers
a61af66fc99e Initial load
duke
parents:
diff changeset
616
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
617 // Various method entries
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
618 //------------------------------------------------------------------------------------------------------------------------
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
619 //
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
620 //
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
621
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
622 // Call an accessor method (assuming it is resolved, otherwise drop
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
623 // into vanilla (slow path) entry
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
624 address InterpreterGenerator::generate_accessor_entry(void) {
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
625 // rbx: Method*
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
626
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
627 // r13: senderSP must preserver for slow path, set SP to it on fast path
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
628
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
629 address entry_point = __ pc();
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
630 Label xreturn_path;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
631
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
632 // do fastpath for resolved accessor methods
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
633 if (UseFastAccessorMethods) {
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
634 // Code: _aload_0, _(i|a)getfield, _(i|a)return or any rewrites
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
635 // thereof; parameter size = 1
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
636 // Note: We can only use this code if the getfield has been resolved
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
637 // and if we don't have a null-pointer exception => check for
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
638 // these conditions first and use slow path if necessary.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
639 Label slow_path;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
640 // If we need a safepoint check, generate full interpreter entry.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
641 __ cmp32(ExternalAddress(SafepointSynchronize::address_of_state()),
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
642 SafepointSynchronize::_not_synchronized);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
643
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
644 __ jcc(Assembler::notEqual, slow_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
645 // rbx: method
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
646 __ movptr(rax, Address(rsp, wordSize));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
647
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
648 // check if local 0 != NULL and read field
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
649 __ testptr(rax, rax);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
650 __ jcc(Assembler::zero, slow_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
651
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
652 // read first instruction word and extract bytecode @ 1 and index @ 2
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
653 __ movptr(rdx, Address(rbx, Method::const_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
654 __ movptr(rdi, Address(rdx, ConstMethod::constants_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
655 __ movl(rdx, Address(rdx, ConstMethod::codes_offset()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
656 // Shift codes right to get the index on the right.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
657 // The bytecode fetched looks like <index><0xb4><0x2a>
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
658 __ shrl(rdx, 2 * BitsPerByte);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
659 __ shll(rdx, exact_log2(in_words(ConstantPoolCacheEntry::size())));
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
660 __ movptr(rdi, Address(rdi, ConstantPool::cache_offset_in_bytes()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
661
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
662 // rax: local 0
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
663 // rbx: method
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
664 // rdx: constant pool cache index
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
665 // rdi: constant pool cache
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
666
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
667 // check if getfield has been resolved and read constant pool cache entry
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
668 // check the validity of the cache entry by testing whether _indices field
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
669 // contains Bytecode::_getfield in b1 byte.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
670 assert(in_words(ConstantPoolCacheEntry::size()) == 4,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
671 "adjust shift below");
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
672 __ movl(rcx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
673 Address(rdi,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
674 rdx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
675 Address::times_8,
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
676 ConstantPoolCache::base_offset() +
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
677 ConstantPoolCacheEntry::indices_offset()));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
678 __ shrl(rcx, 2 * BitsPerByte);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
679 __ andl(rcx, 0xFF);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
680 __ cmpl(rcx, Bytecodes::_getfield);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
681 __ jcc(Assembler::notEqual, slow_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
682
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
683 // Note: constant pool entry is not valid before bytecode is resolved
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
684 __ movptr(rcx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
685 Address(rdi,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
686 rdx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
687 Address::times_8,
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
688 ConstantPoolCache::base_offset() +
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
689 ConstantPoolCacheEntry::f2_offset()));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
690 // edx: flags
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
691 __ movl(rdx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
692 Address(rdi,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
693 rdx,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
694 Address::times_8,
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
695 ConstantPoolCache::base_offset() +
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
696 ConstantPoolCacheEntry::flags_offset()));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
697
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
698 Label notObj, notInt, notByte, notShort;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
699 const Address field_address(rax, rcx, Address::times_1);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
700
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
701 // Need to differentiate between igetfield, agetfield, bgetfield etc.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
702 // because they are different sizes.
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
703 // Use the type from the constant pool cache
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
704 __ shrl(rdx, ConstantPoolCacheEntry::tos_state_shift);
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
705 // Make sure we don't need to mask edx after the above shift
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
706 ConstantPoolCacheEntry::verify_tos_state_shift();
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
707
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
708 __ cmpl(rdx, atos);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
709 __ jcc(Assembler::notEqual, notObj);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
710 // atos
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
711 __ load_heap_oop(rax, field_address);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
712 __ jmp(xreturn_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
713
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
714 __ bind(notObj);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
715 __ cmpl(rdx, itos);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
716 __ jcc(Assembler::notEqual, notInt);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
717 // itos
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
718 __ movl(rax, field_address);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
719 __ jmp(xreturn_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
720
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
721 __ bind(notInt);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
722 __ cmpl(rdx, btos);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
723 __ jcc(Assembler::notEqual, notByte);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
724 // btos
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
725 __ load_signed_byte(rax, field_address);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
726 __ jmp(xreturn_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
727
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
728 __ bind(notByte);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
729 __ cmpl(rdx, stos);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
730 __ jcc(Assembler::notEqual, notShort);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
731 // stos
622
56aae7be60d4 6812678: macro assembler needs delayed binding of a few constants (for 6655638)
jrose
parents: 605
diff changeset
732 __ load_signed_short(rax, field_address);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
733 __ jmp(xreturn_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
734
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
735 __ bind(notShort);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
736 #ifdef ASSERT
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
737 Label okay;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
738 __ cmpl(rdx, ctos);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
739 __ jcc(Assembler::equal, okay);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
740 __ stop("what type is this?");
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
741 __ bind(okay);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
742 #endif
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
743 // ctos
622
56aae7be60d4 6812678: macro assembler needs delayed binding of a few constants (for 6655638)
jrose
parents: 605
diff changeset
744 __ load_unsigned_short(rax, field_address);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
745
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
746 __ bind(xreturn_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
747
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
748 // _ireturn/_areturn
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
749 __ pop(rdi);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
750 __ mov(rsp, r13);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
751 __ jmp(rdi);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
752 __ ret(0);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
753
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
754 // generate a vanilla interpreter entry as the slow path
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
755 __ bind(slow_path);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
756 (void) generate_normal_entry(false);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
757 } else {
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
758 (void) generate_normal_entry(false);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
759 }
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
760
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
761 return entry_point;
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
762 }
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
763
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
764 // Method entry for java.lang.ref.Reference.get.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
765 address InterpreterGenerator::generate_Reference_get_entry(void) {
8001
db9981fd3124 8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents: 7402
diff changeset
766 #if INCLUDE_ALL_GCS
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
767 // Code: _aload_0, _getfield, _areturn
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
768 // parameter size = 1
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
769 //
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
770 // The code that gets generated by this routine is split into 2 parts:
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
771 // 1. The "intrinsified" code for G1 (or any SATB based GC),
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
772 // 2. The slow path - which is an expansion of the regular method entry.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
773 //
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
774 // Notes:-
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
775 // * In the G1 code we do not check whether we need to block for
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
776 // a safepoint. If G1 is enabled then we must execute the specialized
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
777 // code for Reference.get (except when the Reference object is null)
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
778 // so that we can log the value in the referent field with an SATB
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
779 // update buffer.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
780 // If the code for the getfield template is modified so that the
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
781 // G1 pre-barrier code is executed when the current method is
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
782 // Reference.get() then going through the normal method entry
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
783 // will be fine.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
784 // * The G1 code can, however, check the receiver object (the instance
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
785 // of java.lang.Reference) and jump to the slow path if null. If the
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
786 // Reference object is null then we obviously cannot fetch the referent
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
787 // and so we don't need to call the G1 pre-barrier. Thus we can use the
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
788 // regular method entry code to generate the NPE.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
789 //
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
790 // This code is based on generate_accessor_enty.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
791 //
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
792 // rbx: Method*
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
793
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
794 // r13: senderSP must preserve for slow path, set SP to it on fast path
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
795
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
796 address entry = __ pc();
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
797
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
798 const int referent_offset = java_lang_ref_Reference::referent_offset;
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
799 guarantee(referent_offset > 0, "referent offset not initialized");
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
800
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
801 if (UseG1GC) {
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
802 Label slow_path;
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
803 // rbx: method
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
804
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
805 // Check if local 0 != NULL
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
806 // If the receiver is null then it is OK to jump to the slow path.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
807 __ movptr(rax, Address(rsp, wordSize));
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
808
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
809 __ testptr(rax, rax);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
810 __ jcc(Assembler::zero, slow_path);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
811
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
812 // rax: local 0
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
813 // rbx: method (but can be used as scratch now)
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
814 // rdx: scratch
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
815 // rdi: scratch
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
816
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
817 // Generate the G1 pre-barrier code to log the value of
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
818 // the referent field in an SATB buffer.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
819
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
820 // Load the value of the referent field.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
821 const Address field_address(rax, referent_offset);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
822 __ load_heap_oop(rax, field_address);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
823
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
824 // Generate the G1 pre-barrier code to log the value of
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
825 // the referent field in an SATB buffer.
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
826 __ g1_write_barrier_pre(noreg /* obj */,
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
827 rax /* pre_val */,
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
828 r15_thread /* thread */,
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
829 rbx /* tmp */,
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
830 true /* tosca_live */,
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
831 true /* expand_call */);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
832
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
833 // _areturn
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
834 __ pop(rdi); // get return address
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
835 __ mov(rsp, r13); // set sp to sender sp
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
836 __ jmp(rdi);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
837 __ ret(0);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
838
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
839 // generate a vanilla interpreter entry as the slow path
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
840 __ bind(slow_path);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
841 (void) generate_normal_entry(false);
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
842
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
843 return entry;
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
844 }
8001
db9981fd3124 8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents: 7402
diff changeset
845 #endif // INCLUDE_ALL_GCS
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
846
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
847 // If G1 is not enabled then attempt to go through the accessor entry point
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
848 // Reference.get is an accessor
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
849 return generate_accessor_entry();
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
850 }
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
851
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
852 /**
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
853 * Method entry for static native methods:
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
854 * int java.util.zip.CRC32.update(int crc, int b)
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
855 */
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
856 address InterpreterGenerator::generate_CRC32_update_entry() {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
857 if (UseCRC32Intrinsics) {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
858 address entry = __ pc();
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
859
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
860 // rbx,: Method*
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
861 // r13: senderSP must preserved for slow path, set SP to it on fast path
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
862 // c_rarg0: scratch (rdi on non-Win64, rcx on Win64)
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
863 // c_rarg1: scratch (rsi on non-Win64, rdx on Win64)
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
864
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
865 Label slow_path;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
866 // If we need a safepoint check, generate full interpreter entry.
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
867 ExternalAddress state(SafepointSynchronize::address_of_state());
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
868 __ cmp32(ExternalAddress(SafepointSynchronize::address_of_state()),
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
869 SafepointSynchronize::_not_synchronized);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
870 __ jcc(Assembler::notEqual, slow_path);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
871
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
872 // We don't generate local frame and don't align stack because
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
873 // we call stub code and there is no safepoint on this path.
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
874
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
875 // Load parameters
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
876 const Register crc = rax; // crc
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
877 const Register val = c_rarg0; // source java byte value
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
878 const Register tbl = c_rarg1; // scratch
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
879
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
880 // Arguments are reversed on java expression stack
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
881 __ movl(val, Address(rsp, wordSize)); // byte value
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
882 __ movl(crc, Address(rsp, 2*wordSize)); // Initial CRC
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
883
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
884 __ lea(tbl, ExternalAddress(StubRoutines::crc_table_addr()));
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
885 __ notl(crc); // ~crc
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
886 __ update_byte_crc32(crc, val, tbl);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
887 __ notl(crc); // ~crc
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
888 // result in rax
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
889
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
890 // _areturn
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
891 __ pop(rdi); // get return address
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
892 __ mov(rsp, r13); // set sp to sender sp
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
893 __ jmp(rdi);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
894
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
895 // generate a vanilla native entry as the slow path
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
896 __ bind(slow_path);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
897
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
898 (void) generate_native_entry(false);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
899
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
900 return entry;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
901 }
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
902 return generate_native_entry(false);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
903 }
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
904
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
905 /**
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
906 * Method entry for static native methods:
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
907 * int java.util.zip.CRC32.updateBytes(int crc, byte[] b, int off, int len)
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
908 * int java.util.zip.CRC32.updateByteBuffer(int crc, long buf, int off, int len)
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
909 */
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
910 address InterpreterGenerator::generate_CRC32_updateBytes_entry(AbstractInterpreter::MethodKind kind) {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
911 if (UseCRC32Intrinsics) {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
912 address entry = __ pc();
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
913
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
914 // rbx,: Method*
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
915 // r13: senderSP must preserved for slow path, set SP to it on fast path
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
916
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
917 Label slow_path;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
918 // If we need a safepoint check, generate full interpreter entry.
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
919 ExternalAddress state(SafepointSynchronize::address_of_state());
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
920 __ cmp32(ExternalAddress(SafepointSynchronize::address_of_state()),
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
921 SafepointSynchronize::_not_synchronized);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
922 __ jcc(Assembler::notEqual, slow_path);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
923
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
924 // We don't generate local frame and don't align stack because
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
925 // we call stub code and there is no safepoint on this path.
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
926
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
927 // Load parameters
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
928 const Register crc = c_rarg0; // crc
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
929 const Register buf = c_rarg1; // source java byte array address
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
930 const Register len = c_rarg2; // length
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
931 const Register off = len; // offset (never overlaps with 'len')
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
932
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
933 // Arguments are reversed on java expression stack
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
934 // Calculate address of start element
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
935 if (kind == Interpreter::java_util_zip_CRC32_updateByteBuffer) {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
936 __ movptr(buf, Address(rsp, 3*wordSize)); // long buf
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
937 __ movl2ptr(off, Address(rsp, 2*wordSize)); // offset
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
938 __ addq(buf, off); // + offset
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
939 __ movl(crc, Address(rsp, 5*wordSize)); // Initial CRC
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
940 } else {
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
941 __ movptr(buf, Address(rsp, 3*wordSize)); // byte[] array
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
942 __ addptr(buf, arrayOopDesc::base_offset_in_bytes(T_BYTE)); // + header size
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
943 __ movl2ptr(off, Address(rsp, 2*wordSize)); // offset
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
944 __ addq(buf, off); // + offset
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
945 __ movl(crc, Address(rsp, 4*wordSize)); // Initial CRC
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
946 }
12070
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
947 // Can now load 'len' since we're finished with 'off'
afbe18ae0905 8022441: Bad code generated for certain interpreted CRC intrinsics, 2 cases
bharadwaj
parents: 11080
diff changeset
948 __ movl(len, Address(rsp, wordSize)); // Length
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
949
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
950 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address, StubRoutines::updateBytesCRC32()), crc, buf, len);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
951 // result in rax
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
952
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
953 // _areturn
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
954 __ pop(rdi); // get return address
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
955 __ mov(rsp, r13); // set sp to sender sp
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
956 __ jmp(rdi);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
957
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
958 // generate a vanilla native entry as the slow path
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
959 __ bind(slow_path);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
960
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
961 (void) generate_native_entry(false);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
962
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
963 return entry;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
964 }
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
965 return generate_native_entry(false);
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
966 }
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
967
0
a61af66fc99e Initial load
duke
parents:
diff changeset
968 // Interpreter stub for calling a native method. (asm interpreter)
a61af66fc99e Initial load
duke
parents:
diff changeset
969 // This sets up a somewhat different looking stack for calling the
a61af66fc99e Initial load
duke
parents:
diff changeset
970 // native method than the typical interpreter frame setup.
a61af66fc99e Initial load
duke
parents:
diff changeset
971 address InterpreterGenerator::generate_native_entry(bool synchronized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
972 // determine code generation flags
a61af66fc99e Initial load
duke
parents:
diff changeset
973 bool inc_counter = UseCompiler || CountCompiledCalls;
a61af66fc99e Initial load
duke
parents:
diff changeset
974
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
975 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
976 // r13: sender sp
a61af66fc99e Initial load
duke
parents:
diff changeset
977
a61af66fc99e Initial load
duke
parents:
diff changeset
978 address entry_point = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
979
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
980 const Address constMethod (rbx, Method::const_offset());
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
981 const Address access_flags (rbx, Method::access_flags_offset());
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
982 const Address size_of_parameters(rcx, ConstMethod::
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
983 size_of_parameters_offset());
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
984
0
a61af66fc99e Initial load
duke
parents:
diff changeset
985
a61af66fc99e Initial load
duke
parents:
diff changeset
986 // get parameter size (always needed)
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
987 __ movptr(rcx, constMethod);
622
56aae7be60d4 6812678: macro assembler needs delayed binding of a few constants (for 6655638)
jrose
parents: 605
diff changeset
988 __ load_unsigned_short(rcx, size_of_parameters);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
989
a61af66fc99e Initial load
duke
parents:
diff changeset
990 // native calls don't need the stack size check since they have no
a61af66fc99e Initial load
duke
parents:
diff changeset
991 // expression stack and the arguments are already on the stack and
a61af66fc99e Initial load
duke
parents:
diff changeset
992 // we only add a handful of words to the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
993
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
994 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
995 // rcx: size of parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
996 // r13: sender sp
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
997 __ pop(rax); // get return address
0
a61af66fc99e Initial load
duke
parents:
diff changeset
998
a61af66fc99e Initial load
duke
parents:
diff changeset
999 // for natives the size of locals is zero
a61af66fc99e Initial load
duke
parents:
diff changeset
1000
a61af66fc99e Initial load
duke
parents:
diff changeset
1001 // compute beginning of parameters (r14)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1002 __ lea(r14, Address(rsp, rcx, Address::times_8, -wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1003
a61af66fc99e Initial load
duke
parents:
diff changeset
1004 // add 2 zero-initialized slots for native calls
a61af66fc99e Initial load
duke
parents:
diff changeset
1005 // initialize result_handler slot
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1006 __ push((int) NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1007 // slot for oop temp
a61af66fc99e Initial load
duke
parents:
diff changeset
1008 // (static native method holder mirror/jni oop result)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1009 __ push((int) NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1010
a61af66fc99e Initial load
duke
parents:
diff changeset
1011 // initialize fixed part of activation frame
a61af66fc99e Initial load
duke
parents:
diff changeset
1012 generate_fixed_frame(true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1013
a61af66fc99e Initial load
duke
parents:
diff changeset
1014 // make sure method is native & not abstract
a61af66fc99e Initial load
duke
parents:
diff changeset
1015 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1016 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
1017 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1018 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1019 __ testl(rax, JVM_ACC_NATIVE);
a61af66fc99e Initial load
duke
parents:
diff changeset
1020 __ jcc(Assembler::notZero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1021 __ stop("tried to execute non-native method as native");
a61af66fc99e Initial load
duke
parents:
diff changeset
1022 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1023 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1024 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1025 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1026 __ testl(rax, JVM_ACC_ABSTRACT);
a61af66fc99e Initial load
duke
parents:
diff changeset
1027 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1028 __ stop("tried to execute abstract method in interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
1029 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1030 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1031 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1032
a61af66fc99e Initial load
duke
parents:
diff changeset
1033 // Since at this point in the method invocation the exception handler
a61af66fc99e Initial load
duke
parents:
diff changeset
1034 // would try to exit the monitor of synchronized methods which hasn't
a61af66fc99e Initial load
duke
parents:
diff changeset
1035 // been entered yet, we set the thread local variable
a61af66fc99e Initial load
duke
parents:
diff changeset
1036 // _do_not_unlock_if_synchronized to true. The remove_activation will
a61af66fc99e Initial load
duke
parents:
diff changeset
1037 // check this flag.
a61af66fc99e Initial load
duke
parents:
diff changeset
1038
a61af66fc99e Initial load
duke
parents:
diff changeset
1039 const Address do_not_unlock_if_synchronized(r15_thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
1040 in_bytes(JavaThread::do_not_unlock_if_synchronized_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
1041 __ movbool(do_not_unlock_if_synchronized, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1042
a61af66fc99e Initial load
duke
parents:
diff changeset
1043 // increment invocation count & check for overflow
a61af66fc99e Initial load
duke
parents:
diff changeset
1044 Label invocation_counter_overflow;
a61af66fc99e Initial load
duke
parents:
diff changeset
1045 if (inc_counter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1046 generate_counter_incr(&invocation_counter_overflow, NULL, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
1047 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1048
a61af66fc99e Initial load
duke
parents:
diff changeset
1049 Label continue_after_compile;
a61af66fc99e Initial load
duke
parents:
diff changeset
1050 __ bind(continue_after_compile);
a61af66fc99e Initial load
duke
parents:
diff changeset
1051
a61af66fc99e Initial load
duke
parents:
diff changeset
1052 bang_stack_shadow_pages(true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1053
a61af66fc99e Initial load
duke
parents:
diff changeset
1054 // reset the _do_not_unlock_if_synchronized flag
a61af66fc99e Initial load
duke
parents:
diff changeset
1055 __ movbool(do_not_unlock_if_synchronized, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1056
a61af66fc99e Initial load
duke
parents:
diff changeset
1057 // check for synchronized methods
a61af66fc99e Initial load
duke
parents:
diff changeset
1058 // Must happen AFTER invocation_counter check and stack overflow check,
a61af66fc99e Initial load
duke
parents:
diff changeset
1059 // so method is not locked if overflows.
a61af66fc99e Initial load
duke
parents:
diff changeset
1060 if (synchronized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1061 lock_method();
a61af66fc99e Initial load
duke
parents:
diff changeset
1062 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
1063 // no synchronization necessary
a61af66fc99e Initial load
duke
parents:
diff changeset
1064 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1065 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1066 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1067 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
1068 __ testl(rax, JVM_ACC_SYNCHRONIZED);
a61af66fc99e Initial load
duke
parents:
diff changeset
1069 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1070 __ stop("method needs synchronization");
a61af66fc99e Initial load
duke
parents:
diff changeset
1071 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1072 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1073 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1074 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1075
a61af66fc99e Initial load
duke
parents:
diff changeset
1076 // start execution
a61af66fc99e Initial load
duke
parents:
diff changeset
1077 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1078 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1079 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1080 const Address monitor_block_top(rbp,
a61af66fc99e Initial load
duke
parents:
diff changeset
1081 frame::interpreter_frame_monitor_block_top_offset * wordSize);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1082 __ movptr(rax, monitor_block_top);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1083 __ cmpptr(rax, rsp);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1084 __ jcc(Assembler::equal, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1085 __ stop("broken stack frame setup in interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
1086 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1087 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1088 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1089
a61af66fc99e Initial load
duke
parents:
diff changeset
1090 // jvmti support
a61af66fc99e Initial load
duke
parents:
diff changeset
1091 __ notify_method_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
1092
a61af66fc99e Initial load
duke
parents:
diff changeset
1093 // work registers
a61af66fc99e Initial load
duke
parents:
diff changeset
1094 const Register method = rbx;
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
1095 const Register t = r11;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1096
a61af66fc99e Initial load
duke
parents:
diff changeset
1097 // allocate space for parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
1098 __ get_method(method);
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1099 __ movptr(t, Address(method, Method::const_offset()));
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1100 __ load_unsigned_short(t, Address(t, ConstMethod::size_of_parameters_offset()));
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1101 __ shll(t, Interpreter::logStackElementSize);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1102
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1103 __ subptr(rsp, t);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1104 __ subptr(rsp, frame::arg_reg_save_area_bytes); // windows
605
98cb887364d3 6810672: Comment typos
twisti
parents: 304
diff changeset
1105 __ andptr(rsp, -16); // must be 16 byte boundary (see amd64 ABI)
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1106
a61af66fc99e Initial load
duke
parents:
diff changeset
1107 // get signature handler
a61af66fc99e Initial load
duke
parents:
diff changeset
1108 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1109 Label L;
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1110 __ movptr(t, Address(method, Method::signature_handler_offset()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1111 __ testptr(t, t);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1112 __ jcc(Assembler::notZero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1113 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
1114 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1115 InterpreterRuntime::prepare_native_call),
a61af66fc99e Initial load
duke
parents:
diff changeset
1116 method);
a61af66fc99e Initial load
duke
parents:
diff changeset
1117 __ get_method(method);
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1118 __ movptr(t, Address(method, Method::signature_handler_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1119 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1120 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1121
a61af66fc99e Initial load
duke
parents:
diff changeset
1122 // call signature handler
a61af66fc99e Initial load
duke
parents:
diff changeset
1123 assert(InterpreterRuntime::SignatureHandlerGenerator::from() == r14,
a61af66fc99e Initial load
duke
parents:
diff changeset
1124 "adjust this code");
a61af66fc99e Initial load
duke
parents:
diff changeset
1125 assert(InterpreterRuntime::SignatureHandlerGenerator::to() == rsp,
a61af66fc99e Initial load
duke
parents:
diff changeset
1126 "adjust this code");
a61af66fc99e Initial load
duke
parents:
diff changeset
1127 assert(InterpreterRuntime::SignatureHandlerGenerator::temp() == rscratch1,
a61af66fc99e Initial load
duke
parents:
diff changeset
1128 "adjust this code");
a61af66fc99e Initial load
duke
parents:
diff changeset
1129
a61af66fc99e Initial load
duke
parents:
diff changeset
1130 // The generated handlers do not touch RBX (the method oop).
a61af66fc99e Initial load
duke
parents:
diff changeset
1131 // However, large signatures cannot be cached and are generated
a61af66fc99e Initial load
duke
parents:
diff changeset
1132 // each time here. The slow-path generator can do a GC on return,
a61af66fc99e Initial load
duke
parents:
diff changeset
1133 // so we must reload it after the call.
a61af66fc99e Initial load
duke
parents:
diff changeset
1134 __ call(t);
a61af66fc99e Initial load
duke
parents:
diff changeset
1135 __ get_method(method); // slow path can do a GC, reload RBX
a61af66fc99e Initial load
duke
parents:
diff changeset
1136
a61af66fc99e Initial load
duke
parents:
diff changeset
1137
a61af66fc99e Initial load
duke
parents:
diff changeset
1138 // result handler is in rax
a61af66fc99e Initial load
duke
parents:
diff changeset
1139 // set result handler
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1140 __ movptr(Address(rbp,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1141 (frame::interpreter_frame_result_handler_offset) * wordSize),
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1142 rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1143
a61af66fc99e Initial load
duke
parents:
diff changeset
1144 // pass mirror handle if static call
a61af66fc99e Initial load
duke
parents:
diff changeset
1145 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1146 Label L;
4762
069ab3f976d3 7118863: Move sizeof(klassOopDesc) into the *Klass::*_offset_in_bytes() functions
stefank
parents: 4042
diff changeset
1147 const int mirror_offset = in_bytes(Klass::java_mirror_offset());
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1148 __ movl(t, Address(method, Method::access_flags_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1149 __ testl(t, JVM_ACC_STATIC);
a61af66fc99e Initial load
duke
parents:
diff changeset
1150 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1151 // get mirror
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1152 __ movptr(t, Address(method, Method::const_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1153 __ movptr(t, Address(t, ConstMethod::constants_offset()));
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1154 __ movptr(t, Address(t, ConstantPool::pool_holder_offset_in_bytes()));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1155 __ movptr(t, Address(t, mirror_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1156 // copy mirror into activation frame
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1157 __ movptr(Address(rbp, frame::interpreter_frame_oop_temp_offset * wordSize),
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1158 t);
a61af66fc99e Initial load
duke
parents:
diff changeset
1159 // pass handle to mirror
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1160 __ lea(c_rarg1,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1161 Address(rbp, frame::interpreter_frame_oop_temp_offset * wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1162 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1163 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1164
a61af66fc99e Initial load
duke
parents:
diff changeset
1165 // get native function entry point
a61af66fc99e Initial load
duke
parents:
diff changeset
1166 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1167 Label L;
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1168 __ movptr(rax, Address(method, Method::native_function_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1169 ExternalAddress unsatisfied(SharedRuntime::native_method_throw_unsatisfied_link_error_entry());
a61af66fc99e Initial load
duke
parents:
diff changeset
1170 __ movptr(rscratch2, unsatisfied.addr());
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1171 __ cmpptr(rax, rscratch2);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1172 __ jcc(Assembler::notEqual, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1173 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
1174 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1175 InterpreterRuntime::prepare_native_call),
a61af66fc99e Initial load
duke
parents:
diff changeset
1176 method);
a61af66fc99e Initial load
duke
parents:
diff changeset
1177 __ get_method(method);
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1178 __ movptr(rax, Address(method, Method::native_function_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1179 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1180 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1181
a61af66fc99e Initial load
duke
parents:
diff changeset
1182 // pass JNIEnv
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1183 __ lea(c_rarg0, Address(r15_thread, JavaThread::jni_environment_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1184
a61af66fc99e Initial load
duke
parents:
diff changeset
1185 // It is enough that the pc() points into the right code
a61af66fc99e Initial load
duke
parents:
diff changeset
1186 // segment. It does not have to be the correct return pc.
a61af66fc99e Initial load
duke
parents:
diff changeset
1187 __ set_last_Java_frame(rsp, rbp, (address) __ pc());
a61af66fc99e Initial load
duke
parents:
diff changeset
1188
a61af66fc99e Initial load
duke
parents:
diff changeset
1189 // change thread state
a61af66fc99e Initial load
duke
parents:
diff changeset
1190 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1191 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1192 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1193 __ movl(t, Address(r15_thread, JavaThread::thread_state_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
1194 __ cmpl(t, _thread_in_Java);
a61af66fc99e Initial load
duke
parents:
diff changeset
1195 __ jcc(Assembler::equal, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1196 __ stop("Wrong thread state in native stub");
a61af66fc99e Initial load
duke
parents:
diff changeset
1197 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1198 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1199 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1200
a61af66fc99e Initial load
duke
parents:
diff changeset
1201 // Change state to native
a61af66fc99e Initial load
duke
parents:
diff changeset
1202
a61af66fc99e Initial load
duke
parents:
diff changeset
1203 __ movl(Address(r15_thread, JavaThread::thread_state_offset()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1204 _thread_in_native);
a61af66fc99e Initial load
duke
parents:
diff changeset
1205
a61af66fc99e Initial load
duke
parents:
diff changeset
1206 // Call the native method.
a61af66fc99e Initial load
duke
parents:
diff changeset
1207 __ call(rax);
a61af66fc99e Initial load
duke
parents:
diff changeset
1208 // result potentially in rax or xmm0
a61af66fc99e Initial load
duke
parents:
diff changeset
1209
8873
e961c11b85fe 8011102: Clear AVX registers after return from JNI call
kvn
parents: 8727
diff changeset
1210 // Verify or restore cpu control state after JNI call
e961c11b85fe 8011102: Clear AVX registers after return from JNI call
kvn
parents: 8727
diff changeset
1211 __ restore_cpu_control_state_after_jni();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1212
a61af66fc99e Initial load
duke
parents:
diff changeset
1213 // NOTE: The order of these pushes is known to frame::interpreter_frame_result
a61af66fc99e Initial load
duke
parents:
diff changeset
1214 // in order to extract the result of a method call. If the order of these
a61af66fc99e Initial load
duke
parents:
diff changeset
1215 // pushes change or anything else is added to the stack then the code in
a61af66fc99e Initial load
duke
parents:
diff changeset
1216 // interpreter_frame_result must also change.
a61af66fc99e Initial load
duke
parents:
diff changeset
1217
a61af66fc99e Initial load
duke
parents:
diff changeset
1218 __ push(dtos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1219 __ push(ltos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1220
a61af66fc99e Initial load
duke
parents:
diff changeset
1221 // change thread state
a61af66fc99e Initial load
duke
parents:
diff changeset
1222 __ movl(Address(r15_thread, JavaThread::thread_state_offset()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1223 _thread_in_native_trans);
a61af66fc99e Initial load
duke
parents:
diff changeset
1224
a61af66fc99e Initial load
duke
parents:
diff changeset
1225 if (os::is_MP()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1226 if (UseMembar) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1227 // Force this write out before the read below
a61af66fc99e Initial load
duke
parents:
diff changeset
1228 __ membar(Assembler::Membar_mask_bits(
a61af66fc99e Initial load
duke
parents:
diff changeset
1229 Assembler::LoadLoad | Assembler::LoadStore |
a61af66fc99e Initial load
duke
parents:
diff changeset
1230 Assembler::StoreLoad | Assembler::StoreStore));
a61af66fc99e Initial load
duke
parents:
diff changeset
1231 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
1232 // Write serialization page so VM thread can do a pseudo remote membar.
a61af66fc99e Initial load
duke
parents:
diff changeset
1233 // We use the current thread pointer to calculate a thread specific
a61af66fc99e Initial load
duke
parents:
diff changeset
1234 // offset to write to within the page. This minimizes bus traffic
a61af66fc99e Initial load
duke
parents:
diff changeset
1235 // due to cache line collision.
a61af66fc99e Initial load
duke
parents:
diff changeset
1236 __ serialize_memory(r15_thread, rscratch2);
a61af66fc99e Initial load
duke
parents:
diff changeset
1237 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1238 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1239
a61af66fc99e Initial load
duke
parents:
diff changeset
1240 // check for safepoint operation in progress and/or pending suspend requests
a61af66fc99e Initial load
duke
parents:
diff changeset
1241 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1242 Label Continue;
a61af66fc99e Initial load
duke
parents:
diff changeset
1243 __ cmp32(ExternalAddress(SafepointSynchronize::address_of_state()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1244 SafepointSynchronize::_not_synchronized);
a61af66fc99e Initial load
duke
parents:
diff changeset
1245
a61af66fc99e Initial load
duke
parents:
diff changeset
1246 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1247 __ jcc(Assembler::notEqual, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1248 __ cmpl(Address(r15_thread, JavaThread::suspend_flags_offset()), 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
1249 __ jcc(Assembler::equal, Continue);
a61af66fc99e Initial load
duke
parents:
diff changeset
1250 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1251
a61af66fc99e Initial load
duke
parents:
diff changeset
1252 // Don't use call_VM as it will see a possible pending exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1253 // and forward it and never return here preventing us from
a61af66fc99e Initial load
duke
parents:
diff changeset
1254 // clearing _last_native_pc down below. Also can't use
a61af66fc99e Initial load
duke
parents:
diff changeset
1255 // call_VM_leaf either as it will check to see if r13 & r14 are
a61af66fc99e Initial load
duke
parents:
diff changeset
1256 // preserved and correspond to the bcp/locals pointers. So we do a
a61af66fc99e Initial load
duke
parents:
diff changeset
1257 // runtime call by hand.
a61af66fc99e Initial load
duke
parents:
diff changeset
1258 //
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1259 __ mov(c_rarg0, r15_thread);
1976
0fc262af204f 6780143: hs203t003 hits SIGSEGV/EXCEPTION_ACCESS_VIOLATION with -XX:+UseCompressedOops
coleenp
parents: 1972
diff changeset
1260 __ mov(r12, rsp); // remember sp (can only use r12 if not using call_VM)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1261 __ subptr(rsp, frame::arg_reg_save_area_bytes); // windows
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1262 __ andptr(rsp, -16); // align stack as required by ABI
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1263 __ call(RuntimeAddress(CAST_FROM_FN_PTR(address, JavaThread::check_special_condition_for_native_trans)));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1264 __ mov(rsp, r12); // restore sp
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
1265 __ reinit_heapbase();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1266 __ bind(Continue);
a61af66fc99e Initial load
duke
parents:
diff changeset
1267 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1268
a61af66fc99e Initial load
duke
parents:
diff changeset
1269 // change thread state
a61af66fc99e Initial load
duke
parents:
diff changeset
1270 __ movl(Address(r15_thread, JavaThread::thread_state_offset()), _thread_in_Java);
a61af66fc99e Initial load
duke
parents:
diff changeset
1271
a61af66fc99e Initial load
duke
parents:
diff changeset
1272 // reset_last_Java_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
1273 __ reset_last_Java_frame(true, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1274
a61af66fc99e Initial load
duke
parents:
diff changeset
1275 // reset handle block
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1276 __ movptr(t, Address(r15_thread, JavaThread::active_handles_offset()));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1277 __ movptr(Address(t, JNIHandleBlock::top_offset_in_bytes()), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1278
a61af66fc99e Initial load
duke
parents:
diff changeset
1279 // If result is an oop unbox and store it in frame where gc will see it
a61af66fc99e Initial load
duke
parents:
diff changeset
1280 // and result handler will pick it up
a61af66fc99e Initial load
duke
parents:
diff changeset
1281
a61af66fc99e Initial load
duke
parents:
diff changeset
1282 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1283 Label no_oop, store_result;
a61af66fc99e Initial load
duke
parents:
diff changeset
1284 __ lea(t, ExternalAddress(AbstractInterpreter::result_handler(T_OBJECT)));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1285 __ cmpptr(t, Address(rbp, frame::interpreter_frame_result_handler_offset*wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1286 __ jcc(Assembler::notEqual, no_oop);
a61af66fc99e Initial load
duke
parents:
diff changeset
1287 // retrieve result
a61af66fc99e Initial load
duke
parents:
diff changeset
1288 __ pop(ltos);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1289 __ testptr(rax, rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1290 __ jcc(Assembler::zero, store_result);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1291 __ movptr(rax, Address(rax, 0));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1292 __ bind(store_result);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1293 __ movptr(Address(rbp, frame::interpreter_frame_oop_temp_offset*wordSize), rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1294 // keep stack depth as expected by pushing oop which will eventually be discarde
a61af66fc99e Initial load
duke
parents:
diff changeset
1295 __ push(ltos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1296 __ bind(no_oop);
a61af66fc99e Initial load
duke
parents:
diff changeset
1297 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1298
a61af66fc99e Initial load
duke
parents:
diff changeset
1299
a61af66fc99e Initial load
duke
parents:
diff changeset
1300 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1301 Label no_reguard;
a61af66fc99e Initial load
duke
parents:
diff changeset
1302 __ cmpl(Address(r15_thread, JavaThread::stack_guard_state_offset()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1303 JavaThread::stack_guard_yellow_disabled);
a61af66fc99e Initial load
duke
parents:
diff changeset
1304 __ jcc(Assembler::notEqual, no_reguard);
a61af66fc99e Initial load
duke
parents:
diff changeset
1305
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1306 __ pusha(); // XXX only save smashed registers
1976
0fc262af204f 6780143: hs203t003 hits SIGSEGV/EXCEPTION_ACCESS_VIOLATION with -XX:+UseCompressedOops
coleenp
parents: 1972
diff changeset
1307 __ mov(r12, rsp); // remember sp (can only use r12 if not using call_VM)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1308 __ subptr(rsp, frame::arg_reg_save_area_bytes); // windows
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1309 __ andptr(rsp, -16); // align stack as required by ABI
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1310 __ call(RuntimeAddress(CAST_FROM_FN_PTR(address, SharedRuntime::reguard_yellow_pages)));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1311 __ mov(rsp, r12); // restore sp
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1312 __ popa(); // XXX only restore smashed registers
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
1313 __ reinit_heapbase();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1314
a61af66fc99e Initial load
duke
parents:
diff changeset
1315 __ bind(no_reguard);
a61af66fc99e Initial load
duke
parents:
diff changeset
1316 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1317
a61af66fc99e Initial load
duke
parents:
diff changeset
1318
a61af66fc99e Initial load
duke
parents:
diff changeset
1319 // The method register is junk from after the thread_in_native transition
a61af66fc99e Initial load
duke
parents:
diff changeset
1320 // until here. Also can't call_VM until the bcp has been
a61af66fc99e Initial load
duke
parents:
diff changeset
1321 // restored. Need bcp for throwing exception below so get it now.
a61af66fc99e Initial load
duke
parents:
diff changeset
1322 __ get_method(method);
a61af66fc99e Initial load
duke
parents:
diff changeset
1323
a61af66fc99e Initial load
duke
parents:
diff changeset
1324 // restore r13 to have legal interpreter frame, i.e., bci == 0 <=>
a61af66fc99e Initial load
duke
parents:
diff changeset
1325 // r13 == code_base()
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1326 __ movptr(r13, Address(method, Method::const_offset())); // get ConstMethod*
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1327 __ lea(r13, Address(r13, ConstMethod::codes_offset())); // get codebase
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1328 // handle exceptions (exception handling will handle unlocking!)
a61af66fc99e Initial load
duke
parents:
diff changeset
1329 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1330 Label L;
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1331 __ cmpptr(Address(r15_thread, Thread::pending_exception_offset()), (int32_t) NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1332 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1333 // Note: At some point we may want to unify this with the code
a61af66fc99e Initial load
duke
parents:
diff changeset
1334 // used in call_VM_base(); i.e., we should use the
a61af66fc99e Initial load
duke
parents:
diff changeset
1335 // StubRoutines::forward_exception code. For now this doesn't work
a61af66fc99e Initial load
duke
parents:
diff changeset
1336 // here because the rsp is not correctly set at this point.
a61af66fc99e Initial load
duke
parents:
diff changeset
1337 __ MacroAssembler::call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
1338 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1339 InterpreterRuntime::throw_pending_exception));
a61af66fc99e Initial load
duke
parents:
diff changeset
1340 __ should_not_reach_here();
a61af66fc99e Initial load
duke
parents:
diff changeset
1341 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1342 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1343
a61af66fc99e Initial load
duke
parents:
diff changeset
1344 // do unlocking if necessary
a61af66fc99e Initial load
duke
parents:
diff changeset
1345 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1346 Label L;
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1347 __ movl(t, Address(method, Method::access_flags_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1348 __ testl(t, JVM_ACC_SYNCHRONIZED);
a61af66fc99e Initial load
duke
parents:
diff changeset
1349 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1350 // the code below should be shared with interpreter macro
a61af66fc99e Initial load
duke
parents:
diff changeset
1351 // assembler implementation
a61af66fc99e Initial load
duke
parents:
diff changeset
1352 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1353 Label unlock;
a61af66fc99e Initial load
duke
parents:
diff changeset
1354 // BasicObjectLock will be first in list, since this is a
a61af66fc99e Initial load
duke
parents:
diff changeset
1355 // synchronized method. However, need to check that the object
a61af66fc99e Initial load
duke
parents:
diff changeset
1356 // has not been unlocked by an explicit monitorexit bytecode.
a61af66fc99e Initial load
duke
parents:
diff changeset
1357 const Address monitor(rbp,
a61af66fc99e Initial load
duke
parents:
diff changeset
1358 (intptr_t)(frame::interpreter_frame_initial_sp_offset *
a61af66fc99e Initial load
duke
parents:
diff changeset
1359 wordSize - sizeof(BasicObjectLock)));
a61af66fc99e Initial load
duke
parents:
diff changeset
1360
a61af66fc99e Initial load
duke
parents:
diff changeset
1361 // monitor expect in c_rarg1 for slow unlock path
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1362 __ lea(c_rarg1, monitor); // address of first monitor
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1363
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1364 __ movptr(t, Address(c_rarg1, BasicObjectLock::obj_offset_in_bytes()));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1365 __ testptr(t, t);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1366 __ jcc(Assembler::notZero, unlock);
a61af66fc99e Initial load
duke
parents:
diff changeset
1367
a61af66fc99e Initial load
duke
parents:
diff changeset
1368 // Entry already unlocked, need to throw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1369 __ MacroAssembler::call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
1370 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1371 InterpreterRuntime::throw_illegal_monitor_state_exception));
a61af66fc99e Initial load
duke
parents:
diff changeset
1372 __ should_not_reach_here();
a61af66fc99e Initial load
duke
parents:
diff changeset
1373
a61af66fc99e Initial load
duke
parents:
diff changeset
1374 __ bind(unlock);
a61af66fc99e Initial load
duke
parents:
diff changeset
1375 __ unlock_object(c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
1376 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1377 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1378 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1379
a61af66fc99e Initial load
duke
parents:
diff changeset
1380 // jvmti support
a61af66fc99e Initial load
duke
parents:
diff changeset
1381 // Note: This must happen _after_ handling/throwing any exceptions since
a61af66fc99e Initial load
duke
parents:
diff changeset
1382 // the exception handler code notifies the runtime of method exits
a61af66fc99e Initial load
duke
parents:
diff changeset
1383 // too. If this happens before, method entry/exit notifications are
a61af66fc99e Initial load
duke
parents:
diff changeset
1384 // not properly paired (was bug - gri 11/22/99).
a61af66fc99e Initial load
duke
parents:
diff changeset
1385 __ notify_method_exit(vtos, InterpreterMacroAssembler::NotifyJVMTI);
a61af66fc99e Initial load
duke
parents:
diff changeset
1386
a61af66fc99e Initial load
duke
parents:
diff changeset
1387 // restore potential result in edx:eax, call result handler to
a61af66fc99e Initial load
duke
parents:
diff changeset
1388 // restore potential result in ST0 & handle result
a61af66fc99e Initial load
duke
parents:
diff changeset
1389
a61af66fc99e Initial load
duke
parents:
diff changeset
1390 __ pop(ltos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1391 __ pop(dtos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1392
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1393 __ movptr(t, Address(rbp,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1394 (frame::interpreter_frame_result_handler_offset) * wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1395 __ call(t);
a61af66fc99e Initial load
duke
parents:
diff changeset
1396
a61af66fc99e Initial load
duke
parents:
diff changeset
1397 // remove activation
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1398 __ movptr(t, Address(rbp,
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1399 frame::interpreter_frame_sender_sp_offset *
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1400 wordSize)); // get sender sp
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1401 __ leave(); // remove frame anchor
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1402 __ pop(rdi); // get return address
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1403 __ mov(rsp, t); // set sp to sender sp
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1404 __ jmp(rdi);
a61af66fc99e Initial load
duke
parents:
diff changeset
1405
a61af66fc99e Initial load
duke
parents:
diff changeset
1406 if (inc_counter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1407 // Handle overflow of counter and compile method
a61af66fc99e Initial load
duke
parents:
diff changeset
1408 __ bind(invocation_counter_overflow);
a61af66fc99e Initial load
duke
parents:
diff changeset
1409 generate_counter_overflow(&continue_after_compile);
a61af66fc99e Initial load
duke
parents:
diff changeset
1410 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1411
a61af66fc99e Initial load
duke
parents:
diff changeset
1412 return entry_point;
a61af66fc99e Initial load
duke
parents:
diff changeset
1413 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1414
a61af66fc99e Initial load
duke
parents:
diff changeset
1415 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1416 // Generic interpreted method entry to (asm) interpreter
a61af66fc99e Initial load
duke
parents:
diff changeset
1417 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1418 address InterpreterGenerator::generate_normal_entry(bool synchronized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1419 // determine code generation flags
a61af66fc99e Initial load
duke
parents:
diff changeset
1420 bool inc_counter = UseCompiler || CountCompiledCalls;
a61af66fc99e Initial load
duke
parents:
diff changeset
1421
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1422 // ebx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1423 // r13: sender sp
a61af66fc99e Initial load
duke
parents:
diff changeset
1424 address entry_point = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
1425
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1426 const Address constMethod(rbx, Method::const_offset());
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1427 const Address access_flags(rbx, Method::access_flags_offset());
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1428 const Address size_of_parameters(rdx,
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1429 ConstMethod::size_of_parameters_offset());
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1430 const Address size_of_locals(rdx, ConstMethod::size_of_locals_offset());
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1431
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1432
a61af66fc99e Initial load
duke
parents:
diff changeset
1433 // get parameter size (always needed)
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1434 __ movptr(rdx, constMethod);
622
56aae7be60d4 6812678: macro assembler needs delayed binding of a few constants (for 6655638)
jrose
parents: 605
diff changeset
1435 __ load_unsigned_short(rcx, size_of_parameters);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1436
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1437 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1438 // rcx: size of parameters
a61af66fc99e Initial load
duke
parents:
diff changeset
1439 // r13: sender_sp (could differ from sp+wordSize if we were called via c2i )
a61af66fc99e Initial load
duke
parents:
diff changeset
1440
622
56aae7be60d4 6812678: macro assembler needs delayed binding of a few constants (for 6655638)
jrose
parents: 605
diff changeset
1441 __ load_unsigned_short(rdx, size_of_locals); // get size of locals in words
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1442 __ subl(rdx, rcx); // rdx = no. of additional locals
a61af66fc99e Initial load
duke
parents:
diff changeset
1443
a61af66fc99e Initial load
duke
parents:
diff changeset
1444 // YYY
a61af66fc99e Initial load
duke
parents:
diff changeset
1445 // __ incrementl(rdx);
a61af66fc99e Initial load
duke
parents:
diff changeset
1446 // __ andl(rdx, -2);
a61af66fc99e Initial load
duke
parents:
diff changeset
1447
a61af66fc99e Initial load
duke
parents:
diff changeset
1448 // see if we've got enough room on the stack for locals plus overhead.
a61af66fc99e Initial load
duke
parents:
diff changeset
1449 generate_stack_overflow_check();
a61af66fc99e Initial load
duke
parents:
diff changeset
1450
a61af66fc99e Initial load
duke
parents:
diff changeset
1451 // get return address
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1452 __ pop(rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1453
a61af66fc99e Initial load
duke
parents:
diff changeset
1454 // compute beginning of parameters (r14)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1455 __ lea(r14, Address(rsp, rcx, Address::times_8, -wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1456
a61af66fc99e Initial load
duke
parents:
diff changeset
1457 // rdx - # of additional locals
a61af66fc99e Initial load
duke
parents:
diff changeset
1458 // allocate space for locals
a61af66fc99e Initial load
duke
parents:
diff changeset
1459 // explicitly initialize locals
a61af66fc99e Initial load
duke
parents:
diff changeset
1460 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1461 Label exit, loop;
a61af66fc99e Initial load
duke
parents:
diff changeset
1462 __ testl(rdx, rdx);
a61af66fc99e Initial load
duke
parents:
diff changeset
1463 __ jcc(Assembler::lessEqual, exit); // do nothing if rdx <= 0
a61af66fc99e Initial load
duke
parents:
diff changeset
1464 __ bind(loop);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1465 __ push((int) NULL_WORD); // initialize local variables
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1466 __ decrementl(rdx); // until everything initialized
a61af66fc99e Initial load
duke
parents:
diff changeset
1467 __ jcc(Assembler::greater, loop);
a61af66fc99e Initial load
duke
parents:
diff changeset
1468 __ bind(exit);
a61af66fc99e Initial load
duke
parents:
diff changeset
1469 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1470
a61af66fc99e Initial load
duke
parents:
diff changeset
1471 // initialize fixed part of activation frame
a61af66fc99e Initial load
duke
parents:
diff changeset
1472 generate_fixed_frame(false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1473
a61af66fc99e Initial load
duke
parents:
diff changeset
1474 // make sure method is not native & not abstract
a61af66fc99e Initial load
duke
parents:
diff changeset
1475 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1476 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
1477 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1478 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1479 __ testl(rax, JVM_ACC_NATIVE);
a61af66fc99e Initial load
duke
parents:
diff changeset
1480 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1481 __ stop("tried to execute native method as non-native");
a61af66fc99e Initial load
duke
parents:
diff changeset
1482 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1483 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1484 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1485 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1486 __ testl(rax, JVM_ACC_ABSTRACT);
a61af66fc99e Initial load
duke
parents:
diff changeset
1487 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1488 __ stop("tried to execute abstract method in interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
1489 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1490 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1491 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1492
a61af66fc99e Initial load
duke
parents:
diff changeset
1493 // Since at this point in the method invocation the exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1494 // handler would try to exit the monitor of synchronized methods
a61af66fc99e Initial load
duke
parents:
diff changeset
1495 // which hasn't been entered yet, we set the thread local variable
a61af66fc99e Initial load
duke
parents:
diff changeset
1496 // _do_not_unlock_if_synchronized to true. The remove_activation
a61af66fc99e Initial load
duke
parents:
diff changeset
1497 // will check this flag.
a61af66fc99e Initial load
duke
parents:
diff changeset
1498
a61af66fc99e Initial load
duke
parents:
diff changeset
1499 const Address do_not_unlock_if_synchronized(r15_thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
1500 in_bytes(JavaThread::do_not_unlock_if_synchronized_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
1501 __ movbool(do_not_unlock_if_synchronized, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1502
12962
5ccbab1c69f3 8026251: New type profiling points: parameters to methods
roland
parents: 12882
diff changeset
1503 __ profile_parameters_type(rax, rcx, rdx);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1504 // increment invocation count & check for overflow
a61af66fc99e Initial load
duke
parents:
diff changeset
1505 Label invocation_counter_overflow;
a61af66fc99e Initial load
duke
parents:
diff changeset
1506 Label profile_method;
a61af66fc99e Initial load
duke
parents:
diff changeset
1507 Label profile_method_continue;
a61af66fc99e Initial load
duke
parents:
diff changeset
1508 if (inc_counter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1509 generate_counter_incr(&invocation_counter_overflow,
a61af66fc99e Initial load
duke
parents:
diff changeset
1510 &profile_method,
a61af66fc99e Initial load
duke
parents:
diff changeset
1511 &profile_method_continue);
a61af66fc99e Initial load
duke
parents:
diff changeset
1512 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1513 __ bind(profile_method_continue);
a61af66fc99e Initial load
duke
parents:
diff changeset
1514 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1515 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1516
a61af66fc99e Initial load
duke
parents:
diff changeset
1517 Label continue_after_compile;
a61af66fc99e Initial load
duke
parents:
diff changeset
1518 __ bind(continue_after_compile);
a61af66fc99e Initial load
duke
parents:
diff changeset
1519
a61af66fc99e Initial load
duke
parents:
diff changeset
1520 // check for synchronized interpreted methods
a61af66fc99e Initial load
duke
parents:
diff changeset
1521 bang_stack_shadow_pages(false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1522
a61af66fc99e Initial load
duke
parents:
diff changeset
1523 // reset the _do_not_unlock_if_synchronized flag
a61af66fc99e Initial load
duke
parents:
diff changeset
1524 __ movbool(do_not_unlock_if_synchronized, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1525
a61af66fc99e Initial load
duke
parents:
diff changeset
1526 // check for synchronized methods
a61af66fc99e Initial load
duke
parents:
diff changeset
1527 // Must happen AFTER invocation_counter check and stack overflow check,
a61af66fc99e Initial load
duke
parents:
diff changeset
1528 // so method is not locked if overflows.
a61af66fc99e Initial load
duke
parents:
diff changeset
1529 if (synchronized) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1530 // Allocate monitor and lock method
a61af66fc99e Initial load
duke
parents:
diff changeset
1531 lock_method();
a61af66fc99e Initial load
duke
parents:
diff changeset
1532 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
1533 // no synchronization necessary
a61af66fc99e Initial load
duke
parents:
diff changeset
1534 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1535 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1536 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1537 __ movl(rax, access_flags);
a61af66fc99e Initial load
duke
parents:
diff changeset
1538 __ testl(rax, JVM_ACC_SYNCHRONIZED);
a61af66fc99e Initial load
duke
parents:
diff changeset
1539 __ jcc(Assembler::zero, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1540 __ stop("method needs synchronization");
a61af66fc99e Initial load
duke
parents:
diff changeset
1541 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1542 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1543 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1544 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1545
a61af66fc99e Initial load
duke
parents:
diff changeset
1546 // start execution
a61af66fc99e Initial load
duke
parents:
diff changeset
1547 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
1548 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1549 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
1550 const Address monitor_block_top (rbp,
a61af66fc99e Initial load
duke
parents:
diff changeset
1551 frame::interpreter_frame_monitor_block_top_offset * wordSize);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1552 __ movptr(rax, monitor_block_top);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1553 __ cmpptr(rax, rsp);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1554 __ jcc(Assembler::equal, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1555 __ stop("broken stack frame setup in interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
1556 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
1557 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1558 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1559
a61af66fc99e Initial load
duke
parents:
diff changeset
1560 // jvmti support
a61af66fc99e Initial load
duke
parents:
diff changeset
1561 __ notify_method_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
1562
a61af66fc99e Initial load
duke
parents:
diff changeset
1563 __ dispatch_next(vtos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1564
a61af66fc99e Initial load
duke
parents:
diff changeset
1565 // invocation counter overflow
a61af66fc99e Initial load
duke
parents:
diff changeset
1566 if (inc_counter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1567 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1568 // We have decided to profile this method in the interpreter
a61af66fc99e Initial load
duke
parents:
diff changeset
1569 __ bind(profile_method);
2118
dd031b2226de 4930919: race condition in MDO creation at back branch locations
iveresov
parents: 1976
diff changeset
1570 __ call_VM(noreg, CAST_FROM_FN_PTR(address, InterpreterRuntime::profile_method));
dd031b2226de 4930919: race condition in MDO creation at back branch locations
iveresov
parents: 1976
diff changeset
1571 __ set_method_data_pointer_for_bcp();
2141
b599a4c6c2df 7012766: assert(false) failed: DEBUG MESSAGE in MacroAssembler::debug32
iveresov
parents: 2118
diff changeset
1572 __ get_method(rbx);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1573 __ jmp(profile_method_continue);
a61af66fc99e Initial load
duke
parents:
diff changeset
1574 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1575 // Handle overflow of counter and compile method
a61af66fc99e Initial load
duke
parents:
diff changeset
1576 __ bind(invocation_counter_overflow);
a61af66fc99e Initial load
duke
parents:
diff changeset
1577 generate_counter_overflow(&continue_after_compile);
a61af66fc99e Initial load
duke
parents:
diff changeset
1578 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1579
a61af66fc99e Initial load
duke
parents:
diff changeset
1580 return entry_point;
a61af66fc99e Initial load
duke
parents:
diff changeset
1581 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1582
a61af66fc99e Initial load
duke
parents:
diff changeset
1583 // Entry points
a61af66fc99e Initial load
duke
parents:
diff changeset
1584 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1585 // Here we generate the various kind of entries into the interpreter.
a61af66fc99e Initial load
duke
parents:
diff changeset
1586 // The two main entry type are generic bytecode methods and native
a61af66fc99e Initial load
duke
parents:
diff changeset
1587 // call method. These both come in synchronized and non-synchronized
a61af66fc99e Initial load
duke
parents:
diff changeset
1588 // versions but the frame layout they create is very similar. The
a61af66fc99e Initial load
duke
parents:
diff changeset
1589 // other method entry types are really just special purpose entries
a61af66fc99e Initial load
duke
parents:
diff changeset
1590 // that are really entry and interpretation all in one. These are for
a61af66fc99e Initial load
duke
parents:
diff changeset
1591 // trivial methods like accessor, empty, or special math methods.
a61af66fc99e Initial load
duke
parents:
diff changeset
1592 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1593 // When control flow reaches any of the entry types for the interpreter
a61af66fc99e Initial load
duke
parents:
diff changeset
1594 // the following holds ->
a61af66fc99e Initial load
duke
parents:
diff changeset
1595 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1596 // Arguments:
a61af66fc99e Initial load
duke
parents:
diff changeset
1597 //
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1598 // rbx: Method*
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1599 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1600 // Stack layout immediately at entry
a61af66fc99e Initial load
duke
parents:
diff changeset
1601 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1602 // [ return address ] <--- rsp
a61af66fc99e Initial load
duke
parents:
diff changeset
1603 // [ parameter n ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1604 // ...
a61af66fc99e Initial load
duke
parents:
diff changeset
1605 // [ parameter 1 ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1606 // [ expression stack ] (caller's java expression stack)
a61af66fc99e Initial load
duke
parents:
diff changeset
1607
a61af66fc99e Initial load
duke
parents:
diff changeset
1608 // Assuming that we don't go to one of the trivial specialized entries
a61af66fc99e Initial load
duke
parents:
diff changeset
1609 // the stack will look like below when we are ready to execute the
a61af66fc99e Initial load
duke
parents:
diff changeset
1610 // first bytecode (or call the native routine). The register usage
a61af66fc99e Initial load
duke
parents:
diff changeset
1611 // will be as the template based interpreter expects (see
a61af66fc99e Initial load
duke
parents:
diff changeset
1612 // interpreter_amd64.hpp).
a61af66fc99e Initial load
duke
parents:
diff changeset
1613 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1614 // local variables follow incoming parameters immediately; i.e.
a61af66fc99e Initial load
duke
parents:
diff changeset
1615 // the return address is moved to the end of the locals).
a61af66fc99e Initial load
duke
parents:
diff changeset
1616 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1617 // [ monitor entry ] <--- rsp
a61af66fc99e Initial load
duke
parents:
diff changeset
1618 // ...
a61af66fc99e Initial load
duke
parents:
diff changeset
1619 // [ monitor entry ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1620 // [ expr. stack bottom ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1621 // [ saved r13 ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1622 // [ current r14 ]
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1623 // [ Method* ]
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1624 // [ saved ebp ] <--- rbp
a61af66fc99e Initial load
duke
parents:
diff changeset
1625 // [ return address ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1626 // [ local variable m ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1627 // ...
a61af66fc99e Initial load
duke
parents:
diff changeset
1628 // [ local variable 1 ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1629 // [ parameter n ]
a61af66fc99e Initial load
duke
parents:
diff changeset
1630 // ...
a61af66fc99e Initial load
duke
parents:
diff changeset
1631 // [ parameter 1 ] <--- r14
a61af66fc99e Initial load
duke
parents:
diff changeset
1632
a61af66fc99e Initial load
duke
parents:
diff changeset
1633 address AbstractInterpreterGenerator::generate_method_entry(
a61af66fc99e Initial load
duke
parents:
diff changeset
1634 AbstractInterpreter::MethodKind kind) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1635 // determine code generation flags
a61af66fc99e Initial load
duke
parents:
diff changeset
1636 bool synchronized = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
1637 address entry_point = NULL;
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1638 InterpreterGenerator* ig_this = (InterpreterGenerator*)this;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1639
a61af66fc99e Initial load
duke
parents:
diff changeset
1640 switch (kind) {
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1641 case Interpreter::zerolocals : break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1642 case Interpreter::zerolocals_synchronized: synchronized = true; break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1643 case Interpreter::native : entry_point = ig_this->generate_native_entry(false); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1644 case Interpreter::native_synchronized : entry_point = ig_this->generate_native_entry(true); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1645 case Interpreter::empty : entry_point = ig_this->generate_empty_entry(); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1646 case Interpreter::accessor : entry_point = ig_this->generate_accessor_entry(); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1647 case Interpreter::abstract : entry_point = ig_this->generate_abstract_entry(); break;
706
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1648
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1649 case Interpreter::java_lang_math_sin : // fall thru
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1650 case Interpreter::java_lang_math_cos : // fall thru
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1651 case Interpreter::java_lang_math_tan : // fall thru
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1652 case Interpreter::java_lang_math_abs : // fall thru
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1653 case Interpreter::java_lang_math_log : // fall thru
819880572f09 6539464: Math.log() produces inconsistent results between successive runs.
never
parents: 622
diff changeset
1654 case Interpreter::java_lang_math_log10 : // fall thru
6084
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4771
diff changeset
1655 case Interpreter::java_lang_math_sqrt : // fall thru
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4771
diff changeset
1656 case Interpreter::java_lang_math_pow : // fall thru
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1657 case Interpreter::java_lang_math_exp : entry_point = ig_this->generate_math_entry(kind); break;
3249
e1162778c1c8 7009266: G1: assert(obj->is_oop_or_null(true )) failed: Error
johnc
parents: 2245
diff changeset
1658 case Interpreter::java_lang_ref_reference_get
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1659 : entry_point = ig_this->generate_Reference_get_entry(); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1660 case Interpreter::java_util_zip_CRC32_update
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1661 : entry_point = ig_this->generate_CRC32_update_entry(); break;
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1662 case Interpreter::java_util_zip_CRC32_updateBytes
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1663 : // fall thru
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1664 case Interpreter::java_util_zip_CRC32_updateByteBuffer
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1665 : entry_point = ig_this->generate_CRC32_updateBytes_entry(kind); break;
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
1666 default:
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
1667 fatal(err_msg("unexpected method kind: %d", kind));
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 6123
diff changeset
1668 break;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1669 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1670
a61af66fc99e Initial load
duke
parents:
diff changeset
1671 if (entry_point) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1672 return entry_point;
a61af66fc99e Initial load
duke
parents:
diff changeset
1673 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1674
11080
b800986664f4 7088419: Use x86 Hardware CRC32 Instruction with java.util.zip.CRC32
drchase
parents: 10393
diff changeset
1675 return ig_this->generate_normal_entry(synchronized);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1676 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1677
1174
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1678 // These should never be compiled since the interpreter will prefer
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1679 // the compiled version to the intrinsic version.
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1680 bool AbstractInterpreter::can_be_compiled(methodHandle m) {
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1681 switch (method_kind(m)) {
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1682 case Interpreter::java_lang_math_sin : // fall thru
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1683 case Interpreter::java_lang_math_cos : // fall thru
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1684 case Interpreter::java_lang_math_tan : // fall thru
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1685 case Interpreter::java_lang_math_abs : // fall thru
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1686 case Interpreter::java_lang_math_log : // fall thru
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1687 case Interpreter::java_lang_math_log10 : // fall thru
6084
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4771
diff changeset
1688 case Interpreter::java_lang_math_sqrt : // fall thru
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4771
diff changeset
1689 case Interpreter::java_lang_math_pow : // fall thru
6759698e3140 7133857: exp() and pow() should use the x87 ISA on x86
roland
parents: 4771
diff changeset
1690 case Interpreter::java_lang_math_exp :
1174
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1691 return false;
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1692 default:
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1693 return true;
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1694 }
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1695 }
ddb7834449d0 6849984: Value methods for platform dependent math functions constant fold incorrectly
never
parents: 1135
diff changeset
1696
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1697 // How much stack a method activation needs in words.
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1698 int AbstractInterpreter::size_top_interpreter_activation(Method* method) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1699 const int entry_size = frame::interpreter_frame_monitor_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
1700
a61af66fc99e Initial load
duke
parents:
diff changeset
1701 // total overhead size: entry_size + (saved rbp thru expr stack
a61af66fc99e Initial load
duke
parents:
diff changeset
1702 // bottom). be sure to change this if you add/subtract anything
a61af66fc99e Initial load
duke
parents:
diff changeset
1703 // to/from the overhead area
a61af66fc99e Initial load
duke
parents:
diff changeset
1704 const int overhead_size =
a61af66fc99e Initial load
duke
parents:
diff changeset
1705 -(frame::interpreter_frame_initial_sp_offset) + entry_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
1706
a61af66fc99e Initial load
duke
parents:
diff changeset
1707 const int stub_code = frame::entry_frame_after_call_words;
10393
603ca7e51354 8010460: Interpreter on some platforms loads ConstMethod::_max_stack and misses extra stack slots for JSR 292
roland
parents: 10141
diff changeset
1708 const int method_stack = (method->max_locals() + method->max_stack()) *
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1709 Interpreter::stackElementWords;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1710 return (overhead_size + method_stack + stub_code);
a61af66fc99e Initial load
duke
parents:
diff changeset
1711 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1712
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1713 int AbstractInterpreter::layout_activation(Method* method,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1714 int tempcount,
a61af66fc99e Initial load
duke
parents:
diff changeset
1715 int popframe_extra_args,
a61af66fc99e Initial load
duke
parents:
diff changeset
1716 int moncount,
3369
3d2ab563047a 7043461: VM crashes in void LinkResolver::runtime_resolve_virtual_method
never
parents: 3252
diff changeset
1717 int caller_actual_parameters,
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1718 int callee_param_count,
a61af66fc99e Initial load
duke
parents:
diff changeset
1719 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
1720 frame* caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
1721 frame* interpreter_frame,
8727
0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates
roland
parents: 8001
diff changeset
1722 bool is_top_frame,
0094485b46c7 8009761: Deoptimization on sparc doesn't set Llast_SP correctly in the interpreter frames it creates
roland
parents: 8001
diff changeset
1723 bool is_bottom_frame) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1724 // Note: This calculation must exactly parallel the frame setup
a61af66fc99e Initial load
duke
parents:
diff changeset
1725 // in AbstractInterpreterGenerator::generate_method_entry.
a61af66fc99e Initial load
duke
parents:
diff changeset
1726 // If interpreter_frame!=NULL, set up the method, locals, and monitors.
a61af66fc99e Initial load
duke
parents:
diff changeset
1727 // The frame interpreter_frame, if not NULL, is guaranteed to be the
a61af66fc99e Initial load
duke
parents:
diff changeset
1728 // right size, as determined by a previous call to this method.
a61af66fc99e Initial load
duke
parents:
diff changeset
1729 // It is also guaranteed to be walkable even though it is in a skeletal state
a61af66fc99e Initial load
duke
parents:
diff changeset
1730
a61af66fc99e Initial load
duke
parents:
diff changeset
1731 // fixed size of an interpreter frame:
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1732 int max_locals = method->max_locals() * Interpreter::stackElementWords;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1733 int extra_locals = (method->max_locals() - method->size_of_parameters()) *
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1734 Interpreter::stackElementWords;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1735
a61af66fc99e Initial load
duke
parents:
diff changeset
1736 int overhead = frame::sender_sp_offset -
a61af66fc99e Initial load
duke
parents:
diff changeset
1737 frame::interpreter_frame_initial_sp_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
1738 // Our locals were accounted for by the caller (or last_frame_adjust
a61af66fc99e Initial load
duke
parents:
diff changeset
1739 // on the transistion) Since the callee parameters already account
a61af66fc99e Initial load
duke
parents:
diff changeset
1740 // for the callee's params we only need to account for the extra
a61af66fc99e Initial load
duke
parents:
diff changeset
1741 // locals.
a61af66fc99e Initial load
duke
parents:
diff changeset
1742 int size = overhead +
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1743 (callee_locals - callee_param_count)*Interpreter::stackElementWords +
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1744 moncount * frame::interpreter_frame_monitor_size() +
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1745 tempcount* Interpreter::stackElementWords + popframe_extra_args;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1746 if (interpreter_frame != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1747 #ifdef ASSERT
2416
38fea01eb669 6817525: turn on method handle functionality by default for JSR 292
twisti
parents: 2245
diff changeset
1748 if (!EnableInvokeDynamic)
1135
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
1749 // @@@ FIXME: Should we correct interpreter_frame_sender_sp in the calling sequences?
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
1750 // Probably, since deoptimization doesn't work yet.
e66fd840cb6b 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 1108
diff changeset
1751 assert(caller->unextended_sp() == interpreter_frame->interpreter_frame_sender_sp(), "Frame not properly walkable");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1752 assert(caller->sp() == interpreter_frame->sender_sp(), "Frame not properly walkable(2)");
a61af66fc99e Initial load
duke
parents:
diff changeset
1753 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
1754
a61af66fc99e Initial load
duke
parents:
diff changeset
1755 interpreter_frame->interpreter_frame_set_method(method);
a61af66fc99e Initial load
duke
parents:
diff changeset
1756 // NOTE the difference in using sender_sp and
a61af66fc99e Initial load
duke
parents:
diff changeset
1757 // interpreter_frame_sender_sp interpreter_frame_sender_sp is
a61af66fc99e Initial load
duke
parents:
diff changeset
1758 // the original sp of the caller (the unextended_sp) and
a61af66fc99e Initial load
duke
parents:
diff changeset
1759 // sender_sp is fp+16 XXX
a61af66fc99e Initial load
duke
parents:
diff changeset
1760 intptr_t* locals = interpreter_frame->sender_sp() + max_locals - 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
1761
4042
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1762 #ifdef ASSERT
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1763 if (caller->is_interpreted_frame()) {
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1764 assert(locals < caller->fp() + frame::interpreter_frame_initial_sp_offset, "bad placement");
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1765 }
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1766 #endif
b20d64f83668 7090904: JSR 292: JRuby junit test crashes in PSScavengeRootsClosure::do_oop
twisti
parents: 3451
diff changeset
1767
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1768 interpreter_frame->interpreter_frame_set_locals(locals);
a61af66fc99e Initial load
duke
parents:
diff changeset
1769 BasicObjectLock* montop = interpreter_frame->interpreter_frame_monitor_begin();
a61af66fc99e Initial load
duke
parents:
diff changeset
1770 BasicObjectLock* monbot = montop - moncount;
a61af66fc99e Initial load
duke
parents:
diff changeset
1771 interpreter_frame->interpreter_frame_set_monitor_end(monbot);
a61af66fc99e Initial load
duke
parents:
diff changeset
1772
a61af66fc99e Initial load
duke
parents:
diff changeset
1773 // Set last_sp
a61af66fc99e Initial load
duke
parents:
diff changeset
1774 intptr_t* esp = (intptr_t*) monbot -
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1775 tempcount*Interpreter::stackElementWords -
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1776 popframe_extra_args;
a61af66fc99e Initial load
duke
parents:
diff changeset
1777 interpreter_frame->interpreter_frame_set_last_sp(esp);
a61af66fc99e Initial load
duke
parents:
diff changeset
1778
a61af66fc99e Initial load
duke
parents:
diff changeset
1779 // All frames but the initial (oldest) interpreter frame we fill in have
a61af66fc99e Initial load
duke
parents:
diff changeset
1780 // a value for sender_sp that allows walking the stack but isn't
a61af66fc99e Initial load
duke
parents:
diff changeset
1781 // truly correct. Correct the value here.
a61af66fc99e Initial load
duke
parents:
diff changeset
1782 if (extra_locals != 0 &&
a61af66fc99e Initial load
duke
parents:
diff changeset
1783 interpreter_frame->sender_sp() ==
a61af66fc99e Initial load
duke
parents:
diff changeset
1784 interpreter_frame->interpreter_frame_sender_sp()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1785 interpreter_frame->set_interpreter_frame_sender_sp(caller->sp() +
a61af66fc99e Initial load
duke
parents:
diff changeset
1786 extra_locals);
a61af66fc99e Initial load
duke
parents:
diff changeset
1787 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1788 *interpreter_frame->interpreter_frame_cache_addr() =
a61af66fc99e Initial load
duke
parents:
diff changeset
1789 method->constants()->cache();
a61af66fc99e Initial load
duke
parents:
diff changeset
1790 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1791 return size;
a61af66fc99e Initial load
duke
parents:
diff changeset
1792 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1793
a61af66fc99e Initial load
duke
parents:
diff changeset
1794 //-----------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
1795 // Exceptions
a61af66fc99e Initial load
duke
parents:
diff changeset
1796
a61af66fc99e Initial load
duke
parents:
diff changeset
1797 void TemplateInterpreterGenerator::generate_throw_exception() {
a61af66fc99e Initial load
duke
parents:
diff changeset
1798 // Entry point in previous activation (i.e., if the caller was
a61af66fc99e Initial load
duke
parents:
diff changeset
1799 // interpreted)
a61af66fc99e Initial load
duke
parents:
diff changeset
1800 Interpreter::_rethrow_exception_entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
1801 // Restore sp to interpreter_frame_last_sp even though we are going
a61af66fc99e Initial load
duke
parents:
diff changeset
1802 // to empty the expression stack for the exception processing.
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1803 __ movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1804 // rax: exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1805 // rdx: return address/pc that threw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1806 __ restore_bcp(); // r13 points to call/send
a61af66fc99e Initial load
duke
parents:
diff changeset
1807 __ restore_locals();
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
1808 __ reinit_heapbase(); // restore r12 as heapbase.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1809 // Entry point for exceptions thrown within interpreter code
a61af66fc99e Initial load
duke
parents:
diff changeset
1810 Interpreter::_throw_exception_entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
1811 // expression stack is undefined here
a61af66fc99e Initial load
duke
parents:
diff changeset
1812 // rax: exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1813 // r13: exception bcp
a61af66fc99e Initial load
duke
parents:
diff changeset
1814 __ verify_oop(rax);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1815 __ mov(c_rarg1, rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1816
a61af66fc99e Initial load
duke
parents:
diff changeset
1817 // expression stack must be empty before entering the VM in case of
a61af66fc99e Initial load
duke
parents:
diff changeset
1818 // an exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1819 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
1820 // find exception handler address and preserve exception oop
a61af66fc99e Initial load
duke
parents:
diff changeset
1821 __ call_VM(rdx,
a61af66fc99e Initial load
duke
parents:
diff changeset
1822 CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1823 InterpreterRuntime::exception_handler_for_exception),
a61af66fc99e Initial load
duke
parents:
diff changeset
1824 c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
1825 // rax: exception handler entry point
a61af66fc99e Initial load
duke
parents:
diff changeset
1826 // rdx: preserved exception oop
a61af66fc99e Initial load
duke
parents:
diff changeset
1827 // r13: bcp for exception handler
a61af66fc99e Initial load
duke
parents:
diff changeset
1828 __ push_ptr(rdx); // push exception which is now the only value on the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
1829 __ jmp(rax); // jump to exception handler (may be _remove_activation_entry!)
a61af66fc99e Initial load
duke
parents:
diff changeset
1830
a61af66fc99e Initial load
duke
parents:
diff changeset
1831 // If the exception is not handled in the current frame the frame is
a61af66fc99e Initial load
duke
parents:
diff changeset
1832 // removed and the exception is rethrown (i.e. exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1833 // continuation is _rethrow_exception).
a61af66fc99e Initial load
duke
parents:
diff changeset
1834 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1835 // Note: At this point the bci is still the bxi for the instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
1836 // which caused the exception and the expression stack is
a61af66fc99e Initial load
duke
parents:
diff changeset
1837 // empty. Thus, for any VM calls at this point, GC will find a legal
a61af66fc99e Initial load
duke
parents:
diff changeset
1838 // oop map (with empty expression stack).
a61af66fc99e Initial load
duke
parents:
diff changeset
1839
a61af66fc99e Initial load
duke
parents:
diff changeset
1840 // In current activation
a61af66fc99e Initial load
duke
parents:
diff changeset
1841 // tos: exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1842 // esi: exception bcp
a61af66fc99e Initial load
duke
parents:
diff changeset
1843
a61af66fc99e Initial load
duke
parents:
diff changeset
1844 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1845 // JVMTI PopFrame support
a61af66fc99e Initial load
duke
parents:
diff changeset
1846 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1847
a61af66fc99e Initial load
duke
parents:
diff changeset
1848 Interpreter::_remove_activation_preserving_args_entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
1849 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
1850 // Set the popframe_processing bit in pending_popframe_condition
a61af66fc99e Initial load
duke
parents:
diff changeset
1851 // indicating that we are currently handling popframe, so that
a61af66fc99e Initial load
duke
parents:
diff changeset
1852 // call_VMs that may happen later do not trigger new popframe
a61af66fc99e Initial load
duke
parents:
diff changeset
1853 // handling cycles.
a61af66fc99e Initial load
duke
parents:
diff changeset
1854 __ movl(rdx, Address(r15_thread, JavaThread::popframe_condition_offset()));
a61af66fc99e Initial load
duke
parents:
diff changeset
1855 __ orl(rdx, JavaThread::popframe_processing_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
1856 __ movl(Address(r15_thread, JavaThread::popframe_condition_offset()), rdx);
a61af66fc99e Initial load
duke
parents:
diff changeset
1857
a61af66fc99e Initial load
duke
parents:
diff changeset
1858 {
a61af66fc99e Initial load
duke
parents:
diff changeset
1859 // Check to see whether we are returning to a deoptimized frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
1860 // (The PopFrame call ensures that the caller of the popped frame is
a61af66fc99e Initial load
duke
parents:
diff changeset
1861 // either interpreted or compiled and deoptimizes it if compiled.)
a61af66fc99e Initial load
duke
parents:
diff changeset
1862 // In this case, we can't call dispatch_next() after the frame is
a61af66fc99e Initial load
duke
parents:
diff changeset
1863 // popped, but instead must save the incoming arguments and restore
a61af66fc99e Initial load
duke
parents:
diff changeset
1864 // them after deoptimization has occurred.
a61af66fc99e Initial load
duke
parents:
diff changeset
1865 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1866 // Note that we don't compare the return PC against the
a61af66fc99e Initial load
duke
parents:
diff changeset
1867 // deoptimization blob's unpack entry because of the presence of
a61af66fc99e Initial load
duke
parents:
diff changeset
1868 // adapter frames in C2.
a61af66fc99e Initial load
duke
parents:
diff changeset
1869 Label caller_not_deoptimized;
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1870 __ movptr(c_rarg1, Address(rbp, frame::return_addr_offset * wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1871 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1872 InterpreterRuntime::interpreter_contains), c_rarg1);
a61af66fc99e Initial load
duke
parents:
diff changeset
1873 __ testl(rax, rax);
a61af66fc99e Initial load
duke
parents:
diff changeset
1874 __ jcc(Assembler::notZero, caller_not_deoptimized);
a61af66fc99e Initial load
duke
parents:
diff changeset
1875
a61af66fc99e Initial load
duke
parents:
diff changeset
1876 // Compute size of arguments for saving when returning to
a61af66fc99e Initial load
duke
parents:
diff changeset
1877 // deoptimized caller
a61af66fc99e Initial load
duke
parents:
diff changeset
1878 __ get_method(rax);
7402
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1879 __ movptr(rax, Address(rax, Method::const_offset()));
fd74228fd5ca 8004076: Move _max_locals and _size_of_parameters to ConstMethod for better sharing.
jiangli
parents: 7199
diff changeset
1880 __ load_unsigned_short(rax, Address(rax, in_bytes(ConstMethod::
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1881 size_of_parameters_offset())));
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1295
diff changeset
1882 __ shll(rax, Interpreter::logStackElementSize);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1883 __ restore_locals(); // XXX do we need this?
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1884 __ subptr(r14, rax);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1885 __ addptr(r14, wordSize);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1886 // Save these arguments
a61af66fc99e Initial load
duke
parents:
diff changeset
1887 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1888 Deoptimization::
a61af66fc99e Initial load
duke
parents:
diff changeset
1889 popframe_preserve_args),
a61af66fc99e Initial load
duke
parents:
diff changeset
1890 r15_thread, rax, r14);
a61af66fc99e Initial load
duke
parents:
diff changeset
1891
a61af66fc99e Initial load
duke
parents:
diff changeset
1892 __ remove_activation(vtos, rdx,
a61af66fc99e Initial load
duke
parents:
diff changeset
1893 /* throw_monitor_exception */ false,
a61af66fc99e Initial load
duke
parents:
diff changeset
1894 /* install_monitor_exception */ false,
a61af66fc99e Initial load
duke
parents:
diff changeset
1895 /* notify_jvmdi */ false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1896
a61af66fc99e Initial load
duke
parents:
diff changeset
1897 // Inform deoptimization that it is responsible for restoring
a61af66fc99e Initial load
duke
parents:
diff changeset
1898 // these arguments
a61af66fc99e Initial load
duke
parents:
diff changeset
1899 __ movl(Address(r15_thread, JavaThread::popframe_condition_offset()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1900 JavaThread::popframe_force_deopt_reexecution_bit);
a61af66fc99e Initial load
duke
parents:
diff changeset
1901
a61af66fc99e Initial load
duke
parents:
diff changeset
1902 // Continue in deoptimization handler
a61af66fc99e Initial load
duke
parents:
diff changeset
1903 __ jmp(rdx);
a61af66fc99e Initial load
duke
parents:
diff changeset
1904
a61af66fc99e Initial load
duke
parents:
diff changeset
1905 __ bind(caller_not_deoptimized);
a61af66fc99e Initial load
duke
parents:
diff changeset
1906 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1907
a61af66fc99e Initial load
duke
parents:
diff changeset
1908 __ remove_activation(vtos, rdx, /* rdx result (retaddr) is not used */
a61af66fc99e Initial load
duke
parents:
diff changeset
1909 /* throw_monitor_exception */ false,
a61af66fc99e Initial load
duke
parents:
diff changeset
1910 /* install_monitor_exception */ false,
a61af66fc99e Initial load
duke
parents:
diff changeset
1911 /* notify_jvmdi */ false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1912
a61af66fc99e Initial load
duke
parents:
diff changeset
1913 // Finish with popframe handling
a61af66fc99e Initial load
duke
parents:
diff changeset
1914 // A previous I2C followed by a deoptimization might have moved the
a61af66fc99e Initial load
duke
parents:
diff changeset
1915 // outgoing arguments further up the stack. PopFrame expects the
a61af66fc99e Initial load
duke
parents:
diff changeset
1916 // mutations to those outgoing arguments to be preserved and other
a61af66fc99e Initial load
duke
parents:
diff changeset
1917 // constraints basically require this frame to look exactly as
a61af66fc99e Initial load
duke
parents:
diff changeset
1918 // though it had previously invoked an interpreted activation with
a61af66fc99e Initial load
duke
parents:
diff changeset
1919 // no space between the top of the expression stack (current
a61af66fc99e Initial load
duke
parents:
diff changeset
1920 // last_sp) and the top of stack. Rather than force deopt to
a61af66fc99e Initial load
duke
parents:
diff changeset
1921 // maintain this kind of invariant all the time we call a small
a61af66fc99e Initial load
duke
parents:
diff changeset
1922 // fixup routine to move the mutated arguments onto the top of our
a61af66fc99e Initial load
duke
parents:
diff changeset
1923 // expression stack if necessary.
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1924 __ mov(c_rarg1, rsp);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1925 __ movptr(c_rarg2, Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1926 // PC must point into interpreter here
a61af66fc99e Initial load
duke
parents:
diff changeset
1927 __ set_last_Java_frame(noreg, rbp, __ pc());
a61af66fc99e Initial load
duke
parents:
diff changeset
1928 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address, InterpreterRuntime::popframe_move_outgoing_args), r15_thread, c_rarg1, c_rarg2);
a61af66fc99e Initial load
duke
parents:
diff changeset
1929 __ reset_last_Java_frame(true, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
1930 // Restore the last_sp and null it out
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1931 __ movptr(rsp, Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize));
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1932 __ movptr(Address(rbp, frame::interpreter_frame_last_sp_offset * wordSize), (int32_t)NULL_WORD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1933
a61af66fc99e Initial load
duke
parents:
diff changeset
1934 __ restore_bcp(); // XXX do we need this?
a61af66fc99e Initial load
duke
parents:
diff changeset
1935 __ restore_locals(); // XXX do we need this?
a61af66fc99e Initial load
duke
parents:
diff changeset
1936 // The method data pointer was incremented already during
a61af66fc99e Initial load
duke
parents:
diff changeset
1937 // call profiling. We have to restore the mdp for the current bcp.
a61af66fc99e Initial load
duke
parents:
diff changeset
1938 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
1939 __ set_method_data_pointer_for_bcp();
a61af66fc99e Initial load
duke
parents:
diff changeset
1940 }
a61af66fc99e Initial load
duke
parents:
diff changeset
1941
a61af66fc99e Initial load
duke
parents:
diff changeset
1942 // Clear the popframe condition flag
a61af66fc99e Initial load
duke
parents:
diff changeset
1943 __ movl(Address(r15_thread, JavaThread::popframe_condition_offset()),
a61af66fc99e Initial load
duke
parents:
diff changeset
1944 JavaThread::popframe_inactive);
a61af66fc99e Initial load
duke
parents:
diff changeset
1945
12010
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1946 #if INCLUDE_JVMTI
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1947 if (EnableInvokeDynamic) {
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1948 Label L_done;
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1949 const Register local0 = r14;
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1950
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1951 __ cmpb(Address(r13, 0), Bytecodes::_invokestatic);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1952 __ jcc(Assembler::notEqual, L_done);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1953
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1954 // The member name argument must be restored if _invokestatic is re-executed after a PopFrame call.
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1955 // Detect such a case in the InterpreterRuntime function and return the member name argument, or NULL.
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1956
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1957 __ get_method(rdx);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1958 __ movptr(rax, Address(local0, 0));
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1959 __ call_VM(rax, CAST_FROM_FN_PTR(address, InterpreterRuntime::member_name_arg_or_null), rax, rdx, r13);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1960
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1961 __ testptr(rax, rax);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1962 __ jcc(Assembler::zero, L_done);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1963
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1964 __ movptr(Address(rbx, 0), rax);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1965 __ bind(L_done);
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1966 }
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1967 #endif // INCLUDE_JVMTI
ca0165daa6ec 7187554: JSR 292: JVMTI PopFrame needs to handle appendix arguments
sspitsyn
parents: 11080
diff changeset
1968
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1969 __ dispatch_next(vtos);
a61af66fc99e Initial load
duke
parents:
diff changeset
1970 // end of PopFrame support
a61af66fc99e Initial load
duke
parents:
diff changeset
1971
a61af66fc99e Initial load
duke
parents:
diff changeset
1972 Interpreter::_remove_activation_entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
1973
a61af66fc99e Initial load
duke
parents:
diff changeset
1974 // preserve exception over this code sequence
a61af66fc99e Initial load
duke
parents:
diff changeset
1975 __ pop_ptr(rax);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1976 __ movptr(Address(r15_thread, JavaThread::vm_result_offset()), rax);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1977 // remove the activation (without doing throws on illegalMonitorExceptions)
a61af66fc99e Initial load
duke
parents:
diff changeset
1978 __ remove_activation(vtos, rdx, false, true, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
1979 // restore exception
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
1980 __ get_vm_result(rax, r15_thread);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1981
a61af66fc99e Initial load
duke
parents:
diff changeset
1982 // In between activations - previous activation type unknown yet
a61af66fc99e Initial load
duke
parents:
diff changeset
1983 // compute continuation point - the continuation point expects the
a61af66fc99e Initial load
duke
parents:
diff changeset
1984 // following registers set up:
a61af66fc99e Initial load
duke
parents:
diff changeset
1985 //
a61af66fc99e Initial load
duke
parents:
diff changeset
1986 // rax: exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1987 // rdx: return address/pc that threw exception
a61af66fc99e Initial load
duke
parents:
diff changeset
1988 // rsp: expression stack of caller
a61af66fc99e Initial load
duke
parents:
diff changeset
1989 // rbp: ebp of caller
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1990 __ push(rax); // save exception
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1991 __ push(rdx); // save return address
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1992 __ super_call_VM_leaf(CAST_FROM_FN_PTR(address,
a61af66fc99e Initial load
duke
parents:
diff changeset
1993 SharedRuntime::exception_handler_for_return_address),
1295
3cf667df43ef 6919934: JSR 292 needs to support x86 C1
twisti
parents: 1174
diff changeset
1994 r15_thread, rdx);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1995 __ mov(rbx, rax); // save exception handler
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1996 __ pop(rdx); // restore return address
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
1997 __ pop(rax); // restore exception
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1998 // Note that an "issuing PC" is actually the next PC after the call
a61af66fc99e Initial load
duke
parents:
diff changeset
1999 __ jmp(rbx); // jump to exception
a61af66fc99e Initial load
duke
parents:
diff changeset
2000 // handler of caller
a61af66fc99e Initial load
duke
parents:
diff changeset
2001 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2002
a61af66fc99e Initial load
duke
parents:
diff changeset
2003
a61af66fc99e Initial load
duke
parents:
diff changeset
2004 //
a61af66fc99e Initial load
duke
parents:
diff changeset
2005 // JVMTI ForceEarlyReturn support
a61af66fc99e Initial load
duke
parents:
diff changeset
2006 //
a61af66fc99e Initial load
duke
parents:
diff changeset
2007 address TemplateInterpreterGenerator::generate_earlyret_entry_for(TosState state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2008 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
2009
a61af66fc99e Initial load
duke
parents:
diff changeset
2010 __ restore_bcp();
a61af66fc99e Initial load
duke
parents:
diff changeset
2011 __ restore_locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
2012 __ empty_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
2013 __ load_earlyret_value(state);
a61af66fc99e Initial load
duke
parents:
diff changeset
2014
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2015 __ movptr(rdx, Address(r15_thread, JavaThread::jvmti_thread_state_offset()));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
2016 Address cond_addr(rdx, JvmtiThreadState::earlyret_state_offset());
a61af66fc99e Initial load
duke
parents:
diff changeset
2017
a61af66fc99e Initial load
duke
parents:
diff changeset
2018 // Clear the earlyret state
a61af66fc99e Initial load
duke
parents:
diff changeset
2019 __ movl(cond_addr, JvmtiThreadState::earlyret_inactive);
a61af66fc99e Initial load
duke
parents:
diff changeset
2020
a61af66fc99e Initial load
duke
parents:
diff changeset
2021 __ remove_activation(state, rsi,
a61af66fc99e Initial load
duke
parents:
diff changeset
2022 false, /* throw_monitor_exception */
a61af66fc99e Initial load
duke
parents:
diff changeset
2023 false, /* install_monitor_exception */
a61af66fc99e Initial load
duke
parents:
diff changeset
2024 true); /* notify_jvmdi */
a61af66fc99e Initial load
duke
parents:
diff changeset
2025 __ jmp(rsi);
a61af66fc99e Initial load
duke
parents:
diff changeset
2026
a61af66fc99e Initial load
duke
parents:
diff changeset
2027 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
2028 } // end of ForceEarlyReturn support
a61af66fc99e Initial load
duke
parents:
diff changeset
2029
a61af66fc99e Initial load
duke
parents:
diff changeset
2030
a61af66fc99e Initial load
duke
parents:
diff changeset
2031 //-----------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
2032 // Helper for vtos entry point generation
a61af66fc99e Initial load
duke
parents:
diff changeset
2033
a61af66fc99e Initial load
duke
parents:
diff changeset
2034 void TemplateInterpreterGenerator::set_vtos_entry_points(Template* t,
a61af66fc99e Initial load
duke
parents:
diff changeset
2035 address& bep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2036 address& cep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2037 address& sep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2038 address& aep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2039 address& iep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2040 address& lep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2041 address& fep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2042 address& dep,
a61af66fc99e Initial load
duke
parents:
diff changeset
2043 address& vep) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2044 assert(t->is_valid() && t->tos_in() == vtos, "illegal template");
a61af66fc99e Initial load
duke
parents:
diff changeset
2045 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
2046 aep = __ pc(); __ push_ptr(); __ jmp(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2047 fep = __ pc(); __ push_f(); __ jmp(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2048 dep = __ pc(); __ push_d(); __ jmp(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2049 lep = __ pc(); __ push_l(); __ jmp(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2050 bep = cep = sep =
a61af66fc99e Initial load
duke
parents:
diff changeset
2051 iep = __ pc(); __ push_i();
a61af66fc99e Initial load
duke
parents:
diff changeset
2052 vep = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
2053 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2054 generate_and_dispatch(t);
a61af66fc99e Initial load
duke
parents:
diff changeset
2055 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2056
a61af66fc99e Initial load
duke
parents:
diff changeset
2057
a61af66fc99e Initial load
duke
parents:
diff changeset
2058 //-----------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
2059 // Generation of individual instructions
a61af66fc99e Initial load
duke
parents:
diff changeset
2060
a61af66fc99e Initial load
duke
parents:
diff changeset
2061 // helpers for generate_and_dispatch
a61af66fc99e Initial load
duke
parents:
diff changeset
2062
a61af66fc99e Initial load
duke
parents:
diff changeset
2063
a61af66fc99e Initial load
duke
parents:
diff changeset
2064 InterpreterGenerator::InterpreterGenerator(StubQueue* code)
a61af66fc99e Initial load
duke
parents:
diff changeset
2065 : TemplateInterpreterGenerator(code) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2066 generate_all(); // down here so it can be "virtual"
a61af66fc99e Initial load
duke
parents:
diff changeset
2067 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2068
a61af66fc99e Initial load
duke
parents:
diff changeset
2069 //-----------------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
2070
a61af66fc99e Initial load
duke
parents:
diff changeset
2071 // Non-product code
a61af66fc99e Initial load
duke
parents:
diff changeset
2072 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
2073 address TemplateInterpreterGenerator::generate_trace_code(TosState state) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2074 address entry = __ pc();
a61af66fc99e Initial load
duke
parents:
diff changeset
2075
a61af66fc99e Initial load
duke
parents:
diff changeset
2076 __ push(state);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2077 __ push(c_rarg0);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2078 __ push(c_rarg1);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2079 __ push(c_rarg2);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2080 __ push(c_rarg3);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2081 __ mov(c_rarg2, rax); // Pass itos
0
a61af66fc99e Initial load
duke
parents:
diff changeset
2082 #ifdef _WIN64
a61af66fc99e Initial load
duke
parents:
diff changeset
2083 __ movflt(xmm3, xmm0); // Pass ftos
a61af66fc99e Initial load
duke
parents:
diff changeset
2084 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
2085 __ call_VM(noreg,
a61af66fc99e Initial load
duke
parents:
diff changeset
2086 CAST_FROM_FN_PTR(address, SharedRuntime::trace_bytecode),
a61af66fc99e Initial load
duke
parents:
diff changeset
2087 c_rarg1, c_rarg2, c_rarg3);
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2088 __ pop(c_rarg3);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2089 __ pop(c_rarg2);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2090 __ pop(c_rarg1);
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2091 __ pop(c_rarg0);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
2092 __ pop(state);
a61af66fc99e Initial load
duke
parents:
diff changeset
2093 __ ret(0); // return from result handler
a61af66fc99e Initial load
duke
parents:
diff changeset
2094
a61af66fc99e Initial load
duke
parents:
diff changeset
2095 return entry;
a61af66fc99e Initial load
duke
parents:
diff changeset
2096 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2097
a61af66fc99e Initial load
duke
parents:
diff changeset
2098 void TemplateInterpreterGenerator::count_bytecode() {
a61af66fc99e Initial load
duke
parents:
diff changeset
2099 __ incrementl(ExternalAddress((address) &BytecodeCounter::_counter_value));
a61af66fc99e Initial load
duke
parents:
diff changeset
2100 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2101
a61af66fc99e Initial load
duke
parents:
diff changeset
2102 void TemplateInterpreterGenerator::histogram_bytecode(Template* t) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2103 __ incrementl(ExternalAddress((address) &BytecodeHistogram::_counters[t->bytecode()]));
a61af66fc99e Initial load
duke
parents:
diff changeset
2104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2105
a61af66fc99e Initial load
duke
parents:
diff changeset
2106 void TemplateInterpreterGenerator::histogram_bytecode_pair(Template* t) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2107 __ mov32(rbx, ExternalAddress((address) &BytecodePairHistogram::_index));
a61af66fc99e Initial load
duke
parents:
diff changeset
2108 __ shrl(rbx, BytecodePairHistogram::log2_number_of_codes);
a61af66fc99e Initial load
duke
parents:
diff changeset
2109 __ orl(rbx,
a61af66fc99e Initial load
duke
parents:
diff changeset
2110 ((int) t->bytecode()) <<
a61af66fc99e Initial load
duke
parents:
diff changeset
2111 BytecodePairHistogram::log2_number_of_codes);
a61af66fc99e Initial load
duke
parents:
diff changeset
2112 __ mov32(ExternalAddress((address) &BytecodePairHistogram::_index), rbx);
a61af66fc99e Initial load
duke
parents:
diff changeset
2113 __ lea(rscratch1, ExternalAddress((address) BytecodePairHistogram::_counters));
a61af66fc99e Initial load
duke
parents:
diff changeset
2114 __ incrementl(Address(rscratch1, rbx, Address::times_4));
a61af66fc99e Initial load
duke
parents:
diff changeset
2115 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2116
a61af66fc99e Initial load
duke
parents:
diff changeset
2117
a61af66fc99e Initial load
duke
parents:
diff changeset
2118 void TemplateInterpreterGenerator::trace_bytecode(Template* t) {
a61af66fc99e Initial load
duke
parents:
diff changeset
2119 // Call a little run-time stub to avoid blow-up for each bytecode.
a61af66fc99e Initial load
duke
parents:
diff changeset
2120 // The run-time runtime saves the right registers, depending on
a61af66fc99e Initial load
duke
parents:
diff changeset
2121 // the tosca in-state for the given template.
a61af66fc99e Initial load
duke
parents:
diff changeset
2122
a61af66fc99e Initial load
duke
parents:
diff changeset
2123 assert(Interpreter::trace_code(t->tos_in()) != NULL,
a61af66fc99e Initial load
duke
parents:
diff changeset
2124 "entry must have been generated");
1976
0fc262af204f 6780143: hs203t003 hits SIGSEGV/EXCEPTION_ACCESS_VIOLATION with -XX:+UseCompressedOops
coleenp
parents: 1972
diff changeset
2125 __ mov(r12, rsp); // remember sp (can only use r12 if not using call_VM)
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2126 __ andptr(rsp, -16); // align stack as required by ABI
0
a61af66fc99e Initial load
duke
parents:
diff changeset
2127 __ call(RuntimeAddress(Interpreter::trace_code(t->tos_in())));
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2128 __ mov(rsp, r12); // restore sp
113
ba764ed4b6f2 6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents: 0
diff changeset
2129 __ reinit_heapbase();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
2130 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2131
a61af66fc99e Initial load
duke
parents:
diff changeset
2132
a61af66fc99e Initial load
duke
parents:
diff changeset
2133 void TemplateInterpreterGenerator::stop_interpreter_at() {
a61af66fc99e Initial load
duke
parents:
diff changeset
2134 Label L;
a61af66fc99e Initial load
duke
parents:
diff changeset
2135 __ cmp32(ExternalAddress((address) &BytecodeCounter::_counter_value),
a61af66fc99e Initial load
duke
parents:
diff changeset
2136 StopInterpreterAt);
a61af66fc99e Initial load
duke
parents:
diff changeset
2137 __ jcc(Assembler::notEqual, L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2138 __ int3();
a61af66fc99e Initial load
duke
parents:
diff changeset
2139 __ bind(L);
a61af66fc99e Initial load
duke
parents:
diff changeset
2140 }
a61af66fc99e Initial load
duke
parents:
diff changeset
2141 #endif // !PRODUCT
304
dc7f315e41f7 5108146: Merge i486 and amd64 cpu directories
never
parents: 196
diff changeset
2142 #endif // ! CC_INTERP