projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Semi-tagging optimisation
[ghc-hetmet.git]
/
compiler
/
prelude
/
primops.txt.pp
diff --git
a/compiler/prelude/primops.txt.pp
b/compiler/prelude/primops.txt.pp
index
13b4b6c
..
f5a98c3
100644
(file)
--- a/
compiler/prelude/primops.txt.pp
+++ b/
compiler/prelude/primops.txt.pp
@@
-1282,6
+1282,13
@@
primop CatchSTMOp "catchSTM#" GenPrimOp
out_of_line = True
has_side_effects = True
out_of_line = True
has_side_effects = True
+primop Check "check#" GenPrimOp
+ (State# RealWorld -> (# State# RealWorld, a #) )
+ -> (State# RealWorld -> (# State# RealWorld, () #) )
+ with
+ out_of_line = True
+ has_side_effects = True
+
primop NewTVarOp "newTVar#" GenPrimOp
a
-> State# s -> (# State# s, TVar# s a #)
primop NewTVarOp "newTVar#" GenPrimOp
a
-> State# s -> (# State# s, TVar# s a #)
@@
-1670,6
+1677,16
@@
primop NewBCOOp "newBCO#" GenPrimOp
has_side_effects = True
out_of_line = True
has_side_effects = True
out_of_line = True
+primop InfoPtrOp "infoPtr#" GenPrimOp
+ a -> Addr#
+ with
+ out_of_line = True
+
+primop ClosurePayloadOp "closurePayload#" GenPrimOp
+ a -> (# Array# b, ByteArr# #)
+ with
+ out_of_line = True
+
------------------------------------------------------------------------
section "Coercion"
{{\tt unsafeCoerce\# :: a -> b} is not a primop, but is defined in MkId.lhs.}
------------------------------------------------------------------------
section "Coercion"
{{\tt unsafeCoerce\# :: a -> b} is not a primop, but is defined in MkId.lhs.}