[PATCH] D152081: [Attributor] Add lightweight version for attribute deduction only. (WIP)

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D152081#4394486 <https://reviews.llvm.org/D152081#4394486>, @tschuett wrote:

> Stupid question: could the attributer become an analysis? Then you can query and do caching?
>
> It learns new attributes over time and becomes an even more powerful analysis.

One can do it. For starters, you can allow it to manifest (as the current setup does) and then continue to use the AA results for things that could not be put in the IR.
However, the tricky part is invalidation and updates. The initial manifest is necessary since some AAs assume it will happen, and only then the information is correct, e.g., they assume the load is replaced with a constant value. If you do not manifest in that case, problems will immediately appear.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152081