[PATCH] D76596: Backport 4878aa36d4a [ValueLattice] Add new state for undef constants.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.

NOTE: I mostly put it on Phabricator to make it easy for other people to fetch & check if that fixes a bug.

This patch backports 4878aa36d4a <https://reviews.llvm.org/rG4878aa36d4aa27df644430139fab2734fde4a000> and required earlier patches onto
the release/10.x branch.

It includes the following patches:

aa5ebfdf205de6d599c1fed3161da3b63b6f0bef <https://reviews.llvm.org/rGaa5ebfdf205de6d599c1fed3161da3b63b6f0bef> [ValueLattice] Make mark* functions public, return if value changed.

c1943b42c5b7feff5d0e0c1358d02889e2be165f <https://reviews.llvm.org/rGc1943b42c5b7feff5d0e0c1358d02889e2be165f> [ValueLattice] Update markConstantRange to return false equal ranges.

e30c257811f62fea21704caa961c61e4559de202 <https://reviews.llvm.org/rGe30c257811f62fea21704caa961c61e4559de202> [CVP,SCCP] Precommit test for D75055 <https://reviews.llvm.org/D75055>.

4878aa36d4aa27df644430139fab2734fde4a000 <https://reviews.llvm.org/rG4878aa36d4aa27df644430139fab2734fde4a000> [ValueLattice] Add new state for undef constants.

All patches except the last one apply cleanly. For the last one, the
changes to SCCP.cpp were stripped, because SCCP does not yet use
ValueLattice on release/10.x. Otherwise we would have to pull in more
additional changes.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D76596

Files:
  llvm/include/llvm/Analysis/ValueLattice.h
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/lib/Analysis/ValueLattice.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/merge-range-and-undef.ll
  llvm/test/Transforms/JumpThreading/ne-undef.ll
  llvm/test/Transforms/SCCP/float-phis.ll
  llvm/test/Transforms/SCCP/int-phis.ll
  llvm/test/Transforms/SCCP/range-and-ip.ll
  llvm/test/Transforms/SCCP/range-and.ll
  llvm/unittests/Analysis/ValueLatticeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76596.251978.patch
Type: text/x-patch
Size: 38671 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200323/b4b68630/attachment.bin>