Detect missing legacy exception handling support

Author: jirkamarsik

wasm/src/org.graalvm.wasm.test/src/org/graalvm/wasm/test/suites/validation/ValidationSuite.java

@@ -968,7 +968,7 @@ public static Collection<Object[]> data() {
                                         null),
 
                         binaryCase("Invalid instruction",
-                                        "Unknown opcode: 0x06",
+                                        "Legacy exception handling is not supported (opcode: 0x06)",
 
                                         // (module
                                         // (func

wasm/src/org.graalvm.wasm/src/org/graalvm/wasm/BinaryParser.java

@@ -996,6 +996,14 @@ private CodeEntry readFunction(int functionIndex, int[] locals, int sourceCodeEn
                     state.setUnreachable();
                     break;
                 }
+                case Instructions.TRY:
+                case Instructions.RETHROW:
+                case Instructions.CATCH:
+                case Instructions.DELEGATE:
+                case Instructions.CATCH_ALL: {
+                    checkLegacyExceptionHandlingSupport(opcode);
+                    break;
+                }
                 case Instructions.LOCAL_GET: {
                     final int localIndex = readLocalIndex();
                     assertUnsignedIntLess(localIndex, locals.length, Failure.UNKNOWN_LOCAL);
@@ -2805,6 +2813,10 @@ private void checkRelaxedSIMDSupport(int vectorOpcode) {
         checkContextOption(wasmContext.getContextOptions().supportRelaxedSIMD(), "Relaxed vector instructions are not enabled (opcode: 0x%02x 0x%x)", Instructions.VECTOR, vectorOpcode);
     }
 
+    private static void checkLegacyExceptionHandlingSupport(int opcode) {
+        Assert.fail(Failure.UNSPECIFIED_MALFORMED, "Legacy exception handling is not supported (opcode: 0x%02x)", opcode);
+    }
+
     private void checkExceptionHandlingSupport(int opcode) {
         checkContextOption(wasmContext.getContextOptions().supportExceptions(), "Exception handling is not enabled (opcode: 0x%02x)", opcode);
     }

wasm/src/org.graalvm.wasm/src/org/graalvm/wasm/constants/Instructions.java

@@ -54,7 +54,10 @@ public final class Instructions {
     public static final int IF = 0x04;
     public static final int ELSE = 0x05;
 
+    public static final int TRY = 0x06;
+    public static final int CATCH = 0x07;
     public static final int THROW = 0x08;
+    public static final int RETHROW = 0x09;
     public static final int THROW_REF = 0x0A;
 
     public static final int END = 0x0B;
@@ -68,6 +71,9 @@ public final class Instructions {
     public static final int CALL_INDIRECT = 0x11;
     public static final int CALL_REF = 0x14;
 
+    public static final int DELEGATE = 0x18;
+    public static final int CATCH_ALL = 0x19;
+
     public static final int DROP = 0x1A;
     public static final int SELECT = 0x1B;
     public static final int SELECT_T = 0x1C;