Documentation

type CAFSet = Set CLabel Source

type CAFEnv = BlockEnv CAFSet Source

cafAnal :: CmmGraph -> CAFEnv Source

doSRTs :: DynFlags -> TopSRT -> [(CAFEnv, [CmmDecl])] -> IO (TopSRT, [CmmDecl]) Source

data TopSRT Source

emptySRT :: MonadUnique m => m TopSRT Source

isEmptySRT :: TopSRT -> Bool Source

srtToData :: TopSRT -> CmmGroup Source