Synthesizer.LLVM.Generator.Render

Documentation

derefFillPtr :: Importer (Ptr param -> Word -> Ptr struct -> IO Word)

compile :: (C a, T a ~ value, C param, Struct param ~ paramStruct) => (Exp param -> T value) -> IO (Ptr paramStruct -> Word -> Ptr a -> IO Word)

runAux :: (C p, C a, T a ~ value) => (Exp p -> T value) -> IO (IO () -> Int -> p -> IO (Vector a))

run_ :: (C p, C a, T a ~ value) => (Exp p -> T value) -> IO (Int -> p -> IO (Vector a))

derefStartPtr :: Importer (Ptr param -> IO (Ptr globalState))

derefStopPtr :: Importer (Ptr globalState -> IO ())

derefChunkPtr :: Importer (Ptr globalState -> Word -> Ptr a -> IO Word)

type MemoryPtr a = Ptr (Struct a)

type WithGlobalState param = Struct (param, ())

type Pair a b = Struct (a, (b, ()))

type Triple a b c = Struct (a, (b, (c, ())))

tripleStruct :: (IsSized a, IsSized b, IsSized c) => Value a -> Value b -> Value c -> CodeGenFunction r (Value (Triple a b c))

compileHandler :: (C param, Struct param ~ paramStruct, C a, T a ~ value) => (Exp param -> T value) -> CodeGenModule (Function (Word8 -> Ptr paramStruct -> Word -> Ptr a -> IO (Pair (Ptr (WithGlobalState paramStruct)) Word)))

This is a pretty ugly hack, but its seems to be the least ugly one. We need to solve the following problem: We have a function of type Exp param -> T value. This means that all methods in T value depend on Exp param. We need to choose one piece of LLVM code in Exp param that generates appropriate code for all methods in T value. If we access a function parameter via Memory.load paramPtr this means that all methods must end up in the same LLVM function in order to access this parameter. Thus I have to put all functionality in one LLVM function and then the three functions in compileChunky jump into the handler function with a Word8 code specifying the actual sub-routine. We need to squeeze all possible inputs and outputs through one function interface.

However, since the handler is marked as internal the optimizer inlines it in the three functions from compileChunky and eliminates dead code. This way, we end up with the code that we would have written otherwise.

The alternative would be to construct T value multiple times. Due to existential quantification we cannot prove that the pointer types of different methods match, so we need to cast pointers. However, with the current approach we also have to do that.

compileChunky :: (IsSized paramStruct, Value (Ptr paramStruct) ~ pPtr, C state, Struct state ~ stateStruct, C global, Struct global ~ globalStruct, Triple paramStruct globalStruct stateStruct ~ triple, IsSized local, C a, T a ~ value) => (forall r z. Phi z => pPtr -> global -> Value (Ptr local) -> () -> state -> T r z (value, state)) -> (forall r. pPtr -> CodeGenFunction r (global, state)) -> (forall r. pPtr -> global -> CodeGenFunction r ()) -> IO (Ptr paramStruct -> IO (Ptr triple), Finalizer triple, Ptr triple -> Word -> Ptr a -> IO Word)

runChunkyAux :: (C a, T a ~ value, C p) => (Exp p -> T value) -> IO (IO () -> ChunkSize -> p -> IO (Vector a))

runChunky :: (C a, T a ~ value, C p) => (Exp p -> T value) -> IO (ChunkSize -> p -> IO (Vector a))

runChunkyOnVector :: (C a, T a ~ al) => (C b, T b ~ bl) => (T al -> T bl) -> IO (ChunkSize -> Vector a -> IO (Vector b))

class Run f where

Associated Types

type DSL f

type Shape f

Methods

build :: C p => (Exp p -> DSL f) -> IO (IO (p, IO ()) -> Shape f -> f)

Instances

