| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
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 |