chore: remove mention of sroa inside of docs

Author: indietyp

libs/@local/hashql/mir/src/pass/analysis/callgraph/mod.rs

@@ -33,8 +33,8 @@
 //! `_1 = @fn; _2 = _1(...)`) produce an [`Opaque`] edge at the assignment site, not an
 //! [`Apply`] edge at the call site.
 //!
-//! This is intentional: the analysis is designed to run after SROA, which propagates function
-//! references through locals, eliminating most indirect call patterns.
+//! This is intentional: the analysis is designed to run after forward substitution, which
+//! propagates function references through locals, eliminating most indirect call patterns.
 //!
 //! [`Opaque`]: CallKind::Opaque
 //! [`DataDependencyAnalysis`]: super::DataDependencyAnalysis

libs/@local/hashql/mir/src/pass/transform/inst_simplify/mod.rs

@@ -68,13 +68,14 @@
 //!
 //! # Interaction with Other Passes
 //!
-//! This pass runs after [`Sroa`], which resolves places through the data dependency graph. SROA
-//! ensures that operands are simplified to their canonical forms before [`InstSimplify`] runs, so
-//! constants that flow through assignments or block parameters are already exposed.
+//! This pass runs after [`ForwardSubstitution`], which resolves places through the data dependency
+//! graph. Forward substitution ensures that operands are simplified to their canonical forms before
+//! [`InstSimplify`] runs, so constants that flow through assignments or block parameters are
+//! already exposed.
 //!
-//! Block parameter propagation in this pass complements SROA: while SROA resolves structural
-//! dependencies at the operand level, [`InstSimplify`] propagates constants discovered through
-//! folding across block boundaries.
+//! Block parameter propagation in this pass complements forward substitution: while forward
+//! substitution resolves structural dependencies at the operand level, [`InstSimplify`] propagates
+//! constants discovered through folding across block boundaries.
 //!
 //! # Limitations
 //!
@@ -84,7 +85,7 @@
 //! iterating until the `evaluated` map stabilizes, which is not implemented as the expected
 //! benefit is low.
 //!
-//! [`Sroa`]: super::Sroa
+//! [`ForwardSubstitution`]: super::ForwardSubstitution
 #[cfg(test)]
 mod tests;
 
@@ -460,7 +461,8 @@ impl<'heap, A: Allocator> VisitorMut<'heap> for InstSimplifyVisitor<'_, 'heap, A
         Binary { op, left, right }: &mut Binary<'heap>,
     ) -> Self::Result<()> {
         // Dispatch to the appropriate simplification based on operand classification.
-        // SROA has already resolved structural dependencies, so constants are directly visible.
+        // Forward substitution has already resolved structural dependencies, so constants are
+        // directly visible.
         match (self.try_eval(*left), self.try_eval(*right)) {
             (OperandKind::Int(lhs), OperandKind::Int(rhs)) => {
                 let result = Self::eval_bin_op(lhs, *op, rhs);