ghc-7.7.20130829: The GHC API

Safe HaskellNone

StgCmmMonad

Documentation

data FCode a Source

Instances

initC :: IO CgStateSource

runC :: DynFlags -> Module -> CgState -> FCode a -> (a, CgState)Source

thenC :: FCode () -> FCode a -> FCode aSource

thenFC :: FCode a -> (a -> FCode c) -> FCode cSource

listCs :: [FCode ()] -> FCode ()Source

returnFC :: a -> FCode aSource

fixC :: (a -> FCode a) -> FCode aSource

newUnique :: FCode UniqueSource

newUniqSupply :: FCode UniqSupplySource

newLabelC :: FCode BlockIdSource

emitLabel :: BlockId -> FCode ()Source

emit :: CmmAGraph -> FCode ()Source

emitDecl :: CmmDecl -> FCode ()Source

emitProc :: Maybe CmmInfoTable -> CLabel -> [GlobalReg] -> CmmAGraph -> Int -> FCode ()Source

emitProcWithConvention :: Convention -> Maybe CmmInfoTable -> CLabel -> [CmmFormal] -> CmmAGraph -> FCode ()Source

emitProcWithStackFrame :: Convention -> Maybe CmmInfoTable -> CLabel -> [CmmFormal] -> [CmmFormal] -> CmmAGraph -> Bool -> FCode ()Source

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

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

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

emitComment :: FastString -> FCode ()Source

getCmm :: FCode () -> FCode CmmGroupSource

aGraphToGraph :: CmmAGraph -> FCode CmmGraphSource

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

getCode :: FCode a -> FCode CmmAGraphSource

getHeapUsage :: (VirtualHpOffset -> FCode a) -> FCode aSource

mkCmmIfThenElse :: CmmExpr -> CmmAGraph -> CmmAGraph -> FCode CmmAGraphSource

mkCmmIfThen :: CmmExpr -> CmmAGraph -> FCode CmmAGraphSource

mkCmmIfGoto :: CmmExpr -> BlockId -> FCode CmmAGraphSource

mkCall :: CmmExpr -> (Convention, Convention) -> [CmmFormal] -> [CmmActual] -> UpdFrameOffset -> [CmmActual] -> FCode CmmAGraphSource

mkCmmCall :: CmmExpr -> [CmmFormal] -> [CmmActual] -> UpdFrameOffset -> FCode CmmAGraphSource

forkClosureBody :: FCode () -> FCode ()Source

forkLneBody :: FCode a -> FCode aSource

forkAlts :: [FCode a] -> FCode [a]Source

codeOnly :: FCode () -> FCode ()Source

type ConTagZ = IntSource

data Sequel Source

Constructors

Return Bool 
AssignTo [LocalReg] Bool 

data ReturnKind Source

Constructors

AssignedDirectly 
ReturnedTo BlockId ByteOff 

withSequel :: Sequel -> FCode a -> FCode aSource

getSequel :: FCode SequelSource

setTickyCtrLabel :: CLabel -> FCode a -> FCode aSource

getTickyCtrLabel :: FCode CLabelSource

withUpdFrameOff :: UpdFrameOffset -> FCode a -> FCode aSource

getUpdFrameOff :: FCode UpdFrameOffsetSource

initUpdFrameOff :: DynFlags -> UpdFrameOffsetSource

data HeapUsage Source

Constructors

HeapUsage 

Fields

virtHp :: VirtualHpOffset
 
realHp :: VirtualHpOffset
 

type VirtualHpOffset = WordOffSource

initHpUsage :: HeapUsageSource

getHpUsage :: FCode HeapUsageSource

setHpUsage :: HeapUsage -> FCode ()Source

heapHWM :: HeapUsage -> VirtualHpOffsetSource

setVirtHp :: VirtualHpOffset -> FCode ()Source

getVirtHp :: FCode VirtualHpOffsetSource

setRealHp :: VirtualHpOffset -> FCode ()Source

getModuleName :: FCode ModuleSource

getState :: FCode CgStateSource

setState :: CgState -> FCode ()Source

getSelfLoop :: FCode (Maybe SelfLoopInfo)Source

withSelfLoop :: SelfLoopInfo -> FCode a -> FCode aSource

getInfoDown :: FCode CgInfoDownwardsSource

getDynFlags :: HasDynFlags m => m DynFlagsSource

getThisPackage :: FCode PackageIdSource

data CgIdInfo Source

Constructors

CgIdInfo 

Fields

cg_id :: Id
 
cg_lf :: LambdaFormInfo
 
cg_loc :: CgLoc
 

Instances

getBinds :: FCode CgBindingsSource

setBinds :: CgBindings -> FCode ()Source

data CgInfoDownwards Source

Constructors

MkCgInfoDown 

Fields

cgd_dflags :: DynFlags
 
cgd_mod :: Module
 
cgd_updfr_off :: UpdFrameOffset
 
cgd_ticky :: CLabel
 
cgd_sequel :: Sequel
 
cgd_self_loop :: Maybe SelfLoopInfo
 

data CgState Source

Constructors

MkCgState 

Fields

cgs_stmts :: CmmAGraph
 
cgs_tops :: OrdList CmmDecl
 
cgs_binds :: CgBindings
 
cgs_hp_usg :: HeapUsage
 
cgs_uniqs :: UniqSupply