camfort-0.700: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Analysis.Annotations

Documentation

type Report = String Source

data ReduceType Source

Constructors

Reduce 
NoReduce 

data AccessPatternType Source

Constructors

Regular 
RegularAndConstants 
Irregular 
Undecidable 

data LoopType Source

Constructors

Functor ReduceType 
Gather ReduceType ReduceType AccessPatternType 
Scatter ReduceType AccessPatternType 

type A = Annotation Source

data Annotation Source

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

liveOut :: Annotation -> [Access] Source

liveIn :: Annotation -> [Access] Source

pRefactored :: Annotation -> Bool Source

unitAnnotation :: Annotation Source