[PATCH] D71935: [SCCP] Use constant ranges for select, if cond is overdefined.

[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.

For selects with an unknown condition, we can approximate the result by
merging the state of both options. This automatically takes care of
the case where on operand is undef.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D71935

Files:
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/test/Transforms/SCCP/ip-ranges-select.ll
  llvm/test/Transforms/SCCP/select.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D71935.235427.patch
Type: text/x-patch
Size: 5108 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191227/ff07573f/attachment.bin>