diff options
| author | Frank Emrich <git@emrich.io> | 2024-04-04 18:46:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-04 10:46:04 -0700 |
| commit | 365f12ed2388c610511bd17ce097021e0babcaa9 (patch) | |
| tree | a5243d82ad8ba8843d6e483d1d4c395dcb91fd87 /src/wasm-type.h | |
| parent | 83d3059361c17db19080735ae6a85435f7308c80 (diff) | |
| download | binaryen-365f12ed2388c610511bd17ce097021e0babcaa9.tar.gz binaryen-365f12ed2388c610511bd17ce097021e0babcaa9.tar.bz2 binaryen-365f12ed2388c610511bd17ce097021e0babcaa9.zip | |
Typed continuations: nocont and cont basic heap types (#6468)
This PR is part of a series that adds basic support for the typed
continuations/wasmfx proposal.
This particular PR adds cont and nocont as top and bottom types for
continuation types, completely analogous to func and nofunc for function types
(also: exn and noexn).
Diffstat (limited to 'src/wasm-type.h')
| -rw-r--r-- | src/wasm-type.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/wasm-type.h b/src/wasm-type.h index 5c47f4051..b18eaa6db 100644 --- a/src/wasm-type.h +++ b/src/wasm-type.h @@ -321,6 +321,7 @@ public: enum BasicHeapType : uint32_t { ext, func, + cont, any, eq, i31, @@ -334,6 +335,7 @@ public: none, noext, nofunc, + nocont, noexn, }; static constexpr BasicHeapType _last_basic_type = noexn; @@ -367,6 +369,10 @@ public: bool isFunction() const; bool isData() const; bool isSignature() const; + // Indicates whether the given type was defined to be of the form + // `(cont $ft)`. Returns false for `cont`, the top type of the continuation + // type hierarchy (and all other types). In other words, this is analogous to + // `isSignature`, but for continuation types. bool isContinuation() const; bool isStruct() const; bool isArray() const; |