GHC.StgToCmm.Utils

Documentation

cgLit :: Literal -> FCode CmmLit

mkSimpleLit :: DynFlags -> Literal -> CmmLit

emitDataLits :: CLabel -> [CmmLit] -> FCode ()

mkDataLits :: Section -> CLabel -> [CmmLit] -> GenCmmDecl CmmStatics info stmt

emitRODataLits :: CLabel -> [CmmLit] -> FCode ()

mkRODataLits :: CLabel -> [CmmLit] -> GenCmmDecl CmmStatics info stmt

emitRtsCall :: UnitId -> FastString -> [(CmmExpr, ForeignHint)] -> Bool -> FCode ()

emitRtsCallWithResult :: LocalReg -> ForeignHint -> UnitId -> FastString -> [(CmmExpr, ForeignHint)] -> Bool -> FCode ()

emitRtsCallGen :: [(LocalReg, ForeignHint)] -> CLabel -> [(CmmExpr, ForeignHint)] -> Bool -> FCode ()

assignTemp :: CmmExpr -> FCode LocalReg

newTemp :: MonadUnique m => CmmType -> m LocalReg

newUnboxedTupleRegs :: Type -> FCode ([LocalReg], [ForeignHint])

emitMultiAssign :: [LocalReg] -> [CmmExpr] -> FCode ()

emitCmmLitSwitch :: CmmExpr -> [(Literal, CmmAGraphScoped)] -> CmmAGraphScoped -> FCode ()

emitSwitch :: CmmExpr -> [(ConTagZ, CmmAGraphScoped)] -> Maybe CmmAGraphScoped -> ConTagZ -> ConTagZ -> FCode ()

tagToClosure :: DynFlags -> TyCon -> CmmExpr -> CmmExpr

mkTaggedObjectLoad :: DynFlags -> LocalReg -> LocalReg -> ByteOff -> DynTag -> CmmAGraph

callerSaves :: Platform -> GlobalReg -> Bool

Returns True if this global register is stored in a caller-saves machine register.

callerSaveVolatileRegs :: DynFlags -> (CmmAGraph, CmmAGraph)

get_GlobalReg_addr :: DynFlags -> GlobalReg -> CmmExpr

We map STG registers onto appropriate CmmExprs. Either they map to real machine registers or stored as offsets from BaseReg. Given a GlobalReg, get_GlobalReg_addr always produces the register table address for it.

callerSaveGlobalReg :: DynFlags -> GlobalReg -> CmmAGraph

callerRestoreGlobalReg :: DynFlags -> GlobalReg -> CmmAGraph

cmmAndWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmOrWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmNegate :: DynFlags -> CmmExpr -> CmmExpr

cmmEqWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmNeWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmUGtWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmSubWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmMulWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmAddWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmUShrWord :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmOffsetExprW :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmOffsetExprB :: DynFlags -> CmmExpr -> CmmExpr -> CmmExpr

cmmRegOffW :: DynFlags -> CmmReg -> WordOff -> CmmExpr

cmmRegOffB :: CmmReg -> ByteOff -> CmmExpr

cmmLabelOffW :: DynFlags -> CLabel -> WordOff -> CmmLit

cmmLabelOffB :: CLabel -> ByteOff -> CmmLit

cmmOffsetW :: DynFlags -> CmmExpr -> WordOff -> CmmExpr

cmmOffsetB :: DynFlags -> CmmExpr -> ByteOff -> CmmExpr

cmmOffsetLitW :: DynFlags -> CmmLit -> WordOff -> CmmLit

cmmOffsetLitB :: CmmLit -> ByteOff -> CmmLit

cmmLoadIndexW :: DynFlags -> CmmExpr -> Int -> CmmType -> CmmExpr

cmmConstrTag1 :: DynFlags -> CmmExpr -> CmmExpr

cmmUntag :: DynFlags -> CmmExpr -> CmmExpr

cmmIsTagged :: DynFlags -> CmmExpr -> CmmExpr

addToMem :: CmmType -> CmmExpr -> Int -> CmmAGraph

addToMemE :: CmmType -> CmmExpr -> CmmExpr -> CmmAGraph

addToMemLblE :: CmmType -> CLabel -> CmmExpr -> CmmAGraph

addToMemLbl :: CmmType -> CLabel -> Int -> CmmAGraph

mkWordCLit :: DynFlags -> Integer -> CmmLit

newStringCLit :: String -> FCode CmmLit

newByteStringCLit :: ByteString -> FCode CmmLit

blankWord :: DynFlags -> CmmStatic

Update remembered set operations

whenUpdRemSetEnabled :: DynFlags -> FCode a -> FCode ()

emitUpdRemSetPush

Arguments

:: CmmExpr

value of pointer which was overwritten

-> FCode ()

Emit code to add an entry to a now-overwritten pointer to the update remembered set.

emitUpdRemSetPushThunk

Arguments

:: CmmExpr

the thunk

-> FCode ()