[PATCH] D87424: [SVE] Bail from VectorUtils heuristics for scalable vectors

[Christopher Tetreault via Phabricator via llvm-commits]

ctetreau created this revision.
Herald added subscribers: llvm-commits, psnobl, hiraditya, tschuett.
Herald added a reviewer: efriedma.
Herald added a project: LLVM.
ctetreau requested review of this revision.

- Bail from maskIsAllZeroOrUndef, maskIsAllOneOrUndef, and

possiblyDemandedEltsInMask prior to iterating over the number of
elements for scalable vectors.

- Modify possiblyDemandedEltsInMask to return an Optional<APInt>. It

is quite strange to return a concrete value for a result that is
actually unknown.

- Update the function docs for these three functions to reflect the fact

that these functions work for vectors with element types other than i1,
and that they do not currently check for or fail if the element type is
not i1.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D87424

Files:
  llvm/include/llvm/Analysis/VectorUtils.h
  llvm/lib/Analysis/VectorUtils.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/test/Transforms/InstCombine/AArch64/VectorUtils_heuristics.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D87424.290843.patch
Type: text/x-patch
Size: 6708 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200909/233d623a/attachment.bin>