X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcodeGen%2FCgUtils.hs;h=213b9ea4a046365b2e7e69b727b269d40c19768a;hb=8ef97aa30a33fb3b536252b2c0459cdf0fd5236f;hp=3861ddf8883e9c6e4465f4c255b22391672e118a;hpb=535e1a3538e67701cfedbdb1bffcea4428ccea23;p=ghc-hetmet.git diff --git a/compiler/codeGen/CgUtils.hs b/compiler/codeGen/CgUtils.hs index 3861ddf..213b9ea 100644 --- a/compiler/codeGen/CgUtils.hs +++ b/compiler/codeGen/CgUtils.hs @@ -53,6 +53,7 @@ module CgUtils ( #include "HsVersions.h" #include "../includes/MachRegs.h" +import BlockId import CgMonad import TyCon import DataCon @@ -333,24 +334,24 @@ emitIfThenElse cond then_part else_part ; labelC join_id } -emitRtsCall :: LitString -> [CmmHinted CmmExpr] -> Bool -> Code +emitRtsCall :: LitString -> [CmmKinded CmmExpr] -> Bool -> Code emitRtsCall fun args safe = emitRtsCall' [] fun args Nothing safe -- The 'Nothing' says "save all global registers" -emitRtsCallWithVols :: LitString -> [CmmHinted CmmExpr] -> [GlobalReg] -> Bool -> Code +emitRtsCallWithVols :: LitString -> [CmmKinded CmmExpr] -> [GlobalReg] -> Bool -> Code emitRtsCallWithVols fun args vols safe = emitRtsCall' [] fun args (Just vols) safe emitRtsCallWithResult :: LocalReg -> MachHint -> LitString - -> [CmmHinted CmmExpr] -> Bool -> Code + -> [CmmKinded CmmExpr] -> Bool -> Code emitRtsCallWithResult res hint fun args safe - = emitRtsCall' [CmmHinted res hint] fun args Nothing safe + = emitRtsCall' [CmmKinded res hint] fun args Nothing safe -- Make a call to an RTS C procedure emitRtsCall' :: CmmFormals -> LitString - -> [CmmHinted CmmExpr] + -> [CmmKinded CmmExpr] -> Maybe [GlobalReg] -> Bool -- True <=> CmmSafe call -> Code @@ -438,7 +439,7 @@ get_Regtable_addr_from_offset rep offset = #endif --- | Returns 'True' if this global register is stored in a caller-saves +-- | Returns @True@ if this global register is stored in a caller-saves -- machine register. callerSaves :: GlobalReg -> Bool @@ -903,7 +904,7 @@ doSimultaneously1 vertices edges_from stmt1 = [ key2 | (key2, stmt2) <- vertices, stmt1 `mustFollow` stmt2 ] - components = stronglyConnComp edges + components = stronglyConnCompFromEdgedVertices edges -- do_components deal with one strongly-connected component -- Not cyclic, or singleton? Just do it