[PATCH] D65402: [Attributor][MustExec] Deduce dereferenceable and nonnull attribute using MustBeExecutedContextExplorer
Hideto Ueno via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 13 05:06:08 PDT 2019
uenoku added a comment.
@xbolva00
Thank you for your comment!
> So with this patch and enabled Attributor I expect that arguments will be annotated with dereferenceable(16) (propagated from callsite), right?
Yes.
> (and do you plan to propagate noalias too?)
Yes. I'll do it. I'm going to work on other attributes too but I want to generalize this kind of deduction. I mean, `AbstractState` in the same MustBeExecutedContext can share their (known) information.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D65402/new/
https://reviews.llvm.org/D65402
More information about the llvm-commits
mailing list