org.graalvm.compiler.replacements

Class DefaultJavaLoweringProvider

java.lang.Object

org.graalvm.compiler.replacements.DefaultJavaLoweringProvider

All Implemented Interfaces:

LoweringProvider

Direct Known Subclasses:

DefaultHotSpotLoweringProvider

public abstract class DefaultJavaLoweringProvider
extends Object
implements LoweringProvider

VM-independent lowerings for standard Java nodes. VM-specific methods are abstract and must be implemented by VM-specific subclasses.

Field Summary

Fields

Modifier and Type	Field and Description
protected BarrierSet	barrierSet
protected ForeignCallsProvider	foreignCalls
protected IdentityHashCodeSnippets.Templates	identityHashCodeSnippets
protected IsArraySnippets.Templates	isArraySnippets
protected StringLatin1Snippets.Templates	latin1Templates
protected MetaAccessProvider	metaAccess
protected MetaAccessExtensionProvider	metaAccessExtensionProvider
static IntegerStamp	POSITIVE_ARRAY_INDEX_STAMP
protected Replacements	replacements
protected TargetDescription	target
protected StringUTF16Snippets.Templates	utf16templates

Constructor Summary

Constructors

Constructor and Description
DefaultJavaLoweringProvider(MetaAccessProvider metaAccess, ForeignCallsProvider foreignCalls, PlatformConfigurationProvider platformConfig, MetaAccessExtensionProvider metaAccessExtensionProvider, TargetDescription target, boolean useCompressedOops)

Method Summary

