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

[silviu.baranga at arm.com]

Fixed a number of spelling errors, missed doxygen tags and out of date comments
(according to the review). Also added further comments to explain why we don't
want to break from the loop nest when reaching the maximum number of comparisons
(we want to break only from the inner loop).

Renamed CheckGroups to CheckingGroups.

We are now using std::copy to add the newly computed CheckingPtrGroups to the
global solution. Also replaced the inner loop with a range-based loop.

Modified the printing of the memchecks to separate the groups withing each
memcheck. The new format looks like:

  Check 0:
     Comparing group 0:
       ....
     Against group 1:
       ....
  Check 1:

etc

Updated the tests to use this new format.


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

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10386.28657.patch
Type: text/x-patch
Size: 25312 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150629/b6850ed4/attachment.bin>