• file
• revisions
• annotate
• diff
• comparison
• raw

src/cpu/zero/vm/frame_zero.cpp@a9becfeecd1b (annotated)

src/cpu/zero/vm/frame_zero.cpp

Wed, 22 Jan 2014 17:42:23 -0800

author

kvn

date

Wed, 22 Jan 2014 17:42:23 -0800

changeset 6503

a9becfeecd1b

parent 6198

55fb97c4c58d

child 6876

710a3c8b516e

child 7553

f43fad8786fc

permissions

-rw-r--r--

Merge

never@1445	1	/*
mikael@6198	2	* Copyright (c) 2003, 2013, Oracle and/or its affiliates. All rights reserved.
twisti@3045	3	* Copyright 2007, 2008, 2009, 2010, 2011 Red Hat, Inc.
never@1445	4	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
never@1445	5	*
never@1445	6	* This code is free software; you can redistribute it and/or modify it
never@1445	7	* under the terms of the GNU General Public License version 2 only, as
never@1445	8	* published by the Free Software Foundation.
never@1445	9	*
never@1445	10	* This code is distributed in the hope that it will be useful, but WITHOUT
never@1445	11	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
never@1445	12	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
never@1445	13	* version 2 for more details (a copy is included in the LICENSE file that
never@1445	14	* accompanied this code).
never@1445	15	*
never@1445	16	* You should have received a copy of the GNU General Public License version
never@1445	17	* 2 along with this work; if not, write to the Free Software Foundation,
never@1445	18	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
never@1445	19	*
trims@1907	20	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907	21	* or visit www.oracle.com if you need additional information or have any
trims@1907	22	* questions.
never@1445	23	*
never@1445	24	*/
never@1445	25
stefank@2314	26	#include "precompiled.hpp"
stefank@2314	27	#include "code/scopeDesc.hpp"
stefank@2314	28	#include "interpreter/interpreter.hpp"
stefank@2314	29	#include "interpreter/interpreterRuntime.hpp"
stefank@2314	30	#include "memory/resourceArea.hpp"
stefank@2314	31	#include "oops/markOop.hpp"
coleenp@4037	32	#include "oops/method.hpp"
stefank@2314	33	#include "oops/oop.inline.hpp"
stefank@2314	34	#include "runtime/frame.inline.hpp"
stefank@2314	35	#include "runtime/handles.inline.hpp"
stefank@2314	36	#include "runtime/javaCalls.hpp"
stefank@2314	37	#include "runtime/monitorChunk.hpp"
stefank@2314	38	#include "runtime/signature.hpp"
stefank@2314	39	#include "runtime/stubCodeGenerator.hpp"
stefank@2314	40	#include "runtime/stubRoutines.hpp"
stefank@2314	41	#include "vmreg_zero.inline.hpp"
stefank@2314	42	#ifdef COMPILER1
stefank@2314	43	#include "c1/c1_Runtime1.hpp"
stefank@2314	44	#include "runtime/vframeArray.hpp"
stefank@2314	45	#endif
never@1445	46
never@1445	47	#ifdef ASSERT
never@1445	48	void RegisterMap::check_location_valid() {
never@1445	49	ShouldNotCallThis();
never@1445	50	}
never@1445	51	#endif
never@1445	52
never@1445	53	bool frame::is_interpreted_frame() const {
never@1445	54	return zeroframe()->is_interpreter_frame();
never@1445	55	}
never@1445	56
twisti@1867	57	bool frame::is_fake_stub_frame() const {
twisti@1867	58	return zeroframe()->is_fake_stub_frame();
twisti@1867	59	}
twisti@1867	60
never@1445	61	frame frame::sender_for_entry_frame(RegisterMap *map) const {
twisti@1513	62	assert(zeroframe()->is_entry_frame(), "wrong type of frame");
never@1445	63	assert(map != NULL, "map must be set");
never@1445	64	assert(!entry_frame_is_first(), "next Java fp must be non zero");
never@1445	65	assert(entry_frame_call_wrapper()->anchor()->last_Java_sp() == sender_sp(),
never@1445	66	"sender should be next Java frame");
never@1445	67	map->clear();
never@1445	68	assert(map->include_argument_oops(), "should be set by clear");
twisti@1860	69	return frame(zeroframe()->next(), sender_sp());
never@1445	70	}
never@1445	71
twisti@1513	72	frame frame::sender_for_nonentry_frame(RegisterMap *map) const {
twisti@1513	73	assert(zeroframe()->is_interpreter_frame() ||
twisti@1513	74	zeroframe()->is_shark_frame() ||
twisti@1513	75	zeroframe()->is_fake_stub_frame(), "wrong type of frame");
twisti@1860	76	return frame(zeroframe()->next(), sender_sp());
never@1445	77	}
never@1445	78
never@1445	79	frame frame::sender(RegisterMap* map) const {
never@1445	80	// Default is not to follow arguments; the various
never@1445	81	// sender_for_xxx methods update this accordingly.
never@1445	82	map->set_include_argument_oops(false);
never@1445	83
never@1445	84	if (is_entry_frame())
never@1445	85	return sender_for_entry_frame(map);
twisti@1513	86	else
twisti@1513	87	return sender_for_nonentry_frame(map);
never@1445	88	}
never@1445	89
never@1445	90	#ifdef CC_INTERP
never@1445	91	BasicObjectLock* frame::interpreter_frame_monitor_begin() const {
never@1445	92	return get_interpreterState()->monitor_base();
never@1445	93	}
never@1445	94
never@1445	95	BasicObjectLock* frame::interpreter_frame_monitor_end() const {
never@1445	96	return (BasicObjectLock*) get_interpreterState()->stack_base();
never@1445	97	}
never@1445	98	#endif // CC_INTERP
never@1445	99
never@1445	100	void frame::patch_pc(Thread* thread, address pc) {
twisti@4442	101
twisti@4442	102	if (pc != NULL) {
twisti@4442	103	_cb = CodeCache::find_blob(pc);
twisti@4442	104	SharkFrame* sharkframe = zeroframe()->as_shark_frame();
twisti@4442	105	sharkframe->set_pc(pc);
twisti@4442	106	_pc = pc;
twisti@4442	107	_deopt_state = is_deoptimized;
twisti@4442	108
twisti@4442	109	} else {
twisti@4442	110	// We borrow this call to set the thread pointer in the interpreter
twisti@4442	111	// state; the hook to set up deoptimized frames isn't supplied it.
twisti@4442	112	assert(pc == NULL, "should be");
twisti@4442	113	get_interpreterState()->set_thread((JavaThread *) thread);
twisti@4442	114	}
never@1445	115	}
never@1445	116
never@1445	117	bool frame::safe_for_sender(JavaThread *thread) {
never@1445	118	ShouldNotCallThis();
twisti@5545	119	return false;
never@1445	120	}
never@1445	121
never@1445	122	void frame::pd_gc_epilog() {
never@1445	123	}
never@1445	124
never@1445	125	bool frame::is_interpreted_frame_valid(JavaThread *thread) const {
never@1445	126	ShouldNotCallThis();
twisti@5545	127	return false;
never@1445	128	}
never@1445	129
never@1445	130	BasicType frame::interpreter_frame_result(oop* oop_result,
never@1445	131	jvalue* value_result) {
never@1445	132	assert(is_interpreted_frame(), "interpreted frame expected");
coleenp@4037	133	Method* method = interpreter_frame_method();
never@1445	134	BasicType type = method->result_type();
never@1445	135	intptr_t* tos_addr = (intptr_t *) interpreter_frame_tos_address();
never@1445	136	oop obj;
never@1445	137
never@1445	138	switch (type) {
never@1445	139	case T_VOID:
never@1445	140	break;
never@1445	141	case T_BOOLEAN:
never@1445	142	value_result->z = *(jboolean *) tos_addr;
never@1445	143	break;
never@1445	144	case T_BYTE:
never@1445	145	value_result->b = *(jbyte *) tos_addr;
never@1445	146	break;
never@1445	147	case T_CHAR:
never@1445	148	value_result->c = *(jchar *) tos_addr;
never@1445	149	break;
never@1445	150	case T_SHORT:
never@1445	151	value_result->s = *(jshort *) tos_addr;
never@1445	152	break;
never@1445	153	case T_INT:
never@1445	154	value_result->i = *(jint *) tos_addr;
never@1445	155	break;
never@1445	156	case T_LONG:
never@1445	157	value_result->j = *(jlong *) tos_addr;
never@1445	158	break;
never@1445	159	case T_FLOAT:
never@1445	160	value_result->f = *(jfloat *) tos_addr;
never@1445	161	break;
never@1445	162	case T_DOUBLE:
never@1445	163	value_result->d = *(jdouble *) tos_addr;
never@1445	164	break;
never@1445	165
never@1445	166	case T_OBJECT:
never@1445	167	case T_ARRAY:
never@1445	168	if (method->is_native()) {
never@1445	169	obj = get_interpreterState()->oop_temp();
never@1445	170	}
never@1445	171	else {
never@1445	172	oop* obj_p = (oop *) tos_addr;
never@1445	173	obj = (obj_p == NULL) ? (oop) NULL : *obj_p;
never@1445	174	}
never@1445	175	assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
never@1445	176	*oop_result = obj;
never@1445	177	break;
never@1445	178
never@1445	179	default:
never@1445	180	ShouldNotReachHere();
never@1445	181	}
never@1445	182
never@1445	183	return type;
never@1445	184	}
never@1445	185
never@1445	186	int frame::frame_size(RegisterMap* map) const {
never@1445	187	#ifdef PRODUCT
never@1445	188	ShouldNotCallThis();
twisti@5545	189	#endif // PRODUCT
never@1445	190	return 0; // make javaVFrame::print_value work
never@1445	191	}
never@1445	192
never@1445	193	intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
never@1445	194	int index = (Interpreter::expr_offset_in_bytes(offset) / wordSize);
never@1445	195	return &interpreter_frame_tos_address()[index];
never@1445	196	}
never@1445	197
never@1445	198	void frame::zero_print_on_error(int frame_index,
never@1445	199	outputStream* st,
never@1445	200	char* buf,
never@1445	201	int buflen) const {
never@1445	202	// Divide the buffer between the field and the value
never@1445	203	buflen >>= 1;
never@1445	204	char *fieldbuf = buf;
never@1445	205	char *valuebuf = buf + buflen;
never@1445	206
never@1445	207	// Print each word of the frame
twisti@1860	208	for (intptr_t *addr = sp(); addr <= fp(); addr++) {
twisti@1860	209	int offset = fp() - addr;
never@1445	210
never@1445	211	// Fill in default values, then try and improve them
never@1445	212	snprintf(fieldbuf, buflen, "word[%d]", offset);
never@1445	213	snprintf(valuebuf, buflen, PTR_FORMAT, *addr);
never@1445	214	zeroframe()->identify_word(frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	215	fieldbuf[buflen - 1] = '\0';
never@1445	216	valuebuf[buflen - 1] = '\0';
never@1445	217
never@1445	218	// Print the result
never@1445	219	st->print_cr(" " PTR_FORMAT ": %-21s = %s", addr, fieldbuf, valuebuf);
never@1445	220	}
never@1445	221	}
never@1445	222
never@1445	223	void ZeroFrame::identify_word(int frame_index,
never@1445	224	int offset,
never@1445	225	char* fieldbuf,
never@1445	226	char* valuebuf,
never@1445	227	int buflen) const {
never@1445	228	switch (offset) {
never@1445	229	case next_frame_off:
never@1445	230	strncpy(fieldbuf, "next_frame", buflen);
never@1445	231	break;
never@1445	232
never@1445	233	case frame_type_off:
never@1445	234	strncpy(fieldbuf, "frame_type", buflen);
never@1445	235	if (is_entry_frame())
never@1445	236	strncpy(valuebuf, "ENTRY_FRAME", buflen);
never@1445	237	else if (is_interpreter_frame())
never@1445	238	strncpy(valuebuf, "INTERPRETER_FRAME", buflen);
never@1445	239	else if (is_shark_frame())
never@1445	240	strncpy(valuebuf, "SHARK_FRAME", buflen);
never@1445	241	else if (is_fake_stub_frame())
never@1445	242	strncpy(valuebuf, "FAKE_STUB_FRAME", buflen);
never@1445	243	break;
never@1445	244
never@1445	245	default:
never@1445	246	if (is_entry_frame()) {
never@1445	247	as_entry_frame()->identify_word(
never@1445	248	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	249	}
never@1445	250	else if (is_interpreter_frame()) {
never@1445	251	as_interpreter_frame()->identify_word(
never@1445	252	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	253	}
never@1445	254	else if (is_shark_frame()) {
never@1445	255	as_shark_frame()->identify_word(
never@1445	256	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	257	}
never@1445	258	else if (is_fake_stub_frame()) {
never@1445	259	as_fake_stub_frame()->identify_word(
never@1445	260	frame_index, offset, fieldbuf, valuebuf, buflen);
never@1445	261	}
never@1445	262	}
never@1445	263	}
never@1445	264
never@1445	265	void EntryFrame::identify_word(int frame_index,
never@1445	266	int offset,
never@1445	267	char* fieldbuf,
never@1445	268	char* valuebuf,
never@1445	269	int buflen) const {
never@1445	270	switch (offset) {
never@1445	271	case call_wrapper_off:
never@1445	272	strncpy(fieldbuf, "call_wrapper", buflen);
never@1445	273	break;
never@1445	274
never@1445	275	default:
never@1445	276	snprintf(fieldbuf, buflen, "local[%d]", offset - 3);
never@1445	277	}
never@1445	278	}
never@1445	279
never@1445	280	void InterpreterFrame::identify_word(int frame_index,
never@1445	281	int offset,
never@1445	282	char* fieldbuf,
never@1445	283	char* valuebuf,
never@1445	284	int buflen) const {
never@1445	285	interpreterState istate = interpreter_state();
never@1445	286	bool is_valid = istate->self_link() == istate;
never@1445	287	intptr_t *addr = addr_of_word(offset);
never@1445	288
never@1445	289	// Fixed part
never@1445	290	if (addr >= (intptr_t *) istate) {
never@1445	291	const char *field = istate->name_of_field_at_address((address) addr);
never@1445	292	if (field) {
never@1445	293	if (is_valid && !strcmp(field, "_method")) {
never@1445	294	istate->method()->name_and_sig_as_C_string(valuebuf, buflen);
never@1445	295	}
never@1445	296	else if (is_valid && !strcmp(field, "_bcp") && istate->bcp()) {
never@1445	297	snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
never@1445	298	(intptr_t) istate->bcp(),
never@1445	299	istate->method()->bci_from(istate->bcp()));
never@1445	300	}
never@1445	301	snprintf(fieldbuf, buflen, "%sistate->%s",
never@1445	302	field[strlen(field) - 1] == ')' ? "(": "", field);
never@1445	303	}
never@1445	304	else if (addr == (intptr_t *) istate) {
never@1445	305	strncpy(fieldbuf, "(vtable for istate)", buflen);
never@1445	306	}
never@1445	307	return;
never@1445	308	}
never@1445	309
never@1445	310	// Variable part
never@1445	311	if (!is_valid)
never@1445	312	return;
never@1445	313
never@1445	314	// JNI stuff
never@1445	315	if (istate->method()->is_native() && addr < istate->stack_base()) {
never@1445	316	address hA = istate->method()->signature_handler();
never@1445	317	if (hA != NULL) {
never@1445	318	if (hA != (address) InterpreterRuntime::slow_signature_handler) {
never@1445	319	InterpreterRuntime::SignatureHandler *handler =
never@1445	320	InterpreterRuntime::SignatureHandler::from_handlerAddr(hA);
never@1445	321
never@1445	322	intptr_t *params = istate->stack_base() - handler->argument_count();
never@1445	323	if (addr >= params) {
never@1445	324	int param = addr - params;
never@1445	325	const char *desc = "";
never@1445	326	if (param == 0)
never@1445	327	desc = " (JNIEnv)";
never@1445	328	else if (param == 1) {
never@1445	329	if (istate->method()->is_static())
never@1445	330	desc = " (mirror)";
never@1445	331	else
never@1445	332	desc = " (this)";
never@1445	333	}
never@1445	334	snprintf(fieldbuf, buflen, "parameter[%d]%s", param, desc);
never@1445	335	return;
never@1445	336	}
never@1445	337
never@1445	338	for (int i = 0; i < handler->argument_count(); i++) {
never@1445	339	if (params[i] == (intptr_t) addr) {
never@1445	340	snprintf(fieldbuf, buflen, "unboxed parameter[%d]", i);
never@1445	341	return;
never@1445	342	}
never@1445	343	}
never@1445	344	}
never@1445	345	}
never@1445	346	return;
never@1445	347	}
never@1445	348
never@1445	349	// Monitors and stack
never@1445	350	identify_vp_word(frame_index, addr,
never@1445	351	(intptr_t *) istate->monitor_base(),
never@1445	352	istate->stack_base(),
never@1445	353	fieldbuf, buflen);
never@1445	354	}
never@1445	355
never@1445	356	void SharkFrame::identify_word(int frame_index,
never@1445	357	int offset,
never@1445	358	char* fieldbuf,
never@1445	359	char* valuebuf,
never@1445	360	int buflen) const {
never@1445	361	// Fixed part
never@1445	362	switch (offset) {
never@1445	363	case pc_off:
never@1445	364	strncpy(fieldbuf, "pc", buflen);
twisti@4237	365	if (method()->is_method()) {
never@1445	366	nmethod *code = method()->code();
never@1445	367	if (code && code->pc_desc_at(pc())) {
never@1445	368	SimpleScopeDesc ssd(code, pc());
never@1445	369	snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
never@1445	370	(intptr_t) pc(), ssd.bci());
never@1445	371	}
never@1445	372	}
never@1445	373	return;
never@1445	374
never@1445	375	case unextended_sp_off:
never@1445	376	strncpy(fieldbuf, "unextended_sp", buflen);
never@1445	377	return;
never@1445	378
never@1445	379	case method_off:
never@1445	380	strncpy(fieldbuf, "method", buflen);
twisti@4237	381	if (method()->is_method()) {
never@1445	382	method()->name_and_sig_as_C_string(valuebuf, buflen);
never@1445	383	}
never@1445	384	return;
never@1445	385
never@1445	386	case oop_tmp_off:
never@1445	387	strncpy(fieldbuf, "oop_tmp", buflen);
never@1445	388	return;
never@1445	389	}
never@1445	390
never@1445	391	// Variable part
twisti@4237	392	if (method()->is_method()) {
never@1445	393	identify_vp_word(frame_index, addr_of_word(offset),
never@1445	394	addr_of_word(header_words + 1),
never@1445	395	unextended_sp() + method()->max_stack(),
never@1445	396	fieldbuf, buflen);
never@1445	397	}
never@1445	398	}
never@1445	399
never@1445	400	void ZeroFrame::identify_vp_word(int frame_index,
never@1445	401	intptr_t* addr,
never@1445	402	intptr_t* monitor_base,
never@1445	403	intptr_t* stack_base,
never@1445	404	char* fieldbuf,
never@1445	405	int buflen) const {
never@1445	406	// Monitors
never@1445	407	if (addr >= stack_base && addr < monitor_base) {
never@1445	408	int monitor_size = frame::interpreter_frame_monitor_size();
never@1445	409	int last_index = (monitor_base - stack_base) / monitor_size - 1;
never@1445	410	int index = last_index - (addr - stack_base) / monitor_size;
never@1445	411	intptr_t monitor = (intptr_t) (
never@1445	412	(BasicObjectLock *) monitor_base - 1 - index);
never@1445	413	intptr_t offset = (intptr_t) addr - monitor;
never@1445	414
never@1445	415	if (offset == BasicObjectLock::obj_offset_in_bytes())
never@1445	416	snprintf(fieldbuf, buflen, "monitor[%d]->_obj", index);
never@1445	417	else if (offset == BasicObjectLock::lock_offset_in_bytes())
never@1445	418	snprintf(fieldbuf, buflen, "monitor[%d]->_lock", index);
never@1445	419
never@1445	420	return;
never@1445	421	}
never@1445	422
never@1445	423	// Expression stack
never@1445	424	if (addr < stack_base) {
never@1445	425	snprintf(fieldbuf, buflen, "%s[%d]",
never@1445	426	frame_index == 0 ? "stack_word" : "local",
never@1445	427	(int) (stack_base - addr - 1));
never@1445	428	return;
never@1445	429	}
never@1445	430	}
twisti@3045	431
bdelsart@3451	432	#ifndef PRODUCT
twisti@3045	433
twisti@3045	434	void frame::describe_pd(FrameValues& values, int frame_no) {
twisti@3045	435
twisti@3045	436	}
twisti@3045	437
twisti@3045	438	#endif
bdelsart@3130	439
bdelsart@3130	440	intptr_t *frame::initial_deoptimization_info() {
bdelsart@3130	441	// unused... but returns fp() to minimize changes introduced by 7087445
bdelsart@3130	442	return fp();
bdelsart@3130	443	}