DDC.Core.Flow.Lower

Documentation

data Config

Configuration for the lower transform.

Constructors

Config

Fields

configMethod :: Method

Instances

Eq Config

Show Config

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

Show Method

data Lifting

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

Constructors

Lifting

Fields

liftingFactor :: Int

Instances

Eq Lifting

Show Lifting

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.