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