Mercurial > hg > graal-compiler
view graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/ObjectStamp.java @ 5507:dc71b06d09f8
Moving classes from cri.ri to api.meta.
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Thu, 07 Jun 2012 18:24:06 +0200 |
parents | 452f91ebdb54 |
children | a891c53a295b |
line wrap: on
line source
/* * Copyright (c) 2012, 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.graal.nodes.type; import com.oracle.graal.api.meta.*; public class ObjectStamp extends Stamp { private final RiResolvedType type; private final boolean exactType; private final boolean nonNull; public ObjectStamp(RiResolvedType type, boolean exactType, boolean nonNull) { super(RiKind.Object); assert !exactType || type != null; this.type = type; this.exactType = exactType; this.nonNull = nonNull; } @Override public boolean nonNull() { return nonNull; } public RiResolvedType type() { return type; } public boolean isExactType() { return exactType; } @Override public RiResolvedType exactType() { return exactType ? type : null; } @Override public RiResolvedType declaredType() { return type; } @Override public String toString() { StringBuilder str = new StringBuilder(); str.append(kind().typeChar); str.append(nonNull ? "!" : "").append(exactType ? "#" : "").append(' ').append(type == null ? "-" : type.name()); return str.toString(); } @Override public boolean alwaysDistinct(Stamp otherStamp) { ObjectStamp other = (ObjectStamp) otherStamp; if (other.type == null || type == null) { // We have no type information for one of the values. return false; } else if (other.nonNull || nonNull) { // One of the two values cannot be null. return !other.type.isInterface() && !type.isInterface() && !other.type.isSubtypeOf(type) && !type.isSubtypeOf(other.type); } return false; } @Override public Stamp meet(Stamp otherStamp) { ObjectStamp other = (ObjectStamp) otherStamp; RiResolvedType orType = meetTypes(type(), other.type()); boolean meetExactType = orType == type && orType == other.type && exactType && other.exactType; boolean meetNonNull = nonNull && other.nonNull; if (orType == type && meetExactType == exactType && meetNonNull == nonNull) { return this; } else { return new ObjectStamp(orType, meetExactType, meetNonNull); } } private static RiResolvedType meetTypes(RiResolvedType a, RiResolvedType b) { if (a == b) { return a; } else if (a == null || b == null) { return null; } else { return a.leastCommonAncestor(b); } } @Override public int hashCode() { final int prime = 31; int result = 1; result = prime * result + (exactType ? 1231 : 1237); result = prime * result + (nonNull ? 1231 : 1237); result = prime * result + ((type == null) ? 0 : type.hashCode()); return result; } @Override public boolean equals(Object obj) { if (this == obj) { return true; } if (obj == null || getClass() != obj.getClass()) { return false; } ObjectStamp other = (ObjectStamp) obj; if (exactType != other.exactType || nonNull != other.nonNull) { return false; } if (type == null) { if (other.type != null) { return false; } } else if (!type.equals(other.type)) { return false; } return true; } }