[PATCH] D40617: [LV] Interleaved access vectorization: fix computing new alias info

[Adam Nemet via Phabricator via llvm-commits]

anemet added inline comments.


================
Comment at: lib/Transforms/Vectorize/LoopVectorize.cpp:952
+                   [](std::pair<int, Instruction *> p) { return p.second; });
+    propagateMetadata(NewInst, VL);
+  }
----------------
mkuper wrote:
> InnerLoopVectorizer::addMetadata() also calls addNewMetadata(), while this doesn't.
> Is that intentional?
Yes, it is intentional.  addNewMetadata adds noalias metadata based on the inserted memchecks.  We need a way to aggregate that information from several accesses as well.

I can add a FIXME that we don't propagate this information currently.  This is conservatively correct.


https://reviews.llvm.org/D40617