Alexander Terekhov wrote:
[...]
> > Am I correct in thinking that Sparc-style #XY means sink-Y + hoist-X?
That
> > is, #LoadStore means Sink-Load + Hoist-Store, i.e. what we want above.
>
> Yep.
Well, it's not that simple. For example compound LoadLoad + StoreStore
fence doesn't contitute "full" fence. OTOH memop.acq+rel does have the
effect of full fence.
> Sparc doesn't use unidirectional labels. They have bidirectional
> fences of various types.
Way too many types. They went over the board with fences, AFAICS.
regards,
alexander.
|
