org.graalvm.compiler.nodes

Class SimplifyingGraphDecoder.PECanonicalizerTool

java.lang.Object

org.graalvm.compiler.nodes.spi.CoreProvidersDelegate

org.graalvm.compiler.nodes.SimplifyingGraphDecoder.PECanonicalizerTool

All Implemented Interfaces:

CanonicalizerTool, CoreProviders

Enclosing class:

SimplifyingGraphDecoder

protected class SimplifyingGraphDecoder.PECanonicalizerTool
extends CoreProvidersDelegate
implements CanonicalizerTool

Constructor Summary

Constructors

Constructor and Description
PECanonicalizerTool(Assumptions assumptions, OptionValues options)

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.
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 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.CanonicalizerTool

finalCanonicalization

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

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

Constructor Detail

PECanonicalizerTool

public PECanonicalizerTool(Assumptions assumptions,
                           OptionValues options)

Method Detail

getOptions

public OptionValues getOptions()

Specified by:

getOptions in interface CanonicalizerTool

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

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

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

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