[PATCH] D81544: Fix pr45686

[JunMa via Phabricator via llvm-commits]

junparser created this revision.
junparser added reviewers: lebedev.ri, fhahn, nikic, reames, efriedma.
junparser added a project: LLVM.
Herald added subscribers: llvm-commits, hiraditya.

This patch fix regression showed in https://bugs.llvm.org/show_bug.cgi?id=45686. 
It improved LVI in two ways: 1) analysis value in entry block. 2) combine assumptions with value range when solve selectInst in solveBlockValueSelect

TestPlan: check-llvm


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D81544

Files:
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll
  llvm/test/Transforms/CorrelatedValuePropagation/non-null.ll
  llvm/test/Transforms/JumpThreading/assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D81544.269768.patch
Type: text/x-patch
Size: 4899 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200610/1b02ed54/attachment.bin>