com.oracle.truffle.dsl.processor.model

Class SpecializationData

java.lang.Object

com.oracle.truffle.dsl.processor.model.MessageContainer

com.oracle.truffle.dsl.processor.model.TemplateMethod

com.oracle.truffle.dsl.processor.model.SpecializationData

All Implemented Interfaces:

Comparable<TemplateMethod>, Iterable<MessageContainer>

public final class SpecializationData
extends TemplateMethod

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SpecializationData.Idempotence
static class	SpecializationData.SpecializationKind

Nested classes/interfaces inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

TemplateMethod.TypeSignature

Nested classes/interfaces inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

MessageContainer.Message

Field Summary

Fields inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

FRAME_NAME, NO_NATURAL_ORDER

Fields inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

types

Constructor Summary

Constructors

Constructor and Description
SpecializationData(NodeData node, TemplateMethod template, SpecializationData.SpecializationKind kind)
SpecializationData(NodeData node, TemplateMethod template, SpecializationData.SpecializationKind kind, List<SpecializationThrowsData> exceptions, boolean hasUnexpectedResultRewrite, boolean reportPolymorphism, boolean reportMegamorphism)

Method Summary

Modifier and Type	Method and Description
int	compareTo(TemplateMethod other)
SpecializationData	copy()
Parameter	findByVariable(VariableElement variable)
CacheExpression	findCache(Parameter resolvedParameter)
protected List<MessageContainer>	findChildContainers()
double	getActivationProbability()
List<AssumptionExpression>	getAssumptionExpressions()
Set<CacheExpression>	getBoundCaches(DSLExpression guardExpression, boolean transitiveCached)
Set<ExecutableElement>	getBoundMethods(DSLExpression expression)
List<CacheExpression>	getCaches()
List<SpecializationThrowsData>	getExceptions()
List<GuardExpression>	getGuards()
SpecializationData.Idempotence	getIdempotence(DSLExpression expression)
int	getIndex()
SpecializationData	getInsertBefore()
String	getInsertBeforeName()
int	getIntrospectionIndex()
DSLExpression	getLimitExpression()
double	getLocalActivationProbability()
int	getMaximumNumberOfInstances()
NodeData	getNode()
Set<SpecializationData>	getReplacedBy()
Set<SpecializationData>	getReplaces()
Set<String>	getReplacesNames()
SpecializationData	getUncachedSpecialization()
int	getUnroll()
int	getUnrollIndex()
boolean	hasMultipleInstances()
boolean	hasUnexpectedResultRewrite()
boolean	hasUnroll()
boolean	isAnyLibraryBoundInGuard()
boolean	isCompilationFinalExpression(DSLExpression expression) Returns true if an expression can always be folded to a constant during PE.
boolean	isConstantLimit()
boolean	isDynamicParameterBound(DSLExpression expression, boolean transitive)
boolean	isFallback()
boolean	isFrameUsedByGuard()
boolean	isGuardBindsExclusiveCache()
boolean	isGuardBoundWithCache(GuardExpression guardExpression)
boolean	isLibraryBoundInGuard(CacheExpression cachedLibrary)
boolean	isNodeReceiverBound(DSLExpression expression)
boolean	isNodeReceiverVariable(VariableElement var)
boolean	isPrepareForAOT()
boolean	isReachable()
boolean	isReachableAfter(SpecializationData prev)
boolean	isReachesFallback()
boolean	isReplaced()
boolean	isReportMegamorphism()
boolean	isReportPolymorphism()
boolean	isSpecialized()
boolean	isTrivialExpression(DSLExpression expression)
boolean	isUncachedSpecialization()
boolean	isUnrolled()
boolean	needsPushEncapsulatingNode()
boolean	needsRewrite(ProcessorContext context)
boolean	needsState(ProcessorContext context)
boolean	needsTruffleBoundary()
boolean	needsVirtualFrame()
void	setAssumptionExpressions(List<AssumptionExpression> assumptionExpressions)
void	setCaches(List<CacheExpression> caches)
void	setIndex(int order)
void	setInsertBefore(SpecializationData insertBefore)
void	setInsertBeforeName(String insertBeforeName)
void	setKind(SpecializationData.SpecializationKind kind)
void	setLimitExpression(DSLExpression limitExpression)
void	setLocalActivationProbability(double activationProbability)
void	setPrepareForAOT(boolean prepareForAOT)
void	setReachable(boolean reachable)
void	setReachesFallback(boolean reachesFallback)
void	setReplaced(boolean replaced)
void	setReplacedBy(Set<SpecializationData> replacedBy)
void	setReplaces(Set<SpecializationData> replaces)
void	setReplacesNames(Set<String> replacesNames)
void	setUncachedSpecialization(SpecializationData removeCompanion)
void	setUnroll(int unroll)
void	setUnrollIndex(int unrollIndex)
String	toString()

