annotate src/cpu/sparc/vm/frame_sparc.cpp @ 6812:988bf00cc564

7200261: G1: Liveness counting inconsistencies during marking verification Summary: The clipping code in the routine that sets the bits for a range of cards, in the liveness accounting verification code was incorrect. It set all the bits in the card bitmap from the given starting index which would lead to spurious marking verification failures. Reviewed-by: brutisso, jwilhelm, jmasa
author johnc
date Thu, 27 Sep 2012 15:44:01 -0700
parents da91efe96a93
children 59c790074993
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
4818
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1506
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1506
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1506
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
26 #include "interpreter/interpreter.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
27 #include "memory/resourceArea.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
28 #include "oops/markOop.hpp"
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
29 #include "oops/method.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
30 #include "oops/oop.inline.hpp"
4868
5f17b16b3219 7141059: 7116795 broke pure c2 builds
iveresov
parents: 4824
diff changeset
31 #include "prims/methodHandles.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
32 #include "runtime/frame.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
33 #include "runtime/handles.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
34 #include "runtime/javaCalls.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
35 #include "runtime/monitorChunk.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
36 #include "runtime/signature.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
37 #include "runtime/stubCodeGenerator.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
38 #include "runtime/stubRoutines.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
39 #include "vmreg_sparc.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
40 #ifdef COMPILER1
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
41 #include "c1/c1_Runtime1.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
42 #include "runtime/vframeArray.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1748
diff changeset
43 #endif
0
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 void RegisterMap::pd_clear() {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 if (_thread->has_last_Java_frame()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
47 frame fr = _thread->last_frame();
a61af66fc99e Initial load
duke
parents:
diff changeset
48 _window = fr.sp();
a61af66fc99e Initial load
duke
parents:
diff changeset
49 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
50 _window = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
51 }
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _younger_window = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 }
a61af66fc99e Initial load
duke
parents:
diff changeset
54
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // Unified register numbering scheme: each 32-bits counts as a register
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // number, so all the V9 registers take 2 slots.
a61af66fc99e Initial load
duke
parents:
diff changeset
58 const static int R_L_nums[] = {0+040,2+040,4+040,6+040,8+040,10+040,12+040,14+040};
a61af66fc99e Initial load
duke
parents:
diff changeset
59 const static int R_I_nums[] = {0+060,2+060,4+060,6+060,8+060,10+060,12+060,14+060};
a61af66fc99e Initial load
duke
parents:
diff changeset
60 const static int R_O_nums[] = {0+020,2+020,4+020,6+020,8+020,10+020,12+020,14+020};
a61af66fc99e Initial load
duke
parents:
diff changeset
61 const static int R_G_nums[] = {0+000,2+000,4+000,6+000,8+000,10+000,12+000,14+000};
a61af66fc99e Initial load
duke
parents:
diff changeset
62 static RegisterMap::LocationValidType bad_mask = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 static RegisterMap::LocationValidType R_LIO_mask = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
64 static bool register_map_inited = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
65
a61af66fc99e Initial load
duke
parents:
diff changeset
66 static void register_map_init() {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 if (!register_map_inited) {
a61af66fc99e Initial load
duke
parents:
diff changeset
68 register_map_inited = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 for (i = 0; i < 8; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
71 assert(R_L_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
a61af66fc99e Initial load
duke
parents:
diff changeset
72 assert(R_I_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
a61af66fc99e Initial load
duke
parents:
diff changeset
73 assert(R_O_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
a61af66fc99e Initial load
duke
parents:
diff changeset
74 assert(R_G_nums[i] < RegisterMap::location_valid_type_size, "in first chunk");
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
a61af66fc99e Initial load
duke
parents:
diff changeset
77 bad_mask |= (1LL << R_O_nums[6]); // SP
a61af66fc99e Initial load
duke
parents:
diff changeset
78 bad_mask |= (1LL << R_O_nums[7]); // cPC
a61af66fc99e Initial load
duke
parents:
diff changeset
79 bad_mask |= (1LL << R_I_nums[6]); // FP
a61af66fc99e Initial load
duke
parents:
diff changeset
80 bad_mask |= (1LL << R_I_nums[7]); // rPC
a61af66fc99e Initial load
duke
parents:
diff changeset
81 bad_mask |= (1LL << R_G_nums[2]); // TLS
a61af66fc99e Initial load
duke
parents:
diff changeset
82 bad_mask |= (1LL << R_G_nums[7]); // reserved by libthread
a61af66fc99e Initial load
duke
parents:
diff changeset
83
a61af66fc99e Initial load
duke
parents:
diff changeset
84 for (i = 0; i < 8; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
85 R_LIO_mask |= (1LL << R_L_nums[i]);
a61af66fc99e Initial load
duke
parents:
diff changeset
86 R_LIO_mask |= (1LL << R_I_nums[i]);
a61af66fc99e Initial load
duke
parents:
diff changeset
87 R_LIO_mask |= (1LL << R_O_nums[i]);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 }
a61af66fc99e Initial load
duke
parents:
diff changeset
90 }
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92
a61af66fc99e Initial load
duke
parents:
diff changeset
93 address RegisterMap::pd_location(VMReg regname) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
94 register_map_init();
a61af66fc99e Initial load
duke
parents:
diff changeset
95
a61af66fc99e Initial load
duke
parents:
diff changeset
96 assert(regname->is_reg(), "sanity check");
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // Only the GPRs get handled this way
a61af66fc99e Initial load
duke
parents:
diff changeset
98 if( !regname->is_Register())
a61af66fc99e Initial load
duke
parents:
diff changeset
99 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // don't talk about bad registers
a61af66fc99e Initial load
duke
parents:
diff changeset
102 if ((bad_mask & ((LocationValidType)1 << regname->value())) != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
103 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
104 }
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // Convert to a GPR
a61af66fc99e Initial load
duke
parents:
diff changeset
107 Register reg;
a61af66fc99e Initial load
duke
parents:
diff changeset
108 int second_word = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // 32-bit registers for in, out and local
a61af66fc99e Initial load
duke
parents:
diff changeset
110 if (!regname->is_concrete()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // HMM ought to return NULL for any non-concrete (odd) vmreg
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // this all tied up in the fact we put out double oopMaps for
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // register locations. When that is fixed we'd will return NULL
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // (or assert here).
a61af66fc99e Initial load
duke
parents:
diff changeset
115 reg = regname->prev()->as_Register();
a61af66fc99e Initial load
duke
parents:
diff changeset
116 #ifdef _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
117 second_word = sizeof(jint);
a61af66fc99e Initial load
duke
parents:
diff changeset
118 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
119 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
120 #endif // _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
121 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 reg = regname->as_Register();
a61af66fc99e Initial load
duke
parents:
diff changeset
123 }
a61af66fc99e Initial load
duke
parents:
diff changeset
124 if (reg->is_out()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
125 assert(_younger_window != NULL, "Younger window should be available");
a61af66fc99e Initial load
duke
parents:
diff changeset
126 return second_word + (address)&_younger_window[reg->after_save()->sp_offset_in_saved_window()];
a61af66fc99e Initial load
duke
parents:
diff changeset
127 }
a61af66fc99e Initial load
duke
parents:
diff changeset
128 if (reg->is_local() || reg->is_in()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
129 assert(_window != NULL, "Window should be available");
a61af66fc99e Initial load
duke
parents:
diff changeset
130 return second_word + (address)&_window[reg->sp_offset_in_saved_window()];
a61af66fc99e Initial load
duke
parents:
diff changeset
131 }
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // Only the window'd GPRs get handled this way; not the globals.
a61af66fc99e Initial load
duke
parents:
diff changeset
133 return NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
134 }
a61af66fc99e Initial load
duke
parents:
diff changeset
135
a61af66fc99e Initial load
duke
parents:
diff changeset
136
a61af66fc99e Initial load
duke
parents:
diff changeset
137 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
138 void RegisterMap::check_location_valid() {
a61af66fc99e Initial load
duke
parents:
diff changeset
139 register_map_init();
a61af66fc99e Initial load
duke
parents:
diff changeset
140 assert((_location_valid[0] & bad_mask) == 0, "cannot have special locations for SP,FP,TLS,etc.");
a61af66fc99e Initial load
duke
parents:
diff changeset
141 }
a61af66fc99e Initial load
duke
parents:
diff changeset
142 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // We are shifting windows. That means we are moving all %i to %o,
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // getting rid of all current %l, and keeping all %g. This is only
a61af66fc99e Initial load
duke
parents:
diff changeset
146 // complicated if any of the location pointers for these are valid.
a61af66fc99e Initial load
duke
parents:
diff changeset
147 // The normal case is that everything is in its standard register window
a61af66fc99e Initial load
duke
parents:
diff changeset
148 // home, and _location_valid[0] is zero. In that case, this routine
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // does exactly nothing.
a61af66fc99e Initial load
duke
parents:
diff changeset
150 void RegisterMap::shift_individual_registers() {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 if (!update_map()) return; // this only applies to maps with locations
a61af66fc99e Initial load
duke
parents:
diff changeset
152 register_map_init();
a61af66fc99e Initial load
duke
parents:
diff changeset
153 check_location_valid();
a61af66fc99e Initial load
duke
parents:
diff changeset
154
a61af66fc99e Initial load
duke
parents:
diff changeset
155 LocationValidType lv = _location_valid[0];
a61af66fc99e Initial load
duke
parents:
diff changeset
156 LocationValidType lv0 = lv;
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 lv &= ~R_LIO_mask; // clear %l, %o, %i regs
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 // if we cleared some non-%g locations, we may have to do some shifting
a61af66fc99e Initial load
duke
parents:
diff changeset
161 if (lv != lv0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
162 // copy %i0-%i5 to %o0-%o5, if they have special locations
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // This can happen in within stubs which spill argument registers
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // around a dynamic link operation, such as resolve_opt_virtual_call.
a61af66fc99e Initial load
duke
parents:
diff changeset
165 for (int i = 0; i < 8; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
166 if (lv0 & (1LL << R_I_nums[i])) {
a61af66fc99e Initial load
duke
parents:
diff changeset
167 _location[R_O_nums[i]] = _location[R_I_nums[i]];
a61af66fc99e Initial load
duke
parents:
diff changeset
168 lv |= (1LL << R_O_nums[i]);
a61af66fc99e Initial load
duke
parents:
diff changeset
169 }
a61af66fc99e Initial load
duke
parents:
diff changeset
170 }
a61af66fc99e Initial load
duke
parents:
diff changeset
171 }
a61af66fc99e Initial load
duke
parents:
diff changeset
172
a61af66fc99e Initial load
duke
parents:
diff changeset
173 _location_valid[0] = lv;
a61af66fc99e Initial load
duke
parents:
diff changeset
174 check_location_valid();
a61af66fc99e Initial load
duke
parents:
diff changeset
175 }
a61af66fc99e Initial load
duke
parents:
diff changeset
176
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
177 bool frame::safe_for_sender(JavaThread *thread) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
178
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
179 address _SP = (address) sp();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
180 address _FP = (address) fp();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
181 address _UNEXTENDED_SP = (address) unextended_sp();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
182 // sp must be within the stack
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
183 bool sp_safe = (_SP <= thread->stack_base()) &&
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
184 (_SP >= thread->stack_base() - thread->stack_size());
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
185
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
186 if (!sp_safe) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
187 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
188 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
189
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
190 // unextended sp must be within the stack and above or equal sp
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
191 bool unextended_sp_safe = (_UNEXTENDED_SP <= thread->stack_base()) &&
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
192 (_UNEXTENDED_SP >= _SP);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
193
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
194 if (!unextended_sp_safe) return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
195
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
196 // an fp must be within the stack and above (but not equal) sp
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
197 bool fp_safe = (_FP <= thread->stack_base()) &&
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
198 (_FP > _SP);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
199
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
200 // We know sp/unextended_sp are safe only fp is questionable here
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
201
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
202 // If the current frame is known to the code cache then we can attempt to
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
203 // to construct the sender and do some validation of it. This goes a long way
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
204 // toward eliminating issues when we get in frame construction code
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
205
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
206 if (_cb != NULL ) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
207
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
208 // First check if frame is complete and tester is reliable
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
209 // Unfortunately we can only check frame complete for runtime stubs and nmethod
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
210 // other generic buffer blobs are more problematic so we just assume they are
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
211 // ok. adapter blobs never have a frame complete and are never ok.
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
212
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
213 if (!_cb->is_frame_complete_at(_pc)) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
214 if (_cb->is_nmethod() || _cb->is_adapter_blob() || _cb->is_runtime_stub()) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
215 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
216 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
217 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
218
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
219 // Entry frame checks
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
220 if (is_entry_frame()) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
221 // an entry frame must have a valid fp.
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
222
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
223 if (!fp_safe) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
224 return false;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
225 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
226
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
227 // Validate the JavaCallWrapper an entry frame must have
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
228
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
229 address jcw = (address)entry_frame_call_wrapper();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
230
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
231 bool jcw_safe = (jcw <= thread->stack_base()) && ( jcw > _FP);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
232
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
233 return jcw_safe;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
234
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
235 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
236
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
237 intptr_t* younger_sp = sp();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
238 intptr_t* _SENDER_SP = sender_sp(); // sender is actually just _FP
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
239 bool adjusted_stack = is_interpreted_frame();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
240
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
241 address sender_pc = (address)younger_sp[I7->sp_offset_in_saved_window()] + pc_return_offset;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
242
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
243
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
244 // We must always be able to find a recognizable pc
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
245 CodeBlob* sender_blob = CodeCache::find_blob_unsafe(sender_pc);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
246 if (sender_pc == NULL || sender_blob == NULL) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
247 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
248 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
249
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
250 // It should be safe to construct the sender though it might not be valid
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
251
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
252 frame sender(_SENDER_SP, younger_sp, adjusted_stack);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
253
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
254 // Do we have a valid fp?
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
255 address sender_fp = (address) sender.fp();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
256
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
257 // an fp must be within the stack and above (but not equal) current frame's _FP
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
258
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
259 bool sender_fp_safe = (sender_fp <= thread->stack_base()) &&
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
260 (sender_fp > _FP);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
261
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
262 if (!sender_fp_safe) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
263 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
264 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
265
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
266
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
267 // If the potential sender is the interpreter then we can do some more checking
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
268 if (Interpreter::contains(sender_pc)) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
269 return sender.is_interpreted_frame_valid(thread);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
270 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
271
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
272 // Could just be some random pointer within the codeBlob
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1579
diff changeset
273 if (!sender.cb()->code_contains(sender_pc)) {
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1579
diff changeset
274 return false;
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1579
diff changeset
275 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
276
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
277 // We should never be able to see an adapter if the current frame is something from code cache
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1579
diff changeset
278 if (sender_blob->is_adapter_blob()) {
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
279 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
280 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
281
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
282 if( sender.is_entry_frame()) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
283 // Validate the JavaCallWrapper an entry frame must have
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
284
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
285 address jcw = (address)sender.entry_frame_call_wrapper();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
286
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
287 bool jcw_safe = (jcw <= thread->stack_base()) && ( jcw > sender_fp);
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
288
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
289 return jcw_safe;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
290 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
291
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
292 // If the frame size is 0 something is bad because every nmethod has a non-zero frame size
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
293 // because you must allocate window space
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
294
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
295 if (sender_blob->frame_size() == 0) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
296 assert(!sender_blob->is_nmethod(), "should count return address at least");
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
297 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
298 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
299
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
300 // The sender should positively be an nmethod or call_stub. On sparc we might in fact see something else.
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
301 // The cause of this is because at a save instruction the O7 we get is a leftover from an earlier
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
302 // window use. So if a runtime stub creates two frames (common in fastdebug/jvmg) then we see the
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
303 // stale pc. So if the sender blob is not something we'd expect we have little choice but to declare
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
304 // the stack unwalkable. pd_get_top_frame_for_signal_handler tries to recover from this by unwinding
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
305 // that initial frame and retrying.
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
306
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
307 if (!sender_blob->is_nmethod()) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
308 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
309 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
310
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
311 // Could put some more validation for the potential non-interpreted sender
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
312 // frame we'd create by calling sender if I could think of any. Wait for next crash in forte...
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
313
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
314 // One idea is seeing if the sender_pc we have is one that we'd expect to call to current cb
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
315
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
316 // We've validated the potential sender that would be created
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
317
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
318 return true;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
319
0
a61af66fc99e Initial load
duke
parents:
diff changeset
320 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
321
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
322 // Must be native-compiled frame. Since sender will try and use fp to find
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
323 // linkages it must be safe
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
324
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
325 if (!fp_safe) return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
326
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
327 // could try and do some more potential verification of native frame if we could think of some...
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
328
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
329 return true;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
330 }
a61af66fc99e Initial load
duke
parents:
diff changeset
331
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // constructors
a61af66fc99e Initial load
duke
parents:
diff changeset
333
a61af66fc99e Initial load
duke
parents:
diff changeset
334 // Construct an unpatchable, deficient frame
a61af66fc99e Initial load
duke
parents:
diff changeset
335 frame::frame(intptr_t* sp, unpatchable_t, address pc, CodeBlob* cb) {
a61af66fc99e Initial load
duke
parents:
diff changeset
336 #ifdef _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
337 assert( (((intptr_t)sp & (wordSize-1)) == 0), "frame constructor passed an invalid sp");
a61af66fc99e Initial load
duke
parents:
diff changeset
338 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
339 _sp = sp;
a61af66fc99e Initial load
duke
parents:
diff changeset
340 _younger_sp = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
341 _pc = pc;
a61af66fc99e Initial load
duke
parents:
diff changeset
342 _cb = cb;
a61af66fc99e Initial load
duke
parents:
diff changeset
343 _sp_adjustment_by_callee = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
344 assert(pc == NULL && cb == NULL || pc != NULL, "can't have a cb and no pc!");
a61af66fc99e Initial load
duke
parents:
diff changeset
345 if (_cb == NULL && _pc != NULL ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 _cb = CodeCache::find_blob(_pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
347 }
a61af66fc99e Initial load
duke
parents:
diff changeset
348 _deopt_state = unknown;
a61af66fc99e Initial load
duke
parents:
diff changeset
349 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
350 if ( _cb != NULL && _cb->is_nmethod()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
351 // Without a valid unextended_sp() we can't convert the pc to "original"
a61af66fc99e Initial load
duke
parents:
diff changeset
352 assert(!((nmethod*)_cb)->is_deopt_pc(_pc), "invariant broken");
a61af66fc99e Initial load
duke
parents:
diff changeset
353 }
a61af66fc99e Initial load
duke
parents:
diff changeset
354 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
355 }
a61af66fc99e Initial load
duke
parents:
diff changeset
356
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
357 frame::frame(intptr_t* sp, intptr_t* younger_sp, bool younger_frame_is_interpreted) :
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
358 _sp(sp),
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
359 _younger_sp(younger_sp),
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
360 _deopt_state(unknown),
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
361 _sp_adjustment_by_callee(0) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
362 if (younger_sp == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
363 // make a deficient frame which doesn't know where its PC is
a61af66fc99e Initial load
duke
parents:
diff changeset
364 _pc = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
365 _cb = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
366 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
367 _pc = (address)younger_sp[I7->sp_offset_in_saved_window()] + pc_return_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
368 assert( (intptr_t*)younger_sp[FP->sp_offset_in_saved_window()] == (intptr_t*)((intptr_t)sp - STACK_BIAS), "younger_sp must be valid");
a61af66fc99e Initial load
duke
parents:
diff changeset
369 // Any frame we ever build should always "safe" therefore we should not have to call
a61af66fc99e Initial load
duke
parents:
diff changeset
370 // find_blob_unsafe
a61af66fc99e Initial load
duke
parents:
diff changeset
371 // In case of native stubs, the pc retrieved here might be
a61af66fc99e Initial load
duke
parents:
diff changeset
372 // wrong. (the _last_native_pc will have the right value)
a61af66fc99e Initial load
duke
parents:
diff changeset
373 // So do not put add any asserts on the _pc here.
a61af66fc99e Initial load
duke
parents:
diff changeset
374 }
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
375
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
376 if (_pc != NULL)
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
377 _cb = CodeCache::find_blob(_pc);
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
378
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
379 // Check for MethodHandle call sites.
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
380 if (_cb != NULL) {
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
381 nmethod* nm = _cb->as_nmethod_or_null();
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
382 if (nm != NULL) {
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
383 if (nm->is_deopt_mh_entry(_pc) || nm->is_method_handle_return(_pc)) {
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
384 _sp_adjustment_by_callee = (intptr_t*) ((intptr_t) sp[L7_mh_SP_save->sp_offset_in_saved_window()] + STACK_BIAS) - sp;
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
385 // The SP is already adjusted by this MH call site, don't
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
386 // overwrite this value with the wrong interpreter value.
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
387 younger_frame_is_interpreted = false;
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
388 }
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
389 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
390 }
a61af66fc99e Initial load
duke
parents:
diff changeset
391
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
392 if (younger_frame_is_interpreted) {
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
393 // compute adjustment to this frame's SP made by its interpreted callee
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
394 _sp_adjustment_by_callee = (intptr_t*) ((intptr_t) younger_sp[I5_savedSP->sp_offset_in_saved_window()] + STACK_BIAS) - sp;
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
395 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
396
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
397 // It is important that the frame is fully constructed when we do
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
398 // this lookup as get_deopt_original_pc() needs a correct value for
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
399 // unextended_sp() which uses _sp_adjustment_by_callee.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
400 if (_pc != NULL) {
1204
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
401 address original_pc = nmethod::get_deopt_original_pc(this);
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
402 if (original_pc != NULL) {
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
403 _pc = original_pc;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
404 _deopt_state = is_deoptimized;
a61af66fc99e Initial load
duke
parents:
diff changeset
405 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
406 _deopt_state = not_deoptimized;
a61af66fc99e Initial load
duke
parents:
diff changeset
407 }
a61af66fc99e Initial load
duke
parents:
diff changeset
408 }
a61af66fc99e Initial load
duke
parents:
diff changeset
409 }
a61af66fc99e Initial load
duke
parents:
diff changeset
410
a61af66fc99e Initial load
duke
parents:
diff changeset
411 bool frame::is_interpreted_frame() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
412 return Interpreter::contains(pc());
a61af66fc99e Initial load
duke
parents:
diff changeset
413 }
a61af66fc99e Initial load
duke
parents:
diff changeset
414
a61af66fc99e Initial load
duke
parents:
diff changeset
415 // sender_sp
a61af66fc99e Initial load
duke
parents:
diff changeset
416
a61af66fc99e Initial load
duke
parents:
diff changeset
417 intptr_t* frame::interpreter_frame_sender_sp() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
418 assert(is_interpreted_frame(), "interpreted frame expected");
a61af66fc99e Initial load
duke
parents:
diff changeset
419 return fp();
a61af66fc99e Initial load
duke
parents:
diff changeset
420 }
a61af66fc99e Initial load
duke
parents:
diff changeset
421
a61af66fc99e Initial load
duke
parents:
diff changeset
422 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
423 void frame::set_interpreter_frame_sender_sp(intptr_t* sender_sp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
424 assert(is_interpreted_frame(), "interpreted frame expected");
a61af66fc99e Initial load
duke
parents:
diff changeset
425 Unimplemented();
a61af66fc99e Initial load
duke
parents:
diff changeset
426 }
a61af66fc99e Initial load
duke
parents:
diff changeset
427 #endif // CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
428
a61af66fc99e Initial load
duke
parents:
diff changeset
429
a61af66fc99e Initial load
duke
parents:
diff changeset
430 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
431 // Debugging aid
a61af66fc99e Initial load
duke
parents:
diff changeset
432 static frame nth_sender(int n) {
a61af66fc99e Initial load
duke
parents:
diff changeset
433 frame f = JavaThread::current()->last_frame();
a61af66fc99e Initial load
duke
parents:
diff changeset
434
a61af66fc99e Initial load
duke
parents:
diff changeset
435 for(int i = 0; i < n; ++i)
a61af66fc99e Initial load
duke
parents:
diff changeset
436 f = f.sender((RegisterMap*)NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
437
a61af66fc99e Initial load
duke
parents:
diff changeset
438 printf("first frame %d\n", f.is_first_frame() ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
439 printf("interpreted frame %d\n", f.is_interpreted_frame() ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
440 printf("java frame %d\n", f.is_java_frame() ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
441 printf("entry frame %d\n", f.is_entry_frame() ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
442 printf("native frame %d\n", f.is_native_frame() ? 1 : 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
443 if (f.is_compiled_frame()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
444 if (f.is_deoptimized_frame())
a61af66fc99e Initial load
duke
parents:
diff changeset
445 printf("deoptimized frame 1\n");
a61af66fc99e Initial load
duke
parents:
diff changeset
446 else
a61af66fc99e Initial load
duke
parents:
diff changeset
447 printf("compiled frame 1\n");
a61af66fc99e Initial load
duke
parents:
diff changeset
448 }
a61af66fc99e Initial load
duke
parents:
diff changeset
449
a61af66fc99e Initial load
duke
parents:
diff changeset
450 return f;
a61af66fc99e Initial load
duke
parents:
diff changeset
451 }
a61af66fc99e Initial load
duke
parents:
diff changeset
452 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
453
a61af66fc99e Initial load
duke
parents:
diff changeset
454
a61af66fc99e Initial load
duke
parents:
diff changeset
455 frame frame::sender_for_entry_frame(RegisterMap *map) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
456 assert(map != NULL, "map must be set");
a61af66fc99e Initial load
duke
parents:
diff changeset
457 // Java frame called from C; skip all C frames and return top C
a61af66fc99e Initial load
duke
parents:
diff changeset
458 // frame of that chunk as the sender
a61af66fc99e Initial load
duke
parents:
diff changeset
459 JavaFrameAnchor* jfa = entry_frame_call_wrapper()->anchor();
a61af66fc99e Initial load
duke
parents:
diff changeset
460 assert(!entry_frame_is_first(), "next Java fp must be non zero");
a61af66fc99e Initial load
duke
parents:
diff changeset
461 assert(jfa->last_Java_sp() > _sp, "must be above this frame on stack");
a61af66fc99e Initial load
duke
parents:
diff changeset
462 intptr_t* last_Java_sp = jfa->last_Java_sp();
a61af66fc99e Initial load
duke
parents:
diff changeset
463 // Since we are walking the stack now this nested anchor is obviously walkable
a61af66fc99e Initial load
duke
parents:
diff changeset
464 // even if it wasn't when it was stacked.
a61af66fc99e Initial load
duke
parents:
diff changeset
465 if (!jfa->walkable()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // Capture _last_Java_pc (if needed) and mark anchor walkable.
a61af66fc99e Initial load
duke
parents:
diff changeset
467 jfa->capture_last_Java_pc(_sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
468 }
a61af66fc99e Initial load
duke
parents:
diff changeset
469 assert(jfa->last_Java_pc() != NULL, "No captured pc!");
a61af66fc99e Initial load
duke
parents:
diff changeset
470 map->clear();
a61af66fc99e Initial load
duke
parents:
diff changeset
471 map->make_integer_regs_unsaved();
a61af66fc99e Initial load
duke
parents:
diff changeset
472 map->shift_window(last_Java_sp, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
473 assert(map->include_argument_oops(), "should be set by clear");
a61af66fc99e Initial load
duke
parents:
diff changeset
474 return frame(last_Java_sp, frame::unpatchable, jfa->last_Java_pc());
a61af66fc99e Initial load
duke
parents:
diff changeset
475 }
a61af66fc99e Initial load
duke
parents:
diff changeset
476
a61af66fc99e Initial load
duke
parents:
diff changeset
477 frame frame::sender_for_interpreter_frame(RegisterMap *map) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
478 ShouldNotCallThis();
a61af66fc99e Initial load
duke
parents:
diff changeset
479 return sender(map);
a61af66fc99e Initial load
duke
parents:
diff changeset
480 }
a61af66fc99e Initial load
duke
parents:
diff changeset
481
a61af66fc99e Initial load
duke
parents:
diff changeset
482 frame frame::sender_for_compiled_frame(RegisterMap *map) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
483 ShouldNotCallThis();
a61af66fc99e Initial load
duke
parents:
diff changeset
484 return sender(map);
a61af66fc99e Initial load
duke
parents:
diff changeset
485 }
a61af66fc99e Initial load
duke
parents:
diff changeset
486
a61af66fc99e Initial load
duke
parents:
diff changeset
487 frame frame::sender(RegisterMap* map) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
488 assert(map != NULL, "map must be set");
a61af66fc99e Initial load
duke
parents:
diff changeset
489
a61af66fc99e Initial load
duke
parents:
diff changeset
490 assert(CodeCache::find_blob_unsafe(_pc) == _cb, "inconsistent");
a61af66fc99e Initial load
duke
parents:
diff changeset
491
a61af66fc99e Initial load
duke
parents:
diff changeset
492 // Default is not to follow arguments; update it accordingly below
a61af66fc99e Initial load
duke
parents:
diff changeset
493 map->set_include_argument_oops(false);
a61af66fc99e Initial load
duke
parents:
diff changeset
494
a61af66fc99e Initial load
duke
parents:
diff changeset
495 if (is_entry_frame()) return sender_for_entry_frame(map);
a61af66fc99e Initial load
duke
parents:
diff changeset
496
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
497 intptr_t* younger_sp = sp();
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
498 intptr_t* sp = sender_sp();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
499
a61af66fc99e Initial load
duke
parents:
diff changeset
500 // Note: The version of this operation on any platform with callee-save
a61af66fc99e Initial load
duke
parents:
diff changeset
501 // registers must update the register map (if not null).
a61af66fc99e Initial load
duke
parents:
diff changeset
502 // In order to do this correctly, the various subtypes of
a61af66fc99e Initial load
duke
parents:
diff changeset
503 // of frame (interpreted, compiled, glue, native),
a61af66fc99e Initial load
duke
parents:
diff changeset
504 // must be distinguished. There is no need on SPARC for
a61af66fc99e Initial load
duke
parents:
diff changeset
505 // such distinctions, because all callee-save registers are
a61af66fc99e Initial load
duke
parents:
diff changeset
506 // preserved for all frames via SPARC-specific mechanisms.
a61af66fc99e Initial load
duke
parents:
diff changeset
507 //
a61af66fc99e Initial load
duke
parents:
diff changeset
508 // *** HOWEVER, *** if and when we make any floating-point
a61af66fc99e Initial load
duke
parents:
diff changeset
509 // registers callee-saved, then we will have to copy over
a61af66fc99e Initial load
duke
parents:
diff changeset
510 // the RegisterMap update logic from the Intel code.
a61af66fc99e Initial load
duke
parents:
diff changeset
511
a61af66fc99e Initial load
duke
parents:
diff changeset
512 // The constructor of the sender must know whether this frame is interpreted so it can set the
a61af66fc99e Initial load
duke
parents:
diff changeset
513 // sender's _sp_adjustment_by_callee field. An osr adapter frame was originally
a61af66fc99e Initial load
duke
parents:
diff changeset
514 // interpreted but its pc is in the code cache (for c1 -> osr_frame_return_id stub), so it must be
a61af66fc99e Initial load
duke
parents:
diff changeset
515 // explicitly recognized.
a61af66fc99e Initial load
duke
parents:
diff changeset
516
3753
cba7b5c2d53f 7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents: 3365
diff changeset
517
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
518 bool frame_is_interpreted = is_interpreted_frame();
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
519 if (frame_is_interpreted) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
520 map->make_integer_regs_unsaved();
a61af66fc99e Initial load
duke
parents:
diff changeset
521 map->shift_window(sp, younger_sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
522 } else if (_cb != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
523 // Update the locations of implicitly saved registers to be their
a61af66fc99e Initial load
duke
parents:
diff changeset
524 // addresses in the register save area.
a61af66fc99e Initial load
duke
parents:
diff changeset
525 // For %o registers, the addresses of %i registers in the next younger
a61af66fc99e Initial load
duke
parents:
diff changeset
526 // frame are used.
a61af66fc99e Initial load
duke
parents:
diff changeset
527 map->shift_window(sp, younger_sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
528 if (map->update_map()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
529 // Tell GC to use argument oopmaps for some runtime stubs that need it.
a61af66fc99e Initial load
duke
parents:
diff changeset
530 // For C1, the runtime stub might not have oop maps, so set this flag
a61af66fc99e Initial load
duke
parents:
diff changeset
531 // outside of update_register_map.
a61af66fc99e Initial load
duke
parents:
diff changeset
532 map->set_include_argument_oops(_cb->caller_must_gc_arguments(map->thread()));
a61af66fc99e Initial load
duke
parents:
diff changeset
533 if (_cb->oop_maps() != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
534 OopMapSet::update_register_map(this, map);
a61af66fc99e Initial load
duke
parents:
diff changeset
535 }
a61af66fc99e Initial load
duke
parents:
diff changeset
536 }
a61af66fc99e Initial load
duke
parents:
diff changeset
537 }
1564
61b2245abf36 6930772: JSR 292 needs to support SPARC C1
twisti
parents: 1506
diff changeset
538 return frame(sp, younger_sp, frame_is_interpreted);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
539 }
a61af66fc99e Initial load
duke
parents:
diff changeset
540
a61af66fc99e Initial load
duke
parents:
diff changeset
541
a61af66fc99e Initial load
duke
parents:
diff changeset
542 void frame::patch_pc(Thread* thread, address pc) {
a61af66fc99e Initial load
duke
parents:
diff changeset
543 if(thread == Thread::current()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
544 StubRoutines::Sparc::flush_callers_register_windows_func()();
a61af66fc99e Initial load
duke
parents:
diff changeset
545 }
a61af66fc99e Initial load
duke
parents:
diff changeset
546 if (TracePcPatching) {
a61af66fc99e Initial load
duke
parents:
diff changeset
547 // QQQ this assert is invalid (or too strong anyway) sice _pc could
a61af66fc99e Initial load
duke
parents:
diff changeset
548 // be original pc and frame could have the deopt pc.
a61af66fc99e Initial load
duke
parents:
diff changeset
549 // assert(_pc == *O7_addr() + pc_return_offset, "frame has wrong pc");
a61af66fc99e Initial load
duke
parents:
diff changeset
550 tty->print_cr("patch_pc at address 0x%x [0x%x -> 0x%x] ", O7_addr(), _pc, pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
551 }
a61af66fc99e Initial load
duke
parents:
diff changeset
552 _cb = CodeCache::find_blob(pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
553 *O7_addr() = pc - pc_return_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
554 _cb = CodeCache::find_blob(_pc);
1204
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
555 address original_pc = nmethod::get_deopt_original_pc(this);
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
556 if (original_pc != NULL) {
18a389214829 6921352: JSR 292 needs its own deopt handler
twisti
parents: 1201
diff changeset
557 assert(original_pc == _pc, "expected original to be stored before patching");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
558 _deopt_state = is_deoptimized;
a61af66fc99e Initial load
duke
parents:
diff changeset
559 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
560 _deopt_state = not_deoptimized;
a61af66fc99e Initial load
duke
parents:
diff changeset
561 }
a61af66fc99e Initial load
duke
parents:
diff changeset
562 }
a61af66fc99e Initial load
duke
parents:
diff changeset
563
a61af66fc99e Initial load
duke
parents:
diff changeset
564
a61af66fc99e Initial load
duke
parents:
diff changeset
565 static bool sp_is_valid(intptr_t* old_sp, intptr_t* young_sp, intptr_t* sp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
566 return (((intptr_t)sp & (2*wordSize-1)) == 0 &&
a61af66fc99e Initial load
duke
parents:
diff changeset
567 sp <= old_sp &&
a61af66fc99e Initial load
duke
parents:
diff changeset
568 sp >= young_sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
569 }
a61af66fc99e Initial load
duke
parents:
diff changeset
570
a61af66fc99e Initial load
duke
parents:
diff changeset
571
a61af66fc99e Initial load
duke
parents:
diff changeset
572 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
573 Find the (biased) sp that is just younger than old_sp starting at sp.
a61af66fc99e Initial load
duke
parents:
diff changeset
574 If not found return NULL. Register windows are assumed to be flushed.
a61af66fc99e Initial load
duke
parents:
diff changeset
575 */
a61af66fc99e Initial load
duke
parents:
diff changeset
576 intptr_t* frame::next_younger_sp_or_null(intptr_t* old_sp, intptr_t* sp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
577
a61af66fc99e Initial load
duke
parents:
diff changeset
578 intptr_t* previous_sp = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
579 intptr_t* orig_sp = sp;
a61af66fc99e Initial load
duke
parents:
diff changeset
580
a61af66fc99e Initial load
duke
parents:
diff changeset
581 int max_frames = (old_sp - sp) / 16; // Minimum frame size is 16
a61af66fc99e Initial load
duke
parents:
diff changeset
582 int max_frame2 = max_frames;
a61af66fc99e Initial load
duke
parents:
diff changeset
583 while(sp != old_sp && sp_is_valid(old_sp, orig_sp, sp)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
584 if (max_frames-- <= 0)
a61af66fc99e Initial load
duke
parents:
diff changeset
585 // too many frames have gone by; invalid parameters given to this function
a61af66fc99e Initial load
duke
parents:
diff changeset
586 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
587 previous_sp = sp;
a61af66fc99e Initial load
duke
parents:
diff changeset
588 sp = (intptr_t*)sp[FP->sp_offset_in_saved_window()];
a61af66fc99e Initial load
duke
parents:
diff changeset
589 sp = (intptr_t*)((intptr_t)sp + STACK_BIAS);
a61af66fc99e Initial load
duke
parents:
diff changeset
590 }
a61af66fc99e Initial load
duke
parents:
diff changeset
591
a61af66fc99e Initial load
duke
parents:
diff changeset
592 return (sp == old_sp ? previous_sp : NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
593 }
a61af66fc99e Initial load
duke
parents:
diff changeset
594
a61af66fc99e Initial load
duke
parents:
diff changeset
595 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
596 Determine if "sp" is a valid stack pointer. "sp" is assumed to be younger than
a61af66fc99e Initial load
duke
parents:
diff changeset
597 "valid_sp". So if "sp" is valid itself then it should be possible to walk frames
a61af66fc99e Initial load
duke
parents:
diff changeset
598 from "sp" to "valid_sp". The assumption is that the registers windows for the
a61af66fc99e Initial load
duke
parents:
diff changeset
599 thread stack in question are flushed.
a61af66fc99e Initial load
duke
parents:
diff changeset
600 */
a61af66fc99e Initial load
duke
parents:
diff changeset
601 bool frame::is_valid_stack_pointer(intptr_t* valid_sp, intptr_t* sp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
602 return next_younger_sp_or_null(valid_sp, sp) != NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
603 }
a61af66fc99e Initial load
duke
parents:
diff changeset
604
a61af66fc99e Initial load
duke
parents:
diff changeset
605
a61af66fc99e Initial load
duke
parents:
diff changeset
606 bool frame::interpreter_frame_equals_unpacked_fp(intptr_t* fp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
607 assert(is_interpreted_frame(), "must be interpreter frame");
a61af66fc99e Initial load
duke
parents:
diff changeset
608 return this->fp() == fp;
a61af66fc99e Initial load
duke
parents:
diff changeset
609 }
a61af66fc99e Initial load
duke
parents:
diff changeset
610
a61af66fc99e Initial load
duke
parents:
diff changeset
611
a61af66fc99e Initial load
duke
parents:
diff changeset
612 void frame::pd_gc_epilog() {
a61af66fc99e Initial load
duke
parents:
diff changeset
613 if (is_interpreted_frame()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
614 // set constant pool cache entry for interpreter
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
615 Method* m = interpreter_frame_method();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
616
a61af66fc99e Initial load
duke
parents:
diff changeset
617 *interpreter_frame_cpoolcache_addr() = m->constants()->cache();
a61af66fc99e Initial load
duke
parents:
diff changeset
618 }
a61af66fc99e Initial load
duke
parents:
diff changeset
619 }
a61af66fc99e Initial load
duke
parents:
diff changeset
620
a61af66fc99e Initial load
duke
parents:
diff changeset
621
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
622 bool frame::is_interpreted_frame_valid(JavaThread* thread) const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
623 #ifdef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
624 // Is there anything to do?
a61af66fc99e Initial load
duke
parents:
diff changeset
625 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
626 assert(is_interpreted_frame(), "Not an interpreted frame");
a61af66fc99e Initial load
duke
parents:
diff changeset
627 // These are reasonable sanity checks
a61af66fc99e Initial load
duke
parents:
diff changeset
628 if (fp() == 0 || (intptr_t(fp()) & (2*wordSize-1)) != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
629 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
630 }
a61af66fc99e Initial load
duke
parents:
diff changeset
631 if (sp() == 0 || (intptr_t(sp()) & (2*wordSize-1)) != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
632 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
633 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
634
0
a61af66fc99e Initial load
duke
parents:
diff changeset
635 const intptr_t interpreter_frame_initial_sp_offset = interpreter_frame_vm_local_words;
a61af66fc99e Initial load
duke
parents:
diff changeset
636 if (fp() + interpreter_frame_initial_sp_offset < sp()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
637 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
638 }
a61af66fc99e Initial load
duke
parents:
diff changeset
639 // These are hacks to keep us out of trouble.
a61af66fc99e Initial load
duke
parents:
diff changeset
640 // The problem with these is that they mask other problems
a61af66fc99e Initial load
duke
parents:
diff changeset
641 if (fp() <= sp()) { // this attempts to deal with unsigned comparison above
a61af66fc99e Initial load
duke
parents:
diff changeset
642 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
643 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
644 // do some validation of frame elements
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
645
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
646 // first the method
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
647
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
648 Method* m = *interpreter_frame_method_addr();
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
649
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
650 // validate the method we'd find in this potential sender
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
651 if (!Universe::heap()->is_valid_method(m)) return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
652
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
653 // stack frames shouldn't be much larger than max_stack elements
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
654
1506
2338d41fbd81 6943304: remove tagged stack interpreter
twisti
parents: 1204
diff changeset
655 if (fp() - sp() > 1024 + m->max_stack()*Interpreter::stackElementSize) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
656 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
657 }
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
658
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
659 // validate bci/bcx
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
660
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
661 intptr_t bcx = interpreter_frame_bcx();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
662 if (m->validate_bci_from_bcx(bcx) < 0) {
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
663 return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
664 }
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
665
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
666 // validate ConstantPoolCache*
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
667 ConstantPoolCache* cp = *interpreter_frame_cache_addr();
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
668 if (cp == NULL || !cp->is_metadata()) return false;
107
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
669
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
670 // validate locals
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
671
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
672 address locals = (address) *interpreter_frame_locals_addr();
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
673
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
674 if (locals > thread->stack_base() || locals < (address) fp()) return false;
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
675
93b6525e3b82 6603919: Stackwalking crash on x86 -server with Sun Studio's collect -j on
sgoldman
parents: 0
diff changeset
676 // We'd have to be pretty unlucky to be mislead at this point
0
a61af66fc99e Initial load
duke
parents:
diff changeset
677 #endif /* CC_INTERP */
a61af66fc99e Initial load
duke
parents:
diff changeset
678 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
679 }
a61af66fc99e Initial load
duke
parents:
diff changeset
680
a61af66fc99e Initial load
duke
parents:
diff changeset
681
a61af66fc99e Initial load
duke
parents:
diff changeset
682 // Windows have been flushed on entry (but not marked). Capture the pc that
a61af66fc99e Initial load
duke
parents:
diff changeset
683 // is the return address to the frame that contains "sp" as its stack pointer.
a61af66fc99e Initial load
duke
parents:
diff changeset
684 // This pc resides in the called of the frame corresponding to "sp".
a61af66fc99e Initial load
duke
parents:
diff changeset
685 // As a side effect we mark this JavaFrameAnchor as having flushed the windows.
a61af66fc99e Initial load
duke
parents:
diff changeset
686 // This side effect lets us mark stacked JavaFrameAnchors (stacked in the
a61af66fc99e Initial load
duke
parents:
diff changeset
687 // call_helper) as flushed when we have flushed the windows for the most
a61af66fc99e Initial load
duke
parents:
diff changeset
688 // recent (i.e. current) JavaFrameAnchor. This saves useless flushing calls
a61af66fc99e Initial load
duke
parents:
diff changeset
689 // and lets us find the pc just once rather than multiple times as it did
a61af66fc99e Initial load
duke
parents:
diff changeset
690 // in the bad old _post_Java_state days.
a61af66fc99e Initial load
duke
parents:
diff changeset
691 //
a61af66fc99e Initial load
duke
parents:
diff changeset
692 void JavaFrameAnchor::capture_last_Java_pc(intptr_t* sp) {
a61af66fc99e Initial load
duke
parents:
diff changeset
693 if (last_Java_sp() != NULL && last_Java_pc() == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
694 // try and find the sp just younger than _last_Java_sp
a61af66fc99e Initial load
duke
parents:
diff changeset
695 intptr_t* _post_Java_sp = frame::next_younger_sp_or_null(last_Java_sp(), sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
696 // Really this should never fail otherwise VM call must have non-standard
a61af66fc99e Initial load
duke
parents:
diff changeset
697 // frame linkage (bad) or stack is not properly flushed (worse).
a61af66fc99e Initial load
duke
parents:
diff changeset
698 guarantee(_post_Java_sp != NULL, "bad stack!");
a61af66fc99e Initial load
duke
parents:
diff changeset
699 _last_Java_pc = (address) _post_Java_sp[ I7->sp_offset_in_saved_window()] + frame::pc_return_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
700
a61af66fc99e Initial load
duke
parents:
diff changeset
701 }
a61af66fc99e Initial load
duke
parents:
diff changeset
702 set_window_flushed();
a61af66fc99e Initial load
duke
parents:
diff changeset
703 }
a61af66fc99e Initial load
duke
parents:
diff changeset
704
a61af66fc99e Initial load
duke
parents:
diff changeset
705 void JavaFrameAnchor::make_walkable(JavaThread* thread) {
a61af66fc99e Initial load
duke
parents:
diff changeset
706 if (walkable()) return;
a61af66fc99e Initial load
duke
parents:
diff changeset
707 // Eventually make an assert
a61af66fc99e Initial load
duke
parents:
diff changeset
708 guarantee(Thread::current() == (Thread*)thread, "only current thread can flush its registers");
a61af66fc99e Initial load
duke
parents:
diff changeset
709 // We always flush in case the profiler wants it but we won't mark
a61af66fc99e Initial load
duke
parents:
diff changeset
710 // the windows as flushed unless we have a last_Java_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
711 intptr_t* sp = StubRoutines::Sparc::flush_callers_register_windows_func()();
a61af66fc99e Initial load
duke
parents:
diff changeset
712 if (last_Java_sp() != NULL ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
713 capture_last_Java_pc(sp);
a61af66fc99e Initial load
duke
parents:
diff changeset
714 }
a61af66fc99e Initial load
duke
parents:
diff changeset
715 }
a61af66fc99e Initial load
duke
parents:
diff changeset
716
a61af66fc99e Initial load
duke
parents:
diff changeset
717 intptr_t* frame::entry_frame_argument_at(int offset) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
718 // convert offset to index to deal with tsi
a61af66fc99e Initial load
duke
parents:
diff changeset
719 int index = (Interpreter::expr_offset_in_bytes(offset)/wordSize);
a61af66fc99e Initial load
duke
parents:
diff changeset
720
a61af66fc99e Initial load
duke
parents:
diff changeset
721 intptr_t* LSP = (intptr_t*) sp()[Lentry_args->sp_offset_in_saved_window()];
a61af66fc99e Initial load
duke
parents:
diff changeset
722 return &LSP[index+1];
a61af66fc99e Initial load
duke
parents:
diff changeset
723 }
a61af66fc99e Initial load
duke
parents:
diff changeset
724
a61af66fc99e Initial load
duke
parents:
diff changeset
725
a61af66fc99e Initial load
duke
parents:
diff changeset
726 BasicType frame::interpreter_frame_result(oop* oop_result, jvalue* value_result) {
a61af66fc99e Initial load
duke
parents:
diff changeset
727 assert(is_interpreted_frame(), "interpreted frame expected");
6725
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 6266
diff changeset
728 Method* method = interpreter_frame_method();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
729 BasicType type = method->result_type();
a61af66fc99e Initial load
duke
parents:
diff changeset
730
a61af66fc99e Initial load
duke
parents:
diff changeset
731 if (method->is_native()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
732 // Prior to notifying the runtime of the method_exit the possible result
a61af66fc99e Initial load
duke
parents:
diff changeset
733 // value is saved to l_scratch and d_scratch.
a61af66fc99e Initial load
duke
parents:
diff changeset
734
a61af66fc99e Initial load
duke
parents:
diff changeset
735 #ifdef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
736 interpreterState istate = get_interpreterState();
a61af66fc99e Initial load
duke
parents:
diff changeset
737 intptr_t* l_scratch = (intptr_t*) &istate->_native_lresult;
a61af66fc99e Initial load
duke
parents:
diff changeset
738 intptr_t* d_scratch = (intptr_t*) &istate->_native_fresult;
a61af66fc99e Initial load
duke
parents:
diff changeset
739 #else /* CC_INTERP */
a61af66fc99e Initial load
duke
parents:
diff changeset
740 intptr_t* l_scratch = fp() + interpreter_frame_l_scratch_fp_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
741 intptr_t* d_scratch = fp() + interpreter_frame_d_scratch_fp_offset;
a61af66fc99e Initial load
duke
parents:
diff changeset
742 #endif /* CC_INTERP */
a61af66fc99e Initial load
duke
parents:
diff changeset
743
a61af66fc99e Initial load
duke
parents:
diff changeset
744 address l_addr = (address)l_scratch;
a61af66fc99e Initial load
duke
parents:
diff changeset
745 #ifdef _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
746 // On 64-bit the result for 1/8/16/32-bit result types is in the other
a61af66fc99e Initial load
duke
parents:
diff changeset
747 // word half
a61af66fc99e Initial load
duke
parents:
diff changeset
748 l_addr += wordSize/2;
a61af66fc99e Initial load
duke
parents:
diff changeset
749 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
750
a61af66fc99e Initial load
duke
parents:
diff changeset
751 switch (type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
752 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
753 case T_ARRAY: {
a61af66fc99e Initial load
duke
parents:
diff changeset
754 #ifdef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
755 *oop_result = istate->_oop_temp;
a61af66fc99e Initial load
duke
parents:
diff changeset
756 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
757 oop obj = (oop) at(interpreter_frame_oop_temp_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
758 assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
a61af66fc99e Initial load
duke
parents:
diff changeset
759 *oop_result = obj;
a61af66fc99e Initial load
duke
parents:
diff changeset
760 #endif // CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
761 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
762 }
a61af66fc99e Initial load
duke
parents:
diff changeset
763
a61af66fc99e Initial load
duke
parents:
diff changeset
764 case T_BOOLEAN : { jint* p = (jint*)l_addr; value_result->z = (jboolean)((*p) & 0x1); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
765 case T_BYTE : { jint* p = (jint*)l_addr; value_result->b = (jbyte)((*p) & 0xff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
766 case T_CHAR : { jint* p = (jint*)l_addr; value_result->c = (jchar)((*p) & 0xffff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
767 case T_SHORT : { jint* p = (jint*)l_addr; value_result->s = (jshort)((*p) & 0xffff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
768 case T_INT : value_result->i = *(jint*)l_addr; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
769 case T_LONG : value_result->j = *(jlong*)l_scratch; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
770 case T_FLOAT : value_result->f = *(jfloat*)d_scratch; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
771 case T_DOUBLE : value_result->d = *(jdouble*)d_scratch; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
772 case T_VOID : /* Nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
773 default : ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
774 }
a61af66fc99e Initial load
duke
parents:
diff changeset
775 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
776 intptr_t* tos_addr = interpreter_frame_tos_address();
a61af66fc99e Initial load
duke
parents:
diff changeset
777
a61af66fc99e Initial load
duke
parents:
diff changeset
778 switch(type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
779 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
780 case T_ARRAY: {
a61af66fc99e Initial load
duke
parents:
diff changeset
781 oop obj = (oop)*tos_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
782 assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
a61af66fc99e Initial load
duke
parents:
diff changeset
783 *oop_result = obj;
a61af66fc99e Initial load
duke
parents:
diff changeset
784 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
785 }
a61af66fc99e Initial load
duke
parents:
diff changeset
786 case T_BOOLEAN : { jint* p = (jint*)tos_addr; value_result->z = (jboolean)((*p) & 0x1); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
787 case T_BYTE : { jint* p = (jint*)tos_addr; value_result->b = (jbyte)((*p) & 0xff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
788 case T_CHAR : { jint* p = (jint*)tos_addr; value_result->c = (jchar)((*p) & 0xffff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
789 case T_SHORT : { jint* p = (jint*)tos_addr; value_result->s = (jshort)((*p) & 0xffff); break; }
a61af66fc99e Initial load
duke
parents:
diff changeset
790 case T_INT : value_result->i = *(jint*)tos_addr; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
791 case T_LONG : value_result->j = *(jlong*)tos_addr; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
792 case T_FLOAT : value_result->f = *(jfloat*)tos_addr; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
793 case T_DOUBLE : value_result->d = *(jdouble*)tos_addr; break;
a61af66fc99e Initial load
duke
parents:
diff changeset
794 case T_VOID : /* Nothing to do */ break;
a61af66fc99e Initial load
duke
parents:
diff changeset
795 default : ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
796 }
a61af66fc99e Initial load
duke
parents:
diff changeset
797 };
a61af66fc99e Initial load
duke
parents:
diff changeset
798
a61af66fc99e Initial load
duke
parents:
diff changeset
799 return type;
a61af66fc99e Initial load
duke
parents:
diff changeset
800 }
a61af66fc99e Initial load
duke
parents:
diff changeset
801
a61af66fc99e Initial load
duke
parents:
diff changeset
802 // Lesp pointer is one word lower than the top item on the stack.
a61af66fc99e Initial load
duke
parents:
diff changeset
803 intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
804 int index = (Interpreter::expr_offset_in_bytes(offset)/wordSize) - 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
805 return &interpreter_frame_tos_address()[index];
a61af66fc99e Initial load
duke
parents:
diff changeset
806 }
3336
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
807
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
808
4824
5dbed2f542ff 7120468: SPARC/x86: use frame::describe to enhance trace_method_handle
bdelsart
parents: 4818
diff changeset
809 #ifndef PRODUCT
3336
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
810
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
811 #define DESCRIBE_FP_OFFSET(name) \
3365
3cfb240033d1 7043301: assert(locals < caller->fp() || locals > (caller->fp() + 16)) failed: locals in save area
never
parents: 3336
diff changeset
812 values.describe(frame_no, fp() + frame::name##_offset, #name)
3336
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
813
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
814 void frame::describe_pd(FrameValues& values, int frame_no) {
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
815 for (int w = 0; w < frame::register_save_words; w++) {
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
816 values.describe(frame_no, sp() + w, err_msg("register save area word %d", w), 1);
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
817 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
818
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 4868
diff changeset
819 if (is_interpreted_frame()) {
3336
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
820 DESCRIBE_FP_OFFSET(interpreter_frame_d_scratch_fp);
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
821 DESCRIBE_FP_OFFSET(interpreter_frame_l_scratch_fp);
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
822 DESCRIBE_FP_OFFSET(interpreter_frame_padding);
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
823 DESCRIBE_FP_OFFSET(interpreter_frame_oop_temp);
4818
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
824
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
825 // esp, according to Lesp (e.g. not depending on bci), if seems valid
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
826 intptr_t* esp = *interpreter_frame_esp_addr();
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
827 if ((esp >= sp()) && (esp < fp())) {
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
828 values.describe(-1, esp, "*Lesp");
82e5a84b7436 7120450: complete information dumped by frame_describe
bdelsart
parents: 3931
diff changeset
829 }
3336
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
830 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
831
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
832 if (!is_compiled_frame()) {
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
833 if (frame::callee_aggregate_return_pointer_words != 0) {
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
834 values.describe(frame_no, sp() + frame::callee_aggregate_return_pointer_sp_offset, "callee_aggregate_return_pointer_word");
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
835 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
836 for (int w = 0; w < frame::callee_register_argument_save_area_words; w++) {
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
837 values.describe(frame_no, sp() + frame::callee_register_argument_save_area_sp_offset + w,
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
838 err_msg("callee_register_argument_save_area_words %d", w));
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
839 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
840 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
841 }
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
842
2e038ad0c1d0 7009361: JSR 292 Invalid value on stack on solaris-sparc with -Xcomp
never
parents: 1972
diff changeset
843 #endif
3931
5432047c7db7 7087445: Improve platform independence of JSR292 shared code
bdelsart
parents: 3753
diff changeset
844
5432047c7db7 7087445: Improve platform independence of JSR292 shared code
bdelsart
parents: 3753
diff changeset
845 intptr_t *frame::initial_deoptimization_info() {
5432047c7db7 7087445: Improve platform independence of JSR292 shared code
bdelsart
parents: 3753
diff changeset
846 // unused... but returns fp() to minimize changes introduced by 7087445
5432047c7db7 7087445: Improve platform independence of JSR292 shared code
bdelsart
parents: 3753
diff changeset
847 return fp();
5432047c7db7 7087445: Improve platform independence of JSR292 shared code
bdelsart
parents: 3753
diff changeset
848 }