com.oracle.graal.replacements

Class NodeIntrinsificationPhase

java.lang.Object

com.oracle.graal.phases.BasePhase<Object>

com.oracle.graal.phases.Phase

com.oracle.graal.replacements.NodeIntrinsificationPhase

public class NodeIntrinsificationPhase
extends Phase

Replaces calls to Node.NodeIntrinsics with nodes and calls to methods annotated with Fold with the result of invoking the annotated method via reflection.

Field Summary

Fields

Modifier and Type	Field and Description
private ConstantReflectionProvider	constantReflection
static JavaConstant	COULD_NOT_FOLD
private ForeignCallsProvider	foreignCalls
private MetaAccessProvider	metaAccess
private SnippetReflectionProvider	snippetReflection
private StampProvider	stampProvider

Fields inherited from class com.oracle.graal.phases.BasePhase

BEFORE_PHASE_DUMP_LEVEL, PHASE_DUMP_LEVEL

Constructor Summary

Constructors

Constructor and Description
NodeIntrinsificationPhase(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, SnippetReflectionProvider snippetReflection, ForeignCallsProvider foreignCalls, StampProvider stampProvider)

Method Summary

Modifier and Type	Method and Description
private static boolean	areAllConstant(List<ValueNode> arguments)
private static void	checkCheckCastUsage(StructuredGraph graph, Node intrinsifiedNode, Node input, Node usage)
private static boolean	checkNoMoreInjected(ResolvedJavaMethod c, int start)
void	cleanUpReturnCheckCast(Node newInstance)
ValueNode	createIntrinsicNode(List<ValueNode> arguments, Stamp stamp, ResolvedJavaMethod method, StructuredGraph graph, Node.NodeIntrinsic intrinsic) Attempts to create a node to replace a call to a Node.NodeIntrinsic annotated method.
protected ValueNode	createNodeInstance(StructuredGraph graph, ResolvedJavaType nodeClass, ResolvedJavaType[] parameterTypes, Stamp invokeStamp, boolean setStampFromReturnType, Object[] nodeConstructorArguments)
Node.NodeIntrinsic	getIntrinsic(ResolvedJavaMethod method) Permits a subclass to override the default definition of "intrinsic".
ResolvedJavaType	getNodeClass(ResolvedJavaMethod target, Node.NodeIntrinsic intrinsic)
protected Object	invokeConstructor(ResolvedJavaMethod constructor, Object[] arguments)
boolean	isFoldable(ResolvedJavaMethod method) Permits a subclass to override the default definition of "foldable".
private Object[]	match(StructuredGraph graph, Stamp invokeStamp, ResolvedJavaMethod c, ResolvedJavaType[] parameterTypes, Object[] nodeConstructorArguments)
private Object[]	prepareArguments(List<ValueNode> arguments, ResolvedJavaType[] parameterTypes, ResolvedJavaMethod target, boolean folding) Converts the arguments of an invoke node to object values suitable for use as the arguments to a reflective invocation of a Java constructor or method.
protected void	run(StructuredGraph graph)
private static String	sigString(ResolvedJavaType[] types)
private static String	sourceLocation(Node n)
JavaConstant	tryFold(List<ValueNode> args, ResolvedJavaType[] parameterTypes, ResolvedJavaMethod target)
protected boolean	tryIntrinsify(MethodCallTargetNode methodCallTargetNode, List<Node> cleanUpReturnList)

Methods inherited from class com.oracle.graal.phases.Phase

apply, apply, run

Methods inherited from class com.oracle.graal.phases.BasePhase

apply, apply, createName, getName

Methods inherited from class java.lang.Object

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

Field Detail

metaAccess

private final MetaAccessProvider metaAccess

constantReflection

private final ConstantReflectionProvider constantReflection

snippetReflection

private final SnippetReflectionProvider snippetReflection

foreignCalls

private final ForeignCallsProvider foreignCalls

stampProvider

private final StampProvider stampProvider

COULD_NOT_FOLD

public static final JavaConstant COULD_NOT_FOLD

Constructor Detail

NodeIntrinsificationPhase

public NodeIntrinsificationPhase(MetaAccessProvider metaAccess,
                                 ConstantReflectionProvider constantReflection,
                                 SnippetReflectionProvider snippetReflection,
                                 ForeignCallsProvider foreignCalls,
                                 StampProvider stampProvider)

Method Detail

run

protected void run(StructuredGraph graph)

Specified by:

run in class Phase

tryIntrinsify

protected boolean tryIntrinsify(MethodCallTargetNode methodCallTargetNode,
                                List<Node> cleanUpReturnList)

tryFold

public JavaConstant tryFold(List<ValueNode> args,
                            ResolvedJavaType[] parameterTypes,
                            ResolvedJavaMethod target)

areAllConstant

private static boolean areAllConstant(List<ValueNode> arguments)

createIntrinsicNode

public ValueNode createIntrinsicNode(List<ValueNode> arguments,
                                     Stamp stamp,
                                     ResolvedJavaMethod method,
                                     StructuredGraph graph,
                                     Node.NodeIntrinsic intrinsic)

Attempts to create a node to replace a call to a Node.NodeIntrinsic annotated method.

Parameters:

arguments - the arguments of the call

stamp - the stamp to use for the returned node

method - the method annotated with Node.NodeIntrinsic

graph - the graph into which the created node will be added

Returns:

a ConstantNode if the intrinsic could be folded, null if intrinsification could not (yet) be performed, otherwise the node representing the intrinsic

getIntrinsic

public Node.NodeIntrinsic getIntrinsic(ResolvedJavaMethod method)

Permits a subclass to override the default definition of "intrinsic".

isFoldable

public boolean isFoldable(ResolvedJavaMethod method)

Permits a subclass to override the default definition of "foldable".

prepareArguments

private Object[] prepareArguments(List<ValueNode> arguments,
                                  ResolvedJavaType[] parameterTypes,
                                  ResolvedJavaMethod target,
                                  boolean folding)

Converts the arguments of an invoke node to object values suitable for use as the arguments to a reflective invocation of a Java constructor or method.

Parameters:

folding - specifies if the invocation is for handling a Fold annotation

Returns:

the arguments for the reflective invocation or null if an argument of invoke that is expected to be constant isn't

getNodeClass

public ResolvedJavaType getNodeClass(ResolvedJavaMethod target,
                                     Node.NodeIntrinsic intrinsic)

createNodeInstance

protected ValueNode createNodeInstance(StructuredGraph graph,
                                       ResolvedJavaType nodeClass,
                                       ResolvedJavaType[] parameterTypes,
                                       Stamp invokeStamp,
                                       boolean setStampFromReturnType,
                                       Object[] nodeConstructorArguments)

invokeConstructor

protected Object invokeConstructor(ResolvedJavaMethod constructor,
                                   Object[] arguments)

sigString

private static String sigString(ResolvedJavaType[] types)

checkNoMoreInjected

private static boolean checkNoMoreInjected(ResolvedJavaMethod c,
                                           int start)

match

private Object[] match(StructuredGraph graph,
                       Stamp invokeStamp,
                       ResolvedJavaMethod c,
                       ResolvedJavaType[] parameterTypes,
                       Object[] nodeConstructorArguments)

sourceLocation

private static String sourceLocation(Node n)

cleanUpReturnCheckCast

public void cleanUpReturnCheckCast(Node newInstance)

checkCheckCastUsage

private static void checkCheckCastUsage(StructuredGraph graph,
                                        Node intrinsifiedNode,
                                        Node input,
                                        Node usage)