bloqade.lanes.dialects.move.Measure
← Module overview
class
classMeasure¶source
bloqade.lanes.dialects.move.Measure
Bases: StatefulStatement
Multi-zone measurement produced by stack_move2move. Consumed by measure_lower, which validates single-zone + single-final-measurement invariants and rewrites to EndMeasure.
class MeasureInherits current_state input and result: StateType output from
StatefulStatement (state-threading). Adds zone_addresses as a
compile-time attribute tuple and future as the measurement-future
result value.
Attributes
| Name | Type | Default | Description |
|---|---|---|---|
zone_addresses | tuple[ZoneAddress, ...] | info.attribute() | |
future | ir.ResultValue | info.result(MeasurementFutureType) |