Expand description
Compile-time IR for bytecode emission.
Structs§
- CallIR
- Call instruction IR with symbolic target.
- EffectIR
- Effect operation with symbolic member references. Used during compilation; resolved to EffectOp during emission.
- Label
- Symbolic reference, resolved to step address at layout time.
- Layout
Result - Result of layout: maps labels to step addresses.
- MatchIR
- Match instruction IR with symbolic successors.
- PredicateIR
- Predicate IR for node text filtering.
- ReturnIR
- Return instruction IR.
- TrampolineIR
- Trampoline instruction IR with symbolic return address.
Enums§
- InstructionIR
- Pre-layout instruction with symbolic references.
- Member
Ref - Symbolic reference to a struct field or enum variant. Resolved to absolute member index during bytecode emission.
- Node
TypeIR - Node type constraint for Match instructions.
- Predicate
ValueIR - Predicate value: string or regex pattern.