CgStackery
- spRel :: VirtualSpOffset -> VirtualSpOffset -> WordOff
- getVirtSp :: FCode VirtualSpOffset
- getRealSp :: FCode VirtualSpOffset
- setRealSp :: VirtualSpOffset -> Code
- setRealAndVirtualSp :: VirtualSpOffset -> Code
- getSpRelOffset :: VirtualSpOffset -> FCode CmmExpr
- allocPrimStack :: CgRep -> FCode VirtualSpOffset
- allocStackTop :: WordOff -> FCode ()
- deAllocStackTop :: WordOff -> FCode ()
- adjustStackHW :: VirtualSpOffset -> Code
- getFinalStackHW :: (VirtualSpOffset -> Code) -> Code
- setStackFrame :: VirtualSpOffset -> Code
- getStackFrame :: FCode VirtualSpOffset
- mkVirtStkOffsets :: VirtualSpOffset -> [(CgRep, a)] -> (VirtualSpOffset, [(a, VirtualSpOffset)])
- mkStkAmodes :: VirtualSpOffset -> [(CgRep, CmmExpr)] -> FCode (VirtualSpOffset, CmmStmts)
- freeStackSlots :: [VirtualSpOffset] -> Code
- pushUpdateFrame :: CmmExpr -> Code -> Code
- pushBHUpdateFrame :: CmmExpr -> Code -> Code
- emitPushUpdateFrame :: CmmExpr -> CmmExpr -> Code
Documentation
spRel :: VirtualSpOffset -> VirtualSpOffset -> WordOffSource
allocStackTop :: WordOff -> FCode ()Source
deAllocStackTop :: WordOff -> FCode ()Source
getFinalStackHW :: (VirtualSpOffset -> Code) -> CodeSource
mkVirtStkOffsets :: VirtualSpOffset -> [(CgRep, a)] -> (VirtualSpOffset, [(a, VirtualSpOffset)])Source
mkStkAmodes :: VirtualSpOffset -> [(CgRep, CmmExpr)] -> FCode (VirtualSpOffset, CmmStmts)Source
mkStkAmodes is a higher-level version of
mkVirtStkOffsets. It starts from the tail-call locations.
It returns a single list of addressing modes for the stack
locations, and therefore is in the monad. It doesn't adjust the
high water mark.
freeStackSlots :: [VirtualSpOffset] -> CodeSource
pushUpdateFrame :: CmmExpr -> Code -> CodeSource
pushBHUpdateFrame :: CmmExpr -> Code -> CodeSource
emitPushUpdateFrame :: CmmExpr -> CmmExpr -> CodeSource