| commit | f69d0e3384e19fb74556bcb1b9c3919a01474440 | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Fri Sep 18 21:21:02 2015 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Fri Sep 18 21:21:02 2015 +0000 |
| tree | 31d0e6e240ba9a05d350f6eda61336bdbc5bf9e2 | |
| parent | e8d1c59756d93e0d9ad95ccaa984a50b54e9ece7 [diff] |
[IndVars] Widen more comparisons for non-negative induction vars Summary: 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) Reviewers: atrick, mcrosier, hfinkel Subscribers: hfinkel, reames, llvm-commits Differential Revision: http://reviews.llvm.org/D12745 llvm-svn: 248045