diff options
Diffstat (limited to 'src/type-checker.cc')
-rw-r--r-- | src/type-checker.cc | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/type-checker.cc b/src/type-checker.cc index 101ee731..ac9b79ed 100644 --- a/src/type-checker.cc +++ b/src/type-checker.cc @@ -429,11 +429,6 @@ Result TypeChecker::OnConvert(Opcode opcode) { return CheckOpcode1(opcode); } -Result TypeChecker::OnCurrentMemory() { - PushType(Type::I32); - return Result::Ok; -} - Result TypeChecker::OnDrop() { Result result = Result::Ok; result |= DropTypes(1); @@ -493,10 +488,6 @@ Result TypeChecker::OnEnd() { return result; } -Result TypeChecker::OnGrowMemory() { - return CheckOpcode1(Opcode::GrowMemory); -} - Result TypeChecker::OnIf(const TypeVector* sig) { Result result = PopAndCheck1Type(Type::I32, "if"); PushLabel(LabelType::If, *sig); @@ -530,6 +521,15 @@ Result TypeChecker::OnLoop(const TypeVector* sig) { return Result::Ok; } +Result TypeChecker::OnMemoryGrow() { + return CheckOpcode1(Opcode::MemoryGrow); +} + +Result TypeChecker::OnMemorySize() { + PushType(Type::I32); + return Result::Ok; +} + Result TypeChecker::OnRethrow() { Result result = PopAndCheck1Type(Type::ExceptRef, "rethrow"); CHECK_RESULT(SetUnreachable()); |