author | redestad |
Thu, 20 Dec 2018 19:44:08 +0100 | |
changeset 53091 | 5bf5b773fc41 |
parent 47887 | e20d8f168bb6 |
child 53244 | 9807daeb47c4 |
child 53278 | 4b469f5f4bf2 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
47887
e20d8f168bb6
8190891: Clean up G1 barrier code in compiler interface (ci)
coleenp
parents:
47216
diff
changeset
|
2 |
* Copyright (c) 2001, 2017, Oracle and/or its affiliates. All rights reserved. |
1 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. |
|
8 |
* |
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
13 |
* accompanied this code). |
|
14 |
* |
|
15 |
* You should have received a copy of the GNU General Public License version |
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
18 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
670
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
670
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
670
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#ifndef SHARE_VM_CI_CIMETHODDATA_HPP |
26 |
#define SHARE_VM_CI_CIMETHODDATA_HPP |
|
27 |
||
28 |
#include "ci/ciClassList.hpp" |
|
29 |
#include "ci/ciKlass.hpp" |
|
30 |
#include "ci/ciObject.hpp" |
|
31 |
#include "ci/ciUtilities.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
32 |
#include "oops/methodData.hpp" |
29081
c61eb4914428
8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents:
26440
diff
changeset
|
33 |
#include "oops/oop.hpp" |
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
34 |
#include "runtime/deoptimization.hpp" |
7397 | 35 |
|
1 | 36 |
class ciBitData; |
37 |
class ciCounterData; |
|
38 |
class ciJumpData; |
|
39 |
class ciReceiverTypeData; |
|
40 |
class ciRetData; |
|
41 |
class ciBranchData; |
|
42 |
class ciArrayData; |
|
43 |
class ciMultiBranchData; |
|
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
44 |
class ciArgInfoData; |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
45 |
class ciCallTypeData; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
46 |
class ciVirtualCallTypeData; |
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
47 |
class ciParametersTypeData; |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
48 |
class ciSpeculativeTrapData; |
1 | 49 |
|
50 |
typedef ProfileData ciProfileData; |
|
51 |
||
52 |
class ciBitData : public BitData { |
|
53 |
public: |
|
54 |
ciBitData(DataLayout* layout) : BitData(layout) {}; |
|
55 |
}; |
|
56 |
||
57 |
class ciCounterData : public CounterData { |
|
58 |
public: |
|
59 |
ciCounterData(DataLayout* layout) : CounterData(layout) {}; |
|
60 |
}; |
|
61 |
||
62 |
class ciJumpData : public JumpData { |
|
63 |
public: |
|
64 |
ciJumpData(DataLayout* layout) : JumpData(layout) {}; |
|
65 |
}; |
|
66 |
||
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
67 |
class ciTypeEntries { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
68 |
protected: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
69 |
static intptr_t translate_klass(intptr_t k) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
70 |
Klass* v = TypeEntries::valid_klass(k); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
71 |
if (v != NULL) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
72 |
ciKlass* klass = CURRENT_ENV->get_klass(v); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
73 |
return with_status(klass, k); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
74 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
75 |
return with_status(NULL, k); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
76 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
77 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
78 |
public: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
79 |
static ciKlass* valid_ciklass(intptr_t k) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
80 |
if (!TypeEntries::is_type_none(k) && |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
81 |
!TypeEntries::is_type_unknown(k)) { |
21581 | 82 |
ciKlass* res = (ciKlass*)TypeEntries::klass_part(k); |
83 |
assert(res != NULL, "invalid"); |
|
84 |
return res; |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
85 |
} else { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
86 |
return NULL; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
87 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
88 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
89 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
90 |
static ProfilePtrKind ptr_kind(intptr_t v) { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
91 |
bool maybe_null = TypeEntries::was_null_seen(v); |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
92 |
if (!maybe_null) { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
93 |
return ProfileNeverNull; |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
94 |
} else if (TypeEntries::is_type_none(v)) { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
95 |
return ProfileAlwaysNull; |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
96 |
} else { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
97 |
return ProfileMaybeNull; |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
98 |
} |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
99 |
} |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
100 |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
101 |
static intptr_t with_status(ciKlass* k, intptr_t in) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
102 |
return TypeEntries::with_status((intptr_t)k, in); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
103 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
104 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
105 |
#ifndef PRODUCT |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
106 |
static void print_ciklass(outputStream* st, intptr_t k); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
107 |
#endif |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
108 |
}; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
109 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
110 |
class ciTypeStackSlotEntries : public TypeStackSlotEntries, ciTypeEntries { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
111 |
public: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
112 |
void translate_type_data_from(const TypeStackSlotEntries* args); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
113 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
114 |
ciKlass* valid_type(int i) const { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
115 |
return valid_ciklass(type(i)); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
116 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
117 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
118 |
ProfilePtrKind ptr_kind(int i) const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
119 |
return ciTypeEntries::ptr_kind(type(i)); |
21099 | 120 |
} |
121 |
||
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
122 |
#ifndef PRODUCT |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
123 |
void print_data_on(outputStream* st) const; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
124 |
#endif |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
125 |
}; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
126 |
|
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
127 |
class ciReturnTypeEntry : public ReturnTypeEntry, ciTypeEntries { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
128 |
public: |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
129 |
void translate_type_data_from(const ReturnTypeEntry* ret); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
130 |
|
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
131 |
ciKlass* valid_type() const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
132 |
return valid_ciklass(type()); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
133 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
134 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
135 |
ProfilePtrKind ptr_kind() const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
136 |
return ciTypeEntries::ptr_kind(type()); |
21099 | 137 |
} |
138 |
||
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
139 |
#ifndef PRODUCT |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
140 |
void print_data_on(outputStream* st) const; |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
141 |
#endif |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
142 |
}; |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
143 |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
144 |
class ciCallTypeData : public CallTypeData { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
145 |
public: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
146 |
ciCallTypeData(DataLayout* layout) : CallTypeData(layout) {} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
147 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
148 |
ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)CallTypeData::args(); } |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
149 |
ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)CallTypeData::ret(); } |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
150 |
|
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
151 |
void translate_from(const ProfileData* data) { |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
152 |
if (has_arguments()) { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
153 |
args()->translate_type_data_from(data->as_CallTypeData()->args()); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
154 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
155 |
if (has_return()) { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
156 |
ret()->translate_type_data_from(data->as_CallTypeData()->ret()); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
157 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
158 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
159 |
|
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
160 |
intptr_t argument_type(int i) const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
161 |
assert(has_arguments(), "no arg type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
162 |
return args()->type(i); |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
163 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
164 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
165 |
ciKlass* valid_argument_type(int i) const { |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
166 |
assert(has_arguments(), "no arg type profiling data"); |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
167 |
return args()->valid_type(i); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
168 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
169 |
|
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
170 |
intptr_t return_type() const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
171 |
assert(has_return(), "no ret type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
172 |
return ret()->type(); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
173 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
174 |
|
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
175 |
ciKlass* valid_return_type() const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
176 |
assert(has_return(), "no ret type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
177 |
return ret()->valid_type(); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
178 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
179 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
180 |
ProfilePtrKind argument_ptr_kind(int i) const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
181 |
return args()->ptr_kind(i); |
21099 | 182 |
} |
183 |
||
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
184 |
ProfilePtrKind return_ptr_kind() const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
185 |
return ret()->ptr_kind(); |
21099 | 186 |
} |
187 |
||
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
188 |
#ifndef PRODUCT |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
189 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
190 |
#endif |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
191 |
}; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
192 |
|
1 | 193 |
class ciReceiverTypeData : public ReceiverTypeData { |
194 |
public: |
|
195 |
ciReceiverTypeData(DataLayout* layout) : ReceiverTypeData(layout) {}; |
|
196 |
||
197 |
void set_receiver(uint row, ciKlass* recv) { |
|
198 |
assert((uint)row < row_limit(), "oob"); |
|
199 |
set_intptr_at(receiver0_offset + row * receiver_type_row_cell_count, |
|
200 |
(intptr_t) recv); |
|
201 |
} |
|
202 |
||
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
203 |
ciKlass* receiver(uint row) const { |
1 | 204 |
assert((uint)row < row_limit(), "oob"); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
205 |
ciKlass* recv = (ciKlass*)intptr_at(receiver0_offset + row * receiver_type_row_cell_count); |
1 | 206 |
assert(recv == NULL || recv->is_klass(), "wrong type"); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
207 |
return recv; |
1 | 208 |
} |
209 |
||
210 |
// Copy & translate from oop based ReceiverTypeData |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
211 |
virtual void translate_from(const ProfileData* data) { |
1 | 212 |
translate_receiver_data_from(data); |
213 |
} |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
214 |
void translate_receiver_data_from(const ProfileData* data); |
1 | 215 |
#ifndef PRODUCT |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
216 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
217 |
void print_receiver_data_on(outputStream* st) const; |
1 | 218 |
#endif |
219 |
}; |
|
220 |
||
221 |
class ciVirtualCallData : public VirtualCallData { |
|
222 |
// Fake multiple inheritance... It's a ciReceiverTypeData also. |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
223 |
ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; } |
1 | 224 |
|
225 |
public: |
|
226 |
ciVirtualCallData(DataLayout* layout) : VirtualCallData(layout) {}; |
|
227 |
||
228 |
void set_receiver(uint row, ciKlass* recv) { |
|
229 |
rtd_super()->set_receiver(row, recv); |
|
230 |
} |
|
231 |
||
232 |
ciKlass* receiver(uint row) { |
|
233 |
return rtd_super()->receiver(row); |
|
234 |
} |
|
235 |
||
236 |
// Copy & translate from oop based VirtualCallData |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
237 |
virtual void translate_from(const ProfileData* data) { |
1 | 238 |
rtd_super()->translate_receiver_data_from(data); |
239 |
} |
|
240 |
#ifndef PRODUCT |
|
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
241 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
242 |
#endif |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
243 |
}; |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
244 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
245 |
class ciVirtualCallTypeData : public VirtualCallTypeData { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
246 |
private: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
247 |
// Fake multiple inheritance... It's a ciReceiverTypeData also. |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
248 |
ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; } |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
249 |
public: |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
250 |
ciVirtualCallTypeData(DataLayout* layout) : VirtualCallTypeData(layout) {} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
251 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
252 |
void set_receiver(uint row, ciKlass* recv) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
253 |
rtd_super()->set_receiver(row, recv); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
254 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
255 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
256 |
ciKlass* receiver(uint row) const { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
257 |
return rtd_super()->receiver(row); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
258 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
259 |
|
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
260 |
ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)VirtualCallTypeData::args(); } |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
261 |
ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)VirtualCallTypeData::ret(); } |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
262 |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
263 |
// Copy & translate from oop based VirtualCallData |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
264 |
virtual void translate_from(const ProfileData* data) { |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
265 |
rtd_super()->translate_receiver_data_from(data); |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
266 |
if (has_arguments()) { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
267 |
args()->translate_type_data_from(data->as_VirtualCallTypeData()->args()); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
268 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
269 |
if (has_return()) { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
270 |
ret()->translate_type_data_from(data->as_VirtualCallTypeData()->ret()); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
271 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
272 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
273 |
|
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
274 |
intptr_t argument_type(int i) const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
275 |
assert(has_arguments(), "no arg type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
276 |
return args()->type(i); |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
277 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
278 |
|
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
279 |
ciKlass* valid_argument_type(int i) const { |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
280 |
assert(has_arguments(), "no arg type profiling data"); |
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
281 |
return args()->valid_type(i); |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
282 |
} |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
283 |
|
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
284 |
intptr_t return_type() const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
285 |
assert(has_return(), "no ret type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
286 |
return ret()->type(); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
287 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
288 |
|
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
289 |
ciKlass* valid_return_type() const { |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
290 |
assert(has_return(), "no ret type profiling data"); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
291 |
return ret()->valid_type(); |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
292 |
} |
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
293 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
294 |
ProfilePtrKind argument_ptr_kind(int i) const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
295 |
return args()->ptr_kind(i); |
21099 | 296 |
} |
297 |
||
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
298 |
ProfilePtrKind return_ptr_kind() const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
299 |
return ret()->ptr_kind(); |
21099 | 300 |
} |
301 |
||
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
302 |
#ifndef PRODUCT |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
303 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
1 | 304 |
#endif |
305 |
}; |
|
306 |
||
307 |
||
308 |
class ciRetData : public RetData { |
|
309 |
public: |
|
310 |
ciRetData(DataLayout* layout) : RetData(layout) {}; |
|
311 |
}; |
|
312 |
||
313 |
class ciBranchData : public BranchData { |
|
314 |
public: |
|
315 |
ciBranchData(DataLayout* layout) : BranchData(layout) {}; |
|
316 |
}; |
|
317 |
||
318 |
class ciArrayData : public ArrayData { |
|
319 |
public: |
|
320 |
ciArrayData(DataLayout* layout) : ArrayData(layout) {}; |
|
321 |
}; |
|
322 |
||
323 |
class ciMultiBranchData : public MultiBranchData { |
|
324 |
public: |
|
325 |
ciMultiBranchData(DataLayout* layout) : MultiBranchData(layout) {}; |
|
326 |
}; |
|
327 |
||
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
328 |
class ciArgInfoData : public ArgInfoData { |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
329 |
public: |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
330 |
ciArgInfoData(DataLayout* layout) : ArgInfoData(layout) {}; |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
331 |
}; |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
332 |
|
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
333 |
class ciParametersTypeData : public ParametersTypeData { |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
334 |
public: |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
335 |
ciParametersTypeData(DataLayout* layout) : ParametersTypeData(layout) {} |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
336 |
|
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
337 |
virtual void translate_from(const ProfileData* data) { |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
338 |
parameters()->translate_type_data_from(data->as_ParametersTypeData()->parameters()); |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
339 |
} |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
340 |
|
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
341 |
ciTypeStackSlotEntries* parameters() const { return (ciTypeStackSlotEntries*)ParametersTypeData::parameters(); } |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
342 |
|
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
343 |
ciKlass* valid_parameter_type(int i) const { |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
344 |
return parameters()->valid_type(i); |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
345 |
} |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
346 |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
347 |
ProfilePtrKind parameter_ptr_kind(int i) const { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
29081
diff
changeset
|
348 |
return parameters()->ptr_kind(i); |
21099 | 349 |
} |
350 |
||
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
351 |
#ifndef PRODUCT |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
352 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
353 |
#endif |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
354 |
}; |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
355 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
356 |
class ciSpeculativeTrapData : public SpeculativeTrapData { |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
357 |
public: |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
358 |
ciSpeculativeTrapData(DataLayout* layout) : SpeculativeTrapData(layout) {} |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
359 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
360 |
virtual void translate_from(const ProfileData* data); |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
361 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
362 |
ciMethod* method() const { |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
363 |
return (ciMethod*)intptr_at(speculative_trap_method); |
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
364 |
} |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
365 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
366 |
void set_method(ciMethod* m) { |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
367 |
set_intptr_at(speculative_trap_method, (intptr_t)m); |
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
368 |
} |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
369 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
370 |
#ifndef PRODUCT |
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
371 |
void print_data_on(outputStream* st, const char* extra = NULL) const; |
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
372 |
#endif |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
373 |
}; |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
374 |
|
1 | 375 |
// ciMethodData |
376 |
// |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
377 |
// This class represents a MethodData* in the HotSpot virtual |
1 | 378 |
// machine. |
379 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
380 |
class ciMethodData : public ciMetadata { |
1 | 381 |
CI_PACKAGE_ACCESS |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
13728
diff
changeset
|
382 |
friend class ciReplay; |
1 | 383 |
|
384 |
private: |
|
385 |
// Size in bytes |
|
386 |
int _data_size; |
|
387 |
int _extra_data_size; |
|
388 |
||
389 |
// Data entries |
|
390 |
intptr_t* _data; |
|
391 |
||
392 |
// Cached hint for data_before() |
|
393 |
int _hint_di; |
|
394 |
||
395 |
// Is data attached? And is it mature? |
|
396 |
enum { empty_state, immature_state, mature_state }; |
|
397 |
u_char _state; |
|
398 |
||
399 |
// Set this true if empty extra_data slots are ever witnessed. |
|
400 |
u_char _saw_free_extra_data; |
|
401 |
||
402 |
// Support for interprocedural escape analysis |
|
403 |
intx _eflags; // flags on escape information |
|
404 |
intx _arg_local; // bit set of non-escaping arguments |
|
405 |
intx _arg_stack; // bit set of stack-allocatable arguments |
|
406 |
intx _arg_returned; // bit set of returned arguments |
|
407 |
||
408 |
// Maturity of the oop when the snapshot is taken. |
|
409 |
int _current_mileage; |
|
410 |
||
6453 | 411 |
// These counters hold the age of MDO in tiered. In tiered we can have the same method |
412 |
// running at different compilation levels concurrently. So, in order to precisely measure |
|
413 |
// its maturity we need separate counters. |
|
414 |
int _invocation_counter; |
|
415 |
int _backedge_counter; |
|
416 |
||
1 | 417 |
// Coherent snapshot of original header. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
418 |
MethodData _orig; |
1 | 419 |
|
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
420 |
// Area dedicated to parameters. NULL if no parameter profiling for |
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
421 |
// this method. |
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
422 |
DataLayout* _parameters; |
26440
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
423 |
int parameters_size() const { |
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
424 |
return _parameters == NULL ? 0 : parameters_type_data()->size_in_bytes(); |
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
425 |
} |
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
426 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
427 |
ciMethodData(MethodData* md); |
1 | 428 |
ciMethodData(); |
429 |
||
430 |
// Accessors |
|
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
431 |
int data_size() const { return _data_size; } |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
432 |
int extra_data_size() const { return _extra_data_size; } |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
433 |
intptr_t * data() const { return _data; } |
1 | 434 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
435 |
MethodData* get_MethodData() const { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
436 |
return (MethodData*)_metadata; |
1 | 437 |
} |
438 |
||
439 |
const char* type_string() { return "ciMethodData"; } |
|
440 |
||
441 |
void print_impl(outputStream* st); |
|
442 |
||
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
443 |
DataLayout* data_layout_at(int data_index) const { |
1 | 444 |
assert(data_index % sizeof(intptr_t) == 0, "unaligned"); |
445 |
return (DataLayout*) (((address)_data) + data_index); |
|
446 |
} |
|
447 |
||
448 |
bool out_of_bounds(int data_index) { |
|
449 |
return data_index >= data_size(); |
|
450 |
} |
|
451 |
||
452 |
// hint accessors |
|
453 |
int hint_di() const { return _hint_di; } |
|
454 |
void set_hint_di(int di) { |
|
455 |
assert(!out_of_bounds(di), "hint_di out of bounds"); |
|
456 |
_hint_di = di; |
|
457 |
} |
|
458 |
ciProfileData* data_before(int bci) { |
|
459 |
// avoid SEGV on this edge case |
|
460 |
if (data_size() == 0) |
|
461 |
return NULL; |
|
462 |
int hint = hint_di(); |
|
463 |
if (data_layout_at(hint)->bci() <= bci) |
|
464 |
return data_at(hint); |
|
465 |
return first_data(); |
|
466 |
} |
|
467 |
||
468 |
||
469 |
// What is the index of the first data entry? |
|
470 |
int first_di() { return 0; } |
|
471 |
||
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
472 |
ciArgInfoData *arg_info() const; |
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
473 |
|
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
474 |
address data_base() const { |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
475 |
return (address) _data; |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
476 |
} |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
477 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
478 |
void load_extra_data(); |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
479 |
ciProfileData* bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots); |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
480 |
|
24476
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
481 |
void dump_replay_data_type_helper(outputStream* out, int round, int& count, ProfileData* pdata, ByteSize offset, ciKlass* k); |
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
482 |
template<class T> void dump_replay_data_call_type_helper(outputStream* out, int round, int& count, T* call_type_data); |
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
483 |
template<class T> void dump_replay_data_receiver_type_helper(outputStream* out, int round, int& count, T* call_type_data); |
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
484 |
void dump_replay_data_extra_data_helper(outputStream* out, int round, int& count); |
912595db2e75
8026694: New type profiling points break compilation replay
roland
parents:
23491
diff
changeset
|
485 |
|
1 | 486 |
public: |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
487 |
bool is_method_data() const { return true; } |
9638
a9e79f5cd83b
6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW
twisti
parents:
7397
diff
changeset
|
488 |
|
a9e79f5cd83b
6998541: JSR 292 implement missing return-type conversion for OP_RETYPE_RAW
twisti
parents:
7397
diff
changeset
|
489 |
bool is_empty() { return _state == empty_state; } |
1 | 490 |
bool is_mature() { return _state == mature_state; } |
491 |
||
492 |
int creation_mileage() { return _orig.creation_mileage(); } |
|
493 |
int current_mileage() { return _current_mileage; } |
|
494 |
||
6453 | 495 |
int invocation_count() { return _invocation_counter; } |
496 |
int backedge_count() { return _backedge_counter; } |
|
23491 | 497 |
|
498 |
#if INCLUDE_RTM_OPT |
|
499 |
// return cached value |
|
500 |
int rtm_state() { |
|
501 |
if (is_empty()) { |
|
502 |
return NoRTM; |
|
503 |
} else { |
|
504 |
return get_MethodData()->rtm_state(); |
|
505 |
} |
|
506 |
} |
|
507 |
#endif |
|
508 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
509 |
// Transfer information about the method to MethodData*. |
6453 | 510 |
// would_profile means we would like to profile this method, |
511 |
// meaning it's not trivial. |
|
512 |
void set_would_profile(bool p); |
|
513 |
// Also set the numer of loops and blocks in the method. |
|
514 |
// Again, this is used to determine if a method is trivial. |
|
515 |
void set_compilation_stats(short loops, short blocks); |
|
20702
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
516 |
// If the compiler finds a profiled type that is known statically |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
517 |
// for sure, set it in the MethodData |
bbe0fcde6e13
8023657: New type profiling points: arguments to call
roland
parents:
20695
diff
changeset
|
518 |
void set_argument_type(int bci, int i, ciKlass* k); |
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
519 |
void set_parameter_type(int i, ciKlass* k); |
20709
034be898bf04
8026054: New type profiling points: type of return values at calls
roland
parents:
20702
diff
changeset
|
520 |
void set_return_type(int bci, ciKlass* k); |
6453 | 521 |
|
1 | 522 |
void load_data(); |
523 |
||
524 |
// Convert a dp (data pointer) to a di (data index). |
|
525 |
int dp_to_di(address dp) { |
|
526 |
return dp - ((address)_data); |
|
527 |
} |
|
528 |
||
529 |
// Get the data at an arbitrary (sort of) data index. |
|
530 |
ciProfileData* data_at(int data_index); |
|
531 |
||
532 |
// Walk through the data in order. |
|
533 |
ciProfileData* first_data() { return data_at(first_di()); } |
|
534 |
ciProfileData* next_data(ciProfileData* current); |
|
535 |
bool is_valid(ciProfileData* current) { return current != NULL; } |
|
536 |
||
26440
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
537 |
DataLayout* extra_data_base() const { return data_layout_at(data_size()); } |
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
538 |
DataLayout* args_data_limit() const { return data_layout_at(data_size() + extra_data_size() - |
0c9e5ee0083a
8057038: Speculative traps not robust when compilation and class unloading are concurrent
roland
parents:
25492
diff
changeset
|
539 |
parameters_size()); } |
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
540 |
|
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
541 |
// Get the data at an arbitrary bci, or NULL if there is none. If m |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
542 |
// is not NULL look for a SpeculativeTrapData if any first. |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
543 |
ciProfileData* bci_to_data(int bci, ciMethod* m = NULL); |
1 | 544 |
|
545 |
uint overflow_trap_count() const { |
|
546 |
return _orig.overflow_trap_count(); |
|
547 |
} |
|
548 |
uint overflow_recompile_count() const { |
|
549 |
return _orig.overflow_recompile_count(); |
|
550 |
} |
|
551 |
uint decompile_count() const { |
|
552 |
return _orig.decompile_count(); |
|
553 |
} |
|
554 |
uint trap_count(int reason) const { |
|
555 |
return _orig.trap_count(reason); |
|
556 |
} |
|
557 |
uint trap_reason_limit() const { return _orig.trap_reason_limit(); } |
|
558 |
uint trap_count_limit() const { return _orig.trap_count_limit(); } |
|
559 |
||
560 |
// Helpful query functions that decode trap_state. |
|
561 |
int has_trap_at(ciProfileData* data, int reason); |
|
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
562 |
int has_trap_at(int bci, ciMethod* m, int reason) { |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
563 |
assert((m != NULL) == Deoptimization::reason_is_speculate(reason), "inconsistent method/reason"); |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
564 |
return has_trap_at(bci_to_data(bci, m), reason); |
1 | 565 |
} |
566 |
int trap_recompiled_at(ciProfileData* data); |
|
22916
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
567 |
int trap_recompiled_at(int bci, ciMethod* m) { |
582da2ed4dfa
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
22234
diff
changeset
|
568 |
return trap_recompiled_at(bci_to_data(bci, m)); |
1 | 569 |
} |
570 |
||
571 |
void clear_escape_info(); |
|
572 |
bool has_escape_info(); |
|
573 |
void update_escape_info(); |
|
574 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
575 |
void set_eflag(MethodData::EscapeFlag f); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
576 |
void clear_eflag(MethodData::EscapeFlag f); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
9638
diff
changeset
|
577 |
bool eflag_set(MethodData::EscapeFlag f) const; |
1 | 578 |
|
579 |
void set_arg_local(int i); |
|
580 |
void set_arg_stack(int i); |
|
581 |
void set_arg_returned(int i); |
|
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
582 |
void set_arg_modified(int arg, uint val); |
1 | 583 |
|
584 |
bool is_arg_local(int i) const; |
|
585 |
bool is_arg_stack(int i) const; |
|
586 |
bool is_arg_returned(int i) const; |
|
218
a0e996680b05
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
1
diff
changeset
|
587 |
uint arg_modified(int arg) const; |
1 | 588 |
|
21095
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
589 |
ciParametersTypeData* parameters_type_data() const { |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
590 |
return _parameters != NULL ? new ciParametersTypeData(_parameters) : NULL; |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
591 |
} |
1a04f7b3946e
8026251: New type profiling points: parameters to methods
roland
parents:
20709
diff
changeset
|
592 |
|
1 | 593 |
// Code generation helper |
594 |
ByteSize offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data); |
|
595 |
int byte_offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) { return in_bytes(offset_of_slot(data, slot_offset_in_data)); } |
|
596 |
||
597 |
#ifndef PRODUCT |
|
598 |
// printing support for method data |
|
599 |
void print(); |
|
600 |
void print_data_on(outputStream* st); |
|
601 |
#endif |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
13728
diff
changeset
|
602 |
void dump_replay_data(outputStream* out); |
1 | 603 |
}; |
7397 | 604 |
|
605 |
#endif // SHARE_VM_CI_CIMETHODDATA_HPP |