diff --git a/hir/src/write.rs b/hir/src/write.rs index a062f188..89beafd3 100644 --- a/hir/src/write.rs +++ b/hir/src/write.rs @@ -182,17 +182,10 @@ fn write_operands(w: &mut dyn Write, dfg: &DataFlowGraph, inst: Inst) -> fmt::Re destination, args, .. - }) if *op == Opcode::Br => { + }) => { write!(w, " {}", destination)?; write_block_args(w, args.as_slice(pool)) } - Instruction::Br(Br { - destination, args, .. - }) => { - let args = args.as_slice(pool); - write!(w, " {}, {}", args[0], destination)?; - write_block_args(w, &args[1..]) - } Instruction::Switch(Switch { arg, arms, default, .. }) => {