Mercurial > hg > graal-compiler
view graal/com.oracle.max.graal.hotspot/src/com/oracle/max/graal/hotspot/ri/HotSpotTypeResolvedImpl.java @ 4433:b494d6f329a3
some more checkcast opts
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Fri, 03 Feb 2012 17:13:46 +0100 |
parents | 5c80ccb80036 |
children | 14a00ee82980 |
line wrap: on
line source
/* * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA * or visit www.oracle.com if you need additional information or have any * questions. */ package com.oracle.max.graal.hotspot.ri; import java.lang.annotation.*; import java.lang.reflect.*; import java.util.*; import com.oracle.max.cri.ci.*; import com.oracle.max.cri.ri.*; /** * Implementation of RiType for resolved non-primitive HotSpot classes. */ public final class HotSpotTypeResolvedImpl extends HotSpotType implements HotSpotTypeResolved { /** * */ private static final long serialVersionUID = 3481514353553840471L; private Class javaMirror; private String simpleName; private int accessFlags; private boolean hasFinalizer; private boolean hasSubclass; private boolean hasFinalizableSubclass; private boolean isArrayClass; private boolean isInstanceClass; private boolean isInterface; private int instanceSize; private HashMap<Long, RiResolvedField> fieldCache; private RiResolvedType superType; private boolean superTypeSet; private RiResolvedField[] fields; private RiConstantPool constantPool; private boolean isInitialized; private RiResolvedType arrayOfType; private HotSpotTypeResolvedImpl() { super(null); } @Override public int accessFlags() { return accessFlags; } @Override public RiResolvedType arrayOf() { if (arrayOfType == null) { arrayOfType = (RiResolvedType) compiler.getVMEntries().RiType_arrayOf(this); } return arrayOfType; } @Override public RiResolvedType componentType() { assert isArrayClass(); return (RiResolvedType) compiler.getVMEntries().RiType_componentType(this); } @Override public RiResolvedType uniqueConcreteSubtype() { if (isArrayClass()) { return Modifier.isFinal(componentType().accessFlags()) ? this : null; } else { return (RiResolvedType) compiler.getVMEntries().RiType_uniqueConcreteSubtype(this); } } @Override public RiResolvedType superType() { if (!superTypeSet) { superType = (RiResolvedType) compiler.getVMEntries().RiType_superType(this); superTypeSet = true; } return superType; } @Override public RiResolvedType exactType() { if (Modifier.isFinal(accessFlags)) { return this; } return null; } @Override public CiConstant getEncoding(Representation r) { switch (r) { case JavaClass: return CiConstant.forObject(javaMirror); case ObjectHub: return CiConstant.forObject(this); case StaticFields: return CiConstant.forObject(javaMirror); case TypeInfo: return CiConstant.forObject(this); default: return null; } } @Override public CiKind getRepresentationKind(Representation r) { return CiKind.Object; } @Override public boolean hasFinalizableSubclass() { return hasFinalizableSubclass; } @Override public boolean hasFinalizer() { return hasFinalizer; } @Override public boolean hasSubclass() { return hasSubclass; } @Override public boolean isArrayClass() { return isArrayClass; } @Override public boolean isInitialized() { if (!isInitialized) { isInitialized = compiler.getVMEntries().RiType_isInitialized(this); } return isInitialized; } @Override public boolean isInstance(CiConstant obj) { return javaMirror.isInstance(obj); } @Override public boolean isInstanceClass() { return isInstanceClass; } @Override public boolean isInterface() { return isInterface; } @Override public boolean isSubtypeOf(RiResolvedType other) { if (other instanceof HotSpotTypeResolved) { return compiler.getVMEntries().RiType_isSubtypeOf(this, other); } // No resolved type is a subtype of an unresolved type. return false; } @Override public CiKind kind(boolean architecture) { return CiKind.Object; } @Override public RiResolvedMethod resolveMethodImpl(RiResolvedMethod method) { assert method instanceof HotSpotMethod; return (RiResolvedMethod) compiler.getVMEntries().RiType_resolveMethodImpl(this, method.name(), method.signature().asString()); } @Override public String toString() { return "HotSpotType<" + simpleName + ", resolved>"; } @Override public RiConstantPool constantPool() { if (constantPool == null) { constantPool = new HotSpotConstantPool(compiler, this); } return constantPool; } @Override public int instanceSize() { return instanceSize; } @Override public synchronized RiResolvedField createRiField(String fieldName, RiType type, int offset, int flags) { RiResolvedField result = null; long id = offset + ((long) flags << 32); // (tw) Must cache the fields, because the local load elimination only works if the objects from two field lookups are equal. if (fieldCache == null) { fieldCache = new HashMap<>(8); } else { result = fieldCache.get(id); } if (result == null) { result = new HotSpotField(compiler, this, fieldName, type, offset, flags); fieldCache.put(id, result); } else { assert result.name().equals(fieldName); assert result.accessFlags() == flags; } return result; } @Override public RiResolvedMethod uniqueConcreteMethod(RiResolvedMethod method) { return ((HotSpotMethodResolved) method).uniqueConcreteMethod(); } @Override public RiResolvedField[] declaredFields() { if (fields == null) { fields = compiler.getVMEntries().RiType_fields(this); } return fields; } @Override public Class< ? > toJava() { return javaMirror; } @Override public <T extends Annotation> T getAnnotation(Class<T> annotationClass) { return toJava().getAnnotation(annotationClass); } }