diff options
| author | dias@eecs.harvard.edu <unknown> | 2008-10-14 16:54:37 +0000 |
|---|---|---|
| committer | dias@eecs.harvard.edu <unknown> | 2008-10-14 16:54:37 +0000 |
| commit | 41f7ea2f3c5bc25a4a910583a9b455e88e983519 (patch) | |
| tree | 6229d5e7215128676cc31a60acd44e4d1dd2cef0 /compiler | |
| parent | e13a12b7b217ecea358f4dd853d27ffa44d161c8 (diff) | |
| download | haskell-41f7ea2f3c5bc25a4a910583a9b455e88e983519.tar.gz | |
Keep update frames live even in functions that never return
An unusual case, but without it:
(a) we had an assertion failure
(b) we can overwrite the caller's infotable, which might cause
the garbage collector to collect live data.
Better to keep the update frame live at all call sites,
not just at returns.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/cmm/CmmStackLayout.hs | 12 | ||||
| -rw-r--r-- | compiler/cmm/ZipCfgCmmRep.hs | 3 |
2 files changed, 12 insertions, 3 deletions
diff --git a/compiler/cmm/CmmStackLayout.hs b/compiler/cmm/CmmStackLayout.hs index 60f4b5c99a..a2ba3f39c4 100644 --- a/compiler/cmm/CmmStackLayout.hs +++ b/compiler/cmm/CmmStackLayout.hs @@ -136,12 +136,20 @@ liveLastIn env l = liveInSlots (liveLastOut env l) l -- Don't forget to keep the outgoing parameters in the CallArea live, -- as well as the update frame. +-- Note: We have to keep the update frame live at a call because of the +-- case where the function doesn't return -- in that case, there won't +-- be a return to keep the update frame live. We'd still better keep the +-- info pointer in the update frame live at any call site; +-- otherwise we could screw up the garbage collector. liveLastOut :: (BlockId -> SubAreaSet) -> Last -> SubAreaSet liveLastOut env l = case l of - LastCall _ Nothing n _ -> + LastCall _ Nothing n _ -> add_area (CallArea Old) n out -- add outgoing args (includes upd frame) - LastCall _ (Just k) n _ -> add_area (CallArea (Young k)) n out + LastCall _ (Just k) n (Just upd_n) -> + add_area (CallArea Old) n (add_area (CallArea (Young k)) n out) + LastCall _ (Just k) n Nothing -> + add_area (CallArea (Young k)) n out _ -> out where out = joinOuts slotLattice env l add_area _ n live | n == 0 = live diff --git a/compiler/cmm/ZipCfgCmmRep.hs b/compiler/cmm/ZipCfgCmmRep.hs index 05203e54d2..b289fdccc4 100644 --- a/compiler/cmm/ZipCfgCmmRep.hs +++ b/compiler/cmm/ZipCfgCmmRep.hs @@ -87,7 +87,8 @@ data Last cml_target :: CmmExpr, -- never a CmmPrim to a CallishMachOp! cml_cont :: Maybe BlockId, -- BlockId of continuation (Nothing for return or tail call) - cml_args :: ByteOff, -- bytes offset for youngest outgoing arg + cml_args :: ByteOff, -- byte offset for youngest outgoing arg + -- (includes update frame, which must be younger) cml_ret_off :: Maybe UpdFrameOffset} -- stack offset for return (update frames); -- The return offset should be Nothing only if we have to create |