Remove the `if_except` instruction (#1009)

It is no longer part of the exception proposal.

1 files changed, 0 insertions, 36 deletions

diff --git a/src/validator.cc b/src/validator.cc
index 155d4683..dda34a09 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -60,9 +60,6 @@ class Validator : public ExprVisitor::Delegate {
   Result BeginIfExpr(IfExpr*) override;
   Result AfterIfTrueExpr(IfExpr*) override;
   Result EndIfExpr(IfExpr*) override;
-  Result BeginIfExceptExpr(IfExceptExpr*) override;
-  Result AfterIfExceptTrueExpr(IfExceptExpr*) override;
-  Result EndIfExceptExpr(IfExceptExpr*) override;
   Result OnLoadExpr(LoadExpr*) override;
   Result OnLocalGetExpr(LocalGetExpr*) override;
   Result OnLocalSetExpr(LocalSetExpr*) override;
@@ -677,33 +674,6 @@ Result Validator::EndIfExpr(IfExpr* expr) {
   return Result::Ok;
 }
 
-Result Validator::BeginIfExceptExpr(IfExceptExpr* expr) {
-  expr_loc_ = &expr->loc;
-  CheckBlockDeclaration(&expr->loc, Opcode::IfExcept, &expr->true_.decl);
-  const Exception* except;
-  TypeVector except_sig;
-  if (Succeeded(CheckExceptVar(&expr->except_var, &except))) {
-    except_sig = except->sig;
-  }
-  typechecker_.OnIfExcept(expr->true_.decl.sig.param_types,
-                          expr->true_.decl.sig.result_types, except_sig);
-  return Result::Ok;
-}
-
-Result Validator::AfterIfExceptTrueExpr(IfExceptExpr* expr) {
-  if (!expr->false_.empty()) {
-    typechecker_.OnElse();
-  }
-  return Result::Ok;
-}
-
-Result Validator::EndIfExceptExpr(IfExceptExpr* expr) {
-  expr_loc_ =
-      expr->false_.empty() ? &expr->true_.end_loc : &expr->false_end_loc;
-  typechecker_.OnEnd();
-  return Result::Ok;
-}
-
 Result Validator::OnLoadExpr(LoadExpr* expr) {
   expr_loc_ = &expr->loc;
   CheckHasMemory(&expr->loc, expr->opcode);
@@ -1531,12 +1501,6 @@ class Validator::CheckFuncSignatureExprVisitorDelegate
     return Result::Ok;
   }
 
-  Result BeginIfExceptExpr(IfExceptExpr* expr) override {
-    validator_->CheckBlockDeclaration(&expr->loc, Opcode::IfExcept,
-                                      &expr->true_.decl);
-    return Result::Ok;
-  }
-
   Result BeginLoopExpr(LoopExpr* expr) override {
     validator_->CheckBlockDeclaration(&expr->loc, Opcode::Loop,
                                       &expr->block.decl);