[PATCH] D69032: [APInt] add wrapping support for APInt::setBits
Roman Lebedev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 18 02:20:08 PST 2019
lebedev.ri added inline comments.
================
Comment at: llvm/include/llvm/ADT/APInt.h:606-613
static APInt getBitsSet(unsigned numBits, unsigned loBit, unsigned hiBit) {
APInt Res(numBits, 0);
- Res.setBits(loBit, hiBit);
+ if (loBit <= hiBit)
+ Res.setBits(loBit, hiBit);
+ else
+ Res.setBitsWithWrap(loBit, hiBit);
return Res;
----------------
shchenz wrote:
> lebedev.ri wrote:
> > shchenz wrote:
> > > lebedev.ri wrote:
> > > > lebedev.ri wrote:
> > > > > These changes are still there
> > > > To reword, the suggestion is to
> > > >
> > > > ```
> > > > static APInt getBitsSet(unsigned numBits, unsigned loBit, unsigned hiBit) {
> > > > APInt Res(numBits, 0);
> > > > Res.setBits(loBit, hiBit);
> > > > return Res;
> > > > }
> > > >
> > > > static APInt getBitsSetWithWrap(unsigned numBits, unsigned loBit, unsigned hiBit) {
> > > > APInt Res(numBits, 0);
> > > > Res.setBitsWithWrap(loBit, hiBit);
> > > > return Res;
> > > > }
> > > > ```
> > > I think if we want to avoid recursion in `setBits`, we just need to split `setBits` for wrap and non-wrap. I am not sure the benifit of spliting `getBitsSet`, could you point it out to me?
> > Presumably all existing users of `getBitsSet()` satisfy `loBit <= hiBit` precondition,
> > and don't need the new `setBitsWithWrap()` behaviour. Which means the `getBitsSet()`
> > change as-is will likely affect the performance of every current `getBitsSet()` user.
> > It may be best to simply not touch existing `getBitsSet()`, but add `getBitsSetWithWrap()`.
> Now, after the change, every user of `getBitsSet` will check `if (loBit <= hiBit)` and all users will not go into new added `setBitsWithWrap`.
>
> The perf impact mentioned in rL301769 is `setBits` can not call `setLowBits` or `setHighBits`. If we do, `setBits` will become a recurive function, and `setBits` can not be inlined to `setLowBits` or `setHighBits`. So we add another `setBitsWithWrap` function to avoid such case. For `getBitsSet`, there is no such issue?
>
> And if we use `getBitsSet` and `getBitsSetWithWrap`, we have to call getBitsSet outside of `APInt`, like:
> ```
> if (loBit > hiBit)
> getBitsSetWithWrap()
> else
> getBitsSet()
> ```
> This does not match the comment for `getBitsSet`.
Ah wait, i missed that we still need the check that there is a wrap, right.
Then i'd +1 to what @craig.topper said, and my original suggestion `getBitsSetWithWrap()` is applicable again.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D69032/new/
https://reviews.llvm.org/D69032
More information about the llvm-commits
mailing list