Feldspar.Compiler.Plugins.PropagationUtils

Documentation

data VariableData

Constructors

VariableData

Fields

variableDataType :: Type

variableDataName :: String

Instances

Eq VariableData

Ord VariableData

Show VariableData

Combine (Set VariableData)

Default [(VariableData, LeftValueData ())]

Default [(VariableData, LeftValueData (), Bool)]

Default [VariableData]

Default (Maybe (VariableData, LeftValueData (), Bool))

Default (Maybe VariableData)

Default (Set VariableData)

Combine (VarStatBck, [(VariableData, LeftValueData (), Bool)])

Combine (VarStatFwd, Maybe VariableData)

variableData :: SemanticInfo t => Variable t -> VariableData

type VarStatistics t = Map VariableData (Occurrences t)

data Occurrences t

Constructors

Occurrences

Fields

writeVar :: Occurrence (Maybe t)

readVar :: Occurrence ()

Instances

Eq t => Eq (Occurrences t)

Show t => Show (Occurrences t)

Combine (Occurrences t)

data Occurrence t

Constructors

Zero

One t

Multiple

Instances

Eq t => Eq (Occurrence t)

Show t => Show (Occurrence t)

Combine (Occurrence t)

hasUse :: VarStatistics t -> VariableData -> Bool

notUse :: VarStatistics t -> VariableData -> Bool

hasRead :: VarStatistics t -> VariableData -> Bool

notRead :: VarStatistics t -> VariableData -> Bool

hasWrite :: VarStatistics t -> VariableData -> Bool

notWrite :: VarStatistics t -> VariableData -> Bool

getWrite :: VarStatistics t -> VariableData -> Maybe t

multipleVarStatistics :: VarStatistics t -> VarStatistics t

variablesInVarStatistics :: VarStatistics t -> [VariableData]

selectFromVarStatistics :: [VariableData] -> VarStatistics t -> VarStatistics t

deleteFromVarStatistics :: [VariableData] -> VarStatistics t -> VarStatistics t

data Occurrence_place

Constructors

Occurrence_read

Occurrence_write

Occurrence_declare

Occurrence_notopt

Instances

Eq Occurrence_place

Show Occurrence_place

Default Occurrence_place

class OccurrenceDownwards node where

Methods

occurrenceDownwards :: node -> Occurrence_place

Instances

OccurrenceDownwards (ActualParameter t)

OccurrenceDownwards (Assignment t)

OccurrenceDownwards (Expression t)

OccurrenceDownwards (LocalDeclaration t)

OccurrenceDownwards (FormalParameter t)

OccurrenceDownwards (ParallelLoop t)

OccurrenceDownwards (SequentialLoop t)

OccurrenceDownwards (Branch t)

declaredVar :: SemanticInfo t => LocalDeclaration t -> VariableData

declaredVars :: SemanticInfo t => Block t -> [VariableData]

delUnusedDecl :: ConvertAllInfos via to => [VariableData] -> Block via -> [LocalDeclaration to] -> Program to -> Block to

class SemInfUtils node where

Methods

deleteSemInf :: SemanticInfo t => node t -> node ()

Instances

SemInfUtils Variable

SemInfUtils ArrayConstantType

SemInfUtils BoolConstantType

SemInfUtils FloatConstantType

SemInfUtils IntConstantType

SemInfUtils ConstantData

SemInfUtils ActualParameterData

SemInfUtils ActualParameter

SemInfUtils ArrayElemReference

SemInfUtils LeftValueData

SemInfUtils LeftValue

SemInfUtils FunctionCall

SemInfUtils Constant

SemInfUtils ExpressionData

SemInfUtils Expression