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