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