llvm-0.6.3.0: Bindings to the LLVM compiler toolkit Source code Contents Index

LLVM.ExecutionEngine

Contents Execution engine Translation Unsafe type conversion Simplified interface. Target information

Description

An ExecutionEngine is JIT compiler that is used to generate code for an LLVM module.

Synopsis

data EngineAccess a runEngineAccess :: EngineAccess a -> IO a addModuleProvider :: ModuleProvider -> EngineAccess () addModule :: Module -> EngineAccess () getPointerToFunction :: Function f -> EngineAccess (FunPtr f) class Translatable f class Generic a generateFunction :: Translatable f => Value (Ptr f) -> EngineAccess f class Unsafe a b | a -> b where unsafePurify :: a -> b simpleFunction :: Translatable f => CodeGenModule (Function f) -> IO f unsafeGenerateFunction :: (Unsafe t a, Translatable t) => CodeGenModule (Function t) -> a data TargetData = TargetData { aBIAlignmentOfType :: Type -> Int aBISizeOfType :: Type -> Int littleEndian :: Bool callFrameAlignmentOfType :: Type -> Int intPtrType :: Type pointerSize :: Int preferredAlignmentOfType :: Type -> Int sizeOfTypeInBits :: Type -> Int storeSizeOfType :: Type -> Int } ourTargetData :: TargetData targetDataFromString :: String -> TargetData

Execution engine

data EngineAccess a Source

Instances Monad EngineAccess Functor EngineAccess MonadIO EngineAccess MonadState EAState EngineAccess

runEngineAccess :: EngineAccess a -> IO a Source

The LLVM execution engine is encapsulated so it cannot be accessed directly. The reason is that (currently) there must only ever be one engine, so access to it is wrapped ina monad.

addModuleProvider :: ModuleProvider -> EngineAccess () Source

addModule :: Module -> EngineAccess () Source

getPointerToFunction :: Function f -> EngineAccess (FunPtr f) Source

Translation

class Translatable f Source

Class of LLVM function types that can be translated to the corresponding Haskell type. Instances Generic a => Translatable (IO a) (Generic a, Translatable b) => Translatable (a -> b)

class Generic a Source

Instances Generic Double Generic Float Generic Int8 Generic Int16 Generic Int32 Generic Int64 Generic Word8 Generic Word16 Generic Word32 Generic Word64 Generic () Generic (Ptr a)

generateFunction :: Translatable f => Value (Ptr f) -> EngineAccess f Source

Generate a Haskell function from an LLVM function.

Unsafe type conversion

class Unsafe a b | a -> b where Source

Methods unsafePurify Source :: a -> b Remove the IO from a function return type. This is unsafe in general. Instances Unsafe (IO a) a Unsafe b b' => Unsafe (a -> b) (a -> b')

Simplified interface.

simpleFunction :: Translatable f => CodeGenModule (Function f) -> IO f Source

Translate a function to Haskell code. This is a simplified interface to the execution engine and module mechanism.

unsafeGenerateFunction :: (Unsafe t a, Translatable t) => CodeGenModule (Function t) -> a Source

Combine simpleFunction and unsafePurify.

Target information

data TargetData Source

Constructors TargetData aBIAlignmentOfType :: Type -> Int aBISizeOfType :: Type -> Int littleEndian :: Bool callFrameAlignmentOfType :: Type -> Int intPtrType :: Type pointerSize :: Int preferredAlignmentOfType :: Type -> Int sizeOfTypeInBits :: Type -> Int storeSizeOfType :: Type -> Int

ourTargetData :: TargetData Source

targetDataFromString :: String -> TargetData Source

Produced by Haddock version 2.4.2