[PATCH] D74482: [KnownBits] Introduce anyext instead of passing a flag into zext

Wed Feb 12 08:05:24 PST 2020

foad added a comment.

In D74482#1872292 <https://reviews.llvm.org/D74482#1872292>, @bjope wrote:

> I guess this has been to follow the same pattern as the underlying APInt objects, and I guess one goals is to make it possible to do things like this
>
>   Known = Known.zext(X).trunc(Y).zextOrTrunc(Z):
>   
>
> But aren't we getting a lot of copying of KnownBits objects?

Yes, but I think the way to fix that is to add better support for move semantics. APInt already does quite a bit of this.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74482