Methods inherited from class com.oracle.truffle.dsl.processor.model.TemplateMethod

addParameter, compareBySignature, createReferenceName, findParameter, findParameter, findParameterOrDie, getDynamicParameters, getDynamicTypes, getFrame, getId, getMarkerAnnotation, getMessageAnnotation, getMessageElement, getMethod, getMethodName, getNaturalOrder, getParameters, getReturnType, getReturnTypeAndParameters, getSignatureParameters, getSignatureSize, getSpecification, getTemplate, getTypeSignature, setId

Methods inherited from class com.oracle.truffle.dsl.processor.model.MessageContainer

addError, addError, addError, addError, addSuppressableWarning, addSuppressableWarning, addWarning, addWarning, collectMessages, emitMessages, getMessageAnnotationValue, getMessages, getMessagesForModification, hasErrors, hasErrorsOrWarnings, iterator, redirectMessages, redirectMessagesOnGeneratedElements

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

SpecializationData

public SpecializationData(NodeData node,
                          TemplateMethod template,
                          SpecializationData.SpecializationKind kind,
                          List<SpecializationThrowsData> exceptions,
                          boolean hasUnexpectedResultRewrite,
                          boolean reportPolymorphism,
                          boolean reportMegamorphism)

SpecializationData

public SpecializationData(NodeData node,
                          TemplateMethod template,
                          SpecializationData.SpecializationKind kind)

Method Detail

copy

public SpecializationData copy()

isNodeReceiverVariable

public boolean isNodeReceiverVariable(VariableElement var)

isNodeReceiverBound

public boolean isNodeReceiverBound(DSLExpression expression)

isUncachedSpecialization

public boolean isUncachedSpecialization()

setUnrollIndex

public void setUnrollIndex(int unrollIndex)

getUnrollIndex

public int getUnrollIndex()

setUnroll

public void setUnroll(int unroll)

hasUnroll

public boolean hasUnroll()

isUnrolled

public boolean isUnrolled()

getUnroll

public int getUnroll()

isCompilationFinalExpression

public boolean isCompilationFinalExpression(DSLExpression expression)

Returns true if an expression can always be folded to a constant during PE. Method calls are natural boundaries as we cannot look into them at annotation processing time. The passed expression must be resolved.

isPrepareForAOT

public boolean isPrepareForAOT()

setPrepareForAOT

public void setPrepareForAOT(boolean prepareForAOT)

setUncachedSpecialization

public void setUncachedSpecialization(SpecializationData removeCompanion)

getUncachedSpecialization

public SpecializationData getUncachedSpecialization()

needsVirtualFrame

public boolean needsVirtualFrame()

needsTruffleBoundary

public boolean needsTruffleBoundary()

needsPushEncapsulatingNode

public boolean needsPushEncapsulatingNode()

isAnyLibraryBoundInGuard

public boolean isAnyLibraryBoundInGuard()

isLibraryBoundInGuard

public boolean isLibraryBoundInGuard(CacheExpression cachedLibrary)

isTrivialExpression

public boolean isTrivialExpression(DSLExpression expression)

