Documentation

data CgIdInfo

cgIdInfoId :: CgIdInfo -> Id

cgIdInfoLF :: CgIdInfo -> LambdaFormInfo

litIdInfo :: Id -> LambdaFormInfo -> CmmLit -> CgIdInfo

lneIdInfo :: Id -> [LocalReg] -> CgIdInfo

regIdInfo :: Id -> LambdaFormInfo -> LocalReg -> CgIdInfo

idInfoToAmode :: CgIdInfo -> CmmExpr

newtype NonVoid a

isVoidId :: Id -> Bool

nonVoidIds :: [Id] -> [NonVoid Id]

addBindC :: Id -> CgIdInfo -> FCode ()

addBindsC :: [CgIdInfo] -> FCode ()

bindArgsToRegs :: [NonVoid Id] -> FCode [LocalReg]

bindToReg :: NonVoid Id -> LambdaFormInfo -> FCode LocalReg

rebindToReg :: NonVoid Id -> FCode LocalReg

bindArgToReg :: NonVoid Id -> FCode LocalReg

idToReg :: NonVoid Id -> LocalReg

getArgAmode :: NonVoid StgArg -> FCode CmmExpr

getNonVoidArgAmodes :: [StgArg] -> FCode [CmmExpr]

getCgIdInfo :: Id -> FCode CgIdInfo

maybeLetNoEscape :: CgIdInfo -> Maybe (BlockId, [LocalReg])