org.graalvm.compiler.nodes.spi

Interface CanonicalizerTool

All Superinterfaces:

CoreProviders

All Known Subinterfaces:

SimplifierTool

All Known Implementing Classes:

CanonicalizerPhase.Tool, SimplifyingGraphDecoder.PECanonicalizerTool

public interface CanonicalizerTool
extends CoreProviders

Method Summary

Modifier and Type	Method and Description
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.
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.
default boolean	finalCanonicalization() Indicates whether this application of the canonicalizer is the last one during compilation.
Assumptions	getAssumptions()
OptionValues	getOptions()
Integer	smallestCompareWidth() Indicates the smallest width for comparing an integer value on the target platform.
boolean	supportsRounding() Indicates whether this target platform supports lowering RoundNode.

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

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

Method Detail

getAssumptions

Assumptions getAssumptions()

finalCanonicalization

default boolean finalCanonicalization()

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.

canonicalizeReads

boolean canonicalizeReads()

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.

allUsagesAvailable

boolean allUsagesAvailable()

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().

smallestCompareWidth

Integer smallestCompareWidth()

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.

supportsRounding

boolean supportsRounding()

Indicates whether this target platform supports lowering RoundNode.

getOptions

OptionValues getOptions()

divisionOverflowIsJVMSCompliant

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. The specified result for this case is the dividend.