[PATCH] D83643: [SCCP] Propagate inequalities

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 280677.
nikic added a comment.

Restrict patch to MayIncludeUndef=false, which is metadata and assumes, but not comparisons. This puts the basic machinery in place, and will get fully enabled once the MayIncludeUndef flag for branches gets flipped.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83643/new/

https://reviews.llvm.org/D83643

Files:
  llvm/include/llvm/Analysis/ValueLattice.h
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/test/Transforms/SCCP/assume.ll
  llvm/test/Transforms/SCCP/metadata.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D83643.280677.patch
Type: text/x-patch
Size: 6877 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200725/c447bf6a/attachment.bin>