diff options
author | Max Graey <maxgraey@gmail.com> | 2021-10-18 22:48:50 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-18 12:48:50 -0700 |
commit | f0a8de302b85441deb8864c9e20c561c934e27b8 (patch) | |
tree | b71e540462b865891a0b63d25b0b16b9653fd04a /src/wasm/wasm-s-parser.cpp | |
parent | 0bec0a4bbaf4859bb4c7a2f1c4ecda60ccab72f2 (diff) | |
download | binaryen-f0a8de302b85441deb8864c9e20c561c934e27b8.tar.gz binaryen-f0a8de302b85441deb8864c9e20c561c934e27b8.tar.bz2 binaryen-f0a8de302b85441deb8864c9e20c561c934e27b8.zip |
Add table.grow operation (#4245)
Diffstat (limited to 'src/wasm/wasm-s-parser.cpp')
-rw-r--r-- | src/wasm/wasm-s-parser.cpp | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/wasm/wasm-s-parser.cpp b/src/wasm/wasm-s-parser.cpp index cea666f29..1e15c1faa 100644 --- a/src/wasm/wasm-s-parser.cpp +++ b/src/wasm/wasm-s-parser.cpp @@ -2453,12 +2453,12 @@ Expression* SExpressionWasmBuilder::makeTableGet(Element& s) { Expression* SExpressionWasmBuilder::makeTableSet(Element& s) { auto tableName = s[1]->str(); - auto* index = parseExpression(s[2]); - auto* value = parseExpression(s[3]); auto* table = wasm.getTableOrNull(tableName); if (!table) { throw ParseException("invalid table name in table.set", s.line, s.col); } + auto* index = parseExpression(s[2]); + auto* value = parseExpression(s[3]); return Builder(wasm).makeTableSet(tableName, index, value); } @@ -2471,6 +2471,20 @@ Expression* SExpressionWasmBuilder::makeTableSize(Element& s) { return Builder(wasm).makeTableSize(tableName); } +Expression* SExpressionWasmBuilder::makeTableGrow(Element& s) { + auto tableName = s[1]->str(); + auto* table = wasm.getTableOrNull(tableName); + if (!table) { + throw ParseException("invalid table name in table.grow", s.line, s.col); + } + auto* value = parseExpression(s[2]); + if (!value->type.isRef()) { + throw ParseException("only reference types are valid for tables"); + } + auto* delta = parseExpression(s[3]); + return Builder(wasm).makeTableGrow(tableName, value, delta); +} + // try can be either in the form of try-catch or try-delegate. // try-catch is written in the folded wast format as // (try |