diff options
author | Alon Zakai <azakai@google.com> | 2020-12-11 08:27:43 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-11 08:27:43 -0800 |
commit | e16cf5818de5a6e37ffcbce0bcde320290d9f9f1 (patch) | |
tree | 84a8a0d0e1031409501a548e465a89380ce7da80 /src/wasm/wasm-s-parser.cpp | |
parent | e1978e0274de74aa9ce5c6bcfa71e03ddadeb685 (diff) | |
download | binaryen-e16cf5818de5a6e37ffcbce0bcde320290d9f9f1.tar.gz binaryen-e16cf5818de5a6e37ffcbce0bcde320290d9f9f1.tar.bz2 binaryen-e16cf5818de5a6e37ffcbce0bcde320290d9f9f1.zip |
[GC] Add ref.test and ref.cast (#3439)
This adds enough to read and write them and test that, but leaves
interpreter support for later.
Diffstat (limited to 'src/wasm/wasm-s-parser.cpp')
-rw-r--r-- | src/wasm/wasm-s-parser.cpp | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/wasm/wasm-s-parser.cpp b/src/wasm/wasm-s-parser.cpp index b9f321b14..85bc2aba9 100644 --- a/src/wasm/wasm-s-parser.cpp +++ b/src/wasm/wasm-s-parser.cpp @@ -2093,17 +2093,19 @@ Expression* SExpressionWasmBuilder::makeI31Get(Element& s, bool signed_) { } Expression* SExpressionWasmBuilder::makeRefTest(Element& s) { - auto ret = allocator.alloc<RefTest>(); - WASM_UNREACHABLE("TODO (gc): ref.test"); - ret->finalize(); - return ret; + auto heapType = parseHeapType(*s[1]); + auto* ref = parseExpression(*s[2]); + auto* rtt = parseExpression(*s[3]); + validateHeapTypeUsingChild(rtt, heapType, s); + return Builder(wasm).makeRefTest(ref, rtt); } Expression* SExpressionWasmBuilder::makeRefCast(Element& s) { - auto ret = allocator.alloc<RefCast>(); - WASM_UNREACHABLE("TODO (gc): ref.cast"); - ret->finalize(); - return ret; + auto heapType = parseHeapType(*s[1]); + auto* ref = parseExpression(*s[2]); + auto* rtt = parseExpression(*s[3]); + validateHeapTypeUsingChild(rtt, heapType, s); + return Builder(wasm).makeRefCast(ref, rtt); } Expression* SExpressionWasmBuilder::makeBrOnCast(Element& s) { |