Displaying 3 results from an estimated 3 matches for "latestloadhoistbarrier".
2016 Jul 21
2
RFC: Strong GC References in LLVM
...build the analysis (I already have it mostly
done, actually). If someone updates our docs to make this stuff clear and
obvious, that would be wonderful :)
The analysis currently computes, internally, for a given BB:
EarliestLoadHoistBarrier (used to see if you can move something out of a
block)
LatestLoadHoistBarrier (used to find the latest safe insertion point in a
block, if any)
EarliestStoreSinkBarrier (insertion)
LatestStoreSinkBarrier (movement)
(stores are maythrow dependent, loads are
isGuaranteedToTransferExecutionToSuccessor dependent)
I'm still coming up with the external API, the users all wa...
2016 Jul 21
4
RFC: Strong GC References in LLVM
...mostly
> done, actually). If someone updates our docs to make this stuff clear and
> obvious, that would be wonderful :)
>
> The analysis currently computes, internally, for a given BB:
>
> EarliestLoadHoistBarrier (used to see if you can move something out of a
> block)
> LatestLoadHoistBarrier (used to find the latest safe insertion point in a
> block, if any)
> EarliestStoreSinkBarrier (insertion)
> LatestStoreSinkBarrier (movement)
>
>
> (stores are maythrow dependent, loads are
> isGuaranteedToTransferExecutionToSuccessor dependent)
>
> I'm still coming...
2016 Jul 21
3
RFC: Strong GC References in LLVM
> On Jul 21, 2016, at 7:45 AM, Philip Reames <listmail at philipreames.com> wrote:
>
> Joining in very late, but the tangent here has been interesting (if rather OT for the original thread).
>
> I agree with Danny that we might want to take a close look at how we model things like maythrow calls, no return, and other implicit control flow. I'm not convinced that moving