annotate src/share/vm/ci/ciField.cpp @ 3762:5c0a3c1858b1

7048782: CMS: assert(last_chunk_index_to_check<= last_chunk_index) failed: parCardTableModRefBS.cpp:359 Summary: The LNC array is sized before the start of a scavenge, while the heap may expand during a scavenge. With CMS, the last block of an arbitrary suffice of the LNC array may expand due to coalition with the expansion delta. We now take care not to attempt access past the end of the LNC array. LNC array code will be cleaned up and suitably encapsulated as part of the forthcoming performance RFE 7043675. Reviewed-by: brutisso
author ysr
date Thu, 02 Jun 2011 10:23:36 -0700
parents c7f3d0b4570f
children 0654ee04b214 81d815b05abb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
2261
1957c1478794 7019819: bare oop in ciField
never
parents: 2177
diff changeset
2 * Copyright (c) 1999, 2011, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1173
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1173
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: 1173
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
26 #include "ci/ciField.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
27 #include "ci/ciInstanceKlass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
28 #include "ci/ciUtilities.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
29 #include "classfile/systemDictionary.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
30 #include "gc_interface/collectedHeap.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
31 #include "interpreter/linkResolver.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
32 #include "memory/universe.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
33 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
34 #include "oops/oop.inline2.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1682
diff changeset
35 #include "runtime/fieldDescriptor.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // ciField
a61af66fc99e Initial load
duke
parents:
diff changeset
38 //
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // This class represents the result of a field lookup in the VM.
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // The lookup may not succeed, in which case the information in
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // the ciField will be incomplete.
a61af66fc99e Initial load
duke
parents:
diff changeset
42
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // The ciObjectFactory cannot create circular data structures in one query.
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // To avoid vicious circularities, we initialize ciField::_type to NULL
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // for reference types and derive it lazily from the ciField::_signature.
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // Primitive types are eagerly initialized, and basic layout queries
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // can succeed without initialization, using only the BasicType of the field.
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Notes on bootstrapping and shared CI objects: A field is shared if and
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // only if it is (a) non-static and (b) declared by a shared instance klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // This allows non-static field lists to be cached on shared types.
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // Because the _type field is lazily initialized, however, there is a
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // special restriction that a shared field cannot cache an unshared type.
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // This puts a small performance penalty on shared fields with unshared
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // types, such as StackTraceElement[] Throwable.stackTrace.
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // (Throwable is shared because ClassCastException is shared, but
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // StackTraceElement is not presently shared.)
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // It is not a vicious circularity for a ciField to recursively create
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // the ciSymbols necessary to represent its name and signature.
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // Therefore, these items are created eagerly, and the name and signature
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // of a shared field are themselves shared symbols. This somewhat
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // pollutes the set of shared CI objects: It grows from 50 to 93 items,
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // with all of the additional 43 being uninteresting shared ciSymbols.
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // This adds at most one step to the binary search, an amount which
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // decreases for complex compilation tasks.
a61af66fc99e Initial load
duke
parents:
diff changeset
67
a61af66fc99e Initial load
duke
parents:
diff changeset
68 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
69 // ciField::ciField
a61af66fc99e Initial load
duke
parents:
diff changeset
70 ciField::ciField(ciInstanceKlass* klass, int index): _known_to_link_with(NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
71 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
72 CompilerThread *thread = CompilerThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
73
a61af66fc99e Initial load
duke
parents:
diff changeset
74 assert(ciObjectFactory::is_initialized(), "not a shared field");
a61af66fc99e Initial load
duke
parents:
diff changeset
75
a61af66fc99e Initial load
duke
parents:
diff changeset
76 assert(klass->get_instanceKlass()->is_linked(), "must be linked before using its constan-pool");
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 _cp_index = index;
a61af66fc99e Initial load
duke
parents:
diff changeset
79 constantPoolHandle cpool(thread, klass->get_instanceKlass()->constants());
a61af66fc99e Initial load
duke
parents:
diff changeset
80
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // Get the field's name, signature, and type.
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
82 Symbol* name = cpool->name_ref_at(index);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
83 _name = ciEnv::current(thread)->get_symbol(name);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
84
a61af66fc99e Initial load
duke
parents:
diff changeset
85 int nt_index = cpool->name_and_type_ref_index_at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
86 int sig_index = cpool->signature_ref_index_at(nt_index);
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
87 Symbol* signature = cpool->symbol_at(sig_index);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
88 _signature = ciEnv::current(thread)->get_symbol(signature);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
89
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
90 BasicType field_type = FieldType::basic_type(signature);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // If the field is a pointer type, get the klass of the
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // field.
a61af66fc99e Initial load
duke
parents:
diff changeset
94 if (field_type == T_OBJECT || field_type == T_ARRAY) {
a61af66fc99e Initial load
duke
parents:
diff changeset
95 bool ignore;
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // This is not really a class reference; the index always refers to the
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // field's type signature, as a symbol. Linkage checks do not apply.
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
98 _type = ciEnv::current(thread)->get_klass_by_index(cpool, sig_index, ignore, klass);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
99 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _type = ciType::make(field_type);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 }
a61af66fc99e Initial load
duke
parents:
diff changeset
102
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
103 _name = (ciSymbol*)ciEnv::current(thread)->get_symbol(name);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
104
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // Get the field's declared holder.
a61af66fc99e Initial load
duke
parents:
diff changeset
106 //
a61af66fc99e Initial load
duke
parents:
diff changeset
107 // Note: we actually create a ciInstanceKlass for this klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
108 // even though we may not need to.
a61af66fc99e Initial load
duke
parents:
diff changeset
109 int holder_index = cpool->klass_ref_index_at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
110 bool holder_is_accessible;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 ciInstanceKlass* declared_holder =
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
112 ciEnv::current(thread)->get_klass_by_index(cpool, holder_index,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
113 holder_is_accessible,
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
114 klass)->as_instance_klass();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // The declared holder of this field may not have been loaded.
a61af66fc99e Initial load
duke
parents:
diff changeset
117 // Bail out with partial field information.
a61af66fc99e Initial load
duke
parents:
diff changeset
118 if (!holder_is_accessible) {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 // _cp_index and _type have already been set.
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // The default values for _flags and _constant_value will suffice.
a61af66fc99e Initial load
duke
parents:
diff changeset
121 // We need values for _holder, _offset, and _is_constant,
a61af66fc99e Initial load
duke
parents:
diff changeset
122 _holder = declared_holder;
a61af66fc99e Initial load
duke
parents:
diff changeset
123 _offset = -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
124 _is_constant = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
125 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
126 }
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 instanceKlass* loaded_decl_holder = declared_holder->get_instanceKlass();
a61af66fc99e Initial load
duke
parents:
diff changeset
129
a61af66fc99e Initial load
duke
parents:
diff changeset
130 // Perform the field lookup.
a61af66fc99e Initial load
duke
parents:
diff changeset
131 fieldDescriptor field_desc;
a61af66fc99e Initial load
duke
parents:
diff changeset
132 klassOop canonical_holder =
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
133 loaded_decl_holder->find_field(name, signature, &field_desc);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
134 if (canonical_holder == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // Field lookup failed. Will be detected by will_link.
a61af66fc99e Initial load
duke
parents:
diff changeset
136 _holder = declared_holder;
a61af66fc99e Initial load
duke
parents:
diff changeset
137 _offset = -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
138 _is_constant = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
139 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
140 }
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 assert(canonical_holder == field_desc.field_holder(), "just checking");
a61af66fc99e Initial load
duke
parents:
diff changeset
143 initialize_from(&field_desc);
a61af66fc99e Initial load
duke
parents:
diff changeset
144 }
a61af66fc99e Initial load
duke
parents:
diff changeset
145
a61af66fc99e Initial load
duke
parents:
diff changeset
146 ciField::ciField(fieldDescriptor *fd): _known_to_link_with(NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
148
a61af66fc99e Initial load
duke
parents:
diff changeset
149 _cp_index = -1;
a61af66fc99e Initial load
duke
parents:
diff changeset
150
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // Get the field's name, signature, and type.
a61af66fc99e Initial load
duke
parents:
diff changeset
152 ciEnv* env = CURRENT_ENV;
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
153 _name = env->get_symbol(fd->name());
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
154 _signature = env->get_symbol(fd->signature());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
155
a61af66fc99e Initial load
duke
parents:
diff changeset
156 BasicType field_type = fd->field_type();
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 // If the field is a pointer type, get the klass of the
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // field.
a61af66fc99e Initial load
duke
parents:
diff changeset
160 if (field_type == T_OBJECT || field_type == T_ARRAY) {
a61af66fc99e Initial load
duke
parents:
diff changeset
161 _type = NULL; // must call compute_type on first access
a61af66fc99e Initial load
duke
parents:
diff changeset
162 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
163 _type = ciType::make(field_type);
a61af66fc99e Initial load
duke
parents:
diff changeset
164 }
a61af66fc99e Initial load
duke
parents:
diff changeset
165
a61af66fc99e Initial load
duke
parents:
diff changeset
166 initialize_from(fd);
a61af66fc99e Initial load
duke
parents:
diff changeset
167
a61af66fc99e Initial load
duke
parents:
diff changeset
168 // Either (a) it is marked shared, or else (b) we are done bootstrapping.
a61af66fc99e Initial load
duke
parents:
diff changeset
169 assert(is_shared() || ciObjectFactory::is_initialized(),
a61af66fc99e Initial load
duke
parents:
diff changeset
170 "bootstrap classes must not create & cache unshared fields");
a61af66fc99e Initial load
duke
parents:
diff changeset
171 }
a61af66fc99e Initial load
duke
parents:
diff changeset
172
1173
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
173 static bool trust_final_non_static_fields(ciInstanceKlass* holder) {
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
174 if (holder == NULL)
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
175 return false;
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
176 if (holder->name() == ciSymbol::java_lang_System())
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
177 // Never trust strangely unstable finals: System.out, etc.
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
178 return false;
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
179 // Even if general trusting is disabled, trust system-built closures in these packages.
2357
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2261
diff changeset
180 if (holder->is_in_package("java/lang/invoke") || holder->is_in_package("sun/invoke"))
1173
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
181 return true;
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
182 return TrustFinalNonStaticFields;
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
183 }
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
184
0
a61af66fc99e Initial load
duke
parents:
diff changeset
185 void ciField::initialize_from(fieldDescriptor* fd) {
a61af66fc99e Initial load
duke
parents:
diff changeset
186 // Get the flags, offset, and canonical holder of the field.
a61af66fc99e Initial load
duke
parents:
diff changeset
187 _flags = ciFlags(fd->access_flags());
a61af66fc99e Initial load
duke
parents:
diff changeset
188 _offset = fd->offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
189 _holder = CURRENT_ENV->get_object(fd->field_holder())->as_instance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
190
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // Check to see if the field is constant.
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
192 if (_holder->is_initialized() && this->is_final()) {
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
193 if (!this->is_static()) {
2357
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2261
diff changeset
194 // A field can be constant if it's a final static field or if
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2261
diff changeset
195 // it's a final non-static field of a trusted class (classes in
8033953d67ff 7012648: move JSR 292 to package java.lang.invoke and adjust names
jrose
parents: 2261
diff changeset
196 // java.lang.invoke and sun.invoke packages and subpackages).
1173
73b22f919c34 6912065: final fields in objects need to support inlining optimizations for JSR 292
jrose
parents: 1142
diff changeset
197 if (trust_final_non_static_fields(_holder)) {
1138
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
198 _is_constant = true;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
199 return;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
200 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
201 _is_constant = false;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
202 return;
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
203 }
dd57230ba8fe 6893268: additional dynamic language related optimizations in C2
twisti
parents: 0
diff changeset
204
0
a61af66fc99e Initial load
duke
parents:
diff changeset
205 // This field just may be constant. The only cases where it will
a61af66fc99e Initial load
duke
parents:
diff changeset
206 // not be constant are:
a61af66fc99e Initial load
duke
parents:
diff changeset
207 //
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // 1. The field holds a non-perm-space oop. The field is, strictly
a61af66fc99e Initial load
duke
parents:
diff changeset
209 // speaking, constant but we cannot embed non-perm-space oops into
a61af66fc99e Initial load
duke
parents:
diff changeset
210 // generated code. For the time being we need to consider the
a61af66fc99e Initial load
duke
parents:
diff changeset
211 // field to be not constant.
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // 2. The field is a *special* static&final field whose value
a61af66fc99e Initial load
duke
parents:
diff changeset
213 // may change. The three examples are java.lang.System.in,
a61af66fc99e Initial load
duke
parents:
diff changeset
214 // java.lang.System.out, and java.lang.System.err.
a61af66fc99e Initial load
duke
parents:
diff changeset
215
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
216 KlassHandle k = _holder->get_klassOop();
1142
4ce7240d622c 6914300: ciEnv should export all well known classes
never
parents: 1138
diff changeset
217 assert( SystemDictionary::System_klass() != NULL, "Check once per vm");
2261
1957c1478794 7019819: bare oop in ciField
never
parents: 2177
diff changeset
218 if( k() == SystemDictionary::System_klass() ) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
219 // Check offsets for case 2: System.in, System.out, or System.err
a61af66fc99e Initial load
duke
parents:
diff changeset
220 if( _offset == java_lang_System::in_offset_in_bytes() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
221 _offset == java_lang_System::out_offset_in_bytes() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
222 _offset == java_lang_System::err_offset_in_bytes() ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
223 _is_constant = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
224 return;
a61af66fc99e Initial load
duke
parents:
diff changeset
225 }
a61af66fc99e Initial load
duke
parents:
diff changeset
226 }
a61af66fc99e Initial load
duke
parents:
diff changeset
227
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
228 Handle mirror = k->java_mirror();
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
229
0
a61af66fc99e Initial load
duke
parents:
diff changeset
230 _is_constant = true;
a61af66fc99e Initial load
duke
parents:
diff changeset
231 switch(type()->basic_type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
232 case T_BYTE:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
233 _constant_value = ciConstant(type()->basic_type(), mirror->byte_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
234 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
235 case T_CHAR:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
236 _constant_value = ciConstant(type()->basic_type(), mirror->char_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
237 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
238 case T_SHORT:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
239 _constant_value = ciConstant(type()->basic_type(), mirror->short_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
240 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
241 case T_BOOLEAN:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
242 _constant_value = ciConstant(type()->basic_type(), mirror->bool_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
243 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
244 case T_INT:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
245 _constant_value = ciConstant(type()->basic_type(), mirror->int_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
246 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
247 case T_FLOAT:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
248 _constant_value = ciConstant(mirror->float_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
249 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
250 case T_DOUBLE:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
251 _constant_value = ciConstant(mirror->double_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
252 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
253 case T_LONG:
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
254 _constant_value = ciConstant(mirror->long_field(_offset));
0
a61af66fc99e Initial load
duke
parents:
diff changeset
255 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
256 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
257 case T_ARRAY:
a61af66fc99e Initial load
duke
parents:
diff changeset
258 {
2376
c7f3d0b4570f 7017732: move static fields into Class to prepare for perm gen removal
never
parents: 2357
diff changeset
259 oop o = mirror->obj_field(_offset);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
260
a61af66fc99e Initial load
duke
parents:
diff changeset
261 // A field will be "constant" if it is known always to be
a61af66fc99e Initial load
duke
parents:
diff changeset
262 // a non-null reference to an instance of a particular class,
a61af66fc99e Initial load
duke
parents:
diff changeset
263 // or to a particular array. This can happen even if the instance
a61af66fc99e Initial load
duke
parents:
diff changeset
264 // or array is not perm. In such a case, an "unloaded" ciArray
a61af66fc99e Initial load
duke
parents:
diff changeset
265 // or ciInstance is created. The compiler may be able to use
a61af66fc99e Initial load
duke
parents:
diff changeset
266 // information about the object's class (which is exact) or length.
a61af66fc99e Initial load
duke
parents:
diff changeset
267
a61af66fc99e Initial load
duke
parents:
diff changeset
268 if (o == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
269 _constant_value = ciConstant(type()->basic_type(), ciNullObject::make());
a61af66fc99e Initial load
duke
parents:
diff changeset
270 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
271 _constant_value = ciConstant(type()->basic_type(), CURRENT_ENV->get_object(o));
a61af66fc99e Initial load
duke
parents:
diff changeset
272 assert(_constant_value.as_object() == CURRENT_ENV->get_object(o), "check interning");
a61af66fc99e Initial load
duke
parents:
diff changeset
273 }
a61af66fc99e Initial load
duke
parents:
diff changeset
274 }
a61af66fc99e Initial load
duke
parents:
diff changeset
275 }
a61af66fc99e Initial load
duke
parents:
diff changeset
276 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
277 _is_constant = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
278 }
a61af66fc99e Initial load
duke
parents:
diff changeset
279 }
a61af66fc99e Initial load
duke
parents:
diff changeset
280
a61af66fc99e Initial load
duke
parents:
diff changeset
281 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
282 // ciField::compute_type
a61af66fc99e Initial load
duke
parents:
diff changeset
283 //
a61af66fc99e Initial load
duke
parents:
diff changeset
284 // Lazily compute the type, if it is an instance klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
285 ciType* ciField::compute_type() {
a61af66fc99e Initial load
duke
parents:
diff changeset
286 GUARDED_VM_ENTRY(return compute_type_impl();)
a61af66fc99e Initial load
duke
parents:
diff changeset
287 }
a61af66fc99e Initial load
duke
parents:
diff changeset
288
a61af66fc99e Initial load
duke
parents:
diff changeset
289 ciType* ciField::compute_type_impl() {
a61af66fc99e Initial load
duke
parents:
diff changeset
290 ciKlass* type = CURRENT_ENV->get_klass_by_name_impl(_holder, _signature, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
291 if (!type->is_primitive_type() && is_shared()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // We must not cache a pointer to an unshared type, in a shared field.
a61af66fc99e Initial load
duke
parents:
diff changeset
293 bool type_is_also_shared = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
294 if (type->is_type_array_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
295 type_is_also_shared = true; // int[] etc. are explicitly bootstrapped
a61af66fc99e Initial load
duke
parents:
diff changeset
296 } else if (type->is_instance_klass()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
297 type_is_also_shared = type->as_instance_klass()->is_shared();
a61af66fc99e Initial load
duke
parents:
diff changeset
298 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
299 // Currently there is no 'shared' query for array types.
a61af66fc99e Initial load
duke
parents:
diff changeset
300 type_is_also_shared = !ciObjectFactory::is_initialized();
a61af66fc99e Initial load
duke
parents:
diff changeset
301 }
a61af66fc99e Initial load
duke
parents:
diff changeset
302 if (!type_is_also_shared)
a61af66fc99e Initial load
duke
parents:
diff changeset
303 return type; // Bummer.
a61af66fc99e Initial load
duke
parents:
diff changeset
304 }
a61af66fc99e Initial load
duke
parents:
diff changeset
305 _type = type;
a61af66fc99e Initial load
duke
parents:
diff changeset
306 return type;
a61af66fc99e Initial load
duke
parents:
diff changeset
307 }
a61af66fc99e Initial load
duke
parents:
diff changeset
308
a61af66fc99e Initial load
duke
parents:
diff changeset
309
a61af66fc99e Initial load
duke
parents:
diff changeset
310 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
311 // ciField::will_link
a61af66fc99e Initial load
duke
parents:
diff changeset
312 //
a61af66fc99e Initial load
duke
parents:
diff changeset
313 // Can a specific access to this field be made without causing
a61af66fc99e Initial load
duke
parents:
diff changeset
314 // link errors?
a61af66fc99e Initial load
duke
parents:
diff changeset
315 bool ciField::will_link(ciInstanceKlass* accessing_klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
316 Bytecodes::Code bc) {
a61af66fc99e Initial load
duke
parents:
diff changeset
317 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
318 if (_offset == -1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
319 // at creation we couldn't link to our holder so we need to
a61af66fc99e Initial load
duke
parents:
diff changeset
320 // maintain that stance, otherwise there's no safe way to use this
a61af66fc99e Initial load
duke
parents:
diff changeset
321 // ciField.
a61af66fc99e Initial load
duke
parents:
diff changeset
322 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
323 }
a61af66fc99e Initial load
duke
parents:
diff changeset
324
a61af66fc99e Initial load
duke
parents:
diff changeset
325 if (_known_to_link_with == accessing_klass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
326 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
327 }
a61af66fc99e Initial load
duke
parents:
diff changeset
328
a61af66fc99e Initial load
duke
parents:
diff changeset
329 FieldAccessInfo result;
a61af66fc99e Initial load
duke
parents:
diff changeset
330 constantPoolHandle c_pool(THREAD,
a61af66fc99e Initial load
duke
parents:
diff changeset
331 accessing_klass->get_instanceKlass()->constants());
a61af66fc99e Initial load
duke
parents:
diff changeset
332 LinkResolver::resolve_field(result, c_pool, _cp_index,
a61af66fc99e Initial load
duke
parents:
diff changeset
333 Bytecodes::java_code(bc),
a61af66fc99e Initial load
duke
parents:
diff changeset
334 true, false, KILL_COMPILE_ON_FATAL_(false));
a61af66fc99e Initial load
duke
parents:
diff changeset
335
a61af66fc99e Initial load
duke
parents:
diff changeset
336 // update the hit-cache, unless there is a problem with memory scoping:
a61af66fc99e Initial load
duke
parents:
diff changeset
337 if (accessing_klass->is_shared() || !is_shared())
a61af66fc99e Initial load
duke
parents:
diff changeset
338 _known_to_link_with = accessing_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
339
a61af66fc99e Initial load
duke
parents:
diff changeset
340 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
341 }
a61af66fc99e Initial load
duke
parents:
diff changeset
342
a61af66fc99e Initial load
duke
parents:
diff changeset
343 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
344 // ciField::print
a61af66fc99e Initial load
duke
parents:
diff changeset
345 void ciField::print() {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 tty->print("<ciField ");
a61af66fc99e Initial load
duke
parents:
diff changeset
347 _holder->print_name();
a61af66fc99e Initial load
duke
parents:
diff changeset
348 tty->print(".");
a61af66fc99e Initial load
duke
parents:
diff changeset
349 _name->print_symbol();
a61af66fc99e Initial load
duke
parents:
diff changeset
350 tty->print(" offset=%d type=", _offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
351 if (_type != NULL) _type->print_name();
a61af66fc99e Initial load
duke
parents:
diff changeset
352 else tty->print("(reference)");
a61af66fc99e Initial load
duke
parents:
diff changeset
353 tty->print(" is_constant=%s", bool_to_str(_is_constant));
1682
e5dfb3ccb88b 6969569: assert(is_static() && is_constant()) failed: illegal call to constant_value()
kvn
parents: 1552
diff changeset
354 if (_is_constant && is_static()) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
355 tty->print(" constant_value=");
a61af66fc99e Initial load
duke
parents:
diff changeset
356 _constant_value.print();
a61af66fc99e Initial load
duke
parents:
diff changeset
357 }
a61af66fc99e Initial load
duke
parents:
diff changeset
358 tty->print(">");
a61af66fc99e Initial load
duke
parents:
diff changeset
359 }
a61af66fc99e Initial load
duke
parents:
diff changeset
360
a61af66fc99e Initial load
duke
parents:
diff changeset
361 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
362 // ciField::print_name_on
a61af66fc99e Initial load
duke
parents:
diff changeset
363 //
a61af66fc99e Initial load
duke
parents:
diff changeset
364 // Print the name of this field
a61af66fc99e Initial load
duke
parents:
diff changeset
365 void ciField::print_name_on(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
366 name()->print_symbol_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
367 }