annotate src/share/vm/ci/ciObjArrayKlass.cpp @ 666:ebebd376f657

6805522: Server VM fails with assertion (block1->start() != block2->start(),"successors have unique bcis") Reviewed-by: kvn
author never
date Mon, 23 Mar 2009 13:58:58 -0700
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 1999-2007 Sun Microsystems, Inc. All Rights Reserved.
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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 #include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 #include "incls/_ciObjArrayKlass.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // ciObjArrayKlass
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // This class represents a klassOop in the HotSpot virtual machine
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // whose Klass part is an objArrayKlass.
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // ciObjArrayKlass::ciObjArrayKlass
a61af66fc99e Initial load
duke
parents:
diff changeset
35 //
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // Constructor for loaded object array klasses.
a61af66fc99e Initial load
duke
parents:
diff changeset
37 ciObjArrayKlass::ciObjArrayKlass(KlassHandle h_k) : ciArrayKlass(h_k) {
a61af66fc99e Initial load
duke
parents:
diff changeset
38 assert(get_Klass()->oop_is_objArray(), "wrong type");
a61af66fc99e Initial load
duke
parents:
diff changeset
39 klassOop element_klassOop = get_objArrayKlass()->bottom_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
40 _base_element_klass = CURRENT_ENV->get_object(element_klassOop)->as_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
41 assert(_base_element_klass->is_instance_klass() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _base_element_klass->is_type_array_klass(), "bad base klass");
a61af66fc99e Initial load
duke
parents:
diff changeset
43 if (dimension() == 1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
44 _element_klass = _base_element_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
46 _element_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
47 }
a61af66fc99e Initial load
duke
parents:
diff changeset
48 if (!ciObjectFactory::is_initialized()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
49 assert(_element_klass->is_java_lang_Object(), "only arrays of object are shared");
a61af66fc99e Initial load
duke
parents:
diff changeset
50 }
a61af66fc99e Initial load
duke
parents:
diff changeset
51 }
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // ciObjArrayKlass::ciObjArrayKlass
a61af66fc99e Initial load
duke
parents:
diff changeset
55 //
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // Constructor for unloaded object array klasses.
a61af66fc99e Initial load
duke
parents:
diff changeset
57 ciObjArrayKlass::ciObjArrayKlass(ciSymbol* array_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
58 ciKlass* base_element_klass,
a61af66fc99e Initial load
duke
parents:
diff changeset
59 int dimension)
a61af66fc99e Initial load
duke
parents:
diff changeset
60 : ciArrayKlass(array_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
61 dimension,
a61af66fc99e Initial load
duke
parents:
diff changeset
62 ciObjArrayKlassKlass::make()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 _base_element_klass = base_element_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
64 assert(_base_element_klass->is_instance_klass() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
65 _base_element_klass->is_type_array_klass(), "bad base klass");
a61af66fc99e Initial load
duke
parents:
diff changeset
66 if (dimension == 1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 _element_klass = base_element_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
68 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
69 _element_klass = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // ciObjArrayKlass::element_klass
a61af66fc99e Initial load
duke
parents:
diff changeset
75 //
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // What is the one-level element type of this array?
a61af66fc99e Initial load
duke
parents:
diff changeset
77 ciKlass* ciObjArrayKlass::element_klass() {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 if (_element_klass == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
79 assert(dimension() > 1, "_element_klass should not be NULL");
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // Produce the element klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
81 if (is_loaded()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
82 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
83 klassOop element_klassOop = get_objArrayKlass()->element_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
84 _element_klass = CURRENT_THREAD_ENV->get_object(element_klassOop)->as_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
85 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
86 VM_ENTRY_MARK;
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // We are an unloaded array klass. Attempt to fetch our
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // element klass by name.
a61af66fc99e Initial load
duke
parents:
diff changeset
89 _element_klass = CURRENT_THREAD_ENV->get_klass_by_name_impl(
a61af66fc99e Initial load
duke
parents:
diff changeset
90 this,
a61af66fc99e Initial load
duke
parents:
diff changeset
91 construct_array_name(base_element_klass()->name(),
a61af66fc99e Initial load
duke
parents:
diff changeset
92 dimension() - 1),
a61af66fc99e Initial load
duke
parents:
diff changeset
93 false);
a61af66fc99e Initial load
duke
parents:
diff changeset
94 }
a61af66fc99e Initial load
duke
parents:
diff changeset
95 }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 return _element_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
97 }
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
100 // ciObjArrayKlass::construct_array_name
a61af66fc99e Initial load
duke
parents:
diff changeset
101 //
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // Build an array name from an element name and a dimension.
a61af66fc99e Initial load
duke
parents:
diff changeset
103 ciSymbol* ciObjArrayKlass::construct_array_name(ciSymbol* element_name,
a61af66fc99e Initial load
duke
parents:
diff changeset
104 int dimension) {
a61af66fc99e Initial load
duke
parents:
diff changeset
105 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
106 int element_len = element_name->utf8_length();
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 symbolOop base_name_sym = element_name->get_symbolOop();
a61af66fc99e Initial load
duke
parents:
diff changeset
109 char* name;
a61af66fc99e Initial load
duke
parents:
diff changeset
110
a61af66fc99e Initial load
duke
parents:
diff changeset
111 if (base_name_sym->byte_at(0) == '[' ||
a61af66fc99e Initial load
duke
parents:
diff changeset
112 (base_name_sym->byte_at(0) == 'L' && // watch package name 'Lxx'
a61af66fc99e Initial load
duke
parents:
diff changeset
113 base_name_sym->byte_at(element_len-1) == ';')) {
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 int new_len = element_len + dimension + 1; // for the ['s and '\0'
a61af66fc99e Initial load
duke
parents:
diff changeset
116 name = CURRENT_THREAD_ENV->name_buffer(new_len);
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 int pos = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
119 for ( ; pos < dimension; pos++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
120 name[pos] = '[';
a61af66fc99e Initial load
duke
parents:
diff changeset
121 }
a61af66fc99e Initial load
duke
parents:
diff changeset
122 strncpy(name+pos, (char*)element_name->base(), element_len);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 name[new_len-1] = '\0';
a61af66fc99e Initial load
duke
parents:
diff changeset
124 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
125 int new_len = 3 // for L, ;, and '\0'
a61af66fc99e Initial load
duke
parents:
diff changeset
126 + dimension // for ['s
a61af66fc99e Initial load
duke
parents:
diff changeset
127 + element_len;
a61af66fc99e Initial load
duke
parents:
diff changeset
128
a61af66fc99e Initial load
duke
parents:
diff changeset
129 name = CURRENT_THREAD_ENV->name_buffer(new_len);
a61af66fc99e Initial load
duke
parents:
diff changeset
130 int pos = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
131 for ( ; pos < dimension; pos++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
132 name[pos] = '[';
a61af66fc99e Initial load
duke
parents:
diff changeset
133 }
a61af66fc99e Initial load
duke
parents:
diff changeset
134 name[pos++] = 'L';
a61af66fc99e Initial load
duke
parents:
diff changeset
135 strncpy(name+pos, (char*)element_name->base(), element_len);
a61af66fc99e Initial load
duke
parents:
diff changeset
136 name[new_len-2] = ';';
a61af66fc99e Initial load
duke
parents:
diff changeset
137 name[new_len-1] = '\0';
a61af66fc99e Initial load
duke
parents:
diff changeset
138 }
a61af66fc99e Initial load
duke
parents:
diff changeset
139 return ciSymbol::make(name);
a61af66fc99e Initial load
duke
parents:
diff changeset
140 }
a61af66fc99e Initial load
duke
parents:
diff changeset
141
a61af66fc99e Initial load
duke
parents:
diff changeset
142 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
143 // ciObjArrayKlass::make_impl
a61af66fc99e Initial load
duke
parents:
diff changeset
144 //
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // Implementation of make.
a61af66fc99e Initial load
duke
parents:
diff changeset
146 ciObjArrayKlass* ciObjArrayKlass::make_impl(ciKlass* element_klass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
147
a61af66fc99e Initial load
duke
parents:
diff changeset
148 if (element_klass->is_loaded()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
149 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // The element klass is loaded
a61af66fc99e Initial load
duke
parents:
diff changeset
151 klassOop array = element_klass->get_Klass()->array_klass(THREAD);
a61af66fc99e Initial load
duke
parents:
diff changeset
152 if (HAS_PENDING_EXCEPTION) {
a61af66fc99e Initial load
duke
parents:
diff changeset
153 CLEAR_PENDING_EXCEPTION;
a61af66fc99e Initial load
duke
parents:
diff changeset
154 CURRENT_THREAD_ENV->record_out_of_memory_failure();
a61af66fc99e Initial load
duke
parents:
diff changeset
155 return ciEnv::unloaded_ciobjarrayklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
156 }
a61af66fc99e Initial load
duke
parents:
diff changeset
157 return CURRENT_THREAD_ENV->get_object(array)->as_obj_array_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
158 }
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 // The array klass was unable to be made or the element klass was
a61af66fc99e Initial load
duke
parents:
diff changeset
161 // not loaded.
a61af66fc99e Initial load
duke
parents:
diff changeset
162 ciSymbol* array_name = construct_array_name(element_klass->name(), 1);
a61af66fc99e Initial load
duke
parents:
diff changeset
163 if (array_name == ciEnv::unloaded_cisymbol()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
164 return ciEnv::unloaded_ciobjarrayklass();
a61af66fc99e Initial load
duke
parents:
diff changeset
165 }
a61af66fc99e Initial load
duke
parents:
diff changeset
166 return
a61af66fc99e Initial load
duke
parents:
diff changeset
167 CURRENT_ENV->get_unloaded_klass(element_klass, array_name)
a61af66fc99e Initial load
duke
parents:
diff changeset
168 ->as_obj_array_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
169 }
a61af66fc99e Initial load
duke
parents:
diff changeset
170
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // ciObjArrayKlass::make
a61af66fc99e Initial load
duke
parents:
diff changeset
173 //
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // Make an array klass corresponding to the specified primitive type.
a61af66fc99e Initial load
duke
parents:
diff changeset
175 ciObjArrayKlass* ciObjArrayKlass::make(ciKlass* element_klass) {
a61af66fc99e Initial load
duke
parents:
diff changeset
176 assert(element_klass->is_java_klass(), "wrong kind of klass");
a61af66fc99e Initial load
duke
parents:
diff changeset
177 GUARDED_VM_ENTRY(return make_impl(element_klass);)
a61af66fc99e Initial load
duke
parents:
diff changeset
178 }