bloqade.stim.passes.constprop_override

constprop_override¶

bloqade.stim.passes.constprop_override

Early-termination scf.For constprop for the Stim pipeline.

Kirin’s default scf.For constprop iterates the loop body N times for range(N). For loops where the body produces the same result each iteration (e.g. REPEAT-eligible loops in Stim), this is redundant — the analysis converges after 1-2 iterations.

This module registers an early-termination handler under the “stim.constprop” key on the scf dialect. StimConstProp resolves “stim.constprop” first, falling back to “constprop” for everything else.

• StimConstProp
• StimHintConst

View bloqade.stim.passes.constprop_override.StimConstProp →View bloqade.stim.passes.constprop_override.StimConstProp.keys →View bloqade.stim.passes.constprop_override.StimConstProp.lattice →View bloqade.stim.passes.constprop_override.StimConstProp.initialize →View bloqade.stim.passes.constprop_override.StimConstProp.initialize_frame →View bloqade.stim.passes.constprop_override.StimConstProp.method_self →View bloqade.stim.passes.constprop_override.StimConstProp.frame_eval →View bloqade.stim.passes.constprop_override.StimConstProp.try_eval_const_pure →View bloqade.stim.passes.constprop_override.StimHintConst →View bloqade.stim.passes.constprop_override.StimHintConst.unsafe_run →