Adding atomic primops

[Johan Tibell]

Hi all,

I'm not sure how to continue from here. The current backend story feels a
bit shaky. Do we think we accurately need to reflect the memory model in
Cmm before we should venture into this area at all, or are we comfortable
relying on the current implementation of CallishMachOps with the knowledge
that if we ever want to move loads/stores past those calls, we need to
address the memory model issue then?

I'm less concerned about actually picking a memory model. I think we should
borrow what C/C++ did and just pick a couple (maybe even just 2) of the
consistency levels on their "ladder" and support those. We can always add
more relaxed ordering guarantees later.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140512/e53fd3c8/attachment.html>