[PATCH] D76611: [SCCP] Use ranges for predicate info conditions.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 254185.
fhahn added a comment.

Rebased after adding constantrange_including_undef to ValueLattice.

I think we can create ranges that do not include undef from branch conditions given the recent clarification to the langref. I update the code to make that explicit and added a comment on the reasoning behind it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76611

Files:
  llvm/lib/Transforms/Scalar/SCCP.cpp
  llvm/test/Transforms/SCCP/conditions-ranges-with-undef.ll
  llvm/test/Transforms/SCCP/conditions-ranges.ll
  llvm/test/Transforms/SCCP/ip-constant-ranges.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76611.254185.patch
Type: text/x-patch
Size: 17619 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200401/bda6a8fc/attachment.bin>