author | mcimadamore |
Wed, 06 Mar 2013 15:29:30 +0000 | |
changeset 16330 | 66e277848a69 |
parent 15564 | 6d8db91563a7 |
child 21014 | 57913337d634 |
permissions | -rw-r--r-- |
10 | 1 |
/* |
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
2 |
* Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved. |
10 | 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 |
|
5520 | 7 |
* published by the Free Software Foundation. Oracle designates this |
10 | 8 |
* particular file as subject to the "Classpath" exception as provided |
5520 | 9 |
* by Oracle in the LICENSE file that accompanied this code. |
10 | 10 |
* |
11 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
12 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
13 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
14 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
15 |
* accompanied this code). |
|
16 |
* |
|
17 |
* You should have received a copy of the GNU General Public License version |
|
18 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
19 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
20 |
* |
|
5520 | 21 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
22 |
* or visit www.oracle.com if you need additional information or have any |
|
23 |
* questions. |
|
10 | 24 |
*/ |
25 |
||
26 |
package com.sun.tools.javac.jvm; |
|
27 |
||
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
28 |
import com.sun.tools.javac.code.Kinds; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
29 |
import com.sun.tools.javac.code.Symbol; |
10 | 30 |
import com.sun.tools.javac.code.Symbol.*; |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
31 |
import com.sun.tools.javac.code.Type; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
32 |
import com.sun.tools.javac.code.Types; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
33 |
import com.sun.tools.javac.code.Types.UniqueType; |
14052 | 34 |
|
14053 | 35 |
import com.sun.tools.javac.util.ArrayUtils; |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
36 |
import com.sun.tools.javac.util.Assert; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
37 |
import com.sun.tools.javac.util.Filter; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
38 |
import com.sun.tools.javac.util.Name; |
10 | 39 |
|
14052 | 40 |
import java.util.*; |
41 |
||
10 | 42 |
/** An internal structure that corresponds to the constant pool of a classfile. |
43 |
* |
|
5847
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
44 |
* <p><b>This is NOT part of any supported API. |
1908176fd6e3
6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents:
5520
diff
changeset
|
45 |
* If you write code that depends on this, you do so at your own risk. |
10 | 46 |
* This code and its internal interfaces are subject to change or |
47 |
* deletion without notice.</b> |
|
48 |
*/ |
|
49 |
public class Pool { |
|
50 |
||
51 |
public static final int MAX_ENTRIES = 0xFFFF; |
|
52 |
public static final int MAX_STRING_LENGTH = 0xFFFF; |
|
53 |
||
54 |
/** Index of next constant to be entered. |
|
55 |
*/ |
|
56 |
int pp; |
|
57 |
||
58 |
/** The initial pool buffer. |
|
59 |
*/ |
|
60 |
Object[] pool; |
|
61 |
||
62 |
/** A hashtable containing all constants in the pool. |
|
63 |
*/ |
|
64 |
Map<Object,Integer> indices; |
|
65 |
||
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
66 |
Types types; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
67 |
|
10 | 68 |
/** Construct a pool with given number of elements and element array. |
69 |
*/ |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
70 |
public Pool(int pp, Object[] pool, Types types) { |
10 | 71 |
this.pp = pp; |
72 |
this.pool = pool; |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
73 |
this.types = types; |
10 | 74 |
this.indices = new HashMap<Object,Integer>(pool.length); |
75 |
for (int i = 1; i < pp; i++) { |
|
76 |
if (pool[i] != null) indices.put(pool[i], i); |
|
77 |
} |
|
78 |
} |
|
79 |
||
80 |
/** Construct an empty pool. |
|
81 |
*/ |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
82 |
public Pool(Types types) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
83 |
this(1, new Object[64], types); |
10 | 84 |
} |
85 |
||
86 |
/** Return the number of entries in the constant pool. |
|
87 |
*/ |
|
88 |
public int numEntries() { |
|
89 |
return pp; |
|
90 |
} |
|
91 |
||
92 |
/** Remove everything from this pool. |
|
93 |
*/ |
|
94 |
public void reset() { |
|
95 |
pp = 1; |
|
96 |
indices.clear(); |
|
97 |
} |
|
98 |
||
99 |
/** Place an object in the pool, unless it is already there. |
|
100 |
* If object is a symbol also enter its owner unless the owner is a |
|
101 |
* package. Return the object's index in the pool. |
|
102 |
*/ |
|
103 |
public int put(Object value) { |
|
14547 | 104 |
value = makePoolValue(value); |
10 | 105 |
// assert !(value instanceof Type.TypeVar); |
106 |
Integer index = indices.get(value); |
|
107 |
if (index == null) { |
|
108 |
// System.err.println("put " + value + " " + value.getClass());//DEBUG |
|
109 |
index = pp; |
|
110 |
indices.put(value, index); |
|
14049
3207422a0f9b
7193657: provide internal ArrayUtils class to simplify common usage of arrays in javac
jjg
parents:
14046
diff
changeset
|
111 |
pool = ArrayUtils.ensureCapacity(pool, pp); |
10 | 112 |
pool[pp++] = value; |
113 |
if (value instanceof Long || value instanceof Double) { |
|
14049
3207422a0f9b
7193657: provide internal ArrayUtils class to simplify common usage of arrays in javac
jjg
parents:
14046
diff
changeset
|
114 |
pool = ArrayUtils.ensureCapacity(pool, pp); |
10 | 115 |
pool[pp++] = null; |
116 |
} |
|
117 |
} |
|
118 |
return index.intValue(); |
|
119 |
} |
|
120 |
||
14547 | 121 |
Object makePoolValue(Object o) { |
122 |
if (o instanceof DynamicMethodSymbol) { |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
123 |
return new DynamicMethod((DynamicMethodSymbol)o, types); |
14547 | 124 |
} else if (o instanceof MethodSymbol) { |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
125 |
return new Method((MethodSymbol)o, types); |
14547 | 126 |
} else if (o instanceof VarSymbol) { |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
127 |
return new Variable((VarSymbol)o, types); |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
128 |
} else if (o instanceof Type) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
129 |
return new UniqueType((Type)o, types); |
14547 | 130 |
} else { |
131 |
return o; |
|
132 |
} |
|
133 |
} |
|
134 |
||
10 | 135 |
/** Return the given object's index in the pool, |
136 |
* or -1 if object is not in there. |
|
137 |
*/ |
|
138 |
public int get(Object o) { |
|
139 |
Integer n = indices.get(o); |
|
140 |
return n == null ? -1 : n.intValue(); |
|
141 |
} |
|
142 |
||
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
143 |
static class Method extends DelegatedSymbol<MethodSymbol> { |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
144 |
UniqueType uniqueType; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
145 |
Method(MethodSymbol m, Types types) { |
10 | 146 |
super(m); |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
147 |
this.uniqueType = new UniqueType(m.type, types); |
10 | 148 |
} |
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
149 |
public boolean equals(Object any) { |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
150 |
if (!(any instanceof Method)) return false; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
151 |
MethodSymbol o = ((Method)any).other; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
152 |
MethodSymbol m = this.other; |
10 | 153 |
return |
154 |
o.name == m.name && |
|
155 |
o.owner == m.owner && |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
156 |
((Method)any).uniqueType.equals(uniqueType); |
10 | 157 |
} |
158 |
public int hashCode() { |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
159 |
MethodSymbol m = this.other; |
10 | 160 |
return |
161 |
m.name.hashCode() * 33 + |
|
162 |
m.owner.hashCode() * 9 + |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
163 |
uniqueType.hashCode(); |
10 | 164 |
} |
165 |
} |
|
166 |
||
14547 | 167 |
static class DynamicMethod extends Method { |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
168 |
public Object[] uniqueStaticArgs; |
14547 | 169 |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
170 |
DynamicMethod(DynamicMethodSymbol m, Types types) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
171 |
super(m, types); |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
172 |
uniqueStaticArgs = getUniqueTypeArray(m.staticArgs, types); |
14547 | 173 |
} |
174 |
||
175 |
@Override |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
176 |
public boolean equals(Object any) { |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
177 |
if (!super.equals(any)) return false; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
178 |
if (!(any instanceof DynamicMethod)) return false; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
179 |
DynamicMethodSymbol dm1 = (DynamicMethodSymbol)other; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
180 |
DynamicMethodSymbol dm2 = (DynamicMethodSymbol)((DynamicMethod)any).other; |
14547 | 181 |
return dm1.bsm == dm2.bsm && |
182 |
dm1.bsmKind == dm2.bsmKind && |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
183 |
Arrays.equals(uniqueStaticArgs, |
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
184 |
((DynamicMethod)any).uniqueStaticArgs); |
14547 | 185 |
} |
186 |
||
187 |
@Override |
|
188 |
public int hashCode() { |
|
189 |
int hash = super.hashCode(); |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
190 |
DynamicMethodSymbol dm = (DynamicMethodSymbol)other; |
14547 | 191 |
hash += dm.bsmKind * 7 + |
192 |
dm.bsm.hashCode() * 11; |
|
193 |
for (int i = 0; i < dm.staticArgs.length; i++) { |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
194 |
hash += (uniqueStaticArgs[i].hashCode() * 23); |
14547 | 195 |
} |
196 |
return hash; |
|
197 |
} |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
198 |
|
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
199 |
private Object[] getUniqueTypeArray(Object[] objects, Types types) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
200 |
Object[] result = new Object[objects.length]; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
201 |
for (int i = 0; i < objects.length; i++) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
202 |
if (objects[i] instanceof Type) { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
203 |
result[i] = new UniqueType((Type)objects[i], types); |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
204 |
} else { |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
205 |
result[i] = objects[i]; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
206 |
} |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
207 |
} |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
208 |
return result; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
209 |
} |
14547 | 210 |
} |
211 |
||
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
212 |
static class Variable extends DelegatedSymbol<VarSymbol> { |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
213 |
UniqueType uniqueType; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
214 |
Variable(VarSymbol v, Types types) { |
10 | 215 |
super(v); |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
216 |
this.uniqueType = new UniqueType(v.type, types); |
10 | 217 |
} |
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
218 |
public boolean equals(Object any) { |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
219 |
if (!(any instanceof Variable)) return false; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
220 |
VarSymbol o = ((Variable)any).other; |
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
221 |
VarSymbol v = other; |
10 | 222 |
return |
223 |
o.name == v.name && |
|
224 |
o.owner == v.owner && |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
225 |
((Variable)any).uniqueType.equals(uniqueType); |
10 | 226 |
} |
227 |
public int hashCode() { |
|
15564
6d8db91563a7
8005075: Pool.Method, and Pool.Variable redundant Symbol field should be removed
vromero
parents:
14949
diff
changeset
|
228 |
VarSymbol v = other; |
10 | 229 |
return |
230 |
v.name.hashCode() * 33 + |
|
231 |
v.owner.hashCode() * 9 + |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
232 |
uniqueType.hashCode(); |
10 | 233 |
} |
234 |
} |
|
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
235 |
|
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
236 |
public static class MethodHandle { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
237 |
|
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
238 |
/** Reference kind - see ClassFile */ |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
239 |
int refKind; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
240 |
|
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
241 |
/** Reference symbol */ |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
242 |
Symbol refSym; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
243 |
|
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
244 |
UniqueType uniqueType; |
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
245 |
|
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
246 |
public MethodHandle(int refKind, Symbol refSym, Types types) { |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
247 |
this.refKind = refKind; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
248 |
this.refSym = refSym; |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
249 |
this.uniqueType = new UniqueType(this.refSym.type, types); |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
250 |
checkConsistent(); |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
251 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
252 |
public boolean equals(Object other) { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
253 |
if (!(other instanceof MethodHandle)) return false; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
254 |
MethodHandle mr = (MethodHandle) other; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
255 |
if (mr.refKind != refKind) return false; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
256 |
Symbol o = mr.refSym; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
257 |
return |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
258 |
o.name == refSym.name && |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
259 |
o.owner == refSym.owner && |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
260 |
((MethodHandle)other).uniqueType.equals(uniqueType); |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
261 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
262 |
public int hashCode() { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
263 |
return |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
264 |
refKind * 65 + |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
265 |
refSym.name.hashCode() * 33 + |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
266 |
refSym.owner.hashCode() * 9 + |
14949
45f43822bbde
8000518: Javac generates duplicate name_and_type constant pool entry for class BinaryOpValueExp.java
vromero
parents:
14547
diff
changeset
|
267 |
uniqueType.hashCode(); |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
268 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
269 |
|
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
270 |
/** |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
271 |
* Check consistency of reference kind and symbol (see JVMS 4.4.8) |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
272 |
*/ |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
273 |
@SuppressWarnings("fallthrough") |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
274 |
private void checkConsistent() { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
275 |
boolean staticOk = false; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
276 |
int expectedKind = -1; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
277 |
Filter<Name> nameFilter = nonInitFilter; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
278 |
boolean interfaceOwner = false; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
279 |
switch (refKind) { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
280 |
case ClassFile.REF_getStatic: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
281 |
case ClassFile.REF_putStatic: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
282 |
staticOk = true; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
283 |
case ClassFile.REF_getField: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
284 |
case ClassFile.REF_putField: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
285 |
expectedKind = Kinds.VAR; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
286 |
break; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
287 |
case ClassFile.REF_newInvokeSpecial: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
288 |
nameFilter = initFilter; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
289 |
expectedKind = Kinds.MTH; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
290 |
break; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
291 |
case ClassFile.REF_invokeInterface: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
292 |
interfaceOwner = true; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
293 |
expectedKind = Kinds.MTH; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
294 |
break; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
295 |
case ClassFile.REF_invokeStatic: |
16330
66e277848a69
8009299: Javac crashes when compiling method reference to static interface method
mcimadamore
parents:
15564
diff
changeset
|
296 |
interfaceOwner = true; |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
297 |
staticOk = true; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
298 |
case ClassFile.REF_invokeVirtual: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
299 |
case ClassFile.REF_invokeSpecial: |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
300 |
expectedKind = Kinds.MTH; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
301 |
break; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
302 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
303 |
Assert.check(!refSym.isStatic() || staticOk); |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
304 |
Assert.check(refSym.kind == expectedKind); |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
305 |
Assert.check(nameFilter.accepts(refSym.name)); |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
306 |
Assert.check(!refSym.owner.isInterface() || interfaceOwner); |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
307 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
308 |
//where |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
309 |
Filter<Name> nonInitFilter = new Filter<Name>() { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
310 |
public boolean accepts(Name n) { |
14052 | 311 |
return n != n.table.names.init && n != n.table.names.clinit; |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
312 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
313 |
}; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
314 |
|
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
315 |
Filter<Name> initFilter = new Filter<Name>() { |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
316 |
public boolean accepts(Name n) { |
14052 | 317 |
return n == n.table.names.init; |
14046
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
318 |
} |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
319 |
}; |
8ef5d5b19998
7194586: Add back-end support for invokedynamic
mcimadamore
parents:
5847
diff
changeset
|
320 |
} |
10 | 321 |
} |