Add try_table instruction

Author: patrick96

web-image/src/com.oracle.svm.hosted.webimage/src/com/oracle/svm/hosted/webimage/wasm/ast/Instruction.java

@@ -223,10 +223,50 @@ public boolean hasElse() {
     }
 
     /**
-     * The WASM try block from the exception handling proposal.
+     * The WASM try_table from the exception handling proposal.
      * <p>
      * Ref: https://github.com/WebAssembly/exception-handling
      */
+    public static final class TryTable extends WasmBlock {
+        /**
+         * A catch clause for a certain tag.
+         * <p>
+         * When an exception is caught, the block branches to the label of the appropriate clause.
+         */
+        public static final class Catch {
+            public final WasmId.Tag tag;
+            public final WasmId.Label label;
+
+            private Catch(WasmId.Tag tag, WasmId.Label label) {
+                this.tag = tag;
+                this.label = label;
+            }
+
+            @Override
+            public String toString() {
+                return "Catch{tag=" + tag + ", label=" + label + '}';
+            }
+        }
+
+        public final Instructions instructions = new Instructions();
+        public final List<Catch> catchBlocks = new ArrayList<>();
+
+        public TryTable(WasmId.Label label) {
+            super(label, null);
+        }
+
+        public void addCatch(WasmId.Tag tag, WasmId.Label catchLabel) {
+            var catchBlock = new Catch(tag, catchLabel);
+            catchBlocks.add(catchBlock);
+        }
+    }
+
+    /**
+     * The WASM try block from the legacy exception handling proposal.
+     * <p>
+     * Ref:
+     * https://github.com/WebAssembly/exception-handling/blob/master/proposals/exception-handling/legacy/Exceptions.md
+     */
     public static final class Try extends WasmBlock {
 
         /**

web-image/src/com.oracle.svm.hosted.webimage/src/com/oracle/svm/hosted/webimage/wasm/ast/visitors/WasmPrinter.java

@@ -771,6 +771,26 @@ public void visitIf(Instruction.If ifBlock) {
         newline();
     }
 
+    @Override
+    @SuppressWarnings("try")
+    public void visitTryTable(Instruction.TryTable tryBlock) {
+        printBlockPrefix("try_table", tryBlock);
+
+        try (var ignored = new Indenter()) {
+            for (Instruction.TryTable.Catch catchBlock : tryBlock.catchBlocks) {
+                newline();
+                parenOpen("catch");
+                space();
+                printId(catchBlock.tag);
+                space();
+                printId(catchBlock.label);
+                parenClose();
+            }
+            super.visitInstructions(tryBlock.instructions);
+        }
+        newline();
+    }
+
     @Override
     @SuppressWarnings("try")
     public void visitTry(Instruction.Try tryBlock) {

web-image/src/com.oracle.svm.hosted.webimage/src/com/oracle/svm/hosted/webimage/wasm/ast/visitors/WasmVisitor.java

@@ -278,6 +278,10 @@ public void visitInstruction(Instruction inst) {
                 visitBlockInstr(i);
                 visitIf(i);
             }
+            case Instruction.TryTable i -> {
+                visitBlockInstr(i);
+                visitTryTable(i);
+            }
             case Instruction.Try i -> {
                 visitBlockInstr(i);
                 visitTry(i);
@@ -360,6 +364,14 @@ public void visitIf(Instruction.If ifBlock) {
         }
     }
 
+    public void visitTryTable(Instruction.TryTable tryBlock) {
+        for (Instruction.TryTable.Catch catchBlock : tryBlock.catchBlocks) {
+            visitId(catchBlock.tag);
+            visitId(catchBlock.label);
+        }
+        visitInstructions(tryBlock.instructions);
+    }
+
     public void visitTry(Instruction.Try tryBlock) {
         for (Instruction.Try.Catch catchBlock : tryBlock.catchBlocks) {
             visitId(catchBlock.tag);