ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

CLabel

Contents

Synopsis

Documentation

data ForeignLabelSourceSource

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.

pprDebugCLabel :: CLabel -> SDocSource

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.

addLabelSize :: CLabel -> Int -> CLabelSource

Update the label size field in a ForeignLabel

foreignLabelStdcallInfo :: CLabel -> Maybe IntSource

Get the label size field from a ForeignLabel

isAsmTemp :: CLabel -> BoolSource

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

maybeAsmTemp :: CLabel -> Maybe UniqueSource

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

externallyVisibleCLabel :: CLabel -> BoolSource

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 -> BoolSource

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.

Conversions