fix more scf bugs for bloqade

[Roger-luo]

No description provided.

[github-actions]

PR Preview Action v1.6.0
Preview removed because the pull request was closed.
2025-02-14 00:23 UTC

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
8646	7641	88%	0%	🟢

New Files

File	Coverage	Status
src/kirin/dialects/scf/absint.py	70%	🟢
TOTAL	70%	🟢

Modified Files

File	Coverage	Status
src/kirin/dialects/scf/_init_.py	100%	🟢
src/kirin/dialects/scf/constprop.py	83%	🟢
src/kirin/dialects/scf/typeinfer.py	79%	🟢
src/kirin/interp/impl.py	75%	🟢
TOTAL	84%	🟢

updated for commit: 1d4b75e by action🐍

[codecov]

Codecov Report

Attention: Patch coverage is 67.85714% with 18 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/kirin/dialects/scf/absint.py	70.27%	11 Missing ⚠️
src/kirin/dialects/scf/constprop.py	36.36%	7 Missing ⚠️

📢 Thoughts on this report? Let us know!