Modifier and Type	Method and Description
ValueNode	arrayImplicitStoreConvert(StructuredGraph graph, JavaKind entryKind, ValueNode value, CommitAllocationNode commit, VirtualObjectNode virtual, int valuePos)
abstract int	arrayLengthOffset()
AddressNode	createArrayAddress(StructuredGraph graph, ValueNode array, int arrayBaseOffset, JavaKind elementKind, ValueNode index)
AddressNode	createArrayAddress(StructuredGraph graph, ValueNode array, JavaKind arrayKind, JavaKind elementKind, ValueNode index)
AddressNode	createArrayAddress(StructuredGraph graph, ValueNode array, JavaKind elementKind, ValueNode index)
AddressNode	createArrayIndexAddress(StructuredGraph graph, ValueNode array, JavaKind elementKind, ValueNode index, GuardingNode boundsCheck)
AddressNode	createFieldAddress(StructuredGraph graph, ValueNode object, ResolvedJavaField field)
protected GuardingNode	createNullCheck(ValueNode object, FixedNode before, LoweringTool tool)
protected ValueNode	createNullCheckedValue(ValueNode object, FixedNode before, LoweringTool tool)
AddressNode	createOffsetAddress(StructuredGraph graph, ValueNode object, long offset)
protected ValueNode	createPositiveIndex(StructuredGraph graph, ValueNode index, GuardingNode boundsCheck) Create a PiNode on the index proving that the index is positive.
protected abstract ValueNode	createReadArrayComponentHub(StructuredGraph graph, ValueNode arrayHub, boolean isKnownObjectArray, FixedNode anchor)
protected ReadNode	createReadArrayLength(ValueNode array, FixedNode before, LoweringTool tool) Creates a read node that read the array length and is guarded by a null-check.
protected abstract ValueNode	createReadHub(StructuredGraph graph, ValueNode object, LoweringTool tool)
protected AddressNode	createUnsafeAddress(StructuredGraph graph, ValueNode object, ValueNode offset)
protected ReadNode	createUnsafeRead(StructuredGraph graph, RawLoadNode load, GuardingNode guard)
FieldLocationIdentity	fieldLocationIdentity(ResolvedJavaField field)
abstract int	fieldOffset(ResolvedJavaField field)
void	finishAllocatedObjects(LoweringTool tool, FixedWithNextNode insertAfter, CommitAllocationNode commit, ValueNode[] allocations)
BarrierSet	getBarrierSet()
protected GuardingNode	getBoundsCheck(AccessIndexedNode n, ValueNode array, LoweringTool tool)
MetaAccessProvider	getMetaAccess()
MetaAccessExtensionProvider	getMetaAccessExtensionProvider()
Replacements	getReplacements()
JavaKind	getStorageKind(JavaType type)
JavaKind	getStorageKind(ResolvedJavaField field)
TargetDescription	getTarget() Returns the target being lowered.
ValueNode	implicitLoadConvert(JavaKind kind, ValueNode value)
protected ValueNode	implicitLoadConvert(JavaKind kind, ValueNode value, boolean compressible)
ValueNode	implicitLoadConvert(StructuredGraph graph, JavaKind kind, ValueNode value)
protected ValueNode	implicitLoadConvert(StructuredGraph graph, JavaKind kind, ValueNode value, boolean compressible)
ValueNode	implicitLoadConvertWithBooleanCoercionIfNecessary(StructuredGraph graph, JavaKind kind, ValueNode value)
ValueNode	implicitStoreConvert(JavaKind kind, ValueNode value)
protected ValueNode	implicitStoreConvert(JavaKind kind, ValueNode value, boolean compressible)
ValueNode	implicitStoreConvert(StructuredGraph graph, JavaKind kind, ValueNode value)
protected ValueNode	implicitStoreConvert(StructuredGraph graph, JavaKind kind, ValueNode value, boolean compressible)
void	initialize(OptionValues options, SnippetCounter.Group.Factory factory, Providers providers)
protected abstract Stamp	loadCompressedStamp(ObjectStamp stamp)
Stamp	loadStamp(Stamp stamp, JavaKind kind)
protected Stamp	loadStamp(Stamp stamp, JavaKind kind, boolean compressible)
void	lower(Node n, LoweringTool tool)
protected void	lowerArrayLengthNode(ArrayLengthNode arrayLengthNode, LoweringTool tool)
protected void	lowerAtomicReadAndAddNode(AtomicReadAndAddNode n)
protected void	lowerAtomicReadAndWriteNode(AtomicReadAndWriteNode n)
protected void	lowerCommitAllocationNode(CommitAllocationNode commit, LoweringTool tool)
protected void	lowerCompareAndExchangeNode(UnsafeCompareAndExchangeNode cas)
protected void	lowerCompareAndSwapNode(UnsafeCompareAndSwapNode cas)
protected void	lowerFloatingIntegerDivRem(FloatingIntegerDivRemNode<?> divRem, LoweringTool tool)
protected void	lowerIndexAddressNode(IndexAddressNode indexAddress)
protected void	lowerJavaReadNode(JavaReadNode read)
protected void	lowerJavaWriteNode(JavaWriteNode write)
protected void	lowerLoadArrayComponentHubNode(LoadArrayComponentHubNode loadHub)
protected void	lowerLoadFieldNode(LoadFieldNode loadField, LoweringTool tool)
protected void	lowerLoadHubNode(LoadHubNode loadHub, LoweringTool tool)
protected void	lowerLoadHubOrNullNode(LoadHubOrNullNode loadHubOrNullNode, LoweringTool tool)
void	lowerLoadIndexedNode(LoadIndexedNode loadIndexed, LoweringTool tool)
void	lowerLoadIndexedNode(LoadIndexedNode loadIndexed, LoweringTool tool, int arrayBaseOffset)
protected void	lowerStoreFieldNode(StoreFieldNode storeField, LoweringTool tool)
void	lowerStoreIndexedNode(StoreIndexedNode storeIndexed, LoweringTool tool)
void	lowerStoreIndexedNode(StoreIndexedNode storeIndexed, LoweringTool tool, int arrayBaseOffset)
protected void	lowerUnsafeLoadNode(RawLoadNode load, LoweringTool tool)
protected void	lowerUnsafeMemoryLoadNode(UnsafeMemoryLoadNode load)
protected void	lowerUnsafeMemoryStoreNode(UnsafeMemoryStoreNode store)
protected void	lowerUnsafeStoreNode(RawStoreNode store)
protected void	lowerVerifyHeap(VerifyHeapNode n)
protected abstract ValueNode	newCompressionNode(CompressionNode.CompressionOp op, ValueNode value)
protected ValueNode	proxyIndex(AccessIndexedNode n, ValueNode index, ValueNode array, LoweringTool tool)
ValueNode	reconstructArrayIndex(JavaKind elementKind, AddressNode address) Reconstructs the array index from an address node that was created as a lowering of an indexed access to an array.
abstract ValueNode	staticFieldBase(StructuredGraph graph, ResolvedJavaField field)
boolean	supportsImplicitNullChecks() Indicates whether this target platform supports the usage of implicit (trapping) null checks.
boolean	supportsOptimizedFilling(OptionValues options) Indicates whether this target platform supports optimized filling of memory regions with long values.

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

