commit | 79c45a39542b9d62811482b9cc96d7f4429f7d15 | [log] [tgz] |
---|---|---|
author | James Molloy <james.molloy@arm.com> | Tue Sep 29 14:08:45 2015 +0000 |
committer | James Molloy <james.molloy@arm.com> | Tue Sep 29 14:08:45 2015 +0000 |
tree | 3d4d5e6dbb19487c69313c10a2cd428aa45d1ae4 | |
parent | f5f9e9a3bfa0c7142b7be5027355ffa819b94ac6 [diff] |
[ValueTracking] Teach isKnownNonZero about monotonically increasing PHIs If a PHI starts at a non-negative constant, monotonically increases (only adds of a constant are supported at the moment) and that add does not wrap, then the PHI is known never to be zero. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@248796 91177308-0d34-0410-b5e6-96231b3b80d8