Skip to content

Fix a bug in loop unroll#2325

Merged
phschaad merged 4 commits intomainfrom
loop_unroll_fix
Mar 16, 2026
Merged

Fix a bug in loop unroll#2325
phschaad merged 4 commits intomainfrom
loop_unroll_fix

Conversation

@ThrudPrimrose
Copy link
Copy Markdown
Collaborator

@ThrudPrimrose ThrudPrimrose commented Mar 15, 2026

If we unroll a top-level for CFG, then the connectivity might be broken, I added a unit test and the fix to it.

Replace dict on loop does not properly update the init statement, which can be exposed by loop unrolling when parent loop parameter is used inside in an inner loop. I fixed it and added a unit test in loop unroll that would expose it.

@ThrudPrimrose ThrudPrimrose requested review from acalotoiu, phschaad and tbennun and removed request for tbennun March 15, 2026 14:20
Copy link
Copy Markdown
Collaborator

@phschaad phschaad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you for the fix!

@phschaad phschaad added this pull request to the merge queue Mar 16, 2026
Merged via the queue into main with commit afa9aa3 Mar 16, 2026
12 checks passed
@phschaad phschaad deleted the loop_unroll_fix branch March 16, 2026 08:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants