Safe Haskell	None
Language	Haskell2010

LLVM.Internal.OrcJIT

Synopsis

newtype MangledSymbol = MangledSymbol ByteString
newtype ExecutionSession = ExecutionSession (Ptr ExecutionSession)
data JITSymbolFlags = JITSymbolFlags {
- jitSymbolWeak :: !Bool
- jitSymbolCommon :: !Bool
- jitSymbolAbsolute :: !Bool
- jitSymbolExported :: !Bool
}
defaultJITSymbolFlags :: JITSymbolFlags
data JITSymbol = JITSymbol {
- jitSymbolAddress :: !WordPtr
- jitSymbolFlags :: !JITSymbolFlags
}
data JITSymbolError = JITSymbolError ShortByteString
newtype SymbolResolver = SymbolResolver (MangledSymbol -> IO (Either JITSymbolError JITSymbol))
withSymbolResolver :: ExecutionSession -> SymbolResolver -> (Ptr SymbolResolver -> IO a) -> IO a
allocWithCleanup :: IORef [IO ()] -> IO a -> (a -> IO ()) -> IO a
allocFunPtr :: IORef [IO ()] -> IO (FunPtr a) -> IO (FunPtr a)
createRegisteredDataLayout :: MonadAnyCont IO m => TargetMachine -> IORef [IO ()] -> m (Ptr DataLayout)
createExecutionSession :: IO ExecutionSession
disposeExecutionSession :: ExecutionSession -> IO ()
withExecutionSession :: (ExecutionSession -> IO a) -> IO a
allocateModuleKey :: ExecutionSession -> IO ModuleKey
releaseModuleKey :: ExecutionSession -> ModuleKey -> IO ()
withModuleKey :: ExecutionSession -> (ModuleKey -> IO a) -> IO a

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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods (==) :: MangledSymbol -> MangledSymbol -> Bool # (/=) :: MangledSymbol -> MangledSymbol -> Bool #
Ord MangledSymbol Source #
Instance details Defined in LLVM.Internal.OrcJIT 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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods showsPrec :: Int -> MangledSymbol -> ShowS # show :: MangledSymbol -> String # showList :: [MangledSymbol] -> ShowS #
MonadIO m => DecodeM m MangledSymbol CString Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods decodeM :: CString -> m MangledSymbol Source #
MonadIO m => EncodeM m (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) -> m (FunPtr SymbolResolverFn) Source #

newtype ExecutionSession Source #

Constructors

ExecutionSession (Ptr ExecutionSession)

data JITSymbolFlags Source #

Contrary to the C++ interface, we do not store the HasError flag here. Instead decoding a JITSymbol produces a sumtype based on whether that flag is set or not.

Constructors

JITSymbolFlags
Fields jitSymbolWeak :: !Bool Is this a weak symbol? jitSymbolCommon :: !Bool Is this a common symbol? jitSymbolAbsolute :: !Bool Is this an absolute symbol? This will cause LLVM to use absolute relocations for the symbol even in position independent code. jitSymbolExported :: !Bool Is this symbol exported?

Instances

Eq JITSymbolFlags Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods (==) :: JITSymbolFlags -> JITSymbolFlags -> Bool # (/=) :: JITSymbolFlags -> JITSymbolFlags -> Bool #
Ord JITSymbolFlags Source #
Instance details Defined in LLVM.Internal.OrcJIT 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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods showsPrec :: Int -> JITSymbolFlags -> ShowS # show :: JITSymbolFlags -> String # showList :: [JITSymbolFlags] -> ShowS #
Monad m => DecodeM m JITSymbolFlags JITSymbolFlags Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods decodeM :: JITSymbolFlags0 -> m JITSymbolFlags Source #
Monad m => EncodeM m JITSymbolFlags JITSymbolFlags Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: JITSymbolFlags -> m JITSymbolFlags0 Source #

defaultJITSymbolFlags :: 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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods (==) :: JITSymbol -> JITSymbol -> Bool # (/=) :: JITSymbol -> JITSymbol -> Bool #
Ord JITSymbol Source #
Instance details Defined in LLVM.Internal.OrcJIT 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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods showsPrec :: Int -> JITSymbol -> ShowS # show :: JITSymbol -> String # showList :: [JITSymbol] -> ShowS #
(MonadIO m, MonadAnyCont IO m) => DecodeM m (Either JITSymbolError JITSymbol) (Ptr JITSymbol) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods decodeM :: Ptr JITSymbol0 -> m (Either JITSymbolError JITSymbol) Source #
MonadIO m => EncodeM m (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) -> m (FunPtr SymbolResolverFn) Source #
MonadIO m => EncodeM m (Either JITSymbolError JITSymbol) (Ptr JITSymbol -> IO ()) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: Either JITSymbolError JITSymbol -> m (Ptr JITSymbol0 -> IO ()) Source #

data JITSymbolError Source #

Constructors

JITSymbolError ShortByteString

Instances

Eq JITSymbolError Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods (==) :: JITSymbolError -> JITSymbolError -> Bool # (/=) :: JITSymbolError -> JITSymbolError -> Bool #
Show JITSymbolError Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods showsPrec :: Int -> JITSymbolError -> ShowS # show :: JITSymbolError -> String # showList :: [JITSymbolError] -> ShowS #
(MonadIO m, MonadAnyCont IO m) => DecodeM m (Either JITSymbolError JITSymbol) (Ptr JITSymbol) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods decodeM :: Ptr JITSymbol0 -> m (Either JITSymbolError JITSymbol) Source #
MonadIO m => EncodeM m (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: (MangledSymbol -> IO (Either JITSymbolError JITSymbol)) -> m (FunPtr SymbolResolverFn) Source #
MonadIO m => EncodeM m (Either JITSymbolError JITSymbol) (Ptr JITSymbol -> IO ()) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: Either JITSymbolError JITSymbol -> m (Ptr JITSymbol0 -> IO ()) Source #

newtype SymbolResolver Source #

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

Constructors

SymbolResolver (MangledSymbol -> IO (Either JITSymbolError JITSymbol))

Instances

MonadIO m => EncodeM m SymbolResolver (IORef [IO ()] -> Ptr ExecutionSession -> IO (Ptr SymbolResolver)) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: SymbolResolver -> m (IORef [IO ()] -> Ptr ExecutionSession -> IO (Ptr SymbolResolver0)) Source #

withSymbolResolver :: ExecutionSession -> SymbolResolver -> (Ptr SymbolResolver -> IO a) -> IO a Source #

Create a SymbolResolver that can be used with the JIT.

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

Allocate the resource and register it for cleanup.

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

Allocate a function pointer and register it for cleanup.

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

createExecutionSession :: IO ExecutionSession Source #

Create a new ExecutionSession.

disposeExecutionSession :: ExecutionSession -> IO () Source #

Dispose of an ExecutionSession. This should be called when the ExecutionSession is not needed anymore.

withExecutionSession :: (ExecutionSession -> IO a) -> IO a Source #

bracket-style wrapper around createExecutionSession and disposeExecutionSession.

allocateModuleKey :: ExecutionSession -> IO ModuleKey Source #

Allocate a module key for a new module to add to the JIT.

releaseModuleKey :: ExecutionSession -> ModuleKey -> IO () Source #

Return a module key to the ExecutionSession so that it can be re-used.

withModuleKey :: ExecutionSession -> (ModuleKey -> IO a) -> IO a Source #

bracket-style wrapper around allocateModuleKey and releaseModuleKey.