Mercurial > hg > graal-compiler

annotate src/share/vm/ci/ciSignature.cpp @ 6972:bd7a7ce2e264

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
6830717: replay of compilations would help with debugging Summary: When java process crashed in compiler thread, repeat the compilation process will help finding root cause. This is done with using SA dump application class data and replay data from core dump, then use debug version of jvm to recompile the problematic java method. Reviewed-by: kvn, twisti, sspitsyn Contributed-by: yumin.qi@oracle.com
author minqi
date Mon, 12 Nov 2012 14:03:53 -0800
parents f6b0eb4e44cf
children 78bbf4d43a14
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"
6822
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
26 #include "ci/ciMethodType.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27 #include "ci/ciSignature.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "ci/ciUtilities.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "memory/allocation.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "oops/oop.inline.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31 #include "runtime/signature.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // ciSignature
a61af66fc99e Initial load
duke
parents:
diff changeset
34 //
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // This class represents the signature of a method.
a61af66fc99e Initial load
duke
parents:
diff changeset
36
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // ciSignature::ciSignature
3785
ddd894528dbc 7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents: 2426
diff changeset
39 ciSignature::ciSignature(ciKlass* accessing_klass, constantPoolHandle cpool, ciSymbol* symbol) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
40 ASSERT_IN_VM;
a61af66fc99e Initial load
duke
parents:
diff changeset
41 EXCEPTION_CONTEXT;
a61af66fc99e Initial load
duke
parents:
diff changeset
42 _accessing_klass = accessing_klass;
a61af66fc99e Initial load
duke
parents:
diff changeset
43 _symbol = symbol;
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 ciEnv* env = CURRENT_ENV;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 Arena* arena = env->arena();
a61af66fc99e Initial load
duke
parents:
diff changeset
47 _types = new (arena) GrowableArray<ciType*>(arena, 8, 0, NULL);
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 int size = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
50 int count = 0;
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
51 ResourceMark rm(THREAD);
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
52 Symbol* sh = symbol->get_symbol();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
53 SignatureStream ss(sh);
a61af66fc99e Initial load
duke
parents:
diff changeset
54 for (; ; ss.next()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // Process one element of the signature
a61af66fc99e Initial load
duke
parents:
diff changeset
56 ciType* type;
a61af66fc99e Initial load
duke
parents:
diff changeset
57 if (!ss.is_object()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
58 type = ciType::make(ss.type());
a61af66fc99e Initial load
duke
parents:
diff changeset
59 } else {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
60 Symbol* name = ss.as_symbol(THREAD);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
61 if (HAS_PENDING_EXCEPTION) {
a61af66fc99e Initial load
duke
parents:
diff changeset
62 type = ss.is_array() ? (ciType*)ciEnv::unloaded_ciobjarrayklass()
a61af66fc99e Initial load
duke
parents:
diff changeset
63 : (ciType*)ciEnv::unloaded_ciinstance_klass();
a61af66fc99e Initial load
duke
parents:
diff changeset
64 env->record_out_of_memory_failure();
a61af66fc99e Initial load
duke
parents:
diff changeset
65 CLEAR_PENDING_EXCEPTION;
a61af66fc99e Initial load
duke
parents:
diff changeset
66 } else {
2177
3582bf76420e 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 1972
diff changeset
67 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
68 type = env->get_klass_by_name_impl(_accessing_klass, cpool, klass_name, false);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 _types->append(type);
a61af66fc99e Initial load
duke
parents:
diff changeset
72 if (ss.at_return_type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // Done processing the return type; do not add it into the count.
a61af66fc99e Initial load
duke
parents:
diff changeset
74 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76 size += type->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
77 count++;
a61af66fc99e Initial load
duke
parents:
diff changeset
78 }
a61af66fc99e Initial load
duke
parents:
diff changeset
79 _size = size;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 _count = count;
a61af66fc99e Initial load
duke
parents:
diff changeset
81 }
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // ------------------------------------------------------------------
6822
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
84 // ciSignature::ciSignature
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
85 ciSignature::ciSignature(ciKlass* accessing_klass, ciSymbol* symbol, ciMethodType* method_type) :
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
86 _symbol(symbol),
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
87 _accessing_klass(accessing_klass),
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
88 _size( method_type->ptype_slot_count()),
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
89 _count(method_type->ptype_count())
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
90 {
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
91 ASSERT_IN_VM;
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
92 EXCEPTION_CONTEXT;
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
93 Arena* arena = CURRENT_ENV->arena();
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
94 _types = new (arena) GrowableArray<ciType*>(arena, _count + 1, 0, NULL);
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
95 for (int i = 0; i < _count; i++) {
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
96 _types->append(method_type->ptype_at(i));
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
97 }
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
98 _types->append(method_type->rtype());
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
99 }
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
diff changeset
100
f6b0eb4e44cf 7200949: JSR 292: rubybench/bench/time/bench_base64.rb fails with jruby.jar not on boot class path
twisti
parents: 4001
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::return_type
0
a61af66fc99e Initial load
duke
parents:
diff changeset
103 //
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // What is the return type of this signature?
a61af66fc99e Initial load
duke
parents:
diff changeset
105 ciType* ciSignature::return_type() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
106 return _types->at(_count);
a61af66fc99e Initial load
duke
parents:
diff changeset
107 }
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 // ------------------------------------------------------------------
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
110 // ciSignature::type_at
0
a61af66fc99e Initial load
duke
parents:
diff changeset
111 //
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // What is the type of the index'th element of this
a61af66fc99e Initial load
duke
parents:
diff changeset
113 // signature?
a61af66fc99e Initial load
duke
parents:
diff changeset
114 ciType* ciSignature::type_at(int index) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
115 assert(index < _count, "out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // The first _klasses element holds the return klass.
a61af66fc99e Initial load
duke
parents:
diff changeset
117 return _types->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
118 }
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // ------------------------------------------------------------------
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
121 // 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
122 //
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
123 // 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
124 // 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
125 // 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
126 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
127 // 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
128 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
129 // 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
130 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
131 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
132 }
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
133 // 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
134 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
135 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
136 }
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
137
5eb9169b1a14 7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents: 3785
diff changeset
138 // ------------------------------------------------------------------
0
a61af66fc99e Initial load
duke
parents:
diff changeset
139 // ciSignature::print_signature
a61af66fc99e Initial load
duke
parents:
diff changeset
140 void ciSignature::print_signature() {
a61af66fc99e Initial load
duke
parents:
diff changeset
141 _symbol->print_symbol();
a61af66fc99e Initial load
duke
parents:
diff changeset
142 }
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 // ------------------------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // ciSignature::print
a61af66fc99e Initial load
duke
parents:
diff changeset
146 void ciSignature::print() {
a61af66fc99e Initial load
duke
parents:
diff changeset
147 tty->print("<ciSignature symbol=");
a61af66fc99e Initial load
duke
parents:
diff changeset
148 print_signature();
a61af66fc99e Initial load
duke
parents:
diff changeset
149 tty->print(" accessing_klass=");
a61af66fc99e Initial load
duke
parents:
diff changeset
150 _accessing_klass->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
151 tty->print(" address=0x%x>", (address)this);
a61af66fc99e Initial load
duke
parents:
diff changeset
152 }