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

annotate src/share/vm/ci/ciMethodData.hpp @ 17728:b8413a9cbb84

8031752: Failed speculative optimizations should be reattempted when root of compilation is different Summary: support for speculative traps that keep track of the root of the compilation in which a trap occurs. Reviewed-by: kvn, twisti

author	roland
date	Tue, 25 Feb 2014 18:16:24 +0100
parents	55fb97c4c58d
children	4ca6dc0799b6 606acabe7b5c

rev	line source
0 a61af66fc99e Initial load duke parents: diff changeset	1 /*
17467 55fb97c4c58d 8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013 mikael parents: 13080 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 #ifndef SHARE_VM_CI_CIMETHODDATA_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	26 #define SHARE_VM_CI_CIMETHODDATA_HPP
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	27
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	28 #include "ci/ciClassList.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	29 #include "ci/ciKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	30 #include "ci/ciObject.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	31 #include "ci/ciUtilities.hpp"
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	32 #include "oops/methodData.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	33 #include "oops/oop.inline.hpp"
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	34 #include "runtime/deoptimization.hpp"
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	35
0 a61af66fc99e Initial load duke parents: diff changeset	36 class ciBitData;
a61af66fc99e Initial load duke parents: diff changeset	37 class ciCounterData;
a61af66fc99e Initial load duke parents: diff changeset	38 class ciJumpData;
a61af66fc99e Initial load duke parents: diff changeset	39 class ciReceiverTypeData;
a61af66fc99e Initial load duke parents: diff changeset	40 class ciRetData;
a61af66fc99e Initial load duke parents: diff changeset	41 class ciBranchData;
a61af66fc99e Initial load duke parents: diff changeset	42 class ciArrayData;
a61af66fc99e Initial load duke parents: diff changeset	43 class ciMultiBranchData;
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	44 class ciArgInfoData;
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	45 class ciCallTypeData;
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	46 class ciVirtualCallTypeData;
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	47 class ciParametersTypeData;
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	48 class ciSpeculativeTrapData;;
0 a61af66fc99e Initial load duke parents: diff changeset	49
a61af66fc99e Initial load duke parents: diff changeset	50 typedef ProfileData ciProfileData;
a61af66fc99e Initial load duke parents: diff changeset	51
a61af66fc99e Initial load duke parents: diff changeset	52 class ciBitData : public BitData {
a61af66fc99e Initial load duke parents: diff changeset	53 public:
a61af66fc99e Initial load duke parents: diff changeset	54 ciBitData(DataLayout* layout) : BitData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	55 };
a61af66fc99e Initial load duke parents: diff changeset	56
a61af66fc99e Initial load duke parents: diff changeset	57 class ciCounterData : public CounterData {
a61af66fc99e Initial load duke parents: diff changeset	58 public:
a61af66fc99e Initial load duke parents: diff changeset	59 ciCounterData(DataLayout* layout) : CounterData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	60 };
a61af66fc99e Initial load duke parents: diff changeset	61
a61af66fc99e Initial load duke parents: diff changeset	62 class ciJumpData : public JumpData {
a61af66fc99e Initial load duke parents: diff changeset	63 public:
a61af66fc99e Initial load duke parents: diff changeset	64 ciJumpData(DataLayout* layout) : JumpData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	65 };
a61af66fc99e Initial load duke parents: diff changeset	66
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	67 class ciTypeEntries {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	68 protected:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	69 static intptr_t translate_klass(intptr_t k) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	70 Klass* v = TypeEntries::valid_klass(k);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	71 if (v != NULL) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	72 ciKlass* klass = CURRENT_ENV->get_klass(v);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	73 return with_status(klass, k);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	74 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	75 return with_status(NULL, k);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	76 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	77
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	78 public:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	79 static ciKlass* valid_ciklass(intptr_t k) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	80 if (!TypeEntries::is_type_none(k) &&
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	81 !TypeEntries::is_type_unknown(k)) {
13080 6e1826d5c23e 8027572: assert(r != 0) failed: invalid roland parents: 12966 diff changeset	82 ciKlass* res = (ciKlass*)TypeEntries::klass_part(k);
6e1826d5c23e 8027572: assert(r != 0) failed: invalid roland parents: 12966 diff changeset	83 assert(res != NULL, "invalid");
6e1826d5c23e 8027572: assert(r != 0) failed: invalid roland parents: 12966 diff changeset	84 return res;
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	85 } else {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	86 return NULL;
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	87 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	88 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	89
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	90 static intptr_t with_status(ciKlass* k, intptr_t in) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	91 return TypeEntries::with_status((intptr_t)k, in);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	92 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	93
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	94 #ifndef PRODUCT
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	95 static void print_ciklass(outputStream* st, intptr_t k);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	96 #endif
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	97 };
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	98
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	99 class ciTypeStackSlotEntries : public TypeStackSlotEntries, ciTypeEntries {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	100 public:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	101 void translate_type_data_from(const TypeStackSlotEntries* args);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	102
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	103 ciKlass* valid_type(int i) const {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	104 return valid_ciklass(type(i));
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	105 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	106
12966 b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	107 bool maybe_null(int i) const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	108 return was_null_seen(type(i));
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	109 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	110
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	111 #ifndef PRODUCT
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	112 void print_data_on(outputStream* st) const;
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	113 #endif
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	114 };
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	115
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	116 class ciReturnTypeEntry : public ReturnTypeEntry, ciTypeEntries {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	117 public:
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	118 void translate_type_data_from(const ReturnTypeEntry* ret);
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	119
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	120 ciKlass* valid_type() const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	121 return valid_ciklass(type());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	122 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	123
12966 b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	124 bool maybe_null() const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	125 return was_null_seen(type());
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	126 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	127
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	128 #ifndef PRODUCT
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	129 void print_data_on(outputStream* st) const;
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	130 #endif
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	131 };
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	132
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	133 class ciCallTypeData : public CallTypeData {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	134 public:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	135 ciCallTypeData(DataLayout* layout) : CallTypeData(layout) {}
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	136
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	137 ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)CallTypeData::args(); }
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	138 ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)CallTypeData::ret(); }
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	139
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	140 void translate_from(const ProfileData* data) {
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	141 if (has_arguments()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	142 args()->translate_type_data_from(data->as_CallTypeData()->args());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	143 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	144 if (has_return()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	145 ret()->translate_type_data_from(data->as_CallTypeData()->ret());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	146 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	147 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	148
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	149 intptr_t argument_type(int i) const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	150 assert(has_arguments(), "no arg type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	151 return args()->type(i);
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	152 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	153
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	154 ciKlass* valid_argument_type(int i) const {
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	155 assert(has_arguments(), "no arg type profiling data");
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	156 return args()->valid_type(i);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	157 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	158
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	159 intptr_t return_type() const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	160 assert(has_return(), "no ret type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	161 return ret()->type();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	162 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	163
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	164 ciKlass* valid_return_type() const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	165 assert(has_return(), "no ret type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	166 return ret()->valid_type();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	167 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	168
12966 b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	169 bool argument_maybe_null(int i) const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	170 return args()->maybe_null(i);
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	171 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	172
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	173 bool return_maybe_null() const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	174 return ret()->maybe_null();
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	175 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	176
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	177 #ifndef PRODUCT
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	178 void print_data_on(outputStream* st, const char* extra) const;
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	179 #endif
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	180 };
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	181
0 a61af66fc99e Initial load duke parents: diff changeset	182 class ciReceiverTypeData : public ReceiverTypeData {
a61af66fc99e Initial load duke parents: diff changeset	183 public:
a61af66fc99e Initial load duke parents: diff changeset	184 ciReceiverTypeData(DataLayout* layout) : ReceiverTypeData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	185
a61af66fc99e Initial load duke parents: diff changeset	186 void set_receiver(uint row, ciKlass* recv) {
a61af66fc99e Initial load duke parents: diff changeset	187 assert((uint)row < row_limit(), "oob");
a61af66fc99e Initial load duke parents: diff changeset	188 set_intptr_at(receiver0_offset + row * receiver_type_row_cell_count,
a61af66fc99e Initial load duke parents: diff changeset	189 (intptr_t) recv);
a61af66fc99e Initial load duke parents: diff changeset	190 }
a61af66fc99e Initial load duke parents: diff changeset	191
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	192 ciKlass* receiver(uint row) const {
0 a61af66fc99e Initial load duke parents: diff changeset	193 assert((uint)row < row_limit(), "oob");
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	194 ciKlass* recv = (ciKlass)intptr_at(receiver0_offset + row receiver_type_row_cell_count);
0 a61af66fc99e Initial load duke parents: diff changeset	195 assert(recv == NULL \|\| recv->is_klass(), "wrong type");
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	196 return recv;
0 a61af66fc99e Initial load duke parents: diff changeset	197 }
a61af66fc99e Initial load duke parents: diff changeset	198
a61af66fc99e Initial load duke parents: diff changeset	199 // Copy & translate from oop based ReceiverTypeData
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	200 virtual void translate_from(const ProfileData* data) {
0 a61af66fc99e Initial load duke parents: diff changeset	201 translate_receiver_data_from(data);
a61af66fc99e Initial load duke parents: diff changeset	202 }
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	203 void translate_receiver_data_from(const ProfileData* data);
0 a61af66fc99e Initial load duke parents: diff changeset	204 #ifndef PRODUCT
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	205 void print_data_on(outputStream* st, const char* extra) const;
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	206 void print_receiver_data_on(outputStream* st) const;
0 a61af66fc99e Initial load duke parents: diff changeset	207 #endif
a61af66fc99e Initial load duke parents: diff changeset	208 };
a61af66fc99e Initial load duke parents: diff changeset	209
a61af66fc99e Initial load duke parents: diff changeset	210 class ciVirtualCallData : public VirtualCallData {
a61af66fc99e Initial load duke parents: diff changeset	211 // Fake multiple inheritance... It's a ciReceiverTypeData also.
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	212 ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
0 a61af66fc99e Initial load duke parents: diff changeset	213
a61af66fc99e Initial load duke parents: diff changeset	214 public:
a61af66fc99e Initial load duke parents: diff changeset	215 ciVirtualCallData(DataLayout* layout) : VirtualCallData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	216
a61af66fc99e Initial load duke parents: diff changeset	217 void set_receiver(uint row, ciKlass* recv) {
a61af66fc99e Initial load duke parents: diff changeset	218 rtd_super()->set_receiver(row, recv);
a61af66fc99e Initial load duke parents: diff changeset	219 }
a61af66fc99e Initial load duke parents: diff changeset	220
a61af66fc99e Initial load duke parents: diff changeset	221 ciKlass* receiver(uint row) {
a61af66fc99e Initial load duke parents: diff changeset	222 return rtd_super()->receiver(row);
a61af66fc99e Initial load duke parents: diff changeset	223 }
a61af66fc99e Initial load duke parents: diff changeset	224
a61af66fc99e Initial load duke parents: diff changeset	225 // Copy & translate from oop based VirtualCallData
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	226 virtual void translate_from(const ProfileData* data) {
0 a61af66fc99e Initial load duke parents: diff changeset	227 rtd_super()->translate_receiver_data_from(data);
a61af66fc99e Initial load duke parents: diff changeset	228 }
a61af66fc99e Initial load duke parents: diff changeset	229 #ifndef PRODUCT
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	230 void print_data_on(outputStream* st, const char* extra) const;
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	231 #endif
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	232 };
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	233
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	234 class ciVirtualCallTypeData : public VirtualCallTypeData {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	235 private:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	236 // Fake multiple inheritance... It's a ciReceiverTypeData also.
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	237 ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	238 public:
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	239 ciVirtualCallTypeData(DataLayout* layout) : VirtualCallTypeData(layout) {}
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	240
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	241 void set_receiver(uint row, ciKlass* recv) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	242 rtd_super()->set_receiver(row, recv);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	243 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	244
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	245 ciKlass* receiver(uint row) const {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	246 return rtd_super()->receiver(row);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	247 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	248
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	249 ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)VirtualCallTypeData::args(); }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	250 ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)VirtualCallTypeData::ret(); }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	251
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	252 // Copy & translate from oop based VirtualCallData
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	253 virtual void translate_from(const ProfileData* data) {
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	254 rtd_super()->translate_receiver_data_from(data);
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	255 if (has_arguments()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	256 args()->translate_type_data_from(data->as_VirtualCallTypeData()->args());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	257 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	258 if (has_return()) {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	259 ret()->translate_type_data_from(data->as_VirtualCallTypeData()->ret());
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	260 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	261 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	262
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	263 intptr_t argument_type(int i) const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	264 assert(has_arguments(), "no arg type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	265 return args()->type(i);
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	266 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	267
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	268 ciKlass* valid_argument_type(int i) const {
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	269 assert(has_arguments(), "no arg type profiling data");
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	270 return args()->valid_type(i);
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	271 }
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	272
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	273 intptr_t return_type() const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	274 assert(has_return(), "no ret type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	275 return ret()->type();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	276 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	277
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	278 ciKlass* valid_return_type() const {
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	279 assert(has_return(), "no ret type profiling data");
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	280 return ret()->valid_type();
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	281 }
ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	282
12966 b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	283 bool argument_maybe_null(int i) const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	284 return args()->maybe_null(i);
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	285 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	286
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	287 bool return_maybe_null() const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	288 return ret()->maybe_null();
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	289 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	290
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	291 #ifndef PRODUCT
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	292 void print_data_on(outputStream* st, const char* extra) const;
0 a61af66fc99e Initial load duke parents: diff changeset	293 #endif
a61af66fc99e Initial load duke parents: diff changeset	294 };
a61af66fc99e Initial load duke parents: diff changeset	295
a61af66fc99e Initial load duke parents: diff changeset	296
a61af66fc99e Initial load duke parents: diff changeset	297 class ciRetData : public RetData {
a61af66fc99e Initial load duke parents: diff changeset	298 public:
a61af66fc99e Initial load duke parents: diff changeset	299 ciRetData(DataLayout* layout) : RetData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	300 };
a61af66fc99e Initial load duke parents: diff changeset	301
a61af66fc99e Initial load duke parents: diff changeset	302 class ciBranchData : public BranchData {
a61af66fc99e Initial load duke parents: diff changeset	303 public:
a61af66fc99e Initial load duke parents: diff changeset	304 ciBranchData(DataLayout* layout) : BranchData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	305 };
a61af66fc99e Initial load duke parents: diff changeset	306
a61af66fc99e Initial load duke parents: diff changeset	307 class ciArrayData : public ArrayData {
a61af66fc99e Initial load duke parents: diff changeset	308 public:
a61af66fc99e Initial load duke parents: diff changeset	309 ciArrayData(DataLayout* layout) : ArrayData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	310 };
a61af66fc99e Initial load duke parents: diff changeset	311
a61af66fc99e Initial load duke parents: diff changeset	312 class ciMultiBranchData : public MultiBranchData {
a61af66fc99e Initial load duke parents: diff changeset	313 public:
a61af66fc99e Initial load duke parents: diff changeset	314 ciMultiBranchData(DataLayout* layout) : MultiBranchData(layout) {};
a61af66fc99e Initial load duke parents: diff changeset	315 };
a61af66fc99e Initial load duke parents: diff changeset	316
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	317 class ciArgInfoData : public ArgInfoData {
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	318 public:
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	319 ciArgInfoData(DataLayout* layout) : ArgInfoData(layout) {};
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	320 };
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	321
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	322 class ciParametersTypeData : public ParametersTypeData {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	323 public:
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	324 ciParametersTypeData(DataLayout* layout) : ParametersTypeData(layout) {}
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	325
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	326 virtual void translate_from(const ProfileData* data) {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	327 parameters()->translate_type_data_from(data->as_ParametersTypeData()->parameters());
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	328 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	329
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	330 ciTypeStackSlotEntries* parameters() const { return (ciTypeStackSlotEntries*)ParametersTypeData::parameters(); }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	331
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	332 ciKlass* valid_parameter_type(int i) const {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	333 return parameters()->valid_type(i);
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	334 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	335
12966 b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	336 bool parameter_maybe_null(int i) const {
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	337 return parameters()->maybe_null(i);
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	338 }
b2ee5dc63353 8024070: C2 needs some form of type speculation roland parents: 12962 diff changeset	339
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	340 #ifndef PRODUCT
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	341 void print_data_on(outputStream* st, const char* extra) const;
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	342 #endif
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	343 };
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	344
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	345 class ciSpeculativeTrapData : public SpeculativeTrapData {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	346 public:
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	347 ciSpeculativeTrapData(DataLayout* layout) : SpeculativeTrapData(layout) {}
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	348
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	349 virtual void translate_from(const ProfileData* data);
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	350
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	351 ciMethod* method() const {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	352 return (ciMethod*)intptr_at(method_offset);
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	353 }
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	354
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	355 void set_method(ciMethod* m) {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	356 set_intptr_at(method_offset, (intptr_t)m);
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	357 }
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	358
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	359 #ifndef PRODUCT
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	360 void print_data_on(outputStream* st, const char* extra) const;
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	361 #endif
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	362 };
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	363
0 a61af66fc99e Initial load duke parents: diff changeset	364 // ciMethodData
a61af66fc99e Initial load duke parents: diff changeset	365 //
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	366 // This class represents a MethodData* in the HotSpot virtual
0 a61af66fc99e Initial load duke parents: diff changeset	367 // machine.
a61af66fc99e Initial load duke parents: diff changeset	368
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	369 class ciMethodData : public ciMetadata {
0 a61af66fc99e Initial load duke parents: diff changeset	370 CI_PACKAGE_ACCESS
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	371 friend class ciReplay;
0 a61af66fc99e Initial load duke parents: diff changeset	372
a61af66fc99e Initial load duke parents: diff changeset	373 private:
a61af66fc99e Initial load duke parents: diff changeset	374 // Size in bytes
a61af66fc99e Initial load duke parents: diff changeset	375 int _data_size;
a61af66fc99e Initial load duke parents: diff changeset	376 int _extra_data_size;
a61af66fc99e Initial load duke parents: diff changeset	377
a61af66fc99e Initial load duke parents: diff changeset	378 // Data entries
a61af66fc99e Initial load duke parents: diff changeset	379 intptr_t* _data;
a61af66fc99e Initial load duke parents: diff changeset	380
a61af66fc99e Initial load duke parents: diff changeset	381 // Cached hint for data_before()
a61af66fc99e Initial load duke parents: diff changeset	382 int _hint_di;
a61af66fc99e Initial load duke parents: diff changeset	383
a61af66fc99e Initial load duke parents: diff changeset	384 // Is data attached? And is it mature?
a61af66fc99e Initial load duke parents: diff changeset	385 enum { empty_state, immature_state, mature_state };
a61af66fc99e Initial load duke parents: diff changeset	386 u_char _state;
a61af66fc99e Initial load duke parents: diff changeset	387
a61af66fc99e Initial load duke parents: diff changeset	388 // Set this true if empty extra_data slots are ever witnessed.
a61af66fc99e Initial load duke parents: diff changeset	389 u_char _saw_free_extra_data;
a61af66fc99e Initial load duke parents: diff changeset	390
a61af66fc99e Initial load duke parents: diff changeset	391 // Support for interprocedural escape analysis
a61af66fc99e Initial load duke parents: diff changeset	392 intx _eflags; // flags on escape information
a61af66fc99e Initial load duke parents: diff changeset	393 intx _arg_local; // bit set of non-escaping arguments
a61af66fc99e Initial load duke parents: diff changeset	394 intx _arg_stack; // bit set of stack-allocatable arguments
a61af66fc99e Initial load duke parents: diff changeset	395 intx _arg_returned; // bit set of returned arguments
a61af66fc99e Initial load duke parents: diff changeset	396
a61af66fc99e Initial load duke parents: diff changeset	397 // Maturity of the oop when the snapshot is taken.
a61af66fc99e Initial load duke parents: diff changeset	398 int _current_mileage;
a61af66fc99e Initial load duke parents: diff changeset	399
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	400 // These counters hold the age of MDO in tiered. In tiered we can have the same method
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	401 // running at different compilation levels concurrently. So, in order to precisely measure
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	402 // its maturity we need separate counters.
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	403 int _invocation_counter;
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	404 int _backedge_counter;
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	405
0 a61af66fc99e Initial load duke parents: diff changeset	406 // Coherent snapshot of original header.
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	407 MethodData _orig;
0 a61af66fc99e Initial load duke parents: diff changeset	408
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	409 // Dedicated area dedicated to parameters. Null if no parameter
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	410 // profiling for this method.
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	411 DataLayout* _parameters;
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	412
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	413 ciMethodData(MethodData* md);
0 a61af66fc99e Initial load duke parents: diff changeset	414 ciMethodData();
a61af66fc99e Initial load duke parents: diff changeset	415
a61af66fc99e Initial load duke parents: diff changeset	416 // Accessors
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	417 int data_size() const { return _data_size; }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	418 int extra_data_size() const { return _extra_data_size; }
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	419 intptr_t * data() const { return _data; }
0 a61af66fc99e Initial load duke parents: diff changeset	420
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	421 MethodData* get_MethodData() const {
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	422 return (MethodData*)_metadata;
0 a61af66fc99e Initial load duke parents: diff changeset	423 }
a61af66fc99e Initial load duke parents: diff changeset	424
a61af66fc99e Initial load duke parents: diff changeset	425 const char* type_string() { return "ciMethodData"; }
a61af66fc99e Initial load duke parents: diff changeset	426
a61af66fc99e Initial load duke parents: diff changeset	427 void print_impl(outputStream* st);
a61af66fc99e Initial load duke parents: diff changeset	428
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	429 DataLayout* data_layout_at(int data_index) const {
0 a61af66fc99e Initial load duke parents: diff changeset	430 assert(data_index % sizeof(intptr_t) == 0, "unaligned");
a61af66fc99e Initial load duke parents: diff changeset	431 return (DataLayout*) (((address)_data) + data_index);
a61af66fc99e Initial load duke parents: diff changeset	432 }
a61af66fc99e Initial load duke parents: diff changeset	433
a61af66fc99e Initial load duke parents: diff changeset	434 bool out_of_bounds(int data_index) {
a61af66fc99e Initial load duke parents: diff changeset	435 return data_index >= data_size();
a61af66fc99e Initial load duke parents: diff changeset	436 }
a61af66fc99e Initial load duke parents: diff changeset	437
a61af66fc99e Initial load duke parents: diff changeset	438 // hint accessors
a61af66fc99e Initial load duke parents: diff changeset	439 int hint_di() const { return _hint_di; }
a61af66fc99e Initial load duke parents: diff changeset	440 void set_hint_di(int di) {
a61af66fc99e Initial load duke parents: diff changeset	441 assert(!out_of_bounds(di), "hint_di out of bounds");
a61af66fc99e Initial load duke parents: diff changeset	442 _hint_di = di;
a61af66fc99e Initial load duke parents: diff changeset	443 }
a61af66fc99e Initial load duke parents: diff changeset	444 ciProfileData* data_before(int bci) {
a61af66fc99e Initial load duke parents: diff changeset	445 // avoid SEGV on this edge case
a61af66fc99e Initial load duke parents: diff changeset	446 if (data_size() == 0)
a61af66fc99e Initial load duke parents: diff changeset	447 return NULL;
a61af66fc99e Initial load duke parents: diff changeset	448 int hint = hint_di();
a61af66fc99e Initial load duke parents: diff changeset	449 if (data_layout_at(hint)->bci() <= bci)
a61af66fc99e Initial load duke parents: diff changeset	450 return data_at(hint);
a61af66fc99e Initial load duke parents: diff changeset	451 return first_data();
a61af66fc99e Initial load duke parents: diff changeset	452 }
a61af66fc99e Initial load duke parents: diff changeset	453
a61af66fc99e Initial load duke parents: diff changeset	454
a61af66fc99e Initial load duke parents: diff changeset	455 // What is the index of the first data entry?
a61af66fc99e Initial load duke parents: diff changeset	456 int first_di() { return 0; }
a61af66fc99e Initial load duke parents: diff changeset	457
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	458 ciArgInfoData *arg_info() const;
48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	459
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	460 address data_base() const {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	461 return (address) _data;
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	462 }
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	463 DataLayout* limit_data_position() const {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	464 return (DataLayout*)((address)data_base() + _data_size);
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	465 }
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	466
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	467 void load_extra_data();
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	468 ciProfileData* bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots);
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	469
0 a61af66fc99e Initial load duke parents: diff changeset	470 public:
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	471 bool is_method_data() const { return true; }
3371 fabcf26ee72f 6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW twisti parents: 1972 diff changeset	472
fabcf26ee72f 6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW twisti parents: 1972 diff changeset	473 bool is_empty() { return _state == empty_state; }
0 a61af66fc99e Initial load duke parents: diff changeset	474 bool is_mature() { return _state == mature_state; }
a61af66fc99e Initial load duke parents: diff changeset	475
a61af66fc99e Initial load duke parents: diff changeset	476 int creation_mileage() { return _orig.creation_mileage(); }
a61af66fc99e Initial load duke parents: diff changeset	477 int current_mileage() { return _current_mileage; }
a61af66fc99e Initial load duke parents: diff changeset	478
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	479 int invocation_count() { return _invocation_counter; }
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	480 int backedge_count() { return _backedge_counter; }
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	481 // Transfer information about the method to MethodData*.
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	482 // would_profile means we would like to profile this method,
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	483 // meaning it's not trivial.
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	484 void set_would_profile(bool p);
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	485 // Also set the numer of loops and blocks in the method.
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	486 // Again, this is used to determine if a method is trivial.
d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	487 void set_compilation_stats(short loops, short blocks);
12875 d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	488 // If the compiler finds a profiled type that is known statically
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	489 // for sure, set it in the MethodData
d13d7aba8c12 8023657: New type profiling points: arguments to call roland parents: 12868 diff changeset	490 void set_argument_type(int bci, int i, ciKlass* k);
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	491 void set_parameter_type(int i, ciKlass* k);
12882 ce0cc25bc5e2 8026054: New type profiling points: type of return values at calls roland parents: 12875 diff changeset	492 void set_return_type(int bci, ciKlass* k);
1783 d5d065957597 6953144: Tiered compilation iveresov parents: 1552 diff changeset	493
0 a61af66fc99e Initial load duke parents: diff changeset	494 void load_data();
a61af66fc99e Initial load duke parents: diff changeset	495
a61af66fc99e Initial load duke parents: diff changeset	496 // Convert a dp (data pointer) to a di (data index).
a61af66fc99e Initial load duke parents: diff changeset	497 int dp_to_di(address dp) {
a61af66fc99e Initial load duke parents: diff changeset	498 return dp - ((address)_data);
a61af66fc99e Initial load duke parents: diff changeset	499 }
a61af66fc99e Initial load duke parents: diff changeset	500
a61af66fc99e Initial load duke parents: diff changeset	501 // Get the data at an arbitrary (sort of) data index.
a61af66fc99e Initial load duke parents: diff changeset	502 ciProfileData* data_at(int data_index);
a61af66fc99e Initial load duke parents: diff changeset	503
a61af66fc99e Initial load duke parents: diff changeset	504 // Walk through the data in order.
a61af66fc99e Initial load duke parents: diff changeset	505 ciProfileData* first_data() { return data_at(first_di()); }
a61af66fc99e Initial load duke parents: diff changeset	506 ciProfileData* next_data(ciProfileData* current);
a61af66fc99e Initial load duke parents: diff changeset	507 bool is_valid(ciProfileData* current) { return current != NULL; }
a61af66fc99e Initial load duke parents: diff changeset	508
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	509 DataLayout* extra_data_base() const { return limit_data_position(); }
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	510
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	511 // Get the data at an arbitrary bci, or NULL if there is none. If m
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	512 // is not NULL look for a SpeculativeTrapData if any first.
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	513 ciProfileData* bci_to_data(int bci, ciMethod* m = NULL);
0 a61af66fc99e Initial load duke parents: diff changeset	514
a61af66fc99e Initial load duke parents: diff changeset	515 uint overflow_trap_count() const {
a61af66fc99e Initial load duke parents: diff changeset	516 return _orig.overflow_trap_count();
a61af66fc99e Initial load duke parents: diff changeset	517 }
a61af66fc99e Initial load duke parents: diff changeset	518 uint overflow_recompile_count() const {
a61af66fc99e Initial load duke parents: diff changeset	519 return _orig.overflow_recompile_count();
a61af66fc99e Initial load duke parents: diff changeset	520 }
a61af66fc99e Initial load duke parents: diff changeset	521 uint decompile_count() const {
a61af66fc99e Initial load duke parents: diff changeset	522 return _orig.decompile_count();
a61af66fc99e Initial load duke parents: diff changeset	523 }
a61af66fc99e Initial load duke parents: diff changeset	524 uint trap_count(int reason) const {
a61af66fc99e Initial load duke parents: diff changeset	525 return _orig.trap_count(reason);
a61af66fc99e Initial load duke parents: diff changeset	526 }
a61af66fc99e Initial load duke parents: diff changeset	527 uint trap_reason_limit() const { return _orig.trap_reason_limit(); }
a61af66fc99e Initial load duke parents: diff changeset	528 uint trap_count_limit() const { return _orig.trap_count_limit(); }
a61af66fc99e Initial load duke parents: diff changeset	529
a61af66fc99e Initial load duke parents: diff changeset	530 // Helpful query functions that decode trap_state.
a61af66fc99e Initial load duke parents: diff changeset	531 int has_trap_at(ciProfileData* data, int reason);
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	532 int has_trap_at(int bci, ciMethod* m, int reason) {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	533 assert((m != NULL) == Deoptimization::reason_is_speculate(reason), "inconsistent method/reason");
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	534 return has_trap_at(bci_to_data(bci, m), reason);
0 a61af66fc99e Initial load duke parents: diff changeset	535 }
a61af66fc99e Initial load duke parents: diff changeset	536 int trap_recompiled_at(ciProfileData* data);
17728 b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	537 int trap_recompiled_at(int bci, ciMethod* m) {
b8413a9cbb84 8031752: Failed speculative optimizations should be reattempted when root of compilation is different roland parents: 17467 diff changeset	538 return trap_recompiled_at(bci_to_data(bci, m));
0 a61af66fc99e Initial load duke parents: diff changeset	539 }
a61af66fc99e Initial load duke parents: diff changeset	540
a61af66fc99e Initial load duke parents: diff changeset	541 void clear_escape_info();
a61af66fc99e Initial load duke parents: diff changeset	542 bool has_escape_info();
a61af66fc99e Initial load duke parents: diff changeset	543 void update_escape_info();
a61af66fc99e Initial load duke parents: diff changeset	544
6725 da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	545 void set_eflag(MethodData::EscapeFlag f);
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	546 void clear_eflag(MethodData::EscapeFlag f);
da91efe96a93 6964458: Reimplement class meta-data storage to use native memory coleenp parents: 3371 diff changeset	547 bool eflag_set(MethodData::EscapeFlag f) const;
0 a61af66fc99e Initial load duke parents: diff changeset	548
a61af66fc99e Initial load duke parents: diff changeset	549 void set_arg_local(int i);
a61af66fc99e Initial load duke parents: diff changeset	550 void set_arg_stack(int i);
a61af66fc99e Initial load duke parents: diff changeset	551 void set_arg_returned(int i);
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	552 void set_arg_modified(int arg, uint val);
0 a61af66fc99e Initial load duke parents: diff changeset	553
a61af66fc99e Initial load duke parents: diff changeset	554 bool is_arg_local(int i) const;
a61af66fc99e Initial load duke parents: diff changeset	555 bool is_arg_stack(int i) const;
a61af66fc99e Initial load duke parents: diff changeset	556 bool is_arg_returned(int i) const;
45 48a3fa21394b 6667615: (Escape Analysis) extend MDO to cache arguments escape state kvn parents: 0 diff changeset	557 uint arg_modified(int arg) const;
0 a61af66fc99e Initial load duke parents: diff changeset	558
12962 5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	559 ciParametersTypeData* parameters_type_data() const {
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	560 return _parameters != NULL ? new ciParametersTypeData(_parameters) : NULL;
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	561 }
5ccbab1c69f3 8026251: New type profiling points: parameters to methods roland parents: 12882 diff changeset	562
0 a61af66fc99e Initial load duke parents: diff changeset	563 // Code generation helper
a61af66fc99e Initial load duke parents: diff changeset	564 ByteSize offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data);
a61af66fc99e Initial load duke parents: diff changeset	565 int byte_offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) { return in_bytes(offset_of_slot(data, slot_offset_in_data)); }
a61af66fc99e Initial load duke parents: diff changeset	566
a61af66fc99e Initial load duke parents: diff changeset	567 #ifndef PRODUCT
a61af66fc99e Initial load duke parents: diff changeset	568 // printing support for method data
a61af66fc99e Initial load duke parents: diff changeset	569 void print();
a61af66fc99e Initial load duke parents: diff changeset	570 void print_data_on(outputStream* st);
a61af66fc99e Initial load duke parents: diff changeset	571 #endif
6972 bd7a7ce2e264 6830717: replay of compilations would help with debugging minqi parents: 6725 diff changeset	572 void dump_replay_data(outputStream* out);
0 a61af66fc99e Initial load duke parents: diff changeset	573 };
1972 f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	574
f95d63e2154a 6989984: Use standard include model for Hospot stefank parents: 1783 diff changeset	575 #endif // SHARE_VM_CI_CIMETHODDATA_HPP

Mercurial > hg > truffle

annotate src/share/vm/ci/ciMethodData.hpp @ 17728:b8413a9cbb84