Class PropertyCacheNode<T extends PropertyCacheNode.CacheNode<T>>

java.lang.Object

com.oracle.truffle.api.nodes.Node

com.oracle.truffle.js.nodes.JavaScriptBaseNode

com.oracle.truffle.js.nodes.access.PropertyCacheNode<T>

All Implemented Interfaces:

com.oracle.truffle.api.nodes.NodeInterface, Cloneable

Direct Known Subclasses:

HasPropertyCacheNode, PropertyGetNode, PropertySetNode

public abstract class PropertyCacheNode<T extends PropertyCacheNode.CacheNode<T>>
extends JavaScriptBaseNode

Common base class for property cache nodes. Unifies the cache handling and receiver checks.

See Also:

• PropertyGetNode
• PropertySetNode
• HasPropertyCacheNode

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	PropertyCacheNode.AbstractFinalPrototypeShapeCheckNode
protected static class	PropertyCacheNode.AbstractShapeCheckNode	Checks the Shape of a JSDynamicObject.
protected static class	PropertyCacheNode.AbstractSingleRealmShapeCheckNode
static class	PropertyCacheNode.CacheNode<T extends PropertyCacheNode.CacheNode<T>>
protected static class	PropertyCacheNode.CombinedShapeCheckNode	Checks whether the receiver is compatible with one of the two shapes.
protected static final class	PropertyCacheNode.ConstantObjectAssumptionShapeCheckNode	Check that the given shape is valid and the property is unchanged using assumptions only.
protected static final class	PropertyCacheNode.ConstantObjectPrototypeChainShapeCheckNode	Checks that the given shape and all prototype shapes up to depth are valid, that the property is unchanged in these shapes, and that all prototypes are stable, all using assumptions only.
protected static final class	PropertyCacheNode.ForeignLanguageCheckNode
protected static final class	PropertyCacheNode.InstanceofCheckNode
protected static final class	PropertyCacheNode.NullCheckNode
protected static final class	PropertyCacheNode.PrototypeChainShapeCheckNode	Checks the top shape by identity and the shapes of the prototype chain up to the given depth using assumptions only (valid and property unchanged).
protected static final class	PropertyCacheNode.PrototypeShapeCheckNode	Check the shape of the object by identity and the shape of its immediate prototype by assumption (valid and unchanged).
protected static class	PropertyCacheNode.ReceiverCheckNode	Checks whether the receiver can be handled by the corresponding specialization.
protected static final class	PropertyCacheNode.ShapeCheckNode	Check the object shape by identity comparison.
protected static final class	PropertyCacheNode.TraversePrototypeChainShapeCheckNode	Check the shapes of the prototype chain up to the given depth.
protected static final class	PropertyCacheNode.TraversePrototypeShapeCheckNode	Check the shapes of the object and its immediate prototype.
protected static final class	PropertyCacheNode.TraverseValuePrototypeChainCheckNode	Check the shapes of the prototype chain up to the given depth.
protected static final class	PropertyCacheNode.ValuePrototypeChainCheckNode	Checks the shapes of the prototype chain up to the given depth using assumptions only (valid and property unchanged).

Nested classes/interfaces inherited from class com.oracle.truffle.api.nodes.Node

com.oracle.truffle.api.nodes.Node.Child, com.oracle.truffle.api.nodes.Node.Children

Field Summary

Fields

Modifier and Type	Field	Description
protected final JSContext	context
protected final Object	key

Constructor Summary

Constructors

Constructor	Description
PropertyCacheNode(Object key, JSContext context)

Method Summary

