fix: handle missing Instruction::Switch in jump destination changes

Add `Instruction::Switch` in destination branch argument appending with
panic since we don't support block arguments in `Switch` instruction.

frontend-wasm/src/function_builder_ext.rs

@@ -355,6 +355,21 @@ impl<'a> FunctionBuilderExt<'a> {
                     *else_dest = new_block;
                 }
             }
+            Instruction::Switch(Switch {
+                op: _,
+                arg: _,
+                ref mut arms,
+                ref mut default,
+            }) => {
+                for (_, ref mut dest_block) in arms {
+                    if dest_block == &old_block {
+                        *dest_block = new_block;
+                    }
+                }
+                if default == &old_block {
+                    *default = new_block;
+                }
+            }
             _ => panic!("{} must be a branch instruction", inst),
         }
         self.func_ctx.ssa.declare_block_predecessor(new_block, inst);

hir/src/dataflow.rs

@@ -647,6 +647,14 @@ impl DataFlowGraph {
                     else_args.push(value, &mut self.value_lists);
                 }
             }
+            Instruction::Switch(Switch {
+                op: _,
+                arg: _,
+                arms: _,
+                default: _,
+            }) => {
+                panic!("cannot append argument {value} to Switch destination block {dest}, since it has no block arguments support");
+            }
             _ => panic!("{} must be a branch instruction", branch_inst),
         }
     }