Fri, 06 May 2011 16:33:13 -0700
6939861: JVM should handle more conversion operations
Reviewed-by: twisti, jrose
1 /*
2 * Copyright (c) 1997, 2010, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #ifndef CPU_X86_VM_FRAME_X86_INLINE_HPP
26 #define CPU_X86_VM_FRAME_X86_INLINE_HPP
28 // Inline functions for Intel frames:
30 // Constructors:
32 inline frame::frame() {
33 _pc = NULL;
34 _sp = NULL;
35 _unextended_sp = NULL;
36 _fp = NULL;
37 _cb = NULL;
38 _deopt_state = unknown;
39 }
41 inline frame::frame(intptr_t* sp, intptr_t* fp, address pc) {
42 _sp = sp;
43 _unextended_sp = sp;
44 _fp = fp;
45 _pc = pc;
46 assert(pc != NULL, "no pc?");
47 _cb = CodeCache::find_blob(pc);
49 address original_pc = nmethod::get_deopt_original_pc(this);
50 if (original_pc != NULL) {
51 _pc = original_pc;
52 _deopt_state = is_deoptimized;
53 } else {
54 _deopt_state = not_deoptimized;
55 }
56 }
58 inline frame::frame(intptr_t* sp, intptr_t* unextended_sp, intptr_t* fp, address pc) {
59 _sp = sp;
60 _unextended_sp = unextended_sp;
61 _fp = fp;
62 _pc = pc;
63 assert(pc != NULL, "no pc?");
64 _cb = CodeCache::find_blob(pc);
65 adjust_unextended_sp();
67 address original_pc = nmethod::get_deopt_original_pc(this);
68 if (original_pc != NULL) {
69 _pc = original_pc;
70 assert(((nmethod*)_cb)->insts_contains(_pc), "original PC must be in nmethod");
71 _deopt_state = is_deoptimized;
72 } else {
73 _deopt_state = not_deoptimized;
74 }
75 }
77 inline frame::frame(intptr_t* sp, intptr_t* fp) {
78 _sp = sp;
79 _unextended_sp = sp;
80 _fp = fp;
81 _pc = (address)(sp[-1]);
83 // Here's a sticky one. This constructor can be called via AsyncGetCallTrace
84 // when last_Java_sp is non-null but the pc fetched is junk. If we are truly
85 // unlucky the junk value could be to a zombied method and we'll die on the
86 // find_blob call. This is also why we can have no asserts on the validity
87 // of the pc we find here. AsyncGetCallTrace -> pd_get_top_frame_for_signal_handler
88 // -> pd_last_frame should use a specialized version of pd_last_frame which could
89 // call a specilaized frame constructor instead of this one.
90 // Then we could use the assert below. However this assert is of somewhat dubious
91 // value.
92 // assert(_pc != NULL, "no pc?");
94 _cb = CodeCache::find_blob(_pc);
96 address original_pc = nmethod::get_deopt_original_pc(this);
97 if (original_pc != NULL) {
98 _pc = original_pc;
99 _deopt_state = is_deoptimized;
100 } else {
101 _deopt_state = not_deoptimized;
102 }
103 }
105 // Accessors
107 inline bool frame::equal(frame other) const {
108 bool ret = sp() == other.sp()
109 && unextended_sp() == other.unextended_sp()
110 && fp() == other.fp()
111 && pc() == other.pc();
112 assert(!ret || ret && cb() == other.cb() && _deopt_state == other._deopt_state, "inconsistent construction");
113 return ret;
114 }
116 // Return unique id for this frame. The id must have a value where we can distinguish
117 // identity and younger/older relationship. NULL represents an invalid (incomparable)
118 // frame.
119 inline intptr_t* frame::id(void) const { return unextended_sp(); }
121 // Relationals on frames based
122 // Return true if the frame is younger (more recent activation) than the frame represented by id
123 inline bool frame::is_younger(intptr_t* id) const { assert(this->id() != NULL && id != NULL, "NULL frame id");
124 return this->id() < id ; }
126 // Return true if the frame is older (less recent activation) than the frame represented by id
127 inline bool frame::is_older(intptr_t* id) const { assert(this->id() != NULL && id != NULL, "NULL frame id");
128 return this->id() > id ; }
132 inline intptr_t* frame::link() const { return (intptr_t*) *(intptr_t **)addr_at(link_offset); }
133 inline void frame::set_link(intptr_t* addr) { *(intptr_t **)addr_at(link_offset) = addr; }
136 inline intptr_t* frame::unextended_sp() const { return _unextended_sp; }
138 // Return address:
140 inline address* frame::sender_pc_addr() const { return (address*) addr_at( return_addr_offset); }
141 inline address frame::sender_pc() const { return *sender_pc_addr(); }
143 // return address of param, zero origin index.
144 inline address* frame::native_param_addr(int idx) const { return (address*) addr_at( native_frame_initial_param_offset+idx); }
146 #ifdef CC_INTERP
148 inline interpreterState frame::get_interpreterState() const {
149 return ((interpreterState)addr_at( -((int)sizeof(BytecodeInterpreter))/wordSize ));
150 }
152 inline intptr_t* frame::sender_sp() const {
153 // Hmm this seems awfully expensive QQQ, is this really called with interpreted frames?
154 if (is_interpreted_frame()) {
155 assert(false, "should never happen");
156 return get_interpreterState()->sender_sp();
157 } else {
158 return addr_at(sender_sp_offset);
159 }
160 }
162 inline intptr_t** frame::interpreter_frame_locals_addr() const {
163 assert(is_interpreted_frame(), "must be interpreted");
164 return &(get_interpreterState()->_locals);
165 }
167 inline intptr_t* frame::interpreter_frame_bcx_addr() const {
168 assert(is_interpreted_frame(), "must be interpreted");
169 return (intptr_t*) &(get_interpreterState()->_bcp);
170 }
173 // Constant pool cache
175 inline constantPoolCacheOop* frame::interpreter_frame_cache_addr() const {
176 assert(is_interpreted_frame(), "must be interpreted");
177 return &(get_interpreterState()->_constants);
178 }
180 // Method
182 inline methodOop* frame::interpreter_frame_method_addr() const {
183 assert(is_interpreted_frame(), "must be interpreted");
184 return &(get_interpreterState()->_method);
185 }
187 inline intptr_t* frame::interpreter_frame_mdx_addr() const {
188 assert(is_interpreted_frame(), "must be interpreted");
189 return (intptr_t*) &(get_interpreterState()->_mdx);
190 }
192 // top of expression stack
193 inline intptr_t* frame::interpreter_frame_tos_address() const {
194 assert(is_interpreted_frame(), "wrong frame type");
195 return get_interpreterState()->_stack + 1;
196 }
198 #else /* asm interpreter */
199 inline intptr_t* frame::sender_sp() const { return addr_at( sender_sp_offset); }
201 inline intptr_t** frame::interpreter_frame_locals_addr() const {
202 return (intptr_t**)addr_at(interpreter_frame_locals_offset);
203 }
205 inline intptr_t* frame::interpreter_frame_last_sp() const {
206 return *(intptr_t**)addr_at(interpreter_frame_last_sp_offset);
207 }
209 inline intptr_t* frame::interpreter_frame_bcx_addr() const {
210 return (intptr_t*)addr_at(interpreter_frame_bcx_offset);
211 }
214 inline intptr_t* frame::interpreter_frame_mdx_addr() const {
215 return (intptr_t*)addr_at(interpreter_frame_mdx_offset);
216 }
220 // Constant pool cache
222 inline constantPoolCacheOop* frame::interpreter_frame_cache_addr() const {
223 return (constantPoolCacheOop*)addr_at(interpreter_frame_cache_offset);
224 }
226 // Method
228 inline methodOop* frame::interpreter_frame_method_addr() const {
229 return (methodOop*)addr_at(interpreter_frame_method_offset);
230 }
232 // top of expression stack
233 inline intptr_t* frame::interpreter_frame_tos_address() const {
234 intptr_t* last_sp = interpreter_frame_last_sp();
235 if (last_sp == NULL) {
236 return sp();
237 } else {
238 // sp() may have been extended or shrunk by an adapter. At least
239 // check that we don't fall behind the legal region.
240 // For top deoptimized frame last_sp == interpreter_frame_monitor_end.
241 assert(last_sp <= (intptr_t*) interpreter_frame_monitor_end(), "bad tos");
242 return last_sp;
243 }
244 }
246 #endif /* CC_INTERP */
248 inline int frame::pd_oop_map_offset_adjustment() const {
249 return 0;
250 }
252 inline int frame::interpreter_frame_monitor_size() {
253 return BasicObjectLock::size();
254 }
257 // expression stack
258 // (the max_stack arguments are used by the GC; see class FrameClosure)
260 inline intptr_t* frame::interpreter_frame_expression_stack() const {
261 intptr_t* monitor_end = (intptr_t*) interpreter_frame_monitor_end();
262 return monitor_end-1;
263 }
266 inline jint frame::interpreter_frame_expression_stack_direction() { return -1; }
269 // Entry frames
271 inline JavaCallWrapper* frame::entry_frame_call_wrapper() const {
272 return (JavaCallWrapper*)at(entry_frame_call_wrapper_offset);
273 }
276 // Compiled frames
278 inline int frame::local_offset_for_compiler(int local_index, int nof_args, int max_nof_locals, int max_nof_monitors) {
279 return (nof_args - local_index + (local_index < nof_args ? 1: -1));
280 }
282 inline int frame::monitor_offset_for_compiler(int local_index, int nof_args, int max_nof_locals, int max_nof_monitors) {
283 return local_offset_for_compiler(local_index, nof_args, max_nof_locals, max_nof_monitors);
284 }
286 inline int frame::min_local_offset_for_compiler(int nof_args, int max_nof_locals, int max_nof_monitors) {
287 return (nof_args - (max_nof_locals + max_nof_monitors*2) - 1);
288 }
290 inline bool frame::volatile_across_calls(Register reg) {
291 return true;
292 }
296 inline oop frame::saved_oop_result(RegisterMap* map) const {
297 return *((oop*) map->location(rax->as_VMReg()));
298 }
300 inline void frame::set_saved_oop_result(RegisterMap* map, oop obj) {
301 *((oop*) map->location(rax->as_VMReg())) = obj;
302 }
304 #endif // CPU_X86_VM_FRAME_X86_INLINE_HPP