| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add Valmari-Lehtinen DFA minimization as a standalone utility (#5430) | Thomas Lively | 2023-01-17 | 1 | -0/+135 |
| 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. | |||||
 |
index : forks/binaryen.git | |
| summaryrefslogtreecommitdiff |