binary/wat: Implement EHv4 (#2470)

This pull request implements EHv4. Binary is mostly untested until
interp is working.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/ir-util.cc b/src/ir-util.cc
index ee9262cc..5266a264 100644
--- a/src/ir-util.cc
+++ b/src/ir-util.cc
@@ -223,9 +223,16 @@ ModuleContext::Arities ModuleContext::GetExprArity(const Expr& expr) const {
       return {operand_count, 0, true};
     }
 
+    case ExprType::ThrowRef: {
+      return {1, 1, true};
+    }
+
     case ExprType::Try:
       return {0, cast<TryExpr>(&expr)->block.decl.sig.GetNumResults()};
 
+    case ExprType::TryTable:
+      return {0, cast<TryTableExpr>(&expr)->block.decl.sig.GetNumResults()};
+
     case ExprType::Ternary:
       return {3, 1};