org.graalvm.compiler.word

Class WordTypes

java.lang.Object

org.graalvm.compiler.word.WordTypes

Direct Known Subclasses:

HotSpotWordTypes

public class WordTypes
extends Object

Encapsulates information for Java types representing raw words (as opposed to Objects).

Constructor Summary

Constructors

Constructor and Description
WordTypes(MetaAccessProvider metaAccess, JavaKind wordKind)

Method Summary

Modifier and Type	Method and Description
JavaKind	asKind(JavaType type) Gets the kind for a given type, returning the word kind if type is a word type.
boolean	ensureGraphContainsNoWordTypeReferences(StructuredGraph graph) Verify that the given graph does not reference word types in their object representation.
ResolvedJavaType	getWordImplType()
JavaKind	getWordKind()
ResolvedJavaMethod	getWordOperation(ResolvedJavaMethod targetMethod, ResolvedJavaType callingContextType) Gets the method annotated with Word.Operation based on a given method that represents a word operation (but may not necessarily have the annotation).
Stamp	getWordStamp(ResolvedJavaType type) Gets the stamp for a given word type.
boolean	isWord(JavaType type) Determines if a given type is a word type.
boolean	isWord(ValueNode node) Determines if a given node has a word type.
boolean	isWordOperation(ResolvedJavaMethod targetMethod) Determines if a given method denotes a word operation.

Methods inherited from class java.lang.Object

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

Constructor Detail

WordTypes

public WordTypes(MetaAccessProvider metaAccess,
                 JavaKind wordKind)

Method Detail

isWordOperation

public boolean isWordOperation(ResolvedJavaMethod targetMethod)

Determines if a given method denotes a word operation.

getWordOperation

public ResolvedJavaMethod getWordOperation(ResolvedJavaMethod targetMethod,
                                           ResolvedJavaType callingContextType)

Gets the method annotated with Word.Operation based on a given method that represents a word operation (but may not necessarily have the annotation).

Parameters:

callingContextType - the type from which targetMethod is invoked

Returns:

the Word.Operation method resolved for targetMethod if any

isWord

public boolean isWord(ValueNode node)

Determines if a given node has a word type.

isWord

public boolean isWord(JavaType type)

Determines if a given type is a word type.

asKind

public JavaKind asKind(JavaType type)

Gets the kind for a given type, returning the word kind if type is a word type.

getWordKind

public JavaKind getWordKind()

getWordStamp

public Stamp getWordStamp(ResolvedJavaType type)

Gets the stamp for a given word type.

getWordImplType

public ResolvedJavaType getWordImplType()

ensureGraphContainsNoWordTypeReferences

public boolean ensureGraphContainsNoWordTypeReferences(StructuredGraph graph)

Verify that the given graph does not reference word types in their object representation. We cannot only check the stamps of the nodes but also stamp field of nodes as those can cause optimizations to create wrong code later on (for example a pi stamp of instanceof stamp).