[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#631486, @JDevlieghere wrote:

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


...

> Do you guys have an alternative idea for reducing the amount of false positives? If not I guess I'll have to abandon this change. :-(

To literally do what you'd like, you'll need to do some kind of data-flow analysis. This is possible, but first we should understand the use case. Specifically, why are the variables in question being stored such that the values don't escape but nevertheless mem2reg is not promoting them to SSA values.


Repository:
  rL LLVM

https://reviews.llvm.org/D27585