- type ProcPointSet = BlockSet
- data Status
- callProcPoints :: CmmGraph -> ProcPointSet
- minimalProcPointSet :: ProcPointSet -> CmmGraph -> FuelMonad ProcPointSet
- addProcPointProtocols :: ProcPointSet -> ProcPointSet -> CmmGraph -> FuelMonad CmmGraph
- splitAtProcPoints :: CLabel -> ProcPointSet -> ProcPointSet -> BlockEnv Status -> CmmTopZ -> FuelMonad [CmmTopZ]
- procPointAnalysis :: ProcPointSet -> CmmGraph -> FuelMonad (BlockEnv Status)
Documentation
type ProcPointSet = BlockSetSource
addProcPointProtocols :: ProcPointSet -> ProcPointSet -> CmmGraph -> FuelMonad CmmGraphSource
Function optimize_calls
chooses protocols only for those proc
points that are relevant to the optimization explained above.
The others are assigned by add_unassigned
, which is not yet clever.
splitAtProcPoints :: CLabel -> ProcPointSet -> ProcPointSet -> BlockEnv Status -> CmmTopZ -> FuelMonad [CmmTopZ]Source