Safe Haskell | None |
---|---|
Language | Haskell98 |
- mkArgDescr :: DynFlags -> [Id] -> ArgDescr
- emitCall :: (Convention, Convention) -> CmmExpr -> [CmmExpr] -> FCode ReturnKind
- emitReturn :: [CmmExpr] -> FCode ReturnKind
- adjustHpBackwards :: FCode ()
- emitClosureProcAndInfoTable :: Bool -> Id -> LambdaFormInfo -> CmmInfoTable -> [NonVoid Id] -> ((Int, LocalReg, [LocalReg]) -> FCode ()) -> FCode ()
- emitClosureAndInfoTable :: CmmInfoTable -> Convention -> [LocalReg] -> FCode () -> FCode ()
- slowCall :: CmmExpr -> [StgArg] -> FCode ReturnKind
- directCall :: Convention -> CLabel -> RepArity -> [StgArg] -> FCode ReturnKind
- mkVirtHeapOffsets :: DynFlags -> Bool -> [(PrimRep, a)] -> (WordOff, WordOff, [(NonVoid a, VirtualHpOffset)])
- mkVirtConstrOffsets :: DynFlags -> [(PrimRep, a)] -> (WordOff, WordOff, [(NonVoid a, VirtualHpOffset)])
- getHpRelOffset :: VirtualHpOffset -> FCode CmmExpr
- hpRel :: VirtualHpOffset -> VirtualHpOffset -> WordOff
- data ArgRep
- toArgRep :: PrimRep -> ArgRep
- argRepSizeW :: DynFlags -> ArgRep -> WordOff
Documentation
mkArgDescr :: DynFlags -> [Id] -> ArgDescrSource
emitCall :: (Convention, Convention) -> CmmExpr -> [CmmExpr] -> FCode ReturnKindSource
emitCall conv fun args
makes a call to the entry-code of fun
,
using the call/return convention conv
, passing args
, and
returning the results to the current sequel.
emitReturn :: [CmmExpr] -> FCode ReturnKindSource
Return multiple values to the sequel
If the sequel is Return
return (x,y)
If the sequel is AssignTo [p,q]
p=x; q=y;
adjustHpBackwards :: FCode ()Source
emitClosureProcAndInfoTable :: Bool -> Id -> LambdaFormInfo -> CmmInfoTable -> [NonVoid Id] -> ((Int, LocalReg, [LocalReg]) -> FCode ()) -> FCode ()Source
emitClosureAndInfoTable :: CmmInfoTable -> Convention -> [LocalReg] -> FCode () -> FCode ()Source
directCall :: Convention -> CLabel -> RepArity -> [StgArg] -> FCode ReturnKindSource
mkVirtHeapOffsets :: DynFlags -> Bool -> [(PrimRep, a)] -> (WordOff, WordOff, [(NonVoid a, VirtualHpOffset)])Source
mkVirtConstrOffsets :: DynFlags -> [(PrimRep, a)] -> (WordOff, WordOff, [(NonVoid a, VirtualHpOffset)])Source
hpRel :: VirtualHpOffset -> VirtualHpOffset -> WordOffSource
argRepSizeW :: DynFlags -> ArgRep -> WordOffSource