diff options
| author | Thomas Lively <tlively@google.com> | 2023-01-19 11:34:28 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-19 17:34:28 +0000 |
| commit | 0d6d317d44d13240dfc9427f8f32c1299449287b (patch) | |
| tree | 52be1b94b7d58f18433597995468aa8522d0111b /src/tools/wasm-split/split-options.h | |
| parent | aebad47fec02af167bd1c328b8614deb42e9ff0e (diff) | |
| download | binaryen-0d6d317d44d13240dfc9427f8f32c1299449287b.tar.gz binaryen-0d6d317d44d13240dfc9427f8f32c1299449287b.tar.bz2 binaryen-0d6d317d44d13240dfc9427f8f32c1299449287b.zip | |
[Wasm GC] Merge root types with identical shapes (#5438)
The TypeMerging optimization usually tries to merge types into their supertypes,
but it can also merge sibling types together without merging them into their
common supertype. Implement this kind of sibling merging for root types that
have no nontrivial supertypes. Root types were previously never merged.
The implementation requires hashing and comparing the top-level structure of the
root types so that root types with the same structure can be assigned to the
same partition for DFA minimization.
Diffstat (limited to 'src/tools/wasm-split/split-options.h')
0 files changed, 0 insertions, 0 deletions