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.replacements.nodes;
024
025//JaCoCo Exclude
026
027import jdk.internal.jvmci.meta.*;
028
029import com.oracle.graal.compiler.common.type.*;
030import com.oracle.graal.graph.*;
031import com.oracle.graal.graph.spi.*;
032import com.oracle.graal.nodeinfo.*;
033import com.oracle.graal.nodes.*;
034import com.oracle.graal.nodes.calc.*;
035import com.oracle.graal.replacements.*;
036
037/**
038 * A node for use in method substitutions or snippets that changes the type of its input where the
039 * type is not immediately available at {@link NodeIntrinsificationPhase intrinsification} time. It
040 * is replaced by a {@link PiNode} once the type becomes constant (which <b>must</b> happen).
041 */
042@NodeInfo
043public final class DeferredPiNode extends FloatingNode implements Canonicalizable {
044    public static final NodeClass<DeferredPiNode> TYPE = NodeClass.create(DeferredPiNode.class);
045
046    @Input ValueNode object;
047    @Input ValueNode type;
048
049    public ValueNode object() {
050        return object;
051    }
052
053    public DeferredPiNode(ValueNode type, ValueNode object) {
054        super(TYPE, StampFactory.object());
055        this.type = type;
056        this.object = object;
057    }
058
059    @Override
060    public Node canonical(CanonicalizerTool tool) {
061        if (type.isConstant()) {
062            ResolvedJavaType javaType = tool.getConstantReflection().asJavaType(type.asConstant());
063            ObjectStamp objectStamp = (ObjectStamp) stamp();
064            return new PiNode(object, javaType, objectStamp.isExactType(), objectStamp.nonNull());
065        }
066        return this;
067    }
068
069    @NodeIntrinsic
070    public static native Object piCast(Class<?> type, Object object);
071}