forked from OSchip/llvm-project
897048bee3
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 |
||
---|---|---|
.. | ||
assume.ll | ||
dom-cond.ll | ||
knownzero-shift.ll | ||
memory-dereferenceable.ll | ||
monotonic-phi.ll | ||
pr23011.ll | ||
pr24866.ll |