diff options
| author | Alon Zakai <azakai@google.com> | 2022-10-11 13:41:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-11 20:41:49 +0000 |
| commit | 5129f8894bc8f197864a8f136cab191a2c9ea741 (patch) | |
| tree | 6890e918b638b944b8274980f6939de29efd03f2 /src/wasm-interpreter.h | |
| parent | ebe30fd682535e43e54d4a76f3ff5f09a6340d3a (diff) | |
| download | binaryen-5129f8894bc8f197864a8f136cab191a2c9ea741.tar.gz binaryen-5129f8894bc8f197864a8f136cab191a2c9ea741.tar.bz2 binaryen-5129f8894bc8f197864a8f136cab191a2c9ea741.zip | |
[Wasm GC] [GUFA] Add initial ConeType support (#5116)
A cone type is a PossibleContents that has a base type and a depth, and it
contains all subtypes up to that depth. So depth 0 is an exact type from
before, etc.
This only adds cone type computations when combining types, that is, when we
combine two exact types we might get a cone, etc. This does not yet use the
cone info in all places (like struct gets and sets), and it does not yet define roots
of cone types, all of which is left for later. IOW this is the MVP of cone types that
is just enough to add them + pass tests + test the new functionality.
Diffstat (limited to 'src/wasm-interpreter.h')
0 files changed, 0 insertions, 0 deletions