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

LLVM.ExecutionEngine

Contents Execution engine Translation Unsafe type conversion Simplified interface.

Description

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

Synopsis

data ExecutionEngine createExecutionEngine :: ModuleProvider -> IO ExecutionEngine runStaticConstructors :: ExecutionEngine -> IO () runStaticDestructors :: ExecutionEngine -> IO () class Translatable f class Generic a generateFunction :: Translatable f => ExecutionEngine -> Value (Ptr f) -> 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

Execution engine

data ExecutionEngine Source

The type of the JITer.

createExecutionEngine :: ModuleProvider -> IO ExecutionEngine Source

Create an execution engine for a module provider.

runStaticConstructors :: ExecutionEngine -> IO () Source

runStaticDestructors :: ExecutionEngine -> IO () 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 ()

generateFunction :: Translatable f => ExecutionEngine -> Value (Ptr f) -> 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.

Produced by Haddock version 2.4.2