summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-s-parser.cpp
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2020-12-11 08:27:43 -0800
committerGitHub <noreply@github.com>2020-12-11 08:27:43 -0800
commite16cf5818de5a6e37ffcbce0bcde320290d9f9f1 (patch)
tree84a8a0d0e1031409501a548e465a89380ce7da80 /src/wasm/wasm-s-parser.cpp
parente1978e0274de74aa9ce5c6bcfa71e03ddadeb685 (diff)
downloadbinaryen-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.cpp18
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) {