divisionOverflowIsJVMSCompliant, narrowsUseCastValue, smallestCompareWidth, supportsBulkZeroing, supportsFoldingExtendIntoAccess, supportsRounding, writesStronglyOrdered

Field Detail

metaAccess

protected final MetaAccessProvider metaAccess

foreignCalls

protected final ForeignCallsProvider foreignCalls

barrierSet

protected final BarrierSet barrierSet

metaAccessExtensionProvider

protected final MetaAccessExtensionProvider metaAccessExtensionProvider

target

protected final TargetDescription target

replacements

protected Replacements replacements

identityHashCodeSnippets

protected IdentityHashCodeSnippets.Templates identityHashCodeSnippets

isArraySnippets

protected IsArraySnippets.Templates isArraySnippets

latin1Templates

protected StringLatin1Snippets.Templates latin1Templates

utf16templates

protected StringUTF16Snippets.Templates utf16templates

POSITIVE_ARRAY_INDEX_STAMP

public static final IntegerStamp POSITIVE_ARRAY_INDEX_STAMP

Constructor Detail

DefaultJavaLoweringProvider

public DefaultJavaLoweringProvider(MetaAccessProvider metaAccess,
                                   ForeignCallsProvider foreignCalls,
                                   PlatformConfigurationProvider platformConfig,
                                   MetaAccessExtensionProvider metaAccessExtensionProvider,
                                   TargetDescription target,
                                   boolean useCompressedOops)

Method Detail

initialize

public void initialize(OptionValues options,
                       SnippetCounter.Group.Factory factory,
                       Providers providers)

supportsImplicitNullChecks

public boolean supportsImplicitNullChecks()

Description copied from interface: LoweringProvider

Indicates whether this target platform supports the usage of implicit (trapping) null checks.

Specified by:

supportsImplicitNullChecks in interface LoweringProvider

getTarget

public final TargetDescription getTarget()

Description copied from interface: LoweringProvider

Returns the target being lowered.

Specified by:

getTarget in interface LoweringProvider

getMetaAccess

public MetaAccessProvider getMetaAccess()

getBarrierSet

public BarrierSet getBarrierSet()

getMetaAccessExtensionProvider

public MetaAccessExtensionProvider getMetaAccessExtensionProvider()

getReplacements

public Replacements getReplacements()

lower

public void lower(Node n,
                  LoweringTool tool)

Specified by:

lower in interface LoweringProvider

lowerFloatingIntegerDivRem

protected void lowerFloatingIntegerDivRem(FloatingIntegerDivRemNode<?> divRem,
                                          LoweringTool tool)

lowerVerifyHeap

protected void lowerVerifyHeap(VerifyHeapNode n)

createOffsetAddress

public AddressNode createOffsetAddress(StructuredGraph graph,
                                       ValueNode object,
                                       long offset)

createFieldAddress

public AddressNode createFieldAddress(StructuredGraph graph,
                                      ValueNode object,
                                      ResolvedJavaField field)

getStorageKind

public final JavaKind getStorageKind(ResolvedJavaField field)

getStorageKind

public final JavaKind getStorageKind(JavaType type)

lowerLoadFieldNode

protected void lowerLoadFieldNode(LoadFieldNode loadField,
                                  LoweringTool tool)

lowerStoreFieldNode

protected void lowerStoreFieldNode(StoreFieldNode storeField,
                                   LoweringTool tool)

createPositiveIndex

protected ValueNode createPositiveIndex(StructuredGraph graph,
                                        ValueNode index,
                                        GuardingNode boundsCheck)

Create a PiNode on the index proving that the index is positive. On some platforms this is important to allow the index to be used as an int in the address mode.

createArrayIndexAddress

public AddressNode createArrayIndexAddress(StructuredGraph graph,
                                           ValueNode array,
                                           JavaKind elementKind,
                                           ValueNode index,
                                           GuardingNode boundsCheck)

createArrayAddress

