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

[Johannes Doerfert via llvm-commits]

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"?


Repository:
  rL LLVM

https://reviews.llvm.org/D25706