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

[Adam Nemet]

Ping

> On Jun 17, 2015, at 4:22 PM, Adam Nemet <anemet at apple.com> wrote:
> 
> 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/
> <D10472.27890.patch>