Skip to content

Move

ConstZone

Bases: Statement


              flowchart TD
              bloqade.lanes.dialects.move.ConstZone[ConstZone]

              

              click bloqade.lanes.dialects.move.ConstZone href "" "bloqade.lanes.dialects.move.ConstZone"

Constant ZoneAddress producing an SSA value.

The current stack_move2move rewrite does not emit ConstZone — zones are lifted into move.Measure.zone_addresses / move.CZ.zone_address as compile-time attributes instead. ConstZone stays in the dialect for frontends that produce move IR directly and need a zone address as an SSA value.

EndMeasure

Bases: Statement


              flowchart TD
              bloqade.lanes.dialects.move.EndMeasure[EndMeasure]

              

              click bloqade.lanes.dialects.move.EndMeasure href "" "bloqade.lanes.dialects.move.EndMeasure"

Start a measurement over the specified zones. Returns a MeasurementFuture.

GetFutureResult

Bases: Statement


              flowchart TD
              bloqade.lanes.dialects.move.GetFutureResult[GetFutureResult]

              

              click bloqade.lanes.dialects.move.GetFutureResult href "" "bloqade.lanes.dialects.move.GetFutureResult"

Get the measurement results from a measurement future

Load

Bases: Statement


              flowchart TD
              bloqade.lanes.dialects.move.Load[Load]

              

              click bloqade.lanes.dialects.move.Load href "" "bloqade.lanes.dialects.move.Load"

Load a previously stored atom state.

Measure

Bases: StatefulStatement


              flowchart TD
              bloqade.lanes.dialects.move.Measure[Measure]
              bloqade.lanes.dialects.move.StatefulStatement[StatefulStatement]

                              bloqade.lanes.dialects.move.StatefulStatement --> bloqade.lanes.dialects.move.Measure
                


              click bloqade.lanes.dialects.move.Measure href "" "bloqade.lanes.dialects.move.Measure"
              click bloqade.lanes.dialects.move.StatefulStatement href "" "bloqade.lanes.dialects.move.StatefulStatement"

Multi-zone measurement produced by stack_move2move. Consumed by measure_lower, which validates single-zone + single-final-measurement invariants and rewrites to EndMeasure.

Inherits 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.

PhysicalInitialize

Bases: StatefulStatement


              flowchart TD
              bloqade.lanes.dialects.move.PhysicalInitialize[PhysicalInitialize]
              bloqade.lanes.dialects.move.StatefulStatement[StatefulStatement]

                              bloqade.lanes.dialects.move.StatefulStatement --> bloqade.lanes.dialects.move.PhysicalInitialize
                


              click bloqade.lanes.dialects.move.PhysicalInitialize href "" "bloqade.lanes.dialects.move.PhysicalInitialize"
              click bloqade.lanes.dialects.move.StatefulStatement href "" "bloqade.lanes.dialects.move.StatefulStatement"

Placeholder for when rewriting to simulation

StatefulStatement

Bases: Statement


              flowchart TD
              bloqade.lanes.dialects.move.StatefulStatement[StatefulStatement]

              

              click bloqade.lanes.dialects.move.StatefulStatement href "" "bloqade.lanes.dialects.move.StatefulStatement"

Base class for statements that modify the atom state.