com.oracle.graal.pointsto.nodes

Class ConvertUnknownValueNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.FixedNode

org.graalvm.compiler.nodes.FixedWithNextNode

com.oracle.graal.pointsto.nodes.ConvertUnknownValueNode

All Implemented Interfaces:

Cloneable, Formattable, org.graalvm.compiler.graph.NodeInterface, org.graalvm.compiler.nodes.FixedNodeInterface, org.graalvm.compiler.nodes.ValueNodeInterface

public final class ConvertUnknownValueNode
extends org.graalvm.compiler.nodes.FixedWithNextNode

Node used to convert unknown value objects, e.g., objects that resulted from a low level memory read, i.e., word-to-object reads, to a proper object. This node needs to be inserted in the right place by the analysis client. By default during analysis all objects that result from low level reads are treated as having unknown value. We only convert them to proper objects when they are used as a receiver object in calls, loads, stores, etc. Thus, objects that are never used as proper Java objects, but only passed around as data will not interfere with the points-to analysis. If an unknown value object is used as a proper object, for example as a receiver for a call, an unsupported feature will be reported. The stamp of the node is used to reduce the type of the return value from the all instantiated types to the type subtree of the specified type. If the type is Object no actual type reduction is done.

Nested Class Summary

Nested classes/interfaces inherited from class org.graalvm.compiler.graph.Node

org.graalvm.compiler.graph.Node.ConstantNodeParameter, org.graalvm.compiler.graph.Node.EdgeVisitor, org.graalvm.compiler.graph.Node.IndirectCanonicalization, org.graalvm.compiler.graph.Node.InjectedNodeParameter, org.graalvm.compiler.graph.Node.Input, org.graalvm.compiler.graph.Node.NodeInsertionStackTrace, org.graalvm.compiler.graph.Node.NodeIntrinsic, org.graalvm.compiler.graph.Node.OptionalInput, org.graalvm.compiler.graph.Node.Successor, org.graalvm.compiler.graph.Node.ValueNumberable

Field Summary

Fields

Modifier and Type	Field and Description
static org.graalvm.compiler.graph.NodeClass<ConvertUnknownValueNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.FixedWithNextNode

next

Fields inherited from class org.graalvm.compiler.nodes.ValueNode

stamp

Fields inherited from class org.graalvm.compiler.graph.Node

NODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
ConvertUnknownValueNode(org.graalvm.compiler.nodes.ValueNode object, org.graalvm.compiler.core.common.type.Stamp stamp)

Method Summary

Modifier and Type	Method and Description
org.graalvm.compiler.nodes.ValueNode	getObject()

Methods inherited from class org.graalvm.compiler.nodes.FixedWithNextNode

asNode, next, setNext

Methods inherited from class org.graalvm.compiler.nodes.FixedNode

verify

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, getStackKind, graph, hasUsagesOtherThan, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isJavaConstant, isNullConstant, replaceAtUsages, setStamp, stamp, updateStamp

Methods inherited from class org.graalvm.compiler.graph.Node

afterClone, applyInputs, applySuccessors, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearNodeSourcePosition, clearSuccessors, copyWithInputs, copyWithInputs, dataFlowEquals, estimatedNodeCycles, estimatedNodeSize, fail, formatTo, getCreationPosition, getDebug, getDebugProperties, getDebugProperties, getInsertionPosition, getNodeClass, getNodeSourcePosition, getOptions, getUsageAt, getUsageCount, hasExactlyOneUsage, hashCode, hasMoreThanOneUsage, hasNoUsages, hasUsages, inputPositions, inputs, isAlive, isDeleted, isUnregistered, markDeleted, maybeNotifyZeroUsages, modCount, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtAllUsages, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsagesAndDelete, replaceAtUsagesAndDelete, replaceFirstInput, replaceFirstSuccessor, safeDelete, setCreationPosition, setInsertionPosition, setNodeSourcePosition, simplify, successorPositions, successors, toString, toString, updateNodeSourcePosition, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verifyEdges, verifyInputs, verifySourcePosition, withNodeSourcePosition

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final org.graalvm.compiler.graph.NodeClass<ConvertUnknownValueNode> TYPE

Constructor Detail

ConvertUnknownValueNode

public ConvertUnknownValueNode(org.graalvm.compiler.nodes.ValueNode object,
                               org.graalvm.compiler.core.common.type.Stamp stamp)

Method Detail

getObject

public org.graalvm.compiler.nodes.ValueNode getObject()