Skip to content

Fix edge cases in propagation debug info. - #1664

Open
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_995956222
Open

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

Conversation

@copybara-service

Copy link
Copy Markdown

Fix edge cases in propagation debug info.

When propagation debug info is enabled, such as via --xla_dump_hlo_pass_re=shardy-verbose, several edge cases caused crashes, assertion failures or verifier errors.

We need to handle null DataFlowEdgeOp because we don't create such an op for stablehlo.token in ManugalComputationOp.

Fix lookUpValueOriginSharding to handle missing entry.

Fix pushBackDictionaryToDebugInfo to correctly push empty debug info entries.

Fix the verifier to handle multiple data-flow sources.

When propagation debug info is enabled, such as via --xla_dump_hlo_pass_re=shardy-verbose, several edge cases caused crashes, assertion failures or verifier errors.

We need to handle null DataFlowEdgeOp because we don't create such an op for stablehlo.token in ManugalComputationOp.

Fix lookUpValueOriginSharding to handle missing entry.

Fix pushBackDictionaryToDebugInfo to correctly push empty debug info entries.

Fix the verifier to handle multiple data-flow sources.

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