[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