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

Sanjoy Das via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 9 18:07:43 PDT 2015

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)



-------------- 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>

More information about the llvm-commits mailing list