[PATCH] D27585: [CaptureTracking] Add optimistic capture tracker for stores

Hal Finkel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 15 07:20:28 PST 2016

hfinkel added a comment.

In https://reviews.llvm.org/D27585#623431, @JDevlieghere wrote:

> In https://reviews.llvm.org/D27585#623234, @hfinkel wrote:
> > Yea, we need to figure this out. Do you have BasicAA enabled? What happens if you add -aa-pipeline=basic-aa to the opt command?
> With basic AA it is indeed not working; The results are only as good as the AA method provided, and in a sense it's optimistic in that regard. Would you agree that this is fair behavior, because the interface explicitly expects AA results and a flag indicating whether or not a store should capture? This would need to be documented of course.

Can you explain the use case for a capture-tracking mode that might return false negatives?



More information about the llvm-commits mailing list