llvm-ffi-16.0: FFI bindings to the LLVM compiler toolkit.

Safe Haskell	Safe
Language	Haskell2010

LLVM.FFI.ExecutionEngine

Contents

Linking
Generic values
Execution engines

Synopsis

linkInInterpreter :: IO ()
linkInMCJIT :: IO ()
data GenericValue
type GenericValueRef = Ptr GenericValue
createGenericValueOfInt :: TypeRef -> CULLong -> Bool -> IO GenericValueRef
createGenericValueOfPointer :: Ptr a -> IO GenericValueRef
createGenericValueOfFloat :: TypeRef -> CDouble -> IO GenericValueRef
genericValueIntWidth :: GenericValueRef -> IO CUInt
genericValueToInt :: GenericValueRef -> Bool -> IO CULLong
genericValueToPointer :: GenericValueRef -> IO (Ptr a)
genericValueToFloat :: TypeRef -> GenericValueRef -> IO CDouble
ptrDisposeGenericValue :: FinalizerPtr GenericValue
data ExecutionEngine
type ExecutionEngineRef = Ptr ExecutionEngine
data EngineKind
- = JIT
- | Interpreter
type EngineKindSet = T CUInt EngineKind
kindJIT :: EngineKindSet
kindInterpreter :: EngineKindSet
kindEither :: EngineKindSet
createExecutionEngineKindForModuleCPU :: Ptr ExecutionEngineRef -> EngineKindSet -> ModuleRef -> Ptr CString -> IO Bool
createExecutionEngineForModule :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool
createExecutionEngineForModuleCPU :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool
createInterpreterForModule :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool
createInterpreterForModuleCPU :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool
createJITCompilerForModule :: Ptr ExecutionEngineRef -> ModuleRef -> CUInt -> Ptr CString -> IO Bool
createMCJITCompilerForModule :: Ptr ExecutionEngineRef -> ModuleRef -> MCJITCompilerOptionsRef -> CSize -> Ptr CString -> IO Bool
initializeMCJITCompilerOptions :: MCJITCompilerOptionsRef -> CSize -> IO ()
ptrDisposeExecutionEngine :: FinalizerPtr ExecutionEngine
disposeExecutionEngine :: ExecutionEngineRef -> IO ()
runStaticConstructors :: ExecutionEngineRef -> IO ()
runStaticDestructors :: ExecutionEngineRef -> IO ()
runFunctionAsMain :: ExecutionEngineRef -> ValueRef -> CUInt -> Ptr CString -> Ptr CString -> IO CInt
freeMachineCodeForFunction :: ExecutionEngineRef -> ValueRef -> IO ()
addModule :: ExecutionEngineRef -> ModuleRef -> IO ()
removeModule :: ExecutionEngineRef -> ModuleRef -> Ptr ModuleRef -> Ptr CString -> IO Bool
findFunction :: ExecutionEngineRef -> CString -> Ptr ValueRef -> IO Bool
recompileAndRelinkFunction :: ExecutionEngineRef -> ValueRef -> IO (FunPtr a)
runFunction :: ExecutionEngineRef -> ValueRef -> CUInt -> Ptr GenericValueRef -> IO GenericValueRef
getExecutionEngineTargetData :: ExecutionEngineRef -> IO TargetDataRef
addGlobalMapping :: ExecutionEngineRef -> ValueRef -> Ptr a -> IO ()
addFunctionMapping :: ExecutionEngineRef -> ValueRef -> FunPtr a -> IO ()
getPointerToGlobal :: ExecutionEngineRef -> ValueRef -> IO (Ptr a)
getPointerToFunction :: ExecutionEngineRef -> ValueRef -> IO (FunPtr a)

Linking

linkInInterpreter :: IO () Source #

linkInMCJIT :: IO () Source #

Generic values

data GenericValue Source #

type GenericValueRef = Ptr GenericValue Source #

createGenericValueOfInt :: TypeRef -> CULLong -> Bool -> IO GenericValueRef Source #

createGenericValueOfPointer :: Ptr a -> IO GenericValueRef Source #

createGenericValueOfFloat :: TypeRef -> CDouble -> IO GenericValueRef Source #

genericValueIntWidth :: GenericValueRef -> IO CUInt Source #

genericValueToInt :: GenericValueRef -> Bool -> IO CULLong Source #

genericValueToPointer :: GenericValueRef -> IO (Ptr a) Source #

genericValueToFloat :: TypeRef -> GenericValueRef -> IO CDouble Source #

ptrDisposeGenericValue :: FinalizerPtr GenericValue Source #

Execution engines

data ExecutionEngine Source #