RunIO a => Run (IO a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL (IO a)

type Shape (IO a)

Methods

build :: C p => (Exp p -> DSL (IO a)) -> IO (IO (p, IO ()) -> Shape (IO a) -> IO a)

C a => Run (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL (Vector a)

type Shape (Vector a)

Methods

build :: C p => (Exp p -> DSL (Vector a)) -> IO (IO (p, IO ()) -> Shape (Vector a) -> Vector a)

C a => Run (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL (Vector a)

type Shape (Vector a)

Methods

build :: C p => (Exp p -> DSL (Vector a)) -> IO (IO (p, IO ()) -> Shape (Vector a) -> Vector a)

(RunArg a, Run f) => Run (a -> f)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL (a -> f)

type Shape (a -> f)

Methods

build :: C p => (Exp p -> DSL (a -> f)) -> IO (IO (p, IO ()) -> Shape (a -> f) -> a -> f)

class RunIO a where

Associated Types

type DSL_IO a

type ShapeIO a

Methods

buildIO :: C p => (Exp p -> T (DSL_IO a)) -> IO (IO (p, IO ()) -> ShapeIO a -> IO a)

Instances

C a => RunIO (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL_IO (Vector a)

type ShapeIO (Vector a)

Methods

buildIO :: C p => (Exp p -> T (DSL_IO (Vector a))) -> IO (IO (p, IO ()) -> ShapeIO (Vector a) -> IO (Vector a))

C a => RunIO (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSL_IO (Vector a)

type ShapeIO (Vector a)

Methods

buildIO :: C p => (Exp p -> T (DSL_IO (Vector a))) -> IO (IO (p, IO ()) -> ShapeIO (Vector a) -> IO (Vector a))

buildIOGen :: Monad m => (final -> shape -> p -> m a) -> m (p, final) -> shape -> m a

data BuildArg a

Constructors

forall al.C al => BuildArg (Exp al -> DSLArg a) (a -> IO (al, IO ()))

class RunArg a where

Associated Types

type DSLArg a

Methods

buildArg :: BuildArg a

Instances

RunArg Word32

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg Word32

Methods

buildArg :: BuildArg Word32

RunArg ()

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg ()

Methods

buildArg :: BuildArg ()

RunArg Float

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg Float

Methods

buildArg :: BuildArg Float

RunArg Int

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg Int

Methods

buildArg :: BuildArg Int

RunArg Word

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg Word

Methods

buildArg :: BuildArg Word

a ~ ChunkSize => RunArg (T a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (T a)

Methods

buildArg :: BuildArg (T a)

RunArg a => RunArg (T a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (T a)

Methods

buildArg :: BuildArg (T a)

C a => RunArg (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (Vector a)

Methods

buildArg :: BuildArg (Vector a)

C a => RunArg (Vector a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (Vector a)

Methods

buildArg :: BuildArg (Vector a)

C a => RunArg (Buffer a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (Buffer a)

Methods

buildArg :: BuildArg (Buffer a)

RunArg a => RunArg (SampleRate a)

Defined in Synthesizer.LLVM.Server.Common

Associated Types

type DSLArg (SampleRate a)

Methods

buildArg :: BuildArg (SampleRate a)

(time ~ T int, TimeInteger int, C a) => RunArg (T time a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (T time a)

Methods

buildArg :: BuildArg (T time a)

(Natural n, C a, IsSized (Struct a), Natural (n :*: SizeOf (Struct a))) => RunArg (Array n a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (Array n a)

Methods

buildArg :: BuildArg (Array n a)

(RunArg a, RunArg b) => RunArg (a, b)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (a, b)

Methods

buildArg :: BuildArg (a, b)

(RunArg a, RunArg b, RunArg c) => RunArg (a, b, c)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (a, b, c)

Methods

buildArg :: BuildArg (a, b, c)

primitiveArg :: (C a, DSLArg a ~ Exp a) => BuildArg a

newtype Buffer a

Constructors

Buffer (Vector a)

Instances

C a => RunArg (Buffer a)

Defined in Synthesizer.LLVM.Generator.Render

Associated Types

type DSLArg (Buffer a)

Methods

buildArg :: BuildArg (Buffer a)

type DSLArg (Buffer a)

Defined in Synthesizer.LLVM.Generator.Render

type DSLArg (Buffer a) = Exp (StorableVector a)

buffer :: Vector a -> Buffer a

newDisposeArg :: C handle => (a -> IO handle) -> (handle -> IO ()) -> (Exp handle -> DSLArg a) -> BuildArg a

class TimeInteger int where

Methods

subdivideLong :: T (T int) a -> T Int a

Instances

TimeInteger Integer

Defined in Synthesizer.LLVM.Generator.Render

Methods

subdivideLong :: T (T Integer) a -> T Int a

TimeInteger Int

Defined in Synthesizer.LLVM.Generator.Render

Methods

subdivideLong :: T (T Int) a -> T Int0 a

run :: Run f => DSL f -> IO (Shape f -> f)