com.oracle.graal.replacements.nodes

Class PureFunctionMacroNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.FixedNode

com.oracle.graal.nodes.FixedWithNextNode

com.oracle.graal.replacements.nodes.MacroNode

com.oracle.graal.replacements.nodes.MacroStateSplitNode

com.oracle.graal.replacements.nodes.PureFunctionMacroNode

All Implemented Interfaces:

NodeInterface, Canonicalizable, MemoryCheckpoint, MemoryCheckpoint.Single, MemoryNode, Lowerable, NodeWithState, StateSplit, Cloneable, Formattable, KindProvider

Direct Known Subclasses:

IdentityHashCodeNode

public abstract class PureFunctionMacroNode
extends MacroStateSplitNode
implements Canonicalizable

This node class can be used to create MacroNodes for simple pure functions like System.identityHashCode(Object).

Nested Class Summary

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

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface com.oracle.graal.graph.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>

Nested classes/interfaces inherited from interface com.oracle.graal.nodes.memory.MemoryCheckpoint

MemoryCheckpoint.Multi, MemoryCheckpoint.Single, MemoryCheckpoint.TypeAssertion

Field Summary

Fields

Modifier and Type	Field and Description
static NodeClass<PureFunctionMacroNode>	TYPE

Fields inherited from class com.oracle.graal.replacements.nodes.MacroStateSplitNode

stateAfter

Fields inherited from class com.oracle.graal.replacements.nodes.MacroNode

arguments, bci, invokeKind, returnType, targetMethod

Fields inherited from class com.oracle.graal.nodes.FixedWithNextNode

next

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

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

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
PureFunctionMacroNode(NodeClass<? extends MacroNode> c, CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, int bci, JavaType returnType, ValueNode... arguments)

Method Summary

Modifier and Type	Method and Description
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
protected abstract JavaConstant	evaluate(JavaConstant param, MetaAccessProvider metaAccess) This method should return either a constant that represents the result of the function, or null if no such result could be determined.

Methods inherited from class com.oracle.graal.replacements.nodes.MacroStateSplitNode

getLocationIdentity, hasSideEffect, replaceSnippetInvokes, setStateAfter, stateAfter

Methods inherited from class com.oracle.graal.replacements.nodes.MacroNode

createInvoke, getBci, getLoweredSnippetGraph, getLoweredSubstitutionGraph, getReturnType, getTargetMethod, lower, lowerReplacement, replaceWithInvoke

Methods inherited from class com.oracle.graal.nodes.FixedWithNextNode

asNode, next, setNext

Methods inherited from class com.oracle.graal.nodes.FixedNode

verify

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

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

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, simplify, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.oracle.graal.nodes.StateSplit

asNode

Methods inherited from interface com.oracle.graal.nodes.spi.NodeWithState

states

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Field Detail

TYPE

public static final NodeClass<PureFunctionMacroNode> TYPE

Constructor Detail

PureFunctionMacroNode

public PureFunctionMacroNode(NodeClass<? extends MacroNode> c,
                             CallTargetNode.InvokeKind invokeKind,
                             ResolvedJavaMethod targetMethod,
                             int bci,
                             JavaType returnType,
                             ValueNode... arguments)

Method Detail

evaluate

protected abstract JavaConstant evaluate(JavaConstant param,
                                         MetaAccessProvider metaAccess)

This method should return either a constant that represents the result of the function, or null if no such result could be determined.

canonical

public Node canonical(CanonicalizerTool tool)

Description copied from interface: Canonicalizable

Implementations of this method can provide local optimizations like constant folding and strength reduction. Implementations should look at the properties and inputs of the current node and determine if there is a more optimal and always semantically correct replacement.
The return value determines the effect that the canonicalization will have:

• Returning an pre-existing node will replace the current node with the given one.
• Returning a newly created node (that was not yet added to the graph) will replace the current node with the given one, after adding it to the graph. If both the replacement and the replacee are anchored in control flow (fixed nodes), the replacement will be added to the control flow. It is invalid to replace a non-fixed node with a newly created fixed node (because its placement in the control flow cannot be determined without scheduling).
• Returning null will delete the current node and replace it with null at all usages. Note that it is not necessary to delete floating nodes that have no more usages this way - they will be deleted automatically.

Specified by:

canonical in interface Canonicalizable

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider