Documentation

type CAFSet = Set CLabelSource

type CAFEnv = BlockEnv CAFSetSource

cafAnal :: CmmGraph -> CAFEnvSource

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

data TopSRT Source

emptySRT :: MonadUnique m => m TopSRTSource

srtToData :: TopSRT -> CmmGroupSource