commit c3432bbec01a6b72374b95f721e936969d4a04a8
author Camille Gillot <gillot.camille@gmail.com> Thu Oct 09 11:51:17 2025 +0000
committer Camille Gillot <gillot.camille@gmail.com> Thu Oct 09 11:51:17 2025 +0000
tree d288c16f3692f9acf1e12bba0cbf57f7a875e175
parent 2533f78d62dfdaec52b77d37167bba246e211378

Explicit comment.

compiler/rustc_mir_transform/src/lib.rs

diff --git a/compiler/rustc_mir_transform/src/lib.rs b/compiler/rustc_mir_transform/src/lib.rs
index acf5a5c..f4f61c8 100644
--- a/compiler/rustc_mir_transform/src/lib.rs
+++ b/compiler/rustc_mir_transform/src/lib.rs
@@ -699,8 +699,8 @@ fn o1<T>(x: T) -> WithMinOptLevel<T> {
             &o1(simplify::SimplifyCfg::AfterUnreachableEnumBranching),
             &multiple_return_terminators::MultipleReturnTerminators,
             // After simplifycfg, it allows us to discover new opportunities for peephole
-            // optimizations. This invalidates CFG caches, so avoid putting between two SSA
-            // analyses.
+            // optimizations. This invalidates CFG caches, so avoid putting between
+            // `ReferencePropagation` and `GVN` which both use the dominator tree.
             &instsimplify::InstSimplify::AfterSimplifyCfg,
             &ref_prop::ReferencePropagation,
             &sroa::ScalarReplacementOfAggregates,