feldspar-compiler-0.3.1: Compiler for the Feldspar language Source code Contents Index

Feldspar.Compiler.Plugins.PropagationUtils

Documentation

data VariableData Source

Constructors VariableData 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 Source

type VarStatistics t = Map VariableData (Occurrences t) Source

data Occurrences t Source

Constructors Occurrences writeVar :: Occurrence (Maybe t) readVar :: Occurrence () Instances Eq t => Eq (Occurrences t) Show t => Show (Occurrences t) Combine (Occurrences t)

data Occurrence t Source

Constructors Zero One t Multiple Instances Eq t => Eq (Occurrence t) Show t => Show (Occurrence t) Combine (Occurrence t)

hasUse :: VarStatistics t -> VariableData -> Bool Source

notUse :: VarStatistics t -> VariableData -> Bool Source

hasRead :: VarStatistics t -> VariableData -> Bool Source

notRead :: VarStatistics t -> VariableData -> Bool Source

hasWrite :: VarStatistics t -> VariableData -> Bool Source

notWrite :: VarStatistics t -> VariableData -> Bool Source

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

multipleVarStatistics :: VarStatistics t -> VarStatistics t Source

variablesInVarStatistics :: VarStatistics t -> [VariableData] Source

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

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

data Occurrence_place Source

Constructors Occurrence_read Occurrence_write Occurrence_declare Occurrence_notopt Instances Eq Occurrence_place Show Occurrence_place Default Occurrence_place

class OccurrenceDownwards node where Source

Methods occurrenceDownwards :: node -> Occurrence_place Source 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 Source

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

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

class SemInfUtils node where Source

Methods deleteSemInf :: SemanticInfo t => node t -> node () Source 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

Produced by Haddock version 2.6.1