bloqade.lanes.dialects.place.StaticPlacement

← Module overview

classStaticPlacement¶source

bloqade.lanes.dialects.place.StaticPlacement

Bases: ir.Statement

This statement represents A static circuit to be executed on the hardware.

class StaticPlacement(qubits: tuple[ir.SSAValue, ...], body: ir.Region)

The body region contains the low-level instructions to be executed. The inputs are the squin qubits to be used in the execution.

The region always terminates with an Yield statement, which provides the the measurement results for the qubits depending on which low-level code was executed.

Parameters

Name	Type	Description
qubits	tuple[ir.SSAValue, ...]
body	ir.Region

Attributes

Name	Type	Default	Description
traits	—	frozenset({ir.SSACFG(), ir.HasCFG()})
qubits	tuple[ir.SSAValue, ...]	info.argument(bloqade_types.QubitType)
body	ir.Region	info.region(multi=False)

methodcheck¶source

bloqade.lanes.dialects.place.StaticPlacement.check

def check() -> None

source