diff options
| author | Thomas Lively <tlively@google.com> | 2023-11-01 18:15:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-01 18:15:44 +0100 |
| commit | 74237bf7825cb9a2f0a83d73e239ed7a66a174a3 (patch) | |
| tree | b7d6a16940430e0f7a5b4ac437e4105438659f71 /src/wasm-io.h | |
| parent | c82627e698c67fc67e301fc9d130be6458c6e718 (diff) | |
| download | binaryen-74237bf7825cb9a2f0a83d73e239ed7a66a174a3.tar.gz binaryen-74237bf7825cb9a2f0a83d73e239ed7a66a174a3.tar.bz2 binaryen-74237bf7825cb9a2f0a83d73e239ed7a66a174a3.zip | |
[analysis] Add a lattice for value types (#6064)
Add a lattice that is a thin wrapper around `wasm::Type` giving it the interface
of a lattice. As usual, `Type::unreachable` is the bottom element, but unlike in
the underlying API, we uniformly treat `Type::none` as the top type so that we
have a proper lattice.
Diffstat (limited to 'src/wasm-io.h')
0 files changed, 0 insertions, 0 deletions