I got some other examples to require multiple scalar replacement passes, so I opened up an issue about it: mlir: AffineScalarReplacement Pass does not remove all redundant loads · Issue #62639 · llvm/llvm-project · GitHub.
1 Like