{-# LANGUAGE ViewPatterns #-}
module GHC.Iface.Tidy.StaticPtrTable
( sptCreateStaticBinds
, sptModuleInitCode
, StaticPtrOpts (..)
)
where
import GHC.Prelude
import GHC.Platform
import GHC.Core
import GHC.Core.Utils (collectMakeStaticArgs)
import GHC.Core.DataCon
import GHC.Core.Make (mkStringExprFSWith,MkStringIds(..))
import GHC.Core.Type
import GHC.Cmm.CLabel
import GHC.Unit.Module
import GHC.Utils.Outputable as Outputable
import GHC.Linker.Types
import GHC.Types.Id
import GHC.Types.ForeignStubs
import GHC.Data.Maybe
import GHC.Data.FastString
import Control.Monad.Trans.State.Strict
import Data.List (intercalate)
import GHC.Fingerprint
data StaticPtrOpts = StaticPtrOpts
{ StaticPtrOpts -> Platform
opt_platform :: !Platform
, StaticPtrOpts -> Bool
opt_gen_cstub :: !Bool
, StaticPtrOpts -> MkStringIds
opt_mk_string :: !MkStringIds
, StaticPtrOpts -> DataCon
opt_static_ptr_info_datacon :: !DataCon
, StaticPtrOpts -> DataCon
opt_static_ptr_datacon :: !DataCon
}
sptCreateStaticBinds :: StaticPtrOpts -> Module -> CoreProgram -> IO ([SptEntry], Maybe CStub, CoreProgram)
sptCreateStaticBinds :: StaticPtrOpts
-> Module
-> CoreProgram
-> IO ([SptEntry], Maybe CStub, CoreProgram)
sptCreateStaticBinds StaticPtrOpts
opts Module
this_mod CoreProgram
binds = do
([SptEntry]
fps, CoreProgram
binds') <- forall (m :: * -> *) s a. Monad m => StateT s m a -> s -> m a
evalStateT ([SptEntry]
-> CoreProgram
-> CoreProgram
-> StateT Int IO ([SptEntry], CoreProgram)
go [] [] CoreProgram
binds) Int
0
let cstub :: Maybe CStub
cstub
| StaticPtrOpts -> Bool
opt_gen_cstub StaticPtrOpts
opts = forall a. a -> Maybe a
Just (Platform -> Module -> [SptEntry] -> CStub
sptModuleInitCode (StaticPtrOpts -> Platform
opt_platform StaticPtrOpts
opts) Module
this_mod [SptEntry]
fps)
| Bool
otherwise = forall a. Maybe a
Nothing
forall (m :: * -> *) a. Monad m => a -> m a
return ([SptEntry]
fps, Maybe CStub
cstub, CoreProgram
binds')
where
go :: [SptEntry]
-> CoreProgram
-> CoreProgram
-> StateT Int IO ([SptEntry], CoreProgram)
go [SptEntry]
fps CoreProgram
bs CoreProgram
xs = case CoreProgram
xs of
[] -> forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. [a] -> [a]
reverse [SptEntry]
fps, forall a. [a] -> [a]
reverse CoreProgram
bs)
CoreBind
bnd : CoreProgram
xs' -> do
([SptEntry]
fps', CoreBind
bnd') <- CoreBind -> StateT Int IO ([SptEntry], CoreBind)
replaceStaticBind CoreBind
bnd
[SptEntry]
-> CoreProgram
-> CoreProgram
-> StateT Int IO ([SptEntry], CoreProgram)
go (forall a. [a] -> [a]
reverse [SptEntry]
fps' forall a. [a] -> [a] -> [a]
++ [SptEntry]
fps) (CoreBind
bnd' forall a. a -> [a] -> [a]
: CoreProgram
bs) CoreProgram
xs'
replaceStaticBind :: CoreBind
-> StateT Int IO ([SptEntry], CoreBind)
replaceStaticBind :: CoreBind -> StateT Int IO ([SptEntry], CoreBind)
replaceStaticBind (NonRec CoreBndr
b Expr CoreBndr
e) = do (Maybe SptEntry
mfp, (CoreBndr
b', Expr CoreBndr
e')) <- CoreBndr
-> Expr CoreBndr
-> StateT Int IO (Maybe SptEntry, (CoreBndr, Expr CoreBndr))
replaceStatic CoreBndr
b Expr CoreBndr
e
forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. Maybe a -> [a]
maybeToList Maybe SptEntry
mfp, forall b. b -> Expr b -> Bind b
NonRec CoreBndr
b' Expr CoreBndr
e')
replaceStaticBind (Rec [(CoreBndr, Expr CoreBndr)]
rbs) = do
([Maybe SptEntry]
mfps, [(CoreBndr, Expr CoreBndr)]
rbs') <- forall a b. [(a, b)] -> ([a], [b])
unzip forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM (forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry CoreBndr
-> Expr CoreBndr
-> StateT Int IO (Maybe SptEntry, (CoreBndr, Expr CoreBndr))
replaceStatic) [(CoreBndr, Expr CoreBndr)]
rbs
forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. [Maybe a] -> [a]
catMaybes [Maybe SptEntry]
mfps, forall b. [(b, Expr b)] -> Bind b
Rec [(CoreBndr, Expr CoreBndr)]
rbs')
replaceStatic :: Id -> CoreExpr
-> StateT Int IO (Maybe SptEntry, (Id, CoreExpr))
replaceStatic :: CoreBndr
-> Expr CoreBndr
-> StateT Int IO (Maybe SptEntry, (CoreBndr, Expr CoreBndr))
replaceStatic CoreBndr
b e :: Expr CoreBndr
e@(Expr CoreBndr -> ([CoreBndr], Expr CoreBndr)
collectTyBinders -> ([CoreBndr]
tvs, Expr CoreBndr
e0)) =
case Expr CoreBndr
-> Maybe (Expr CoreBndr, Type, Expr CoreBndr, Expr CoreBndr)
collectMakeStaticArgs Expr CoreBndr
e0 of
Maybe (Expr CoreBndr, Type, Expr CoreBndr, Expr CoreBndr)
Nothing -> forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. Maybe a
Nothing, (CoreBndr
b, Expr CoreBndr
e))
Just (Expr CoreBndr
_, Type
t, Expr CoreBndr
info, Expr CoreBndr
arg) -> do
(Fingerprint
fp, Expr CoreBndr
e') <- Type
-> Expr CoreBndr
-> Expr CoreBndr
-> StateT Int IO (Fingerprint, Expr CoreBndr)
mkStaticBind Type
t Expr CoreBndr
info Expr CoreBndr
arg
forall (m :: * -> *) a. Monad m => a -> m a
return (forall a. a -> Maybe a
Just (CoreBndr -> Fingerprint -> SptEntry
SptEntry CoreBndr
b Fingerprint
fp), (CoreBndr
b, forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr forall b. b -> Expr b -> Expr b
Lam Expr CoreBndr
e' [CoreBndr]
tvs))
mkStaticBind :: Type -> CoreExpr -> CoreExpr
-> StateT Int IO (Fingerprint, CoreExpr)
mkStaticBind :: Type
-> Expr CoreBndr
-> Expr CoreBndr
-> StateT Int IO (Fingerprint, Expr CoreBndr)
mkStaticBind Type
t Expr CoreBndr
srcLoc Expr CoreBndr
e = do
Int
i <- forall (m :: * -> *) s. Monad m => StateT s m s
get
forall (m :: * -> *) s. Monad m => s -> StateT s m ()
put (Int
i forall a. Num a => a -> a -> a
+ Int
1)
let staticPtrInfoDataCon :: DataCon
staticPtrInfoDataCon = StaticPtrOpts -> DataCon
opt_static_ptr_info_datacon StaticPtrOpts
opts
let fp :: Fingerprint
fp@(Fingerprint Word64
w0 Word64
w1) = Int -> Fingerprint
mkStaticPtrFingerprint Int
i
let mk_string_fs :: FastString -> Expr CoreBndr
mk_string_fs = MkStringIds -> FastString -> Expr CoreBndr
mkStringExprFSWith (StaticPtrOpts -> MkStringIds
opt_mk_string StaticPtrOpts
opts)
let info :: Expr CoreBndr
info = forall b. DataCon -> [Arg b] -> Arg b
mkConApp DataCon
staticPtrInfoDataCon
[ FastString -> Expr CoreBndr
mk_string_fs forall a b. (a -> b) -> a -> b
$ forall u. IsUnitId u => u -> FastString
unitFS forall a b. (a -> b) -> a -> b
$ forall unit. GenModule unit -> unit
moduleUnit Module
this_mod
, FastString -> Expr CoreBndr
mk_string_fs forall a b. (a -> b) -> a -> b
$ ModuleName -> FastString
moduleNameFS forall a b. (a -> b) -> a -> b
$ forall unit. GenModule unit -> ModuleName
moduleName Module
this_mod
, Expr CoreBndr
srcLoc
]
let staticPtrDataCon :: DataCon
staticPtrDataCon = StaticPtrOpts -> DataCon
opt_static_ptr_datacon StaticPtrOpts
opts
forall (m :: * -> *) a. Monad m => a -> m a
return (Fingerprint
fp, forall b. DataCon -> [Arg b] -> Arg b
mkConApp DataCon
staticPtrDataCon
[ forall b. Type -> Expr b
Type Type
t
, forall b. Word64 -> Expr b
mkWord64LitWord64 Word64
w0
, forall b. Word64 -> Expr b
mkWord64LitWord64 Word64
w1
, Expr CoreBndr
info
, Expr CoreBndr
e ])
mkStaticPtrFingerprint :: Int -> Fingerprint
mkStaticPtrFingerprint :: Int -> Fingerprint
mkStaticPtrFingerprint Int
n = String -> Fingerprint
fingerprintString forall a b. (a -> b) -> a -> b
$ forall a. [a] -> [[a]] -> [a]
intercalate String
":"
[ forall u. IsUnitId u => u -> String
unitString forall a b. (a -> b) -> a -> b
$ forall unit. GenModule unit -> unit
moduleUnit Module
this_mod
, ModuleName -> String
moduleNameString forall a b. (a -> b) -> a -> b
$ forall unit. GenModule unit -> ModuleName
moduleName Module
this_mod
, forall a. Show a => a -> String
show Int
n
]
sptModuleInitCode :: Platform -> Module -> [SptEntry] -> CStub
sptModuleInitCode :: Platform -> Module -> [SptEntry] -> CStub
sptModuleInitCode Platform
platform Module
this_mod [SptEntry]
entries
| [] <- [SptEntry]
entries = forall a. Monoid a => a
mempty
| Arch
ArchJavaScript <- Platform -> Arch
platformArch Platform
platform = forall a. Monoid a => a
mempty
| Bool
otherwise =
Platform -> CLabel -> SDoc -> SDoc -> CStub
initializerCStub Platform
platform CLabel
init_fn_nm forall doc. IsOutput doc => doc
empty SDoc
init_fn_body forall a. Monoid a => a -> a -> a
`mappend`
Platform -> CLabel -> SDoc -> SDoc -> CStub
finalizerCStub Platform
platform CLabel
fini_fn_nm forall doc. IsOutput doc => doc
empty SDoc
fini_fn_body
where
init_fn_nm :: CLabel
init_fn_nm = Module -> FastString -> CLabel
mkInitializerStubLabel Module
this_mod (String -> FastString
fsLit String
"spt")
init_fn_body :: SDoc
init_fn_body = forall doc. IsDoc doc => [doc] -> doc
vcat
[ forall doc. IsLine doc => String -> doc
text String
"static StgWord64 k" forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => Int -> doc
int Int
i forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => String -> doc
text String
"[2] = "
forall doc. IsLine doc => doc -> doc -> doc
<> Fingerprint -> SDoc
pprFingerprint Fingerprint
fp forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc
semi
forall doc. IsDoc doc => doc -> doc -> doc
$$ forall doc. IsLine doc => String -> doc
text String
"extern StgPtr "
forall doc. IsLine doc => doc -> doc -> doc
<> (forall doc. IsLine doc => Platform -> CLabel -> doc
pprCLabel Platform
platform forall a b. (a -> b) -> a -> b
$ Name -> CafInfo -> CLabel
mkClosureLabel (CoreBndr -> Name
idName CoreBndr
n) (CoreBndr -> CafInfo
idCafInfo CoreBndr
n)) forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc
semi
forall doc. IsDoc doc => doc -> doc -> doc
$$ forall doc. IsLine doc => String -> doc
text String
"hs_spt_insert" forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc -> doc
parens
(forall doc. IsLine doc => [doc] -> doc
hcat forall a b. (a -> b) -> a -> b
$ forall doc. IsLine doc => doc -> [doc] -> [doc]
punctuate forall doc. IsLine doc => doc
comma
[ forall doc. IsLine doc => Char -> doc
char Char
'k' forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => Int -> doc
int Int
i
, forall doc. IsLine doc => Char -> doc
char Char
'&' forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => Platform -> CLabel -> doc
pprCLabel Platform
platform (Name -> CafInfo -> CLabel
mkClosureLabel (CoreBndr -> Name
idName CoreBndr
n) (CoreBndr -> CafInfo
idCafInfo CoreBndr
n))
]
)
forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc
semi
| (Int
i, SptEntry CoreBndr
n Fingerprint
fp) <- forall a b. [a] -> [b] -> [(a, b)]
zip [Int
0..] [SptEntry]
entries
]
fini_fn_nm :: CLabel
fini_fn_nm = Module -> FastString -> CLabel
mkFinalizerStubLabel Module
this_mod (String -> FastString
fsLit String
"spt")
fini_fn_body :: SDoc
fini_fn_body = forall doc. IsDoc doc => [doc] -> doc
vcat
[ forall doc. IsLine doc => String -> doc
text String
"StgWord64 k" forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => Int -> doc
int Int
i forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => String -> doc
text String
"[2] = "
forall doc. IsLine doc => doc -> doc -> doc
<> Fingerprint -> SDoc
pprFingerprint Fingerprint
fp forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc
semi
forall doc. IsDoc doc => doc -> doc -> doc
$$ forall doc. IsLine doc => String -> doc
text String
"hs_spt_remove" forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc -> doc
parens (forall doc. IsLine doc => Char -> doc
char Char
'k' forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => Int -> doc
int Int
i) forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => doc
semi
| (Int
i, (SptEntry CoreBndr
_ Fingerprint
fp)) <- forall a b. [a] -> [b] -> [(a, b)]
zip [Int
0..] [SptEntry]
entries
]
pprFingerprint :: Fingerprint -> SDoc
pprFingerprint :: Fingerprint -> SDoc
pprFingerprint (Fingerprint Word64
w1 Word64
w2) =
forall doc. IsLine doc => doc -> doc
braces forall a b. (a -> b) -> a -> b
$ forall doc. IsLine doc => [doc] -> doc
hcat forall a b. (a -> b) -> a -> b
$ forall doc. IsLine doc => doc -> [doc] -> [doc]
punctuate forall doc. IsLine doc => doc
comma
[ forall doc. IsLine doc => Integer -> doc
integer (forall a b. (Integral a, Num b) => a -> b
fromIntegral Word64
w1) forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => String -> doc
text String
"ULL"
, forall doc. IsLine doc => Integer -> doc
integer (forall a b. (Integral a, Num b) => a -> b
fromIntegral Word64
w2) forall doc. IsLine doc => doc -> doc -> doc
<> forall doc. IsLine doc => String -> doc
text String
"ULL"
]