annotate src/share/vm/ci/ciSignature.cpp @ 4001:5eb9169b1a14

7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP Reviewed-by: jrose, never
author twisti
date Wed, 12 Oct 2011 21:00:13 -0700
parents ddd894528dbc
children f6b0eb4e44cf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
2426
1d1603768966 7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
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: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
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: 0
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: 1552
diff changeset
25 #include "precompiled.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #include "ci/ciSignature.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27 #include "ci/ciUtilities.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "runtime/signature.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
31
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // ciSignature
a61af66fc99e Initial load
duke
parents:
diff changeset
33 //
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // This class represents the signature of a method.
a61af66fc99e Initial load
duke
parents:
diff changeset
35
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // ciSignature::ciSignature
3785
ddd894528dbc 7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents: 2426
diff changeset
38 ciSignature::ciSignature(ciKlass* accessing_klass, constantPoolHandle cpool, ciSymbol* symbol) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
39 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 _accessing_klass = accessing_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _symbol = symbol;
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 ciEnv* env = CURRENT_ENV;
a61af66fc99e Initial load
duke
parents:
diff changeset
45 Arena* arena = env->arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
46 _types = new (arena) GrowableArray<ciType*>(arena, 8, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 int size = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
49 int count = 0;
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
50 ResourceMark rm(THREAD);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
51 Symbol* sh = symbol->get_symbol();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
52 SignatureStream ss(sh);
a61af66fc99e Initial load
duke
parents:
diff changeset
53 for (; ; ss.next()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // Process one element of the signature
a61af66fc99e Initial load
duke
parents:
diff changeset
55 ciType* type;
a61af66fc99e Initial load
duke
parents:
diff changeset
56 if (!ss.is_object()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 type = ciType::make(ss.type());
a61af66fc99e Initial load
duke
parents:
diff changeset
58 } else {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
59 Symbol* name = ss.as_symbol(THREAD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 if (HAS_PENDING_EXCEPTION) {
a61af66fc99e Initial load
duke
parents:
diff changeset
61 type = ss.is_array() ? (ciType*)ciEnv::unloaded_ciobjarrayklass()
a61af66fc99e Initial load
duke
parents:
diff changeset
62 : (ciType*)ciEnv::unloaded_ciinstance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
63 env->record_out_of_memory_failure();
a61af66fc99e Initial load
duke
parents:
diff changeset
64 CLEAR_PENDING_EXCEPTION;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 } else {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
66 ciSymbol* klass_name = env->get_symbol(name);
3785
ddd894528dbc 7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents: 2426
diff changeset
67 type = env->get_klass_by_name_impl(_accessing_klass, cpool, klass_name, false);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
68 }
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 _types->append(type);
a61af66fc99e Initial load
duke
parents:
diff changeset
71 if (ss.at_return_type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // Done processing the return type; do not add it into the count.
a61af66fc99e Initial load
duke
parents:
diff changeset
73 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
74 }
a61af66fc99e Initial load
duke
parents:
diff changeset
75 size += type->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
76 count++;
a61af66fc99e Initial load
duke
parents:
diff changeset
77 }
a61af66fc99e Initial load
duke
parents:
diff changeset
78 _size = size;
a61af66fc99e Initial load
duke
parents:
diff changeset
79 _count = count;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 }
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // ------------------------------------------------------------------
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
83 // ciSignature::return_type
0
a61af66fc99e Initial load
duke
parents:
diff changeset
84 //
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // What is the return type of this signature?
a61af66fc99e Initial load
duke
parents:
diff changeset
86 ciType* ciSignature::return_type() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
87 return _types->at(_count);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 }
a61af66fc99e Initial load
duke
parents:
diff changeset
89
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // ------------------------------------------------------------------
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
91 // ciSignature::type_at
0
a61af66fc99e Initial load
duke
parents:
diff changeset
92 //
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // What is the type of the index'th element of this
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // signature?
a61af66fc99e Initial load
duke
parents:
diff changeset
95 ciType* ciSignature::type_at(int index) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
96 assert(index < _count, "out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // The first _klasses element holds the return klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
98 return _types->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
99 }
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101 // ------------------------------------------------------------------
4001
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
102 // ciSignature::equals
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
103 //
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
104 // Compare this signature to another one. Signatures with different
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
105 // accessing classes but with signature-types resolved to the same
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
106 // types are defined to be equal.
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
107 bool ciSignature::equals(ciSignature* that) {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
108 // Compare signature
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
109 if (!this->as_symbol()->equals(that->as_symbol())) return false;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
110 // Compare all types of the arguments
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
111 for (int i = 0; i < _count; i++) {
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
112 if (this->type_at(i) != that->type_at(i)) return false;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
113 }
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
114 // Compare the return type
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
115 if (this->return_type() != that->return_type()) return false;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
116 return true;
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
117 }
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
118
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
119 // ------------------------------------------------------------------
0
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // ciSignature::print_signature
a61af66fc99e Initial load
duke
parents:
diff changeset
121 void ciSignature::print_signature() {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 _symbol->print_symbol();
a61af66fc99e Initial load
duke
parents:
diff changeset
123 }
a61af66fc99e Initial load
duke
parents:
diff changeset
124
a61af66fc99e Initial load
duke
parents:
diff changeset
125 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // ciSignature::print
a61af66fc99e Initial load
duke
parents:
diff changeset
127 void ciSignature::print() {
a61af66fc99e Initial load
duke
parents:
diff changeset
128 tty->print("<ciSignature symbol=");
a61af66fc99e Initial load
duke
parents:
diff changeset
129 print_signature();
a61af66fc99e Initial load
duke
parents:
diff changeset
130 tty->print(" accessing_klass=");
a61af66fc99e Initial load
duke
parents:
diff changeset
131 _accessing_klass->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
132 tty->print(" address=0x%x>", (address)this);
a61af66fc99e Initial load
duke
parents:
diff changeset
133 }