com.oracle.graal.nodes

Class StructuredGraph

java.lang.Object

com.oracle.graal.graph.Graph

com.oracle.graal.nodes.StructuredGraph

All Implemented Interfaces:

JavaMethodContext

public class StructuredGraph
extends Graph
implements JavaMethodContext

A graph that contains at least one distinguished node : the start node. This node is the start of the control flow of the graph.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StructuredGraph.AllowAssumptions Constants denoting whether or not Assumptions.Assumptions can be made while processing a graph.
static class	StructuredGraph.GuardsStage The different stages of the compilation of a Graph regarding the status of guards, deoptimizations and framestates.
private static class	StructuredGraph.UnsafeAccessState

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

Graph.DuplicationReplacement, Graph.Mark, Graph.NodeEvent, Graph.NodeEventListener, Graph.NodeEventScope, Graph.Options

Field Summary

Fields

Modifier and Type	Field and Description
private Assumptions	assumptions The assumptions made while constructing and transforming this graph.
private int	entryBCI
private long	graphId
private StructuredGraph.GuardsStage	guardsStage
private StructuredGraph.UnsafeAccessState	hasUnsafeAccess
private boolean	hasValueProxies
private Map<ResolvedJavaMethod,Integer>	inlinedMethods Records the methods that were inlined while constructing this graph along with how many times each method was inlined.
static long	INVALID_GRAPH_ID
private boolean	isAfterFloatingReadPhase
private ResolvedJavaMethod	method
private SpeculationLog	speculationLog
private StartNode	start
private static AtomicLong	uniqueGraphIds

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

COMPRESSION_THRESHOLD, MODIFICATION_COUNTS_ENABLED, name

Constructor Summary

Constructors

Modifier	Constructor and Description
	StructuredGraph(ResolvedJavaMethod method, int entryBCI, StructuredGraph.AllowAssumptions allowAssumptions, SpeculationLog speculationLog)
	StructuredGraph(ResolvedJavaMethod method, StructuredGraph.AllowAssumptions allowAssumptions)
	StructuredGraph(ResolvedJavaMethod method, StructuredGraph.AllowAssumptions allowAssumptions, SpeculationLog speculationLog)
private	StructuredGraph(String name, ResolvedJavaMethod method, long graphId, int entryBCI, StructuredGraph.AllowAssumptions allowAssumptions, SpeculationLog speculationLog)
	StructuredGraph(String name, ResolvedJavaMethod method, StructuredGraph.AllowAssumptions allowAssumptions) Creates a new Graph containing a single AbstractBeginNode as the start node.
	StructuredGraph(String name, ResolvedJavaMethod method, StructuredGraph.AllowAssumptions allowAssumptions, SpeculationLog speculationLog)
	StructuredGraph(StructuredGraph.AllowAssumptions allowAssumptions) Creates a new Graph containing a single AbstractBeginNode as the start node.

Method Summary

Modifier and Type	Method and Description
void	addAfterFixed(FixedWithNextNode node, FixedNode newNode)
void	addBeforeFixed(FixedNode node, FixedWithNextNode newNode)
JavaMethod	asJavaMethod()
protected Graph	copy(String newName, Consumer<Map<Node,Node>> duplicationMapCallback) Creates a copy of this graph.
void	disableInlinedMethodRecording() Disables method inlining recording while constructing this graph.
void	disableUnsafeAccessTracking()
Assumptions	getAssumptions() Gets the object for recording assumptions while constructing of this graph.
int	getBytecodeSize() Gets the input bytecode size from which this graph is constructed.
int	getEntryBCI()
StructuredGraph.GuardsStage	getGuardsStage()
Set<ResolvedJavaMethod>	getInlinedMethods() Gets the methods that were inlined while constructing this graph.
Iterable<Invoke>	getInvokes()
ParameterNode	getParameter(int index)
Stamp	getReturnStamp()
SpeculationLog	getSpeculationLog()
long	graphId()
boolean	hasLoops()
boolean	hasUnsafeAccess()
boolean	hasValueProxies()
boolean	isAfterFloatingReadPhase()
boolean	isInlinedMethodRecordingEnabled()
boolean	isOSR()
boolean	isTrivial()
boolean	isUnsafeAccessTrackingEnabled()
void	markUnsafeAccess()
ResolvedJavaMethod	method() Gets the method from which this graph was built.
void	recordInlinedMethod(ResolvedJavaMethod inlinedMethod) If method inlining recording has not been disabled, records that inlinedMethod was inlined to this graph.
void	reduceDegenerateLoopBegin(LoopBeginNode begin)
void	reduceTrivialMerge(AbstractMergeNode merge)
void	removeFixed(FixedWithNextNode node) Unlinks a node from all its control flow neighbors and then removes it from its graph.
void	removeFloating(FloatingNode node)
void	removeSplit(ControlSplitNode node, AbstractBeginNode survivingSuccessor)
void	removeSplitPropagate(ControlSplitNode node, AbstractBeginNode survivingSuccessor)
void	removeSplitPropagate(ControlSplitNode node, AbstractBeginNode survivingSuccessor, SimplifierTool tool)
void	replaceFixed(FixedWithNextNode node, Node replacement)
void	replaceFixedWithFixed(FixedWithNextNode node, FixedWithNextNode replacement)
void	replaceFixedWithFloating(FixedWithNextNode node, FloatingNode replacement)
void	replaceFloating(FloatingNode node, Node replacement)
void	replaceSplit(ControlSplitNode node, Node replacement, AbstractBeginNode survivingSuccessor)
void	replaceSplitWithFixed(ControlSplitNode node, FixedWithNextNode replacement, AbstractBeginNode survivingSuccessor)
void	replaceSplitWithFloating(ControlSplitNode node, FloatingNode replacement, AbstractBeginNode survivingSuccessor)
void	setAfterFloatingReadPhase(boolean state)
void	setGuardsStage(StructuredGraph.GuardsStage guardsStage)
void	setHasValueProxies(boolean state)
void	setStart(StartNode start)
StartNode	start()
String	toString()
void	updateInlinedMethods(StructuredGraph other) If method inlining recording has not been disabled, updates the inlined methods of this graph with the inlined methods of another graph.

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

