Displaying 3 results from an estimated 3 matches for "earlieststoresinkbarri".
Did you mean:
earlieststoresinkbarrier
2016 Jul 21
2
RFC: Strong GC References in LLVM
...cs 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 want to know
either:
1. Can i move a load up out of this block to a direct predecessor
2....
2016 Jul 21
4
RFC: Strong GC References in LLVM
...s, 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...
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