Remove ref.is_null type parameter (#1474)

See https://github.com/WebAssembly/reference-types/issues/99.

This change also updates the testsuite, so the spec tests pass too.

In addition, the behavior of `br_table` is no longer different from MVP,
and has a text to confirm this. That is now fixed in `type-checker.cc`
too.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/interp/binary-reader-interp.cc b/src/interp/binary-reader-interp.cc
index 20a8368c..8b44cdaf 100644
--- a/src/interp/binary-reader-interp.cc
+++ b/src/interp/binary-reader-interp.cc
@@ -192,7 +192,7 @@ class BinaryReaderInterp : public BinaryReaderNop {
   Result OnMemorySizeExpr() override;
   Result OnRefFuncExpr(Index func_index) override;
   Result OnRefNullExpr(Type type) override;
-  Result OnRefIsNullExpr(Type type) override;
+  Result OnRefIsNullExpr() override;
   Result OnNopExpr() override;
   Result OnReturnExpr() override;
   Result OnSelectExpr(Type result_type) override;
@@ -1240,8 +1240,8 @@ Result BinaryReaderInterp::OnRefNullExpr(Type type) {
   return Result::Ok;
 }
 
-Result BinaryReaderInterp::OnRefIsNullExpr(Type type) {
-  CHECK_RESULT(validator_.OnRefIsNull(loc, type));
+Result BinaryReaderInterp::OnRefIsNullExpr() {
+  CHECK_RESULT(validator_.OnRefIsNull(loc));
   istream_.Emit(Opcode::RefIsNull);
   return Result::Ok;
 }