Safe Haskell	None
Language	Haskell2010

LLVM.Internal.OrcJIT

Synopsis

newtype MangledSymbol = MangledSymbol ByteString
data JITSymbolFlags = JITSymbolFlags {
- jitSymbolWeak :: !Bool
- jitSymbolCommon :: !Bool
- jitSymbolAbsolute :: !Bool
- jitSymbolExported :: !Bool
}
defaultJITSymbolFlags :: JITSymbolFlags
data JITSymbol = JITSymbol {
- jitSymbolAddress :: !WordPtr
- jitSymbolFlags :: !JITSymbolFlags
}
data JITSymbolError = JITSymbolError ShortByteString
type SymbolResolverFn = MangledSymbol -> IO (Either JITSymbolError JITSymbol)
data SymbolResolver = SymbolResolver {
- dylibResolver :: !SymbolResolverFn
- externalResolver :: !SymbolResolverFn
}
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)

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 SymbolResolverFn (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn0) Source #

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 => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn0) Source #
(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 (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 => EncodeM m SymbolResolverFn (FunPtr SymbolResolverFn) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: SymbolResolverFn -> m (FunPtr SymbolResolverFn0) Source #
(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 (Either JITSymbolError JITSymbol) (Ptr JITSymbol -> IO ()) Source #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: Either JITSymbolError JITSymbol -> m (Ptr JITSymbol0 -> IO ()) Source #

type SymbolResolverFn = MangledSymbol -> IO (Either JITSymbolError 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 #
Instance details Defined in LLVM.Internal.OrcJIT Methods encodeM :: SymbolResolver -> m (IORef [IO ()] -> IO (Ptr LambdaResolver)) Source #

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 #