diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-18 16:41:10 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-10-21 07:08:53 +0000 |
| commit | d5b21ef96bb9e4824b4651bfcf25a42465767a78 (patch) | |
| tree | f735c993086c76842b66d8cd2e3fae00b4bfdb0a | |
| parent | 6abd8f119e48c707488a545cf2fc0614d7dc433c (diff) | |
| download | rust-d5b21ef96bb9e4824b4651bfcf25a42465767a78.tar.gz rust-d5b21ef96bb9e4824b4651bfcf25a42465767a78.zip | |
Explicit notation.
| -rw-r--r-- | compiler/rustc_mir_transform/src/jump_threading.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index 701d03de1a2..5f0e7fcf2d2 100644 --- a/compiler/rustc_mir_transform/src/jump_threading.rs +++ b/compiler/rustc_mir_transform/src/jump_threading.rs @@ -17,6 +17,10 @@ //! if assigning anything different from `value` to `place` turns the `SwitchInt` //! into `Goto { target }`. //! +//! In this file, we denote as `place ?= value` the existence of a replacement condition +//! on `place` with given `value`, irrespective of the polarity and target of that +//! replacement condition. +//! //! We then walk the CFG backwards transforming the set of conditions. //! When we find a fulfilling assignment, we record a `ThreadingOpportunity`. //! All `ThreadingOpportunity`s are applied to the body, by duplicating blocks if required. |