Skip to content

[Explicit State Access] Support Multiple Reads in next_value_optimization_pass.cc - #4783

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

[Explicit State Access] Support Multiple Reads in next_value_optimization_pass.cc#4783
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_964841208

Conversation

@copybara-service

@copybara-service copybara-service Bot commented Aug 14, 2026

Copy link
Copy Markdown

[Explicit State Access] Support Multiple Reads in next_value_optimization_pass.cc

When creating next nodes for non-synth, if the update is a pass-through or NoOp, find the matching non-synth state read by predicate.

…tion_pass.cc

When creating next nodes for non-synth, if the update is a pass-through or NoOp, find the matching non-synth state read by predicate.

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