Safe Haskell	Safe-Infered

CLabel

Contents

Conversions

Synopsis

Documentation

data CLabel Source

Instances

Eq CLabel
Ord CLabel
PlatformOutputable CLabel

data ForeignLabelSource Source

Record where a foreign label is stored.

Constructors

ForeignLabelInPackage PackageId	Label is in a named package
ForeignLabelInExternalPackage	Label is in some external, system package that doesn't also contain compiled Haskell code, and is not associated with any .hi files. We don't have to worry about Haskell code being inlined from external packages. It is safe to treat the RTS package as external.
ForeignLabelInThisPackage	Label is in the package currenly being compiled. This is only used for creating hacky tmp labels during code generation. Don't use it in any code that might be inlined across a package boundary (ie, core code) else the information will be wrong relative to the destination module.

Instances

Eq ForeignLabelSource
Ord ForeignLabelSource
Outputable ForeignLabelSource

pprDebugCLabel :: Platform -> CLabel -> SDoc Source

For debugging problems with the CLabel representation. We can't make a Show instance for CLabel because lots of its components don't have instances. The regular Outputable instance only shows the label name, and not its other info.

mkClosureLabel :: Name -> CafInfo -> CLabel Source

mkSRTLabel :: Name -> CafInfo -> CLabel Source

mkInfoTableLabel :: Name -> CafInfo -> CLabel Source

mkEntryLabel :: Name -> CafInfo -> CLabel Source

mkSlowEntryLabel :: Name -> CafInfo -> CLabel Source

mkConEntryLabel :: Name -> CafInfo -> CLabel Source

mkStaticConEntryLabel :: Name -> CafInfo -> CLabel Source

mkRednCountsLabel :: Name -> CafInfo -> CLabel Source

mkConInfoTableLabel :: Name -> CafInfo -> CLabel Source

mkStaticInfoTableLabel :: Name -> CafInfo -> CLabel Source

mkLargeSRTLabel :: Unique -> CLabel Source

mkApEntryLabel :: Bool -> Int -> CLabel Source

mkApInfoTableLabel :: Bool -> Int -> CLabel Source

mkClosureTableLabel :: Name -> CafInfo -> CLabel Source

mkLocalClosureLabel :: Name -> CafInfo -> CLabel Source

mkLocalInfoTableLabel :: Name -> CafInfo -> CLabel Source

mkLocalEntryLabel :: Name -> CafInfo -> CLabel Source

mkLocalConEntryLabel :: CafInfo -> Name -> CLabel Source

mkLocalStaticConEntryLabel :: CafInfo -> Name -> CLabel Source

mkLocalConInfoTableLabel :: CafInfo -> Name -> CLabel Source

mkLocalStaticInfoTableLabel :: CafInfo -> Name -> CLabel Source

mkLocalClosureTableLabel :: Name -> CafInfo -> CLabel Source

mkReturnPtLabel :: Unique -> CLabel Source

mkReturnInfoLabel :: Unique -> CLabel Source

mkAltLabel :: Unique -> ConTag -> CLabel Source

mkDefaultLabel :: Unique -> CLabel Source

mkBitmapLabel :: Unique -> CLabel Source

mkStringLitLabel :: Unique -> CLabel Source

mkAsmTempLabel :: Uniquable a => a -> CLabel Source

mkPlainModuleInitLabel :: Module -> CLabel Source

mkSplitMarkerLabel, mkCAFBlackHoleEntryLabel, mkCAFBlackHoleInfoTableLabel, mkTopTickyCtrLabel, mkEMPTY_MVAR_infoLabel, mkMAP_DIRTY_infoLabel, mkMAP_FROZEN_infoLabel, mkMainCapabilityLabel, mkIndStaticInfoLabel, mkBHUpdInfoLabel, mkUpdInfoLabel, mkDirty_MUT_VAR_Label :: CLabel Source

mkRtsPrimOpLabel :: PrimOp -> CLabel Source

mkRtsSlowTickyCtrLabel :: String -> CLabel Source

mkSelectorInfoLabel :: Bool -> Int -> CLabel Source

mkSelectorEntryLabel :: Bool -> Int -> CLabel Source

mkCmmInfoLabel, mkCmmGcPtrLabel, mkCmmDataLabel, mkCmmCodeLabel, mkCmmRetLabel, mkCmmRetInfoLabel, mkCmmEntryLabel :: PackageId -> FastString -> CLabel Source

mkRtsApFastLabel :: FastString -> CLabel Source

mkPrimCallLabel :: PrimCall -> CLabel Source

mkForeignLabel :: FastString -> Maybe Int -> ForeignLabelSource -> FunctionOrData -> CLabel Source

Make a foreign label

addLabelSize :: CLabel -> Int -> CLabel Source

Update the label size field in a ForeignLabel

foreignLabelStdcallInfo :: CLabel -> Maybe Int Source

Get the label size field from a ForeignLabel

mkCCLabel :: CostCentre -> CLabel Source

mkCCSLabel :: CostCentreStack -> CLabel Source

data DynamicLinkerLabelInfo Source

Constructors

CodeStub
SymbolPtr
GotSymbolPtr
GotSymbolOffset

Instances

Eq DynamicLinkerLabelInfo
Ord DynamicLinkerLabelInfo

mkDynamicLinkerLabel :: DynamicLinkerLabelInfo -> CLabel -> CLabel Source

dynamicLinkerLabelInfo :: CLabel -> Maybe (DynamicLinkerLabelInfo, CLabel)Source

mkPicBaseLabel :: CLabel Source

mkDeadStripPreventer :: CLabel -> CLabel Source

mkHpcTicksLabel :: Module -> CLabel Source

hasCAF :: CLabel -> Bool Source

needsCDecl :: CLabel -> Bool Source

isAsmTemp :: CLabel -> Bool Source

Check whether a label is a local temporary for native code generation

maybeAsmTemp :: CLabel -> Maybe Unique Source

If a label is a local temporary used for native code generation then return just its unique, otherwise nothing.

externallyVisibleCLabel :: CLabel -> Bool Source

Is a CLabel visible outside this object file or not? From the point of view of the code generator, a name is externally visible if it has to be declared as exported in the .o file's symbol table; that is, made non-static.

isMathFun :: CLabel -> Bool Source

Check whether a label corresponds to a C function that has a prototype in a system header somehere, or is built-in to the C compiler. For these labels we avoid generating our own C prototypes.

isCFunctionLabel :: CLabel -> Bool Source

isGcPtrLabel :: CLabel -> Bool Source

labelDynamic :: DynFlags -> PackageId -> CLabel -> Bool Source

Conversions

toClosureLbl :: Platform -> CLabel -> CLabel Source

toSlowEntryLbl :: Platform -> CLabel -> CLabel Source

toEntryLbl :: Platform -> CLabel -> CLabel Source

toInfoLbl :: Platform -> CLabel -> CLabel Source

toRednCountsLbl :: Platform -> CLabel -> CLabel Source

pprCLabel :: Platform -> CLabel -> SDoc Source