LLVM.Internal.OrcJIT.CompileLayer

Documentation

class CompileLayer l where

There are two main types of operations provided by instances of CompileLayer.

1. You can add / remove modules using addModule / removeModuleSet.
2. You can search for symbols using findSymbol / findSymbolIn in the previously added modules.

Methods

getCompileLayer :: l -> Ptr CompileLayer

getDataLayout :: l -> Ptr DataLayout

getCleanups :: l -> IORef [IO ()]

Instances

CompileLayer (IRTransformLayer l)

Defined in LLVM.Internal.OrcJIT.IRTransformLayer

Methods

getCompileLayer :: IRTransformLayer l -> Ptr CompileLayer

getDataLayout :: IRTransformLayer l -> Ptr DataLayout

getCleanups :: IRTransformLayer l -> IORef [IO ()]

CompileLayer (IRCompileLayer l)

Defined in LLVM.Internal.OrcJIT.IRCompileLayer

Methods

getCompileLayer :: IRCompileLayer l -> Ptr CompileLayer

getDataLayout :: IRCompileLayer l -> Ptr DataLayout

getCleanups :: IRCompileLayer l -> IORef [IO ()]

CompileLayer (CompileOnDemandLayer l)

Defined in LLVM.Internal.OrcJIT.CompileOnDemandLayer

Methods

getCompileLayer :: CompileOnDemandLayer l -> Ptr CompileLayer

getDataLayout :: CompileOnDemandLayer l -> Ptr DataLayout

getCleanups :: CompileOnDemandLayer l -> IORef [IO ()]

mangleSymbol :: CompileLayer l => l -> ShortByteString -> IO MangledSymbol

Mangle a symbol according to the data layout stored in the CompileLayer.

findSymbol :: CompileLayer l => l -> MangledSymbol -> Bool -> IO (Either JITSymbolError JITSymbol)

findSymbol layer symbol exportedSymbolsOnly searches for symbol in all modules added to layer. If exportedSymbolsOnly is True only exported symbols are searched.

findSymbolIn :: CompileLayer l => l -> ModuleKey -> MangledSymbol -> Bool -> IO (Either JITSymbolError JITSymbol)

findSymbolIn layer handle symbol exportedSymbolsOnly searches for symbol in the context of the module represented by handle. If exportedSymbolsOnly is True only exported symbols are searched.

addModule :: CompileLayer l => l -> ModuleKey -> Module -> IO ()

Add a module to the CompileLayer. The SymbolResolver is used to resolve external symbols in the module.

Note: This function consumes the module passed to it and it must not be used after calling this method.

removeModule :: CompileLayer l => l -> ModuleKey -> IO ()

Remove a previously added module.

withModule :: CompileLayer l => l -> ModuleKey -> Module -> IO a -> IO a

bracket-style wrapper around addModule and removeModule.

Note: This function consumes the module passed to it and it must not be used after calling this method.

disposeCompileLayer :: CompileLayer l => l -> IO ()

Dispose of a CompileLayer. This should called when the CompileLayer is not needed anymore.

data ModuleKey

Abstract type used as the identifier for a module.

Instances

Eq ModuleKey

Defined in LLVM.Internal.FFI.OrcJIT

Methods

(==) :: ModuleKey -> ModuleKey -> Bool

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

Ord ModuleKey

Defined in LLVM.Internal.FFI.OrcJIT

Methods

compare :: ModuleKey -> ModuleKey -> Ordering

(<) :: ModuleKey -> ModuleKey -> Bool

(<=) :: ModuleKey -> ModuleKey -> Bool

(>) :: ModuleKey -> ModuleKey -> Bool

(>=) :: ModuleKey -> ModuleKey -> Bool

max :: ModuleKey -> ModuleKey -> ModuleKey

min :: ModuleKey -> ModuleKey -> ModuleKey

Show ModuleKey

Defined in LLVM.Internal.FFI.OrcJIT

Methods

showsPrec :: Int -> ModuleKey -> ShowS

show :: ModuleKey -> String

showList :: [ModuleKey] -> ShowS