com.oracle.graal.pointsto.flow

Class MethodTypeFlowBuilder

java.lang.Object

com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder

public class MethodTypeFlowBuilder
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	MethodTypeFlowBuilder.TypeFlowsOfNodes Fixed point analysis state.

Field Summary

Fields

Modifier and Type	Field and Description
protected PointsToAnalysis	bb
protected org.graalvm.compiler.nodes.StructuredGraph	graph
protected PointsToAnalysisMethod	method
protected MethodTypeFlow	methodFlow
protected TypeFlowGraphBuilder	typeFlowGraphBuilder

Constructor Summary

Constructors

Constructor and Description
MethodTypeFlowBuilder(PointsToAnalysis bb, MethodTypeFlow methodFlow)
MethodTypeFlowBuilder(PointsToAnalysis bb, org.graalvm.compiler.nodes.StructuredGraph graph)

Method Summary

Modifier and Type	Method and Description
protected void	apply()
protected void	checkUnsafeOffset(org.graalvm.compiler.nodes.ValueNode base, org.graalvm.compiler.nodes.ValueNode offset) Hook for unsafe offset value checks.
protected void	delegateNodeProcessing(org.graalvm.compiler.nodes.FixedNode n, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processCommitAllocation(org.graalvm.compiler.nodes.virtual.CommitAllocationNode commitAllocationNode, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processNewArray(org.graalvm.compiler.nodes.java.NewArrayNode node, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processNewInstance(org.graalvm.compiler.nodes.java.NewInstanceNode node, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processNewInstance(org.graalvm.compiler.nodes.ValueNode node, AnalysisType type, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processStoreField(org.graalvm.compiler.nodes.java.StoreFieldNode node, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processStoreField(org.graalvm.compiler.nodes.ValueNode node, AnalysisField field, org.graalvm.compiler.nodes.ValueNode object, org.graalvm.compiler.nodes.ValueNode value, MethodTypeFlowBuilder.TypeFlowsOfNodes state)
void	registerUsedElements(boolean registerEmbeddedRoots)
protected Object	uniqueKey(org.graalvm.compiler.graph.Node node) This method returns a unique key for the given node.

Methods inherited from class java.lang.Object

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

Field Detail

bb

protected final PointsToAnalysis bb

methodFlow

protected final MethodTypeFlow methodFlow

method

protected final PointsToAnalysisMethod method

graph

protected org.graalvm.compiler.nodes.StructuredGraph graph

typeFlowGraphBuilder

protected final TypeFlowGraphBuilder typeFlowGraphBuilder

Constructor Detail

MethodTypeFlowBuilder

public MethodTypeFlowBuilder(PointsToAnalysis bb,
                             MethodTypeFlow methodFlow)

MethodTypeFlowBuilder

public MethodTypeFlowBuilder(PointsToAnalysis bb,
                             org.graalvm.compiler.nodes.StructuredGraph graph)

Method Detail

registerUsedElements

public void registerUsedElements(boolean registerEmbeddedRoots)

apply

protected void apply()

delegateNodeProcessing

protected void delegateNodeProcessing(org.graalvm.compiler.nodes.FixedNode n,
                                      MethodTypeFlowBuilder.TypeFlowsOfNodes state)

uniqueKey

protected Object uniqueKey(org.graalvm.compiler.graph.Node node)

This method returns a unique key for the given node. Unless the node comes from a substitution, the unique key is the BCI of the node. Every newinstance/newarray/newmultiarray/instanceof/checkcast node coming from a substitution method cannot have a BCI. If one substitution has multiple nodes of the same type, then the BCI would not be unique. In the later case the key is a unique object.

processCommitAllocation

protected void processCommitAllocation(org.graalvm.compiler.nodes.virtual.CommitAllocationNode commitAllocationNode,
                                       MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processNewInstance

protected void processNewInstance(org.graalvm.compiler.nodes.java.NewInstanceNode node,
                                  MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processNewArray

protected void processNewArray(org.graalvm.compiler.nodes.java.NewArrayNode node,
                               MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processNewInstance

protected void processNewInstance(org.graalvm.compiler.nodes.ValueNode node,
                                  AnalysisType type,
                                  MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processStoreField

protected void processStoreField(org.graalvm.compiler.nodes.java.StoreFieldNode node,
                                 MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processStoreField

protected void processStoreField(org.graalvm.compiler.nodes.ValueNode node,
                                 AnalysisField field,
                                 org.graalvm.compiler.nodes.ValueNode object,
                                 org.graalvm.compiler.nodes.ValueNode value,
                                 MethodTypeFlowBuilder.TypeFlowsOfNodes state)

checkUnsafeOffset

protected void checkUnsafeOffset(org.graalvm.compiler.nodes.ValueNode base,
                                 org.graalvm.compiler.nodes.ValueNode offset)

Hook for unsafe offset value checks.