Initial implementation of reftype proposal in the interpreter. (#1206)

- Implement ref.func everywhere.
- Implement table.get and table.set in the interpreter.

1 files changed, 11 insertions, 0 deletions

diff --git a/src/binary-reader.cc b/src/binary-reader.cc
index 52e49000..cbc254a8 100644
--- a/src/binary-reader.cc
+++ b/src/binary-reader.cc
@@ -390,6 +390,9 @@ bool BinaryReader::IsConcreteType(Type type) {
     case Type::Anyref:
       return options_.features.reference_types_enabled();
 
+    case Type::Funcref:
+      return options_.features.reference_types_enabled();
+
     default:
       return false;
   }
@@ -1482,6 +1485,14 @@ Result BinaryReader::ReadFunctionBody(Offset end_offset) {
         break;
       }
 
+      case Opcode::RefFunc: {
+        Index func;
+        CHECK_RESULT(ReadIndex(&func, "func index"));
+        CALLBACK(OnRefFuncExpr, func);
+        CALLBACK(OnOpcodeUint32, func);
+        break;
+      }
+
       case Opcode::RefNull: {
         CALLBACK(OnRefNullExpr);
         CALLBACK0(OnOpcodeBare);