From 98b86fa9e5f6edfc696ce80e2b8ca33b73249031 Mon Sep 17 00:00:00 2001
From: Camille GILLOT <gillot.camille@gmail.com>
Date: Tue, 17 Oct 2023 18:45:48 +0000
Subject: [PATCH] Document Condition.

---
 compiler/rustc_mir_transform/src/jump_threading.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs
index bb8259d07094..701d03de1a20 100644
--- a/compiler/rustc_mir_transform/src/jump_threading.rs
+++ b/compiler/rustc_mir_transform/src/jump_threading.rs
@@ -146,6 +146,8 @@ struct TOFinder<'tcx, 'a> {
     opportunities: Vec<ThreadingOpportunity>,
 }
 
+/// Represent the following statement. If we can prove that the current local is equal/not-equal
+/// to `value`, jump to `target`.
 #[derive(Copy, Clone, Debug)]
 struct Condition {
     value: ScalarInt,