avail/avail.optimizer.values/L2SemanticExtractedTag

L2SemanticExtractedTag

class L2SemanticExtractedTag(val base: L2SemanticValue) : L2SemanticValue

A semantic value which represents the TypeTag extracted from some base semantic value. To keep unboxed ints homogenous, this will always be wrapped inside an L2SemanticUnboxedInt, even though the boxed value generally will not occur in any L2BoxedRegister.

Author

Mark van Gulik

Parameters

base

The semantic value holding the value for which a TypeTag has been extracted.

Constructors

L2SemanticExtractedTag

fun L2SemanticExtractedTag(base: L2SemanticValue)

Create a new L2SemanticExtractedTag semantic value.

Functions

open operator override fun compareTo(other: L2SemanticValue): Int

open operator override fun equals(other: Any?): Boolean

equalsSemanticValue

open override fun equalsSemanticValue(other: L2SemanticValue): Boolean

open override fun hashCode(): Int

primaryVisualSortKey

open fun primaryVisualSortKey(): L2SemanticValue.PrimaryVisualSortKey

The primary criterion by which to sort (ascending) the semantic values in a synonym when presenting them visually.

open override fun toString(): String

toStringForSynonym

open fun toStringForSynonym(): String

Produce a compact textual representation suitable for displaying within a synonym in a debugger or visualized control flow graph.

open override fun transform(semanticValueTransformer: (L2SemanticValue) -> L2SemanticValue, frameTransformer: (Frame) -> Frame): L2SemanticValue

Transform the receiver. If it's composed of parts, transform them with the supplied Functions.

Properties

val base: L2SemanticValue

The permanent hash value of this L2SemanticValue.

open val isConstant: Boolean

Answer whether this semantic value corresponds with the notion of a semantic constant.

open val kind: L2Register.RegisterKind