[PATCH] D55297: [DemandedBits][BDCE] Support vectors of integers

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 177197.
nikic added a comment.

Remove the requirement that the instruction passed to getDemandedBits() must have integer or vector of integer type. While the analysis only deals with these instructions, it is more convenient for consuming code to not have type restrictions.

Add a LoopVectorize test case which triggered an assertion with the previous implementation, as it called getDemandedBits() on a pointer-typed instruction.


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

https://reviews.llvm.org/D55297

Files:
  include/llvm/Analysis/DemandedBits.h
  lib/Analysis/DemandedBits.cpp
  lib/Transforms/Scalar/BDCE.cpp
  test/Analysis/DemandedBits/vectors.ll
  test/Transforms/BDCE/vectors.ll
  test/Transforms/LoopVectorize/demanded-bits-of-pointer-instruction.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D55297.177197.patch
Type: text/x-patch
Size: 20167 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20181207/5cfaab1b/attachment-0001.bin>