[PATCH] D69387: [ConstantRange] Add toKnownBits() method

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 24 12:07:20 PDT 2019


nikic added a comment.

Possible use case: A better implementation for `binaryAnd`/`binaryOr`. Conceptually, those can be implemented by doing:

  KnownBits Known = toKnownBits();
  KnownBits OtherKnown = Other.toKnownBits();
  
  // and
  Known.One &= OtherKnown.One;
  Known.Zero |= OtherKnown.Zero;
  
  return fromKnownBits(Known, /* IsSigned */ false);


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69387





More information about the llvm-commits mailing list