Documentation

type CgBindings = IdEnv CgIdInfoSource

data CgIdInfo Source

data StableLoc Source

data VolatileLoc Source

cgIdInfoId :: CgIdInfo -> IdSource

cgIdInfoArgRep :: CgIdInfo -> CgRepSource

cgIdInfoLF :: CgIdInfo -> LambdaFormInfoSource

stableIdInfo :: Id -> CmmExpr -> LambdaFormInfo -> CgIdInfoSource

heapIdInfo :: Id -> VirtualHpOffset -> LambdaFormInfo -> CgIdInfoSource

taggedStableIdInfo :: Id -> CmmExpr -> LambdaFormInfo -> DataCon -> CgIdInfoSource

taggedHeapIdInfo :: Id -> VirtualHpOffset -> LambdaFormInfo -> DataCon -> CgIdInfoSource

letNoEscapeIdInfo :: Id -> VirtualSpOffset -> LambdaFormInfo -> CgIdInfoSource

idInfoToAmode :: CgIdInfo -> FCode CmmExprSource

addBindC :: Id -> CgIdInfo -> CodeSource

addBindsC :: [(Id, CgIdInfo)] -> CodeSource

nukeVolatileBinds :: CgBindings -> CgBindingsSource

nukeDeadBindings :: StgLiveVars -> CodeSource

getLiveStackSlots :: FCode [VirtualSpOffset]Source

getLiveStackBindings :: FCode [(VirtualSpOffset, CgIdInfo)]Source

bindArgsToStack :: [(Id, VirtualSpOffset)] -> CodeSource

rebindToStack :: Id -> VirtualSpOffset -> CodeSource

bindNewToNode :: Id -> VirtualHpOffset -> LambdaFormInfo -> CodeSource

bindNewToUntagNode :: Id -> VirtualHpOffset -> LambdaFormInfo -> Int -> CodeSource

bindNewToReg :: Id -> CmmReg -> LambdaFormInfo -> CodeSource

bindArgsToRegs :: [(Id, GlobalReg)] -> CodeSource

bindNewToTemp :: Id -> FCode LocalRegSource

getArgAmode :: StgArg -> FCode (CgRep, CmmExpr)Source

getArgAmodes :: [StgArg] -> FCode [(CgRep, CmmExpr)]Source

getCgIdInfo :: Id -> FCode CgIdInfoSource

getCAddrModeIfVolatile :: Id -> FCode (Maybe CmmExpr)Source

getVolatileRegs :: StgLiveVars -> FCode [GlobalReg]Source

maybeLetNoEscape :: CgIdInfo -> Maybe VirtualSpOffsetSource