ZipCfgCmmRep
Documentation
data Middle
data Last
Constructors
| LastBranch BlockId | |
| LastCondBranch | |
| LastSwitch CmmExpr [Maybe BlockId] | |
| LastCall | |
Fields
| |
data MidCallTarget
Constructors
| ForeignTarget CmmExpr ForeignConvention | |
| PrimTarget CallishMachOp |
type UpdFrameOffset = ByteOff
data Convention
Constructors
| NativeDirectCall | |
| NativeNodeCall | |
| NativeReturn | |
| Slow | |
| GC | |
| PrimOpCall | |
| PrimOpReturn | |
| Foreign ForeignConvention | |
| Private |
Instances
data ForeignConvention
Constructors
| ForeignConvention CCallConv [ForeignHint] [ForeignHint] |
Instances
data ValueDirection
Instances
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