truffle: src/share/vm/ci/ciMethodData.cpp annotate

annotate src/share/vm/ci/ciMethodData.cpp @ 14674:53ed0f89f44e

8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90 Summary: concurrent update of traps with construction of ciMethodData Reviewed-by: kvn, twisti

author	roland
date	Wed, 05 Mar 2014 09:29:12 +0100
parents	fdad2932c73f
children	92aa6797d639 78bbf4d43a14

rev	line source
0 a61af66fc99e Initial load duke parents: diff changeset	1 /*
14223 de6a9e811145 8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013 mikael parents: 12962 diff changeset	2 * Copyright (c) 2001, 2013, Oracle and/or its affiliates. All rights reserved.
0 a61af66fc99e Initial load duke parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load duke parents: diff changeset	4 *
a61af66fc99e Initial load duke parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load duke parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load duke parents: diff changeset	7 * published by the Free Software Foundation.
a61af66fc99e Initial load duke parents: diff changeset	8 *
a61af66fc99e Initial load duke parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load duke parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load duke parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load duke parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load duke parents: diff changeset	13 * accompanied this code).
a61af66fc99e Initial load duke parents: diff changeset	14 *
a61af66fc99e Initial load duke parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load duke parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load duke parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load duke parents: diff changeset	18 *
1552 c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 196 diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories trims parents: 196 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: 196 diff changeset	21 * questions.
0 a61af66fc99e Initial load duke parents: diff changeset	22 *
a61af66fc99e Initial load duke parents: diff changeset	23 */
a61af66fc99e Initial load duke parents: diff changeset	24
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	25 #include "precompiled.hpp"
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	26 #include "ci/ciMetadata.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	27 #include "ci/ciMethodData.hpp"
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	28 #include "ci/ciReplay.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	29 #include "ci/ciUtilities.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	30 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	31 #include "memory/resourceArea.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	32 #include "runtime/deoptimization.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	33 #include "utilities/copy.hpp"
0 a61af66fc99e Initial load duke parents: diff changeset	34
a61af66fc99e Initial load duke parents: diff changeset	35 // ciMethodData
a61af66fc99e Initial load duke parents: diff changeset	36
a61af66fc99e Initial load duke parents: diff changeset	37 // ------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	38 // ciMethodData::ciMethodData
a61af66fc99e Initial load duke parents: diff changeset	39 //
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	40 ciMethodData::ciMethodData(MethodData* md) : ciMetadata(md) {
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	41 assert(md != NULL, "no null method data");
0 a61af66fc99e Initial load duke parents: diff changeset	42 Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
a61af66fc99e Initial load duke parents: diff changeset	43 _data = NULL;
a61af66fc99e Initial load duke parents: diff changeset	44 _data_size = 0;
a61af66fc99e Initial load duke parents: diff changeset	45 _extra_data_size = 0;
a61af66fc99e Initial load duke parents: diff changeset	46 _current_mileage = 0;
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	47 _invocation_counter = 0;
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	48 _backedge_counter = 0;
0 a61af66fc99e Initial load duke parents: diff changeset	49 _state = empty_state;
a61af66fc99e Initial load duke parents: diff changeset	50 _saw_free_extra_data = false;
a61af66fc99e Initial load duke parents: diff changeset	51 // Set an initial hint. Don't use set_hint_di() because
a61af66fc99e Initial load duke parents: diff changeset	52 // first_di() may be out of bounds if data_size is 0.
a61af66fc99e Initial load duke parents: diff changeset	53 _hint_di = first_di();
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	54 // Initialize the escape information (to "don't know.");
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	55 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	56 _parameters = NULL;
0 a61af66fc99e Initial load duke parents: diff changeset	57 }
a61af66fc99e Initial load duke parents: diff changeset	58
a61af66fc99e Initial load duke parents: diff changeset	59 // ------------------------------------------------------------------
a61af66fc99e Initial load duke parents: diff changeset	60 // ciMethodData::ciMethodData
a61af66fc99e Initial load duke parents: diff changeset	61 //
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	62 // No MethodData*.
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	63 ciMethodData::ciMethodData() : ciMetadata(NULL) {
0 a61af66fc99e Initial load duke parents: diff changeset	64 Copy::zero_to_words((HeapWord*) &_orig, sizeof(_orig) / sizeof(HeapWord));
a61af66fc99e Initial load duke parents: diff changeset	65 _data = NULL;
a61af66fc99e Initial load duke parents: diff changeset	66 _data_size = 0;
a61af66fc99e Initial load duke parents: diff changeset	67 _extra_data_size = 0;
a61af66fc99e Initial load duke parents: diff changeset	68 _current_mileage = 0;
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	69 _invocation_counter = 0;
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	70 _backedge_counter = 0;
0 a61af66fc99e Initial load duke parents: diff changeset	71 _state = empty_state;
a61af66fc99e Initial load duke parents: diff changeset	72 _saw_free_extra_data = false;
a61af66fc99e Initial load duke parents: diff changeset	73 // Set an initial hint. Don't use set_hint_di() because
a61af66fc99e Initial load duke parents: diff changeset	74 // first_di() may be out of bounds if data_size is 0.
a61af66fc99e Initial load duke parents: diff changeset	75 _hint_di = first_di();
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	76 // Initialize the escape information (to "don't know.");
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	77 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	78 _parameters = NULL;
0 a61af66fc99e Initial load duke parents: diff changeset	79 }
a61af66fc99e Initial load duke parents: diff changeset	80
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	81 void ciMethodData::load_extra_data() {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	82 MethodData* mdo = get_MethodData();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	83
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	84 // speculative trap entries also hold a pointer to a Method so need to be translated
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	85 DataLayout* dp_src = mdo->extra_data_base();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	86 DataLayout* end_src = mdo->extra_data_limit();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	87 DataLayout* dp_dst = extra_data_base();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	88 for (;; dp_src = MethodData::next_extra(dp_src), dp_dst = MethodData::next_extra(dp_dst)) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	89 assert(dp_src < end_src, "moved past end of extra data");
14674 53ed0f89f44e 8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90 roland parents: 14500 diff changeset	90 // New traps in the MDO can be added as we translate the copy so
53ed0f89f44e 8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90 roland parents: 14500 diff changeset	91 // look at the entries in the copy.
53ed0f89f44e 8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90 roland parents: 14500 diff changeset	92 switch(dp_dst->tag()) {
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	93 case DataLayout::speculative_trap_data_tag: {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	94 ciSpeculativeTrapData* data_dst = new ciSpeculativeTrapData(dp_dst);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	95 SpeculativeTrapData* data_src = new SpeculativeTrapData(dp_src);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	96 data_dst->translate_from(data_src);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	97 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	98 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	99 case DataLayout::bit_data_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	100 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	101 case DataLayout::no_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	102 case DataLayout::arg_info_data_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	103 // An empty slot or ArgInfoData entry marks the end of the trap data
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	104 return;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	105 default:
14674 53ed0f89f44e 8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90 roland parents: 14500 diff changeset	106 fatal(err_msg("bad tag = %d", dp_dst->tag()));
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	107 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	108 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	109 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	110
0 a61af66fc99e Initial load duke parents: diff changeset	111 void ciMethodData::load_data() {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	112 MethodData* mdo = get_MethodData();
12868 c775af091fe9 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method twisti parents: 12865 diff changeset	113 if (mdo == NULL) {
c775af091fe9 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method twisti parents: 12865 diff changeset	114 return;
c775af091fe9 8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method twisti parents: 12865 diff changeset	115 }
0 a61af66fc99e Initial load duke parents: diff changeset	116
a61af66fc99e Initial load duke parents: diff changeset	117 // To do: don't copy the data if it is not "ripe" -- require a minimum #
a61af66fc99e Initial load duke parents: diff changeset	118 // of invocations.
a61af66fc99e Initial load duke parents: diff changeset	119
a61af66fc99e Initial load duke parents: diff changeset	120 // Snapshot the data -- actually, take an approximate snapshot of
a61af66fc99e Initial load duke parents: diff changeset	121 // the data. Any concurrently executing threads may be changing the
a61af66fc99e Initial load duke parents: diff changeset	122 // data as we copy it.
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	123 Copy::disjoint_words((HeapWord*) mdo,
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	124 (HeapWord*) &_orig,
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	125 sizeof(_orig) / HeapWordSize);
0 a61af66fc99e Initial load duke parents: diff changeset	126 Arena* arena = CURRENT_ENV->arena();
a61af66fc99e Initial load duke parents: diff changeset	127 _data_size = mdo->data_size();
a61af66fc99e Initial load duke parents: diff changeset	128 _extra_data_size = mdo->extra_data_size();
a61af66fc99e Initial load duke parents: diff changeset	129 int total_size = _data_size + _extra_data_size;
a61af66fc99e Initial load duke parents: diff changeset	130 _data = (intptr_t *) arena->Amalloc(total_size);
a61af66fc99e Initial load duke parents: diff changeset	131 Copy::disjoint_words((HeapWord) mdo->data_base(), (HeapWord) _data, total_size / HeapWordSize);
a61af66fc99e Initial load duke parents: diff changeset	132
a61af66fc99e Initial load duke parents: diff changeset	133 // Traverse the profile data, translating any oops into their
a61af66fc99e Initial load duke parents: diff changeset	134 // ci equivalents.
a61af66fc99e Initial load duke parents: diff changeset	135 ResourceMark rm;
a61af66fc99e Initial load duke parents: diff changeset	136 ciProfileData* ci_data = first_data();
a61af66fc99e Initial load duke parents: diff changeset	137 ProfileData* data = mdo->first_data();
a61af66fc99e Initial load duke parents: diff changeset	138 while (is_valid(ci_data)) {
a61af66fc99e Initial load duke parents: diff changeset	139 ci_data->translate_from(data);
a61af66fc99e Initial load duke parents: diff changeset	140 ci_data = next_data(ci_data);
a61af66fc99e Initial load duke parents: diff changeset	141 data = mdo->next_data(data);
a61af66fc99e Initial load duke parents: diff changeset	142 }
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	143 if (mdo->parameters_type_data() != NULL) {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	144 _parameters = data_layout_at(mdo->parameters_type_data_di());
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	145 ciParametersTypeData* parameters = new ciParametersTypeData(_parameters);
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	146 parameters->translate_from(mdo->parameters_type_data());
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	147 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	148
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	149 load_extra_data();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	150
0 a61af66fc99e Initial load duke parents: diff changeset	151 // Note: Extra data are all BitData, and do not need translation.
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	152 _current_mileage = MethodData::mileage_of(mdo->method());
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	153 _invocation_counter = mdo->invocation_count();
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	154 _backedge_counter = mdo->backedge_count();
0 a61af66fc99e Initial load duke parents: diff changeset	155 _state = mdo->is_mature()? mature_state: immature_state;
a61af66fc99e Initial load duke parents: diff changeset	156
a61af66fc99e Initial load duke parents: diff changeset	157 _eflags = mdo->eflags();
a61af66fc99e Initial load duke parents: diff changeset	158 _arg_local = mdo->arg_local();
a61af66fc99e Initial load duke parents: diff changeset	159 _arg_stack = mdo->arg_stack();
a61af66fc99e Initial load duke parents: diff changeset	160 _arg_returned = mdo->arg_returned();
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	161 #ifndef PRODUCT
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	162 if (ReplayCompiles) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	163 ciReplay::initialize(this);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	164 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	165 #endif
0 a61af66fc99e Initial load duke parents: diff changeset	166 }
a61af66fc99e Initial load duke parents: diff changeset	167
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	168 void ciReceiverTypeData::translate_receiver_data_from(const ProfileData* data) {
0 a61af66fc99e Initial load duke parents: diff changeset	169 for (uint row = 0; row < row_limit(); row++) {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	170 Klass* k = data->as_ReceiverTypeData()->receiver(row);
0 a61af66fc99e Initial load duke parents: diff changeset	171 if (k != NULL) {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	172 ciKlass* klass = CURRENT_ENV->get_klass(k);
0 a61af66fc99e Initial load duke parents: diff changeset	173 set_receiver(row, klass);
a61af66fc99e Initial load duke parents: diff changeset	174 }
a61af66fc99e Initial load duke parents: diff changeset	175 }
a61af66fc99e Initial load duke parents: diff changeset	176 }
a61af66fc99e Initial load duke parents: diff changeset	177
a61af66fc99e Initial load duke parents: diff changeset	178
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	179 void ciTypeStackSlotEntries::translate_type_data_from(const TypeStackSlotEntries* entries) {
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	180 for (int i = 0; i < _number_of_entries; i++) {
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	181 intptr_t k = entries->type(i);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	182 TypeStackSlotEntries::set_type(i, translate_klass(k));
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	183 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	184 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	185
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	186 void ciReturnTypeEntry::translate_type_data_from(const ReturnTypeEntry* ret) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	187 intptr_t k = ret->type();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	188 set_type(translate_klass(k));
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	189 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	190
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	191 void ciSpeculativeTrapData::translate_from(const ProfileData* data) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	192 Method* m = data->as_SpeculativeTrapData()->method();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	193 ciMethod* ci_m = CURRENT_ENV->get_method(m);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	194 set_method(ci_m);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	195 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	196
0 a61af66fc99e Initial load duke parents: diff changeset	197 // Get the data at an arbitrary (sort of) data index.
a61af66fc99e Initial load duke parents: diff changeset	198 ciProfileData* ciMethodData::data_at(int data_index) {
a61af66fc99e Initial load duke parents: diff changeset	199 if (out_of_bounds(data_index)) {
a61af66fc99e Initial load duke parents: diff changeset	200 return NULL;
a61af66fc99e Initial load duke parents: diff changeset	201 }
a61af66fc99e Initial load duke parents: diff changeset	202 DataLayout* data_layout = data_layout_at(data_index);
a61af66fc99e Initial load duke parents: diff changeset	203
a61af66fc99e Initial load duke parents: diff changeset	204 switch (data_layout->tag()) {
a61af66fc99e Initial load duke parents: diff changeset	205 case DataLayout::no_tag:
a61af66fc99e Initial load duke parents: diff changeset	206 default:
a61af66fc99e Initial load duke parents: diff changeset	207 ShouldNotReachHere();
a61af66fc99e Initial load duke parents: diff changeset	208 return NULL;
a61af66fc99e Initial load duke parents: diff changeset	209 case DataLayout::bit_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	210 return new ciBitData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	211 case DataLayout::counter_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	212 return new ciCounterData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	213 case DataLayout::jump_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	214 return new ciJumpData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	215 case DataLayout::receiver_type_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	216 return new ciReceiverTypeData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	217 case DataLayout::virtual_call_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	218 return new ciVirtualCallData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	219 case DataLayout::ret_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	220 return new ciRetData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	221 case DataLayout::branch_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	222 return new ciBranchData(data_layout);
a61af66fc99e Initial load duke parents: diff changeset	223 case DataLayout::multi_branch_data_tag:
a61af66fc99e Initial load duke parents: diff changeset	224 return new ciMultiBranchData(data_layout);
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	225 case DataLayout::arg_info_data_tag:
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	226 return new ciArgInfoData(data_layout);
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	227 case DataLayout::call_type_data_tag:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	228 return new ciCallTypeData(data_layout);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	229 case DataLayout::virtual_call_type_data_tag:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	230 return new ciVirtualCallTypeData(data_layout);
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	231 case DataLayout::parameters_type_data_tag:
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	232 return new ciParametersTypeData(data_layout);
0 a61af66fc99e Initial load duke parents: diff changeset	233 };
a61af66fc99e Initial load duke parents: diff changeset	234 }
a61af66fc99e Initial load duke parents: diff changeset	235
a61af66fc99e Initial load duke parents: diff changeset	236 // Iteration over data.
a61af66fc99e Initial load duke parents: diff changeset	237 ciProfileData* ciMethodData::next_data(ciProfileData* current) {
a61af66fc99e Initial load duke parents: diff changeset	238 int current_index = dp_to_di(current->dp());
a61af66fc99e Initial load duke parents: diff changeset	239 int next_index = current_index + current->size_in_bytes();
a61af66fc99e Initial load duke parents: diff changeset	240 ciProfileData* next = data_at(next_index);
a61af66fc99e Initial load duke parents: diff changeset	241 return next;
a61af66fc99e Initial load duke parents: diff changeset	242 }
a61af66fc99e Initial load duke parents: diff changeset	243
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	244 ciProfileData* ciMethodData::bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots) {
0 a61af66fc99e Initial load duke parents: diff changeset	245 // bci_to_extra_data(bci) ...
a61af66fc99e Initial load duke parents: diff changeset	246 DataLayout* dp = data_layout_at(data_size());
a61af66fc99e Initial load duke parents: diff changeset	247 DataLayout* end = data_layout_at(data_size() + extra_data_size());
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	248 two_free_slots = false;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	249 for (;dp < end; dp = MethodData::next_extra(dp)) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	250 switch(dp->tag()) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	251 case DataLayout::no_tag:
0 a61af66fc99e Initial load duke parents: diff changeset	252 _saw_free_extra_data = true; // observed an empty slot (common case)
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	253 two_free_slots = (MethodData::next_extra(dp)->tag() == DataLayout::no_tag);
0 a61af66fc99e Initial load duke parents: diff changeset	254 return NULL;
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	255 case DataLayout::arg_info_data_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	256 return NULL; // ArgInfoData is at the end of extra data section.
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	257 case DataLayout::bit_data_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	258 if (m == NULL && dp->bci() == bci) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	259 return new ciBitData(dp);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	260 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	261 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	262 case DataLayout::speculative_trap_data_tag: {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	263 ciSpeculativeTrapData* data = new ciSpeculativeTrapData(dp);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	264 // data->method() might be null if the MDO is snapshotted
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	265 // concurrently with a trap
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	266 if (m != NULL && data->method() == m && dp->bci() == bci) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	267 return data;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	268 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	269 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	270 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	271 default:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	272 fatal(err_msg("bad tag = %d", dp->tag()));
0 a61af66fc99e Initial load duke parents: diff changeset	273 }
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	274 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	275 return NULL;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	276 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	277
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	278 // Translate a bci to its corresponding data, or NULL.
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	279 ciProfileData* ciMethodData::bci_to_data(int bci, ciMethod* m) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	280 // If m is not NULL we look for a SpeculativeTrapData entry
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	281 if (m == NULL) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	282 ciProfileData* data = data_before(bci);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	283 for ( ; is_valid(data); data = next_data(data)) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	284 if (data->bci() == bci) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	285 set_hint_di(dp_to_di(data->dp()));
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	286 return data;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	287 } else if (data->bci() > bci) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	288 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	289 }
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	290 }
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	291 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	292 bool two_free_slots = false;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	293 ciProfileData* result = bci_to_extra_data(bci, m, two_free_slots);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	294 if (result != NULL) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	295 return result;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	296 }
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	297 if (m != NULL && !two_free_slots) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	298 // We were looking for a SpeculativeTrapData entry we didn't
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	299 // find. Room is not available for more SpeculativeTrapData
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	300 // entries, look in the non SpeculativeTrapData entries.
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	301 return bci_to_data(bci, NULL);
0 a61af66fc99e Initial load duke parents: diff changeset	302 }
a61af66fc99e Initial load duke parents: diff changeset	303 return NULL;
a61af66fc99e Initial load duke parents: diff changeset	304 }
a61af66fc99e Initial load duke parents: diff changeset	305
a61af66fc99e Initial load duke parents: diff changeset	306 // Conservatively decode the trap_state of a ciProfileData.
a61af66fc99e Initial load duke parents: diff changeset	307 int ciMethodData::has_trap_at(ciProfileData* data, int reason) {
a61af66fc99e Initial load duke parents: diff changeset	308 typedef Deoptimization::DeoptReason DR_t;
a61af66fc99e Initial load duke parents: diff changeset	309 int per_bc_reason
a61af66fc99e Initial load duke parents: diff changeset	310 = Deoptimization::reason_recorded_per_bytecode_if_any((DR_t) reason);
a61af66fc99e Initial load duke parents: diff changeset	311 if (trap_count(reason) == 0) {
a61af66fc99e Initial load duke parents: diff changeset	312 // Impossible for this trap to have occurred, regardless of trap_state.
a61af66fc99e Initial load duke parents: diff changeset	313 // Note: This happens if the MDO is empty.
a61af66fc99e Initial load duke parents: diff changeset	314 return 0;
a61af66fc99e Initial load duke parents: diff changeset	315 } else if (per_bc_reason == Deoptimization::Reason_none) {
a61af66fc99e Initial load duke parents: diff changeset	316 // We cannot conclude anything; a trap happened somewhere, maybe here.
a61af66fc99e Initial load duke parents: diff changeset	317 return -1;
a61af66fc99e Initial load duke parents: diff changeset	318 } else if (data == NULL) {
a61af66fc99e Initial load duke parents: diff changeset	319 // No profile here, not even an extra_data record allocated on the fly.
a61af66fc99e Initial load duke parents: diff changeset	320 // If there are empty extra_data records, and there had been a trap,
a61af66fc99e Initial load duke parents: diff changeset	321 // there would have been a non-null data pointer. If there are no
a61af66fc99e Initial load duke parents: diff changeset	322 // free extra_data records, we must return a conservative -1.
a61af66fc99e Initial load duke parents: diff changeset	323 if (_saw_free_extra_data)
a61af66fc99e Initial load duke parents: diff changeset	324 return 0; // Q.E.D.
a61af66fc99e Initial load duke parents: diff changeset	325 else
a61af66fc99e Initial load duke parents: diff changeset	326 return -1; // bail with a conservative answer
a61af66fc99e Initial load duke parents: diff changeset	327 } else {
a61af66fc99e Initial load duke parents: diff changeset	328 return Deoptimization::trap_state_has_reason(data->trap_state(), per_bc_reason);
a61af66fc99e Initial load duke parents: diff changeset	329 }
a61af66fc99e Initial load duke parents: diff changeset	330 }
a61af66fc99e Initial load duke parents: diff changeset	331
a61af66fc99e Initial load duke parents: diff changeset	332 int ciMethodData::trap_recompiled_at(ciProfileData* data) {
a61af66fc99e Initial load duke parents: diff changeset	333 if (data == NULL) {
a61af66fc99e Initial load duke parents: diff changeset	334 return (_saw_free_extra_data? 0: -1); // (see previous method)
a61af66fc99e Initial load duke parents: diff changeset	335 } else {
a61af66fc99e Initial load duke parents: diff changeset	336 return Deoptimization::trap_state_is_recompiled(data->trap_state())? 1: 0;
a61af66fc99e Initial load duke parents: diff changeset	337 }
a61af66fc99e Initial load duke parents: diff changeset	338 }
a61af66fc99e Initial load duke parents: diff changeset	339
a61af66fc99e Initial load duke parents: diff changeset	340 void ciMethodData::clear_escape_info() {
a61af66fc99e Initial load duke parents: diff changeset	341 VM_ENTRY_MARK;
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	342 MethodData* mdo = get_MethodData();
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	343 if (mdo != NULL) {
0 a61af66fc99e Initial load duke parents: diff changeset	344 mdo->clear_escape_info();
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	345 ArgInfoData *aid = arg_info();
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	346 int arg_count = (aid == NULL) ? 0 : aid->number_of_args();
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	347 for (int i = 0; i < arg_count; i++) {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	348 set_arg_modified(i, 0);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	349 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	350 }
0 a61af66fc99e Initial load duke parents: diff changeset	351 _eflags = _arg_local = _arg_stack = _arg_returned = 0;
a61af66fc99e Initial load duke parents: diff changeset	352 }
a61af66fc99e Initial load duke parents: diff changeset	353
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	354 // copy our escape info to the MethodData* if it exists
0 a61af66fc99e Initial load duke parents: diff changeset	355 void ciMethodData::update_escape_info() {
a61af66fc99e Initial load duke parents: diff changeset	356 VM_ENTRY_MARK;
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	357 MethodData* mdo = get_MethodData();
0 a61af66fc99e Initial load duke parents: diff changeset	358 if ( mdo != NULL) {
a61af66fc99e Initial load duke parents: diff changeset	359 mdo->set_eflags(_eflags);
a61af66fc99e Initial load duke parents: diff changeset	360 mdo->set_arg_local(_arg_local);
a61af66fc99e Initial load duke parents: diff changeset	361 mdo->set_arg_stack(_arg_stack);
a61af66fc99e Initial load duke parents: diff changeset	362 mdo->set_arg_returned(_arg_returned);
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	363 int arg_count = mdo->method()->size_of_parameters();
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	364 for (int i = 0; i < arg_count; i++) {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	365 mdo->set_arg_modified(i, arg_modified(i));
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	366 }
0 a61af66fc99e Initial load duke parents: diff changeset	367 }
a61af66fc99e Initial load duke parents: diff changeset	368 }
a61af66fc99e Initial load duke parents: diff changeset	369
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	370 void ciMethodData::set_compilation_stats(short loops, short blocks) {
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	371 VM_ENTRY_MARK;
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	372 MethodData* mdo = get_MethodData();
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	373 if (mdo != NULL) {
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	374 mdo->set_num_loops(loops);
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	375 mdo->set_num_blocks(blocks);
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	376 }
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	377 }
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	378
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	379 void ciMethodData::set_would_profile(bool p) {
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	380 VM_ENTRY_MARK;
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	381 MethodData* mdo = get_MethodData();
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	382 if (mdo != NULL) {
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	383 mdo->set_would_profile(p);
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	384 }
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	385 }
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	386
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	387 void ciMethodData::set_argument_type(int bci, int i, ciKlass* k) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	388 VM_ENTRY_MARK;
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	389 MethodData* mdo = get_MethodData();
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	390 if (mdo != NULL) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	391 ProfileData* data = mdo->bci_to_data(bci);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	392 if (data->is_CallTypeData()) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	393 data->as_CallTypeData()->set_argument_type(i, k->get_Klass());
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	394 } else {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	395 assert(data->is_VirtualCallTypeData(), "no arguments!");
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	396 data->as_VirtualCallTypeData()->set_argument_type(i, k->get_Klass());
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	397 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	398 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	399 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	400
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	401 void ciMethodData::set_parameter_type(int i, ciKlass* k) {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	402 VM_ENTRY_MARK;
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	403 MethodData* mdo = get_MethodData();
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	404 if (mdo != NULL) {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	405 mdo->parameters_type_data()->set_type(i, k->get_Klass());
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	406 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	407 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	408
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	409 void ciMethodData::set_return_type(int bci, ciKlass* k) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	410 VM_ENTRY_MARK;
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	411 MethodData* mdo = get_MethodData();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	412 if (mdo != NULL) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	413 ProfileData* data = mdo->bci_to_data(bci);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	414 if (data->is_CallTypeData()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	415 data->as_CallTypeData()->set_return_type(k->get_Klass());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	416 } else {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	417 assert(data->is_VirtualCallTypeData(), "no arguments!");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	418 data->as_VirtualCallTypeData()->set_return_type(k->get_Klass());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	419 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	420 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	421 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	422
0 a61af66fc99e Initial load duke parents: diff changeset	423 bool ciMethodData::has_escape_info() {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	424 return eflag_set(MethodData::estimated);
0 a61af66fc99e Initial load duke parents: diff changeset	425 }
a61af66fc99e Initial load duke parents: diff changeset	426
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	427 void ciMethodData::set_eflag(MethodData::EscapeFlag f) {
0 a61af66fc99e Initial load duke parents: diff changeset	428 set_bits(_eflags, f);
a61af66fc99e Initial load duke parents: diff changeset	429 }
a61af66fc99e Initial load duke parents: diff changeset	430
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	431 void ciMethodData::clear_eflag(MethodData::EscapeFlag f) {
0 a61af66fc99e Initial load duke parents: diff changeset	432 clear_bits(_eflags, f);
a61af66fc99e Initial load duke parents: diff changeset	433 }
a61af66fc99e Initial load duke parents: diff changeset	434
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	435 bool ciMethodData::eflag_set(MethodData::EscapeFlag f) const {
0 a61af66fc99e Initial load duke parents: diff changeset	436 return mask_bits(_eflags, f) != 0;
a61af66fc99e Initial load duke parents: diff changeset	437 }
a61af66fc99e Initial load duke parents: diff changeset	438
a61af66fc99e Initial load duke parents: diff changeset	439 void ciMethodData::set_arg_local(int i) {
a61af66fc99e Initial load duke parents: diff changeset	440 set_nth_bit(_arg_local, i);
a61af66fc99e Initial load duke parents: diff changeset	441 }
a61af66fc99e Initial load duke parents: diff changeset	442
a61af66fc99e Initial load duke parents: diff changeset	443 void ciMethodData::set_arg_stack(int i) {
a61af66fc99e Initial load duke parents: diff changeset	444 set_nth_bit(_arg_stack, i);
a61af66fc99e Initial load duke parents: diff changeset	445 }
a61af66fc99e Initial load duke parents: diff changeset	446
a61af66fc99e Initial load duke parents: diff changeset	447 void ciMethodData::set_arg_returned(int i) {
a61af66fc99e Initial load duke parents: diff changeset	448 set_nth_bit(_arg_returned, i);
a61af66fc99e Initial load duke parents: diff changeset	449 }
a61af66fc99e Initial load duke parents: diff changeset	450
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	451 void ciMethodData::set_arg_modified(int arg, uint val) {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	452 ArgInfoData *aid = arg_info();
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	453 if (aid == NULL)
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	454 return;
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	455 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	456 aid->set_arg_modified(arg, val);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	457 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	458
0 a61af66fc99e Initial load duke parents: diff changeset	459 bool ciMethodData::is_arg_local(int i) const {
a61af66fc99e Initial load duke parents: diff changeset	460 return is_set_nth_bit(_arg_local, i);
a61af66fc99e Initial load duke parents: diff changeset	461 }
a61af66fc99e Initial load duke parents: diff changeset	462
a61af66fc99e Initial load duke parents: diff changeset	463 bool ciMethodData::is_arg_stack(int i) const {
a61af66fc99e Initial load duke parents: diff changeset	464 return is_set_nth_bit(_arg_stack, i);
a61af66fc99e Initial load duke parents: diff changeset	465 }
a61af66fc99e Initial load duke parents: diff changeset	466
a61af66fc99e Initial load duke parents: diff changeset	467 bool ciMethodData::is_arg_returned(int i) const {
a61af66fc99e Initial load duke parents: diff changeset	468 return is_set_nth_bit(_arg_returned, i);
a61af66fc99e Initial load duke parents: diff changeset	469 }
a61af66fc99e Initial load duke parents: diff changeset	470
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	471 uint ciMethodData::arg_modified(int arg) const {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	472 ArgInfoData *aid = arg_info();
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	473 if (aid == NULL)
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	474 return 0;
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	475 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number");
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	476 return aid->arg_modified(arg);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	477 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	478
0 a61af66fc99e Initial load duke parents: diff changeset	479 ByteSize ciMethodData::offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	480 // Get offset within MethodData* of the data array
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	481 ByteSize data_offset = MethodData::data_offset();
0 a61af66fc99e Initial load duke parents: diff changeset	482
a61af66fc99e Initial load duke parents: diff changeset	483 // Get cell offset of the ProfileData within data array
a61af66fc99e Initial load duke parents: diff changeset	484 int cell_offset = dp_to_di(data->dp());
a61af66fc99e Initial load duke parents: diff changeset	485
a61af66fc99e Initial load duke parents: diff changeset	486 // Add in counter_offset, the # of bytes into the ProfileData of counter or flag
a61af66fc99e Initial load duke parents: diff changeset	487 int offset = in_bytes(data_offset) + cell_offset + in_bytes(slot_offset_in_data);
a61af66fc99e Initial load duke parents: diff changeset	488
a61af66fc99e Initial load duke parents: diff changeset	489 return in_ByteSize(offset);
a61af66fc99e Initial load duke parents: diff changeset	490 }
a61af66fc99e Initial load duke parents: diff changeset	491
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	492 ciArgInfoData *ciMethodData::arg_info() const {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	493 // Should be last, have to skip all traps.
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	494 DataLayout* dp = data_layout_at(data_size());
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	495 DataLayout* end = data_layout_at(data_size() + extra_data_size());
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	496 for (; dp < end; dp = MethodData::next_extra(dp)) {
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	497 if (dp->tag() == DataLayout::arg_info_data_tag)
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	498 return new ciArgInfoData(dp);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	499 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	500 return NULL;
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	501 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	502
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	503
0 a61af66fc99e Initial load duke parents: diff changeset	504 // Implementation of the print method.
a61af66fc99e Initial load duke parents: diff changeset	505 void ciMethodData::print_impl(outputStream* st) {
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 1972 diff changeset	506 ciMetadata::print_impl(st);
0 a61af66fc99e Initial load duke parents: diff changeset	507 }
a61af66fc99e Initial load duke parents: diff changeset	508
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	509 void ciMethodData::dump_replay_data(outputStream* out) {
7990 fcc9e7681d63 8006410: allocating without ResourceMark when CompileCommand was specified vlivanov parents: 6972 diff changeset	510 ResourceMark rm;
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	511 MethodData* mdo = get_MethodData();
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	512 Method* method = mdo->method();
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	513 Klass* holder = method->method_holder();
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	514 out->print("ciMethodData %s %s %s %d %d",
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	515 holder->name()->as_quoted_ascii(),
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	516 method->name()->as_quoted_ascii(),
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	517 method->signature()->as_quoted_ascii(),
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	518 _state,
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	519 current_mileage());
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	520
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	521 // dump the contents of the MDO header as raw data
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	522 unsigned char* orig = (unsigned char*)&_orig;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	523 int length = sizeof(_orig);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	524 out->print(" orig %d", length);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	525 for (int i = 0; i < length; i++) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	526 out->print(" %d", orig[i]);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	527 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	528
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	529 // dump the MDO data as raw data
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	530 int elements = data_size() / sizeof(intptr_t);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	531 out->print(" data %d", elements);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	532 for (int i = 0; i < elements; i++) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	533 // We could use INTPTR_FORMAT here but that's a zero justified
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	534 // which makes comparing it with the SA version of this output
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	535 // harder.
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	536 #ifdef _LP64
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	537 out->print(" 0x%" FORMAT64_MODIFIER "x", data()[i]);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	538 #else
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	539 out->print(" 0x%x", data()[i]);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	540 #endif
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	541 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	542
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	543 // The MDO contained oop references as ciObjects, so scan for those
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	544 // and emit pairs of offset and klass name so that they can be
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	545 // reconstructed at runtime. The first round counts the number of
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	546 // oop references and the second actually emits them.
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	547 int count = 0;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	548 for (int round = 0; round < 2; round++) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	549 if (round == 1) out->print(" oops %d", count);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	550 ProfileData* pdata = first_data();
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	551 for ( ; is_valid(pdata); pdata = next_data(pdata)) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	552 if (pdata->is_ReceiverTypeData()) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	553 ciReceiverTypeData* vdata = (ciReceiverTypeData*)pdata;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	554 for (uint i = 0; i < vdata->row_limit(); i++) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	555 ciKlass* k = vdata->receiver(i);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	556 if (k != NULL) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	557 if (round == 0) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	558 count++;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	559 } else {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	560 out->print(" %d %s", dp_to_di(vdata->dp() + in_bytes(vdata->receiver_offset(i))) / sizeof(intptr_t), k->name()->as_quoted_ascii());
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	561 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	562 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	563 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	564 } else if (pdata->is_VirtualCallData()) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	565 ciVirtualCallData* vdata = (ciVirtualCallData*)pdata;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	566 for (uint i = 0; i < vdata->row_limit(); i++) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	567 ciKlass* k = vdata->receiver(i);
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	568 if (k != NULL) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	569 if (round == 0) {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	570 count++;
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	571 } else {
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	572 out->print(" %d %s", dp_to_di(vdata->dp() + in_bytes(vdata->receiver_offset(i))) / sizeof(intptr_t), k->name()->as_quoted_ascii());
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	573 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	574 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	575 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	576 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	577 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	578 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	579 out->cr();
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	580 }
bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	581
0 a61af66fc99e Initial load duke parents: diff changeset	582 #ifndef PRODUCT
a61af66fc99e Initial load duke parents: diff changeset	583 void ciMethodData::print() {
a61af66fc99e Initial load duke parents: diff changeset	584 print_data_on(tty);
a61af66fc99e Initial load duke parents: diff changeset	585 }
a61af66fc99e Initial load duke parents: diff changeset	586
a61af66fc99e Initial load duke parents: diff changeset	587 void ciMethodData::print_data_on(outputStream* st) {
a61af66fc99e Initial load duke parents: diff changeset	588 ResourceMark rm;
a61af66fc99e Initial load duke parents: diff changeset	589 ciProfileData* data;
a61af66fc99e Initial load duke parents: diff changeset	590 for (data = first_data(); is_valid(data); data = next_data(data)) {
a61af66fc99e Initial load duke parents: diff changeset	591 st->print("%d", dp_to_di(data->dp()));
a61af66fc99e Initial load duke parents: diff changeset	592 st->fill_to(6);
a61af66fc99e Initial load duke parents: diff changeset	593 data->print_data_on(st);
a61af66fc99e Initial load duke parents: diff changeset	594 }
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	595 st->print_cr("--- Extra data:");
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	596 DataLayout* dp = data_layout_at(data_size());
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	597 DataLayout* end = data_layout_at(data_size() + extra_data_size());
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	598 for (;; dp = MethodData::next_extra(dp)) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	599 assert(dp < end, "moved past end of extra data");
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	600 switch (dp->tag()) {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	601 case DataLayout::no_tag:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	602 continue;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	603 case DataLayout::bit_data_tag:
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	604 data = new BitData(dp);
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	605 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	606 case DataLayout::arg_info_data_tag:
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	607 data = new ciArgInfoData(dp);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	608 dp = end; // ArgInfoData is at the end of extra data section.
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	609 break;
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	610 default:
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	611 fatal(err_msg("unexpected tag %d", dp->tag()));
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	612 }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	613 st->print("%d", dp_to_di(data->dp()));
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	614 st->fill_to(6);
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	615 data->print_data_on(st);
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	616 if (dp >= end) return;
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	617 }
0 a61af66fc99e Initial load duke parents: diff changeset	618 }
a61af66fc99e Initial load duke parents: diff changeset	619
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	620 void ciTypeEntries::print_ciklass(outputStream* st, intptr_t k) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	621 if (TypeEntries::is_type_none(k)) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	622 st->print("none");
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	623 } else if (TypeEntries::is_type_unknown(k)) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	624 st->print("unknown");
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	625 } else {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	626 valid_ciklass(k)->print_name_on(st);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	627 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	628 if (TypeEntries::was_null_seen(k)) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	629 st->print(" (null seen)");
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	630 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	631 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	632
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	633 void ciTypeStackSlotEntries::print_data_on(outputStream* st) const {
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	634 for (int i = 0; i < _number_of_entries; i++) {
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	635 _pd->tab(st);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	636 st->print("%d: stack (%u) ", i, stack_slot(i));
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	637 print_ciklass(st, type(i));
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	638 st->cr();
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	639 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	640 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	641
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	642 void ciReturnTypeEntry::print_data_on(outputStream* st) const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	643 _pd->tab(st);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	644 st->print("ret ");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	645 print_ciklass(st, type());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	646 st->cr();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	647 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	648
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	649 void ciCallTypeData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	650 print_shared(st, "ciCallTypeData", extra);
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	651 if (has_arguments()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	652 tab(st, true);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	653 st->print("argument types");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	654 args()->print_data_on(st);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	655 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	656 if (has_return()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	657 tab(st, true);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	658 st->print("return type");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	659 ret()->print_data_on(st);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	660 }
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	661 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	662
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	663 void ciReceiverTypeData::print_receiver_data_on(outputStream* st) const {
0 a61af66fc99e Initial load duke parents: diff changeset	664 uint row;
a61af66fc99e Initial load duke parents: diff changeset	665 int entries = 0;
a61af66fc99e Initial load duke parents: diff changeset	666 for (row = 0; row < row_limit(); row++) {
a61af66fc99e Initial load duke parents: diff changeset	667 if (receiver(row) != NULL) entries++;
a61af66fc99e Initial load duke parents: diff changeset	668 }
a61af66fc99e Initial load duke parents: diff changeset	669 st->print_cr("count(%u) entries(%u)", count(), entries);
a61af66fc99e Initial load duke parents: diff changeset	670 for (row = 0; row < row_limit(); row++) {
a61af66fc99e Initial load duke parents: diff changeset	671 if (receiver(row) != NULL) {
a61af66fc99e Initial load duke parents: diff changeset	672 tab(st);
a61af66fc99e Initial load duke parents: diff changeset	673 receiver(row)->print_name_on(st);
a61af66fc99e Initial load duke parents: diff changeset	674 st->print_cr("(%u)", receiver_count(row));
a61af66fc99e Initial load duke parents: diff changeset	675 }
a61af66fc99e Initial load duke parents: diff changeset	676 }
a61af66fc99e Initial load duke parents: diff changeset	677 }
a61af66fc99e Initial load duke parents: diff changeset	678
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	679 void ciReceiverTypeData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	680 print_shared(st, "ciReceiverTypeData", extra);
0 a61af66fc99e Initial load duke parents: diff changeset	681 print_receiver_data_on(st);
a61af66fc99e Initial load duke parents: diff changeset	682 }
a61af66fc99e Initial load duke parents: diff changeset	683
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	684 void ciVirtualCallData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	685 print_shared(st, "ciVirtualCallData", extra);
0 a61af66fc99e Initial load duke parents: diff changeset	686 rtd_super()->print_receiver_data_on(st);
a61af66fc99e Initial load duke parents: diff changeset	687 }
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	688
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	689 void ciVirtualCallTypeData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	690 print_shared(st, "ciVirtualCallTypeData", extra);
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	691 rtd_super()->print_receiver_data_on(st);
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	692 if (has_arguments()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	693 tab(st, true);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	694 st->print("argument types");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	695 args()->print_data_on(st);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	696 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	697 if (has_return()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	698 tab(st, true);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	699 st->print("return type");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	700 ret()->print_data_on(st);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	701 }
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	702 }
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	703
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	704 void ciParametersTypeData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	705 st->print_cr("ciParametersTypeData");
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	706 parameters()->print_data_on(st);
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	707 }
14500 fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	708
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	709 void ciSpeculativeTrapData::print_data_on(outputStream* st, const char* extra) const {
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	710 st->print_cr("ciSpeculativeTrapData");
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	711 tab(st);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	712 method()->print_short_name(st);
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	713 st->cr();
fdad2932c73f 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 14223 diff changeset	714 }
0 a61af66fc99e Initial load duke parents: diff changeset	715 #endif

Mercurial > hg > truffle

annotate src/share/vm/ci/ciMethodData.cpp @ 14674:53ed0f89f44e