add, addDuplicates, addDuplicates, addOrUnique, addOrUniqueWithInputs, addWithoutUnique, addWithoutUniqueWithInputs, copy, copy, copy, createIterativeNodeWorkList, createNodeBitMap, createNodeFlood, createNodeMap, createNodeWorkList, findDuplicate, freeze, getCompressions, getMark, getNewNodes, getNode, getNodeCount, getNodes, getNodes, getNodesDeletedSinceLastCompression, getTotalNodesDeleted, hasNode, isFrozen, isNew, maybeCompress, reverseUsageOrder, trackNodeEvents, unique, verify

Methods inherited from class java.lang.Object

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

Field Detail

INVALID_GRAPH_ID

public static final long INVALID_GRAPH_ID

See Also:

Constant Field Values

uniqueGraphIds

private static final AtomicLong uniqueGraphIds

start

private StartNode start

method

private final ResolvedJavaMethod method

graphId

private final long graphId

entryBCI

private final int entryBCI

guardsStage

private StructuredGraph.GuardsStage guardsStage

isAfterFloatingReadPhase

private boolean isAfterFloatingReadPhase

hasValueProxies

private boolean hasValueProxies

assumptions

private final Assumptions assumptions

The assumptions made while constructing and transforming this graph.

speculationLog

private final SpeculationLog speculationLog

inlinedMethods

private Map<ResolvedJavaMethod,Integer> inlinedMethods

Records the methods that were inlined while constructing this graph along with how many times each method was inlined.

hasUnsafeAccess

private StructuredGraph.UnsafeAccessState hasUnsafeAccess

Constructor Detail

StructuredGraph

public StructuredGraph(StructuredGraph.AllowAssumptions allowAssumptions)

Creates a new Graph containing a single AbstractBeginNode as the start node.

StructuredGraph

public StructuredGraph(String name,
                       ResolvedJavaMethod method,
                       StructuredGraph.AllowAssumptions allowAssumptions)

Creates a new Graph containing a single AbstractBeginNode as the start node.

StructuredGraph

public StructuredGraph(String name,
                       ResolvedJavaMethod method,
                       StructuredGraph.AllowAssumptions allowAssumptions,
                       SpeculationLog speculationLog)

StructuredGraph

public StructuredGraph(ResolvedJavaMethod method,
                       StructuredGraph.AllowAssumptions allowAssumptions)

StructuredGraph

public StructuredGraph(ResolvedJavaMethod method,
                       StructuredGraph.AllowAssumptions allowAssumptions,
                       SpeculationLog speculationLog)

StructuredGraph

public StructuredGraph(ResolvedJavaMethod method,
                       int entryBCI,
                       StructuredGraph.AllowAssumptions allowAssumptions,
                       SpeculationLog speculationLog)

StructuredGraph

private StructuredGraph(String name,
                        ResolvedJavaMethod method,
                        long graphId,
                        int entryBCI,
                        StructuredGraph.AllowAssumptions allowAssumptions,
                        SpeculationLog speculationLog)

Method Detail

getReturnStamp

public Stamp getReturnStamp()

toString

public String toString()

Overrides:

toString in class Graph

start

public StartNode start()

method

public ResolvedJavaMethod method()

Gets the method from which this graph was built.

Returns:

null if this method was not built from a method or the method is not available

getEntryBCI

public int getEntryBCI()

isOSR

public boolean isOSR()

graphId

public long graphId()

setStart

public void setStart(StartNode start)

copy

protected Graph copy(String newName,
                     Consumer<Map<Node,Node>> duplicationMapCallback)

Creates a copy of this graph.

