[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 01:30:31 PDT 2016
jdoerfert added a comment.
While I agree with the commit message, I am not aware of any real benefit this will provide us given that we only leverage the constant range ScalarEvolution range analysis. If we would use a better one, e.g., along the lines of https://reviews.llvm.org/D20230, I think this patch does make sense.
This opinion was basically written down in the code:
// Check if we have non-affine accesses left, if so bail out as we cannot
// generate a good access range yet.
More information about the llvm-commits