Documentation

type ProcPointSet = BlockSetSource

data Status Source

callProcPoints :: CmmGraph -> ProcPointSetSource

minimalProcPointSet :: Platform -> ProcPointSet -> CmmGraph -> UniqSM ProcPointSetSource

splitAtProcPoints :: CLabel -> ProcPointSet -> ProcPointSet -> BlockEnv Status -> CmmDecl -> UniqSM [CmmDecl]Source

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