Modifier and Type	Method	Description
protected static boolean	alwaysUseStore(JSDynamicObject store, Object key)
protected abstract boolean	canCombineShapeCheck(com.oracle.truffle.api.object.Shape parentShape, com.oracle.truffle.api.object.Shape cacheShape, Object thisObj, int depth, Object value, com.oracle.truffle.api.object.Property property)
protected static JSDynamicObject	castDynamicObject(Object obj, com.oracle.truffle.api.object.Shape shape)	Casts the obj to the shape's layout class in compiled code and to JSDynamicObject in the interpreter.
protected void	checkForUnstableAssumption(T head, Object thisObj)
protected abstract T	createCachedPropertyNode(com.oracle.truffle.api.object.Property entry, Object thisObj, JSDynamicObject proto, int depth, Object value, T currentHead)
protected abstract T	createCombinedIcPropertyNode(com.oracle.truffle.api.object.Shape parentShape, com.oracle.truffle.api.object.Shape cacheShape, Object thisObj, int depth, Object value, com.oracle.truffle.api.object.Property property)
protected abstract T	createGenericPropertyNode()
protected abstract T	createJavaPropertyNodeMaybe(Object thisObj, JSDynamicObject proto, int depth)
protected final PropertyCacheNode.ReceiverCheckNode	createJSClassCheck(Object thisObj, JSDynamicObject proto, int depth)
protected final PropertyCacheNode.ReceiverCheckNode	createPrimitiveReceiverCheck(Object thisObj, JSDynamicObject protoAtDepth, int depth)
protected final PropertyCacheNode.AbstractShapeCheckNode	createShapeCheckNode(com.oracle.truffle.api.object.Shape shape, JSDynamicObject thisObj, JSDynamicObject proto, int depth, boolean isConstantObjectFinal, boolean isDefine)
protected T	createSpecialization(Object thisObj, T currentHead, int cachedCount, Object value)
protected abstract T	createTruffleObjectPropertyNode()
protected abstract T	createUndefinedPropertyNode(Object thisObj, Object store, JSDynamicObject proto, int depth, Object value)
protected final void	deoptimize()
protected T	filterValid(T cache)
protected com.oracle.truffle.api.strings.TruffleString	getAccessorKey(com.oracle.truffle.api.strings.TruffleString getset)
protected static com.oracle.truffle.api.strings.TruffleString	getAccessorKey(com.oracle.truffle.api.strings.TruffleString getset, com.oracle.truffle.api.strings.TruffleString key)
protected abstract T	getCacheNode()
final JSContext	getContext()
final Object	getKey()
protected static JSDynamicObject	getPrototypeAtDepth(JSDynamicObject thisObj, int depth)
protected T	insertCached(T specialized, T currentHead, int cachedCount)
protected void	invalidateCache()
protected static boolean	isArrayLengthProperty(com.oracle.truffle.api.object.Property property)
protected static boolean	isClassPrototypeProperty(com.oracle.truffle.api.object.Property property)
protected static boolean	isDynamicObject(Object obj, com.oracle.truffle.api.object.Shape shape)	Checks if the obj is an instance of the shape's layout class in compiled code and obj instanceof JSDynamicObject in the interpreter.
protected static boolean	isFunctionLengthProperty(com.oracle.truffle.api.object.Property property)
protected static boolean	isFunctionNameProperty(com.oracle.truffle.api.object.Property property)
protected abstract boolean	isGlobal()
protected static boolean	isLazyNamedCaptureGroupProperty(com.oracle.truffle.api.object.Property property)
protected static boolean	isLazyRegexResultIndexProperty(com.oracle.truffle.api.object.Property property)
protected abstract boolean	isOwnProperty()
protected abstract boolean	isPropertyAssumptionCheckEnabled()
protected static boolean	isStringLengthProperty(com.oracle.truffle.api.object.Property property)
protected final boolean	propertyAssumptionsValid(JSDynamicObject thisObj, int depth, boolean checkDepth0)
protected static boolean	prototypesInShape(JSDynamicObject thisObj, int start, int end)
protected T	retryCache()
protected T	rewriteCached(T currentHead, T newHead)
protected T	rewriteToGeneric(T currentHead, int cachedCount, String reason)
protected abstract void	setCacheNode(T cache)
protected abstract void	setPropertyAssumptionCheckEnabled(boolean value)
protected final boolean	shapesHaveCommonLayoutForKey(com.oracle.truffle.api.object.Shape shape1, com.oracle.truffle.api.object.Shape shape2)
protected T	specialize(Object thisObj)
protected T	specialize(Object thisObj, Object value)
protected void	traceRewriteEvictFinal(com.oracle.truffle.api.nodes.Node evicted)
protected static <T extends PropertyCacheNode.CacheNode<T>> boolean	tryMergeShapes(com.oracle.truffle.api.object.Shape objShape, T head)	Tries to merge the object's shape with any related shape in the cache to a more general shape that has the same properties but can store the values of both shapes.
protected static final JSDynamicObject	wrapPrimitive(Object thisObject)

