[PATCH] D72423: [DemandedBits] Improve accuracy of Add propagator

[Erika via Phabricator via llvm-commits]

rrika updated this revision to Diff 252731.
rrika added a comment.

Changes:

- The test no longer builds a temporary IR. The propagator is instead exposed as a static member function on llvm::DemandedBits.
- The propagator now also recognizes a pair of one bits as blocking carry.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D72423

Files:
  llvm/include/llvm/Analysis/DemandedBits.h
  llvm/lib/Analysis/DemandedBits.cpp
  llvm/test/Analysis/DemandedBits/add.ll
  llvm/unittests/IR/CMakeLists.txt
  llvm/unittests/IR/DemandedBitsTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D72423.252731.patch
Type: text/x-patch
Size: 9615 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200326/699db373/attachment.bin>