| commit | c01b4d2b28184d0a9efee934c8a5b7aab57984ab | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Fri Nov 06 19:01:03 2015 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Fri Nov 06 19:01:03 2015 +0000 |
| tree | fdd6313ad25e0502f572b34f09b6b674bfa5b44f | |
| parent | 9349dcc74a10f3056639b455d56288e62e23f13c [diff] |
[ValueTracking] De-pessimize isImpliedCondition around unsigned compares Summary: Currently `isImpliedCondition` will optimize "I +_nuw C < L ==> I < L" only if C is positive. This is an unnecessary restriction -- the implication holds even if `C` is negative. Reviewers: reames, majnemer Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D14369 llvm-svn: 252332