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

[Hal Finkel via Phabricator via llvm-commits]

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?


Repository:
  rL LLVM

https://reviews.llvm.org/D27585