Displaying 3 results from an estimated 3 matches for "lateststoresinkbarrier".
2016 Jul 21
2
RFC: Strong GC References in LLVM
...us, 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 want to know
either:
1. Can i move a load up out of this block to a direct predecessor
2. Can i move a store down out of this b...
2016 Jul 21
4
RFC: Strong GC References in LLVM
...e 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 want to know
> either:
>
> 1. Can i move a load up out of this block to a direct predecessor...
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