[PATCH] D128159: [DAG] Enable scalable vectors handling in computeKnownBits

[Dave Green via Phabricator via llvm-commits]

dmgreen updated this revision to Diff 438728.
dmgreen marked an inline comment as done.
dmgreen edited the summary of this revision.
dmgreen added a comment.

For now this shores up the meaning of DemandedElts a little - making it always getVectorMinNumElements and assert that it is always all-ones.

I have versions of this patch for ComputeNumSignBits and SimplifyDemandedBits (and some patches on top), but have not sent them for review until we can work through how DemandedElts would work for scalable vectors.


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

https://reviews.llvm.org/D128159

Files:
  llvm/include/llvm/CodeGen/SelectionDAG.h
  llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
  llvm/lib/Target/AArch64/SVEInstrFormats.td
  llvm/test/CodeGen/AArch64/sve-intrinsics-perm-select.ll
  llvm/test/CodeGen/AArch64/sve-knownbits.ll
  llvm/test/CodeGen/AArch64/sve-umulo-sdnode.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D128159.438728.patch
Type: text/x-patch
Size: 15132 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220621/32da7861/attachment.bin>