| ||||||||||||
| ||||||||||||
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]) | ||||||||||||
Produced by Haddock version 2.7.2 |