Documentation

type CAFSet = Set CLabelSource

type CAFEnv = BlockEnv CAFSetSource

cafAnal :: CmmGraph -> CAFEnvSource

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

data TopSRTSource

emptySRT :: MonadUnique m => m TopSRTSource

isEmptySRT :: TopSRT -> BoolSource

srtToData :: TopSRT -> CmmGroupSource