[PATCH] D34431: [LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ANDs of icmps

Craig Topper via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 20 17:04:37 PDT 2017


craig.topper created this revision.

LVI can reason about an AND of icmps on the true dest of a branch. I believe we can do similar for the false dest of ORs. This allows us to get the same answer for the demorganed versions of some of the AND test cases as you can see.


https://reviews.llvm.org/D34431

Files:
  lib/Analysis/LazyValueInfo.cpp
  test/Transforms/CorrelatedValuePropagation/add.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34431.103295.patch
Type: text/x-patch
Size: 3397 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170621/1fab4495/attachment.bin>


More information about the llvm-commits mailing list