Skip to content

[opt] Migrate more passes to take advantage of PartialInformation#4585

Draft
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_947159466
Draft

[opt] Migrate more passes to take advantage of PartialInformation#4585
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_947159466

Conversation

@copybara-service

Copy link
Copy Markdown

[opt] Migrate more passes to take advantage of PartialInformation

We adjust our passes that interact with ProcStateRangeQueryEngine to avoid redundant query engine instances, now that PSRQE supports full PartialInformation, and more generally to take advantage of more information where it makes sense.

@copybara-service
copybara-service Bot force-pushed the test_947159466 branch 2 times, most recently from 5d7309a to b69460d Compare July 20, 2026 13:51
We adjust our passes that interact with ProcStateRangeQueryEngine to avoid redundant query engine instances, now that PSRQE supports full PartialInformation, and more generally to take advantage of more information where it makes sense.

PiperOrigin-RevId: 947159466
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