setReachesFallback

public void setReachesFallback(boolean reachesFallback)

isReportPolymorphism

public boolean isReportPolymorphism()

isReportMegamorphism

public boolean isReportMegamorphism()

isReachesFallback

public boolean isReachesFallback()

isGuardBoundWithCache

public boolean isGuardBoundWithCache(GuardExpression guardExpression)

getBoundCaches

public Set<CacheExpression> getBoundCaches(DSLExpression guardExpression,
                                           boolean transitiveCached)

setKind

public void setKind(SpecializationData.SpecializationKind kind)

getIdempotence

public SpecializationData.Idempotence getIdempotence(DSLExpression expression)

getBoundMethods

public Set<ExecutableElement> getBoundMethods(DSLExpression expression)

isDynamicParameterBound

public boolean isDynamicParameterBound(DSLExpression expression,
                                       boolean transitive)

findByVariable

public Parameter findByVariable(VariableElement variable)

getLimitExpression

public DSLExpression getLimitExpression()

setLimitExpression

public void setLimitExpression(DSLExpression limitExpression)

setInsertBefore

public void setInsertBefore(SpecializationData insertBefore)

setInsertBeforeName

public void setInsertBeforeName(String insertBeforeName)

getInsertBefore

public SpecializationData getInsertBefore()

getInsertBeforeName

public String getInsertBeforeName()

getReplacesNames

public Set<String> getReplacesNames()

setReplacesNames

public void setReplacesNames(Set<String> replacesNames)

getReplaces

public Set<SpecializationData> getReplaces()

setReplaces

public void setReplaces(Set<SpecializationData> replaces)

getReplacedBy

public Set<SpecializationData> getReplacedBy()

setReplacedBy

public void setReplacedBy(Set<SpecializationData> replacedBy)

setReachable

public void setReachable(boolean reachable)

setReplaced

public void setReplaced(boolean replaced)

isReachable

public boolean isReachable()

isReplaced

public boolean isReplaced()

findChildContainers

protected List<MessageContainer> findChildContainers()

Overrides:

findChildContainers in class TemplateMethod

needsState

public boolean needsState(ProcessorContext context)

needsRewrite

public boolean needsRewrite(ProcessorContext context)

compareTo

public int compareTo(TemplateMethod other)

Specified by:

compareTo in interface Comparable<TemplateMethod>

Overrides:

compareTo in class TemplateMethod

setIndex

public void setIndex(int order)

getIndex

public int getIndex()

getIntrospectionIndex

public int getIntrospectionIndex()

getNode

public NodeData getNode()

isSpecialized

public boolean isSpecialized()

isFallback

public boolean isFallback()

getExceptions

public List<SpecializationThrowsData> getExceptions()

hasUnexpectedResultRewrite

public boolean hasUnexpectedResultRewrite()

getGuards

public List<GuardExpression> getGuards()

setLocalActivationProbability

public void setLocalActivationProbability(double activationProbability)

getLocalActivationProbability

public double getLocalActivationProbability()

getActivationProbability

public double getActivationProbability()

toString

public String toString()

Overrides:

toString in class TemplateMethod

isFrameUsedByGuard

public boolean isFrameUsedByGuard()

getCaches

public List<CacheExpression> getCaches()

setCaches

public void setCaches(List<CacheExpression> caches)

setAssumptionExpressions

public void setAssumptionExpressions(List<AssumptionExpression> assumptionExpressions)

getAssumptionExpressions

public List<AssumptionExpression> getAssumptionExpressions()

hasMultipleInstances

public boolean hasMultipleInstances()

isGuardBindsExclusiveCache

public boolean isGuardBindsExclusiveCache()

isConstantLimit

public boolean isConstantLimit()

getMaximumNumberOfInstances

public int getMaximumNumberOfInstances()

isReachableAfter

public boolean isReachableAfter(SpecializationData prev)

findCache

public CacheExpression findCache(Parameter resolvedParameter)