summaryrefslogtreecommitdiff
path: root/src/type-checker.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/type-checker.cc')
-rw-r--r--src/type-checker.cc18
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());