Fixed formatter for branch opcodes

0xPolygonMiden · Sep 20, 2023 · 8bf5c3b · 8bf5c3b
1 parent 62598b1
commit 8bf5c3b
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/hir/src/write.rs b/hir/src/write.rs
@@ -178,21 +178,13 @@ fn write_operands(w: &mut dyn Write, dfg: &DataFlowGraph, inst: Inst) -> fmt::Re
             write_block_args(w, else_dest.1.as_slice(pool))
         }
         Instruction::Br(Br {
-            op,
             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, ..
         }) => {