DDC.Core.Flow.Lower

Documentation

data Config

Configuration for the lower transform.

Constructors

Config

Fields

• configMethod :: Method

Instances

Eq Config

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

Show Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

defaultConfigScalar :: Config

Config for producing code with just scalar operations.

defaultConfigKernel :: Config

Config for producing code with vector operations, where the loops just handle a size of data which is an even multiple of the vector width.

defaultConfigVector :: Config

Config for producing code with vector operations, where the loops handle arbitrary data sizes, of any number of elements.

data Method

What lowering method to use.

Constructors

MethodScalar

Produce sequential scalar code with nested loops.

MethodKernel

Produce vector kernel code that only processes an even multiple of the vector width.

Fields

• methodLifting :: Lifting

MethodVector

Try to produce sequential vector code, falling back to scalar code if this is not possible.

Fields

• methodLifting :: Lifting

Instances

Eq Method

Methods

(==) :: Method -> Method -> Bool

(/=) :: Method -> Method -> Bool

Show Method

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

data Lifting

Lifting config controls how many elements should be processed per loop iteration.

Constructors

Lifting

Fields

• liftingFactor :: Int

Instances

Eq Lifting

Methods

(==) :: Lifting -> Lifting -> Bool

(/=) :: Lifting -> Lifting -> Bool

Show Lifting

Methods

showsPrec :: Int -> Lifting -> ShowS

show :: Lifting -> String

showList :: [Lifting] -> ShowS

lowerModule :: Config -> ModuleF -> Either Error ModuleF

Take a module that contains some well formed series processes defined at top-level, and lower them into procedures.