From ef686a4d932b9b86edc34a3b9b15926f943f6f7b Mon Sep 17 00:00:00 2001 From: Max Graey Date: Sat, 9 Oct 2021 05:26:08 +0300 Subject: Add table.size operation (#4224) --- src/wasm/wasm-validator.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/wasm/wasm-validator.cpp') diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 0e362df9c..0271884a4 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -366,6 +366,7 @@ public: void visitRefEq(RefEq* curr); void visitTableGet(TableGet* curr); void visitTableSet(TableSet* curr); + void visitTableSize(TableSize* curr); void noteDelegate(Name name, Expression* curr); void noteRethrow(Name name, Expression* curr); void visitTry(Try* curr); @@ -2063,6 +2064,14 @@ void FunctionValidator::visitTableSet(TableSet* curr) { } } +void FunctionValidator::visitTableSize(TableSize* curr) { + shouldBeTrue(getModule()->features.hasReferenceTypes(), + curr, + "table.size requires reference types to be enabled"); + auto* table = getModule()->getTableOrNull(curr->table); + shouldBeTrue(!!table, curr, "table.size table must exist"); +} + void FunctionValidator::noteDelegate(Name name, Expression* curr) { if (name != DELEGATE_CALLER_TARGET) { shouldBeTrue(delegateTargetNames.count(name) != 0, -- cgit v1.2.3