suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed the backend passes in BackendPasses to not use the everywhere(M) function

Browse Source
This commit is contained in:
Neil Brown 2008-02-23 18:33:16 +00:00
parent 6a3452f8cd
commit 635f7bf1b0
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
backends/BackendPasses.hs
View File

@ -28,12 +28,15 @@ import CompState
import Pass import Pass
-- | Identify processes that we'll need to compute the stack size of. -- | Identify processes that we'll need to compute the stack size of.
identifyParProcs :: Data t => t -> PassM t identifyParProcs :: Pass
identifyParProcs = everywhereM (mkM doProcess) identifyParProcs = everywhereM (mkM doProcess)
where where
doGeneric :: Data t => t -> PassM t
doGeneric = makeGeneric identifyParProcs
doProcess :: A.Process -> PassM A.Process doProcess :: A.Process -> PassM A.Process
doProcess p@(A.Par _ _ s) = findProcs s >> return p doProcess p@(A.Par _ _ s) = findProcs s >> return p
doProcess p = return p doProcess p = doGeneric p
findProcs :: A.Structured A.Process -> PassM () findProcs :: A.Structured A.Process -> PassM ()
findProcs (A.Rep _ _ s) = findProcs s findProcs (A.Rep _ _ s) = findProcs s
@ -44,15 +47,18 @@ identifyParProcs = everywhereM (mkM doProcess)
= modify (\cs -> cs { csParProcs = Set.insert n (csParProcs cs) }) = modify (\cs -> cs { csParProcs = Set.insert n (csParProcs cs) })
transformWaitFor :: Data t => t -> PassM t transformWaitFor :: Data t => t -> PassM t
transformWaitFor = everywhereM (mkM doAlt) transformWaitFor = doGeneric `extM` doAlt
where where
doGeneric :: Data t => t -> PassM t
doGeneric = makeGeneric transformWaitFor
doAlt :: A.Process -> PassM A.Process doAlt :: A.Process -> PassM A.Process
doAlt a@(A.Alt m pri s) doAlt a@(A.Alt m pri s)
= do (a',(specs,code)) <- runStateT (everywhereM (mkM doWaitFor) a) ([],[]) = do (s',(specs,code)) <- runStateT (applyToOnly doWaitFor s) ([],[])
if (null specs && null code) if (null specs && null code)
then return a then return a
else return $ A.Seq m $ foldr addSpec (A.Several m (code ++ [A.Only m a'])) specs else return $ A.Seq m $ foldr addSpec (A.Several m (code ++ [A.Only m $ A.Alt m pri s'])) specs
doAlt p = return p doAlt p = doGeneric p
addSpec :: Data a => (A.Structured a -> A.Structured a) -> A.Structured a -> A.Structured a addSpec :: Data a => (A.Structured a -> A.Structured a) -> A.Structured a -> A.Structured a
addSpec spec inner = spec inner addSpec spec inner = spec inner