1 /*
2 * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.
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 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24
25 #include "precompiled.hpp"
26 #include "ci/ciInstanceKlass.hpp"
27 #include "ci/ciValueArrayKlass.hpp"
28 #include "ci/ciSymbol.hpp"
29 #include "ci/ciUtilities.hpp"
30 #include "oops/valueArrayKlass.hpp"
31
32 // ciValueArrayKlass
33 //
34 // This class represents a Klass* in the HotSpot virtual machine
35 // whose Klass part is a ValueArrayKlass.
36
37 // ------------------------------------------------------------------
38 // ciValueArrayKlass::ciValueArrayKlass
39 //
40 // Constructor for loaded value array klasses.
41 ciValueArrayKlass::ciValueArrayKlass(KlassHandle h_k) : ciArrayKlass(h_k) {
42 assert(get_Klass()->is_valueArray_klass(), "wrong type");
43 ValueKlass* element_Klass = get_ValueArrayKlass()->element_klass();
44 _base_element_klass = CURRENT_ENV->get_klass(element_Klass);
45 assert(_base_element_klass->is_valuetype(), "bad base klass");
46 if (dimension() == 1) {
47 _element_klass = _base_element_klass;
48 } else {
49 _element_klass = NULL;
50 }
51 if (!ciObjectFactory::is_initialized()) {
52 assert(_element_klass->is_java_lang_Object(), "only arrays of object are shared");
53 }
54 }
55
56 // ------------------------------------------------------------------
57 // ciValueArrayKlass::element_klass
58 //
59 // What is the one-level element type of this array?
60 ciKlass* ciValueArrayKlass::element_klass() {
61 if (_element_klass == NULL) {
62 assert(dimension() > 1, "_element_klass should not be NULL");
63 // Produce the element klass.
64 if (is_loaded()) {
65 VM_ENTRY_MARK;
66 Klass* element_Klass = get_ValueArrayKlass()->element_klass();
67 _element_klass = CURRENT_THREAD_ENV->get_klass(element_Klass);
68 } else {
69 // TODO handle this
70 guarantee(false, "unloaded array klass");
71 VM_ENTRY_MARK;
72 // We are an unloaded array klass. Attempt to fetch our
73 // element klass by name.
74 _element_klass = CURRENT_THREAD_ENV->get_klass_by_name_impl(
75 this,
76 constantPoolHandle(),
77 construct_array_name(base_element_klass()->name(),
78 dimension() - 1),
79 false);
80 }
81 }
82 return _element_klass;
83 }
84
85 // ------------------------------------------------------------------
86 // ciValueArrayKlass::construct_array_name
87 //
88 // Build an array name from an element name and a dimension.
89 ciSymbol* ciValueArrayKlass::construct_array_name(ciSymbol* element_name,
90 int dimension) {
91 EXCEPTION_CONTEXT;
92 int element_len = element_name->utf8_length();
93
94 Symbol* base_name_sym = element_name->get_symbol();
95 char* name;
96
97 if (base_name_sym->byte_at(0) == '[' ||
98 (base_name_sym->byte_at(0) == 'L' && // watch package name 'Lxx'
99 base_name_sym->byte_at(element_len-1) == ';')) {
100
101 int new_len = element_len + dimension + 1; // for the ['s and '\0'
102 name = CURRENT_THREAD_ENV->name_buffer(new_len);
103
104 int pos = 0;
105 for ( ; pos < dimension; pos++) {
106 name[pos] = '[';
107 }
108 strncpy(name+pos, (char*)element_name->base(), element_len);
109 name[new_len-1] = '\0';
110 } else {
111 int new_len = 3 // for L, ;, and '\0'
112 + dimension // for ['s
113 + element_len;
114
115 name = CURRENT_THREAD_ENV->name_buffer(new_len);
116 int pos = 0;
117 for ( ; pos < dimension; pos++) {
118 name[pos] = '[';
119 }
120 name[pos++] = 'L';
121 strncpy(name+pos, (char*)element_name->base(), element_len);
122 name[new_len-2] = ';';
123 name[new_len-1] = '\0';
124 }
125 return ciSymbol::make(name);
126 }
127
128 // ------------------------------------------------------------------
129 // ciValueArrayKlass::make_impl
130 //
131 // Implementation of make.
132 ciValueArrayKlass* ciValueArrayKlass::make_impl(ciKlass* element_klass) {
133 assert(ValueArrayFlatten, "should only be used for flattened value type arrays");
134 assert(element_klass->is_valuetype(), "element type must be value type");
135 if (element_klass->is_loaded()) {
136 EXCEPTION_CONTEXT;
137 // The element klass is loaded
138 Klass* array = element_klass->get_Klass()->array_klass(THREAD);
139 if (HAS_PENDING_EXCEPTION) {
140 CLEAR_PENDING_EXCEPTION;
141 CURRENT_THREAD_ENV->record_out_of_memory_failure();
142 // TODO handle this
143 guarantee(false, "out of memory");
144 return NULL;
145 }
146 return CURRENT_THREAD_ENV->get_value_array_klass(array);
147 }
148
149 // TODO handle this
150 guarantee(false, "klass not loaded");
151 return NULL;
152 }
153
154 // ------------------------------------------------------------------
155 // ciValueArrayKlass::make
156 //
157 // Make an array klass corresponding to the specified primitive type.
158 ciValueArrayKlass* ciValueArrayKlass::make(ciKlass* element_klass) {
159 GUARDED_VM_ENTRY(return make_impl(element_klass);)
160 }
161
162 ciKlass* ciValueArrayKlass::exact_klass() {
163 ShouldNotCallThis();
164 return NULL;
165 }