From 5e57a13614c56f959faab675d6bcabbd629ec562 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Tue, 26 Jan 2021 21:09:31 +0000 Subject: [GC] RefIsNull => RefIs. (#3516) This internal refactoring prepares us for ref.is_func/data/i31, by renaming the node and adding an "op" field. For now that field must always be "Null" which means it is a ref.is_null. This adjusts the C API to match the new IR shape. The high-level JS API is unchanged. --- src/wasm/wasm-validator.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/wasm/wasm-validator.cpp') diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index 7cddf5a86..8def0e529 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -331,7 +331,7 @@ public: void visitMemorySize(MemorySize* curr); void visitMemoryGrow(MemoryGrow* curr); void visitRefNull(RefNull* curr); - void visitRefIsNull(RefIsNull* curr); + void visitRefIs(RefIs* curr); void visitRefFunc(RefFunc* curr); void visitRefEq(RefEq* curr); void visitTry(Try* curr); @@ -1981,14 +1981,14 @@ void FunctionValidator::visitRefNull(RefNull* curr) { curr->type.isNullable(), curr, "ref.null types must be nullable"); } -void FunctionValidator::visitRefIsNull(RefIsNull* curr) { +void FunctionValidator::visitRefIs(RefIs* curr) { shouldBeTrue(getModule()->features.hasReferenceTypes(), curr, - "ref.is_null requires reference-types to be enabled"); + "ref.is_* requires reference-types to be enabled"); shouldBeTrue(curr->value->type == Type::unreachable || curr->value->type.isRef(), curr->value, - "ref.is_null's argument should be a reference type"); + "ref.is_*'s argument should be a reference type"); } void FunctionValidator::visitRefFunc(RefFunc* curr) { -- cgit v1.2.3