ZipDataflow

Synopsis

• class (Outputable m, Outputable l, LastNode l, Outputable (LGraph m l)) => DebugNodes m l
• data RewritingDepth
  • = RewriteShallow
  • | RewriteDeep
• newtype LastOutFacts a = LastOutFacts [(BlockId, a)]
• zdfSolveFrom :: (DataflowSolverDirection transfers fixedpt, DebugNodes m l, Outputable a) => BlockEnv a -> PassName -> DataflowLattice a -> transfers m l a -> a -> Graph m l -> FuelMonad (fixedpt m l a ())
• zdfRewriteFrom :: (DataflowDirection transfers fixedpt rewrites, DebugNodes m l, Outputable a) => RewritingDepth -> BlockEnv a -> PassName -> DataflowLattice a -> transfers m l a -> rewrites m l a -> a -> Graph m l -> FuelMonad (fixedpt m l a (Graph m l))
• zdfSolveFromL :: (DataflowSolverDirection transfers fixedpt, DebugNodes m l, Outputable a) => BlockEnv a -> PassName -> DataflowLattice a -> transfers m l a -> a -> LGraph m l -> FuelMonad (fixedpt m l a ())
• data ForwardTransfers middle last a = ForwardTransfers {
  • ft_first_out :: BlockId -> a -> a
  • ft_middle_out :: middle -> a -> a
  • ft_last_outs :: last -> a -> LastOutFacts a
  • ft_exit_out :: a -> a
  }
• data BackwardTransfers middle last a = BackwardTransfers {
  • bt_first_in :: BlockId -> a -> a
  • bt_middle_in :: middle -> a -> a
  • bt_last_in :: last -> (BlockId -> a) -> a
  }
• data ForwardRewrites middle last a = ForwardRewrites {
  • fr_first :: BlockId -> a -> Maybe (AGraph middle last)
  • fr_middle :: middle -> a -> Maybe (AGraph middle last)
  • fr_last :: last -> a -> Maybe (AGraph middle last)
  • fr_exit :: a -> Maybe (AGraph middle last)
  }
• data BackwardRewrites middle last a = BackwardRewrites {
  • br_first :: BlockId -> a -> Maybe (AGraph middle last)
  • br_middle :: middle -> a -> Maybe (AGraph middle last)
  • br_last :: last -> (BlockId -> a) -> Maybe (AGraph middle last)
  • br_exit :: Maybe (AGraph middle last)
  }
• data ForwardFixedPoint m l fact a
• type BackwardFixedPoint = CommonFixedPoint
• zdfFpFacts :: FixedPoint fp => fp m l fact a -> BlockEnv fact
• zdfFpOutputFact :: FixedPoint fp => fp m l fact a -> fact
• zdfGraphChanged :: FixedPoint fp => fp m l fact a -> ChangeFlag
• zdfDecoratedGraph :: FixedPoint fp => fp m l fact a -> Graph (fact, m) (fact, l)
• zdfFpContents :: FixedPoint fp => fp m l fact a -> a
• zdfFpLastOuts :: ForwardFixedPoint m l fact a -> LastOutFacts fact
• zdfBRewriteFromL :: (DebugNodes m l, Outputable a) => RewritingDepth -> BlockEnv a -> PassName -> DataflowLattice a -> BackwardTransfers m l a -> BackwardRewrites m l a -> a -> LGraph m l -> FuelMonad (BackwardFixedPoint m l a (LGraph m l))
• zdfFRewriteFromL :: (DebugNodes m l, Outputable a) => RewritingDepth -> BlockEnv a -> PassName -> DataflowLattice a -> ForwardTransfers m l a -> ForwardRewrites m l a -> a -> LGraph m l -> FuelMonad (ForwardFixedPoint m l a (LGraph m l))

Documentation