Camfort.Specification.Stencils.InferenceFrontend

Documentation

data InferMode

Constructors

DoMode

AssignMode

CombinedMode

EvalMode

Synth

Instances

Eq InferMode

Methods

(==) :: InferMode -> InferMode -> Bool

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

Data InferMode

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InferMode -> c InferMode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InferMode

toConstr :: InferMode -> Constr

dataTypeOf :: InferMode -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c InferMode)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InferMode)

gmapT :: (forall b. Data b => b -> b) -> InferMode -> InferMode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InferMode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InferMode -> r

gmapQ :: (forall d. Data d => d -> u) -> InferMode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InferMode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InferMode -> m InferMode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InferMode -> m InferMode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InferMode -> m InferMode

Read InferMode

Methods

readsPrec :: Int -> ReadS InferMode

readList :: ReadS [InferMode]

readPrec :: ReadPrec InferMode

readListPrec :: ReadPrec [InferMode]

Show InferMode

Methods

showsPrec :: Int -> InferMode -> ShowS

show :: InferMode -> String

showList :: [InferMode] -> ShowS

Default InferMode

Methods

defaultValue :: InferMode

data InferState

Constructors

IS

Fields

• ivMap :: InductionVarMapByASTBlock
• hasSpec :: [(SrcSpan, Variable)]

type EvalLog = [(String, Variable)]

type LogLine = (SrcSpan, Either [([Variable], Specification)] (String, Variable))

type Inferer = WriterT [LogLine] (ReaderT (Cycles, ProgramUnitName) (State InferState))

type Cycles = [(Name, Name)]

type Params = (?flowsGraph :: FlowsGraph A, ?nameMap :: NameMap)

runInferer :: InductionVarMapByASTBlock -> Cycles -> ProgramUnitName -> Inferer a -> (a, [LogLine])

stencilInference :: NameMap -> InferMode -> ProgramFile (Analysis A) -> (ProgramFile (Analysis A), [LogLine])

findVarFlowCycles :: Data a => ProgramFile a -> [(Name, Name)]

Return list of variable names that flow into themselves via a 2-cycle

findVarFlowCycles' :: Data a => ProgramFile (Analysis a) -> [(Name, Name)]

1 . Core inference over blocks

genSpecsAndReport :: Params => InferMode -> SrcSpan -> [Neighbour] -> [Block (Analysis A)] -> Inferer [([Variable], Specification)]

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

fromJustMsg :: [Char] -> Maybe t -> t

perBlockInfer :: Params => InferMode -> Block (Analysis A) -> Inferer (Block (Analysis A))

genSpecifications :: Params => InductionVarMapByASTBlock -> [Neighbour] -> [Block (Analysis A)] -> Writer EvalLog [([Variable], Specification)]

genSubscripts :: Params => Bool -> Block (Analysis A) -> State [Int] (Map Variable [[Index (Analysis A)]])

genRHSsubscripts :: Block (Analysis A) -> Map Variable [[Index (Analysis A)]]

getInductionVar :: Maybe (DoSpecification (Analysis A)) -> [Variable]

isStencilDo :: Block (Analysis A) -> Bool

2 .Conversion from indexing expressions

padZeros :: [[Int]] -> [[Int]]

indicesToSpec :: InductionVarMapByASTBlock -> Variable -> [Neighbour] -> [[Index (Analysis Annotation)]] -> Writer EvalLog (Maybe Specification)

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

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

relativeIxsToSpec :: [[Int]] -> Maybe Specification

isNeighbour :: Data a => Index (Analysis a) -> [Variable] -> Bool

neighbourIndex :: InductionVarMapByASTBlock -> [Index (Analysis Annotation)] -> Maybe [Neighbour]

data Neighbour

Constructors

Neighbour Variable Int

Constant (Value ())

NonNeighbour

Instances

Eq Neighbour

Methods

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

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

Show Neighbour

Methods

showsPrec :: Int -> Neighbour -> ShowS

show :: Neighbour -> String

showList :: [Neighbour] -> ShowS

neighbourToOffset :: Neighbour -> Maybe Int

ixToNeighbour :: InductionVarMapByASTBlock -> Index (Analysis Annotation) -> Neighbour

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

expToNeighbour :: forall a. Data a => [Variable] -> Expression (Analysis a) -> Neighbour

isUnaryOrBinaryExpr :: Expression a -> Bool

isVariableExpr :: Expression a -> Bool