Document Condition.

cjgillot · cjgillot · commit 31ba6e9868c1 · 2023-10-20T14:54:31.000Z
diff --git 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,

Original file line number	Diff line number	Diff line change
`@@ -146,6 +146,8 @@ struct TOFinder<'tcx, 'a> {`
`146`	`146`	`opportunities: Vec<ThreadingOpportunity>,`
`147`	`147`	`}`
`148`	`148`
	`149`	`+/// Represent the following statement. If we can prove that the current local is equal/not-equal`
	`150`	+/// to `value`, jump to `target`.
`149`	`151`	`#[derive(Copy, Clone, Debug)]`
`150`	`152`	`struct Condition {`
`151`	`153`	`value: ScalarInt,`