type ExecutionEngineRef = Ptr ExecutionEngine Source #

data EngineKind Source #

Constructors

JIT
Interpreter

Instances

Bounded EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods minBound :: EngineKind # maxBound :: EngineKind #
Enum EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods succ :: EngineKind -> EngineKind # pred :: EngineKind -> EngineKind # toEnum :: Int -> EngineKind # fromEnum :: EngineKind -> Int # enumFrom :: EngineKind -> [EngineKind] # enumFromThen :: EngineKind -> EngineKind -> [EngineKind] # enumFromTo :: EngineKind -> EngineKind -> [EngineKind] # enumFromThenTo :: EngineKind -> EngineKind -> EngineKind -> [EngineKind] #
Eq EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods (==) :: EngineKind -> EngineKind -> Bool # (/=) :: EngineKind -> EngineKind -> Bool #
Ord EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods compare :: EngineKind -> EngineKind -> Ordering # (<) :: EngineKind -> EngineKind -> Bool # (<=) :: EngineKind -> EngineKind -> Bool # (>) :: EngineKind -> EngineKind -> Bool # (>=) :: EngineKind -> EngineKind -> Bool # max :: EngineKind -> EngineKind -> EngineKind # min :: EngineKind -> EngineKind -> EngineKind #
Read EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods readsPrec :: Int -> ReadS EngineKind # readList :: ReadS [EngineKind] # readPrec :: ReadPrec EngineKind # readListPrec :: ReadPrec [EngineKind] #
Show EngineKind Source #
Instance details Defined in LLVM.FFI.ExecutionEngine Methods showsPrec :: Int -> EngineKind -> ShowS # show :: EngineKind -> String # showList :: [EngineKind] -> ShowS #

type EngineKindSet = T CUInt EngineKind Source #

kindJIT :: EngineKindSet Source #

kindInterpreter :: EngineKindSet Source #

kindEither :: EngineKindSet Source #

createExecutionEngineKindForModuleCPU :: Ptr ExecutionEngineRef -> EngineKindSet -> ModuleRef -> Ptr CString -> IO Bool Source #

createExecutionEngineForModule :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool Source #

createExecutionEngineForModuleCPU :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool Source #

createInterpreterForModule :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool Source #

createInterpreterForModuleCPU :: Ptr ExecutionEngineRef -> ModuleRef -> Ptr CString -> IO Bool Source #

createJITCompilerForModule :: Ptr ExecutionEngineRef -> ModuleRef -> CUInt -> Ptr CString -> IO Bool Source #

createMCJITCompilerForModule :: Ptr ExecutionEngineRef -> ModuleRef -> MCJITCompilerOptionsRef -> CSize -> Ptr CString -> IO Bool Source #

initializeMCJITCompilerOptions :: MCJITCompilerOptionsRef -> CSize -> IO () Source #

ptrDisposeExecutionEngine :: FinalizerPtr ExecutionEngine Source #

disposeExecutionEngine :: ExecutionEngineRef -> IO () Source #

runStaticConstructors :: ExecutionEngineRef -> IO () Source #

runStaticDestructors :: ExecutionEngineRef -> IO () Source #

runFunctionAsMain Source #

Arguments

:: ExecutionEngineRef
-> ValueRef
-> CUInt
-> Ptr CString	argv
-> Ptr CString	envp
-> IO CInt

freeMachineCodeForFunction :: ExecutionEngineRef -> ValueRef -> IO () Source #

addModule :: ExecutionEngineRef -> ModuleRef -> IO () Source #

removeModule :: ExecutionEngineRef -> ModuleRef -> Ptr ModuleRef -> Ptr CString -> IO Bool Source #

findFunction :: ExecutionEngineRef -> CString -> Ptr ValueRef -> IO Bool Source #

recompileAndRelinkFunction :: ExecutionEngineRef -> ValueRef -> IO (FunPtr a) Source #

runFunction :: ExecutionEngineRef -> ValueRef -> CUInt -> Ptr GenericValueRef -> IO GenericValueRef Source #

getExecutionEngineTargetData :: ExecutionEngineRef -> IO TargetDataRef Source #

addGlobalMapping :: ExecutionEngineRef -> ValueRef -> Ptr a -> IO () Source #

disfunctional in LLVM-3.6, see https://llvm.org/bugs/show_bug.cgi?id=20656

addFunctionMapping :: ExecutionEngineRef -> ValueRef -> FunPtr a -> IO () Source #

getPointerToGlobal :: ExecutionEngineRef -> ValueRef -> IO (Ptr a) Source #

getPointerToFunction :: ExecutionEngineRef -> ValueRef -> IO (FunPtr a) Source #