[PATCH] D145920: [IR] Allow !range on vector of integer instructions

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: fhahn, nlopes, efriedma.
Herald added subscribers: snehasish, ormris, StephenFan, jdoerfert, hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Inspired by https://reviews.llvm.org/D144467#4188310, this allows !range on vector of integer instructions, with the usual element-wise interpretation, which is already used by all analysis APIs that support vectors.


https://reviews.llvm.org/D145920

Files:
  llvm/docs/LangRef.rst
  llvm/lib/IR/Verifier.cpp
  llvm/lib/Transforms/IPO/SCCP.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/test/Transforms/InstCombine/ctpop.ll
  llvm/test/Transforms/InstCombine/cttz.ll
  llvm/test/Transforms/SCCP/ip-add-range-to-call.ll
  llvm/test/Verifier/range-1.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D145920.504578.patch
Type: text/x-patch
Size: 18256 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230313/2cdfbeb2/attachment.bin>