X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fprelude%2Fprimops.txt.pp;h=77ef9de118afcaa7e93227355d87c183dbf2abc1;hb=aedb94f5f220b5e442b23ecc445fd38c8d9b6ba0;hp=302640d581a703af9591bb85f327a2dd8609cd56;hpb=fb8c1b8048e55c161641c7d9797878f553700d1b;p=ghc-hetmet.git diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index 302640d..77ef9de 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -1340,6 +1340,13 @@ primop ReadTVarOp "readTVar#" GenPrimOp with out_of_line = True +primop ReadTVarIOOp "readTVarIO#" GenPrimOp + TVar# s a + -> State# s -> (# State# s, a #) + {Read contents of {\tt TVar\#} outside an STM transaction} + with + out_of_line = True + primop WriteTVarOp "writeTVar#" GenPrimOp TVar# s a -> a @@ -1531,6 +1538,11 @@ primop NoDuplicateOp "noDuplicate#" GenPrimOp with out_of_line = True +primop ThreadStatusOp "threadStatus#" GenPrimOp + ThreadId# -> State# RealWorld -> (# State# RealWorld, Int# #) + with + out_of_line = True + ------------------------------------------------------------------------ section "Weak pointers" ------------------------------------------------------------------------ @@ -1621,6 +1633,12 @@ primop ParOp "par#" GenPrimOp -- gets evaluted strictly, which it should *not* be has_side_effects = True +primop GetSparkOp "getSpark#" GenPrimOp + State# s -> (# State# s, Int#, a #) + with + has_side_effects = True + out_of_line = True + -- HWL: The first 4 Int# in all par... annotations denote: -- name, granularity info, size of result, degree of parallelism -- Same structure as _seq_ i.e. returns Int#