ghc-6.12.3: The GHC API Source code Contents Index

CmmProcPointZ

Synopsis

type ProcPointSet = BlockSet data Status = ReachedBy ProcPointSet | ProcPoint 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 = BlockSet Source

data Status Source

Constructors ReachedBy ProcPointSet ProcPoint Instances Outputable Status

callProcPoints :: CmmGraph -> ProcPointSet Source

minimalProcPointSet :: ProcPointSet -> CmmGraph -> FuelMonad ProcPointSet Source

addProcPointProtocols :: ProcPointSet -> ProcPointSet -> CmmGraph -> FuelMonad CmmGraph Source

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

procPointAnalysis :: ProcPointSet -> CmmGraph -> FuelMonad (BlockEnv Status) Source

Produced by Haddock version 2.6.1