ghc-7.4.1: The GHC API

Safe Haskell	Safe-Infered

LlvmCodeGen.Base

Description

Base LLVM Code Generation module

Contains functions useful through out the code generator.

Synopsis

Documentation

type LlvmCmmDecl = GenCmmDecl [LlvmData] (Maybe CmmStatics) (ListGraph LlvmStatement)Source

type LlvmBasicBlock = GenBasicBlock LlvmStatement Source

type LlvmUnresData = (CLabel, Section, LlvmType, [UnresStatic])Source

Unresolved code. Of the form: (data label, data type, unresolved data)

type LlvmData = ([LMGlobal], [LlvmType])Source

Top level LLVM Data (globals and type aliases)

type UnresLabel = CmmLit Source

An unresolved Label.

Labels are unresolved when we haven't yet determined if they are defined in the module we are currently compiling, or an external one.

type UnresStatic = Either UnresLabel LlvmStatic Source

type LlvmVersion = Int Source

LLVM Version Number

defaultLlvmVersion :: LlvmVersion Source

The LLVM Version we assume if we don't know

data LlvmEnv Source

initLlvmEnv :: Platform -> LlvmEnv Source

Get initial Llvm environment.

clearVars :: LlvmEnv -> LlvmEnv Source

Clear variables from the environment.

varLookup :: Uniquable key => key -> LlvmEnv -> Maybe LlvmType Source

Lookup local variables in the environment.

varInsert :: Uniquable key => key -> LlvmType -> LlvmEnv -> LlvmEnv Source

Insert local variables into the environment.

funLookup :: Uniquable key => key -> LlvmEnv -> Maybe LlvmType Source

Lookup functions in the environment.

funInsert :: Uniquable key => key -> LlvmType -> LlvmEnv -> LlvmEnv Source

Insert functions into the environment.

getLlvmVer :: LlvmEnv -> LlvmVersion Source

Get the LLVM version we are generating code for

setLlvmVer :: LlvmVersion -> LlvmEnv -> LlvmEnv Source

Set the LLVM version we are generating code for

getLlvmPlatform :: LlvmEnv -> Platform Source

Get the platform we are generating code for

ghcInternalFunctions :: [(LMString, LlvmFunctionDecl)]Source

Here we pre-initialise some functions that are used internally by GHC so as to make sure they have the most general type in the case that user code also uses these functions but with a different type than GHC internally. (Main offender is treating return type as void instead of 'void *'. Fixes trac #5486.

cmmToLlvmType :: CmmType -> LlvmType Source

Translate a basic CmmType to an LlvmType.

widthToLlvmFloat :: Width -> LlvmType Source

Translate a Cmm Float Width to a LlvmType.

widthToLlvmInt :: Width -> LlvmType Source

Translate a Cmm Bit Width to a LlvmType.

llvmFunTy :: LlvmType Source

Llvm Function type for Cmm function

llvmFunSig :: LlvmEnv -> CLabel -> LlvmLinkageType -> LlvmFunctionDecl Source

Llvm Function signature

llvmStdFunAttrs :: [LlvmFuncAttr]Source

Llvm standard fun attributes

llvmFunAlign :: LMAlign Source

Alignment to use for functions

llvmInfAlign :: LMAlign Source

Alignment to use for into tables

llvmPtrBits :: Int Source

Pointer width

mkLlvmFunc :: LlvmEnv -> CLabel -> LlvmLinkageType -> LMSection -> LlvmBlocks -> LlvmFunction Source

Create a Haskell function in LLVM.

tysToParams :: [LlvmType] -> [LlvmParameter]Source

Convert a list of types to a list of function parameters (each with no parameter attributes)

strCLabel_llvm :: LlvmEnv -> CLabel -> LMString Source

Pretty print a CLabel.

genCmmLabelRef :: LlvmEnv -> CLabel -> LMGlobal Source

Create an external definition for a CLabel defined in another module.

genStringLabelRef :: LMString -> LMGlobal Source

As above (genCmmLabelRef) but taking a LMString, not CLabel.