X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmmZipUtil.hs;h=6a343f836f354e51e283fab57c58212b5aa33ed8;hb=d21cf8c349a332b2900f13779ba0a8856b5f034a;hp=aa547e98afd3f9e38bb325e404b57203a952bfe3;hpb=0d80489c9b9f2421f65d8dd86c1e50c6bb429715;p=ghc-hetmet.git diff --git a/compiler/cmm/CmmZipUtil.hs b/compiler/cmm/CmmZipUtil.hs index aa547e9..6a343f8 100644 --- a/compiler/cmm/CmmZipUtil.hs +++ b/compiler/cmm/CmmZipUtil.hs @@ -11,7 +11,7 @@ import ZipCfg import Maybes import UniqSet --- | Compute the predecessors of each *reachable* block +-- | Compute the predecessors of each /reachable/ block zipPreds :: LastNode l => LGraph m l -> BlockEnv BlockSet zipPreds g = foldl add emptyBlockEnv (postorder_dfs g) where add env block@(Block id _) = @@ -25,7 +25,7 @@ zipPreds g = foldl add emptyBlockEnv (postorder_dfs g) givesUniquePredecessorTo :: LastNode l => LGraph m l -> BlockId -> Bool givesUniquePredecessorTo g = \id -> elemBlockSet id singlePreds - -- | accumulates a pair of sets: the set of all blocks containing a single + -- accumulates a pair of sets: the set of all blocks containing a single -- predecessor, and the set of all blocks containing at least two predecessors where (singlePreds, _) = fold_blocks add (emptyBlockSet, emptyBlockSet) g add b (single, multi) = foldl add_pred (single, multi) (succs b)