| Safe Haskell | Safe-Infered |
|---|
CmmProcPoint
- type ProcPointSet = BlockSet
- data Status
- callProcPoints :: CmmGraph -> ProcPointSet
- minimalProcPointSet :: Platform -> ProcPointSet -> CmmGraph -> FuelUniqSM ProcPointSet
- addProcPointProtocols :: ProcPointSet -> ProcPointSet -> CmmGraph -> FuelUniqSM CmmGraph
- splitAtProcPoints :: CLabel -> ProcPointSet -> ProcPointSet -> BlockEnv Status -> CmmDecl -> FuelUniqSM [CmmDecl]
- procPointAnalysis :: ProcPointSet -> CmmGraph -> FuelUniqSM (BlockEnv Status)
Documentation
type ProcPointSet = BlockSetSource
addProcPointProtocols :: ProcPointSet -> ProcPointSet -> CmmGraph -> FuelUniqSM 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 -> CmmDecl -> FuelUniqSM [CmmDecl]Source