diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-17 18:45:48 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-21 07:03:23 +0000 |
| commit | 98b86fa9e5f6edfc696ce80e2b8ca33b73249031 (patch) | |
| tree | f3490c0930fdbb247af414be4fbb9cda39cd1720 | |
| parent | 47056248e5289e74252cf501a0e32f336f5a9a04 (diff) | |
| download | rust-98b86fa9e5f6edfc696ce80e2b8ca33b73249031.tar.gz rust-98b86fa9e5f6edfc696ce80e2b8ca33b73249031.zip | |
Document Condition.
| -rw-r--r-- | compiler/rustc_mir_transform/src/jump_threading.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index bb8259d0709..701d03de1a2 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, |