Methods inherited from class JavaScriptBaseNode

copy, getJSContext, getLanguage, getLanguageOptions, getRealm, hasOverloadedOperators, onReplace, reportLoopCount, reportLoopCount

Methods inherited from class com.oracle.truffle.api.nodes.Node

accept, adoptChildren, atomic, atomic, deepCopy, getChildren, getCost, getDebugProperties, getDescription, getEncapsulatingSourceSection, getLock, getParent, getRootNode, getSourceSection, insert, insert, isAdoptable, isSafelyReplaceableBy, notifyInserted, replace, replace, reportPolymorphicSpecialize, reportReplace, toString

Methods inherited from class Object

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

Field Details

key

protected final Object key

context

protected final JSContext context

Constructor Details

PropertyCacheNode

public PropertyCacheNode(Object key,
 JSContext context)

Method Details

isDynamicObject

protected static boolean isDynamicObject(Object obj,
 com.oracle.truffle.api.object.Shape shape)

Checks if the obj is an instance of the shape's layout class in compiled code and obj instanceof JSDynamicObject in the interpreter.

castDynamicObject

protected static JSDynamicObject castDynamicObject(Object obj,
 com.oracle.truffle.api.object.Shape shape)

Casts the obj to the shape's layout class in compiled code and to JSDynamicObject in the interpreter.

getKey

public final Object getKey()

getCacheNode

protected abstract T getCacheNode()

setCacheNode

protected abstract void setCacheNode(T cache)

createGenericPropertyNode

protected abstract T createGenericPropertyNode()

createCachedPropertyNode

protected abstract T createCachedPropertyNode(com.oracle.truffle.api.object.Property entry,
 Object thisObj,
 JSDynamicObject proto,
 int depth,
 Object value,
 T currentHead)

createUndefinedPropertyNode

protected abstract T createUndefinedPropertyNode(Object thisObj,
 Object store,
 JSDynamicObject proto,
 int depth,
 Object value)

createJavaPropertyNodeMaybe

protected abstract T createJavaPropertyNodeMaybe(Object thisObj,
 JSDynamicObject proto,
 int depth)

createTruffleObjectPropertyNode

protected abstract T createTruffleObjectPropertyNode()

canCombineShapeCheck

protected abstract boolean canCombineShapeCheck(com.oracle.truffle.api.object.Shape parentShape,
 com.oracle.truffle.api.object.Shape cacheShape,
 Object thisObj,
 int depth,
 Object value,
 com.oracle.truffle.api.object.Property property)

createCombinedIcPropertyNode

protected abstract T createCombinedIcPropertyNode(com.oracle.truffle.api.object.Shape parentShape,
 com.oracle.truffle.api.object.Shape cacheShape,
 Object thisObj,
 int depth,
 Object value,
 com.oracle.truffle.api.object.Property property)

specialize

protected T specialize(Object thisObj)

specialize

protected T specialize(Object thisObj,
 Object value)

createSpecialization

protected T createSpecialization(Object thisObj,
 T currentHead,
 int cachedCount,
 Object value)

shapesHaveCommonLayoutForKey

protected final boolean shapesHaveCommonLayoutForKey(com.oracle.truffle.api.object.Shape shape1,
 com.oracle.truffle.api.object.Shape shape2)

alwaysUseStore

protected static boolean alwaysUseStore(JSDynamicObject store,
 Object key)

deoptimize

protected final void deoptimize()

