X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Fcmm%2FCmm.hs;h=cbc60c2d74ddc029017c577cc26ed84bcb971ff5;hb=9e5cd691a00f5e53bdd735df4d5a33b72eeafedf;hp=442eb60c7d8fff7baca10ede64b328b3805615f5;hpb=0731082288212fbc6d68204b609f201b8a79149a;p=ghc-hetmet.git diff --git a/compiler/cmm/Cmm.hs b/compiler/cmm/Cmm.hs index 442eb60..cbc60c2 100644 --- a/compiler/cmm/Cmm.hs +++ b/compiler/cmm/Cmm.hs @@ -12,7 +12,7 @@ module Cmm ( CmmInfo(..), UpdateFrame(..), CmmInfoTable(..), ClosureTypeInfo(..), ProfilingInfo(..), ClosureTypeTag, GenBasicBlock(..), CmmBasicBlock, blockId, blockStmts, mapBlockStmts, - ReturnInfo(..), + CmmReturnInfo(..), CmmStmt(..), CmmActuals, CmmFormal, CmmFormals, CmmHintFormals, CmmSafety(..), CmmCallTarget(..), @@ -141,8 +141,8 @@ data ClosureTypeInfo [Maybe LocalReg] -- Forced stack parameters C_SRT -data ReturnInfo = MayReturn - | NeverReturns +data CmmReturnInfo = CmmMayReturn + | CmmNeverReturns -- TODO: These types may need refinement data ProfilingInfo = ProfilingInfo CmmLit CmmLit -- closure_type, closure_desc @@ -185,6 +185,7 @@ data CmmStmt CmmHintFormals -- zero or more results CmmActuals -- zero or more arguments CmmSafety -- whether to build a continuation + CmmReturnInfo | CmmBranch BlockId -- branch to another BB in this fn