[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