summaryrefslogtreecommitdiff
path: root/src/wasm/wasm-validator.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
-rw-r--r--src/wasm/wasm-validator.cpp16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp
index 6e7ef3301..8410cc0b2 100644
--- a/src/wasm/wasm-validator.cpp
+++ b/src/wasm/wasm-validator.cpp
@@ -389,7 +389,7 @@ void FunctionValidator::noteLabelName(Name name) {
void FunctionValidator::visitBlock(Block* curr) {
if (!getModule()->features.hasMultivalue()) {
- shouldBeTrue(!curr->type.isMulti(),
+ shouldBeTrue(!curr->type.isTuple(),
curr,
"Multivalue block type (multivalue is not enabled)");
}
@@ -1773,11 +1773,11 @@ void FunctionValidator::visitSelect(Select* curr) {
"select condition must be valid");
if (curr->ifTrue->type != Type::unreachable) {
shouldBeFalse(
- curr->ifTrue->type.isMulti(), curr, "select value may not be a tuple");
+ curr->ifTrue->type.isTuple(), curr, "select value may not be a tuple");
}
if (curr->ifFalse->type != Type::unreachable) {
shouldBeFalse(
- curr->ifFalse->type.isMulti(), curr, "select value may not be a tuple");
+ curr->ifFalse->type.isTuple(), curr, "select value may not be a tuple");
}
if (curr->type != Type::unreachable) {
shouldBeTrue(Type::isSubType(curr->ifTrue->type, curr->type),
@@ -1969,7 +1969,7 @@ void FunctionValidator::visitTupleExtract(TupleExtract* curr) {
}
void FunctionValidator::visitFunction(Function* curr) {
- if (curr->sig.results.isMulti()) {
+ if (curr->sig.results.isTuple()) {
shouldBeTrue(getModule()->features.hasMultivalue(),
curr->body,
"Multivalue function results (multivalue is not enabled)");
@@ -2137,7 +2137,7 @@ static void validateBinaryenIR(Module& wasm, ValidationInfo& info) {
static void validateImports(Module& module, ValidationInfo& info) {
ModuleUtils::iterImportedFunctions(module, [&](Function* curr) {
- if (curr->sig.results.isMulti()) {
+ if (curr->sig.results.isTuple()) {
info.shouldBeTrue(module.features.hasMultivalue(),
curr->name,
"Imported multivalue function "
@@ -2164,7 +2164,7 @@ static void validateImports(Module& module, ValidationInfo& info) {
curr->mutable_, curr->name, "Imported global cannot be mutable");
}
info.shouldBeFalse(
- curr->type.isMulti(), curr->name, "Imported global cannot be tuple");
+ curr->type.isTuple(), curr->name, "Imported global cannot be tuple");
});
}
@@ -2194,7 +2194,7 @@ static void validateExports(Module& module, ValidationInfo& info) {
g->mutable_, g->name, "Exported global cannot be mutable");
}
info.shouldBeFalse(
- g->type.isMulti(), g->name, "Exported global cannot be tuple");
+ g->type.isTuple(), g->name, "Exported global cannot be tuple");
}
}
}
@@ -2347,7 +2347,7 @@ static void validateEvents(Module& module, ValidationInfo& info) {
Type(Type::none),
curr->name,
"Event type's result type should be none");
- if (curr->sig.params.isMulti()) {
+ if (curr->sig.params.isTuple()) {
info.shouldBeTrue(module.features.hasMultivalue(),
curr->name,
"Multivalue event type (multivalue is not enabled)");