[PATCH] D75054: [SCCP] Use ANDs to limit the range of result with overdef operand.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: davide, efriedma, mssimpso.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.

If one of the operands of an AND is overdefined and the other is
a constant range, the range of the result is limited by the range.

Note that without resolving the way undefs are handled, we generate
invalid code for some functions in the test.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D75054

Files:
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/test/Transforms/SCCP/range-and.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D75054.246216.patch
Type: text/x-patch
Size: 5080 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200224/fb379427/attachment.bin>