avail/avail.optimizer.values/L2SemanticValue

L2SemanticValue

abstract class L2SemanticValue : L2Entity, Comparable<L2SemanticValue>

An L2SemanticValue represents a value stably computed from constants, arguments, and potentially unstable values acquired by specific previous instructions – e.g., fetching the current time at a specific position in a sequence of L2 instructions, or the result of a non-primitive call to another function.

Parameters

hash

The pre-computed hash value to use for this semantic value.

Inheritors

L2SemanticExtractedTag

L2SemanticObjectVariantId

L2SemanticPrimitiveInvocation

L2SemanticUnboxedFloat

L2SemanticUnboxedInt

Types

Companion

object Companion

PrimaryVisualSortKey

enum PrimaryVisualSortKey : Enum<L2SemanticValue.PrimaryVisualSortKey>

The major ordering of semantic values when printing an L2Synonym. Synonyms and value manifests' contents sort by the ordinal, so rearrange the enum values to change this order.

Properties

hash

val hash: Int

The permanent hash value of this L2SemanticValue.

isConstant

open val isConstant: Boolean

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

kind

open val kind: L2Register.RegisterKind

Functions

compareTo

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

equals

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

equalsSemanticValue

open fun equalsSemanticValue(other: L2SemanticValue): Boolean

hashCode

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.

toStringForSynonym

open fun toStringForSynonym(): String

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

transform

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

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