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