interp: unimplemented

SoniEx2 · SoniEx2 · commit 24b6fdb0c391 · 2024-11-10T13:03:29.000-03:00
diff --git a/src/interp/interp.cc b/src/interp/interp.cc
@@ -1978,6 +1978,8 @@ RunResult Thread::StepInternal(Trap::Ptr* out_trap) {
     case O::Delegate:
     case O::InterpData:
     case O::Invalid:
+    case O::TryTable:
+    case O::ThrowRef:
       WABT_UNREACHABLE;
       break;
   }
diff --git a/src/interp/istream.cc b/src/interp/istream.cc
@@ -794,6 +794,8 @@ Instr Istream::Read(Offset* offset) const {
     case Opcode::Loop:
     case Opcode::Try:
     case Opcode::ReturnCall:
+    case Opcode::TryTable:
+    case Opcode::ThrowRef:
       // Not used.
       break;
   }
diff --git a/test/spec/obsolete-keywords.txt b/test/spec/obsolete-keywords.txt
@@ -28,7 +28,7 @@ out/test/spec/obsolete-keywords.wast:34: assert_malformed passed:
   (func (local $i i32) (drop (tee_local $i (i32.const 0))))
                                                          ^
 out/test/spec/obsolete-keywords.wast:41: assert_malformed passed:
-  out/test/spec/obsolete-keywords/obsolete-keywords.5.wat:1:12: error: unexpected token "anyfunc", expected i32, i64, f32, f64, v128, externref or funcref.
+  out/test/spec/obsolete-keywords/obsolete-keywords.5.wat:1:12: error: unexpected token "anyfunc", expected i32, i64, f32, f64, v128, externref, exnref or funcref.
   (global $g anyfunc (ref.null func))
              ^^^^^^^
 out/test/spec/obsolete-keywords.wast:48: assert_malformed passed:

Original file line number	Diff line number	Diff line change
`@@ -1978,6 +1978,8 @@ RunResult Thread::StepInternal(Trap::Ptr* out_trap) {`
`1978`	`1978`	`case O::Delegate:`
`1979`	`1979`	`case O::InterpData:`
`1980`	`1980`	`case O::Invalid:`
	`1981`	`+ case O::TryTable:`
	`1982`	`+ case O::ThrowRef:`
`1981`	`1983`	`WABT_UNREACHABLE;`
`1982`	`1984`	`break;`
`1983`	`1985`	`}`
Original file line number	Diff line number	Diff line change
`@@ -794,6 +794,8 @@ Instr Istream::Read(Offset* offset) const {`
`794`	`794`	`case Opcode::Loop:`
`795`	`795`	`case Opcode::Try:`
`796`	`796`	`case Opcode::ReturnCall:`
	`797`	`+ case Opcode::TryTable:`
	`798`	`+ case Opcode::ThrowRef:`
`797`	`799`	`// Not used.`
`798`	`800`	`break;`
`799`	`801`	`}`
Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ out/test/spec/obsolete-keywords.wast:34: assert_malformed passed:`
`28`	`28`	`(func (local $i i32) (drop (tee_local $i (i32.const 0))))`
`29`	`29`	`^`
`30`	`30`	`out/test/spec/obsolete-keywords.wast:41: assert_malformed passed:`
`31`		`- out/test/spec/obsolete-keywords/obsolete-keywords.5.wat:1:12: error: unexpected token "anyfunc", expected i32, i64, f32, f64, v128, externref or funcref.`
	`31`	`+ out/test/spec/obsolete-keywords/obsolete-keywords.5.wat:1:12: error: unexpected token "anyfunc", expected i32, i64, f32, f64, v128, externref, exnref or funcref.`
`32`	`32`	`(global $g anyfunc (ref.null func))`
`33`	`33`	`^^^^^^^`
`34`	`34`	`out/test/spec/obsolete-keywords.wast:48: assert_malformed passed:`