LLVM.Internal.OrcJIT

Documentation

newtype MangledSymbol

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

Constructors

MangledSymbol ByteString

Instances

Eq MangledSymbol

Methods

(==) :: MangledSymbol -> MangledSymbol -> Bool

(/=) :: MangledSymbol -> MangledSymbol -> Bool

Ord MangledSymbol

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

Methods

showsPrec :: Int -> MangledSymbol -> ShowS

show :: MangledSymbol -> String

showList :: [MangledSymbol] -> ShowS

MonadIO m => DecodeM m MangledSymbol CString

Methods

decodeM :: CString -> m MangledSymbol

MonadIO m => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn)

Methods

encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn)

data JITSymbolFlags

Constructors

JITSymbolFlags

Fields

• jitSymbolWeak :: !Bool

  Is this a weak symbol?

• jitSymbolExported :: !Bool

  Is this symbol exported?

Instances

Eq JITSymbolFlags

Methods

(==) :: JITSymbolFlags -> JITSymbolFlags -> Bool

(/=) :: JITSymbolFlags -> JITSymbolFlags -> Bool

Ord JITSymbolFlags

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

Methods

showsPrec :: Int -> JITSymbolFlags -> ShowS

show :: JITSymbolFlags -> String

showList :: [JITSymbolFlags] -> ShowS

Monad m => DecodeM m JITSymbolFlags JITSymbolFlags

Methods

decodeM :: JITSymbolFlags -> m JITSymbolFlags

Monad m => EncodeM m JITSymbolFlags JITSymbolFlags

Methods

encodeM :: JITSymbolFlags -> m JITSymbolFlags

data JITSymbol

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

Methods

(==) :: JITSymbol -> JITSymbol -> Bool

(/=) :: JITSymbol -> JITSymbol -> Bool

Ord JITSymbol

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

Methods

showsPrec :: Int -> JITSymbol -> ShowS

show :: JITSymbol -> String

showList :: [JITSymbol] -> ShowS

(MonadIO m, MonadAnyCont IO m) => DecodeM m JITSymbol (Ptr JITSymbol)

Methods

decodeM :: Ptr JITSymbol -> m JITSymbol

MonadIO m => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn)

Methods

encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn)

MonadIO m => EncodeM m JITSymbol (Ptr JITSymbol -> IO ())

Methods

encodeM :: JITSymbol -> m (Ptr JITSymbol -> IO ())

type SymbolResolverFn = MangledSymbol -> IO JITSymbol

data SymbolResolver

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))

Methods

encodeM :: SymbolResolver -> m (IORef [IO ()] -> IO (Ptr LambdaResolver))

class LinkingLayer l where

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

Instances

LinkingLayer ObjectLinkingLayer

Methods

getLinkingLayer :: ObjectLinkingLayer -> Ptr LinkingLayer

newtype ObjectLinkingLayer

Bare bones implementation of a LinkingLayer.

Constructors

ObjectLinkingLayer (Ptr ObjectLinkingLayer)

Instances

LinkingLayer ObjectLinkingLayer

Methods

getLinkingLayer :: ObjectLinkingLayer -> Ptr LinkingLayer

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

allocate a function pointer and register it for cleanup

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

Dispose of a LinkingLayer.

newObjectLinkingLayer :: IO ObjectLinkingLayer

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

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

bracket-style wrapper around newObjectLinkingLayer and disposeLinkingLayer.

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