chore(ssa): Replace JmpIf with BrIf (#1193)

* chore(ssa): Replace JmpIf with BrIf * chore(ssa): doc tweak Co-authored-by: kevaundray <kevtheappdev@gmail.com> * chore(ssa): cargo fmt * chore(ssa): rename BrIf -> JmpIf --------- Co-authored-by: kevaundray <kevtheappdev@gmail.com>
noir-lang · Apr 21, 2023 · 7f8d2c2 · 7f8d2c2
1 parent 3d2233d
commit 7f8d2c2
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs b/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
@@ -128,10 +128,14 @@ pub(crate) enum TerminatorInstruction {
     ///
     /// Jump If
     ///
-    /// Jumps to the specified `destination` with
-    /// arguments, if the condition
-    /// if the condition is true.
-    JmpIf { condition: ValueId, destination: BasicBlockId, arguments: BlockArguments },
+    /// If the condition is true: jump to the specified `then_destination` with `arguments`.
+    /// Otherwise, jump to the specified `else_destination` with `arguments`.
+    JmpIf {
+        condition: ValueId,
+        then_destination: BasicBlockId,
+        else_destination: BasicBlockId,
+        arguments: BlockArguments,
+    },
     /// Unconditional Jump
     ///
     /// Jumps to specified `destination` with `arguments`