bloqade.lanes.analysis.placement.analysis.PlacementAnalysis

← Module overview

classPlacementAnalysis¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis

Bases: Forward[AtomState]

Signature

class PlacementAnalysis(initial_layout: tuple[LocationAddress, ...], address_analysis: dict[ir.SSAValue, Address], placement_strategy: PlacementStrategyABC)

Public import paths

• from bloqade.lanes.dialects.place import PlacementAnalysis
• from bloqade.lanes.analysis.placement import PlacementAnalysis

Parameters

Name	Type	Description
initial_layout	tuple[LocationAddress, ...]
address_analysis	dict[ir.SSAValue, Address]
placement_strategy	PlacementStrategyABC

Attributes

Name	Type	Default	Description
keys	—	('runtime.placement',)
initial_layout	tuple[LocationAddress, ...]	required
address_analysis	dict[ir.SSAValue, Address]	required
move_count	defaultdict[ir.SSAValue, int]	field(init=False)
cz_lookahead_buffers	dict[ir.Block, tuple[tuple[tuple[int, ...], tuple[int, ...]], ...]]	field(default_factory=dict, init=False, repr=False)
cz_lookahead_stmt_positions	dict[ir.Block, dict[CZ, int]]	field(default_factory=dict, init=False, repr=False)
placement_strategy	PlacementStrategyABC	required	The strategy function to use for calculating placements.
lattice	—	AtomState

methodinitialize¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.initialize

def initialize() -> Self

Returns

Self

source

methodget_inintial_state¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.get_inintial_state

def get_inintial_state(qubits: tuple[ir.SSAValue, ...])

Parameters

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

source

methodbuild_cz_buffer¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.build_cz_buffer

Signature

def build_cz_buffer(block: ir.Block) -> tuple[tuple[tuple[int, ...], tuple[int, ...]], ...]

Parameters

Name	Type	Description
block	ir.Block

Returns

tuple[tuple[tuple[int, ...], tuple[int, ...]], ...]

source

methodbuffered_future_cz_layers¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.buffered_future_cz_layers

Signature

def buffered_future_cz_layers(stmt: CZ) -> tuple[tuple[tuple[int, ...], tuple[int, ...]], ...]

Parameters

Name	Type	Description
stmt	CZ

Returns

tuple[tuple[tuple[int, ...], tuple[int, ...]], ...]

source

methodmethod_self¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.method_self

def method_self(method: ir.Method) -> AtomState

Parameters

Name	Type	Description
method	ir.Method

Returns

AtomState

source

methodeval_fallback¶source

bloqade.lanes.analysis.placement.analysis.PlacementAnalysis.eval_fallback

def eval_fallback(frame: ForwardFrame, node: ir.Statement)

Parameters

Name	Type	Description
frame	ForwardFrame
node	ir.Statement

source