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

[Elena Demikhovsky via llvm-commits]

delena created this revision.
delena added reviewers: mkuper, anemet, sbaranga, Ayal.
delena added a subscriber: llvm-commits.
delena set the repository for this revision to rL LLVM.
Herald added a subscriber: mzolotukhin.

The bug is in Low <-> High boundaries calculation. The High boundary should be "last memory access pointer + element size". 

(It may be "last memory access pointer + element size -1", since we use "<=" in bounds condition)

Repository:
  rL LLVM

https://reviews.llvm.org/D23176

Files:
  ../lib/Analysis/LoopAccessAnalysis.cpp
  ../test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
  ../test/Analysis/LoopAccessAnalysis/reverse-memcheck-bounds.ll
  ../test/Transforms/LoopVersioningLICM/loopversioningLICM1.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23176.66844.patch
Type: text/x-patch
Size: 5682 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160804/737956bd/attachment.bin>