[PATCH] D25706: [ScopInfo] Generate runtime alias check for non-affine memory references.

Johannes Doerfert via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 18 14:58:35 PDT 2016

jdoerfert added a comment.

In https://reviews.llvm.org/D25706#573332, @efriedma wrote:

> We ran into a case similar to the included testcase, where we need to generate a runtime alias check with a memset in order to vectorize a loop.  (memset isn't really non-affine, but we currently model it that way.)

Why don't we then treat a memset/memcpy/memmove with affine length as affine access instead?
E.g. replace the "false" in ScopBuilder.cpp line 279 and 300 with "LengthIsAffine"?



More information about the llvm-commits mailing list