summaryrefslogtreecommitdiff
path: root/src/shared-validator.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/shared-validator.cc')
-rw-r--r--src/shared-validator.cc12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/shared-validator.cc b/src/shared-validator.cc
index 5d3b8acf..3f970276 100644
--- a/src/shared-validator.cc
+++ b/src/shared-validator.cc
@@ -895,6 +895,18 @@ Result SharedValidator::OnLoadSplat(const Location& loc,
return result;
}
+Result SharedValidator::OnLoadZero(const Location& loc,
+ Opcode opcode,
+ Address alignment) {
+ Result result = Result::Ok;
+ MemoryType mt;
+ expr_loc_ = &loc;
+ result |= CheckMemoryIndex(Var(0, loc), &mt);
+ result |= CheckAlign(loc, alignment, opcode.GetMemorySize());
+ result |= typechecker_.OnLoad(opcode, mt.limits);
+ return result;
+}
+
Result SharedValidator::OnLocalGet(const Location& loc, Var local_var) {
Result result = Result::Ok;
Type type = Type::Any;