[llvm] r219135 - [BasicAA] Revert "Revert r218714 - Make better use of zext and sign information."

[Nicholas White]

I've added this test case and the fix to http://reviews.llvm.org/D5866 .
Hal - I had to remove the allPositive loop condition you added as we should
check every GEPVariable to see if it changes values across loop iterations
(!isValueEqualInPotentialCycles). If any variables do change non of the
analysis in that code block can be used, as it is only valid for the
current loop iteration. Thanks -

Nick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141020/607005db/attachment.html>