Package com.oracle.truffle.api.bytecode

Class Instruction.Argument

java.lang.Object

com.oracle.truffle.api.bytecode.Instruction.Argument

Enclosing class:

Instruction

public abstract static class Instruction.Argument
extends Object

Represents metadata for an argument of an instruction in a bytecode node.

Compatibility note: The data contained in instruction classes is subject to change without notice between Truffle versions. This introspection API is therefore intended to be used for debugging and tracing purposes only. Do not rely on instructions for your language semantics.

Since:

24.2

See Also:

• Instruction.getArguments()

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	Instruction.Argument.BranchProfile	Represents a branch profile.
static enum	Instruction.Argument.Kind	Represents kind of an Instruction.Argument.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Argument(Object token)	Internal constructor for generated code.

Method Summary

Modifier and Type	Method	Description
Instruction.Argument.BranchProfile	asBranchProfile()	Converts this argument to a branch profile.
int	asBytecodeIndex()	Converts this argument to an bytecodeIndex.
Node	asCachedNode()	Converts this argument to a cached node.
Object	asConstant()	Converts this argument to a object constant.
int	asInteger()	Converts this argument to an int value.
int	asLocalIndex()	Converts this argument to a localIndex.
int	asLocalOffset()	Converts this argument to a localOffset.
TagTreeNode	asTagNode()	Converts this argument to a tag tree node.
abstract Instruction.Argument.Kind	getKind()	Returns the Instruction.Argument.Kind of this argument.
abstract String	getName()	Returns a humand readable name for this argument.
final List<Introspection.SpecializationInfo>	getSpecializationInfo()	Converts this argument to a specialization info.
final String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Argument

protected Argument(Object token)

Internal constructor for generated code. Do not use.

Since:

24.2

Method Details

getKind

public abstract Instruction.Argument.Kind getKind()

Returns the Instruction.Argument.Kind of this argument. Depending on the kind you may use any of the as prefixed methods.

Since:

24.2

getName

public abstract String getName()

Returns a humand readable name for this argument. This could be for example "localOffset" for a local variable access instruction. Arguments with the same getKind() may have different names. A name is typically more descriptive than just the kind and should be preferred over the kind for debug output.

Since:

24.2

asInteger

public int asInteger()
              throws UnsupportedOperationException

Converts this argument to an int value. This method is only supported for for the following kind: Instruction.Argument.Kind.INTEGER. If called for arguments of other kinds then an UnsupportedOperationException is thrown.

Throws:

UnsupportedOperationException

Since:

24.2

asBytecodeIndex

public int asBytecodeIndex()

Converts this argument to an bytecodeIndex. This method is only supported for for the following kind: Instruction.Argument.Kind.BYTECODE_INDEX. If called for arguments of other kinds then an UnsupportedOperationException is thrown. If the returned value is >= 0 then the bytecode index can be used to be converted to a BytecodeLocation.

Since:

24.2

asConstant

public Object asConstant()

Converts this argument to a object constant. This method is only supported for for the following kind: Instruction.Argument.Kind.CONSTANT. If called for arguments of other kinds then an UnsupportedOperationException is thrown.

Since:

24.2

asCachedNode

public Node asCachedNode()

Converts this argument to a cached node. This method is only supported for for the following kind: Instruction.Argument.Kind.NODE_PROFILE. If called for arguments of other kinds then an UnsupportedOperationException is thrown. The returned value is never null if the BytecodeTier is BytecodeTier.CACHED.

Since:

24.2

asTagNode

public TagTreeNode asTagNode()

Converts this argument to a tag tree node. This method is only supported for for the following kind: Instruction.Argument.Kind.TAG_NODE. If called for arguments of other kinds then an UnsupportedOperationException is thrown. The returned value is never null.

Since:

24.2

asLocalOffset

public int asLocalOffset()

Converts this argument to a localOffset. This method is only supported for for the following kind: Instruction.Argument.Kind.LOCAL_OFFSET. If called for arguments of other kinds then an UnsupportedOperationException is thrown. This index may be used to access locals with the local local access methods in BytecodeNode.

Since:

24.2

See Also:

• BytecodeNode.getLocalValue(int, com.oracle.truffle.api.frame.Frame, int)

asLocalIndex

public int asLocalIndex()

Converts this argument to a localIndex. This method is only supported for for the following kind: Instruction.Argument.Kind.LOCAL_INDEX. If called for arguments of other kinds then an UnsupportedOperationException is thrown. The local index can be used to index into the list of locals.

Since:

24.2

See Also:

• BytecodeNode.getLocals()

asBranchProfile

public Instruction.Argument.BranchProfile asBranchProfile()

Converts this argument to a branch profile. This method is only supported for for the following kind: Instruction.Argument.Kind.BRANCH_PROFILE. If called for arguments of other kinds then an UnsupportedOperationException is thrown. The returned value is never null.

Since:

24.2

getSpecializationInfo

public final List<Introspection.SpecializationInfo> getSpecializationInfo()

Converts this argument to a specialization info. This method is only supported for for the following kind: Instruction.Argument.Kind.NODE_PROFILE. If called for arguments of other kinds then an UnsupportedOperationException is thrown. The specialization info is only available if GenerateBytecode.enableSpecializationIntrospection() is set to true.

Since:

24.2

toString

public final String toString()

Overrides:

toString in class Object

Since:

24.2