Analysis.Annotations

Documentation

type Report = String

data ReduceType

Constructors

Reduce

NoReduce

data AccessPatternType

Constructors

Regular

RegularAndConstants

Irregular

Undecidable

data LoopType

Constructors

Functor ReduceType

Gather ReduceType ReduceType AccessPatternType

Scatter ReduceType AccessPatternType

type A = Annotation

data Annotation

Constructors

A

Fields

indices :: [Variable]

lives :: ([Access], [Access])

arrsRead :: Map Variable [[Expr ()]]

arrsWrite :: Map Variable [[Expr ()]]

unitVar :: Int

number :: Int

refactored :: Maybe SrcLoc

successorStmts :: [Int]

newNode :: Bool

Instances

Eq Annotation

Data Annotation

Show Annotation

Renaming RenamerCoercer

PrintSlave Annotation HTMLPP

Renaming [RenamerCoercer]

PrintIndSlave (Fortran Annotation) HTMLPP

liveOut :: Annotation -> [Access]

liveIn :: Annotation -> [Access]

pRefactored :: Annotation -> Bool

unitAnnotation :: Annotation