Safe Haskell	None
Language	Haskell98

LLVM.Internal.OrcJIT

Synopsis

Documentation

newtype MangledSymbol Source #

A mangled symbol which can be used in findSymbol. This can be created using mangleSymbol.

Constructors

MangledSymbol ByteString

Instances

Eq MangledSymbol Source #
Methods (==) :: MangledSymbol -> MangledSymbol -> Bool # (/=) :: MangledSymbol -> MangledSymbol -> Bool #
Ord MangledSymbol Source #
Methods compare :: MangledSymbol -> MangledSymbol -> Ordering # (<) :: MangledSymbol -> MangledSymbol -> Bool # (<=) :: MangledSymbol -> MangledSymbol -> Bool # (>) :: MangledSymbol -> MangledSymbol -> Bool # (>=) :: MangledSymbol -> MangledSymbol -> Bool # max :: MangledSymbol -> MangledSymbol -> MangledSymbol # min :: MangledSymbol -> MangledSymbol -> MangledSymbol #
Show MangledSymbol Source #
Methods showsPrec :: Int -> MangledSymbol -> ShowS # show :: MangledSymbol -> String # showList :: [MangledSymbol] -> ShowS #
MonadIO m => DecodeM m MangledSymbol CString Source #
Methods decodeM :: CString -> m MangledSymbol Source #
MonadIO m => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn) Source #
Methods encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn) Source #

data JITSymbolFlags Source #

Constructors

JITSymbolFlags
Fields jitSymbolWeak :: !Bool Is this a weak symbol? jitSymbolExported :: !Bool Is this symbol exported?

Instances

Eq JITSymbolFlags Source #
Methods (==) :: JITSymbolFlags -> JITSymbolFlags -> Bool # (/=) :: JITSymbolFlags -> JITSymbolFlags -> Bool #
Ord JITSymbolFlags Source #
Methods compare :: JITSymbolFlags -> JITSymbolFlags -> Ordering # (<) :: JITSymbolFlags -> JITSymbolFlags -> Bool # (<=) :: JITSymbolFlags -> JITSymbolFlags -> Bool # (>) :: JITSymbolFlags -> JITSymbolFlags -> Bool # (>=) :: JITSymbolFlags -> JITSymbolFlags -> Bool # max :: JITSymbolFlags -> JITSymbolFlags -> JITSymbolFlags # min :: JITSymbolFlags -> JITSymbolFlags -> JITSymbolFlags #
Show JITSymbolFlags Source #
Methods showsPrec :: Int -> JITSymbolFlags -> ShowS # show :: JITSymbolFlags -> String # showList :: [JITSymbolFlags] -> ShowS #
Monad m => DecodeM m JITSymbolFlags JITSymbolFlags Source #
Methods decodeM :: JITSymbolFlags -> m JITSymbolFlags Source #
Monad m => EncodeM m JITSymbolFlags JITSymbolFlags Source #
Methods encodeM :: JITSymbolFlags -> m JITSymbolFlags Source #

data JITSymbol Source #

Constructors

JITSymbol
Fields jitSymbolAddress :: !WordPtr The address of the symbol. If you’ve looked up a function, you need to cast this to a `FunPtr`. jitSymbolFlags :: !JITSymbolFlags The flags of this symbol.

Instances

Eq JITSymbol Source #
Methods (==) :: JITSymbol -> JITSymbol -> Bool # (/=) :: JITSymbol -> JITSymbol -> Bool #
Ord JITSymbol Source #
Methods compare :: JITSymbol -> JITSymbol -> Ordering # (<) :: JITSymbol -> JITSymbol -> Bool # (<=) :: JITSymbol -> JITSymbol -> Bool # (>) :: JITSymbol -> JITSymbol -> Bool # (>=) :: JITSymbol -> JITSymbol -> Bool # max :: JITSymbol -> JITSymbol -> JITSymbol # min :: JITSymbol -> JITSymbol -> JITSymbol #
Show JITSymbol Source #
Methods showsPrec :: Int -> JITSymbol -> ShowS # show :: JITSymbol -> String # showList :: [JITSymbol] -> ShowS #
(MonadIO m, MonadAnyCont IO m) => DecodeM m JITSymbol (Ptr JITSymbol) Source #
Methods decodeM :: Ptr JITSymbol -> m JITSymbol Source #
MonadIO m => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn) Source #
Methods encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn) Source #
MonadIO m => EncodeM m JITSymbol (Ptr JITSymbol -> IO ()) Source #
Methods encodeM :: JITSymbol -> m (Ptr JITSymbol -> IO ()) Source #

type SymbolResolverFn = MangledSymbol -> IO JITSymbol Source #

data SymbolResolver Source #

Specifies how external symbols in a module added to a CompielLayer should be resolved.

Constructors

SymbolResolver
Fields dylibResolver :: !SymbolResolverFn This is used to find symbols in the same logical dynamic library as the module referencing them. externalResolver :: !SymbolResolverFn When `dylibResolver` fails to resolve a symbol, `externalResolver` is used as a fallback to find external symbols.

Instances

MonadIO m => EncodeM m SymbolResolver (IORef [IO ()] -> IO (Ptr LambdaResolver)) Source #
Methods encodeM :: SymbolResolver -> m (IORef [IO ()] -> IO (Ptr LambdaResolver)) Source #

class LinkingLayer l where Source #

After a CompileLayer has compiled the modules to object code, it passes the resulting object files to a LinkingLayer.

Minimal complete definition

getLinkingLayer

Methods

getLinkingLayer :: l -> Ptr LinkingLayer Source #

Instances

LinkingLayer ObjectLinkingLayer Source #
Methods getLinkingLayer :: ObjectLinkingLayer -> Ptr LinkingLayer Source #

newtype ObjectLinkingLayer Source #

Bare bones implementation of a LinkingLayer.

Constructors

ObjectLinkingLayer (Ptr ObjectLinkingLayer)

Instances

LinkingLayer ObjectLinkingLayer Source #
Methods getLinkingLayer :: ObjectLinkingLayer -> Ptr LinkingLayer Source #

allocFunPtr :: IORef [IO ()] -> IO (FunPtr a) -> IO (FunPtr a) Source #

allocate a function pointer and register it for cleanup

disposeLinkingLayer :: LinkingLayer l => l -> IO () Source #

Dispose of a LinkingLayer.

newObjectLinkingLayer :: IO ObjectLinkingLayer Source #

Create a new ObjectLinkingLayer. This should be disposed using disposeLinkingLayer when it is no longer needed.

withObjectLinkingLayer :: (ObjectLinkingLayer -> IO a) -> IO a Source #

bracket-style wrapper around newObjectLinkingLayer and disposeLinkingLayer.

createRegisteredDataLayout :: MonadAnyCont IO m => TargetMachine -> IORef [IO ()] -> m (Ptr DataLayout) Source #