DDC.Core.Flow.Procedure

A Procedure is an abstract imperative loop nest. The loops are represented as a separated loop anatomy, to make it easy to incrementally build them from a data flow graph expressed as a Process.

Documentation

data Procedure

An imperative procedure made up of some loops.

Constructors

Procedure

Fields

• procedureName :: Name
• procedureParamFlags :: [(Bool, BindF)]
• procedureNest :: Nest

data Nest

A loop nest.

Constructors

NestEmpty

NestList

Fields

• nestList :: [Nest]

NestLoop

Fields

• nestRate :: Type Name
• nestStart :: [StmtStart]
• nestBody :: [StmtBody]
• nestInner :: Nest
• nestEnd :: [StmtEnd]

NestGuard

Fields

• nestOuterRate :: Type Name
• nestInnerRate :: Type Name
• nestFlags :: Bound Name
• nestBody :: [StmtBody]
• nestInner :: Nest

NestSegment

Fields

• nestOuterRate :: Type Name
• nestInnerRate :: Type Name
• nestLength :: Bound Name
• nestBody :: [StmtBody]
• nestInner :: Nest

Instances

Show Nest

Methods

showsPrec :: Int -> Nest -> ShowS

show :: Nest -> String

showList :: [Nest] -> ShowS

Monoid Nest

Methods

mempty :: Nest

mappend :: Nest -> Nest -> Nest

mconcat :: [Nest] -> Nest

data Context

Constructors

ContextRate

A top-level context associated with a rate that is a parameter of the process. This context isn't created by the process itself.

Fields

• contextRate :: Type Name
• contextOps :: [Operator]
• contextInner :: [Context]

ContextSelect

A nested context created by a mkSel1# function.

Fields

• contextOuterRate :: Type Name
• contextInnerRate :: Type Name
• contextFlags :: Bound Name
• contextSelector :: Bind Name
• contextOps :: [Operator]
• contextInner :: [Context]

ContextSegment

A nested context created by a mkSegd# function.

Fields

• contextOuterRate :: Type Name
• contextInnerRate :: Type Name
• contextLens :: Bound Name
• contextSegd :: Bind Name
• contextOps :: [Operator]
• contextInner :: [Context]

ContextAppend

Fields

• contextRate1 :: Type Name
• contextInner1 :: Context
• contextRate2 :: Type Name
• contextInner2 :: Context

Instances

Show Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

data StmtStart

Statements that can appear at the start of a loop. These initialise accumulators.

Constructors

StartStmt

Evaluate a pure expression

Fields

• startResultBind :: Bind Name
• startExpression :: Exp () Name

StartVecNew

Allocate a new vector.

Fields

• startVecNewName :: Name
• startVecNewElemType :: Type Name
• startVecNewRate :: Type Name

StartAcc

Inititlise a new accumulator.

Fields

• startAccName :: Name
• startAccType :: Type Name
• startAccExp :: Exp () Name

Instances

Show StmtStart

Methods

showsPrec :: Int -> StmtStart -> ShowS

show :: StmtStart -> String

showList :: [StmtStart] -> ShowS

data StmtBody

Statements that appear in the body of a loop.

Constructors

BodyStmt

Evaluate a pure expression.

Fields

• bodyResultBind :: Bind Name

  Bind for the result

• bodyExpression :: Exp () Name

  Expression to evaluate

BodyVecWrite

Write to a vector.

Fields

• bodyVecName :: Name

  Name of the vector.

• bodyVecWriteElemType :: Type Name

  Type of the element.

• bodyVecWriteIx :: Exp () Name

  Expression for the index to write to.

• bodyVecWriteVal :: Exp () Name

  Expression for the value to write.

BodyAccRead

Read from an accumulator.

Fields

• bodyAccName :: Name

  Name of the accumulator.

• bodyAccType :: Type Name

  Type of the accumulator.

• bodyAccNameBind :: Bind Name

  Binder for the read value.

BodyAccWrite

Body of an accumulation operation. Writes to the accumulator.

Fields

• bodyAccName :: Name

  Name of the accumulator.

• bodyAccType :: Type Name

  Type of the accumulator.

• bodyAccExp :: Exp () Name

  Expression to update the accumulator.

Instances

Show StmtBody

Methods

showsPrec :: Int -> StmtBody -> ShowS

show :: StmtBody -> String

showList :: [StmtBody] -> ShowS

data StmtEnd

Statements that appear after a loop to cleanup.

Constructors

EndStmt

Generic ending statements.

Fields

• endBind :: Bind Name
• endExp :: Exp () Name

EndAcc

Read the result of an accumulator.

Fields

• endName :: Name
• endType :: Type Name
• endAccName :: Name

EndVecTrunc

Destructively truncate a vector to its final size.

Fields

• endVecName :: Name
• endVecType :: Type Name
• endVecAcc :: Bound Name

Instances

Show StmtEnd

Methods

showsPrec :: Int -> StmtEnd -> ShowS

show :: StmtEnd -> String

showList :: [StmtEnd] -> ShowS