retryCache

protected T retryCache()

invalidateCache

protected void invalidateCache()

insertCached

protected T insertCached(T specialized,
 T currentHead,
 int cachedCount)

rewriteToGeneric

protected T rewriteToGeneric(T currentHead,
 int cachedCount,
 String reason)

rewriteCached

protected T rewriteCached(T currentHead,
 T newHead)

tryMergeShapes

protected static <T extends PropertyCacheNode.CacheNode<T>>
boolean tryMergeShapes(com.oracle.truffle.api.object.Shape objShape,
 T head)

Tries to merge the object's shape with any related shape in the cache to a more general shape that has the same properties but can store the values of both shapes. For example, a shape {x: int} could be merged with, and obsoleted by, a shape {x: Object}.

Parameters:

objShape - the new shape that would be inserted into the cache

Returns:

true if a shape was obsoleted

checkForUnstableAssumption

protected void checkForUnstableAssumption(T head,
 Object thisObj)

filterValid

protected T filterValid(T cache)

wrapPrimitive

protected static final JSDynamicObject wrapPrimitive(Object thisObject)

createShapeCheckNode

protected final PropertyCacheNode.AbstractShapeCheckNode createShapeCheckNode(com.oracle.truffle.api.object.Shape shape,
 JSDynamicObject thisObj,
 JSDynamicObject proto,
 int depth,
 boolean isConstantObjectFinal,
 boolean isDefine)

prototypesInShape

protected static boolean prototypesInShape(JSDynamicObject thisObj,
 int start,
 int end)

getPrototypeAtDepth

protected static JSDynamicObject getPrototypeAtDepth(JSDynamicObject thisObj,
 int depth)

propertyAssumptionsValid

protected final boolean propertyAssumptionsValid(JSDynamicObject thisObj,
 int depth,
 boolean checkDepth0)

createPrimitiveReceiverCheck

protected final PropertyCacheNode.ReceiverCheckNode createPrimitiveReceiverCheck(Object thisObj,
 JSDynamicObject protoAtDepth,
 int depth)

createJSClassCheck

protected final PropertyCacheNode.ReceiverCheckNode createJSClassCheck(Object thisObj,
 JSDynamicObject proto,
 int depth)

isGlobal

protected abstract boolean isGlobal()

isOwnProperty

protected abstract boolean isOwnProperty()

getContext

public final JSContext getContext()

isPropertyAssumptionCheckEnabled

protected abstract boolean isPropertyAssumptionCheckEnabled()

setPropertyAssumptionCheckEnabled

protected abstract void setPropertyAssumptionCheckEnabled(boolean value)

isArrayLengthProperty

protected static boolean isArrayLengthProperty(com.oracle.truffle.api.object.Property property)

isFunctionLengthProperty

protected static boolean isFunctionLengthProperty(com.oracle.truffle.api.object.Property property)

isFunctionNameProperty

protected static boolean isFunctionNameProperty(com.oracle.truffle.api.object.Property property)

isClassPrototypeProperty

protected static boolean isClassPrototypeProperty(com.oracle.truffle.api.object.Property property)

isStringLengthProperty

protected static boolean isStringLengthProperty(com.oracle.truffle.api.object.Property property)

isLazyRegexResultIndexProperty

protected static boolean isLazyRegexResultIndexProperty(com.oracle.truffle.api.object.Property property)

isLazyNamedCaptureGroupProperty

protected static boolean isLazyNamedCaptureGroupProperty(com.oracle.truffle.api.object.Property property)

traceRewriteEvictFinal

protected void traceRewriteEvictFinal(com.oracle.truffle.api.nodes.Node evicted)

getAccessorKey

protected com.oracle.truffle.api.strings.TruffleString getAccessorKey(com.oracle.truffle.api.strings.TruffleString getset)

getAccessorKey

protected static com.oracle.truffle.api.strings.TruffleString getAccessorKey(com.oracle.truffle.api.strings.TruffleString getset,
 com.oracle.truffle.api.strings.TruffleString key)