com.oracle.graal.pointsto.flow

Class MethodTypeFlowBuilder

java.lang.Object

com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder

public class MethodTypeFlowBuilder
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected BigBang	bb
protected org.graalvm.compiler.nodes.StructuredGraph	graph
protected AnalysisMethod	method
protected MethodTypeFlow	methodFlow

Constructor Summary

Constructors

Constructor and Description
MethodTypeFlowBuilder(BigBang bb, MethodTypeFlow methodFlow)
MethodTypeFlowBuilder(BigBang 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 NewInstanceTypeFlow	createNewArrayTypeFlow(org.graalvm.compiler.nodes.java.NewArrayNode node, AnalysisType type, BytecodeLocation allocationLabel)
protected NewInstanceTypeFlow	createNewInstanceTypeFlow(org.graalvm.compiler.nodes.java.NewInstanceNode node, AnalysisType type, BytecodeLocation allocationLabel)
protected void	processNewArray(org.graalvm.compiler.nodes.java.NewArrayNode node, com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder.TypeFlowsOfNodes state)
protected void	processNewInstance(org.graalvm.compiler.nodes.java.NewInstanceNode node, com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder.TypeFlowsOfNodes state)
void	registerUsedElements()
protected static 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 BigBang bb

methodFlow

protected final MethodTypeFlow methodFlow

method

protected final AnalysisMethod method

graph

protected org.graalvm.compiler.nodes.StructuredGraph graph

Constructor Detail

MethodTypeFlowBuilder

public MethodTypeFlowBuilder(BigBang bb,
                             MethodTypeFlow methodFlow)

MethodTypeFlowBuilder

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

Method Detail

registerUsedElements

public void registerUsedElements()

apply

protected void apply()

uniqueKey

protected static 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.

processNewInstance

protected void processNewInstance(org.graalvm.compiler.nodes.java.NewInstanceNode node,
                                  com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder.TypeFlowsOfNodes state)

createNewInstanceTypeFlow

protected NewInstanceTypeFlow createNewInstanceTypeFlow(org.graalvm.compiler.nodes.java.NewInstanceNode node,
                                                        AnalysisType type,
                                                        BytecodeLocation allocationLabel)

processNewArray

protected void processNewArray(org.graalvm.compiler.nodes.java.NewArrayNode node,
                               com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder.TypeFlowsOfNodes state)

createNewArrayTypeFlow

protected NewInstanceTypeFlow createNewArrayTypeFlow(org.graalvm.compiler.nodes.java.NewArrayNode node,
                                                     AnalysisType type,
                                                     BytecodeLocation allocationLabel)

checkUnsafeOffset

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

Hook for unsafe offset value checks.