diff options
| author | James Molloy <james.molloy@arm.com> | 2015-09-29 14:08:45 +0000 |
|---|---|---|
| committer | James Molloy <james.molloy@arm.com> | 2015-09-29 14:08:45 +0000 |
| commit | 897048bee397d820e7b779bc018a0f7b03086e66 (patch) | |
| tree | 1bd5204b296f033ba6fa18577440fb50c8b6701e /clang/lib/Analysis/PrintfFormatString.cpp | |
| parent | be901e2dbc9e1111e1265f00df4c084a5ceee4ef (diff) | |
| download | bcm5719-llvm-897048bee397d820e7b779bc018a0f7b03086e66.tar.gz bcm5719-llvm-897048bee397d820e7b779bc018a0f7b03086e66.zip | |
[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.
llvm-svn: 248796
Diffstat (limited to 'clang/lib/Analysis/PrintfFormatString.cpp')
0 files changed, 0 insertions, 0 deletions
