com.oracle.truffle.js.nodes.access

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

Property Summary

Type	Property and Description
protected abstract boolean	isOwn Gets the value of the property ownProperty.

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 class	PropertyCacheNode.ConstantObjectAssumptionShapeCheckNode Check that the given shape is valid and the property is unchanged using assumptions only.
protected static 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 class	PropertyCacheNode.ForeignLanguageCheckNode
protected static class	PropertyCacheNode.InstanceofCheckNode
protected static class	PropertyCacheNode.NullCheckNode
protected static 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 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 class	PropertyCacheNode.ShapeCheckNode Check the object shape by identity comparison.
protected static class	PropertyCacheNode.TraversePrototypeChainShapeCheckNode Check the shapes of the prototype chain up to the given depth.
protected static class	PropertyCacheNode.TraversePrototypeShapeCheckNode Check the shapes of the object and its immediate prototype.
protected static class	PropertyCacheNode.TraverseValuePrototypeChainCheckNode Check the shapes of the prototype chain up to the given depth.
protected static 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 and Description
protected JSContext	context
protected Object	key

Constructor Summary

Constructors

Constructor and Description
PropertyCacheNode(Object key, JSContext context)

Method Summary

Modifier and Type	Method and 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 PropertyCacheNode.ReceiverCheckNode	createJSClassCheck(Object thisObj, JSDynamicObject proto, int depth)
protected PropertyCacheNode.ReceiverCheckNode	createPrimitiveReceiverCheck(Object thisObj, JSDynamicObject protoAtDepth, int depth)
protected 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 void	deoptimize(PropertyCacheNode.CacheNode<?> stop)
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()
JSContext	getContext()
com.oracle.truffle.api.nodes.NodeCost	getCost()
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() Gets the value of the property ownProperty.
protected abstract boolean	isPropertyAssumptionCheckEnabled()
protected static boolean	isStringLengthProperty(com.oracle.truffle.api.object.Property property)
protected 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 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 cacheShape, T head) Does the given map relate to any of the cached maps by upcasting? If so, obsolete the downcast map.
protected static JSDynamicObject	wrapPrimitive(Object thisObject)

Methods inherited from class com.oracle.truffle.js.nodes.JavaScriptBaseNode

copy, getLanguage, getRealm, hasOverloadedOperators, onReplace

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

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

Methods inherited from class java.lang.Object

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

Property Detail

isOwn

protected abstract boolean isOwnProperty

Field Detail

key

protected final Object key

context

protected final JSContext context

Constructor Detail

PropertyCacheNode

public PropertyCacheNode(Object key,
                         JSContext context)

Method Detail

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(PropertyCacheNode.CacheNode<?> stop)

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 cacheShape,
                                                                                   T head)

Does the given map relate to any of the cached maps by upcasting? If so, obsolete the downcast map.

Parameters:

cacheShape - The new map to check against

Returns:

true if a map 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)

getCost

public com.oracle.truffle.api.nodes.NodeCost getCost()

Overrides:

getCost in class com.oracle.truffle.api.nodes.Node

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)