ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

MkGraph

Synopsis

Documentation

type CmmAGraph = OrdList CgStmtSource

CmmAGraph is a chunk of code consisting of:

  • ordinary statements (assignments, stores etc.)
  • jumps
  • labels
  • out-of-line labelled blocks

The semantics is that control falls through labels and out-of-line blocks. Everything after a jump up to the next label is by definition unreachable code, and will be discarded.

Two CmmAGraphs can be stuck together with *, with the meaning that control flows from the first to the second.

A CmmAGraph can be turned into a CmmGraph (closed at both ends) by providing a label for the entry point; see labelAGraph.

data CgStmtSource

Constructors

CgLabel BlockId 
CgStmt (CmmNode O O) 
CgLast (CmmNode O C) 
CgFork BlockId CmmAGraph 

(<*>) :: CmmAGraph -> CmmAGraph -> CmmAGraphSource

catAGraphs :: [CmmAGraph] -> CmmAGraphSource

mkLabel :: BlockId -> CmmAGraphSource

created a sequence "goto id; id:" as an AGraph

mkMiddle :: CmmNode O O -> CmmAGraphSource

creates an open AGraph from a given node

mkLast :: CmmNode O C -> CmmAGraphSource

created a closed AGraph from a given node

outOfLine :: BlockId -> CmmAGraph -> CmmAGraphSource

A labelled code block; should end in a last node

lgraphOfAGraph :: CmmAGraph -> UniqSM CmmGraphSource

allocate a fresh label for the entry point

labelAGraph :: BlockId -> CmmAGraph -> CmmGraphSource

use the given BlockId as the label of the entry point

stackStubExpr :: Width -> CmmExprSource

mkNop :: CmmAGraphSource

mkAssign :: CmmReg -> CmmExpr -> CmmAGraphSource

mkStore :: CmmExpr -> CmmExpr -> CmmAGraphSource

mkUnsafeCall :: ForeignTarget -> [CmmFormal] -> [CmmActual] -> CmmAGraphSource

mkFinalCall :: DynFlags -> CmmExpr -> CCallConv -> [CmmActual] -> UpdFrameOffset -> CmmAGraphSource

mkCallReturnsTo :: DynFlags -> CmmExpr -> Convention -> [CmmActual] -> BlockId -> ByteOff -> UpdFrameOffset -> [CmmActual] -> CmmAGraphSource

mkJumpReturnsTo :: DynFlags -> CmmExpr -> Convention -> [CmmActual] -> BlockId -> ByteOff -> UpdFrameOffset -> CmmAGraphSource

mkJump :: DynFlags -> Convention -> CmmExpr -> [CmmActual] -> UpdFrameOffset -> CmmAGraphSource

mkJumpExtra :: DynFlags -> Convention -> CmmExpr -> [CmmActual] -> UpdFrameOffset -> [CmmActual] -> CmmAGraphSource

mkRawJump :: DynFlags -> CmmExpr -> UpdFrameOffset -> [GlobalReg] -> CmmAGraphSource

A jump where the caller says what the live GlobalRegs are. Used for low-level hand-written Cmm.

mkCbranch :: CmmExpr -> BlockId -> BlockId -> CmmAGraphSource

mkSwitch :: CmmExpr -> [Maybe BlockId] -> CmmAGraphSource

mkReturn :: DynFlags -> CmmExpr -> [CmmActual] -> UpdFrameOffset -> CmmAGraphSource

mkComment :: FastString -> CmmAGraphSource

mkCallEntry :: DynFlags -> Convention -> [CmmFormal] -> [CmmFormal] -> (Int, [GlobalReg], CmmAGraph)Source

mkBranch :: BlockId -> CmmAGraphSource

copyInOflow :: DynFlags -> Convention -> Area -> [CmmFormal] -> [CmmFormal] -> (Int, [GlobalReg], CmmAGraph)Source

copyOutOflow :: DynFlags -> Convention -> Transfer -> Area -> [CmmActual] -> UpdFrameOffset -> [CmmActual] -> (Int, [GlobalReg], CmmAGraph)Source

noExtraStack :: [CmmActual]Source

toCall :: CmmExpr -> Maybe BlockId -> UpdFrameOffset -> ByteOff -> ByteOff -> [GlobalReg] -> CmmAGraphSource

data TransferSource

Constructors

Call 
JumpRet 
Jump 
Ret 

Instances