[PATCH] D23176: [LoopVectorizer] Fixed a bug in memory conflict run-time check

[Elena Demikhovsky via llvm-commits]

delena updated this revision to Diff 67147.
delena added a comment.

1. Added a test that triggers the bug.
2. Added a comment that explains how the bounds are being calculated.
3. Changed condition from ( abs(p1 - p2) >= bound ) to ( abs(p1 - p2) > bound ).


Repository:
  rL LLVM

https://reviews.llvm.org/D23176

Files:
  ../lib/Analysis/LoopAccessAnalysis.cpp
  ../test/Analysis/LoopAccessAnalysis/memcheck-off-by-one-error.ll
  ../test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
  ../test/Analysis/LoopAccessAnalysis/reverse-memcheck-bounds.ll
  ../test/Transforms/LoopVectorize/runtime-check-readonly.ll
  ../test/Transforms/LoopVectorize/tbaa-nodep.ll
  ../test/Transforms/LoopVersioningLICM/loopversioningLICM1.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23176.67147.patch
Type: text/x-patch
Size: 11136 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160808/ce3b4ca0/attachment-0001.bin>