Skip to content

fix(search): resolve backward AOD rectangle source mapping#462

Open
Jason-Ludmir wants to merge 2 commits intomainfrom
fix/search-backward-aod-rectangle-sources
Open

fix(search): resolve backward AOD rectangle source mapping#462
Jason-Ludmir wants to merge 2 commits intomainfrom
fix/search-backward-aod-rectangle-sources

Conversation

@Jason-Ludmir
Copy link
Copy Markdown
Contributor

Summary

  • fix backward bus rectangle source construction by deriving source locations from direction-aware lane endpoints
  • preserve a src_to_lane map so rectangle emission reuses valid lane identities instead of reconstructing potentially invalid backward lanes
  • add a regression test proving backward word-bus contexts include true backward source coordinates

Test plan

  • uv run pytest python/tests/search/test_greedy_generator.py
  • regenerate debug/steane_physical_impl.py --gif and confirm the previously split backward rows are merged

Closes #460

Made with Cursor

Build bus-context rectangle sources from direction-aware lane endpoints and preserve source-to-lane mappings when emitting lane sets. Add a regression test for backward word-bus source coordinates to prevent valid parallel backward moves from being split.

Made-with: Cursor
@Jason-Ludmir Jason-Ludmir self-assigned this Apr 10, 2026
@Jason-Ludmir Jason-Ludmir requested a review from weinbe58 April 10, 2026 21:03
@Jason-Ludmir Jason-Ludmir added area: Lane Area: issues related to bloqade-lanes, static lane definitions, scheduling, and constraints. area: compiler optimization Area: compiler optimization passes, IR transformations, and code generation improvements. labels Apr 10, 2026
@codecov
Copy link
Copy Markdown

codecov bot commented Apr 10, 2026

Codecov Report

❌ Patch coverage is 95.23810% with 1 line in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
...on/bloqade/lanes/search/generators/aod_grouping.py 95.23% 1 Missing ⚠️

📢 Thoughts on this report? Let us know!

@github-actions
Copy link
Copy Markdown

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
7374 6493 88% 0% 🟢

New Files

No new covered files...

Modified Files

File Coverage Status
python/bloqade/lanes/search/generators/aod_grouping.py 96% 🟢
TOTAL 96% 🟢

updated for commit: 0a62a90 by action🐍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: compiler optimization Area: compiler optimization passes, IR transformations, and code generation improvements. area: Lane Area: issues related to bloqade-lanes, static lane definitions, scheduling, and constraints. backport v0.8

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(search): correct backward AOD rectangle source mapping

1 participant