artagnon wrote: I apologize for the sloppiness in the first version of this patch. I was experimenting with making functional changes to `analyzeLoop`, and extracted the NFC patch out of the failed experiment without cleaning it up. https://github.com/llvm/llvm-project/pull/93824