Skip to content

bloqade.lanes.dialects.stack_move.Measure

← Module overview

classMeasuresource

bloqade.lanes.dialects.stack_move.Measure

Bases: ir.Statement

Matches bytecode `measure(arity)`: pops `arity` zone values and pushes `arity` measure futures. Zone grouping (dedup of distinct zones when lowering to move.Measure) happens in stack_move2move.

class Measure(zones: typing.Sequence[ir.SSAValue])

Parameters

NameTypeDescription
zonestyping.Sequence[ir.SSAValue]

Attributes

NameTypeDefaultDescription
traits—frozenset({lowering.FromPythonCall(), HasArity()})
zonestuple[ir.SSAValue, ...]info.argument(type=ZoneAddressType)