Safe Haskell	None

StgCmmExtCode

Description

Our extended FCode monad.

Synopsis

Documentation

data CmmParse a Source

Does a computation in the FCode monad, with a current environment and a list of local declarations. Returns the resulting list of declarations.

Instances

Monad CmmParse
HasDynFlags CmmParse

unEC :: CmmParse a -> Env -> Decls -> FCode (Decls, a)Source

data Named Source

The environment contains variable definitions or blockids.

Constructors

VarN CmmExpr	Holds CmmLit(CmmLabel ..) which gives the label type, eg, RtsLabel, ForeignLabel, CmmLabel etc.
FunN PackageId	A function name from this package
LabelN BlockId	A blockid of some code or data.

type Env = UniqFM Named Source

An environment of named things.

loopDecls :: CmmParse a -> CmmParse aSource

Takes the variable decarations and imports from the monad and makes an environment, which is looped back into the computation. In this way, we can have embedded declarations that scope over the whole procedure, and imports that scope over the entire module. Discards the local declaration contained within decl'

getEnv :: CmmParse Env Source

Get the current environment from the monad.

newLocal Source

Arguments

:: CmmType	data type
-> FastString	name of variable
-> CmmParse LocalReg	register holding the value

Create a fresh local variable of a given type.

newLabel :: FastString -> CmmParse BlockId Source

Allocate a fresh label.

newBlockId :: CmmParse BlockId Source

newFunctionName Source

Arguments

:: FastString	name of the function
-> PackageId	package of the current module
-> ExtCode

Add add a local function to the environment.

newImport :: (FastString, CLabel) -> CmmParse ()Source

Add an imported foreign label to the list of local declarations. If this is done at the start of the module the declaration will scope over the whole module.

lookupLabel :: FastString -> CmmParse BlockId Source

Lookup the BlockId bound to the label with this name. If one hasn't been bound yet, create a fresh one based on the Unique of the name.

lookupName :: FastString -> CmmParse CmmExpr Source

Lookup the location of a named variable. Unknown names are treated as if they had been 'import'ed from the runtime system. This saves us a lot of bother in the RTS sources, at the expense of deferring some errors to link time.

code :: FCode a -> CmmParse aSource

Lift an FCode computation into the CmmParse monad

emit :: CmmAGraph -> CmmParse ()Source

emitLabel :: BlockId -> CmmParse ()Source

emitAssign :: CmmReg -> CmmExpr -> CmmParse ()Source

emitStore :: CmmExpr -> CmmExpr -> CmmParse ()Source

getCode :: CmmParse a -> CmmParse CmmAGraph Source

getCodeR :: CmmParse a -> CmmParse (a, CmmAGraph)Source

emitOutOfLine :: BlockId -> CmmAGraph -> CmmParse ()Source

withUpdFrameOff :: UpdFrameOffset -> CmmParse () -> CmmParse ()Source

getUpdFrameOff :: CmmParse UpdFrameOffset Source