--- Flow
---
------------------------------------------------------------------------------
-
-data Flow
- = Flow { normal_live :: FlowEdge ()
- , also_unwinds :: [FlowEdge ContId]
- }
-
-data FlowEdge a
- = FlowEdge { edge_target :: a
- , live_locals :: [LocalReg] -- Live across the call
- , save_globals :: Maybe [GlobalReg] -- Global regs that may need to be saved
- } -- if they will be clobbered by the call.
- -- Nothing <=> save *all* globals that
- -- might be clobbered
-
------------------------------------------------------------------------------