Remove name conflicts in loop iterators#2326

Open

ThrudPrimrose wants to merge 23 commits into

mainfrom

ssa_loop_iterators

Commits on Mar 16, 2026

Commits on Apr 15, 2026

Merge branch 'main' into ssa_loop_iterators
ThrudPrimrose
authored

Commits on May 15, 2026

Commits on May 20, 2026

Cleanup dead loop-var declaration when post-value epilogue is disabled
ThrudPrimrose
committed
test: port post-value epilogue test cleanup from yakup/dev
ThrudPrimrose
committed
Fix dead-symbol cleanup gate: use ``used_symbols(False)`` not ``free_symbols``
ThrudPrimrose
committed

Commits on May 21, 2026

fix(unique-loop-iterators): skip already-unique iterators (idempotent; fixes nested-SDFG symbol-mapping crash)
ThrudPrimrose
committed

Commits on May 22, 2026

Commits on May 26, 2026

fix(unique-loop-iterators): seed the counter past MapEntry parameters too
ThrudPrimrose
committed

Commits on May 31, 2026

UniqueLoopIterators: debloat docstrings + add map/loop name-conflict tests
ThrudPrimrose
committed