Camfort.Specification.Stencils.Generate

Documentation

type EvalLog = [(String, Variable)]

data Neighbour

Representation for indices as either: * neighbour indices * constant * non neighbour index

Constructors

Neighbour Variable Int

Constant (Value ())

NonNeighbour

Instances

Eq Neighbour

Defined in Camfort.Specification.Stencils.Generate

Methods

(==) :: Neighbour -> Neighbour -> Bool

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

Show Neighbour

Defined in Camfort.Specification.Stencils.Generate

Methods

showsPrec :: Int -> Neighbour -> ShowS

show :: Neighbour -> String

showList :: [Neighbour] -> ShowS

extractRelevantIVS :: (Spanned (ast (Analysis a)), Annotated ast) => InductionVarMapByASTBlock -> ast (Analysis a) -> [Variable]

Given an induction variable map, and a piece of syntax return a list of induction variables in scope for this index

genOffsets :: (Data a, Show a, Eq a) => [Neighbour] -> [Block (Analysis a)] -> StencilInferer a [(Variable, (Bool, [[Int]]))]

genSpecifications :: (Data a, Show a, Eq a) => [Neighbour] -> Block (Analysis a) -> StencilInferer a ([([Variable], Specification)], [Int])

isArraySubscript :: Expression (Analysis a) -> Maybe [Index (Analysis a)]

Match expressions which are array subscripts, returning Just of their index expressions, else Nothing

neighbourIndex :: Data a => InductionVarMapByASTBlock -> [Index (Analysis a)] -> Maybe [Neighbour]

Given an induction-variable-map, convert a list of indices to Maybe a list of constant or neighbourhood indices. If any are non neighbourhood then return Nothing

runStencilInferer :: StencilInferer ann a -> [Variable] -> FlowsGraph ann -> StencilsAnalysis (a, EvalLog)

isVariableExpr :: Expression a -> Bool

convIxToNeighbour :: Data a => [Variable] -> Index (Analysis a) -> Neighbour

Given a list of induction variables and an index, compute its Neighbour representation e.g., for the expression a(i+1,j-1) then this function gets passed expr = i + 1 (returning +1) and expr = j - 1 (returning -1)

indicesToRelativisedOffsets :: Data a => Variable -> [Neighbour] -> Indices a -> StencilInferer a (Maybe (Bool, [[Int]]))

indicesToSpec :: Data a => Variable -> [Neighbour] -> Indices a -> StencilInferer a (Maybe Specification)

neighbourToOffset :: Neighbour -> Maybe Int

relativise :: [Neighbour] -> [[Neighbour]] -> [[Neighbour]]

consistentIVSuse :: [Neighbour] -> [[Neighbour]] -> Bool