[PATCH] D153627: [ConstantRange] Handle `Intrinsic::cttz` and `Intrinsic::ctpop` with KnownBits

[Yingwei Zheng via Phabricator via llvm-commits]

dtcxzyw created this revision.
dtcxzyw added reviewers: nikic, reames.
Herald added subscribers: foad, hiraditya.
Herald added a project: All.
dtcxzyw requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This patch adds support for cttz and ctpop intrinsics in ConstantRange.
This is a simpler and faster approximation of D153505 <https://reviews.llvm.org/D153505> using KnownBits.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D153627

Files:
  llvm/include/llvm/IR/ConstantRange.h
  llvm/lib/IR/ConstantRange.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/range.ll
  llvm/unittests/IR/ConstantRangeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D153627.533943.patch
Type: text/x-patch
Size: 9927 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230623/478f7fe4/attachment.bin>