avail/avail.optimizer/L2Generator/SpecialBlock

SpecialBlock

enum SpecialBlock : Enum<L2Generator.SpecialBlock>

An enumeration of symbolic names of key blocks of the controlFlowGraph. These are associated with optional L2BasicBlocks within the generator's specialBlocks.

Entries

UNREACHABLE

UNREACHABLE()

An L2BasicBlock that shouldn't actually be dynamically reachable.

RESTART_LOOP_HEAD

RESTART_LOOP_HEAD()

The head of the loop formed when a P_RestartContinuation is invoked on a label created for the current frame.

AFTER_OPTIONAL_PRIMITIVE

AFTER_OPTIONAL_PRIMITIVE()

The block at which to resume execution after a failed primitive.

START

START()

The initial block of the control flow graph, which is where the control flow implicitly starts when the A_Function underlying the L2Chunk is ultimately invoked.

Properties

name

val name: String

ordinal

val ordinal: Int