Mercurial > hg > truffle
annotate src/share/vm/ci/ciMethodData.cpp @ 21231:0bb06deee33b
Check for null in LabelOp#setIncomingValues and JumpOp#setOutgoingValues.
author | Josef Eisl <josef.eisl@jku.at> |
---|---|
date | Tue, 05 May 2015 12:12:33 +0200 |
parents | 7848fc12602b |
children |
rev | line source |
---|---|
0 | 1 /* |
17937
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14674
diff
changeset
|
2 * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
196
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
196
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
196
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
26 #include "ci/ciMetadata.hpp" |
1972 | 27 #include "ci/ciMethodData.hpp" |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
28 #include "ci/ciReplay.hpp" |
1972 | 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" | |
0 | 34 |
35 // ciMethodData | |
36 | |
37 // ------------------------------------------------------------------ | |
38 // ciMethodData::ciMethodData | |
39 // | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
40 ciMethodData::ciMethodData(MethodData* md) : ciMetadata(md) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
41 assert(md != NULL, "no null method data"); |
0 | 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; | |
1783 | 47 _invocation_counter = 0; |
48 _backedge_counter = 0; | |
0 | 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(); | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
54 // Initialize the escape information (to "don't know."); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
55 _eflags = _arg_local = _arg_stack = _arg_returned = 0; |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
56 _parameters = NULL; |
0 | 57 } |
58 | |
59 // ------------------------------------------------------------------ | |
60 // ciMethodData::ciMethodData | |
61 // | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
62 // No MethodData*. |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
63 ciMethodData::ciMethodData() : ciMetadata(NULL) { |
0 | 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; | |
1783 | 69 _invocation_counter = 0; |
70 _backedge_counter = 0; | |
0 | 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(); | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
76 // Initialize the escape information (to "don't know."); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
77 _eflags = _arg_local = _arg_stack = _arg_returned = 0; |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
78 _parameters = NULL; |
0 | 79 } |
80 | |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
81 void ciMethodData::load_extra_data() { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
82 MethodData* mdo = get_MethodData(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
83 |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
84 // speculative trap entries also hold a pointer to a Method so need to be translated |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
85 DataLayout* dp_src = mdo->extra_data_base(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
86 DataLayout* end_src = mdo->extra_data_limit(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
87 DataLayout* dp_dst = extra_data_base(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
88 for (;; dp_src = MethodData::next_extra(dp_src), dp_dst = MethodData::next_extra(dp_dst)) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
89 assert(dp_src < end_src, "moved past end of extra data"); |
14674
53ed0f89f44e
8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90
roland
parents:
14500
diff
changeset
|
90 // New traps in the MDO can be added as we translate the copy so |
53ed0f89f44e
8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90
roland
parents:
14500
diff
changeset
|
91 // look at the entries in the copy. |
53ed0f89f44e
8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90
roland
parents:
14500
diff
changeset
|
92 switch(dp_dst->tag()) { |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
93 case DataLayout::speculative_trap_data_tag: { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
94 ciSpeculativeTrapData* data_dst = new ciSpeculativeTrapData(dp_dst); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
95 SpeculativeTrapData* data_src = new SpeculativeTrapData(dp_src); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
96 data_dst->translate_from(data_src); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
97 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
98 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
99 case DataLayout::bit_data_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
100 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
101 case DataLayout::no_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
102 case DataLayout::arg_info_data_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
103 // An empty slot or ArgInfoData entry marks the end of the trap data |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
104 return; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
105 default: |
14674
53ed0f89f44e
8035841: assert(dp_src->tag() == dp_dst->tag()) failed: should be same tags 1 != 0 at ciMethodData.cpp:90
roland
parents:
14500
diff
changeset
|
106 fatal(err_msg("bad tag = %d", dp_dst->tag())); |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
107 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
108 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
109 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
110 |
0 | 111 void ciMethodData::load_data() { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
112 MethodData* mdo = get_MethodData(); |
12868
c775af091fe9
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
12865
diff
changeset
|
113 if (mdo == NULL) { |
c775af091fe9
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
12865
diff
changeset
|
114 return; |
c775af091fe9
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
12865
diff
changeset
|
115 } |
0 | 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. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
123 Copy::disjoint_words((HeapWord*) mdo, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
124 (HeapWord*) &_orig, |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
125 sizeof(_orig) / HeapWordSize); |
0 | 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 } | |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
143 if (mdo->parameters_type_data() != NULL) { |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
144 _parameters = data_layout_at(mdo->parameters_type_data_di()); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
145 ciParametersTypeData* parameters = new ciParametersTypeData(_parameters); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
146 parameters->translate_from(mdo->parameters_type_data()); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
147 } |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
148 |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
149 load_extra_data(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
150 |
0 | 151 // Note: Extra data are all BitData, and do not need translation. |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
152 _current_mileage = MethodData::mileage_of(mdo->method()); |
1783 | 153 _invocation_counter = mdo->invocation_count(); |
154 _backedge_counter = mdo->backedge_count(); | |
0 | 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(); | |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
161 #ifndef PRODUCT |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
162 if (ReplayCompiles) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
163 ciReplay::initialize(this); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
164 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
165 #endif |
0 | 166 } |
167 | |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
168 void ciReceiverTypeData::translate_receiver_data_from(const ProfileData* data) { |
0 | 169 for (uint row = 0; row < row_limit(); row++) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
170 Klass* k = data->as_ReceiverTypeData()->receiver(row); |
0 | 171 if (k != NULL) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
172 ciKlass* klass = CURRENT_ENV->get_klass(k); |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17937
diff
changeset
|
173 CURRENT_ENV->ensure_metadata_alive(klass); |
0 | 174 set_receiver(row, klass); |
175 } | |
176 } | |
177 } | |
178 | |
179 | |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
180 void ciTypeStackSlotEntries::translate_type_data_from(const TypeStackSlotEntries* entries) { |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
181 for (int i = 0; i < _number_of_entries; i++) { |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
182 intptr_t k = entries->type(i); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
183 TypeStackSlotEntries::set_type(i, translate_klass(k)); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
184 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
185 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
186 |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
187 void ciReturnTypeEntry::translate_type_data_from(const ReturnTypeEntry* ret) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
188 intptr_t k = ret->type(); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
189 set_type(translate_klass(k)); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
190 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
191 |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
192 void ciSpeculativeTrapData::translate_from(const ProfileData* data) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
193 Method* m = data->as_SpeculativeTrapData()->method(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
194 ciMethod* ci_m = CURRENT_ENV->get_method(m); |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17937
diff
changeset
|
195 CURRENT_ENV->ensure_metadata_alive(ci_m); |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
196 set_method(ci_m); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
197 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
198 |
0 | 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); | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
227 case DataLayout::arg_info_data_tag: |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
228 return new ciArgInfoData(data_layout); |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
229 case DataLayout::call_type_data_tag: |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
230 return new ciCallTypeData(data_layout); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
231 case DataLayout::virtual_call_type_data_tag: |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
232 return new ciVirtualCallTypeData(data_layout); |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
233 case DataLayout::parameters_type_data_tag: |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
234 return new ciParametersTypeData(data_layout); |
0 | 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 | |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
246 ciProfileData* ciMethodData::bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots) { |
0 | 247 // bci_to_extra_data(bci) ... |
248 DataLayout* dp = data_layout_at(data_size()); | |
249 DataLayout* end = data_layout_at(data_size() + extra_data_size()); | |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
250 two_free_slots = false; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
251 for (;dp < end; dp = MethodData::next_extra(dp)) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
252 switch(dp->tag()) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
253 case DataLayout::no_tag: |
0 | 254 _saw_free_extra_data = true; // observed an empty slot (common case) |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
255 two_free_slots = (MethodData::next_extra(dp)->tag() == DataLayout::no_tag); |
0 | 256 return NULL; |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
257 case DataLayout::arg_info_data_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
258 return NULL; // ArgInfoData is at the end of extra data section. |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
259 case DataLayout::bit_data_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
260 if (m == NULL && dp->bci() == bci) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
261 return new ciBitData(dp); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
262 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
263 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
264 case DataLayout::speculative_trap_data_tag: { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
265 ciSpeculativeTrapData* data = new ciSpeculativeTrapData(dp); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
266 // data->method() might be null if the MDO is snapshotted |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
267 // concurrently with a trap |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
268 if (m != NULL && data->method() == m && dp->bci() == bci) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
269 return data; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
270 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
271 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
272 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
273 default: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
274 fatal(err_msg("bad tag = %d", dp->tag())); |
0 | 275 } |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
276 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
277 return NULL; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
278 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
279 |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
280 // Translate a bci to its corresponding data, or NULL. |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
281 ciProfileData* ciMethodData::bci_to_data(int bci, ciMethod* m) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
282 // If m is not NULL we look for a SpeculativeTrapData entry |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
283 if (m == NULL) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
284 ciProfileData* data = data_before(bci); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
285 for ( ; is_valid(data); data = next_data(data)) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
286 if (data->bci() == bci) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
287 set_hint_di(dp_to_di(data->dp())); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
288 return data; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
289 } else if (data->bci() > bci) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
290 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
291 } |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
292 } |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
293 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
294 bool two_free_slots = false; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
295 ciProfileData* result = bci_to_extra_data(bci, m, two_free_slots); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
296 if (result != NULL) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
297 return result; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
298 } |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
299 if (m != NULL && !two_free_slots) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
300 // We were looking for a SpeculativeTrapData entry we didn't |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
301 // find. Room is not available for more SpeculativeTrapData |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
302 // entries, look in the non SpeculativeTrapData entries. |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
303 return bci_to_data(bci, NULL); |
0 | 304 } |
305 return NULL; | |
306 } | |
307 | |
308 // Conservatively decode the trap_state of a ciProfileData. | |
309 int ciMethodData::has_trap_at(ciProfileData* data, int reason) { | |
310 typedef Deoptimization::DeoptReason DR_t; | |
311 int per_bc_reason | |
312 = Deoptimization::reason_recorded_per_bytecode_if_any((DR_t) reason); | |
313 if (trap_count(reason) == 0) { | |
314 // Impossible for this trap to have occurred, regardless of trap_state. | |
315 // Note: This happens if the MDO is empty. | |
316 return 0; | |
317 } else if (per_bc_reason == Deoptimization::Reason_none) { | |
318 // We cannot conclude anything; a trap happened somewhere, maybe here. | |
319 return -1; | |
320 } else if (data == NULL) { | |
321 // No profile here, not even an extra_data record allocated on the fly. | |
322 // If there are empty extra_data records, and there had been a trap, | |
323 // there would have been a non-null data pointer. If there are no | |
324 // free extra_data records, we must return a conservative -1. | |
325 if (_saw_free_extra_data) | |
326 return 0; // Q.E.D. | |
327 else | |
328 return -1; // bail with a conservative answer | |
329 } else { | |
330 return Deoptimization::trap_state_has_reason(data->trap_state(), per_bc_reason); | |
331 } | |
332 } | |
333 | |
334 int ciMethodData::trap_recompiled_at(ciProfileData* data) { | |
335 if (data == NULL) { | |
336 return (_saw_free_extra_data? 0: -1); // (see previous method) | |
337 } else { | |
338 return Deoptimization::trap_state_is_recompiled(data->trap_state())? 1: 0; | |
339 } | |
340 } | |
341 | |
342 void ciMethodData::clear_escape_info() { | |
343 VM_ENTRY_MARK; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
344 MethodData* mdo = get_MethodData(); |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
345 if (mdo != NULL) { |
0 | 346 mdo->clear_escape_info(); |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
347 ArgInfoData *aid = arg_info(); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
348 int arg_count = (aid == NULL) ? 0 : aid->number_of_args(); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
349 for (int i = 0; i < arg_count; i++) { |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
350 set_arg_modified(i, 0); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
351 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
352 } |
0 | 353 _eflags = _arg_local = _arg_stack = _arg_returned = 0; |
354 } | |
355 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
356 // copy our escape info to the MethodData* if it exists |
0 | 357 void ciMethodData::update_escape_info() { |
358 VM_ENTRY_MARK; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
359 MethodData* mdo = get_MethodData(); |
0 | 360 if ( mdo != NULL) { |
361 mdo->set_eflags(_eflags); | |
362 mdo->set_arg_local(_arg_local); | |
363 mdo->set_arg_stack(_arg_stack); | |
364 mdo->set_arg_returned(_arg_returned); | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
365 int arg_count = mdo->method()->size_of_parameters(); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
366 for (int i = 0; i < arg_count; i++) { |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
367 mdo->set_arg_modified(i, arg_modified(i)); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
368 } |
0 | 369 } |
370 } | |
371 | |
1783 | 372 void ciMethodData::set_compilation_stats(short loops, short blocks) { |
373 VM_ENTRY_MARK; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
374 MethodData* mdo = get_MethodData(); |
1783 | 375 if (mdo != NULL) { |
376 mdo->set_num_loops(loops); | |
377 mdo->set_num_blocks(blocks); | |
378 } | |
379 } | |
380 | |
381 void ciMethodData::set_would_profile(bool p) { | |
382 VM_ENTRY_MARK; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
383 MethodData* mdo = get_MethodData(); |
1783 | 384 if (mdo != NULL) { |
385 mdo->set_would_profile(p); | |
386 } | |
387 } | |
388 | |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
389 void ciMethodData::set_argument_type(int bci, int i, ciKlass* k) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
390 VM_ENTRY_MARK; |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
391 MethodData* mdo = get_MethodData(); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
392 if (mdo != NULL) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
393 ProfileData* data = mdo->bci_to_data(bci); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
394 if (data->is_CallTypeData()) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
395 data->as_CallTypeData()->set_argument_type(i, k->get_Klass()); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
396 } else { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
397 assert(data->is_VirtualCallTypeData(), "no arguments!"); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
398 data->as_VirtualCallTypeData()->set_argument_type(i, k->get_Klass()); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
399 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
400 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
401 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
402 |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
403 void ciMethodData::set_parameter_type(int i, ciKlass* k) { |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
404 VM_ENTRY_MARK; |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
405 MethodData* mdo = get_MethodData(); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
406 if (mdo != NULL) { |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
407 mdo->parameters_type_data()->set_type(i, k->get_Klass()); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
408 } |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
409 } |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
410 |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
411 void ciMethodData::set_return_type(int bci, ciKlass* k) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
412 VM_ENTRY_MARK; |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
413 MethodData* mdo = get_MethodData(); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
414 if (mdo != NULL) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
415 ProfileData* data = mdo->bci_to_data(bci); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
416 if (data->is_CallTypeData()) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
417 data->as_CallTypeData()->set_return_type(k->get_Klass()); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
418 } else { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
419 assert(data->is_VirtualCallTypeData(), "no arguments!"); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
420 data->as_VirtualCallTypeData()->set_return_type(k->get_Klass()); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
421 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
422 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
423 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
424 |
0 | 425 bool ciMethodData::has_escape_info() { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
426 return eflag_set(MethodData::estimated); |
0 | 427 } |
428 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
429 void ciMethodData::set_eflag(MethodData::EscapeFlag f) { |
0 | 430 set_bits(_eflags, f); |
431 } | |
432 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
433 void ciMethodData::clear_eflag(MethodData::EscapeFlag f) { |
0 | 434 clear_bits(_eflags, f); |
435 } | |
436 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
437 bool ciMethodData::eflag_set(MethodData::EscapeFlag f) const { |
0 | 438 return mask_bits(_eflags, f) != 0; |
439 } | |
440 | |
441 void ciMethodData::set_arg_local(int i) { | |
442 set_nth_bit(_arg_local, i); | |
443 } | |
444 | |
445 void ciMethodData::set_arg_stack(int i) { | |
446 set_nth_bit(_arg_stack, i); | |
447 } | |
448 | |
449 void ciMethodData::set_arg_returned(int i) { | |
450 set_nth_bit(_arg_returned, i); | |
451 } | |
452 | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
453 void ciMethodData::set_arg_modified(int arg, uint val) { |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
454 ArgInfoData *aid = arg_info(); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
455 if (aid == NULL) |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
456 return; |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
457 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number"); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
458 aid->set_arg_modified(arg, val); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
459 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
460 |
0 | 461 bool ciMethodData::is_arg_local(int i) const { |
462 return is_set_nth_bit(_arg_local, i); | |
463 } | |
464 | |
465 bool ciMethodData::is_arg_stack(int i) const { | |
466 return is_set_nth_bit(_arg_stack, i); | |
467 } | |
468 | |
469 bool ciMethodData::is_arg_returned(int i) const { | |
470 return is_set_nth_bit(_arg_returned, i); | |
471 } | |
472 | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
473 uint ciMethodData::arg_modified(int arg) const { |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
474 ArgInfoData *aid = arg_info(); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
475 if (aid == NULL) |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
476 return 0; |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
477 assert(arg >= 0 && arg < aid->number_of_args(), "valid argument number"); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
478 return aid->arg_modified(arg); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
479 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
480 |
0 | 481 ByteSize ciMethodData::offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
482 // Get offset within MethodData* of the data array |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
483 ByteSize data_offset = MethodData::data_offset(); |
0 | 484 |
485 // Get cell offset of the ProfileData within data array | |
486 int cell_offset = dp_to_di(data->dp()); | |
487 | |
488 // Add in counter_offset, the # of bytes into the ProfileData of counter or flag | |
489 int offset = in_bytes(data_offset) + cell_offset + in_bytes(slot_offset_in_data); | |
490 | |
491 return in_ByteSize(offset); | |
492 } | |
493 | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
494 ciArgInfoData *ciMethodData::arg_info() const { |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
495 // Should be last, have to skip all traps. |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
496 DataLayout* dp = data_layout_at(data_size()); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
497 DataLayout* end = data_layout_at(data_size() + extra_data_size()); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
498 for (; dp < end; dp = MethodData::next_extra(dp)) { |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
499 if (dp->tag() == DataLayout::arg_info_data_tag) |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
500 return new ciArgInfoData(dp); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
501 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
502 return NULL; |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
503 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
504 |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
505 |
0 | 506 // Implementation of the print method. |
507 void ciMethodData::print_impl(outputStream* st) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
1972
diff
changeset
|
508 ciMetadata::print_impl(st); |
0 | 509 } |
510 | |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
511 void ciMethodData::dump_replay_data(outputStream* out) { |
7990
fcc9e7681d63
8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents:
6972
diff
changeset
|
512 ResourceMark rm; |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
513 MethodData* mdo = get_MethodData(); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
514 Method* method = mdo->method(); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
515 Klass* holder = method->method_holder(); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
516 out->print("ciMethodData %s %s %s %d %d", |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
517 holder->name()->as_quoted_ascii(), |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
518 method->name()->as_quoted_ascii(), |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
519 method->signature()->as_quoted_ascii(), |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
520 _state, |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
521 current_mileage()); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
522 |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
523 // dump the contents of the MDO header as raw data |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
524 unsigned char* orig = (unsigned char*)&_orig; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
525 int length = sizeof(_orig); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
526 out->print(" orig %d", length); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
527 for (int i = 0; i < length; i++) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
528 out->print(" %d", orig[i]); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
529 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
530 |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
531 // dump the MDO data as raw data |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
532 int elements = data_size() / sizeof(intptr_t); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
533 out->print(" data %d", elements); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
534 for (int i = 0; i < elements; i++) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
535 // We could use INTPTR_FORMAT here but that's a zero justified |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
536 // which makes comparing it with the SA version of this output |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
537 // harder. |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
538 #ifdef _LP64 |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
539 out->print(" 0x%" FORMAT64_MODIFIER "x", data()[i]); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
540 #else |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
541 out->print(" 0x%x", data()[i]); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
542 #endif |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
543 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
544 |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
545 // The MDO contained oop references as ciObjects, so scan for those |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
546 // and emit pairs of offset and klass name so that they can be |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
547 // reconstructed at runtime. The first round counts the number of |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
548 // oop references and the second actually emits them. |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
549 int count = 0; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
550 for (int round = 0; round < 2; round++) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
551 if (round == 1) out->print(" oops %d", count); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
552 ProfileData* pdata = first_data(); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
553 for ( ; is_valid(pdata); pdata = next_data(pdata)) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
554 if (pdata->is_ReceiverTypeData()) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
555 ciReceiverTypeData* vdata = (ciReceiverTypeData*)pdata; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
556 for (uint i = 0; i < vdata->row_limit(); i++) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
557 ciKlass* k = vdata->receiver(i); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
558 if (k != NULL) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
559 if (round == 0) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
560 count++; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
561 } else { |
17937
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14674
diff
changeset
|
562 out->print(" %d %s", (int)(dp_to_di(vdata->dp() + in_bytes(vdata->receiver_offset(i))) / sizeof(intptr_t)), k->name()->as_quoted_ascii()); |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
563 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
564 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
565 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
566 } else if (pdata->is_VirtualCallData()) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
567 ciVirtualCallData* vdata = (ciVirtualCallData*)pdata; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
568 for (uint i = 0; i < vdata->row_limit(); i++) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
569 ciKlass* k = vdata->receiver(i); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
570 if (k != NULL) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
571 if (round == 0) { |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
572 count++; |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
573 } else { |
17937
78bbf4d43a14
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
14674
diff
changeset
|
574 out->print(" %d %s", (int)(dp_to_di(vdata->dp() + in_bytes(vdata->receiver_offset(i))) / sizeof(intptr_t)), k->name()->as_quoted_ascii()); |
6972
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
575 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
576 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
577 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
578 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
579 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
580 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
581 out->cr(); |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
582 } |
bd7a7ce2e264
6830717: replay of compilations would help with debugging
minqi
parents:
6725
diff
changeset
|
583 |
0 | 584 #ifndef PRODUCT |
585 void ciMethodData::print() { | |
586 print_data_on(tty); | |
587 } | |
588 | |
589 void ciMethodData::print_data_on(outputStream* st) { | |
590 ResourceMark rm; | |
591 ciProfileData* data; | |
592 for (data = first_data(); is_valid(data); data = next_data(data)) { | |
593 st->print("%d", dp_to_di(data->dp())); | |
594 st->fill_to(6); | |
595 data->print_data_on(st); | |
596 } | |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
597 st->print_cr("--- Extra data:"); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
598 DataLayout* dp = data_layout_at(data_size()); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
599 DataLayout* end = data_layout_at(data_size() + extra_data_size()); |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
600 for (;; dp = MethodData::next_extra(dp)) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
601 assert(dp < end, "moved past end of extra data"); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
602 switch (dp->tag()) { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
603 case DataLayout::no_tag: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
604 continue; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
605 case DataLayout::bit_data_tag: |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
606 data = new BitData(dp); |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
607 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
608 case DataLayout::arg_info_data_tag: |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
609 data = new ciArgInfoData(dp); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
610 dp = end; // ArgInfoData is at the end of extra data section. |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
611 break; |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
612 default: |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
613 fatal(err_msg("unexpected tag %d", dp->tag())); |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
614 } |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
615 st->print("%d", dp_to_di(data->dp())); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
616 st->fill_to(6); |
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
617 data->print_data_on(st); |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
618 if (dp >= end) return; |
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
619 } |
0 | 620 } |
621 | |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
622 void ciTypeEntries::print_ciklass(outputStream* st, intptr_t k) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
623 if (TypeEntries::is_type_none(k)) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
624 st->print("none"); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
625 } else if (TypeEntries::is_type_unknown(k)) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
626 st->print("unknown"); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
627 } else { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
628 valid_ciklass(k)->print_name_on(st); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
629 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
630 if (TypeEntries::was_null_seen(k)) { |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
631 st->print(" (null seen)"); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
632 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
633 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
634 |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
635 void ciTypeStackSlotEntries::print_data_on(outputStream* st) const { |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
636 for (int i = 0; i < _number_of_entries; i++) { |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
637 _pd->tab(st); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
638 st->print("%d: stack (%u) ", i, stack_slot(i)); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
639 print_ciklass(st, type(i)); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
640 st->cr(); |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
641 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
642 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
643 |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
644 void ciReturnTypeEntry::print_data_on(outputStream* st) const { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
645 _pd->tab(st); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
646 st->print("ret "); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
647 print_ciklass(st, type()); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
648 st->cr(); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
649 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
650 |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
651 void ciCallTypeData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
652 print_shared(st, "ciCallTypeData", extra); |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
653 if (has_arguments()) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
654 tab(st, true); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
655 st->print("argument types"); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
656 args()->print_data_on(st); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
657 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
658 if (has_return()) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
659 tab(st, true); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
660 st->print("return type"); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
661 ret()->print_data_on(st); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
662 } |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
663 } |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
664 |
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
665 void ciReceiverTypeData::print_receiver_data_on(outputStream* st) const { |
0 | 666 uint row; |
667 int entries = 0; | |
668 for (row = 0; row < row_limit(); row++) { | |
669 if (receiver(row) != NULL) entries++; | |
670 } | |
671 st->print_cr("count(%u) entries(%u)", count(), entries); | |
672 for (row = 0; row < row_limit(); row++) { | |
673 if (receiver(row) != NULL) { | |
674 tab(st); | |
675 receiver(row)->print_name_on(st); | |
676 st->print_cr("(%u)", receiver_count(row)); | |
677 } | |
678 } | |
679 } | |
680 | |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
681 void ciReceiverTypeData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
682 print_shared(st, "ciReceiverTypeData", extra); |
0 | 683 print_receiver_data_on(st); |
684 } | |
685 | |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
686 void ciVirtualCallData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
687 print_shared(st, "ciVirtualCallData", extra); |
0 | 688 rtd_super()->print_receiver_data_on(st); |
689 } | |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
690 |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
691 void ciVirtualCallTypeData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
692 print_shared(st, "ciVirtualCallTypeData", extra); |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
693 rtd_super()->print_receiver_data_on(st); |
12882
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
694 if (has_arguments()) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
695 tab(st, true); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
696 st->print("argument types"); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
697 args()->print_data_on(st); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
698 } |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
699 if (has_return()) { |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
700 tab(st, true); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
701 st->print("return type"); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
702 ret()->print_data_on(st); |
ce0cc25bc5e2
8026054: New type profiling points: type of return values at calls
roland
parents:
12875
diff
changeset
|
703 } |
12875
d13d7aba8c12
8023657: New type profiling points: arguments to call
roland
parents:
12868
diff
changeset
|
704 } |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
705 |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
706 void ciParametersTypeData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
707 st->print_cr("ciParametersTypeData"); |
12962
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
708 parameters()->print_data_on(st); |
5ccbab1c69f3
8026251: New type profiling points: parameters to methods
roland
parents:
12882
diff
changeset
|
709 } |
14500
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
710 |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
711 void ciSpeculativeTrapData::print_data_on(outputStream* st, const char* extra) const { |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
712 st->print_cr("ciSpeculativeTrapData"); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
713 tab(st); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
714 method()->print_short_name(st); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
715 st->cr(); |
fdad2932c73f
8031752: Failed speculative optimizations should be reattempted when root of compilation is different
roland
parents:
14223
diff
changeset
|
716 } |
0 | 717 #endif |