[PATCH] [LAA] Try to prove non-wrapping of pointers if SCEV cannot

[Adam Nemet]

Updated to only check NSW when analyzing the (signed) index.

Also added a FIXME for what I think is a pre-existing problem with the code.


http://reviews.llvm.org/D10472

Files:
  lib/Analysis/LoopAccessAnalysis.cpp
  test/Analysis/LoopAccessAnalysis/non-wrapping-pointer.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10472.27890.patch
Type: text/x-patch
Size: 4104 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150617/b5e41f52/attachment.bin>