[PATCH] D102834: [SLPVectorizer] WIP Implement initial memory versioning (WIP!)

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In D102834#2771002 <https://reviews.llvm.org/D102834#2771002>, @ABataev wrote:

> How about emitting proper aliasing metadata in the generated basicblocks? It should solve many problems with the SLP without extra changes and may help some other passes too. I mean, memaccesses in `entry.slpversioned:` should be noaliased and in `entry.scalar:` maybe aliased.

That sounds like a good idea! The question is how to best decide for which accesses to generate RT checks. At the moment, I think that's only possible for the first vectorizable tree per BB we generate code for. Is it easy to get the first and last instruction in a vectorizable tree? Then we could just clone this range.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D102834/new/

https://reviews.llvm.org/D102834