ghc-6.12.1: The GHC API Contents Index

ZipCfgCmmRep

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

Constructors MidComment FastString MidAssign CmmReg CmmExpr MidStore CmmExpr CmmExpr MidForeignCall ForeignSafety MidCallTarget CmmFormals CmmActuals

data Last

Constructors LastBranch BlockId LastCondBranch cml_pred :: CmmExpr cml_true :: BlockId cml_false :: BlockId LastSwitch CmmExpr [Maybe BlockId] LastCall cml_target :: CmmExpr cml_cont :: Maybe BlockId cml_args :: ByteOff cml_ret_args :: ByteOff cml_ret_off :: Maybe ByteOff

data MidCallTarget

Constructors ForeignTarget CmmExpr ForeignConvention PrimTarget CallishMachOp

type UpdFrameOffset = ByteOff

data Convention

Constructors NativeDirectCall NativeNodeCall NativeReturn Slow GC PrimOpCall PrimOpReturn Foreign ForeignConvention Private

data ForeignConvention

Constructors ForeignConvention CCallConv [ForeignHint] [ForeignHint]

data ForeignSafety

Constructors Unsafe Safe BlockId UpdFrameOffset

data ValueDirection

Constructors Arguments Results

data ForeignHint

Constructors NoHint AddrHint SignedHint

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