[PATCH] D75120: [ValueLattice] Add new state for undef constants.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 249718.
fhahn marked 2 inline comments as done.
fhahn added a comment.

Add test case where LVI uses getNot(undef). Add comment it should be fine to assume undef from x != undef. Alive seems to agree  (I would post a link, but rise4fun.com is terrible slow to respond)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75120

Files:
  llvm/include/llvm/Analysis/ValueLattice.h
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/lib/Analysis/ValueLattice.cpp
  llvm/lib/Transforms/Scalar/SCCP.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.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D75120.249718.patch
Type: text/x-patch
Size: 22047 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200311/ed8d152f/attachment.bin>