ConstProp early termination optimization

[johnzl-777]

A (looser) form of this optimization exists in QuEraComputing/bloqade-circuit#736. The idea is to stop constprop from iterating through a loop if loop_vars has converged, preventing a bunch of unnecessary future iterations.

Claude pointed out to me that if there's some dependency on the iteration variable triggering an impure operation in the loop body, the original fix without the guard you currently see would improperly denote the loop as entirely pure.

I already check for no iteration variable dependency in the bloqade-circuit stuff I'm working on but I don't see the harm in having it duplicated here.

@Roger-luo agreed this optimization is worth including in Kirin, with kudos to @weinbe58 and @jasonhan3 for pointing this optimization out to me.

Some benchmarks can be seen here, running against a trivial:

@structural_no_opt
def loop_test(x: int) -> int:
	for _i in range(...):
		x = x + 1
	return x

From range(10) to range(30_000):

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
11499	10336	90%	0%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
src/kirin/dialects/scf/constprop.py	91%	🟢
TOTAL	91%	🟢

updated for commit: 09a4c72 by action🐍

[github-actions]

PR Preview Action v1.8.1
🚀 View preview at https://QuEraComputing.github.io/kirin/pr-preview/pr-632/
Built to branch gh-pages at 2026-04-03 19:50 UTC. Preview will be ready when the GitHub Pages deployment is complete.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[weinbe58]

LGTM