Mercurial > hg > truffle
view graal/com.oracle.max.graal.compiler/src/com/oracle/max/graal/compiler/ir/IsType.java @ 3011:f00918f35c7f
inlining and runtime interface related changes:
added codeSize() and compilerStorage() to RiMethod
HotSpotMethodResolved uses reflective methods instead of vmIds and survives compilations
HotSpotResolvedType.isInitialized not represented as field (can change)
inlining stores graphs into method objects and reuses them
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Thu, 16 Jun 2011 20:36:17 +0200 |
parents | 66ecfc755c86 |
children | 2433838f0414 |
line wrap: on
line source
/* * Copyright (c) 2009, 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.compiler.ir; import java.util.*; import com.oracle.max.graal.compiler.debug.*; import com.oracle.max.graal.compiler.util.*; import com.oracle.max.graal.graph.*; import com.sun.cri.bytecode.*; import com.sun.cri.ci.*; import com.sun.cri.ri.*; /** * The {@code TypeCheck} class represents an explicit type check instruction. */ public final class IsType extends FloatingNode { private static final int INPUT_COUNT = 1; private static final int INPUT_OBJECT = 0; private static final int SUCCESSOR_COUNT = 0; @Override protected int inputCount() { return super.inputCount() + INPUT_COUNT; } @Override protected int successorCount() { return super.successorCount() + SUCCESSOR_COUNT; } /** * The instruction that produces the object tested against null. */ public Value object() { return (Value) inputs().get(super.inputCount() + INPUT_OBJECT); } public Value setObject(Value n) { return (Value) inputs().set(super.inputCount() + INPUT_OBJECT, n); } private final RiType type; /** * Constructs a new IsType instruction. * @param object the instruction producing the object to check against the given type * @param graph */ public IsType(Value object, RiType type, Graph graph) { super(CiKind.Object, INPUT_COUNT, SUCCESSOR_COUNT, graph); assert type.isResolved(); assert object == null || object.kind == CiKind.Object; this.type = type; setObject(object); } public RiType type() { return type; } @Override public void accept(ValueVisitor v) { // Nothing to do. } @Override public int valueNumber() { return Util.hash1(Bytecodes.CHECKCAST, object()); } @Override public boolean valueEqual(Node i) { if (i instanceof IsType) { IsType o = (IsType) i; return type == o.type() && object() == o.object(); } return false; } @Override public RiType declaredType() { // type check does not alter the type of the object return object().declaredType(); } @Override public RiType exactType() { return type; } @Override public void print(LogStream out) { out.print("null_check(").print(object()).print(')'); } @Override public Map<Object, Object> getDebugProperties() { Map<Object, Object> properties = super.getDebugProperties(); properties.put("type", type); return properties; } @Override public Node copy(Graph into) { return new IsType(null, type, into); } }