diff options
author | Norman Ramsey <nr@eecs.harvard.edu> | 2007-08-20 19:54:41 +0000 |
---|---|---|
committer | Norman Ramsey <nr@eecs.harvard.edu> | 2007-08-20 19:54:41 +0000 |
commit | bb66ce578f2ef5cbeb35de9719f0839a32fbeb35 (patch) | |
tree | 9693da263a4b9f452c4e856c6e93023f6223bb0b /compiler/cmm/Cmm.hs | |
parent | fdd372f92ee59d474f7073ba8d8b8d41956a952b (diff) | |
download | haskell-bb66ce578f2ef5cbeb35de9719f0839a32fbeb35.tar.gz |
put CmmReturnInfo into a CmmCall (and related types)
Diffstat (limited to 'compiler/cmm/Cmm.hs')
-rw-r--r-- | compiler/cmm/Cmm.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/cmm/Cmm.hs b/compiler/cmm/Cmm.hs index 442eb60c7d..cbc60c2d74 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 |