Overrides:

copy in class Graph

Parameters:

newName - the name of the copy, used for debugging purposes (can be null)

duplicationMapCallback - consumer of the duplication map created during the copying

getParameter

public ParameterNode getParameter(int index)

getInvokes

public Iterable<Invoke> getInvokes()

hasLoops

public boolean hasLoops()

removeFloating

public void removeFloating(FloatingNode node)

replaceFloating

public void replaceFloating(FloatingNode node,
                            Node replacement)

removeFixed

public void removeFixed(FixedWithNextNode node)

Unlinks a node from all its control flow neighbors and then removes it from its graph. The node must have no usages.

Parameters:

node - the node to be unlinked and removed

replaceFixed

public void replaceFixed(FixedWithNextNode node,
                         Node replacement)

replaceFixedWithFixed

public void replaceFixedWithFixed(FixedWithNextNode node,
                                  FixedWithNextNode replacement)

replaceFixedWithFloating

public void replaceFixedWithFloating(FixedWithNextNode node,
                                     FloatingNode replacement)

removeSplit

public void removeSplit(ControlSplitNode node,
                        AbstractBeginNode survivingSuccessor)

removeSplitPropagate

public void removeSplitPropagate(ControlSplitNode node,
                                 AbstractBeginNode survivingSuccessor)

removeSplitPropagate

public void removeSplitPropagate(ControlSplitNode node,
                                 AbstractBeginNode survivingSuccessor,
                                 SimplifierTool tool)

replaceSplit

public void replaceSplit(ControlSplitNode node,
                         Node replacement,
                         AbstractBeginNode survivingSuccessor)

replaceSplitWithFixed

public void replaceSplitWithFixed(ControlSplitNode node,
                                  FixedWithNextNode replacement,
                                  AbstractBeginNode survivingSuccessor)

replaceSplitWithFloating

public void replaceSplitWithFloating(ControlSplitNode node,
                                     FloatingNode replacement,
                                     AbstractBeginNode survivingSuccessor)

addAfterFixed

public void addAfterFixed(FixedWithNextNode node,
                          FixedNode newNode)

addBeforeFixed

public void addBeforeFixed(FixedNode node,
                           FixedWithNextNode newNode)

reduceDegenerateLoopBegin

public void reduceDegenerateLoopBegin(LoopBeginNode begin)

reduceTrivialMerge

public void reduceTrivialMerge(AbstractMergeNode merge)

getGuardsStage

public StructuredGraph.GuardsStage getGuardsStage()

setGuardsStage

public void setGuardsStage(StructuredGraph.GuardsStage guardsStage)

isAfterFloatingReadPhase

public boolean isAfterFloatingReadPhase()

setAfterFloatingReadPhase

public void setAfterFloatingReadPhase(boolean state)

hasValueProxies

public boolean hasValueProxies()

setHasValueProxies

public void setHasValueProxies(boolean state)

getAssumptions

public Assumptions getAssumptions()

Gets the object for recording assumptions while constructing of this graph.

Returns:

null if assumptions cannot be made for this graph

disableInlinedMethodRecording

public void disableInlinedMethodRecording()

Disables method inlining recording while constructing this graph. This can be done at most once and must be done before any inlined methods are recorded.

isInlinedMethodRecordingEnabled

public boolean isInlinedMethodRecordingEnabled()

getInlinedMethods

public Set<ResolvedJavaMethod> getInlinedMethods()

Gets the methods that were inlined while constructing this graph.

Returns:

null if method inlining recording has been disabled

recordInlinedMethod

public void recordInlinedMethod(ResolvedJavaMethod inlinedMethod)

If method inlining recording has not been disabled, records that inlinedMethod was inlined to this graph. Otherwise, this method does nothing.

updateInlinedMethods

public void updateInlinedMethods(StructuredGraph other)

If method inlining recording has not been disabled, updates the inlined methods of this graph with the inlined methods of another graph. Otherwise, this method does nothing.

getBytecodeSize

public int getBytecodeSize()

Gets the input bytecode size from which this graph is constructed. This ignores how many bytecodes in each constituent method are actually parsed (which may be none for methods whose IR is retrieved from a cache or less than the full amount for any given method due to profile guided branch pruning). If method inlining recording has been disabled for this graph, bytecode counts for inlined methods are not included in the returned value.

isTrivial

public boolean isTrivial()

Returns:

true if the graph contains only a StartNode and ReturnNode

asJavaMethod

public JavaMethod asJavaMethod()

Specified by:

asJavaMethod in interface JavaMethodContext

hasUnsafeAccess

public boolean hasUnsafeAccess()

markUnsafeAccess

public void markUnsafeAccess()

disableUnsafeAccessTracking

public void disableUnsafeAccessTracking()

isUnsafeAccessTrackingEnabled

public boolean isUnsafeAccessTrackingEnabled()

getSpeculationLog

public SpeculationLog getSpeculationLog()