src/share/classes/com/sun/tools/javac/jvm/Pool.java

Tue, 25 Sep 2012 11:53:18 +0100

author
mcimadamore
date
Tue, 25 Sep 2012 11:53:18 +0100
changeset 1336
26d93df3905a
parent 581
f2fdd52e4e87
child 1339
0e5899f09dab
permissions
-rw-r--r--

7194586: Add back-end support for invokedynamic
Summary: Add support for invokedynamic bytecode instruction; includes suppot for generation of all related classfile attributes
Reviewed-by: jjg

duke@1 1 /*
ohair@554 2 * Copyright (c) 1999, 2008, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
ohair@554 7 * published by the Free Software Foundation. Oracle designates this
duke@1 8 * particular file as subject to the "Classpath" exception as provided
ohair@554 9 * by Oracle in the LICENSE file that accompanied this code.
duke@1 10 *
duke@1 11 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 14 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 15 * accompanied this code).
duke@1 16 *
duke@1 17 * You should have received a copy of the GNU General Public License version
duke@1 18 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 20 *
ohair@554 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554 22 * or visit www.oracle.com if you need additional information or have any
ohair@554 23 * questions.
duke@1 24 */
duke@1 25
duke@1 26 package com.sun.tools.javac.jvm;
duke@1 27
mcimadamore@1336 28 import com.sun.tools.javac.code.Flags;
mcimadamore@1336 29 import com.sun.tools.javac.code.Kinds;
duke@1 30 import java.util.*;
duke@1 31
mcimadamore@1336 32 import com.sun.tools.javac.code.Symbol;
duke@1 33 import com.sun.tools.javac.code.Symbol.*;
mcimadamore@1336 34 import com.sun.tools.javac.code.Type;
mcimadamore@1336 35 import com.sun.tools.javac.util.Assert;
mcimadamore@1336 36 import com.sun.tools.javac.util.Filter;
mcimadamore@1336 37 import com.sun.tools.javac.util.Name;
mcimadamore@1336 38 import com.sun.tools.javac.util.Names;
duke@1 39
duke@1 40 /** An internal structure that corresponds to the constant pool of a classfile.
duke@1 41 *
jjg@581 42 * <p><b>This is NOT part of any supported API.
jjg@581 43 * If you write code that depends on this, you do so at your own risk.
duke@1 44 * This code and its internal interfaces are subject to change or
duke@1 45 * deletion without notice.</b>
duke@1 46 */
duke@1 47 public class Pool {
duke@1 48
duke@1 49 public static final int MAX_ENTRIES = 0xFFFF;
duke@1 50 public static final int MAX_STRING_LENGTH = 0xFFFF;
duke@1 51
duke@1 52 /** Index of next constant to be entered.
duke@1 53 */
duke@1 54 int pp;
duke@1 55
duke@1 56 /** The initial pool buffer.
duke@1 57 */
duke@1 58 Object[] pool;
duke@1 59
duke@1 60 /** A hashtable containing all constants in the pool.
duke@1 61 */
duke@1 62 Map<Object,Integer> indices;
duke@1 63
duke@1 64 /** Construct a pool with given number of elements and element array.
duke@1 65 */
duke@1 66 public Pool(int pp, Object[] pool) {
duke@1 67 this.pp = pp;
duke@1 68 this.pool = pool;
duke@1 69 this.indices = new HashMap<Object,Integer>(pool.length);
duke@1 70 for (int i = 1; i < pp; i++) {
duke@1 71 if (pool[i] != null) indices.put(pool[i], i);
duke@1 72 }
duke@1 73 }
duke@1 74
duke@1 75 /** Construct an empty pool.
duke@1 76 */
duke@1 77 public Pool() {
duke@1 78 this(1, new Object[64]);
duke@1 79 }
duke@1 80
duke@1 81 /** Return the number of entries in the constant pool.
duke@1 82 */
duke@1 83 public int numEntries() {
duke@1 84 return pp;
duke@1 85 }
duke@1 86
duke@1 87 /** Remove everything from this pool.
duke@1 88 */
duke@1 89 public void reset() {
duke@1 90 pp = 1;
duke@1 91 indices.clear();
duke@1 92 }
duke@1 93
duke@1 94 /** Double pool buffer in size.
duke@1 95 */
duke@1 96 private void doublePool() {
duke@1 97 Object[] newpool = new Object[pool.length * 2];
duke@1 98 System.arraycopy(pool, 0, newpool, 0, pool.length);
duke@1 99 pool = newpool;
duke@1 100 }
duke@1 101
duke@1 102 /** Place an object in the pool, unless it is already there.
duke@1 103 * If object is a symbol also enter its owner unless the owner is a
duke@1 104 * package. Return the object's index in the pool.
duke@1 105 */
duke@1 106 public int put(Object value) {
duke@1 107 if (value instanceof MethodSymbol)
duke@1 108 value = new Method((MethodSymbol)value);
duke@1 109 else if (value instanceof VarSymbol)
duke@1 110 value = new Variable((VarSymbol)value);
duke@1 111 // assert !(value instanceof Type.TypeVar);
duke@1 112 Integer index = indices.get(value);
duke@1 113 if (index == null) {
duke@1 114 // System.err.println("put " + value + " " + value.getClass());//DEBUG
duke@1 115 index = pp;
duke@1 116 indices.put(value, index);
duke@1 117 if (pp == pool.length) doublePool();
duke@1 118 pool[pp++] = value;
duke@1 119 if (value instanceof Long || value instanceof Double) {
duke@1 120 if (pp == pool.length) doublePool();
duke@1 121 pool[pp++] = null;
duke@1 122 }
duke@1 123 }
duke@1 124 return index.intValue();
duke@1 125 }
duke@1 126
duke@1 127 /** Return the given object's index in the pool,
duke@1 128 * or -1 if object is not in there.
duke@1 129 */
duke@1 130 public int get(Object o) {
duke@1 131 Integer n = indices.get(o);
duke@1 132 return n == null ? -1 : n.intValue();
duke@1 133 }
duke@1 134
duke@1 135 static class Method extends DelegatedSymbol {
duke@1 136 MethodSymbol m;
duke@1 137 Method(MethodSymbol m) {
duke@1 138 super(m);
duke@1 139 this.m = m;
duke@1 140 }
duke@1 141 public boolean equals(Object other) {
duke@1 142 if (!(other instanceof Method)) return false;
duke@1 143 MethodSymbol o = ((Method)other).m;
duke@1 144 return
duke@1 145 o.name == m.name &&
duke@1 146 o.owner == m.owner &&
duke@1 147 o.type.equals(m.type);
duke@1 148 }
duke@1 149 public int hashCode() {
duke@1 150 return
duke@1 151 m.name.hashCode() * 33 +
duke@1 152 m.owner.hashCode() * 9 +
duke@1 153 m.type.hashCode();
duke@1 154 }
duke@1 155 }
duke@1 156
duke@1 157 static class Variable extends DelegatedSymbol {
duke@1 158 VarSymbol v;
duke@1 159 Variable(VarSymbol v) {
duke@1 160 super(v);
duke@1 161 this.v = v;
duke@1 162 }
duke@1 163 public boolean equals(Object other) {
duke@1 164 if (!(other instanceof Variable)) return false;
duke@1 165 VarSymbol o = ((Variable)other).v;
duke@1 166 return
duke@1 167 o.name == v.name &&
duke@1 168 o.owner == v.owner &&
duke@1 169 o.type.equals(v.type);
duke@1 170 }
duke@1 171 public int hashCode() {
duke@1 172 return
duke@1 173 v.name.hashCode() * 33 +
duke@1 174 v.owner.hashCode() * 9 +
duke@1 175 v.type.hashCode();
duke@1 176 }
duke@1 177 }
mcimadamore@1336 178
mcimadamore@1336 179 public static class MethodHandle {
mcimadamore@1336 180
mcimadamore@1336 181 /** Reference kind - see ClassFile */
mcimadamore@1336 182 int refKind;
mcimadamore@1336 183
mcimadamore@1336 184 /** Reference symbol */
mcimadamore@1336 185 Symbol refSym;
mcimadamore@1336 186
mcimadamore@1336 187 /** Reference to the name table */
mcimadamore@1336 188 Names names;
mcimadamore@1336 189
mcimadamore@1336 190 public MethodHandle(int refKind, Symbol refSym, Names names) {
mcimadamore@1336 191 this.refKind = refKind;
mcimadamore@1336 192 this.refSym = refSym;
mcimadamore@1336 193 this.names = names;
mcimadamore@1336 194 checkConsistent();
mcimadamore@1336 195 }
mcimadamore@1336 196 public boolean equals(Object other) {
mcimadamore@1336 197 if (!(other instanceof MethodHandle)) return false;
mcimadamore@1336 198 MethodHandle mr = (MethodHandle) other;
mcimadamore@1336 199 if (mr.refKind != refKind) return false;
mcimadamore@1336 200 Symbol o = mr.refSym;
mcimadamore@1336 201 return
mcimadamore@1336 202 o.name == refSym.name &&
mcimadamore@1336 203 o.owner == refSym.owner &&
mcimadamore@1336 204 o.type.equals(refSym.type);
mcimadamore@1336 205 }
mcimadamore@1336 206 public int hashCode() {
mcimadamore@1336 207 return
mcimadamore@1336 208 refKind * 65 +
mcimadamore@1336 209 refSym.name.hashCode() * 33 +
mcimadamore@1336 210 refSym.owner.hashCode() * 9 +
mcimadamore@1336 211 refSym.type.hashCode();
mcimadamore@1336 212 }
mcimadamore@1336 213
mcimadamore@1336 214 /**
mcimadamore@1336 215 * Check consistency of reference kind and symbol (see JVMS 4.4.8)
mcimadamore@1336 216 */
mcimadamore@1336 217 @SuppressWarnings("fallthrough")
mcimadamore@1336 218 private void checkConsistent() {
mcimadamore@1336 219 boolean staticOk = false;
mcimadamore@1336 220 int expectedKind = -1;
mcimadamore@1336 221 Filter<Name> nameFilter = nonInitFilter;
mcimadamore@1336 222 boolean interfaceOwner = false;
mcimadamore@1336 223 switch (refKind) {
mcimadamore@1336 224 case ClassFile.REF_getStatic:
mcimadamore@1336 225 case ClassFile.REF_putStatic:
mcimadamore@1336 226 staticOk = true;
mcimadamore@1336 227 case ClassFile.REF_getField:
mcimadamore@1336 228 case ClassFile.REF_putField:
mcimadamore@1336 229 expectedKind = Kinds.VAR;
mcimadamore@1336 230 break;
mcimadamore@1336 231 case ClassFile.REF_newInvokeSpecial:
mcimadamore@1336 232 nameFilter = initFilter;
mcimadamore@1336 233 expectedKind = Kinds.MTH;
mcimadamore@1336 234 break;
mcimadamore@1336 235 case ClassFile.REF_invokeInterface:
mcimadamore@1336 236 interfaceOwner = true;
mcimadamore@1336 237 expectedKind = Kinds.MTH;
mcimadamore@1336 238 break;
mcimadamore@1336 239 case ClassFile.REF_invokeStatic:
mcimadamore@1336 240 staticOk = true;
mcimadamore@1336 241 case ClassFile.REF_invokeVirtual:
mcimadamore@1336 242 case ClassFile.REF_invokeSpecial:
mcimadamore@1336 243 expectedKind = Kinds.MTH;
mcimadamore@1336 244 break;
mcimadamore@1336 245 }
mcimadamore@1336 246 Assert.check(!refSym.isStatic() || staticOk);
mcimadamore@1336 247 Assert.check(refSym.kind == expectedKind);
mcimadamore@1336 248 Assert.check(nameFilter.accepts(refSym.name));
mcimadamore@1336 249 Assert.check(!refSym.owner.isInterface() || interfaceOwner);
mcimadamore@1336 250 }
mcimadamore@1336 251 //where
mcimadamore@1336 252 Filter<Name> nonInitFilter = new Filter<Name>() {
mcimadamore@1336 253 public boolean accepts(Name n) {
mcimadamore@1336 254 return n != names.init && n != names.clinit;
mcimadamore@1336 255 }
mcimadamore@1336 256 };
mcimadamore@1336 257
mcimadamore@1336 258 Filter<Name> initFilter = new Filter<Name>() {
mcimadamore@1336 259 public boolean accepts(Name n) {
mcimadamore@1336 260 return n == names.init;
mcimadamore@1336 261 }
mcimadamore@1336 262 };
mcimadamore@1336 263 }
duke@1 264 }

mercurial