public AddressNode createArrayAddress(StructuredGraph graph,
                                      ValueNode array,
                                      JavaKind elementKind,
                                      ValueNode index)

createArrayAddress

public AddressNode createArrayAddress(StructuredGraph graph,
                                      ValueNode array,
                                      JavaKind arrayKind,
                                      JavaKind elementKind,
                                      ValueNode index)

createArrayAddress

public AddressNode createArrayAddress(StructuredGraph graph,
                                      ValueNode array,
                                      int arrayBaseOffset,
                                      JavaKind elementKind,
                                      ValueNode index)

lowerIndexAddressNode

protected void lowerIndexAddressNode(IndexAddressNode indexAddress)

lowerLoadIndexedNode

public void lowerLoadIndexedNode(LoadIndexedNode loadIndexed,
                                 LoweringTool tool)

lowerLoadIndexedNode

public void lowerLoadIndexedNode(LoadIndexedNode loadIndexed,
                                 LoweringTool tool,
                                 int arrayBaseOffset)

lowerStoreIndexedNode

public void lowerStoreIndexedNode(StoreIndexedNode storeIndexed,
                                  LoweringTool tool)

lowerStoreIndexedNode

public void lowerStoreIndexedNode(StoreIndexedNode storeIndexed,
                                  LoweringTool tool,
                                  int arrayBaseOffset)

lowerArrayLengthNode

protected void lowerArrayLengthNode(ArrayLengthNode arrayLengthNode,
                                    LoweringTool tool)

createReadArrayLength

protected ReadNode createReadArrayLength(ValueNode array,
                                         FixedNode before,
                                         LoweringTool tool)

Creates a read node that read the array length and is guarded by a null-check. The created node is placed before before in the CFG.

lowerLoadHubNode

protected void lowerLoadHubNode(LoadHubNode loadHub,
                                LoweringTool tool)

lowerLoadHubOrNullNode

protected void lowerLoadHubOrNullNode(LoadHubOrNullNode loadHubOrNullNode,
                                      LoweringTool tool)

lowerLoadArrayComponentHubNode

protected void lowerLoadArrayComponentHubNode(LoadArrayComponentHubNode loadHub)

lowerCompareAndSwapNode

protected void lowerCompareAndSwapNode(UnsafeCompareAndSwapNode cas)

lowerCompareAndExchangeNode

protected void lowerCompareAndExchangeNode(UnsafeCompareAndExchangeNode cas)

lowerAtomicReadAndWriteNode

protected void lowerAtomicReadAndWriteNode(AtomicReadAndWriteNode n)

lowerAtomicReadAndAddNode

protected void lowerAtomicReadAndAddNode(AtomicReadAndAddNode n)

lowerUnsafeLoadNode

protected void lowerUnsafeLoadNode(RawLoadNode load,
                                   LoweringTool tool)

Parameters:

tool - utility for performing the lowering

createUnsafeAddress

protected AddressNode createUnsafeAddress(StructuredGraph graph,
                                          ValueNode object,
                                          ValueNode offset)

createUnsafeRead

protected ReadNode createUnsafeRead(StructuredGraph graph,
                                    RawLoadNode load,
                                    GuardingNode guard)

lowerUnsafeMemoryLoadNode

protected void lowerUnsafeMemoryLoadNode(UnsafeMemoryLoadNode load)

lowerUnsafeStoreNode

protected void lowerUnsafeStoreNode(RawStoreNode store)

lowerUnsafeMemoryStoreNode

protected void lowerUnsafeMemoryStoreNode(UnsafeMemoryStoreNode store)

lowerJavaReadNode

protected void lowerJavaReadNode(JavaReadNode read)

lowerJavaWriteNode

protected void lowerJavaWriteNode(JavaWriteNode write)

lowerCommitAllocationNode

protected void lowerCommitAllocationNode(CommitAllocationNode commit,
                                         LoweringTool tool)

finishAllocatedObjects

public void finishAllocatedObjects(LoweringTool tool,
                                   FixedWithNextNode insertAfter,
                                   CommitAllocationNode commit,
                                   ValueNode[] allocations)

fieldOffset

public abstract int fieldOffset(ResolvedJavaField field)

fieldLocationIdentity

public FieldLocationIdentity fieldLocationIdentity(ResolvedJavaField field)

