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 MethodFlowsGraph	flowsGraph
protected org.graalvm.compiler.nodes.StructuredGraph	graph
protected PointsToAnalysisMethod	method
protected TypeFlowGraphBuilder	typeFlowGraphBuilder

Constructor Summary

Constructors

Constructor and Description
MethodTypeFlowBuilder(PointsToAnalysis bb, PointsToAnalysisMethod method)
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 boolean	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	processMacroInvokable(MethodTypeFlowBuilder.TypeFlowsOfNodes state, org.graalvm.compiler.replacements.nodes.MacroInvokable macro, boolean installResult)
protected void	processMethodInvocation(MethodTypeFlowBuilder.TypeFlowsOfNodes state, org.graalvm.compiler.nodes.ValueNode invoke, org.graalvm.compiler.nodes.CallTargetNode.InvokeKind invokeKind, PointsToAnalysisMethod targetMethod, org.graalvm.compiler.graph.NodeInputList<org.graalvm.compiler.nodes.ValueNode> arguments)
protected void	processMethodInvocation(MethodTypeFlowBuilder.TypeFlowsOfNodes state, org.graalvm.compiler.nodes.ValueNode invoke, org.graalvm.compiler.nodes.CallTargetNode.InvokeKind invokeKind, PointsToAnalysisMethod targetMethod, org.graalvm.compiler.graph.NodeInputList<org.graalvm.compiler.nodes.ValueNode> arguments, boolean installResult)
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 BytecodePosition	sourcePosition(org.graalvm.compiler.nodes.ValueNode node) Provide a non-null position.

Methods inherited from class java.lang.Object

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

Field Detail

bb

protected final PointsToAnalysis bb

flowsGraph

protected final MethodFlowsGraph flowsGraph

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,
                             PointsToAnalysisMethod method)

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 boolean delegateNodeProcessing(org.graalvm.compiler.nodes.FixedNode n,
                                         MethodTypeFlowBuilder.TypeFlowsOfNodes state)

processMacroInvokable

protected void processMacroInvokable(MethodTypeFlowBuilder.TypeFlowsOfNodes state,
                                     org.graalvm.compiler.replacements.nodes.MacroInvokable macro,
                                     boolean installResult)

processMethodInvocation

protected void processMethodInvocation(MethodTypeFlowBuilder.TypeFlowsOfNodes state,
                                       org.graalvm.compiler.nodes.ValueNode invoke,
                                       org.graalvm.compiler.nodes.CallTargetNode.InvokeKind invokeKind,
                                       PointsToAnalysisMethod targetMethod,
                                       org.graalvm.compiler.graph.NodeInputList<org.graalvm.compiler.nodes.ValueNode> arguments)

processMethodInvocation

protected void processMethodInvocation(MethodTypeFlowBuilder.TypeFlowsOfNodes state,
                                       org.graalvm.compiler.nodes.ValueNode invoke,
                                       org.graalvm.compiler.nodes.CallTargetNode.InvokeKind invokeKind,
                                       PointsToAnalysisMethod targetMethod,
                                       org.graalvm.compiler.graph.NodeInputList<org.graalvm.compiler.nodes.ValueNode> arguments,
                                       boolean installResult)

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.

sourcePosition

protected BytecodePosition sourcePosition(org.graalvm.compiler.nodes.ValueNode node)

Provide a non-null position. Some flows like newInstance and invoke require a non-null position, for others is just better. The constructed position is best-effort, i.e., it contains at least the method, and a BCI only if the node provides it. This is necessary because Node.getNodeSourcePosition() doesn't always provide a position, like for example for generated factory methods in FactoryThrowMethodHolder.