bloqade.stim.rewrite.resolve_get_rec_idx.ResolveGetRecIdx

← Module overview

classResolveGetRecIdx¶source

bloqade.stim.rewrite.resolve_get_rec_idx.ResolveGetRecIdx

Bases: RewriteRule

Replace GetRecIdxFromMeasurement / GetRecIdxFromPredicate with computed constants.

class ResolveGetRecIdx(measure_id_frame: MeasureIDFrame)

Public import paths

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

After MeasureIDAnalysis has produced RecId lattice elements for each helper statement, this rewrite reads RecId.idx (the final stim record index) and creates a py.Constant to replace all uses. The helper statement becomes unused and is cleaned up by DCE.

Parameters

Name	Type	Description
measure_id_frame	MeasureIDFrame

Attributes

Name	Type	Description
measure_id_frame	MeasureIDFrame

methodrewrite_Statement¶source

bloqade.stim.rewrite.resolve_get_rec_idx.ResolveGetRecIdx.rewrite_Statement

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

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source

methodresolve¶source

bloqade.stim.rewrite.resolve_get_rec_idx.ResolveGetRecIdx.resolve

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

Parameters

Name	Type	Description
node	ir.Statement

Returns

RewriteResult

source