staticFieldBase

public abstract ValueNode staticFieldBase(StructuredGraph graph,
                                          ResolvedJavaField field)

arrayLengthOffset

public abstract int arrayLengthOffset()

loadStamp

public Stamp loadStamp(Stamp stamp,
                       JavaKind kind)

loadCompressedStamp

protected abstract Stamp loadCompressedStamp(ObjectStamp stamp)

loadStamp

protected Stamp loadStamp(Stamp stamp,
                          JavaKind kind,
                          boolean compressible)

Parameters:

compressible - whether the stamp should be compressible

implicitLoadConvertWithBooleanCoercionIfNecessary

public final ValueNode implicitLoadConvertWithBooleanCoercionIfNecessary(StructuredGraph graph,
                                                                         JavaKind kind,
                                                                         ValueNode value)

implicitLoadConvert

public final ValueNode implicitLoadConvert(StructuredGraph graph,
                                           JavaKind kind,
                                           ValueNode value)

implicitLoadConvert

public ValueNode implicitLoadConvert(JavaKind kind,
                                     ValueNode value)

implicitLoadConvert

protected final ValueNode implicitLoadConvert(StructuredGraph graph,
                                              JavaKind kind,
                                              ValueNode value,
                                              boolean compressible)

newCompressionNode

protected abstract ValueNode newCompressionNode(CompressionNode.CompressionOp op,
                                                ValueNode value)

implicitLoadConvert

protected ValueNode implicitLoadConvert(JavaKind kind,
                                        ValueNode value,
                                        boolean compressible)

Parameters:

compressible - whether the convert should be compressible

arrayImplicitStoreConvert

public ValueNode arrayImplicitStoreConvert(StructuredGraph graph,
                                           JavaKind entryKind,
                                           ValueNode value,
                                           CommitAllocationNode commit,
                                           VirtualObjectNode virtual,
                                           int valuePos)

implicitStoreConvert

public final ValueNode implicitStoreConvert(StructuredGraph graph,
                                            JavaKind kind,
                                            ValueNode value)

implicitStoreConvert

public ValueNode implicitStoreConvert(JavaKind kind,
                                      ValueNode value)

implicitStoreConvert

protected final ValueNode implicitStoreConvert(StructuredGraph graph,
                                               JavaKind kind,
                                               ValueNode value,
                                               boolean compressible)

implicitStoreConvert

protected ValueNode implicitStoreConvert(JavaKind kind,
                                         ValueNode value,
                                         boolean compressible)

Parameters:

compressible - whether the covert should be compressible

createReadHub

protected abstract ValueNode createReadHub(StructuredGraph graph,
                                           ValueNode object,
                                           LoweringTool tool)

createReadArrayComponentHub

protected abstract ValueNode createReadArrayComponentHub(StructuredGraph graph,
                                                         ValueNode arrayHub,
                                                         boolean isKnownObjectArray,
                                                         FixedNode anchor)

proxyIndex

protected ValueNode proxyIndex(AccessIndexedNode n,
                               ValueNode index,
                               ValueNode array,
                               LoweringTool tool)

getBoundsCheck

protected GuardingNode getBoundsCheck(AccessIndexedNode n,
                                      ValueNode array,
                                      LoweringTool tool)

createNullCheck

protected GuardingNode createNullCheck(ValueNode object,
                                       FixedNode before,
                                       LoweringTool tool)

createNullCheckedValue

protected ValueNode createNullCheckedValue(ValueNode object,
                                           FixedNode before,
                                           LoweringTool tool)

reconstructArrayIndex

public ValueNode reconstructArrayIndex(JavaKind elementKind,
                                       AddressNode address)

Description copied from interface: LoweringProvider

Reconstructs the array index from an address node that was created as a lowering of an indexed access to an array.

Specified by:

reconstructArrayIndex in interface LoweringProvider

Parameters:

elementKind - the JavaKind of the array elements

address - an AddressNode pointing to an element in an array

Returns:

a node that gives the index of the element

supportsOptimizedFilling

public boolean supportsOptimizedFilling(OptionValues options)

Description copied from interface: LoweringProvider

Indicates whether this target platform supports optimized filling of memory regions with long values.

Specified by:

supportsOptimizedFilling in interface LoweringProvider