[PATCH] D25738: [IndVarSimplify] Use control-dependent range information to prove non-negativity

[Artur Pilipenko via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL284629: [IndVarSimplify] Use control-dependent range information to prove non-negativity (authored by apilipenko).

Changed prior to commit:
  https://reviews.llvm.org/D25738?vs=75136&id=75191#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D25738

Files:
  llvm/trunk/lib/Transforms/Scalar/IndVarSimplify.cpp
  llvm/trunk/test/Transforms/IndVarSimplify/post-inc-range.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25738.75191.patch
Type: text/x-patch
Size: 12540 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161019/38e1539a/attachment.bin>