Language.Fortran.Analysis.DataFlow

dominators

iDominators

type DomMap

type IDomMap

postOrder

revPostOrder

preOrder

revPreOrder

type OrderF a

dataFlowSolver

showDataFlow

type InOut t

type InOutMap t

type InF t

type OutF t

liveVariableAnalysis

reachingDefinitions

genUDMap

genDUMap

duMapToUdMap

type UDMap

type DUMap

genFlowsToGraph

type FlowsGraph a

genVarFlowsToMap

type VarFlowsMap

genBlockMap

genDefMap

type BlockMap a

type DefMap

genCallMap

type CallMap

loopNodes

genBackEdgeMap

sccWith

type BackEdgeMap

genLoopNodeMap

type LoopNodeMap

genInductionVarMap

type InductionVarMap

genInductionVarMapByASTBlock

type InductionVarMapByASTBlock

noPredNodes

genDerivedInductionMap

type DerivedInductionMap

data InductionExpr