[PATCH] D12745: [IndVars] Widen more comparisons for non-negative induction vars.

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added reviewers: mcrosier, atrick.
sanjoy added a subscriber: llvm-commits.

If an induction variable is provably non-negative, its sign extension is
equal to its zero extension.  This means narrow uses like

  icmp slt iNarrow %indvar, %rhs

can be widened into

  icmp slt iWide zext(%indvar), sext(%rhs)

http://reviews.llvm.org/D12745

Files:
  lib/Transforms/Scalar/IndVarSimplify.cpp
  test/Transforms/IndVarSimplify/widen-loop-comp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12745.34395.patch
Type: text/x-patch
Size: 4037 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150910/c1a2292c/attachment.bin>