diff options
| author | Jay Kwak <82421531+jkwak-work@users.noreply.github.com> | 2025-07-24 16:47:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-24 23:47:21 +0000 |
| commit | 138efb9c25aadd319db6e6300a263574d90e3391 (patch) | |
| tree | 505bedcf8272be97184c7d03a54ada38c33e6157 /docs/command-line-slangc-reference.md | |
| parent | a9d1cc5daaf2cf72be88f7ebf4a2e3c3da68abc9 (diff) | |
Avoid early specialization for witness tables in SimplifyIR (#7636)
* Avoid early specialization for witness tables in SimplifyIR
Prevents SimplifyIR from prematurely specializing witness tables before
the main specialization pass. Witness tables are hoistable immutable
objects that must maintain consistent signatures to avoid incorrect
deduplication. SimplifyIR was incorrectly transforming expressions like
"witness_table_t(%IFoo)(specialize(%7, %GenericValue4))" into
"witness_table_t(%IFoo)(%Foo)" even when %GenericValue4 was unused.
Fixes #7233
* Add a missing test file
Diffstat (limited to 'docs/command-line-slangc-reference.md')
0 files changed, 0 insertions, 0 deletions