com.oracle.graal.nodes.java

Class InstanceOfNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.LogicNode

com.oracle.graal.nodes.UnaryOpLogicNode

com.oracle.graal.nodes.java.InstanceOfNode

All Implemented Interfaces:

Node.ValueNumberable, NodeInterface, Canonicalizable, Canonicalizable.Unary<ValueNode>, LIRLowerable, Lowerable, Virtualizable, Cloneable, Formattable, KindProvider

public class InstanceOfNode
extends UnaryOpLogicNode
implements Lowerable, Virtualizable

The InstanceOfNode represents an instanceof test.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface com.oracle.graal.graph.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>

Field Summary

Fields

Modifier and Type	Field and Description
protected JavaTypeProfile	profile
protected ResolvedJavaType	type
static NodeClass<InstanceOfNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.UnaryOpLogicNode

value

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InstanceOfNode(NodeClass<? extends InstanceOfNode> c, ResolvedJavaType type, ValueNode object, JavaTypeProfile profile)
private	InstanceOfNode(ResolvedJavaType type, ValueNode object, JavaTypeProfile profile)

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool, ValueNode forValue) Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.
private ValueNode	checkInstanceOf(ValueNode forValue, ResolvedJavaType inputType, boolean nonNull, boolean exactType)
static LogicNode	create(ResolvedJavaType type, ValueNode object, JavaTypeProfile profile)
static LogicNode	findSynonym(ValueNode object, ResolvedJavaType type, ResolvedJavaType inputType, boolean nonNull, boolean exactType)
Stamp	getSucceedingStampForValue(boolean negated)
private static boolean	isInterfaceOrArrayOfInterface(ResolvedJavaType t)
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.
JavaTypeProfile	profile()
void	setProfile(JavaTypeProfile profile)
TriState	tryFold(Stamp valueStamp)
ResolvedJavaType	type() Gets the type being tested.
void	virtualize(VirtualizerTool tool) A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized.

Methods inherited from class com.oracle.graal.nodes.UnaryOpLogicNode

generate, getValue

Methods inherited from class com.oracle.graal.nodes.LogicNode

and, and, isContradiction, isTautology, or, or

Methods inherited from class com.oracle.graal.nodes.calc.FloatingNode

asNode

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, simplify, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verify, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Methods inherited from interface com.oracle.graal.graph.spi.Canonicalizable.Unary

canonical

Field Detail

TYPE

public static final NodeClass<InstanceOfNode> TYPE

type

protected final ResolvedJavaType type

profile

protected JavaTypeProfile profile

Constructor Detail

InstanceOfNode

private InstanceOfNode(ResolvedJavaType type,
                       ValueNode object,
                       JavaTypeProfile profile)

InstanceOfNode

protected InstanceOfNode(NodeClass<? extends InstanceOfNode> c,
                         ResolvedJavaType type,
                         ValueNode object,
                         JavaTypeProfile profile)

Method Detail

create

public static LogicNode create(ResolvedJavaType type,
                               ValueNode object,
                               JavaTypeProfile profile)

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forValue)

Description copied from interface: Canonicalizable.Unary

Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.

Specified by:

canonical in interface Canonicalizable.Unary<ValueNode>

checkInstanceOf

private ValueNode checkInstanceOf(ValueNode forValue,
                                  ResolvedJavaType inputType,
                                  boolean nonNull,
                                  boolean exactType)

findSynonym

public static LogicNode findSynonym(ValueNode object,
                                    ResolvedJavaType type,
                                    ResolvedJavaType inputType,
                                    boolean nonNull,
                                    boolean exactType)

type

public ResolvedJavaType type()

Gets the type being tested.

profile

public JavaTypeProfile profile()

setProfile

public void setProfile(JavaTypeProfile profile)

virtualize

public void virtualize(VirtualizerTool tool)

Description copied from interface: Virtualizable

A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized. All modifications must be made through the supplied tool, and not directly on the node, because by the time this method is called the virtualized/non-virtualized state is still speculative and might not hold because of loops, etc.

Specified by:

virtualize in interface Virtualizable

Parameters:

tool - the tool used to describe the effects of this node

getSucceedingStampForValue

public Stamp getSucceedingStampForValue(boolean negated)

Specified by:

getSucceedingStampForValue in class UnaryOpLogicNode

tryFold

public TriState tryFold(Stamp valueStamp)

Specified by:

tryFold in class UnaryOpLogicNode

isInterfaceOrArrayOfInterface

private static boolean isInterfaceOrArrayOfInterface(ResolvedJavaType t)