org.graalvm.compiler.phases.common

Class CanonicalizerPhase.Tool

java.lang.Object

org.graalvm.compiler.nodes.spi.CoreProvidersDelegate

org.graalvm.compiler.phases.common.CanonicalizerPhase.Tool

All Implemented Interfaces:

NodeView, CanonicalizerTool, CoreProviders, SimplifierTool

Enclosing class:

CanonicalizerPhase

protected final class CanonicalizerPhase.Tool
extends CoreProvidersDelegate
implements SimplifierTool, NodeView

Nested Class Summary

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.NodeView

NodeView.Default

Field Summary

Fields inherited from interface org.graalvm.compiler.nodes.NodeView

DEFAULT

Method Summary

Modifier and Type	Method and Description
void	addToWorkList(Iterable<? extends Node> nodes)
void	addToWorkList(Node node) Adds a node to the worklist independent of whether it has already been on the worklist.
boolean	allUsagesAvailable() If this method returns false, not all usages of a node are yet available.
boolean	canonicalizeReads() Indicates whether the canonicalization of memory read operations to simpler operations or constants is allowed.
void	deleteBranch(Node branch)
boolean	divisionOverflowIsJVMSCompliant() Indicates whether the target platform complies with the JVM specification semantics for idiv and ldiv when the dividend is Integer.MAX_VALUE or Long.MAX_VALUE respectively and the divisor is -1.
boolean	finalCanonicalization() Indicates whether this application of the canonicalizer is the last one during compilation.
Assumptions	getAssumptions()
OptionValues	getOptions()
void	removeIfUnused(Node node)
Integer	smallestCompareWidth() Indicates the smallest width for comparing an integer value on the target platform.
Stamp	stamp(ValueNode node) Return a view-specific stamp of the node.
boolean	supportsRounding() Indicates whether this target platform supports lowering RoundNode.
boolean	trySinkWriteFences()

Methods inherited from class org.graalvm.compiler.nodes.spi.CoreProvidersDelegate

getConstantFieldProvider, getConstantReflection, getForeignCalls, getLoopsDataProvider, getLowerer, getMetaAccess, getMetaAccessExtensionProvider, getPlatformConfigurationProvider, getProviders, getReplacements, getStampProvider, getWordVerification

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.graalvm.compiler.nodes.spi.CoreProviders

getConstantFieldProvider, getConstantReflection, getForeignCalls, getLoopsDataProvider, getLowerer, getMetaAccess, getMetaAccessExtensionProvider, getPlatformConfigurationProvider, getReplacements, getStampProvider, getWordVerification

Methods inherited from interface org.graalvm.compiler.nodes.NodeView

from

Method Detail

deleteBranch

public void deleteBranch(Node branch)

Specified by:

deleteBranch in interface SimplifierTool

addToWorkList

public void addToWorkList(Node node)

Description copied from interface: SimplifierTool

Adds a node to the worklist independent of whether it has already been on the worklist.

Specified by:

addToWorkList in interface SimplifierTool

addToWorkList

public void addToWorkList(Iterable<? extends Node> nodes)

Specified by:

addToWorkList in interface SimplifierTool

removeIfUnused

public void removeIfUnused(Node node)

Specified by:

removeIfUnused in interface SimplifierTool

canonicalizeReads

public boolean canonicalizeReads()

Description copied from interface: CanonicalizerTool

Indicates whether the canonicalization of memory read operations to simpler operations or constants is allowed. Nodes subject to read canonicalization include (among others): ReadNode, LoadFieldNode and LoadIndexedNode.

Specified by:

canonicalizeReads in interface CanonicalizerTool

finalCanonicalization

public boolean finalCanonicalization()

Description copied from interface: CanonicalizerTool

Indicates whether this application of the canonicalizer is the last one during compilation. Final canonicalizations can include changes to code shapes that should not be reversed before code generation.

Specified by:

finalCanonicalization in interface CanonicalizerTool

allUsagesAvailable

public boolean allUsagesAvailable()

Description copied from interface: CanonicalizerTool

If this method returns false, not all usages of a node are yet available. So a node must not be canonicalized base on, e.g., information returned from Node.hasNoUsages().

Specified by:

allUsagesAvailable in interface CanonicalizerTool

trySinkWriteFences

public boolean trySinkWriteFences()

Specified by:

trySinkWriteFences in interface SimplifierTool

getAssumptions

public Assumptions getAssumptions()

Specified by:

getAssumptions in interface CanonicalizerTool

smallestCompareWidth

public Integer smallestCompareWidth()

Description copied from interface: CanonicalizerTool

Indicates the smallest width for comparing an integer value on the target platform. If this method returns null, then there is no known smallest compare width.

Specified by:

smallestCompareWidth in interface CanonicalizerTool

supportsRounding

public boolean supportsRounding()

Description copied from interface: CanonicalizerTool

Indicates whether this target platform supports lowering RoundNode.

Specified by:

supportsRounding in interface CanonicalizerTool

getOptions

public OptionValues getOptions()

Specified by:

getOptions in interface CanonicalizerTool

stamp

public Stamp stamp(ValueNode node)

Description copied from interface: NodeView

Return a view-specific stamp of the node. This stamp must be more specific than the default stamp.

Specified by:

stamp in interface NodeView

divisionOverflowIsJVMSCompliant

public boolean divisionOverflowIsJVMSCompliant()

Description copied from interface: CanonicalizerTool

Indicates whether the target platform complies with the JVM specification semantics for idiv and ldiv when the dividend is Integer.MAX_VALUE or Long.MAX_VALUE respectively and the divisor is -1. The specified result for this case is the dividend.

Specified by:

divisionOverflowIsJVMSCompliant in interface CanonicalizerTool