[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#630030, @sanjoy wrote:

> In https://reviews.llvm.org/D27585#623685, @JDevlieghere wrote:
>
> > Let's consider the following table:
>


...

> I think Hal's question was more of the tune of: do you have optimizations that will be correct even with false negatives?  That is, even if the optimization thinks a value did not escape when it actually did, the transform it does will be be correct?  If so, that is interestingly different from what LLVM does today, and worth discussion _before_ we add this new capture tracker to LLVM.

Yes, this is exactly what I'd like to know.


Repository:
  rL LLVM

https://reviews.llvm.org/D27585