Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Documentation

data Parameter a

Constructors

Parameter (Vector D3 a) (Vector D3 a)

parameterPlain :: C a => a -> a -> Parameter a

parameter :: (Transcendental a, RationalConstant a) => Exp a -> Exp a -> ParameterExp a

causal :: (Vector n a, n ~ D3, PseudoRing a) => T (ParameterMV a, T (T a)) (T (T a))

data ParameterMV a

Instances

Vector D3 a => C (ParameterMV a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Associated Types

type Struct (ParameterMV a)

Methods

load :: Value (Ptr (Struct (ParameterMV a))) -> CodeGenFunction r (ParameterMV a)

store :: ParameterMV a -> Value (Ptr (Struct (ParameterMV a))) -> CodeGenFunction r ()

decompose :: Value (Struct (ParameterMV a)) -> CodeGenFunction r (ParameterMV a)

compose :: ParameterMV a -> CodeGenFunction r (Value (Struct (ParameterMV a)))

C a => Phi (ParameterMV a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Methods

phi :: BasicBlock -> ParameterMV a -> CodeGenFunction r (ParameterMV a)

addPhi :: BasicBlock -> ParameterMV a -> ParameterMV a -> CodeGenFunction r ()

C a => Undefined (ParameterMV a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

Methods

undef :: ParameterMV a

(Vector n a, n ~ D3, PseudoRing a, inp ~ T a, out ~ T a) => C (ParameterMV a) (T inp) (T out)

Defined in Synthesizer.LLVM.Causal.Controlled

Associated Types

type Input (ParameterMV a) (T out)

type Output (ParameterMV a) (T inp)

Methods

process :: T0 (ParameterMV a, T inp) (T out)

type ExpressionsOf (ParameterMV a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

type ExpressionsOf (ParameterMV a)

type Struct (ParameterMV a)

Defined in Synthesizer.LLVM.Filter.ComplexFirstOrderPacked

type Struct (ParameterMV a)

type Input (ParameterMV a) (T out)

Defined in Synthesizer.LLVM.Causal.Controlled

type Input (ParameterMV a) (T out) = T out

type Output (ParameterMV a) (T inp)

Defined in Synthesizer.LLVM.Causal.Controlled

type Output (ParameterMV a) (T inp) = T inp