annotate src/share/vm/ci/ciMethodData.cpp @ 14500:fdad2932c73f

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