diff options
| author | Thomas Lively <tlively@google.com> | 2023-01-17 11:35:23 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-17 09:35:23 -0800 |
| commit | eedb2fe5e37174acba69e84e8bb9ee2628e0d7f3 (patch) | |
| tree | 689c4c6a2c1a735a991013cb02c1f4bd542b0e1c /src/wasm-binary.h | |
| parent | e9012347476a9cb26f829aa9a9a8b04db3438765 (diff) | |
| download | binaryen-eedb2fe5e37174acba69e84e8bb9ee2628e0d7f3.tar.gz binaryen-eedb2fe5e37174acba69e84e8bb9ee2628e0d7f3.tar.bz2 binaryen-eedb2fe5e37174acba69e84e8bb9ee2628e0d7f3.zip | |
Add Valmari-Lehtinen DFA minimization as a standalone utility (#5430)
We used to have this algorithm in wasm-type.cpp, where we used it to implement
equirecursive type canonicalization, but we removed it when we removed
equirecursive typing. Bring the algorithm back as a standalone utility for
future use in optimization passes. In particular, it will be useful in
TypeMerging for identifying the greatest fixed point of mergeable types rather
than the smallest fixed point.
Diffstat (limited to 'src/wasm-binary.h')
0 files changed, 0 insertions, 0 deletions