From d5b21ef96bb9e4824b4651bfcf25a42465767a78 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Wed, 18 Oct 2023 16:41:10 +0000 Subject: [PATCH] Explicit notation. --- compiler/rustc_mir_transform/src/jump_threading.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs index 701d03de1a20..5f0e7fcf2d28 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.