diff options
Diffstat (limited to 'src/shared-validator.cc')
-rw-r--r-- | src/shared-validator.cc | 12 |
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; |