[PATCH] D80437: [CodeGen] Let computeKnownBits do something sensible for scalable vectors

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 8 14:25:17 PDT 2020


efriedma added a comment.

It's not clear how we actually want to represent DemandedElts for scalable vectors.  I think we'd go through all the callers before changing anything in that respect, so explicitly bailing out seems better than intentionally synthesizing something which might be wrong anyway.

For MaskedValueIsZero specifically, maybe makes sense to change the implementation to `return Mask.isSubsetOf(computeKnownBits(V, Depth).Zero);`, instead of trying to synthesize DemandedElts.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80437





More information about the llvm-commits mailing list