Skip to content

Add MoveIfIntoMap transformation#2351

Draft
ThrudPrimrose wants to merge 4 commits into
mainfrom
move-if-inside-map
Draft

Add MoveIfIntoMap transformation#2351
ThrudPrimrose wants to merge 4 commits into
mainfrom
move-if-inside-map

Conversation

@ThrudPrimrose
Copy link
Copy Markdown
Collaborator

Pushes a conditional block that guards an inner map from the outer map's nested SDFG down into the inner nested SDFG, so both maps become direct neighbours and can be collapsed/fused by subsequent passes. Mirrors the hand-written _for_it_44 rewrite from icon-artifacts/velocity as a proper pattern-matching MultiStateTransformation with a full can_be_applied check and numerical-verification tests.

ThrudPrimrose and others added 4 commits April 23, 2026 11:20
Pushes a conditional block that guards an inner map from the outer map's
nested SDFG down into the inner nested SDFG, so both maps become direct
neighbours and can be collapsed/fused by subsequent passes. Mirrors the
hand-written _for_it_44 rewrite from icon-artifacts/velocity as a proper
pattern-matching MultiStateTransformation with a full can_be_applied check
and numerical-verification tests.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
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.

1 participant