[PATCH] D31239: [WIP] Add Caching of Known Bits in InstCombine

[Daniel Berlin via llvm-commits]

>
> If you mean it would look similar to incremental recomputation:
> it is definitely *much* easier to verify the state of the analysis is sane
> if you do incremental updating instead of caching.
>
> IE trivially, at pretty much any point, you can say "recompute what this
> *should* look like against the function*, and compare to what you got from
> incremental recomputation.
>
> Local caching like this is very hard to verify.
>

As a recent example of this:

Literally today, we added support for printing the LVI cache because of
bugs discovered.
We still have no good way to really verify it.

An incrementally recomputed analysis would have been verifiable from the
start.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170322/f6efef60/attachment.html>