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

Feldspar.Compiler.Optimization.Simplification

Documentation

doSimplification :: [ImpFunction] -> [ImpFunction] Source

doSimplificationOne :: ImpFunction -> ImpFunction Source

class ComputeSemInfVar t where Source

Methods computeSemInfVar :: t -> (t, VariableMap) Source Instances ComputeSemInfVar Program ComputeSemInfVar Declaration ComputeSemInfVar CompleteProgram ComputeSemInfVar ImpFunction ComputeSemInfVar a => ComputeSemInfVar [a]

type PropagateMap = Map String (Maybe ImpLangExpr) Source

type DelSet = Set String Source

class Simplification a where Source

Methods propagate :: PropagateMap -> a -> (a, PropagateMap) Source delUnused :: DelSet -> a -> a Source backward :: a -> a Source writesVar :: a -> String -> Bool Source readsVar :: a -> String -> Bool Source Instances Simplification SemInfPrim Simplification Program Simplification CompleteProgram Simplification ImpFunction Simplification Parameter Simplification Instruction Simplification LeftValue Simplification ImpLangExpr Simplification a => Simplification [a]

makePropagateMap :: [Declaration] -> PropagateMap Source

purgePropagateMap :: PropagateMap -> [Declaration] -> PropagateMap Source

combineExpr :: Maybe ImpLangExpr -> Maybe ImpLangExpr -> Maybe ImpLangExpr Source

makeUnusedSet :: [Declaration] -> ([Declaration], DelSet) Source

readsVarHelp :: LeftValue -> String -> Bool Source

doBackward :: [Declaration] -> [Program] -> CompleteProgram Source

backwardRec :: [Declaration] -> ([Program], [Program]) -> (Bool, [Declaration], [Program]) Source

backwardPossible :: [Declaration] -> [Program] -> Program -> [Program] -> Maybe (LeftValue, String, Program) Source

backwardRepl :: LeftValue -> String -> [Declaration] -> [Program] -> [Program] -> ([Declaration], [Program]) Source

toPrgList :: Program -> [Program] Source

declares :: String -> Declaration -> Bool Source

Produced by Haddock version 2.6.0