Skip to content

[rocjitsu] DBI: Share free register searches (Refactor only) - #10992

Draft
accauble wants to merge 2 commits into
developfrom
users/accauble/rj-share-free-register-search
Draft

[rocjitsu] DBI: Share free register searches (Refactor only)#10992
accauble wants to merge 2 commits into
developfrom
users/accauble/rj-share-free-register-search

Conversation

@accauble

@accauble accauble commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Motivation

Very similar searches for free registers were done by both LivenessAnalysis and TrampolineBuilder. This was marked with a TODO. This PR is 1) small clean up to move the searches to a new analysis/free_registers + tests for the new file and 2) a minor refactor that moves the any_in_range to RegisterSet::intersects + tests for the new functionality.

Refactor only.

Issue Tracking

Issue #8879.

Test Plan

Previous tests should work. New ones should work too.

Test Result

All tests pass.

Submission Checklist

@therock-pr-bot

therock-pr-bot Bot commented Aug 31, 2026

Copy link
Copy Markdown

✅ All Checks Passed — Ready for Review

Check Status Details
📝 PR Description ✅ Pass
Forbidden Files ✅ Pass
🧪 Unit Test ✅ Pass
🔎 pre-commit ✅ Pass
🚫 Draft PR 🔜 To Be Enabled
🚩 Feature Flag 🔜 To Be Enabled
📊 Code Coverage 🔜 To Be Enabled
🤖 therock-pr-bot ✅ Pass

🎉 All checks passed! This PR is ready for review.

📖 Need help? See the Policy FAQ for details on every check and how to fix failures.

🙋 Wish to Override Policy?

@therock-pr-bot

Copy link
Copy Markdown

🎉 All checks passed! This PR is ready for review.

* The same search for free registers happened in LivenessAnalysis
  and in the TrampolineBuilder (even marked with a TODO).
* This moves the searches to `analysis/free_registers`, passing the
  bound that made these different, and creates tests for the new
  file.
* Refactor only.
* The `any_in_range` function was really an intersects. This adds
  that functionality to RegisterSet, as well as an `intersects_range`.
* Moved a couple tests to the RegisterSetAnalysis test suite and
  added others.
@accauble
accauble force-pushed the users/accauble/rj-share-free-register-search branch from e834428 to d811c25 Compare August 31, 2026 20:57
@accauble accauble changed the title [rocjitsu] DBI: Share free register searches (NBC) [rocjitsu] DBI: Share free register searches (Refactor only) Aug 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant