| commit | 86a7a75334a7a8451af38b7eb2585a1d563ddc98 | [log] [tgz] |
|---|---|---|
| author | Nikita Popov <nikita.ppv@gmail.com> | Wed Apr 14 19:37:47 2021 +0200 |
| committer | Copybara-Service <copybara-worker@google.com> | Fri Apr 16 12:45:01 2021 -0700 |
| tree | bf8423bfc1e4a15b2776d6005b7dbfa8c9a4df0a | |
| parent | ae0c121f5710c1a9698f78abce63a0783569d92b [diff] |
[ValueTracking] Don't require strictly positive for mul nsw recurrence Just like in the mul nuw case, it's sufficient that the step is non-zero. If the step is negative, then the values will jump between positive and negative, "crossing" zero, but the value of the recurrence is never actually zero. GitOrigin-RevId: 0d91075f772d3f0e2cf6449b534a726d4d944c62