]> granicus.if.org Git - llvm/commit
Merging r279930:
authorTom Stellard <thomas.stellard@amd.com>
Wed, 23 Nov 2016 17:26:28 +0000 (17:26 +0000)
committerTom Stellard <thomas.stellard@amd.com>
Wed, 23 Nov 2016 17:26:28 +0000 (17:26 +0000)
commit1d63d1c34ec395c1ef22feebe3d20cbeca1b05b5
treeb7cd5788722b43a00738d64e0cb0aa11f48f7209
parentecc0989ad557613f2e72527eb13e8b064b8d44fe
Merging r279930:

------------------------------------------------------------------------
r279930 | elena.demikhovsky | 2016-08-28 01:53:53 -0700 (Sun, 28 Aug 2016) | 7 lines

[Loop Vectorizer] Fixed memory confilict checks.

Fixed a bug in run-time checks for possible memory conflicts inside loop.
The bug is in Low <-> High boundaries calculation. The High boundary
should be calculated as "last memory access pointer + element size".

Differential revision: https://reviews.llvm.org/D23176

------------------------------------------------------------------------

git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_39@287779 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopAccessAnalysis.h
lib/Analysis/LoopAccessAnalysis.cpp
test/Analysis/LoopAccessAnalysis/memcheck-off-by-one-error.ll [new file with mode: 0644]
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