001/*
002 * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved.
003 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
004 *
005 * This code is free software; you can redistribute it and/or modify it
006 * under the terms of the GNU General Public License version 2 only, as
007 * published by the Free Software Foundation.
008 *
009 * This code is distributed in the hope that it will be useful, but WITHOUT
010 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
011 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
012 * version 2 for more details (a copy is included in the LICENSE file that
013 * accompanied this code).
014 *
015 * You should have received a copy of the GNU General Public License version
016 * 2 along with this work; if not, write to the Free Software Foundation,
017 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
018 *
019 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
020 * or visit www.oracle.com if you need additional information or have any
021 * questions.
022 */
023package com.oracle.graal.compiler.common.type;
024
025import jdk.internal.jvmci.meta.*;
026
027import com.oracle.graal.compiler.common.spi.*;
028
029public class ObjectStamp extends AbstractObjectStamp {
030
031    public ObjectStamp(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
032        super(type, exactType, nonNull, alwaysNull);
033    }
034
035    @Override
036    protected ObjectStamp copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
037        return new ObjectStamp(type, exactType, nonNull, alwaysNull);
038    }
039
040    @Override
041    public Stamp unrestricted() {
042        return StampFactory.object();
043    }
044
045    @Override
046    public String toString() {
047        StringBuilder str = new StringBuilder();
048        str.append('a');
049        appendString(str);
050        return str.toString();
051    }
052
053    @Override
054    public boolean isCompatible(Stamp other) {
055        if (this == other) {
056            return true;
057        }
058        if (other instanceof ObjectStamp) {
059            return true;
060        }
061        return false;
062    }
063
064    @Override
065    public LIRKind getLIRKind(LIRKindTool tool) {
066        return tool.getObjectKind();
067    }
068
069    @Override
070    public Constant readConstant(MemoryAccessProvider provider, Constant base, long displacement) {
071        return provider.readObjectConstant(base, displacement);
072    }
073}