| ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||||
type CmmZ = GenCmm CmmStatic CmmInfo (CmmStackInfo, CmmGraph) | ||||||||||||||||||||||||||||||
type CmmTopZ = GenCmmTop CmmStatic CmmInfo (CmmStackInfo, CmmGraph) | ||||||||||||||||||||||||||||||
type CmmGraph = LGraph Middle Last | ||||||||||||||||||||||||||||||
type CmmBlock = Block Middle Last | ||||||||||||||||||||||||||||||
type CmmAGraph = AGraph Middle Last | ||||||||||||||||||||||||||||||
data Middle | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data Last | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data MidCallTarget | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
type UpdFrameOffset = ByteOff | ||||||||||||||||||||||||||||||
data Convention | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data ForeignConvention | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data ForeignSafety | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data ValueDirection | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
data ForeignHint | ||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||
type CmmBackwardFixedPoint a = BackwardFixedPoint Middle Last a () | ||||||||||||||||||||||||||||||
type CmmForwardFixedPoint a = ForwardFixedPoint Middle Last a () | ||||||||||||||||||||||||||||||
pprHinted :: Outputable a => CmmHinted a -> SDoc | ||||||||||||||||||||||||||||||
insertBetween :: MonadUnique m => CmmBlock -> [Middle] -> BlockId -> m (CmmBlock, [CmmBlock]) | ||||||||||||||||||||||||||||||
mapExpMiddle :: (CmmExpr -> CmmExpr) -> Middle -> Middle | ||||||||||||||||||||||||||||||
mapExpLast :: (CmmExpr -> CmmExpr) -> Last -> Last | ||||||||||||||||||||||||||||||
mapExpDeepMiddle :: (CmmExpr -> CmmExpr) -> Middle -> Middle | ||||||||||||||||||||||||||||||
mapExpDeepLast :: (CmmExpr -> CmmExpr) -> Last -> Last | ||||||||||||||||||||||||||||||
foldExpMiddle :: (CmmExpr -> z -> z) -> Middle -> z -> z | ||||||||||||||||||||||||||||||
foldExpLast :: (CmmExpr -> z -> z) -> Last -> z -> z | ||||||||||||||||||||||||||||||
foldExpDeepMiddle :: (CmmExpr -> z -> z) -> Middle -> z -> z | ||||||||||||||||||||||||||||||
foldExpDeepLast :: (CmmExpr -> z -> z) -> Last -> z -> z | ||||||||||||||||||||||||||||||
joinOuts :: DataflowLattice a -> (BlockId -> a) -> Last -> a | ||||||||||||||||||||||||||||||
Produced by Haddock version 2.6.0 |