[PATCH] D10386: [LAA] Merge memchecks for accesses separated by a constant offset

[silviu.baranga at arm.com]

Updated the memcheck grouping algorithm to only use DepCands
if DepCands have been computed. If not, make a separate group
for each pointer. Previously we were using DepCands even when
DepCands wasn't available, and this could have produced
incorrect results.

This should also fixes the algorithm for the case of unknown
dependencies: in this case, we will retry to group pointers
without using dependencies, and create a separate group for
each pointer.


http://reviews.llvm.org/D10386

Files:
  include/llvm/Analysis/LoopAccessAnalysis.h
  lib/Analysis/LoopAccessAnalysis.cpp
  test/Analysis/LoopAccessAnalysis/number-of-memchecks.ll
  test/Analysis/LoopAccessAnalysis/resort-to-memchecks-only.ll
  test/Analysis/LoopAccessAnalysis/unsafe-and-rt-checks.ll
  test/Transforms/LoopDistribute/basic-with-memchecks.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10386.29085.patch
Type: text/x-patch
Size: 27809 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150706/48510a65/attachment.bin>