[llvm] [LoopVersioningLICM] Only mark pointers with generated checks as noalias (PR #135168)

John Brawn via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 22 09:48:57 PDT 2025


john-brawn-arm wrote:

> Would it help to use https://github.com/llvm/llvm-project/blob/main/llvm/include/llvm/Transforms/Utils/LoopVersioning.h#L100 here?

Yes, it looks like that would let us remove LoopVersioningLICM::setNoAliasToLoop. The alias metadata that's generated is slightly different, though it looks like it's more precise - rather than generating a single alias.scope that the loads/stores don't alias, we instead have two alias.scope which don't alias each other. 

https://github.com/llvm/llvm-project/pull/135168


More information about the llvm-commits mailing list