Searched refs:DataflowLattice (Results 1 – 4 of 4) sorted by relevance
25 , DataflowLattice(..), OldFact(..), NewFact(..), JoinedFact(..)75 data DataflowLattice a = DataflowLattice constructor93 :: DataflowLattice f103 -> DataflowLattice f121 -> DataflowLattice f157 :: DataflowLattice f166 -> DataflowLattice f184 -> DataflowLattice f361 getFact :: DataflowLattice f -> Label -> FactBase f -> f378 joinFacts :: DataflowLattice f -> [f] -> f[all …]
38 liveLattice :: Ord r => DataflowLattice (CmmLive r)41 liveLattice = DataflowLattice emptyRegSet add
161 procPointLattice :: DataflowLattice Status162 procPointLattice = DataflowLattice unreached add_to
405 cafLattice :: DataflowLattice CAFSet406 cafLattice = DataflowLattice Set.empty add