[PATCH] D65402: [Attributor][MustExec] Deduce dereferenceable and nonnull attribute using MustBeExecutedContextExplorer

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

In D65402#1605702 <https://reviews.llvm.org/D65402#1605702>, @jdoerfert wrote:

> The idea is:
>
> - The InformationCache will make sure that the explore iterator is "incremented" if needed, e.g., intiially just run it until there is no more instruction to be found.
> - The worklist will be populated by interesting instructions, most of the timer (transitive) users.
> - The callback informs of the result and allows to re-populate the worklist. If it returns false, the exploration is aborted.
> - The InformationCache will pop an instruction from the worklist, check if the explore iterator "contains" it, potentially increases the explored context, and return the result through the callback.
>
>   I think this will work well for most attributes we have now, what are your thoughts?


I think this is reasonable.


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

https://reviews.llvm.org/D65402