com.oracle.graal.replacements

Class GraphKit

java.lang.Object

com.oracle.graal.replacements.GraphKit

public class GraphKit
extends Object

A utility for manually creating a graph. This will be expanded as necessary to support all subsystems that employ manual graph creation (as opposed to bytecode parsing based graph creation).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	GraphKit.IfState
(package private) static class	GraphKit.IfStructure
(package private) static class	GraphKit.Structure

Field Summary

Fields

Modifier and Type	Field and Description
protected StructuredGraph	graph
protected GraphBuilderConfiguration.Plugins	graphBuilderPlugins
protected FixedWithNextNode	lastFixedNode
protected Providers	providers
private List<GraphKit.Structure>	structures
protected WordTypes	wordTypes

Constructor Summary

Constructors

Constructor and Description
GraphKit(StructuredGraph graph, Providers providers, WordTypes wordTypes, GraphBuilderConfiguration.Plugins graphBuilderPlugins)

Method Summary

Modifier and Type	Method and Description
<T extends FixedNode> T	append(T node) Appends a fixed node to the graph.
<T extends ValueNode> T	changeToWord(T node)
boolean	checkArgs(ResolvedJavaMethod method, ValueNode... args) Determines if a given set of arguments is compatible with the signature of a given method.
InvokeNode	createInvoke(Class<?> declaringClass, String name, CallTargetNode.InvokeKind invokeKind, FrameStateBuilder frameStateBuilder, int bci, ValueNode... args) Creates and appends an InvokeNode for a call to a given method with a given set of arguments.
InvokeNode	createInvoke(Class<?> declaringClass, String name, ValueNode... args)
InvokeNode	createInvoke(ResolvedJavaMethod method, CallTargetNode.InvokeKind invokeKind, FrameStateBuilder frameStateBuilder, int bci, ValueNode... args) Creates and appends an InvokeNode for a call to a given method with a given set of arguments.
protected MethodCallTargetNode	createMethodCallTarget(CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] args, JavaType returnType, int bci)
void	elsePart()
void	endIf()
ResolvedJavaMethod	findMethod(Class<?> declaringClass, String name, boolean isStatic)
StructuredGraph	getGraph()
protected <T extends GraphKit.Structure> T	getTopStructure(Class<T> expectedClass)
void	inline(InvokeNode invoke) Inlines a given invocation to a method.
void	inlineInvokes() Recursively inlines all invocations currently in the graph.
protected void	popStructure()
protected void	pushStructure(GraphKit.Structure structure)
private GraphKit.IfStructure	saveLastNode()
void	startIf(LogicNode condition, double trueProbability) Starts an if-block.
void	thenPart()
<T extends FloatingNode> T	unique(T node) Ensures a floating node is added to or already present in the graph via Graph.unique(T).

Methods inherited from class java.lang.Object

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

Field Detail

providers

protected final Providers providers

graph

protected final StructuredGraph graph

wordTypes

protected final WordTypes wordTypes

graphBuilderPlugins

protected final GraphBuilderConfiguration.Plugins graphBuilderPlugins

lastFixedNode

protected FixedWithNextNode lastFixedNode

structures

private final List<GraphKit.Structure> structures

Constructor Detail

GraphKit

public GraphKit(StructuredGraph graph,
                Providers providers,
                WordTypes wordTypes,
                GraphBuilderConfiguration.Plugins graphBuilderPlugins)

Method Detail

getGraph

public StructuredGraph getGraph()

unique

public <T extends FloatingNode> T unique(T node)

Ensures a floating node is added to or already present in the graph via Graph.unique(T).

Returns:

a node similar to node if one exists, otherwise node

changeToWord

public <T extends ValueNode> T changeToWord(T node)

append

public <T extends FixedNode> T append(T node)

Appends a fixed node to the graph.

createInvoke

public InvokeNode createInvoke(Class<?> declaringClass,
                               String name,
                               ValueNode... args)

createInvoke

public InvokeNode createInvoke(Class<?> declaringClass,
                               String name,
                               CallTargetNode.InvokeKind invokeKind,
                               FrameStateBuilder frameStateBuilder,
                               int bci,
                               ValueNode... args)

Creates and appends an InvokeNode for a call to a given method with a given set of arguments. The method is looked up via reflection based on the declaring class and name.

Parameters:

declaringClass - the class declaring the invoked method

name - the name of the invoked method

args - the arguments to the invocation

findMethod

public ResolvedJavaMethod findMethod(Class<?> declaringClass,
                                     String name,
                                     boolean isStatic)

createInvoke

public InvokeNode createInvoke(ResolvedJavaMethod method,
                               CallTargetNode.InvokeKind invokeKind,
                               FrameStateBuilder frameStateBuilder,
                               int bci,
                               ValueNode... args)

Creates and appends an InvokeNode for a call to a given method with a given set of arguments.

createMethodCallTarget

protected MethodCallTargetNode createMethodCallTarget(CallTargetNode.InvokeKind invokeKind,
                                                      ResolvedJavaMethod targetMethod,
                                                      ValueNode[] args,
                                                      JavaType returnType,
                                                      int bci)

checkArgs

public boolean checkArgs(ResolvedJavaMethod method,
                         ValueNode... args)

Determines if a given set of arguments is compatible with the signature of a given method.

Returns:

true if args are compatible with the signature if method

Throws:

AssertionError - if args are not compatible with the signature if method

inlineInvokes

public void inlineInvokes()

Recursively inlines all invocations currently in the graph.

inline

public void inline(InvokeNode invoke)

Inlines a given invocation to a method. The graph of the inlined method is processed in the same manner as for snippets and method substitutions.

pushStructure

protected void pushStructure(GraphKit.Structure structure)

getTopStructure

protected <T extends GraphKit.Structure> T getTopStructure(Class<T> expectedClass)

popStructure

protected void popStructure()

startIf

public void startIf(LogicNode condition,
                    double trueProbability)

Starts an if-block. This call can be followed by a call to thenPart() to start emitting the code executed when the condition hold; and a call to elsePart() to start emititng the code when the condition does not hold. It must be followed by a call to endIf() to close the if-block.

Parameters:

condition - The condition for the if-block

trueProbability - The estimated probability the the condition is true

saveLastNode

private GraphKit.IfStructure saveLastNode()

thenPart

public void thenPart()

elsePart

public void elsePart()

endIf

public void endIf()