[PATCH] D105879: Refine logic of MaskedElementsAreZero

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added a comment.

Please do you have a test case to reproduce the issue you encountered?

MaskedElementsAreZero should only be called for vector types, although I failed to add an assert to ensure that.

The SelectionDAG valuetracking code doesn't handle individual vector elements, it just analyses the common bits of all the vector elements specified in the DemandedElts mask - if you really need to determine the known bits of every vector element you need to call computeKnownBits for every element, demanding just that element index.


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

https://reviews.llvm.org/D105879