https://github.com/Meinersbur commented: To be clear: I don't yet think this is worth integrating for a special case of loop fusion, especially if we don't even have the corresponding PR that makes use of this yet. https://github.com/llvm/llvm-project/pull/128782