bloqade.stim.rewrite.squin_measure.SquinMeasureToStim

← Module overview

classSquinMeasureToStim¶source

bloqade.stim.rewrite.squin_measure.SquinMeasureToStim

Bases: RewriteRule

Rewrite squin measure-related statements to stim statements.

class SquinMeasureToStim

Public import paths

• from bloqade.stim.rewrite import SquinMeasureToStim
• from bloqade.stim.passes.squin_to_stim import SquinMeasureToStim

methodrewrite_Statement¶source

bloqade.stim.rewrite.squin_measure.SquinMeasureToStim.rewrite_Statement

def rewrite_Statement(node: ir.Statement) -> RewriteResult

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source

methodrewrite_Measure¶source

bloqade.stim.rewrite.squin_measure.SquinMeasureToStim.rewrite_Measure

def rewrite_Measure(measure_stmt: qubit.stmts.Measure) -> RewriteResult

Parameters

Name	Type	Description
measure_stmt	qubit.stmts.Measure

Returns

RewriteResult

source

methodget_qubit_idx_ssas¶source

bloqade.stim.rewrite.squin_measure.SquinMeasureToStim.get_qubit_idx_ssas

Signature

def get_qubit_idx_ssas(measure_stmt: qubit.stmts.Measure) -> tuple[ir.SSAValue, ...] | None

Extract the address attribute and insert qubit indices for the given measure statement.

Parameters

Name	Type	Description
measure_stmt	qubit.stmts.Measure

Returns

tuple[ir.SSAValue, ...] | None

source